X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=ir%2Fopt%2Fboolopt.c;h=08168a827d193ba7d18a63a8b1a1b05a1dd57434;hb=4cef2a70fbdc26498af3540fb1d07d96fbd56d56;hp=7c26f74b9e8c69f8a0079e37b75d81b49d91869a;hpb=0fbcef83aa6060534172bb13e71cdadb04428806;p=libfirm diff --git a/ir/opt/boolopt.c b/ir/opt/boolopt.c index 7c26f74b9..08168a827 100644 --- a/ir/opt/boolopt.c +++ b/ir/opt/boolopt.c @@ -117,7 +117,7 @@ static ir_node *bool_and(cond_pair* const cpair) if ((pnc_lo == pn_Cmp_Lt || pnc_lo == pn_Cmp_Le || pnc_lo == pn_Cmp_Eq) && (pnc_hi == pn_Cmp_Eq || pnc_hi == pn_Cmp_Ge || pnc_hi == pn_Cmp_Gt)) { /* x <|<=|== lo | x ==|>=|> hi -> false */ - ir_node *const t = new_Const(mode_b, tarval_b_false); + ir_node *const t = new_Const(tarval_b_false); return t; } else if ((pnc_lo == pn_Cmp_Lt || pnc_lo == pn_Cmp_Le || pnc_lo == pn_Cmp_Eq) && (pnc_hi == pn_Cmp_Lt || pnc_hi == pn_Cmp_Le || pnc_hi == pn_Cmp_Lg)) { @@ -143,7 +143,7 @@ static ir_node *bool_and(cond_pair* const cpair) return p; } else if (pnc_hi == pn_Cmp_Lt) { /* x > c || x < c + 1 -> false */ - ir_node *const t = new_Const(mode_b, tarval_b_false); + ir_node *const t = new_Const(tarval_b_false); return t; } else if (pnc_hi == pn_Cmp_Le) { /* x > c || x <= c + 1 -> x != c + 1 */ @@ -178,7 +178,7 @@ static ir_node *bool_or(cond_pair *const cpair) if ((pnc_lo == pn_Cmp_Ge || pnc_lo == pn_Cmp_Gt || pnc_lo == pn_Cmp_Lg) && (pnc_hi == pn_Cmp_Lt || pnc_hi == pn_Cmp_Le || pnc_hi == pn_Cmp_Lg)) { /* x >=|>|!= lo | x <|<=|!= hi -> true */ - ir_node *const t = new_Const(mode_b, tarval_b_true); + ir_node *const t = new_Const(tarval_b_true); return t; } else if ((pnc_lo == pn_Cmp_Lt || pnc_lo == pn_Cmp_Le || pnc_lo == pn_Cmp_Eq) && (pnc_hi == pn_Cmp_Lt || pnc_hi == pn_Cmp_Le || pnc_hi == pn_Cmp_Lg)) { @@ -204,7 +204,7 @@ static ir_node *bool_or(cond_pair *const cpair) return p; } else if (pnc_hi == pn_Cmp_Ge) { /* x <= c || x >= c + 1 -> true */ - ir_node *const t = new_Const(mode_b, tarval_b_true); + ir_node *const t = new_Const(tarval_b_true); return t; } else if (pnc_hi == pn_Cmp_Gt) { /* x <= c || x > c + 1 -> x != c + 1 */ @@ -453,7 +453,7 @@ void opt_bool(ir_graph *const irg) { irg_walk_graph(irg, NULL, bool_walk, NULL); - ir_reserve_resources(irg, IR_RESOURCE_BLOCK_MARK); + ir_reserve_resources(irg, IR_RESOURCE_BLOCK_MARK | IR_RESOURCE_PHI_LIST); irg_walk_graph(irg, clear_block_infos, collect_phis, NULL); @@ -464,5 +464,5 @@ void opt_bool(ir_graph *const irg) set_irg_extblk_inconsistent(irg); set_irg_loopinfo_inconsistent(irg); - ir_free_resources(irg, IR_RESOURCE_BLOCK_MARK); + ir_free_resources(irg, IR_RESOURCE_BLOCK_MARK | IR_RESOURCE_PHI_LIST); }