diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index 5bd1d29487139..6f2a1b6c9ee3b 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -3914,6 +3914,11 @@ following flags to enable otherwise unsafe floating-point transformations. No Signed Zeros - Allow optimizations to treat the sign of a zero argument or zero result as insignificant. This does not imply that -0.0 is poison and/or guaranteed to not exist in the operation. + For fcmp, this has no effect. For min/max intrinsics, this allows + returning either +0 or -0 if both +0 and -0 are passed. + For calls to anything other than a min/max intrinsic, + arithmetic instructions, select, and phi, if the result is zero, + the returned value can be a zero of either sign. Note: For :ref:`phi `, :ref:`select `, and :ref:`call ` instructions, the following return types are considered to be floating-point