[clang] 10409bf - [FPEnv] Remove inaccurate comments regarding signaling NaN for isless
via cfe-commits
cfe-commits at lists.llvm.org
Thu Sep 22 18:13:24 PDT 2022
Author: eopXD
Date: 2022-09-22T18:13:16-07:00
New Revision: 10409bf86e58320443db5c5ea2adf5e437104ee9
URL: https://github.com/llvm/llvm-project/commit/10409bf86e58320443db5c5ea2adf5e437104ee9
DIFF: https://github.com/llvm/llvm-project/commit/10409bf86e58320443db5c5ea2adf5e437104ee9.diff
LOG: [FPEnv] Remove inaccurate comments regarding signaling NaN for isless
By draft of C23 (https://www.open-std.org/jtc1/sc22/wg14/www/docs/n2912.pdf),
the description for isless macro under 7.12.17.3 says,
The isless macro determines whether its first argument is less than its second
argument. The value of isless(x,y) is always equal to (x)< (y); however, unlike
(x) < (y), isless(x,y) does not raise the invalid floating-point exception when
x and y are unordered and neither is a signaling NaN.
isless should trap when encountering signaling NaN.
Reviewed By: jcranmer-intel, efriedma
Differential Revision: https://reviews.llvm.org/D134407
Added:
Modified:
clang/lib/CodeGen/CGBuiltin.cpp
Removed:
################################################################################
diff --git a/clang/lib/CodeGen/CGBuiltin.cpp b/clang/lib/CodeGen/CGBuiltin.cpp
index a43c50a6333e..2d8b0175e2ff 100644
--- a/clang/lib/CodeGen/CGBuiltin.cpp
+++ b/clang/lib/CodeGen/CGBuiltin.cpp
@@ -2976,7 +2976,6 @@ RValue CodeGenFunction::EmitBuiltinExpr(const GlobalDecl GD, unsigned BuiltinID,
// Ordered comparisons: we know the arguments to these are matching scalar
// floating point values.
CodeGenFunction::CGFPOptionsRAII FPOptsRAII(*this, E);
- // FIXME: for strictfp/IEEE-754 we need to not trap on SNaN here.
Value *LHS = EmitScalarExpr(E->getArg(0));
Value *RHS = EmitScalarExpr(E->getArg(1));
More information about the cfe-commits
mailing list