Initial commit of morgans spilling algorithm (spill unused values that live through

[libfirm] / ir / be / bemain.c

diff --git a/ir/be/bemain.c b/ir/be/bemain.c
index 9ca04bc..b783ac1 100644 (file)
--- a/ir/be/bemain.c
+++ b/ir/be/bemain.c
@@ -57,6 +57,7 @@
 #include "belower.h"
 #include "beschedmris.h"
 #include "bestat.h"
+#include "beverify.h"
 
 #define DUMP_INITIAL    (1 << 0)
 #define DUMP_ABI        (1 << 1)
@@ -111,7 +112,6 @@ static const lc_opt_enum_const_ptr_items_t ra_items[] = {
 
 /* instruction set architectures. */
 static const lc_opt_enum_const_ptr_items_t isa_items[] = {
-       { "firm",    &firm_isa },
        { "ia32",    &ia32_isa_if },
 #if 0
        { "arm",     &arm_isa_if },
@@ -362,6 +362,8 @@ static void be_main_loop(FILE *file_handle)
                list_sched(&birg, be_disable_mris);
                dump(DUMP_SCHED, irg, "-sched", dump_ir_block_graph_sched);
 
+               DEBUG_ONLY(be_verify_schedule(birg.irg);)
+
                be_do_stat_nodes(irg, "04 Schedule");
 
                /* add Keeps for should_be_different constrained nodes  */
@@ -391,6 +393,8 @@ static void be_main_loop(FILE *file_handle)
                arch_code_generator_after_ra(birg.cg);
                be_abi_fix_stack_bias(birg.abi);
 
+               DEBUG_ONLY(be_verify_schedule(birg.irg);)
+
                arch_code_generator_done(birg.cg);
                dump(DUMP_FINAL, irg, "-end", dump_ir_extblock_graph_sched);
                be_abi_free(birg.abi);