optimize and,or,eor with Projs from same Cmp
[libfirm] / ir / stat / stat_dmp.c
index 70840d2..b652af8 100644 (file)
@@ -72,6 +72,7 @@ static const struct {
        { FS_OPT_ADD_SUB,        "algebraic simplification: (a + x) - x = (a - x) + x = a" },
        { FS_OPT_ADD_MUL_A_X_A,  "algebraic simplification: a * x + a = a * (x + 1)" },
        { FS_OPT_SUB_0_A,        "algebraic simplification: 0 - a = -a" },
+       { FS_OPT_MINUS_SUB,      "algebraic simplification: -(a - b) = b - a" },
        { FS_OPT_SUB_MUL_A_X_A,  "algebraic simplification: a * x - a = a * (x - 1)" },
        { FS_OPT_SUB_SUB_X_Y_Z,  "algebraic simplification: (x - y) - z = x - (y + z)" },
        { FS_OPT_MUL_MINUS_1,    "algebraic simplification: a * -1 = -a" },
@@ -98,7 +99,9 @@ static const struct {
        { FS_OPT_MUX_TO_SHR,     "algebraic simplification: Mux(a > b, a, b) = a >> b" },
        { 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" },
+       { FS_OPT_NOT_MINUS_1,    "algebraic simplification: ~(x - 1) = -x" },
+       { FS_OPT_NOT_PLUS_1,     "algebraic simplification: ~x + 1 = -x" },
+       { FS_OPT_FP_INV_MUL,     "algebraic simplification:  x / y = x * (1.0/y)" },
        { FS_OPT_CONST_PHI,      "constant evaluation on Phi node" },
        { FS_BE_IA32_LEA,        "ia32 Backend transformation: Lea was created" },
        { FS_BE_IA32_LOAD_LEA,   "ia32 Backend transformation: Load merged with a Lea" },