From e7b23d0ca917cc80e3525352e720424f574aadb9 Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Wed, 12 Oct 2016 16:10:42 -0600
Subject: anand's init code

---
 lib/codegen/src/CG.cc       | 11 +----------
 lib/codegen/src/CG_utils.cc |  3 +--
 lib/codegen/src/codegen.cc  |  4 +---
 3 files changed, 3 insertions(+), 15 deletions(-)

(limited to 'lib')

diff --git a/lib/codegen/src/CG.cc b/lib/codegen/src/CG.cc
index 3b46c72..e25449d 100755
--- a/lib/codegen/src/CG.cc
+++ b/lib/codegen/src/CG.cc
@@ -309,16 +309,7 @@ namespace omega {
     
     CG_DEBUG_PRINT("CG_split::printRepr()\n");
     int numfly =  assigned_on_the_fly.size();
-    //fprintf(stderr, "assigned on the fly  %d\n", numfly );
-    //for (int i=0; i<numfly; i++) { 
-    //  fprintf(stderr, "i %d\n", i); 
-    //  std::pair<CG_outputRepr *, int>p = assigned_on_the_fly[i];
-    //  CG_outputRepr *tr = NULL;
-    //  if (p.first != NULL) tr = p.first->clone();
-    //  int val = p.second;
-    //  fprintf(stderr, "0x%x   %d\n", tr, val);
-    //} 
-    
+
     CG_outputRepr *stmtList = NULL;
     std::vector<CG_result *> next_level = findNextLevel();
     
diff --git a/lib/codegen/src/CG_utils.cc b/lib/codegen/src/CG_utils.cc
index 87b170c..afc4aaf 100755
--- a/lib/codegen/src/CG_utils.cc
+++ b/lib/codegen/src/CG_utils.cc
@@ -1177,7 +1177,7 @@ namespace omega {
                               const std::vector<std::pair<CG_outputRepr *, int> > &assigned_on_the_fly,
                               std::map<std::string, std::vector<CG_outputRepr *> > unin) {
     assert(R.n_out()==0);
-    
+
     CG_outputRepr *result = NULL;
     Conjunct *c = const_cast<Relation &>(R).single_conjunct();
     
@@ -1473,7 +1473,6 @@ namespace omega {
         }
       }
     
-    //fprintf(stderr, "output_guard returning at bottom 0x%x\n", result); 
     return result;
   }
   
diff --git a/lib/codegen/src/codegen.cc b/lib/codegen/src/codegen.cc
index 92ca702..0036c3e 100755
--- a/lib/codegen/src/codegen.cc
+++ b/lib/codegen/src/codegen.cc
@@ -267,15 +267,13 @@ CG_result *CodeGen::buildAST(int level, const BoolSet<> &active, bool split_on_c
               break;
       }
     }
-  
-
-
 
     for (BoolSet<>::const_iterator i = active.begin(); i != active.end() && checkForSplits; i++) {
       Relation r = Gist(copy(Rs[*i]), copy(hull), 1);
       if (r.is_obvious_tautology())
         continue;
       r = EQs_to_GEQs(r);
+      r.print();
 
       for (GEQ_Iterator e = r.single_conjunct()->GEQs(); e; e++) {
         if ((*e).has_wildcards())
-- 
cgit v1.2.3-70-g09d2