Skip to content

Add configuration option to handle reserved dynamic rounding modes.#1491

Merged
Timmmm merged 3 commits intoriscv:masterfrom
challenger1024:floating-point-rounding-mode
Jan 31, 2026
Merged

Add configuration option to handle reserved dynamic rounding modes.#1491
Timmmm merged 3 commits intoriscv:masterfrom
challenger1024:floating-point-rounding-mode

Conversation

@challenger1024
Copy link
Contributor

@challenger1024 challenger1024 commented Jan 17, 2026

Add a configuration option for cases where float instructions use a dynamic rounding mode (i.e. use the value from fcsr[FRM]) and fcsr[FRM] contains a reserved value (0b101, 0b110, or 0b111).

This does not affect reserved static rounding modes (0b101 or 0b110 encoded in the instruction) which might need different options.

@github-actions
Copy link

github-actions bot commented Jan 17, 2026

Test Results

2 117 tests  ±0   2 117 ✅ ±0   24m 40s ⏱️ + 1m 23s
    1 suites ±0       0 💤 ±0 
    1 files   ±0       0 ❌ ±0 

Results for commit 190a9ba. ± Comparison against base commit f063a2c.

♻️ This comment has been updated with latest results.

@pmundkur pmundkur added the configuration Additional configuration settings needed for the model label Jan 21, 2026
@challenger1024 challenger1024 force-pushed the floating-point-rounding-mode branch from c57fb83 to e14bc29 Compare January 27, 2026 07:14
@challenger1024 challenger1024 force-pushed the floating-point-rounding-mode branch from e14bc29 to b125361 Compare January 27, 2026 07:18
@challenger1024
Copy link
Contributor Author

Final commit: rebase and moved the match logic to the appropriate location.
@jordancarlin

Copy link
Collaborator

@Timmmm Timmmm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM with some minor tweaks.

@Timmmm
Copy link
Collaborator

Timmmm commented Jan 29, 2026

Also I agree we should have a separate option for the reserved static rounding modes.

@challenger1024 challenger1024 force-pushed the floating-point-rounding-mode branch from 74aceda to b3dc14f Compare January 30, 2026 15:21
Copy link
Collaborator

@pmundkur pmundkur left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM with a minor nit.

@pmundkur pmundkur changed the title add configuration option for dynamic rounding mode. Add configuration option to handle reserved dynamic rounding modes. Jan 30, 2026
@pmundkur
Copy link
Collaborator

We should adjust the PR text when merging.

@challenger1024 challenger1024 force-pushed the floating-point-rounding-mode branch from b3dc14f to 190a9ba Compare January 31, 2026 01:40
@pmundkur pmundkur added the will be merged Scheduled to be merged soon if nobody objects label Jan 31, 2026
@Timmmm Timmmm added this pull request to the merge queue Jan 31, 2026
Merged via the queue into riscv:master with commit 4d7812e Jan 31, 2026
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

configuration Additional configuration settings needed for the model will be merged Scheduled to be merged soon if nobody objects

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants