From 31aa6301da6e490c7b6ea12f0518da6da32f1320 Mon Sep 17 00:00:00 2001 From: Dan Gohman Date: Tue, 16 Jun 2015 13:14:24 -0700 Subject: Add a link AstSemantics.md's IEEE-754 section to FutureFeatures.md's Add a link from AstSemantics.md's IEEE-754 section to FutureFeatures.md's section discussing the possible plans for adding the remaining support. And move the bullet about not providing all the required operations into a toplevel paragraph, since that's expected to stay unchanged in any case. --- AstSemantics.md | 10 +++++++--- 1 file 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 -- cgit v1.2.3