diff options
| -rw-r--r-- | src/transformations/loop.cc | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/transformations/loop.cc b/src/transformations/loop.cc index 857ce3a..0a0133f 100644 --- a/src/transformations/loop.cc +++ b/src/transformations/loop.cc @@ -338,11 +338,6 @@ void Loop::buildIS(std::vector<ir_tree_node*> &ir_tree,std::vector<int> &lexical vars_to_be_replaced.push_back(lp->index()->name()); vars_replacement.push_back(ivar); - for (int k=0;k<vars_to_be_replaced.size();++k){ - std::cout<<vars_to_be_replaced[k]<<":"; - vars_replacement[k]->dump(); - } - int step = lp->step_size(); CG_outputRepr *lb = lp->lower_bound(); CG_outputRepr *ub = lp->upper_bound(); @@ -365,13 +360,10 @@ void Loop::buildIS(std::vector<ir_tree_node*> &ir_tree,std::vector<int> &lexical vars_replacement.push_back(ocg->CreateMinus(NULL,ivar)); step = -step; } - lb -> dump(); exp2formula(ir,r,f_root,freevar,lb,v,'s',IR_COND_GE,true,uninterpreted_symbols[loc],uninterpreted_symbols_stringrepr[loc]); - r.print(); if (cond == IR_COND_LT || cond == IR_COND_LE) exp2formula(ir,r,f_root,freevar,ub,v,'s',cond,true,uninterpreted_symbols[loc],uninterpreted_symbols_stringrepr[loc]); else throw chill::error::ir("loop condition not supported"); - r.print(); // strided if (step != 1) { @@ -432,7 +424,6 @@ void Loop::buildIS(std::vector<ir_tree_node*> &ir_tree,std::vector<int> &lexical lexicalOrder.emplace_back(lexicalOrder[lexicalOrder.size()-1] + 1); } catch (chill::error::ir &e) { // roll back - std::cout<<e.what()<<std::endl; ir_stmt.pop_back(); stmt.pop_back(); uninterpreted_symbols.pop_back(); |