[DEBUG] Print rule line numbers in rw simplifier

sgrechanik-h · Jun 19, 2019 · ddfd8d6 · ddfd8d6
1 parent c14cb38
commit ddfd8d6
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/arithmetic/rewrite_simplify.cc b/src/arithmetic/rewrite_simplify.cc
@@ -36,27 +36,34 @@ namespace arith {
 
 using namespace ir;
 
+//#define COUT_LINE std::cout << "RW " << __LINE__ << "\n"
+#define COUT_LINE
+
 // macro for doing simple rewrite
 #define TVM_TRY_REWRITE(SrcExpr, ResExpr)       \
   if ((SrcExpr).Match(ret)) {                   \
+    COUT_LINE;     \
     return (ResExpr).Eval();                    \
   }
 
 // macro for rewrite + recursively rewrite ResExpr
 #define TVM_TRY_RECURSIVE_REWRITE(SrcExpr, ResExpr) \
   if ((SrcExpr).Match(ret)) {                       \
+    COUT_LINE;         \
     return RecursiveRewrite((ResExpr).Eval());      \
   }
 
 // macro rewrite only if CondExor is true after match.
 #define TVM_TRY_REWRITE_IF(SrcExpr, ResExpr, CondExpr)  \
   if ((SrcExpr).Match(ret) && (CondExpr)) {             \
+    COUT_LINE;             \
     return (ResExpr).Eval();                            \
   }
 
 // macro rewrite + recursive_rewrite only if CondExor is true after match.
 #define TVM_TRY_RECURSIVE_REWRITE_IF(SrcExpr, ResExpr, CondExpr)  \
   if ((SrcExpr).Match(ret) && (CondExpr)) {                       \
+    COUT_LINE;                       \
     return RecursiveRewrite((ResExpr).Eval());                    \
   }