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

re PR tree-optimization/35429 (ICE with complex arithmetic)

Browse Source 
2008-03-27  Andrew Pinski  <pinskia@gmail.com>

        PR middle-end/35429
        * fold-const.c (fold_truthop): Check for integeral types when folding
        a == 0 && b == 0 and a != 0 || b != 0 .

2008-03-27  Andrew Pinski  <pinskia@gmail.com>

        PR middle-end/35429
        * gcc.c-torture/compile/complex-5.c: New test.

From-SVN: r133631
This commit is contained in:
Andrew Pinski 2008-03-27 01:55:50 -07:00 committed by Andrew Pinski
parent 40e43495ce
commit 87a72aa8f9
4 changed files with 24 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2008-03-27 Andrew Pinski <pinskia@gmail.com>
PR middle-end/35429
* fold-const.c (fold_truthop): Check for integeral types when folding
a == 0 && b == 0 and a != 0 || b != 0 .
2008-03-26 Eric Botcazou <ebotcazou@adacore.com>
* tree.c (get_unwidened): Remove code fiddling with COMPONENT_REF.

6
gcc/fold-const.c
View File

@ -5357,7 +5357,8 @@ fold_truthop (enum tree_code code, tree truth_type, tree lhs, tree rhs)
if (code == TRUTH_OR_EXPR
&& lcode == NE_EXPR && integer_zerop (lr_arg)
&& rcode == NE_EXPR && integer_zerop (rr_arg)
&& TREE_TYPE (ll_arg) == TREE_TYPE (rl_arg))
&& TREE_TYPE (ll_arg) == TREE_TYPE (rl_arg)
&& INTEGRAL_TYPE_P (TREE_TYPE (ll_arg)))
return build2 (NE_EXPR, truth_type,
build2 (BIT_IOR_EXPR, TREE_TYPE (ll_arg),
ll_arg, rl_arg),
@ -5367,7 +5368,8 @@ fold_truthop (enum tree_code code, tree truth_type, tree lhs, tree rhs)
if (code == TRUTH_AND_EXPR
&& lcode == EQ_EXPR && integer_zerop (lr_arg)
&& rcode == EQ_EXPR && integer_zerop (rr_arg)
&& TREE_TYPE (ll_arg) == TREE_TYPE (rl_arg))
&& TREE_TYPE (ll_arg) == TREE_TYPE (rl_arg)
&& INTEGRAL_TYPE_P (TREE_TYPE (ll_arg)))
return build2 (EQ_EXPR, truth_type,
build2 (BIT_IOR_EXPR, TREE_TYPE (ll_arg),
ll_arg, rl_arg),

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2008-03-27 Andrew Pinski <pinskia@gmail.com>
PR middle-end/35429
* gcc.c-torture/compile/complex-5.c: New test.
2008-03-26 Kaveh R. Ghazi <ghazi@caip.rutgers.edu>
* gcc.dg/uninit-16.c (decode_reloc): Mark static.

9
gcc/testsuite/gcc.c-torture/compile/complex-5.c Normal file
View File

@ -0,0 +1,9 @@
int foo(__complex__ int z0, __complex__ int z1)
{
return z0 != 0 || z1 != 0;
}
int foo1(__complex__ int z0, __complex__ int z1)
{
return z0 == 0 && z1 == 0;
}