summaryrefslogtreecommitdiffhomepage
path: root/ir/be/beprefalloc.c
diff options
context:
space:
mode:
authorMatthias Braun <matze@braunis.de>2013-06-11 16:39:39 +0200
committerMatthias Braun <matze@braunis.de>2013-06-11 16:46:50 +0200
commitea051bcfb284aa9a1c42ec6183c4bd08d1ba5b3d (patch)
tree2ed2f9e520503b7b48dc5985df341af8dcba5862 /ir/be/beprefalloc.c
parent03e9d58f70cde56b4b7112a0f25542b9bec35307 (diff)
be: simplify verify code
Diffstat (limited to 'ir/be/beprefalloc.c')
-rw-r--r--ir/be/beprefalloc.c19
1 files changed, 3 insertions, 16 deletions
diff --git a/ir/be/beprefalloc.c b/ir/be/beprefalloc.c
index 773c604..54e9b5c 100644
--- a/ir/be/beprefalloc.c
+++ b/ir/be/beprefalloc.c
@@ -1858,16 +1858,12 @@ static void be_pref_alloc(ir_graph *new_irg)
spill();
/* verify schedule and register pressure */
- be_timer_push(T_VERIFY);
- if (be_options.verify_option == BE_VERIFY_WARN) {
+ if (be_options.do_verify) {
+ be_timer_push(T_VERIFY);
be_verify_schedule(irg);
be_verify_register_pressure(irg, cls);
- } else if (be_options.verify_option == BE_VERIFY_ASSERT) {
- assert(be_verify_schedule(irg) && "Schedule verification failed");
- assert(be_verify_register_pressure(irg, cls)
- && "Register pressure verification failed");
+ be_timer_pop(T_VERIFY);
}
- be_timer_pop(T_VERIFY);
be_timer_push(T_RA_COLOR);
be_pref_alloc_cls();
@@ -1887,15 +1883,6 @@ static void be_pref_alloc(ir_graph *new_irg)
be_abi_fix_stack_nodes(irg);
be_timer_pop(T_RA_SPILL_APPLY);
- be_timer_push(T_VERIFY);
- if (be_options.verify_option == BE_VERIFY_WARN) {
- be_verify_register_allocation(irg);
- } else if (be_options.verify_option == BE_VERIFY_ASSERT) {
- assert(be_verify_register_allocation(irg)
- && "Register allocation invalid");
- }
- be_timer_pop(T_VERIFY);
-
obstack_free(&obst, NULL);
}