[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