From a33e3d75fe761292341871253f86b163df11142c Mon Sep 17 00:00:00 2001
From: Michael Ilseman Syntax:
- <result> = fadd <ty> <op1>, <op2> ; yields {ty}:result
+ <result> = fadd [fast-math flags]* <ty> <op1>, <op2> ; yields {ty}:result
Overview:
@@ -3982,7 +3982,28 @@ IfUnequal:
floating point values. Both arguments must have identical types.
The value produced is the floating point sum of the two operands.
+The value produced is the floating point sum of the two operands. This + instruction can also take any number of fast-math flags, which are + optimization hints to enable otherwise unsafe floating point + optimizations:
+@@ -4052,7 +4073,7 @@ IfUnequal:Syntax:
- <result> = fsub <ty> <op1>, <op2> ; yields {ty}:result + <result> = fsub [fast-math flags]* <ty> <op1>, <op2> ; yields {ty}:resultOverview:
@@ -4069,7 +4090,28 @@ IfUnequal: floating point values. Both arguments must have identical types.Semantics:
-The value produced is the floating point difference of the two operands.
+The value produced is the floating point difference of the two operands. This + instruction can also take any number of fast-math flags, which are + optimization hints to enable otherwise unsafe floating point + optimizations:
++ +
- 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.
+ +- ninf: No Inf - 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.
+ +- nsz: No Signed Zeros: Allow optimizations to treat the + sign of a zero argument or result as insignificant.
+ +- fast: Allow algebraically equivalent transformations that may + dramatically change results in floating point (e.g. reassociate). This flag + implies all the others.
+ +Example:
@@ -4138,7 +4180,7 @@ IfUnequal:Syntax:
- <result> = fmul <ty> <op1>, <op2> ; yields {ty}:result + <result> = fmul [fast-math flags]* <ty> <op1>, <op2> ; yields {ty}:resultOverview:
@@ -4150,7 +4192,28 @@ IfUnequal: floating point values. Both arguments must have identical types.Semantics:
-The value produced is the floating point product of the two operands.
+The value produced is the floating point product of the two operands. This + instruction can also take any number of fast-math flags, which are + optimization hints to enable otherwise unsafe floating point + optimizations:
++ +
- 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.
+ +- ninf: No Inf - 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.
+ +- nsz: No Signed Zeros: Allow optimizations to treat the + sign of a zero argument or result as insignificant.
+ +- fast: Allow algebraically equivalent transformations that may + dramatically change results in floating point (e.g. reassociate). This flag + implies all the others.
+ +Example:
@@ -4252,7 +4315,7 @@ IfUnequal:Syntax:
- <result> = fdiv <ty> <op1>, <op2> ; yields {ty}:result + <result> = fdiv [fast-math flags]* <ty> <op1>, <op2> ; yields {ty}:resultOverview:
@@ -4264,7 +4327,32 @@ IfUnequal: floating point values. Both arguments must have identical types.Semantics:
-The value produced is the floating point quotient of the two operands.
+The value produced is the floating point quotient of the two operands. This + instruction can also take any number of fast-math flags, which are + optimization hints to enable otherwise unsafe floating point + optimizations:
++ +
+- 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.
+ +- ninf: No Inf - 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.
+ +- nsz: No Signed Zeros: Allow optimizations to treat the + sign of a zero argument or result as insignificant.
+ +- arcp: Allow Reciprocal: Allow optimizations to use the reciprocal + of an argument rather than perform division.
+ +- fast: Allow algebraically equivalent transformations that may + dramatically change results in floating point (e.g. reassociate). This flag + implies all the others.
+ +Example:
@@ -4371,7 +4459,7 @@ IfUnequal:Syntax:
- <result> = frem <ty> <op1>, <op2> ; yields {ty}:result + <result> = frem [fast-math flags]* <ty> <op1>, <op2> ; yields {ty}:resultOverview:
@@ -4384,8 +4472,32 @@ IfUnequal: floating point values. Both arguments must have identical types.Semantics:
-This instruction returns the remainder of a division. The remainder - has the same sign as the dividend.
+This instruction returns the remainder of a division. The remainder + has the same sign as the dividend. This instruction can also take any number + of fast-math flags, which are optimization hints to enable otherwise unsafe + floating point optimizations:
+ ++ +
- 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.
+ +- ninf: No Inf - 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.
+ +- nsz: No Signed Zeros: Allow optimizations to treat the + sign of a zero argument or result as insignificant.
+ +- arcp: Allow Reciprocal: Allow optimizations to use the reciprocal + of an argument rather than perform division.
+ +- fast: Allow algebraically equivalent transformations that may + dramatically change results in floating point (e.g. reassociate). This flag + implies all the others.
+ +Example:
-- cgit v1.1