===================================================================
@@ -55,7 +55,6 @@ graphite_verify (void)
{
#ifdef ENABLE_CHECKING
verify_loop_structure ();
- verify_dominators (CDI_DOMINATORS);
verify_loop_closed_ssa (true);
#endif
}
===================================================================
@@ -1026,7 +1026,6 @@ create_sese_edges (VEC (sd_region, heap)
#ifdef ENABLE_CHECKING
verify_loop_structure ();
- verify_dominators (CDI_DOMINATORS);
verify_ssa (false);
#endif
}
===================================================================
@@ -747,7 +747,6 @@ doloop_optimize_loops (void)
iv_analysis_done ();
#ifdef ENABLE_CHECKING
- verify_dominators (CDI_DOMINATORS);
verify_loop_structure ();
#endif
}
===================================================================
@@ -91,7 +91,6 @@ loop_optimizer_init (unsigned flags)
flow_loops_dump (dump_file, NULL, 1);
#ifdef ENABLE_CHECKING
- verify_dominators (CDI_DOMINATORS);
verify_loop_structure ();
#endif
}
===================================================================
@@ -198,7 +198,6 @@ unroll_and_peel_loops (int flags)
if (check)
{
#ifdef ENABLE_CHECKING
- verify_dominators (CDI_DOMINATORS);
verify_loop_structure ();
#endif
}
@@ -255,7 +254,6 @@ peel_loops_completely (int flags)
{
peel_loop_completely (loop);
#ifdef ENABLE_CHECKING
- verify_dominators (CDI_DOMINATORS);
verify_loop_structure ();
#endif
}
===================================================================
@@ -149,7 +149,6 @@ unswitch_loops (void)
{
unswitch_single_loop (loop, NULL_RTX, 0);
#ifdef ENABLE_CHECKING
- verify_dominators (CDI_DOMINATORS);
verify_loop_structure ();
#endif
}
===================================================================
@@ -1293,7 +1293,9 @@ tree_loop_distribution (void)
fprintf (dump_file, "Loop %d is the same.\n", num);
}
+#ifdef ENABLE_CHECKING
verify_loop_structure ();
+#endif
VEC_free (gimple, heap, work_list);
}
===================================================================
@@ -2222,10 +2222,11 @@ parallelize_loops (void)
}
gen_parallel_loop (loop, reduction_list,
n_threads, &niter_desc);
+#ifdef ENABLE_CHECKING
verify_flow_info ();
- verify_dominators (CDI_DOMINATORS);
verify_loop_structure ();
verify_loop_closed_ssa (true);
+#endif
}
free_stmt_vec_info_vec ();
===================================================================
@@ -1096,7 +1096,6 @@ tree_transform_and_unroll_loop (struct l
#ifdef ENABLE_CHECKING
verify_flow_info ();
- verify_dominators (CDI_DOMINATORS);
verify_loop_structure ();
verify_loop_closed_ssa (true);
#endif
===================================================================
@@ -1318,6 +1318,9 @@ verify_loop_structure (void)
loop_iterator li;
struct loop_exit *exit, *mexit;
+ /* We need up-to-date dominators, verify them. */
+ verify_dominators (CDI_DOMINATORS);
+
/* Check sizes. */
sizes = XCNEWVEC (unsigned, num);
sizes[0] = 2;