From 19dd9cef97b7880315a22c960a8b620daa8697d1 Mon Sep 17 00:00:00 2001 From: Matt Arsenault Date: Fri, 9 May 2025 11:06:53 +0200 Subject: [PATCH] LangRef: Fix minimumnum/maximumnum nan handling phrasing Make this consistent with other operations with respect to signaling nan quieting. This was specifying that quieting is required, which is true for IEEE. Make this consistent with other IR operations, and signaling nan quieting is possible but optional in the case where there are two nan inputs. This permits directly selecting the intrinsic to the hardware instruction in the default floating-point environment for shaders. --- llvm/docs/LangRef.rst | 25 +++++++++++++++---------- 1 file changed, 15 insertions(+), 10 deletions(-) diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index 7296bb84b7d95..ce45ef7720eaa 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -17183,12 +17183,14 @@ type. Semantics: """""""""" -If both operands are NaNs (including sNaN), returns qNaN. If one operand -is NaN (including sNaN) and another operand is a number, return the number. -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 minimumNumber specified in IEEE 754-2019. +If both operands are NaNs (including sNaN), returns a :ref:`NaN `. If +one operand is NaN (including sNaN) and another operand is a number, +return the number. 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 minimumNumber specified in +IEEE-754-2019 with the usual :ref:`signaling NaN ` exception. It has some differences with '``llvm.minnum.*``': 1)'``llvm.minnum.*``' will return qNaN if either operand is sNaN. @@ -17229,12 +17231,15 @@ type. Semantics: """""""""" -If both operands are NaNs (including sNaN), returns qNaN. If one operand -is NaN (including sNaN) and another operand is a number, return the number. -Otherwise returns the greater of the two arguments. -0.0 is considered to -be less than +0.0 for this intrinsic. -Note that these are the semantics of maximumNumber specified in IEEE 754-2019. +If both operands are NaNs (including sNaN), returns a +:ref:`NaN `. If one operand is NaN (including sNaN) and +another operand is a number, return the number. Otherwise returns the +greater of the two arguments. -0.0 is considered to be less than +0.0 +for this intrinsic. + +Note that these are the semantics of maximumNumber specified in +IEEE-754-2019 with the usual :ref:`signaling NaN ` exception. It has some differences with '``llvm.maxnum.*``': 1)'``llvm.maxnum.*``' will return qNaN if either operand is sNaN.