diff options
| author | Eric Botcazou <ebotcazou@adacore.com> | 2016-02-09 17:21:57 +0000 |
|---|---|---|
| committer | Eric Botcazou <ebotcazou@gcc.gnu.org> | 2016-02-09 17:21:57 +0000 |
| commit | a864ad5ba2501dd2157fd2512ebf00b3d529f921 (patch) | |
| tree | 3d14d10508e1d4a7e5509b5718d3106975df3043 /gcc/gimple-ssa-backprop.c | |
| parent | f10208b8e92668673de666c863b3db1834f62f09 (diff) | |
gimple-ssa-backprop.c (optimize_phi): Do not replace an argument corresponding to an abnormal edge.
* gimple-ssa-backprop.c (optimize_phi): Do not replace an argument
corresponding to an abnormal edge.
From-SVN: r233248
Diffstat (limited to 'gcc/gimple-ssa-backprop.c')
| -rw-r--r-- | gcc/gimple-ssa-backprop.c | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/gcc/gimple-ssa-backprop.c b/gcc/gimple-ssa-backprop.c index 3e64a7010c6..d96bccac555 100644 --- a/gcc/gimple-ssa-backprop.c +++ b/gcc/gimple-ssa-backprop.c @@ -831,15 +831,21 @@ backprop::optimize_assign (gassign *assign, tree lhs, const usage_info *info) void backprop::optimize_phi (gphi *phi, tree var, const usage_info *info) { - /* If the sign of the result doesn't matter, strip sign operations - from all arguments. */ + /* If the sign of the result doesn't matter, try to strip sign operations + from arguments. */ if (info->flags.ignore_sign) { + basic_block bb = gimple_bb (phi); use_operand_p use; ssa_op_iter oi; bool replaced = false; FOR_EACH_PHI_ARG (use, phi, oi, SSA_OP_USE) { + /* Propagating along abnormal edges is delicate, punt for now. */ + const int index = PHI_ARG_INDEX_FROM_USE (use); + if (EDGE_PRED (bb, index)->flags & EDGE_ABNORMAL) + continue; + tree new_arg = strip_sign_op (USE_FROM_PTR (use)); if (new_arg) { |