X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fbe%2Fbeverify.c;h=d421fe64e23bf37b077a4d6fd9bb0dcbee30f013;hb=5474a1c188c9d59eea2c915515980cd9cbab58d8;hp=a3614e167db5f6062a0caf7eb279b15f60fa6f6f;hpb=6032e9e802d2d5c696b90fd17f4b4c9bf9a39540;p=libfirm diff --git a/ir/be/beverify.c b/ir/be/beverify.c index a3614e167..d421fe64e 100644 --- a/ir/be/beverify.c +++ b/ir/be/beverify.c @@ -130,25 +130,21 @@ int be_verify_register_pressure(ir_graph *irg, const arch_register_class_t *cls) { be_verify_register_pressure_env_t env; - env.lv = be_liveness(irg); + env.lv = be_liveness_new(irg); env.irg = irg; env.cls = cls; env.registers_available = be_get_n_allocatable_regs(irg, cls); env.problem_found = 0; - be_liveness_assure_sets(env.lv); + be_liveness_compute_sets(env.lv); irg_block_walk_graph(irg, verify_liveness_walker, NULL, &env); be_liveness_free(env.lv); return ! env.problem_found; } - - /*--------------------------------------------------------------------------- */ - - typedef struct be_verify_schedule_env_t_ { int problem_found; /**< flags indicating a problem */ bitset_t *scheduled; /**< bitset of scheduled nodes */ @@ -880,12 +876,11 @@ bool be_verify_register_allocation(ir_graph *new_irg) { irg = new_irg; arch_env = be_get_irg_arch_env(irg); - lv = be_liveness(irg); + lv = be_liveness_new(irg); problem_found = false; - be_liveness_assure_sets(lv); + be_liveness_compute_sets(lv); irg_block_walk_graph(irg, verify_block_register_allocation, NULL, NULL); - be_liveness_free(lv); return !problem_found; @@ -1001,7 +996,7 @@ static void lv_check_walker(ir_node *bl, void *data) void be_liveness_check(be_lv_t *lv) { lv_walker_t w; - be_lv_t *fresh = be_liveness(lv->irg); + be_lv_t *fresh = be_liveness_new(lv->irg); w.lv = lv; w.data = fresh;