Added CSE debug option

[libfirm] / ir / ir / iropt.c

diff --git a/ir/ir/iropt.c b/ir/ir/iropt.c
index 6d8beb0..a696698 100644 (file)
--- a/ir/ir/iropt.c
+++ b/ir/ir/iropt.c
@@ -26,6 +26,7 @@
 # include "iropt_dbg.h"
 # include "irflag_t.h"
 # include "firmstat.h"
+# include "irarch.h"
 
 /* Make types visible to allow most efficient access */
 # include "entity_t.h"
@@ -1046,20 +1047,31 @@ optimize_preds(ir_node *n) {
   } /* end switch */
 }
 
+static ir_node *transform_node_Mul(ir_node *n)
+{
+  return arch_dep_replace_mul_with_shifts(n);
+}
+
 static ir_node *transform_node_Div(ir_node *n)
 {
   tarval *tv = computed_value(n);
+  ir_node *value = n;
 
   /* BEWARE: it is NOT possible to optimize a/a to 1, as this may cause a exception */
 
-  if (tv != tarval_bad) {
+  if (tv != tarval_bad)
+    value = new_Const(get_tarval_mode(tv), tv);
+  else /* Try architecture dependand optimization */
+    value = arch_dep_replace_div_with_shifts(n);
+
+  if (value != n) {
     /* Turn Div into a tuple (mem, bad, value) */
     ir_node *mem = get_Div_mem(n);
 
     turn_into_tuple(n, 3);
     set_Tuple_pred(n, pn_Div_M, mem);
     set_Tuple_pred(n, pn_Div_X_except, new_Bad());
-    set_Tuple_pred(n, pn_Div_res, new_Const(get_tarval_mode(tv), tv));
+    set_Tuple_pred(n, pn_Div_res, value);
   }
   return n;
 }
@@ -1067,16 +1079,26 @@ static ir_node *transform_node_Div(ir_node *n)
 static ir_node *transform_node_Mod(ir_node *n)
 {
   tarval *tv = computed_value(n);
+  ir_node *value = n;
+  tarval *tb = value_of(get_Mod_right(n));
 
   /* BEWARE: it is NOT possible to optimize a%a to 0, as this may cause a exception */
 
-  if (tv != tarval_bad) {
+  if (tv != tarval_bad)
+    value = new_Const(get_tarval_mode(tv), tv);
+  else if (tb != tarval_bad && tb == get_mode_one(get_tarval_mode(tb))) {   /* x mod 1 == 0 */
+    ir_mode *mode = get_irn_mode(get_DivMod_left(n));
+    value = new_Const(mode, get_mode_null(mode));
+  }
+
+  if (value != n) {
     /* Turn Mod into a tuple (mem, bad, value) */
     ir_node *mem = get_Mod_mem(n);
+
     turn_into_tuple(n, 3);
     set_Tuple_pred(n, pn_Mod_M, mem);
     set_Tuple_pred(n, pn_Mod_X_except, new_Bad());
-    set_Tuple_pred(n, pn_Mod_res, new_Const(get_tarval_mode(tv), tv));
+    set_Tuple_pred(n, pn_Mod_res, value);
   }
   return n;
 }
@@ -1450,6 +1472,7 @@ static ir_op *firm_set_default_transform_node(ir_op *op)
     break
 
   switch (op->code) {
+  CASE(Mul);
   CASE(Div);
   CASE(Mod);
   CASE(DivMod);
@@ -1708,6 +1731,8 @@ identify (pset *value_table, ir_node *n)
   o = pset_find (value_table, n, ir_node_hash (n));
   if (!o) return n;
 
+  DBG_OPT_CSE(n, o);
+
   return o;
 }