diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2015-08-31 10:09:08 -0700 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2015-08-31 10:09:08 -0700 |
| commit | 0eb71ebfda33cc40767f3c21875663bf0a72c3c8 (patch) | |
| tree | c42c6fbc2c7eae11b18d03a7207edbc17e776bcf | |
| parent | 82ccc154dd6f1e625303a96d3df22dc6b182fc5d (diff) | |
| download | nanowasm-design-0eb71ebfda33cc40767f3c21875663bf0a72c3c8.tar.gz | |
Fix one more reference to IEEE-754.
| -rw-r--r-- | AstSemantics.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index 0c3bfc0..f7c7c63 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -418,9 +418,9 @@ Floating point arithmetic follows the IEEE 754-2008 standard, except that: floating point arithmetic operation other than `neg`, `abs`, and `copysign` are not specified. In particular, the "NaN propagation" section of IEEE 754-2008 is not required. NaNs do propagate through - arithmetic operations according to IEEE-754 rules, the difference here is - that they do so without necessarily preserving the specific bit patterns of - the original NaNs. + arithmetic operations according to IEEE 754-2008 rules, the difference here + is that they do so without necessarily preserving the specific bit patterns + of the original NaNs. - WebAssembly uses "non-stop" mode, and floating point exceptions are not otherwise observable. In particular, neither alternate floating point exception handling attributes nor the non-computational operations on status |