[llvm] LangRef: Clarify llvm.minnum and llvm.maxnum about sNaN and signed zero (PR #112852)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Sun Dec 8 07:02:54 PST 2024
================
@@ -16574,21 +16574,34 @@ type.
Semantics:
""""""""""
+Follows the semantics of mininumNumber in IEEE-754-2019, except for signaling NaNs. 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.
----------------
arsenm wrote:
Sorry, I got confused again and I'm wondering if it was clearer to describe the snan behavior in terms of 2008 minNum. The signed zero change is easier to explain. I think what's here is clear enough though, especially with the additional notes below
https://github.com/llvm/llvm-project/pull/112852
More information about the llvm-commits
mailing list