Add minimal fixpoint VRP.

[libfirm] / ir / ana / irlivechk.c

diff --git a/ir/ana/irlivechk.c b/ir/ana/irlivechk.c
index fc2a1b2..0e30d5c 100644 (file)
--- a/ir/ana/irlivechk.c
+++ b/ir/ana/irlivechk.c
@@ -76,12 +76,12 @@ typedef struct _bl_info_t {
 #define get_block_info(lv, bl) ((bl_info_t *) phase_get_irn_data(&(lv)->ph, bl))
 
 struct _lv_chk_t {
-       ir_phase ph;
+       ir_phase     ph;
        const dfs_t *dfs;
-       int n_blocks;
-       bitset_t *back_edge_src;
-       bitset_t *back_edge_tgt;
-       bl_info_t **map;
+       int          n_blocks;
+       bitset_t    *back_edge_src;
+       bitset_t    *back_edge_tgt;
+       bl_info_t  **map;
        DEBUG_ONLY(firm_dbg_module_t *dbg;)
 };
 
@@ -112,7 +112,8 @@ static inline int is_liveness_node(const ir_node *irn)
        case iro_End:
        case iro_Anchor:
                return 0;
-       default:;
+       default:
+               break;
        }
 
        return 1;
@@ -168,7 +169,7 @@ static void compute_back_edge_chain(lv_chk_t *lv, const ir_node *bl)
        bitset_t *tmp = bitset_alloca(lv->n_blocks);
        bl_info_t *bi = get_block_info(lv, bl);
 
-       bitset_pos_t elm;
+       unsigned elm;
 
        DBG((lv->dbg, LEVEL_2, "computing T_%d\n", bi->id));
 
@@ -205,7 +206,7 @@ static void compute_back_edge_chain(lv_chk_t *lv, const ir_node *bl)
 
 static inline void compute_back_edge_chains(lv_chk_t *lv)
 {
-       bitset_pos_t elm;
+       unsigned elm;
        int i, n;
 
        DBG((lv->dbg, LEVEL_2, "back edge sources: %B\n", lv->back_edge_src));
@@ -251,7 +252,7 @@ lv_chk_t *lv_chk_new(ir_graph *irg, const dfs_t *dfs)
        compute_doms(irg);
 
        stat_ev_tim_push();
-       phase_init(&res->ph, "liveness check", irg, PHASE_DEFAULT_GROWTH, init_block_data, NULL);
+       phase_init(&res->ph, irg, init_block_data);
        obst = phase_obst(&res->ph);
 
        FIRM_DBG_REGISTER(res->dbg, "ir.ana.lvchk");
@@ -310,7 +311,7 @@ lv_chk_t *lv_chk_new(ir_graph *irg, const dfs_t *dfs)
 
 void lv_chk_free(lv_chk_t *lv)
 {
-       phase_free(&lv->ph);
+       phase_deinit(&lv->ph);
        xfree(lv);
 }