X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=ir%2Fbe%2Fbechordal_main.c;h=94b59f7126aa9ff023cbe20efb4357bb41b3f0d3;hb=5f3981af177a274916ab689e0810888d73309d59;hp=1e6e6baa2cb01fa0220926fcdde3006924483f6f;hpb=9e7ee3213754779cbd43ac3256c71735a9a7767b;p=libfirm

diff --git a/ir/be/bechordal_main.c b/ir/be/bechordal_main.c
index 1e6e6baa2..94b59f712 100644
--- a/ir/be/bechordal_main.c
+++ b/ir/be/bechordal_main.c
@@ -270,9 +270,9 @@ static void post_spill(post_spill_env_t *pse, int iteration) {
 		}
 		BE_TIMER_POP(t_ra_spill_apply);
 
-		BE_TIMER_PUSH(t_verify);
 
 		/* verify schedule and register pressure */
+		BE_TIMER_PUSH(t_verify);
 		if (chordal_env->opts->vrfy_option == BE_CH_VRFY_WARN) {
 			be_verify_schedule(birg);
 			be_verify_register_pressure(birg, pse->cls, irg);
@@ -448,7 +448,12 @@ static void be_ra_chordal_main(be_irg_t *birg)
 	}
 
 	BE_TIMER_PUSH(t_verify);
-	be_verify_register_allocation(birg);
+	if (chordal_env.opts->vrfy_option == BE_CH_VRFY_WARN) {
+		be_verify_register_allocation(birg);
+	} else if(chordal_env.opts->vrfy_option == BE_CH_VRFY_ASSERT) {
+		assert(be_verify_register_allocation(birg)
+				&& "Register allocation invalid");
+	}
 	BE_TIMER_POP(t_verify);
 
 	BE_TIMER_PUSH(t_ra_epilog);