diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 4af737ee94c610921fb5d523cf204fd5257ac67e..2759095adbf9475928c2b0160efc239f7f75b67f 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-08-28 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/37207 + * tree-ssa-ifcombine.c (recognize_single_bit_test): Fix + tuplification bug. + 2008-08-28 Dodji Seketeli <dodji@redhat.com> PR c++/36741 diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 96b49b61aeadb26ec09aac12e52e02aca41a3481..4befcbb5dbec99df2d648bdd3fff872550729b16 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-08-28 Richard Guenther <rguenther@suse.de> + + PR tree-optimization/37207 + * gcc.c-torture/compile/pr37207.c: New testcase. + 2008-08-28 Janus Weil <janus@gcc.gnu.org> PR fortran/37253 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr37207.c b/gcc/testsuite/gcc.c-torture/compile/pr37207.c new file mode 100644 index 0000000000000000000000000000000000000000..72333d26f6c9d6b71303a9c4cda3fbdcf403ebc3 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr37207.c @@ -0,0 +1,21 @@ +void +func_18 ( int t ) +{ + unsigned l_889; + int l_895 = 1; + for (0; 1; ++l_889) + { + int t1 = 0; + if (func_81 (1)) + { + int rhs = l_895; + if (rhs == 0) + rhs = 1; + if (1 & (t % rhs)) + t1 = 1; + } + func_98 (t1); + l_895 = 0; + } +} + diff --git a/gcc/tree-ssa-ifcombine.c b/gcc/tree-ssa-ifcombine.c index 143608e28eb75b2c05f424b0bfcde64e82881bd1..a4a74ee6be40f4d221056a5a3b15db7c4bb5bad3 100644 --- a/gcc/tree-ssa-ifcombine.c +++ b/gcc/tree-ssa-ifcombine.c @@ -212,7 +212,7 @@ recognize_single_bit_test (gimple cond, tree *name, tree *bit) stmt = SSA_NAME_DEF_STMT (orig_name); while (is_gimple_assign (stmt) - && (gimple_assign_copy_p (stmt) + && (gimple_assign_ssa_name_copy_p (stmt) || (gimple_assign_cast_p (stmt) && integral_operand_p (gimple_assign_lhs (stmt)) && integral_operand_p (gimple_assign_rhs1 (stmt))