X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=inline;f=ir%2Fbe%2Fbemain.c;h=efbf98858cff323381cf1e09e3ebe15ef1937c97;hb=26b5d6f7898d59686f8cb2653287f4f0a761ce2a;hp=fee4d4b75593d8a8ef51512bf73868f604e81215;hpb=a152de8bb7842dd43ed0c98b02320b222f06ca87;p=libfirm

diff --git a/ir/be/bemain.c b/ir/be/bemain.c
index fee4d4b75..efbf98858 100644
--- a/ir/be/bemain.c
+++ b/ir/be/bemain.c
@@ -73,7 +73,7 @@ static be_options_t be_options = {
 static unsigned dump_flags = 0;
 
 /* verify options */
-static unsigned vrfy_option = BE_VRFY_WARN;
+static int vrfy_option = BE_VRFY_WARN;
 
 /* register allocator to use. */
 static const be_ra_t *ra = &be_ra_chordal_allocator;
@@ -545,9 +545,10 @@ static void be_main_loop(FILE *file_handle)
 
 		dump(DUMP_FINAL, irg, "-finish", dump_ir_block_graph_sched);
 
-		/* check schedule */
+		/* check schedule and register allocation */
 		BE_TIMER_PUSH(t_verify);
 		be_sched_vrfy(birg.irg, vrfy_option);
+		be_verify_register_allocation(env.arch_env, birg.irg);
 		BE_TIMER_POP(t_verify);
 
 		/* emit assembler code */