Fixed initialization of option tables

[libfirm] / ir / be / beverify.c

diff --git a/ir/be/beverify.c b/ir/be/beverify.c
index 11b4991..74df99f 100644 (file)
--- a/ir/be/beverify.c
+++ b/ir/be/beverify.c
@@ -125,6 +125,7 @@ int be_verify_register_pressure(const be_irg_t *birg,
        env.registers_available = env.cls->n_regs - be_put_ignore_regs(birg, env.cls, NULL);
        env.problem_found       = 0;
 
+       be_liveness_assure_sets(env.lv);
        irg_block_walk_graph(irg, verify_liveness_walker, NULL, &env);
        be_liveness_free(env.lv);
 
@@ -254,7 +255,7 @@ static void verify_schedule_walker(ir_node *block, void *data) {
                        while(is_Proj(prev))
                                prev = sched_prev(prev);
                        if(get_Proj_pred(node) != prev) {
-                               ir_fprintf(stderr, "Proj %+F not scheduled after by its pred node in block %+F (%s)\n",
+                               ir_fprintf(stderr, "%+F not scheduled after its pred node in block %+F (%s)\n",
                                           node, block, get_irg_dump_name(env->irg));
                                env->problem_found = 1;
                        }
@@ -290,7 +291,7 @@ static void verify_schedule_walker(ir_node *block, void *data) {
                                }
                        }
                        if(problem) {
-                               ir_fprintf(stderr, "Keep %+F not scheduled after its pred node in block %+F (%s)\n",
+                               ir_fprintf(stderr, "%+F not scheduled after its pred node in block %+F (%s)\n",
                                           node, block, get_irg_dump_name(env->irg));
                                env->problem_found = 1;
                        }
@@ -311,7 +312,7 @@ static int should_be_scheduled(be_verify_schedule_env_t *env, ir_node *node) {
 
        if(get_irn_mode(node) == mode_M) {
                if(is_Proj(node))
-                       return -1;
+                       return 0;
                if(is_Phi(node) || is_Sync(node) || is_Pin(node))
                        return 0;
        }
@@ -398,6 +399,8 @@ typedef struct {
 static int cmp_spill(const void* d1, const void* d2, size_t size) {
        const spill_t* s1 = d1;
        const spill_t* s2 = d2;
+       (void) size;
+
        return s1->spill != s2->spill;
 }
 
@@ -849,6 +852,7 @@ int be_verify_register_allocation(const arch_env_t *arch_env, ir_graph *irg) {
        env.lv = be_liveness(irg);
        env.problem_found = 0;
 
+       be_liveness_assure_sets(env.lv);
        irg_block_walk_graph(irg, verify_block_register_allocation, NULL, &env);
 
        be_liveness_free(env.lv);