Always execute verify_loop_closed_ssa at LNO level.

2010-04-06  Sebastian Pop  <sebastian.pop@amd.com>

	* passes.c (execute_function_todo): Call verify_loop_closed_ssa
	for all the passes of the LNO having LOOP_CLOSED_SSA.
	* tree-if-conv.c (pass_if_conversion): Remove TODO_verify_loops.
	* tree-loop-distribution.c (pass_loop_distribution): Same.
	* tree-pass.h (TODO_verify_loops): Removed.
	* tree-ssa-loop.c (pass_tree_loop_init): Same.
	(pass_lim): Same.
	(pass_tree_unswitch): Same.
	(pass_predcom): Same.
	(pass_vectorize): Same.
	(pass_linear_transform): Same.
	(pass_graphite_transforms): Same.
	(pass_iv_canon): Same.
	(pass_complete_unroll): Same.
	(pass_complete_unrolli): Same.
	(pass_parallelize_loops): Same.
	(pass_loop_prefetch): Same.
	(pass_iv_optimize): Same.

git-svn-id: https://gcc.gnu.org/svn/gcc/trunk@158020 138bc75d-0d04-0410-961f-82ee72b054a4

1 files changed, 13 insertions, 15 deletions

diff --git a/gcc/tree-ssa-loop.c b/gcc/tree-ssa-loop.c
index 591890ccfd5..fbf8d59e0dc 100644
--- a/gcc/tree-ssa-loop.c
+++ b/gcc/tree-ssa-loop.c
@@ -97,7 +97,7 @@ struct gimple_opt_pass pass_tree_loop_init =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops	/* todo_flags_finish */
+  TODO_dump_func			/* todo_flags_finish */
  }
 };
 
@@ -134,7 +134,7 @@ struct gimple_opt_pass pass_lim =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops	/* todo_flags_finish */
+  TODO_dump_func			/* todo_flags_finish */
  }
 };
 
@@ -170,8 +170,7 @@ struct gimple_opt_pass pass_tree_unswitch =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_ggc_collect | TODO_dump_func
-    | TODO_verify_loops		 	/* todo_flags_finish */
+  TODO_ggc_collect | TODO_dump_func 	/* todo_flags_finish */
  }
 };
 
@@ -208,7 +207,7 @@ struct gimple_opt_pass pass_predcom =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops
+  TODO_dump_func
     | TODO_update_ssa_only_virtuals	/* todo_flags_finish */
  }
 };
@@ -244,7 +243,7 @@ struct gimple_opt_pass pass_vectorize =
   PROP_cfg | PROP_ssa,                  /* properties_required */
   0,                                    /* properties_provided */
   0,                                    /* properties_destroyed */
-  TODO_verify_loops,			/* todo_flags_start */
+  0,					/* todo_flags_start */
   TODO_dump_func | TODO_update_ssa
     | TODO_ggc_collect			/* todo_flags_finish */
  }
@@ -283,7 +282,7 @@ struct gimple_opt_pass pass_linear_transform =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops
+  TODO_dump_func
     | TODO_update_ssa_only_virtuals
     | TODO_ggc_collect			/* todo_flags_finish */
  }
@@ -329,7 +328,7 @@ struct gimple_opt_pass pass_graphite_transforms =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_verify_loops			/* todo_flags_finish */
+  0					/* todo_flags_finish */
  }
 };
 
@@ -402,7 +401,7 @@ struct gimple_opt_pass pass_iv_canon =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops	/* todo_flags_finish */
+  TODO_dump_func			/* todo_flags_finish */
  }
 };
 
@@ -501,7 +500,7 @@ struct gimple_opt_pass pass_complete_unroll =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops
+  TODO_dump_func
     | TODO_ggc_collect			/* todo_flags_finish */
  }
 };
@@ -548,7 +547,7 @@ struct gimple_opt_pass pass_complete_unrolli =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops
+  TODO_dump_func
     | TODO_ggc_collect 			/* todo_flags_finish */
  }
 };
@@ -587,7 +586,7 @@ struct gimple_opt_pass pass_parallelize_loops =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops	/* todo_flags_finish */
+  TODO_dump_func			/* todo_flags_finish */
  }
 };
 
@@ -623,7 +622,7 @@ struct gimple_opt_pass pass_loop_prefetch =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops	/* todo_flags_finish */
+  TODO_dump_func			/* todo_flags_finish */
  }
 };
 
@@ -660,8 +659,7 @@ struct gimple_opt_pass pass_iv_optimize =
   0,					/* properties_provided */
   0,					/* properties_destroyed */
   0,					/* todo_flags_start */
-  TODO_dump_func | TODO_verify_loops
-  | TODO_update_ssa | TODO_ggc_collect	/* todo_flags_finish */
+  TODO_dump_func | TODO_update_ssa | TODO_ggc_collect	/* todo_flags_finish */
  }
 };