From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Tue, 26 Aug 2008 12:23:46 +0000 (+0000)
Subject: more DBG_OPT cases
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=6f4a35ebea3ecb9bc93b337ac810e2948bf594d7;p=libfirm

more DBG_OPT cases

[r21483]
---

diff --git a/include/libfirm/firmstat.h b/include/libfirm/firmstat.h
index c263c4beb..872079fa2 100644
--- a/include/libfirm/firmstat.h
+++ b/include/libfirm/firmstat.h
@@ -94,6 +94,7 @@ enum firmstat_optimizations_t {
 	FS_OPT_MUX_TO_MIN,                        /**< Mux(a < b, a, b) = Min(a,b) */
 	FS_OPT_MUX_TO_MAX,                        /**< Mux(a > b, a, b) = Max(a,b) */
 	FS_OPT_MUX_TO_ABS,                        /**< Mux(a > 0, a, -a) = Abs(a) */
+	FS_OPT_MUX_TO_BITOP,                      /**< Mux((a & 2^x) ==/!= 0, 2^x, 0) = (a & 2^x) (xor 2^x) */
 	FS_OPT_IDEM_UNARY,                        /**< Idempotent unary operation */
 	FS_OPT_MINUS_NOT,                         /**< -(~x) = x + 1 */
 	FS_OPT_NOT_MINUS_1,                       /**< ~(x - 1) = -x */
diff --git a/ir/ir/iropt.c b/ir/ir/iropt.c
index 28df36c96..af2c37789 100644
--- a/ir/ir/iropt.c
+++ b/ir/ir/iropt.c
@@ -5499,10 +5499,12 @@ static ir_node *transform_node_Mux(ir_node *n) {
 								if (pn == pn_Cmp_Lg) {
 									/* Mux((a & 2^C) != 0, 2^C, 0) */
 									n = cmp_l;
+									DBG_OPT_ALGSIM1(oldn, cmp, sel, n, FS_OPT_MUX_TO_BITOP);
 								} else {
 									/* Mux((a & 2^C) == 0, 2^C, 0) */
 									n = new_rd_Eor(get_irn_dbg_info(n), current_ir_graph,
 										block, cmp_l, t, mode);
+									DBG_OPT_ALGSIM1(oldn, cmp, sel, n, FS_OPT_MUX_TO_BITOP);
 								}
 								return n;
 							}
@@ -5514,10 +5516,12 @@ static ir_node *transform_node_Mux(ir_node *n) {
 									if (pn == pn_Cmp_Lg) {
 										/* (a & (1 << n)) != 0, (1 << n), 0) */
 										n = cmp_l;
+										DBG_OPT_ALGSIM1(oldn, cmp, sel, n, FS_OPT_MUX_TO_BITOP);
 									} else {
 										/* (a & (1 << n)) == 0, (1 << n), 0) */
 										n = new_rd_Eor(get_irn_dbg_info(n), current_ir_graph,
 											block, cmp_l, t, mode);
+										DBG_OPT_ALGSIM1(oldn, cmp, sel, n, FS_OPT_MUX_TO_BITOP);
 									}
 									return n;
 								}
@@ -5531,10 +5535,12 @@ static ir_node *transform_node_Mux(ir_node *n) {
 									if (pn == pn_Cmp_Lg) {
 										/* ((1 << n) & a) != 0, (1 << n), 0) */
 										n = cmp_l;
+										DBG_OPT_ALGSIM1(oldn, cmp, sel, n, FS_OPT_MUX_TO_BITOP);
 									} else {
 										/* ((1 << n) & a) == 0, (1 << n), 0) */
 										n = new_rd_Eor(get_irn_dbg_info(n), current_ir_graph,
 											block, cmp_l, t, mode);
+										DBG_OPT_ALGSIM1(oldn, cmp, sel, n, FS_OPT_MUX_TO_BITOP);
 									}
 									return n;
 								}
diff --git a/ir/stat/stat_dmp.c b/ir/stat/stat_dmp.c
index 161607ca9..e8ab3271c 100644
--- a/ir/stat/stat_dmp.c
+++ b/ir/stat/stat_dmp.c
@@ -112,6 +112,7 @@ static const struct {
 	{ FS_OPT_MUX_TO_MIN,     "algebraic simplification: Mux(a < b, a, b) = Min(a,b)" },
 	{ FS_OPT_MUX_TO_MAX,     "algebraic simplification: Mux(a > b, a, b) = Max(a,b)" },
 	{ FS_OPT_MUX_TO_ABS,     "algebraic simplification: Mux(a > 0, a, -a) = Abs(a)" },
+	{ FS_OPT_MUX_TO_BITOP,   "algebraic simplification: Mux((a & 2^x) ==/!= 0, 2^x, 0) = (a & 2^x) (xor 2^x)" },
 	{ FS_OPT_IDEM_UNARY,     "algebraic simplification: Idempotent unary operation" },
 	{ FS_OPT_MINUS_NOT,      "algebraic simplification: -(~x) = x + 1" },
 	{ FS_OPT_NOT_MINUS_1,    "algebraic simplification: ~(x - 1) = -x" },