From fa5e6697c4094c5d40578e7cc07dfebd3f448013 Mon Sep 17 00:00:00 2001 From: Matt Arsenault Date: Thu, 20 Apr 2023 07:39:40 -0400 Subject: [PATCH] LangRef: Clarify behavior of minnum/maxnum Make it clearer minnum(+0, +0) cannot return -0. Also remove a note about the result always being quiet which is directly contradicted by the following paragraph. --- llvm/docs/LangRef.rst | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) diff --git a/llvm/docs/LangRef.rst b/llvm/docs/LangRef.rst index 72c7215..96454e8 100644 --- a/llvm/docs/LangRef.rst +++ b/llvm/docs/LangRef.rst @@ -14933,10 +14933,9 @@ Follows the IEEE-754 semantics for minNum, except for handling of signaling NaNs. This match's the behavior of libm's fmin. If either operand is a NaN, returns the other non-NaN operand. Returns -NaN only if both operands are NaN. The returned NaN is always -quiet. If the operands compare equal, returns a value that compares -equal to both operands. This means that fmin(+/-0.0, +/-0.0) could -return either -0.0 or 0.0. +NaN only if both operands are NaN. If the operands compare equal, +returns either one of the operands. For example, this means that +fmin(+0.0, -0.0) returns either operand. Unlike the IEEE-754 2008 behavior, this does not distinguish between signaling and quiet NaN inputs. If a target's implementation follows @@ -14984,10 +14983,9 @@ Follows the IEEE-754 semantics for maxNum except for the handling of signaling NaNs. This matches the behavior of libm's fmax. If either operand is a NaN, returns the other non-NaN operand. Returns -NaN only if both operands are NaN. The returned NaN is always -quiet. If the operands compare equal, returns a value that compares -equal to both operands. This means that fmax(+/-0.0, +/-0.0) could -return either -0.0 or 0.0. +NaN only if both operands are NaN. If the operands compare equal, +returns either one of the operands. For example, this means that +fmax(+0.0, -0.0) returns either -0.0 or 0.0. Unlike the IEEE-754 2008 behavior, this does not distinguish between signaling and quiet NaN inputs. If a target's implementation follows -- 2.7.4