diff options
| author | Jeff Law <law@redhat.com> | 2015-10-07 15:56:18 -0600 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2015-10-07 15:56:18 -0600 |
| commit | d44bd40ef006102f4001a54a2ac37fbf3b67f128 (patch) | |
| tree | a02016d5a52b8fb18cc01274f221a76ba860a673 /gcc | |
| parent | b0b5710cf676de537bc97b912218dd20d2cc36cd (diff) | |
| download | gcc-d44bd40ef006102f4001a54a2ac37fbf3b67f128.zip gcc-d44bd40ef006102f4001a54a2ac37fbf3b67f128.tar.gz gcc-d44bd40ef006102f4001a54a2ac37fbf3b67f128.tar.bz2 | |
Re: [PATCH] Improve DOM's optimization of control statements
* tree-ssa-dom.c (optimize_stmt): Don't set LOOPS_NEED_FIXUP here.
* tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Do it
here instead. Tighten test to avoid setting LOOPS_NEED_FIXUP
unnecessarily.
@@ -1848,12 +1848,6 @@ optimize_stmt (basic_block bb, gimple_stmt_iterator si,
From-SVN: r228585
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/tree-ssa-dom.c | 6 | ||||
| -rw-r--r-- | gcc/tree-ssa-threadupdate.c | 11 |
3 files changed, 19 insertions, 6 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e2aad22..86be03e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,11 @@ +2015-10-07 Jeff Law <law@redhat.com> + + * tree-ssa-dom.c (optimize_stmt): Don't set LOOPS_NEED_FIXUP here. + * tree-ssa-threadupdate.c (remove_ctrl_stmt_and_useless_edges): Do it + here instead. Tighten test to avoid setting LOOPS_NEED_FIXUP + unnecessarily. + +@@ -1848,12 +1848,6 @@ optimize_stmt (basic_block bb, gimple_stmt_iterator si, 2015-10-07 Aditya Kumar <aditya.k7@samsung.com> Sebastian Pop <s.pop@samsung.com> diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c index 941087d..38cceff 100644 --- a/gcc/tree-ssa-dom.c +++ b/gcc/tree-ssa-dom.c @@ -1848,12 +1848,6 @@ optimize_stmt (basic_block bb, gimple_stmt_iterator si, FOR_EACH_EDGE (e, ei, bb->succs) remove_jump_threads_including (e); - /* If BB is in a loop, then removing an outgoing edge from BB - may cause BB to move outside the loop, changes in the - loop exit edges, etc. So note that loops need fixing. */ - if (bb_loop_depth (bb) > 0) - loops_state_set (LOOPS_NEED_FIXUP); - /* Now clean up the control statement at the end of BB and remove unexecutable edges. */ remove_ctrl_stmt_and_useless_edges (bb, taken_edge->dest); diff --git a/gcc/tree-ssa-threadupdate.c b/gcc/tree-ssa-threadupdate.c index 26b199b..e426c1d 100644 --- a/gcc/tree-ssa-threadupdate.c +++ b/gcc/tree-ssa-threadupdate.c @@ -300,6 +300,17 @@ remove_ctrl_stmt_and_useless_edges (basic_block bb, basic_block dest_bb) else ei_next (&ei); } + + /* If the remaining edge is a loop exit, there must have + a removed edge that was not a loop exit. + + In that case BB and possibly other blocks were previously + in the loop, but are now outside the loop. Thus, we need + to update the loop structures. */ + if (single_succ_p (bb) + && loop_outer (bb->loop_father) + && loop_exit_edge_p (bb->loop_father, single_succ_edge (bb))) + loops_state_set (LOOPS_NEED_FIXUP); } /* Create a duplicate of BB. Record the duplicate block in an array |