summaryrefslogtreecommitdiffhomepage
path: root/ir/stat
diff options
context:
space:
mode:
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>2014-03-20 13:22:39 +0100
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>2014-03-20 13:22:39 +0100
commit48c9f5c9b7d021548603ceceddfc95efb348e9d2 (patch)
treea046ff3aaecbc77318eb759ff95ee03b32ee847a /ir/stat
parent736159f001e5037288d1fbe92ddb157bea3b6d62 (diff)
Generalized ~x + 1 => -x to ~x + C => (C - 1) - x.
Diffstat (limited to 'ir/stat')
-rw-r--r--ir/stat/firmstat_t.h2
-rw-r--r--ir/stat/stat_dmp.c2
2 files changed, 2 insertions, 2 deletions
diff --git a/ir/stat/firmstat_t.h b/ir/stat/firmstat_t.h
index ac43a2a..aa4d967 100644
--- a/ir/stat/firmstat_t.h
+++ b/ir/stat/firmstat_t.h
@@ -108,7 +108,7 @@ enum firmstat_optimizations_t {
FS_OPT_INVOLUTION, /**< OP(OP(x)) = x */
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_NOT_PLUS_C, /**< ~x + C = (C - 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 */
diff --git a/ir/stat/stat_dmp.c b/ir/stat/stat_dmp.c
index ac989ba..ce76f9b 100644
--- a/ir/stat/stat_dmp.c
+++ b/ir/stat/stat_dmp.c
@@ -98,7 +98,7 @@ static const struct {
{ (hook_opt_kind)FS_OPT_INVOLUTION, "algebraic simplification: OP(OP(x)) = x" },
{ (hook_opt_kind)FS_OPT_MINUS_NOT, "algebraic simplification: -(~x) = x + 1" },
{ (hook_opt_kind)FS_OPT_NOT_MINUS_1, "algebraic simplification: ~(x - 1) = -x" },
- { (hook_opt_kind)FS_OPT_NOT_PLUS_1, "algebraic simplification: ~x + 1 = -x" },
+ { (hook_opt_kind)FS_OPT_NOT_PLUS_C, "algebraic simplification: ~x + C = (C - 1) - x" },
{ (hook_opt_kind)FS_OPT_ADD_X_NOT_X, "algebraic simplification: ~x + x = -1" },
{ (hook_opt_kind)FS_OPT_FP_INV_MUL, "algebraic simplification: x / y = x * (1.0/y)" },
{ (hook_opt_kind)FS_OPT_CONST_PHI, "constant evaluation on Phi node" },