diff options
| author | Jeff Law <law@redhat.com> | 2015-10-06 20:25:57 -0600 |
|---|---|---|
| committer | Jeff Law <law@gcc.gnu.org> | 2015-10-06 20:25:57 -0600 |
| commit | 00852255e4a0d3b67ed853aacbc4aa4f4dfe724a (patch) | |
| tree | 38f2371bdfbd8f8e7bf213eb5d5aa9aa8733c0f7 /gcc/tree-ssa-dom.c | |
| parent | 165ccc545563b5899a4e8256933b8955914f988b (diff) | |
| download | gcc-00852255e4a0d3b67ed853aacbc4aa4f4dfe724a.zip gcc-00852255e4a0d3b67ed853aacbc4aa4f4dfe724a.tar.gz gcc-00852255e4a0d3b67ed853aacbc4aa4f4dfe724a.tar.bz2 | |
[PATCH][PR tree-optimization/67816] Fix jump threading when DOM removes conditionals in jump threading path
PR tree-optimization/67816
* tree-ssa-threadupdate.h (remove_jump_threads_including): Renamed
from remove_jump_threads_starting_at. Accept an edge rather than
a basic block.
* tree-ssa-threadupdate.c (removed_edges): New hash table.
(remove_jump_threads_including): Note edges that get removed from
the CFG for later pruning of jump threading paths including them.
(thread_through_all_blocks): Remove paths which include edges that
have been removed.
* tree-ssa-dom.c (optimize_stmt): Call remove_jump_threads_including
on each outgoing edges when optimizing away a control statement.
* gcc.c-torture/compile/pr67816.c: New test.
From-SVN: r228559
Diffstat (limited to 'gcc/tree-ssa-dom.c')
| -rw-r--r-- | gcc/tree-ssa-dom.c | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c index c226da5..941087d 100644 --- a/gcc/tree-ssa-dom.c +++ b/gcc/tree-ssa-dom.c @@ -1840,8 +1840,13 @@ optimize_stmt (basic_block bb, gimple_stmt_iterator si, edge taken_edge = find_taken_edge (bb, val); if (taken_edge) { - /* Delete threads that start at BB. */ - remove_jump_threads_starting_at (bb); + + /* We need to remove any queued jump threads that + reference outgoing edges from this block. */ + edge_iterator ei; + edge e; + 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 |