diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2015-06-25 12:10:23 -0700 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2015-06-25 12:10:23 -0700 |
| commit | 042ac8d14d3c80e51fd032e706256da726adf9d2 (patch) | |
| tree | f50a8e62b1a71c55ec0460e98bfbc8a1edc093b8 | |
| parent | 8eda1f712ca505d86bf9b92efdf40fde41734468 (diff) | |
| download | nanowasm-design-042ac8d14d3c80e51fd032e706256da726adf9d2.tar.gz | |
Correct behavior of int to float conversions.
IEEE 754 specifies that these operations round rather than overflow.
| -rw-r--r-- | AstSemantics.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index f3e8155..a4c7a7d 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -458,8 +458,8 @@ the opcode, and the operand. Reinterpretations always succeed. -Conversions from integer to floating point always succeed, though they may -overflow to infinity or negative infinity as specified by IEEE-754. +Conversions from integer to floating point always succeed, and use +round-to-nearest ties-to-even rounding. Truncation from floating point to integer where IEEE-754 would specify an invalid operation exception (e.g. when the floating point value is NaN or |