public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r12-6959] fold-const: do not fold NaN result from non-NaN operands [PR95115]
@ 2022-02-01 10:21 Xi Ruoyao
0 siblings, 0 replies; only message in thread
From: Xi Ruoyao @ 2022-02-01 10:21 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:34afa19d29c5bf0b0f504e4d0aca4e9a8bc82c5c
commit r12-6959-g34afa19d29c5bf0b0f504e4d0aca4e9a8bc82c5c
Author: Xi Ruoyao <xry111@mengyan1223.wang>
Date: Mon Jan 31 01:15:20 2022 +0800
fold-const: do not fold NaN result from non-NaN operands [PR95115]
These operations should raise an invalid operation exception at runtime.
So they should not be folded during compilation unless -fno-trapping-math
is used.
gcc/
PR middle-end/95115
* fold-const.cc (const_binop): Do not fold NaN result from
non-NaN operands.
gcc/testsuite
* gcc.dg/pr95115.c: New test.
Diff:
---
gcc/fold-const.cc | 11 +++++++++++
gcc/testsuite/gcc.dg/pr95115.c | 25 +++++++++++++++++++++++++
2 files changed, 36 insertions(+)
diff --git a/gcc/fold-const.cc b/gcc/fold-const.cc
index b155611578d..8fc01cdfb77 100644
--- a/gcc/fold-const.cc
+++ b/gcc/fold-const.cc
@@ -1305,6 +1305,17 @@ const_binop (enum tree_code code, tree arg1, tree arg2)
inexact = real_arithmetic (&value, code, &d1, &d2);
real_convert (&result, mode, &value);
+ /* Don't constant fold this floating point operation if
+ both operands are not NaN but the result is NaN, and
+ flag_trapping_math. Such operations should raise an
+ invalid operation exception. */
+ if (flag_trapping_math
+ && MODE_HAS_NANS (mode)
+ && REAL_VALUE_ISNAN (result)
+ && !REAL_VALUE_ISNAN (d1)
+ && !REAL_VALUE_ISNAN (d2))
+ return NULL_TREE;
+
/* Don't constant fold this floating point operation if
the result has overflowed and flag_trapping_math. */
if (flag_trapping_math
diff --git a/gcc/testsuite/gcc.dg/pr95115.c b/gcc/testsuite/gcc.dg/pr95115.c
new file mode 100644
index 00000000000..46a95dfb698
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr95115.c
@@ -0,0 +1,25 @@
+/* { dg-do run } */
+/* { dg-options "-O2 -ftrapping-math" } */
+/* { dg-add-options ieee } */
+/* { dg-require-effective-target fenv_exceptions } */
+
+#include <fenv.h>
+#include <stdlib.h>
+
+double
+x (void)
+{
+ double d = __builtin_inf ();
+ return d / d;
+}
+
+int
+main (void)
+{
+ double r = x ();
+ if (!__builtin_isnan (r))
+ abort ();
+ if (!fetestexcept (FE_INVALID))
+ abort ();
+ exit (0);
+}
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-02-01 10:21 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-02-01 10:21 [gcc r12-6959] fold-const: do not fold NaN result from non-NaN operands [PR95115] Xi Ruoyao
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).