diff options
-rw-r--r-- | gcc/ChangeLog | 6 | ||||
-rw-r--r-- | gcc/gimple-ssa-split-paths.c | 10 |
2 files changed, 13 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1458921cb44..d59a0e997ee 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-04-12 Richard Biener <rguenther@suse.de> + + PR tree-optimization/79390 + * gimple-ssa-split-paths.c (is_feasible_trace): Restrict + threading case even more. + 2017-04-12 Segher Boessenkool <segher@kernel.crashing.org> PR target/80382 diff --git a/gcc/gimple-ssa-split-paths.c b/gcc/gimple-ssa-split-paths.c index df88c76aa53..70651c5dea3 100644 --- a/gcc/gimple-ssa-split-paths.c +++ b/gcc/gimple-ssa-split-paths.c @@ -249,13 +249,17 @@ is_feasible_trace (basic_block bb) imm_use_iterator iter2; FOR_EACH_IMM_USE_FAST (use2_p, iter2, gimple_phi_result (stmt)) { - if (is_gimple_debug (USE_STMT (use2_p))) + gimple *use_stmt = USE_STMT (use2_p); + if (is_gimple_debug (use_stmt)) continue; - basic_block use_bb = gimple_bb (USE_STMT (use2_p)); + basic_block use_bb = gimple_bb (use_stmt); if (use_bb != bb && dominated_by_p (CDI_DOMINATORS, bb, use_bb)) { - found_useful_phi = true; + if (gcond *cond = dyn_cast <gcond *> (use_stmt)) + if (gimple_cond_code (cond) == EQ_EXPR + || gimple_cond_code (cond) == NE_EXPR) + found_useful_phi = true; break; } } |