diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/tree-ssa-loop.c | 9 |
2 files changed, 10 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8267d67..2e20b43 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,9 @@ 2015-11-17 Tom de Vries <tom@codesourcery.com> + * tree-ssa-loop.c (pass_tree_loop_init::execute): Improve comments. + +2015-11-17 Tom de Vries <tom@codesourcery.com> + * tree-scalar-evolution.c (scev_const_prop): Dump details if replacing uses of ssa_name with constant. diff --git a/gcc/tree-ssa-loop.c b/gcc/tree-ssa-loop.c index 8ecd140..afdef12 100644 --- a/gcc/tree-ssa-loop.c +++ b/gcc/tree-ssa-loop.c @@ -211,12 +211,15 @@ public: unsigned int pass_tree_loop_init::execute (function *fun ATTRIBUTE_UNUSED) { + /* When processing a loop in the loop pipeline, we should be able to assert + that: + (loops_state_satisfies_p (LOOPS_NORMAL | LOOPS_HAVE_RECORDED_EXITS + | LOOP_CLOSED_SSA) + && scev_initialized_p ()) + */ loop_optimizer_init (LOOPS_NORMAL | LOOPS_HAVE_RECORDED_EXITS); rewrite_into_loop_closed_ssa (NULL, TODO_update_ssa); - - /* We might discover new loops, e.g. when turning irreducible - regions into reducible. */ scev_initialize (); return 0; |