diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/convert.c | 5 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/dfp/convert-bfp-12.c | 17 |
4 files changed, 30 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d04aa06a81c..5b520af2b09 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2008-10-28 Joseph Myers <joseph@codesourcery.com> + + * convert.c (strip_float_extensions): Do not remove or introduce + conversions between binary and decimal floating-point types. + 2008-10-28 Jakub Jelinek <jakub@redhat.com> PR middle-end/37931 diff --git a/gcc/convert.c b/gcc/convert.c index 0fef3a2e746..24617728298 100644 --- a/gcc/convert.c +++ b/gcc/convert.c @@ -81,7 +81,7 @@ strip_float_extensions (tree exp) it properly and handle it like (type)(narrowest_type)constant. This way we can optimize for instance a=a*2.0 where "a" is float but 2.0 is double constant. */ - if (TREE_CODE (exp) == REAL_CST) + if (TREE_CODE (exp) == REAL_CST && !DECIMAL_FLOAT_TYPE_P (TREE_TYPE (exp))) { REAL_VALUE_TYPE orig; tree type = NULL; @@ -108,6 +108,9 @@ strip_float_extensions (tree exp) if (!FLOAT_TYPE_P (subt)) return exp; + if (DECIMAL_FLOAT_TYPE_P (expt) != DECIMAL_FLOAT_TYPE_P (subt)) + return exp; + if (TYPE_PRECISION (subt) > TYPE_PRECISION (expt)) return exp; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 58e7819496a..0281e865fe2 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2008-10-28 Joseph Myers <joseph@codesourcery.com> + + * gcc.dg/dfp/convert-bfp-12.c: New test. + 2008-10-28 Jakub Jelinek <jakub@redhat.com> PR middle-end/37931 diff --git a/gcc/testsuite/gcc.dg/dfp/convert-bfp-12.c b/gcc/testsuite/gcc.dg/dfp/convert-bfp-12.c new file mode 100644 index 00000000000..96381415dce --- /dev/null +++ b/gcc/testsuite/gcc.dg/dfp/convert-bfp-12.c @@ -0,0 +1,17 @@ +/* Test for bug where fold wrongly removed conversions to double and + replaced them by conversions to float. */ +/* { dg-options "-std=gnu99" } */ + +extern void abort (void); +extern void exit (int); + +volatile float f = __builtin_inff (); +volatile _Decimal32 d32 = 1e40DF; + +int +main (void) +{ + if ((double) f == (double) d32) + abort (); + exit (0); +} |