[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