Index: docs/LangRef.rst =================================================================== --- docs/LangRef.rst +++ docs/LangRef.rst @@ -2343,12 +2343,14 @@ ``nnan`` No NaNs - Allow optimizations to assume the arguments and result are not NaN. Such optimizations are required to retain defined behavior over - NaNs, but the value of the result is undefined. + NaNs, but the value of the result is unspecified. The unspecified result + may not be the same each time the instruction is executed. ``ninf`` No Infs - Allow optimizations to assume the arguments and result are not +/-Inf. Such optimizations are required to retain defined behavior over - +/-Inf, but the value of the result is undefined. + +/-Inf, but the value of the result is unspecified. The unspecified result + may not be the same each time the instruction is executed. ``nsz`` No Signed Zeros - Allow optimizations to treat the sign of a zero