diff options
| author | Richard Biener <rguenther@suse.de> | 2016-05-31 12:18:15 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2016-05-31 12:18:15 +0000 |
| commit | 0d99f8a0705e47ca7fcee70f25cab0098ec64e48 (patch) | |
| tree | 85254d6388859050eae0e98b7d517d512f953dfb /gcc/tree-ssa-reassoc.c | |
| parent | a1293f402a25801d03a58312b06b65c33702c726 (diff) | |
| download | gcc-0d99f8a0705e47ca7fcee70f25cab0098ec64e48.zip gcc-0d99f8a0705e47ca7fcee70f25cab0098ec64e48.tar.gz gcc-0d99f8a0705e47ca7fcee70f25cab0098ec64e48.tar.bz2 | |
re PR tree-optimization/71352 (ICE at -O1 and above on x86_64-linux-gnu: in zero_one_operation, at tree-ssa-reassoc.c:1251)
2016-05-31 Richard Biener <rguenther@suse.de>
PR tree-optimization/71352
* tree-ssa-reassoc.c (zero_one_operation): Handle op equal to
minus one and a negate.
* gcc.dg/tree-ssa/reassoc-45.c: New testcase.
From-SVN: r236920
Diffstat (limited to 'gcc/tree-ssa-reassoc.c')
| -rw-r--r-- | gcc/tree-ssa-reassoc.c | 34 |
1 files changed, 26 insertions, 8 deletions
diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c index 430bcc8..1973077 100644 --- a/gcc/tree-ssa-reassoc.c +++ b/gcc/tree-ssa-reassoc.c @@ -1199,11 +1199,20 @@ zero_one_operation (tree *def, enum tree_code opcode, tree op) propagate_op_to_single_use (op, stmt, def); return; } - else if (gimple_assign_rhs_code (stmt) == NEGATE_EXPR - && gimple_assign_rhs1 (stmt) == op) + else if (gimple_assign_rhs_code (stmt) == NEGATE_EXPR) { - propagate_op_to_single_use (op, stmt, def); - return; + if (gimple_assign_rhs1 (stmt) == op) + { + propagate_op_to_single_use (op, stmt, def); + return; + } + else if (integer_minus_onep (op) + || real_minus_onep (op)) + { + gimple_assign_set_rhs_code + (stmt, TREE_CODE (gimple_assign_rhs1 (stmt))); + return; + } } } @@ -1238,11 +1247,20 @@ zero_one_operation (tree *def, enum tree_code opcode, tree op) return; } else if (is_gimple_assign (stmt2) - && gimple_assign_rhs_code (stmt2) == NEGATE_EXPR - && gimple_assign_rhs1 (stmt2) == op) + && gimple_assign_rhs_code (stmt2) == NEGATE_EXPR) { - propagate_op_to_single_use (op, stmt2, def); - return; + if (gimple_assign_rhs1 (stmt2) == op) + { + propagate_op_to_single_use (op, stmt2, def); + return; + } + else if (integer_minus_onep (op) + || real_minus_onep (op)) + { + gimple_assign_set_rhs_code + (stmt2, TREE_CODE (gimple_assign_rhs1 (stmt2))); + return; + } } } |