From 33c6daf4781dd373ac4760ac020d670e075d3af4 Mon Sep 17 00:00:00 2001 From: Tom de Vries Date: Tue, 17 Nov 2015 21:42:36 +0000 Subject: [PATCH] Improve comments in pass_tree_loop_init::execute 2015-11-17 Tom de Vries * tree-ssa-loop.c (pass_tree_loop_init::execute): Improve comments. From-SVN: r230505 --- gcc/ChangeLog | 4 ++++ gcc/tree-ssa-loop.c | 9 ++++++--- 2 files changed, 10 insertions(+), 3 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8267d67c956..2e20b434942 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,7 @@ +2015-11-17 Tom de Vries + + * tree-ssa-loop.c (pass_tree_loop_init::execute): Improve comments. + 2015-11-17 Tom de Vries * tree-scalar-evolution.c (scev_const_prop): Dump details if replacing diff --git a/gcc/tree-ssa-loop.c b/gcc/tree-ssa-loop.c index 8ecd140c22d..afdef121788 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; -- 2.30.2