From 535d631e3bf9ade0626655ce99bae85db4d8da72 Mon Sep 17 00:00:00 2001 From: law Date: Fri, 2 Oct 2015 19:31:46 +0000 Subject: [PATCH] Re: [PATCH] Improve DOM's optimization of control statements * tree-ssa-dom.c (optimize_stmt): Note when loop structures need fixups. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@228415 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 5 +++++ gcc/tree-ssa-dom.c | 6 ++++++ 2 files changed, 11 insertions(+) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 1317a2d6d5e7..6a0e10297d1e 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2015-10-02 Jeff Law + + * tree-ssa-dom.c (optimize_stmt): Note when loop structures need + fixups. + 2015-10-02 Thomas Schwinge PR target/67822 diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c index a8b7038d73bd..d9408165157a 100644 --- a/gcc/tree-ssa-dom.c +++ b/gcc/tree-ssa-dom.c @@ -1843,6 +1843,12 @@ optimize_stmt (basic_block bb, gimple_stmt_iterator si, /* Delete threads that start at BB. */ remove_jump_threads_starting_at (bb); + /* 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); -- 2.47.3