X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=include%2Flibfirm%2Ffirmstat.h;h=d7d90c6249bcbaaa7fe75a248953ac24442975e4;hb=e810b4fa9931a8179bdaf868faec21416e6c87fb;hp=5c064996de9f26193e0117850e3fcc5d6066eefa;hpb=71bd615894a53355dcea6d8e2bcb7b9dc94628f5;p=libfirm

diff --git a/include/libfirm/firmstat.h b/include/libfirm/firmstat.h
index 5c064996d..d7d90c624 100644
--- a/include/libfirm/firmstat.h
+++ b/include/libfirm/firmstat.h
@@ -54,14 +54,22 @@ enum firmstat_optimizations_t {
 	FS_OPT_ADD_SUB,                           /**< (a + x) - x = (a - x) + x */
 	FS_OPT_ADD_MUL_A_X_A,                     /**< a * x + a = a * (x + 1) */
 	FS_OPT_SUB_0_A,                           /**< 0 - a = -a */
+	FS_OPT_MINUS_SUB,                         /**< - (a - b) = b - a */
+	FS_OPT_SUB_MINUS,                         /**< a - (-b) = a + b */
 	FS_OPT_SUB_MUL_A_X_A,                     /**< a * x - a = a * (x - 1) */
 	FS_OPT_SUB_SUB_X_Y_Z,                     /**< (x - y) - z = x - (y + z) */
+	FS_OPT_SUB_C_NOT_X,                       /**< c - ~a = a + (c+1) */
+	FS_OPT_SUB_TO_ADD,                        /**< (-a) - b = -(a + b), a - (b - c) = a + (c - b), a - (b * C) -> a + (b * -C) */
+	FS_OPT_MUL_MINUS,                         /**< (-a) * (b - c) -> a * (c - b) */
 	FS_OPT_MUL_MINUS_1,                       /**< a * -1 = -a */
+	FS_OPT_MINUS_MUL_C,                       /**< (-a) * C = a * (-C) */
+	FS_OPT_MUL_MINUS_MINUS,                   /**< (-a) * (-b) = a * b */
 	FS_OPT_OR,                                /**< a | a = a | 0 = 0 | a = a */
 	FS_OPT_AND,                               /**< a & 0b1...1 = 0b1...1 & a =  a & a = a */
+	FS_OPT_TO_EOR,                            /**< (a|b) & ~(a&b) = a^b */
 	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_EOR_TO_NOT,                        /**< x ^ 0b1..1 = ~x, (a ^ b) & b -> ~a & b */
 	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) */
@@ -80,7 +88,21 @@ enum firmstat_optimizations_t {
 	FS_OPT_MUX_TO_SHR,                        /**< Mux(a > b, a, b) = a >> b */
 	FS_OPT_IDEM_UNARY,                        /**< Idempotent unary operation */
 	FS_OPT_MINUS_NOT,                         /**< -(~x) = x + 1 */
+	FS_OPT_NOT_MINUS_1,                       /**< ~(x - 1) = -x */
+	FS_OPT_NOT_PLUS_1,                        /**< ~x + 1 = -x */
+	FS_OPT_ADD_X_NOT_X,                       /**< ~x + x = -1 */
+	FS_OPT_FP_INV_MUL,                        /**< x / y = x * (1.0/y) */
 	FS_OPT_CONST_PHI,                         /**< Constant evaluation on Phi */
+	FS_OPT_PREDICATE,                         /**< Predicate optimization */
+	FS_OPT_DEMORGAN,                          /**< optimization using DeMorgan's law */
+	FS_OPT_CMP_OP_OP,                         /**< CMP optimization: Cmp(OP(x), OP(y)) = Cmp(x, y) */
+	FS_OPT_CMP_OP_C,                          /**< CMP optimization: Cmp(OP(x), c1) = Cmp(x, c2) */
+	FS_OPT_CMP_CONV_CONV,                     /**< CMP optimization: Cmp(Conv(x), Conv(y)) = Cmp(x, y) */
+	FS_OPT_CMP_CONV,                          /**< CMP optimization: Cmp(Conv(x), Conv(y)) = Cmp(Conv(x), y) */
+	FS_OPT_CMP_TO_BOOL,                       /**< CMP optimization: Cmp(x, y) = BoolOP(x, y) */
+	FS_OPT_CMP_CNST_MAGN,                     /**< CMP optimization: reduced magnitude of a const */
+	FS_OPT_CMP_SHF_TO_AND,                    /**< CMP optimization: transformed shift into And */
+	FS_OPT_CMP_MOD_TO_AND,                    /**< CMP optimization: transformed Mod into And */
 	FS_BE_IA32_LEA,                           /**< Lea was created */
 	FS_BE_IA32_LOAD_LEA,                      /**< Load merged with a Lea */
 	FS_BE_IA32_STORE_LEA,                     /**< Store merged with a Lea */