@ -3035,12 +3035,14 @@ pub(crate) fn define(
Two IEEE 754 - 2008 floating point numbers , ` x ` and ` y ` , relate to each
Two IEEE 754 - 2008 floating point numbers , ` x ` and ` y ` , relate to each
other in exactly one of four ways :
other in exactly one of four ways :
` ` ` text
= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
UN Unordered when one or both numbers is NaN .
UN Unordered when one or both numbers is NaN .
EQ When ` x = y ` . ( And ` 0.0 = - 0.0 ` ) .
EQ When ` x = y ` . ( And ` 0.0 = - 0.0 ` ) .
LT When ` x < y ` .
LT When ` x < y ` .
GT When ` x > y ` .
GT When ` x > y ` .
= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =
` ` `
The 14 ` floatcc ` condition codes each correspond to a subset of
The 14 ` floatcc ` condition codes each correspond to a subset of
the four relations , except for the empty set which would always be
the four relations , except for the empty set which would always be
@ -3049,6 +3051,7 @@ pub(crate) fn define(
The condition codes are divided into 7 'ordered ' conditions which don 't
The condition codes are divided into 7 'ordered ' conditions which don 't
include UN , and 7 unordered conditions which all include UN .
include UN , and 7 unordered conditions which all include UN .
` ` ` text
+ - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - +
+ - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - +
| Ordered | Unordered | Condition |
| Ordered | Unordered | Condition |
+ = = = = = = = + = = = = = = = = = = = = + = = = = = = = = = + = = = = = = = = = = = = + = = = = = = = = = = = = = = = = = = = = = = = = = +
+ = = = = = = = + = = = = = = = = = = = = + = = = = = = = = = + = = = = = = = = = = = = + = = = = = = = = = = = = = = = = = = = = = = = = = +
@ -3066,6 +3069,7 @@ pub(crate) fn define(
+ - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - +
+ - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - +
| ge | GT | EQ | uge | UN | GT | EQ | Greater than or equal |
| ge | GT | EQ | uge | UN | GT | EQ | Greater than or equal |
+ - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - +
+ - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - + - - - - - - - - - - - - + - - - - - - - - - - - - - - - - - - - - - - - - - +
` ` `
The standard C comparison operators , ` < , < = , > , > = ` , are all ordered ,
The standard C comparison operators , ` < , < = , > , > = ` , are all ordered ,
so they are false if either operand is NaN . The C equality operator ,
so they are false if either operand is NaN . The C equality operator ,
@ -3073,6 +3077,7 @@ pub(crate) fn define(
inverse it is * unordered * . They map to the ` floatcc ` condition
inverse it is * unordered * . They map to the ` floatcc ` condition
codes as follows :
codes as follows :
` ` ` text
= = = = = = = = = = = = = = = = = = = = = =
= = = = = = = = = = = = = = = = = = = = = =
C ` Cond ` Subset
C ` Cond ` Subset
= = = = = = = = = = = = = = = = = = = = = =
= = = = = = = = = = = = = = = = = = = = = =
@ -3083,6 +3088,7 @@ pub(crate) fn define(
` > ` gt GT
` > ` gt GT
` > = ` ge GT | EQ
` > = ` ge GT | EQ
= = = = = = = = = = = = = = = = = = = = = =
= = = = = = = = = = = = = = = = = = = = = =
` ` `
This subset of condition codes also corresponds to the WebAssembly
This subset of condition codes also corresponds to the WebAssembly
floating point comparisons of the same name .
floating point comparisons of the same name .