[llvm] [LangRef] Clarify specification for float min/max operations (PR #172012)
via llvm-commits
llvm-commits at lists.llvm.org
Tue Dec 30 08:34:54 PST 2025
================
@@ -17533,10 +17453,15 @@ type.
Semantics:
""""""""""
-If either operand is a NaN, returns NaN. Otherwise returns the lesser
-of the two arguments. -0.0 is considered to be less than +0.0 for this
-intrinsic. Note that these are the semantics specified in the draft of
-IEEE 754-2019.
+If either operand is a NaN, returns a :ref:`NaN <floatnan>`. Otherwise returns
+the lesser of the two arguments. -0.0 is considered to be less than +0.0 for
+this intrinsic. Note that these are the semantics of minimum specified in
+IEEE 754-2019, with the usual :ref:`signaling NaN <floatnan>` exception.
----------------
ActuallyaDeviloper wrote:
Same here. Signaling NaN is not threated specially here so I think even less there is an "exception". It's just that the output NaN representation is somewhat indeterminate.
https://github.com/llvm/llvm-project/pull/172012
More information about the llvm-commits
mailing list