summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beprefalloc.c
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2014-12-30 21:08:03 +0100
committerMatthias Braun <matze@braunis.de>2014-12-30 21:08:03 +0100
commitac845efc9958358732393f38cc0f446f36f95705 (patch)
treed01d646c74f46569a9ffe71098d4376e9b1dfd87 /ir/be/beprefalloc.c
parentaf1b62b986134367e7c053b468527eaa8151ff73 (diff)
be: abort after a verifier has failed
Diffstat (limited to 'ir/be/beprefalloc.c')
-rw-r--r--ir/be/beprefalloc.c6
1 files changed, 4 insertions, 2 deletions
diff --git a/ir/be/beprefalloc.c b/ir/be/beprefalloc.c
index e69e6b1..a6d9b66 100644
--- a/ir/be/beprefalloc.c
+++ b/ir/be/beprefalloc.c
@@ -1837,8 +1837,10 @@ static void be_pref_alloc(ir_graph *new_irg)
/* verify schedule and register pressure */
if (be_options.do_verify) {
be_timer_push(T_VERIFY);
- be_verify_schedule(irg);
- be_verify_register_pressure(irg, cls);
+ bool check_schedule = be_verify_schedule(irg);
+ be_check_verify_result(check_schedule, irg);
+ bool check_pressure = be_verify_register_pressure(irg, cls);
+ be_check_verify_result(check_pressure, irg);
be_timer_pop(T_VERIFY);
}