From: Tom de Vries <tom@codesourcery.com>
Date: Tue, 17 Nov 2015 21:42:36 +0000 (+0000)
Subject: Improve comments in pass_tree_loop_init::execute
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=33c6daf4781dd373ac4760ac020d670e075d3af4;p=gcc.git

Improve comments in pass_tree_loop_init::execute

2015-11-17  Tom de Vries  <tom@codesourcery.com>

	* tree-ssa-loop.c (pass_tree_loop_init::execute): Improve comments.

From-SVN: r230505
---

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  <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
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;