OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

fold-const.c (const_binop): Don't constant fold the operation if the result has overflowed and...

Browse Source 
* fold-const.c (const_binop): Don't constant fold the operation
	if the result has overflowed and flag_trapping_math.
	* simplify-rtx.c (simplify_const_binary_operation): Likewise.

From-SVN: r107092
This commit is contained in:
Eric Botcazou 2005-11-16 17:15:23 +00:00 committed by Eric Botcazou
parent 74d9c39f6a
commit 68328cdaef
5 changed files with 49 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2005-11-16 Eric Botcazou <ebotcazou@adacore.com>
* fold-const.c (const_binop): Don't constant fold the operation
if the result has overflowed and flag_trapping_math.
* simplify-rtx.c (simplify_const_binary_operation): Likewise.
2005-11-16 Daniel Jacobowitz <dan@codesourcery.com>
* config/arm/unwind-arm.c (abort): Add prototype here.

10
gcc/fold-const.c
View File

@ -1537,6 +1537,16 @@ const_binop (enum tree_code code, tree arg1, tree arg2, int notrunc)
inexact = real_arithmetic (&value, code, &d1, &d2);
real_convert (&result, mode, &value);
/* Don't constant fold this floating point operation if
the result has overflowed and flag_trapping_math. */
if (flag_trapping_math
&& MODE_HAS_INFINITIES (mode)
&& REAL_VALUE_ISINF (result)
&& !REAL_VALUE_ISINF (d1)
&& !REAL_VALUE_ISINF (d2))
return NULL_TREE;
/* Don't constant fold this floating point operation if the
result may dependent upon the run-time rounding mode and
flag_rounding_math is set, or if GCC's software emulation

11
gcc/simplify-rtx.c
View File

@ -2242,6 +2242,17 @@ simplify_const_binary_operation (enum rtx_code code, enum machine_mode mode,
&f0, &f1);
real_convert (&result, mode, &value);
/* Don't constant fold this floating point operation if
the result has overflowed and flag_trapping_math. */
if (flag_trapping_math
&& MODE_HAS_INFINITIES (mode)
&& REAL_VALUE_ISINF (result)
&& !REAL_VALUE_ISINF (f0)
&& !REAL_VALUE_ISINF (f1))
/* Overflow plus exception. */
return 0;
/* Don't constant fold this floating point operation if the
result may dependent upon the run-time rounding mode and
flag_rounding_math is set, or if GCC's software emulation

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2005-11-16 Eric Botcazou <ebotcazou@adacore.com>
* gcc.dg/fold-overflow-1.c: New test.
2005-11-16 Daniel Jacobowitz <dan@codesourcery.com>
* gcc.dg/cleanup-5.c, gcc.dg/cleanup-8.c, gcc.dg/cleanup-9.c,

18
gcc/testsuite/gcc.dg/fold-overflow-1.c Normal file
View File

@ -0,0 +1,18 @@
/* { dg-compile } */
/* { dg-options "-O -ftrapping-math" } */
float f1 = __FLT_MAX__ + __FLT_MAX__;
float foo1(void)
{
return __FLT_MAX__ + __FLT_MAX__;
}
float f2 = 1.0f/0.0f;
float foo2(void)
{
return 1.0f/0.0f;
}
/* { dg-final { scan-assembler-times "2139095040" 2 } } */