diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index f2d34c62edd..bf31622a899 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2004-10-17  Zdenek Dvorak  <dvorakz@suse.cz>
+
+	* tree-ssa-loop-ivopts.c (tree_ssa_iv_optimize): Move checking out of
+	loop.
+
 2004-10-17  Andrew Pinski  <pinskia@physics.uc.edu>
 
 	Revert:
diff --git a/gcc/tree-ssa-loop-ivopts.c b/gcc/tree-ssa-loop-ivopts.c
index 70379dd1ddf..53d899d669e 100644
--- a/gcc/tree-ssa-loop-ivopts.c
+++ b/gcc/tree-ssa-loop-ivopts.c
@@ -4554,13 +4554,8 @@ tree_ssa_iv_optimize (struct loops *loops)
     {
       if (dump_file && (dump_flags & TDF_DETAILS))
 	flow_loop_dump (loop, dump_file, NULL, 1);
-      if (tree_ssa_iv_optimize_loop (&data, loop))
-	{
-#ifdef ENABLE_CHECKING
-	  verify_loop_closed_ssa ();
-          verify_stmts ();
-#endif
-	}
+
+      tree_ssa_iv_optimize_loop (&data, loop);
 
       if (loop->next)
 	{
@@ -4572,5 +4567,10 @@ tree_ssa_iv_optimize (struct loops *loops)
 	loop = loop->outer;
     }
 
+#ifdef ENABLE_CHECKING
+  verify_loop_closed_ssa ();
+  verify_stmts ();
+#endif
+
   tree_ssa_iv_optimize_finalize (loops, &data);
 }