X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeverify.c;h=b2f890d4b22317a6628c86baf9b70d00f5776cba;hb=6082146d47925a3dbbc78da30ca0a89276457dce;hp=47053a0ce3eea7fecd936946150c60a9e8cddff3;hpb=e9c215cf4349b990b65b0cd9caf1978c3550ccaa;p=libfirm diff --git a/ir/be/beverify.c b/ir/be/beverify.c index 47053a0ce..b2f890d4b 100644 --- a/ir/be/beverify.c +++ b/ir/be/beverify.c @@ -298,6 +298,10 @@ static int should_be_scheduled(ir_node *node) if (get_irn_mode(node) == mode_M) return 0; break; + case iro_Start: + case iro_Jmp: + case beo_Return: + return 1; default: break; } @@ -755,8 +759,11 @@ static void check_input_constraints(ir_node *node) const arch_register_t *pred_reg = arch_get_irn_register(pred); if (reg != pred_reg && !arch_register_type_is(pred_reg, joker)) { + const char *pred_name = pred_reg != NULL ? pred_reg->name : "(null)"; + const char *reg_name = reg != NULL ? reg->name : "(null)"; ir_fprintf(stderr, "Verify warning: Input %d of %+F in block %+F(%s) uses register %s instead of %s\n", - i, node, get_nodes_block(node), get_irg_dump_name(irg), pred_reg->name, reg->name); + i, node, get_nodes_block(node), + get_irg_dump_name(irg), pred_name, reg_name); problem_found = 1; } }