[llvm] LangRef: Clarify llvm.minnum and llvm.maxnum about sNaN (PR #112852)

Joshua Cranmer via llvm-commits llvm-commits at lists.llvm.org
Mon Dec 2 14:07:29 PST 2024


================
@@ -16464,21 +16464,29 @@ type.
 
 Semantics:
 """"""""""
+Follows the IEEE-754 semantics for minNum, except that -0.0 < +0.0 for the purposes
+of this intrinsic. As for signaling NaNs, per the IEEE-754 semantics, if either operand
+is an sNaN, the result is always a qNaN. This matches the recommended behavior for the libm
+function fmin, although not all implementations have implemented these recommended behaviors.
+
+If either operand is a qNaN, returns the other non-NaN operand. Returns
+NaN only if both operands are NaN or either operand is sNaN.
----------------
jcranmer-intel wrote:

"or if either operand" would flow better, I think.

https://github.com/llvm/llvm-project/pull/112852


More information about the llvm-commits mailing list