diff options
author | Jakub Jelinek <jakub@redhat.com> | 2013-03-07 15:34:15 +0100 |
---|---|---|
committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2013-03-07 15:34:15 +0100 |
commit | 5bf6606a1cd384297f6d7906f7fd76cf981a20fb (patch) | |
tree | 74ca0a57a8fa68a20090bd3cc57460859957b48f /gcc/tree-ssa-reassoc.c | |
parent | 7bb75486ab14b3f9e35dc8bdab0ae136023450a5 (diff) | |
download | gcc-5bf6606a1cd384297f6d7906f7fd76cf981a20fb.tar.gz |
re PR middle-end/56559 (ICE in propagate_op_to_single_use, at tree-ssa-reassoc.c:1057)
PR tree-optimization/56559
* tree-ssa-reassoc.c (zero_one_operation): When looking at rhs2,
check that it has only a single use.
* gcc.dg/tree-ssa/reassoc-26.c: New test.
From-SVN: r196520
Diffstat (limited to 'gcc/tree-ssa-reassoc.c')
-rw-r--r-- | gcc/tree-ssa-reassoc.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c index f53526b56d3..27161cd1860 100644 --- a/gcc/tree-ssa-reassoc.c +++ b/gcc/tree-ssa-reassoc.c @@ -1107,7 +1107,8 @@ zero_one_operation (tree *def, enum tree_code opcode, tree op) the operand might be hiding in the rightmost one. */ if (opcode == MULT_EXPR && gimple_assign_rhs_code (stmt) == opcode - && TREE_CODE (gimple_assign_rhs2 (stmt)) == SSA_NAME) + && TREE_CODE (gimple_assign_rhs2 (stmt)) == SSA_NAME + && has_single_use (gimple_assign_rhs2 (stmt))) { gimple stmt2 = SSA_NAME_DEF_STMT (gimple_assign_rhs2 (stmt)); if (stmt_is_power_of_op (stmt2, op)) |