diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2016-04-28 11:33:26 -0700 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2016-04-28 11:33:26 -0700 |
| commit | 149a43b3124ed9d7a8385757976f766324ab4c80 (patch) | |
| tree | fd927d2e46396d8ae13d8b53a93e709e80cf4b83 /BinaryEncoding.md | |
| parent | f850552dd07b940ef45d7eee7d8421bb07dd98ec (diff) | |
| download | nanowasm-design-149a43b3124ed9d7a8385757976f766324ab4c80.tar.gz | |
Permit implementations to return canonical NaNs from arithmetic. (#660)
* Permit implementations to return canonical NaNs from arithmetic.
RISC-V and ARM in "default NaN" mode do not propagate NaN values in
arithmetic operations. Instead, they return a "canonical" NaN.
IEEE 754 doesn't require NaN propagation; it's merely a "should".
In order to ensure that wasm doesn't accidentally over-burden support
for the above and other potential future IEEE-754-conforming platforms,
this patch changes the NaN rules to permit either behavior.
* Add the IEEE 754 section number for the NaN propagation recommendation.
* Avoid "typically".
* Reword the NaN conversion rules for clarity.
Diffstat (limited to 'BinaryEncoding.md')
0 files changed, 0 insertions, 0 deletions
