diff options
| author | Richard Biener <rguenther@suse.de> | 2016-05-24 14:35:36 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-05-24 14:35:36 +0000 |
| commit | e5328f5dc2bc46eedf1d367de0bd751d43f1311d (patch) | |
| tree | 3e7c51013c73ad079750221df2bef6bfcd99e8ad /gcc/tree-ssa-reassoc.c | |
| parent | fce57248c89d5b990d1f82a2f8eba5a9741c9ad9 (diff) | |
| download | gcc-e5328f5dc2bc46eedf1d367de0bd751d43f1311d.zip gcc-e5328f5dc2bc46eedf1d367de0bd751d43f1311d.tar.gz gcc-e5328f5dc2bc46eedf1d367de0bd751d43f1311d.tar.bz2 | |
re PR tree-optimization/71230 (ICE : in zero_one_operation, at tree-ssa-reassoc.c:1230)
2016-05-24 Richard Biener <rguenther@suse.de>
PR tree-optimization/71230
* tree-ssa-reassoc.c (zero_one_operation): Handle negate special ops.
* gcc.dg/torture/pr71230.c: New testcase.
* g++.dg/torture/pr71230.C: Likewise.
From-SVN: r236643
Diffstat (limited to 'gcc/tree-ssa-reassoc.c')
| -rw-r--r-- | gcc/tree-ssa-reassoc.c | 28 |
1 files changed, 22 insertions, 6 deletions
diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c index 28823a2..3b02667 100644 --- a/gcc/tree-ssa-reassoc.c +++ b/gcc/tree-ssa-reassoc.c @@ -1189,12 +1189,20 @@ zero_one_operation (tree *def, enum tree_code opcode, tree op) { tree name; - if (opcode == MULT_EXPR - && stmt_is_power_of_op (stmt, op)) + if (opcode == MULT_EXPR) { - if (decrement_power (stmt) == 1) - propagate_op_to_single_use (op, stmt, def); - return; + if (stmt_is_power_of_op (stmt, op)) + { + if (decrement_power (stmt) == 1) + propagate_op_to_single_use (op, stmt, def); + return; + } + else if (gimple_assign_rhs_code (stmt) == NEGATE_EXPR + && gimple_assign_rhs1 (stmt) == op) + { + propagate_op_to_single_use (op, stmt, def); + return; + } } name = gimple_assign_rhs1 (stmt); @@ -1213,7 +1221,8 @@ zero_one_operation (tree *def, enum tree_code opcode, tree op) } /* We might have a multiply of two __builtin_pow* calls, and - the operand might be hiding in the rightmost one. */ + the operand might be hiding in the rightmost one. Likewise + this can happen for a negate. */ if (opcode == MULT_EXPR && gimple_assign_rhs_code (stmt) == opcode && TREE_CODE (gimple_assign_rhs2 (stmt)) == SSA_NAME @@ -1226,6 +1235,13 @@ zero_one_operation (tree *def, enum tree_code opcode, tree op) propagate_op_to_single_use (op, stmt2, def); return; } + else if (is_gimple_assign (stmt2) + && gimple_assign_rhs_code (stmt2) == NEGATE_EXPR + && gimple_assign_rhs1 (stmt2) == op) + { + propagate_op_to_single_use (op, stmt2, def); + return; + } } /* Continue walking the chain. */ |