Conversation
dschuff
commented
Feb 20, 2026
tlively
reviewed
Mar 2, 2026
|
|
||
| #### Advance `Rounding Variants` to Phase 3 (Paul Dennis, 30 minutes) | ||
|
|
||
| PD Presenting (TODO link) |
Member
There was a problem hiding this comment.
@KloudKoder, can you get a copy of this presentation? (I don't know what Paul's GitHub handle is.)
Contributor
There was a problem hiding this comment.
$ slides slides.mdAgenda for Phase 3 Vote of `Rounding Variants Proposal`
---
# presenting the test cases
- [testcases](https://github.com/WebAssembly/rounding-mode-control/blob/main/test/core/rounding-variants.wast)
- they detect mix ups of all four rounding variants
- minimal; so that they can be useful while implementing the extension and for test suites
- there is a reference runtime update that implements the opcodes
- the testcases are cross tested with several implementations
- nasm (Kloud Koder)
- RoundingFiasco library (public on hackage)
- wabt implemention (via `include "fenv.h"`)
- v8 raw JIT compiled machine instructions (x86)
- v8 c++ for compile time constant propagation (via `include "fenv.h"`)
- fork of the reference runtime (ocaml, via mopsa)
---
# presenting helpers
- two selfcontained html test pages
- two examples for feature detection
- post for performance comparison
---
# What we can offer to implementers
- the bytes forming the relevant machine instructions (on different hardware)
- support for the test cases
- reported edge cases shall be included in the test suite
- help with the hex ASCII representations of the numbers in the test cases
---
# poll for phase 3
- I feel confident that the material is mature enough for phase 3
Co-authored-by: Thomas Lively <tlively@google.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.