[FPEnv] Remove inaccurate comments regarding signaling NaN for isless
authoreopXD <yueh.ting.chen@gmail.com>
Thu, 22 Sep 2022 02:21:55 +0000 (19:21 -0700)
committereopXD <yueh.ting.chen@gmail.com>
Fri, 23 Sep 2022 01:13:16 +0000 (18:13 -0700)
commit10409bf86e58320443db5c5ea2adf5e437104ee9
tree26c7356d9c0795e5e4aab6ca2bb3d99025c1da8d
parent560bcc3db187e171fbba1831d43dd32e0c7eb47b
[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
clang/lib/CodeGen/CGBuiltin.cpp