diff options
| author | Richard Biener <rguenther@suse.de> | 2018-12-14 09:26:05 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-12-14 09:26:05 +0000 |
| commit | b210534e5c630eda94b210a8d22dbfae1299d2da (patch) | |
| tree | a1b11295255d1140d92238a7a42169223a3cd88a /gcc | |
| parent | 04f4909a1e91c3fc350789aa5a46390df3aa89f3 (diff) | |
| download | gcc-b210534e5c630eda94b210a8d22dbfae1299d2da.zip gcc-b210534e5c630eda94b210a8d22dbfae1299d2da.tar.gz gcc-b210534e5c630eda94b210a8d22dbfae1299d2da.tar.bz2 | |
gimple-ssa-split-paths.c (is_feasible_trace): Remove duplicated code block.
2018-12-14 Richard Biener <rguenther@suse.de>
* gimple-ssa-split-paths.c (is_feasible_trace): Remove
duplicated code block.
From-SVN: r267126
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/gimple-ssa-split-paths.c | 46 |
2 files changed, 5 insertions, 46 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index aa26099..5d81eb0 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2018-12-14 Richard Biener <rguenther@suse.de> + + * gimple-ssa-split-paths.c (is_feasible_trace): Remove + duplicated code block. + 2018-12-14 Alan Modra <amodra@gmail.com> PR rtl-optimization/88311 diff --git a/gcc/gimple-ssa-split-paths.c b/gcc/gimple-ssa-split-paths.c index 9159652..75f6be8 100644 --- a/gcc/gimple-ssa-split-paths.c +++ b/gcc/gimple-ssa-split-paths.c @@ -249,52 +249,6 @@ is_feasible_trace (basic_block bb) } } - /* Canonicalize the form. */ - if (num_stmts_in_pred1 == 0 && num_stmts_in_pred2 == 1) - { - std::swap (pred1, pred2); - std::swap (num_stmts_in_pred1, num_stmts_in_pred2); - } - - /* Another variant. This one is half-diamond. */ - if (num_stmts_in_pred1 == 1 && num_stmts_in_pred2 == 0 - && dominated_by_p (CDI_DOMINATORS, pred1, pred2)) - { - gimple *stmt1 = last_and_only_stmt (pred1); - - /* The only statement in PRED1 must be an assignment that is - not a good candidate for if-conversion. This may need some - generalization. */ - if (stmt1 && gimple_code (stmt1) == GIMPLE_ASSIGN) - { - enum tree_code code1 = gimple_assign_rhs_code (stmt1); - - if (!poor_ifcvt_candidate_code (code1)) - { - tree lhs1 = gimple_assign_lhs (stmt1); - tree rhs1 = gimple_assign_rhs1 (stmt1); - - gimple_stmt_iterator gsi; - for (gsi = gsi_start_phis (bb); !gsi_end_p (gsi); gsi_next (&gsi)) - { - gimple *phi = gsi_stmt (gsi); - if ((gimple_phi_arg_def (phi, 0) == lhs1 - && gimple_phi_arg_def (phi, 1) == rhs1) - || (gimple_phi_arg_def (phi, 1) == lhs1 - && gimple_phi_arg_def (phi, 0) == rhs1)) - { - if (dump_file && (dump_flags & TDF_DETAILS)) - fprintf (dump_file, - "Block %d appears to be a join point for " - "if-convertable half-diamond.\n", - bb->index); - return false; - } - } - } - } - } - /* If the joiner has no PHIs with useful uses there is zero chance of CSE/DCE/jump-threading possibilities exposed by duplicating it. */ bool found_useful_phi = false; |