diff options
Diffstat (limited to 'gcc/loop-init.c')
| -rw-r--r-- | gcc/loop-init.c | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/gcc/loop-init.c b/gcc/loop-init.c index c13d360..87e58ea 100644 --- a/gcc/loop-init.c +++ b/gcc/loop-init.c @@ -49,6 +49,7 @@ along with GCC; see the file COPYING3. If not see #include "ggc.h" #include "tree-ssa-loop-niter.h" #include "loop-unroll.h" +#include "tree-scalar-evolution.h" /* Apply FLAGS to the loop state. */ @@ -221,6 +222,9 @@ fix_loop_structure (bitmap changed_bbs) timevar_push (TV_LOOP_INIT); + if (dump_file && (dump_flags & TDF_DETAILS)) + fprintf (dump_file, "fix_loop_structure: fixing up loops for function\n"); + /* We need exact and fast dominance info to be available. */ gcc_assert (dom_info_state (CDI_DOMINATORS) == DOM_OK); @@ -290,6 +294,7 @@ fix_loop_structure (bitmap changed_bbs) } /* Finally free deleted loops. */ + bool any_deleted = false; FOR_EACH_VEC_ELT (*get_loops (cfun), i, loop) if (loop && loop->header == NULL) { @@ -322,8 +327,14 @@ fix_loop_structure (bitmap changed_bbs) } (*get_loops (cfun))[i] = NULL; flow_loop_free (loop); + any_deleted = true; } + /* If we deleted loops then the cached scalar evolutions refering to + those loops become invalid. */ + if (any_deleted && scev_initialized_p ()) + scev_reset_htab (); + loops_state_clear (LOOPS_NEED_FIXUP); /* Apply flags to loops. */ |