From: Michael Beck <beck@ipd.info.uni-karlsruhe.de>
Date: Wed, 22 Jun 2005 16:55:55 +0000 (+0000)
Subject: added new flags for arithmetic simplifications
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=79e47daed4511079acad069c74045d97d300d280;p=libfirm

added new flags for arithmetic simplifications

[r6098]
---

diff --git a/ir/stat/firmstat.h b/ir/stat/firmstat.h
index cebd78566..7c941135b 100644
--- a/ir/stat/firmstat.h
+++ b/ir/stat/firmstat.h
@@ -17,6 +17,7 @@
 #include "irop.h"
 #include "irnode.h"
 #include "irgraph.h"
+#include "irhooks.h"
 
 /**
  * Statistic options, can be or'ed.
@@ -32,6 +33,38 @@ enum firmstat_options_t {
   FIRMSTAT_CSV_OUTPUT      = 0x10000000     /**< CSV output of some mini-statistic */
 };
 
+/**
+ * Additional flags for statistics.
+ */
+enum firmstat_optimizations_t {
+  FS_OPT_NEUTRAL_0  = HOOK_OPT_LAST,        /**< a op 0 = 0 op a = a */
+  FS_OPT_NEUTRAL_1,                         /**< a op 1 = 1 op a = a */
+  FS_OPT_ADD_A_A,                           /**< a + a = a * 2 */
+  FS_OPT_ADD_A_MINUS_B,                     /**< a + -b = a - b */
+  FS_OPT_ADD_SUB,                           /**< (a + x) - x = (a - x) + x */
+  FS_OPT_SUB_0_A,                           /**< 0 - a = -a */
+  FS_OPT_MUL_MINUS_1,                       /**< a * -1 = -a */
+  FS_OPT_OR,                                /**< a | a = a | 0 = 0 | a = a */
+  FS_OPT_AND,                               /**< a & 0b1...1 = 0b1...1 & a =  a & a = a */
+  FS_OPT_EOR_A_A,                           /**< a ^ a = 0 */
+  FS_OPT_EOR_TO_NOT_BOOL,                   /**< bool ^ 1 = !bool */
+  FS_OPT_EOR_TO_NOT,                        /**< x ^ 0b1..1 = ~x */
+  FS_OPT_NOT_CMP,                           /**< !(a cmp b) = a !cmp b */
+  FS_OPT_OR_SHFT_TO_ROT,                    /**< (x << c) | (x >> (bits - c)) == Rot(x, c) */
+  FS_OPT_REASSOC_SHIFT,                     /**< (x SHF c1) SHF c2 = x SHF (c1+c2) */
+  FS_OPT_CONV,                              /**< a Conv could be removed */
+  FS_OPT_CAST,                              /**< a Cast could be removed */
+  FS_OPT_MIN_MAX_EQ,                        /**< Min(a,a) = Max(a,a) = a */
+  FS_OPT_MUX_C,                             /**< Mux(C, f, t) = C ? t : f */
+  FS_OPT_MUX_EQ,                            /**< Mux(v, x, x) = x */
+  FS_OPT_MUX_TRANSFORM,                     /**< Mux(a, b, c) = b OR Mux(a,b, c) = c */
+  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 > b, a, b) = Abs(a,b) */
+  FS_OPT_MUX_TO_SHR,                        /**< Mux(a > b, a, b) = a >> b */
+  FS_OPT_MAX
+};
+
 /**
  * Dump a snapshot of the statistic values.
  * Never called from libFirm should be called from user.