diff options
| author | Tom de Vries <tom@codesourcery.com> | 2015-11-17 21:42:36 +0000 |
|---|---|---|
| committer | Tom de Vries <vries@gcc.gnu.org> | 2015-11-17 21:42:36 +0000 |
| commit | 33c6daf4781dd373ac4760ac020d670e075d3af4 (patch) | |
| tree | ede6a5f0123e02345a226e70b68f0fa1437edcf2 /gcc/tree-ssa-loop.c | |
| parent | ed22b76f3f7666e43e1b7ff10ce75edee2a28b08 (diff) | |
| download | gcc-33c6daf4781dd373ac4760ac020d670e075d3af4.zip gcc-33c6daf4781dd373ac4760ac020d670e075d3af4.tar.gz gcc-33c6daf4781dd373ac4760ac020d670e075d3af4.tar.bz2 | |
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
Diffstat (limited to 'gcc/tree-ssa-loop.c')
| -rw-r--r-- | gcc/tree-ssa-loop.c | 9 |
1 files changed, 6 insertions, 3 deletions
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; |