From c0d9bdf63df30b622f35bca52ed4ae02123cc1a7 Mon Sep 17 00:00:00 2001 From: JF Bastien Date: Thu, 11 Jun 2015 10:20:33 +0200 Subject: Use `code quotes` --- AstSemantics.md | 25 +++++++++++++------------ 1 file changed, 13 insertions(+), 12 deletions(-) diff --git a/AstSemantics.md b/AstSemantics.md index 545edc7..92b8e1d 100644 --- a/AstSemantics.md +++ b/AstSemantics.md @@ -338,22 +338,23 @@ Additional 32-bit integer Operations under consideration: ## Floating point operations Floating point arithmetic follows the IEEE-754 standard, except that: - - The sign bit and significand bit pattern of any NaN value returned from a - floating point arithmetic operation other than Neg, Abs, and Copysign are - computed non-deterministically. In particular, the "NaN propagation" section - of IEEE-754 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. + - The sign bit and significand bit pattern of any `NaN` value returned from a + floating point arithmetic operation other than `Neg`, `Abs`, and `Copysign` + are computed non-deterministically. In particular, the "`NaN` propagation" + section of IEEE-754 is not required. `NaN`s 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 + `NaN`s. - 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 flags are supported. There is no observable difference between quiet and - signalling NaN. However, infinity, -infinity, and NaN are still always - produced as result values to indicate overflow, invalid, and divide-by-zero - conditions, as specified by IEEE-754. - - WebAssembly uses the round-to-nearest ties-to-even rounding attribute, - except where otherwise specified. Non-default directed rounding attributes - are not supported. + signalling `NaN`. However, `infinity`, `-infinity`, and `NaN` are still + always produced as result values to indicate overflow, invalid, and + divide-by-zero conditions, as specified by IEEE-754. + - 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. -- cgit v1.2.3