From 8f28be81e32a7117e0848bb8559e90376570e4d2 Mon Sep 17 00:00:00 2001 From: Kazu Hirata Date: Fri, 1 Oct 2004 14:51:25 +0000 Subject: [PATCH] tree-cfg.c (cleanup_tree_cfg): Pull a call to cleanup_control_flow() out of the while loop. * tree-cfg.c (cleanup_tree_cfg): Pull a call to cleanup_control_flow() out of the while loop. From-SVN: r88395 --- gcc/ChangeLog | 5 +++++ gcc/tree-cfg.c | 12 +++++++++--- 2 files changed, 14 insertions(+), 3 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d7d99a7887c..9b4c512add6 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2004-10-01 Kazu Hirata + + * tree-cfg.c (cleanup_tree_cfg): Pull a call to + cleanup_control_flow() out of the while loop. + 2004-10-01 Paolo Bonzini * tree-vectorizer.c (vectorizable_operation): Fail unless diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 025e677c396..72f73784d60 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -717,16 +717,22 @@ cleanup_tree_cfg (void) timevar_push (TV_TREE_CLEANUP_CFG); - /* These three transformations can cascade, so we iterate on them until + retval = cleanup_control_flow (); + + /* These two transformations can cascade, so we iterate on them until nothing changes. */ while (something_changed) { - something_changed = cleanup_control_flow (); - something_changed |= delete_unreachable_blocks (); + something_changed = delete_unreachable_blocks (); something_changed |= thread_jumps (); retval |= something_changed; } +#ifdef ENABLE_CHECKING + if (retval) + gcc_assert (!cleanup_control_flow ()); +#endif + /* Merging the blocks creates no new opportunities for the other optimizations, so do it here. */ merge_seq_blocks (); -- 2.30.2