From 4a0b976bcbb04f53edd72d7dbfad900b00a92856 Mon Sep 17 00:00:00 2001 From: kazu Date: Tue, 5 Oct 2004 18:58:36 +0000 Subject: [PATCH] * tree-cfg.c (thread_jumps): Iterate with FOR_EACH_BB instead of FOR_BB_BETWEEN. Remove a useless check for unreachable blocks. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@88566 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/ChangeLog | 6 ++++++ gcc/tree-cfg.c | 16 ++++++++-------- 2 files changed, 14 insertions(+), 8 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7ef42ea0c2d..d578219cead 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2004-10-05 Kazu Hirata + * tree-cfg.c (thread_jumps): Iterate with FOR_EACH_BB instead + of FOR_BB_BETWEEN. Remove a useless check for unreachable + blocks. + +2004-10-05 Kazu Hirata + * tree-cfg.c (cleanup_tree_cfg): Don't call delete_unreachable_blosk() after thread_jumps(). (thread_jumps): Always remove basic blocks as they become diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index afeb4de0751..2eff7546f39 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -3825,7 +3825,11 @@ tree_forwarder_block_p (basic_block bb) /* Thread jumps over empty statements. This code should _not_ thread over obviously equivalent conditions - as that requires nontrivial updates to the SSA graph. */ + as that requires nontrivial updates to the SSA graph. + + As a precondition, we require that all basic blocks be reachable. + That is, there should be no opportunities left for + delete_unreachable_blocks. */ static bool thread_jumps (void) @@ -3839,18 +3843,14 @@ thread_jumps (void) FOR_EACH_BB (bb) bb_ann (bb)->forwardable = 1; - FOR_BB_BETWEEN (bb, ENTRY_BLOCK_PTR, EXIT_BLOCK_PTR, next_bb) + FOR_EACH_BB (bb) { edge_iterator ei; - /* Don't waste time on unreachable blocks. */ - if (EDGE_COUNT (bb->preds) == 0) - continue; - - /* Nor on forwarders. */ + /* Don't waste time on forwarders. */ if (tree_forwarder_block_p (bb)) continue; - + /* This block is now part of a forwarding path, mark it as not forwardable so that we can detect loops. This bit will be reset below. */ -- 2.11.4.GIT