public inbox for gcc-cvs@sourceware.org
help / color / mirror / Atom feed
* [gcc r13-27] middle-end/105376 - invalid REAL_CST for DFP constant
@ 2022-04-29 6:17 Richard Biener
0 siblings, 0 replies; only message in thread
From: Richard Biener @ 2022-04-29 6:17 UTC (permalink / raw)
To: gcc-cvs
https://gcc.gnu.org/g:e27eef7478f30ea79048dbde3317e89679d75a6e
commit r13-27-ge27eef7478f30ea79048dbde3317e89679d75a6e
Author: Richard Biener <rguenther@suse.de>
Date: Wed Apr 27 08:28:31 2022 +0200
middle-end/105376 - invalid REAL_CST for DFP constant
We are eventually ICEing in decimal_to_decnumber on non-decimal
REAL_VALUE_TYPE that creep in from uses of build_real (..., dconst*)
for DFP types. The following extends the decimal_to_decnumber
special-casing of dconst* to build_real, avoiding the bogus REAL_CSTs
from creeping into the IL and modified to ones not handled by
the decimal_to_decnumber special casing. It also makes sure to
ICE for not handled dconst* values at the point we build the REAL_CST.
2022-04-27 Richard Biener <rguenther@suse.de>
PR middle-end/105376
* tree.cc (build_real): Special case dconst* arguments
for decimal floating point types.
* gcc.dg/pr105376.c: New testcase.
Diff:
---
gcc/testsuite/gcc.dg/pr105376.c | 9 +++++++++
gcc/tree.cc | 21 +++++++++++++++++++++
2 files changed, 30 insertions(+)
diff --git a/gcc/testsuite/gcc.dg/pr105376.c b/gcc/testsuite/gcc.dg/pr105376.c
new file mode 100644
index 00000000000..f19ecf4aab2
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr105376.c
@@ -0,0 +1,9 @@
+/* { dg-do compile { target dfp } } */
+/* { dg-options "-O -g" } */
+
+void
+foo (_Decimal64 d, _Decimal64 e)
+{
+ d -= -d;
+ d *= -e;
+}
diff --git a/gcc/tree.cc b/gcc/tree.cc
index 3c39be4f501..4cf3785270b 100644
--- a/gcc/tree.cc
+++ b/gcc/tree.cc
@@ -70,6 +70,7 @@ along with GCC; see the file COPYING3. If not see
#include "escaped_string.h"
#include "gimple-range.h"
#include "gomp-constants.h"
+#include "dfp.h"
/* Tree code classes. */
@@ -2383,6 +2384,26 @@ build_real (tree type, REAL_VALUE_TYPE d)
REAL_VALUE_TYPE *dp;
int overflow = 0;
+ /* dconst{1,2,m1,half} are used in various places in
+ the middle-end and optimizers, allow them here
+ even for decimal floating point types as an exception
+ by converting them to decimal. */
+ if (DECIMAL_FLOAT_MODE_P (TYPE_MODE (type))
+ && d.cl == rvc_normal
+ && !d.decimal)
+ {
+ if (memcmp (&d, &dconst1, sizeof (d)) == 0)
+ decimal_real_from_string (&d, "1");
+ else if (memcmp (&d, &dconst2, sizeof (d)) == 0)
+ decimal_real_from_string (&d, "2");
+ else if (memcmp (&d, &dconstm1, sizeof (d)) == 0)
+ decimal_real_from_string (&d, "-1");
+ else if (memcmp (&d, &dconsthalf, sizeof (d)) == 0)
+ decimal_real_from_string (&d, "0.5");
+ else
+ gcc_unreachable ();
+ }
+
/* ??? Used to check for overflow here via CHECK_FLOAT_TYPE.
Consider doing it via real_convert now. */
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2022-04-29 6:17 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2022-04-29 6:17 [gcc r13-27] middle-end/105376 - invalid REAL_CST for DFP constant Richard Biener
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).