X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeverify.c;h=2e1b0f55a7ee1d69e989287764a58e6721cf7ddf;hb=afbbc0b1ccd684c4c24bfd43d0f994123245f39f;hp=4666220139ebd99e91d0d6b5dfe162f70f7649b6;hpb=eba5516120eb38bcae5464e628aa0d2cb8708866;p=libfirm diff --git a/ir/be/beverify.c b/ir/be/beverify.c index 466622013..2e1b0f55a 100644 --- a/ir/be/beverify.c +++ b/ir/be/beverify.c @@ -822,20 +822,18 @@ static void verify_block_register_allocation(ir_node *block, void *data) { nregclasses = arch_env_get_n_reg_class(arch_env); for (i = 0; i < nregclasses; ++i) { ir_node *node; - int i2; + int idx, i2, n_regs; regclass = arch_env_get_reg_class(arch_env, i); - int i; - assert(lv->nodes && "live sets must be computed"); - int n_regs = arch_register_class_n_regs(regclass); - registers = alloca(n_regs * sizeof(registers[0])); + n_regs = arch_register_class_n_regs(regclass); + registers = alloca(n_regs * sizeof(registers[0])); memset(registers, 0, n_regs * sizeof(registers[0])); - be_lv_foreach(lv, block, be_lv_state_end, i) { - ir_node *node = be_lv_get_irn(lv, block, i); + be_lv_foreach(lv, block, be_lv_state_end, idx) { + ir_node *node = be_lv_get_irn(lv, block, idx); value_used(node); } @@ -863,8 +861,8 @@ static void verify_block_register_allocation(ir_node *block, void *data) { } } - be_lv_foreach(lv, block, be_lv_state_in, i) { - ir_node *node = be_lv_get_irn(lv, block, i); + be_lv_foreach(lv, block, be_lv_state_in, idx) { + ir_node *node = be_lv_get_irn(lv, block, idx); value_def(node); } @@ -910,9 +908,8 @@ static void check_out_edges(ir_node *node, verify_out_dead_nodes_env *env) { ir_graph *irg = env->irg; const ir_edge_t* edge; - if(irn_visited(node)) + if (irn_visited_else_mark(node)) return; - mark_irn_visited(node); /* we find too many (uncritical) dead nodes in block out edges */ if(is_Block(node))