diff options
| author | Dan Gohman <sunfish@mozilla.com> | 2015-06-16 17:28:38 -0700 |
|---|---|---|
| committer | Dan Gohman <sunfish@mozilla.com> | 2015-06-16 17:28:38 -0700 |
| commit | 0ba905af22298f0ecb751f6876d902abcceb486d (patch) | |
| tree | 0a84d1d2eb37225fc996be3cb1f7316d936af9c5 | |
| parent | e6f3f7ff0e1dccd565227a8f3761e5f0fb571039 (diff) | |
| parent | 31aa6301da6e490c7b6ea12f0518da6da32f1320 (diff) | |
| download | nanowasm-design-0ba905af22298f0ecb751f6876d902abcceb486d.tar.gz | |
Merge pull request #182 from WebAssembly/link-to-future-features
Add a link AstSemantics.md's IEEE-754 section to FutureFeatures.md's
| -rw-r--r-- | AstSemantics.md | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/AstSemantics.md b/AstSemantics.md index 3e76298..edbdc0d 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -365,12 +365,16 @@ Floating point arithmetic follows the IEEE-754 standard, except that: - WebAssembly uses the round-to-nearest ties-to-even rounding attribute, except where otherwise specified. Non-default directed rounding attributes are not supported. - - Not all operations required by IEEE-754 are provided directly. However, - WebAssembly includes enough functionality to support reasonable library - implementations of the remaining required operations. - The strategy for gradual underflow (subnormals) is [under discussion](https://github.com/WebAssembly/design/issues/148). +In the future, these limitations may be lifted, enabling +[full IEEE-754 support](FutureFeatures.md#full-ieee-754-conformance). + +Note that not all operations required by IEEE-754 are provided directly. +However, WebAssembly includes enough functionality to support reasonable library +implementations of the remaining required operations. + * `float32.add`: addition * `float32.sub`: subtraction * `float32.mul`: multiplication |