From 1b0c9951743eaa497a93af745894b844fad82982 Mon Sep 17 00:00:00 2001 From: Matthias Braun Date: Thu, 22 Feb 2007 13:18:39 +0000 Subject: [PATCH] more verification of the final graph, always kill nodes in be_remove_dead_nodes_from_schedule --- ir/be/bemain.c | 12 +++++++----- ir/be/besched.c | 5 ----- 2 files changed, 7 insertions(+), 10 deletions(-) diff --git a/ir/be/bemain.c b/ir/be/bemain.c index a411afeb0..3cdbab6a9 100644 --- a/ir/be/bemain.c +++ b/ir/be/bemain.c @@ -661,19 +661,21 @@ static void be_main_loop(FILE *file_handle, const char *cup_name) /* check schedule and register allocation */ BE_TIMER_PUSH(t_verify); if (be_options.vrfy_option == BE_VRFY_WARN) { - //irg_verify(irg, VRFY_ENFORCE_SSA); + irg_verify(irg, VRFY_ENFORCE_SSA); be_check_dominance(irg); be_verify_out_edges(irg); be_verify_schedule(irg); be_verify_register_allocation(env.arch_env, irg); - } - else if (be_options.vrfy_option == BE_VRFY_ASSERT) { - //assert(irg_verify(irg, VRFY_ENFORCE_SSA) && "irg verification failed"); - assert(be_verify_out_edges(irg)); + be_verify_spillslots(env.arch_env, irg); + } else if (be_options.vrfy_option == BE_VRFY_ASSERT) { + assert(irg_verify(irg, VRFY_ENFORCE_SSA) && "irg verification failed"); + assert(be_verify_out_edges(irg) && "out edge verification failed"); assert(be_check_dominance(irg) && "Dominance verification failed"); assert(be_verify_schedule(irg) && "Schedule verification failed"); assert(be_verify_register_allocation(env.arch_env, irg) && "register allocation verification failed"); + assert(be_verify_spillslots(env.arch_env, irg) && "Spillslot verification failed"); + } BE_TIMER_POP(t_verify); diff --git a/ir/be/besched.c b/ir/be/besched.c index 93f968220..12c0f5898 100644 --- a/ir/be/besched.c +++ b/ir/be/besched.c @@ -142,11 +142,6 @@ static void remove_dead_nodes_walker(ir_node *block, void *data) continue; sched_remove(node); - - /* when a node is exchanged, it is turned into Bad, do not set ins for those */ - if (is_Bad(node)) - continue; - be_kill_node(node); } } -- 2.20.1