- switch off debug mask
[libfirm] / ir / opt / boolopt.c
index ec68c62..08168a8 100644 (file)
@@ -23,9 +23,7 @@
  * @author  Matthias Braun, Christoph Mallon
  * @version $Id: cfopt.c 22579 2008-10-07 14:54:04Z beck $
  */
-#ifdef HAVE_CONFIG_H
-# include "config.h"
-#endif
+#include "config.h"
 
 #include <assert.h>
 #include <string.h>
@@ -119,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)) {
@@ -145,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 */
@@ -180,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)) {
@@ -206,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 */
@@ -455,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);
 
@@ -466,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);
 }