From 5b5d1934d8870f49cbb1b8f45f228baa5f76d2bc Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Sun, 9 Oct 2016 17:22:46 -0600
Subject: recovered branch
---
lib/codegen/src/CG_utils.cc | 5 -----
1 file changed, 5 deletions(-)
(limited to 'lib/codegen/src')
diff --git a/lib/codegen/src/CG_utils.cc b/lib/codegen/src/CG_utils.cc
index 95f94ec..839343f 100755
--- a/lib/codegen/src/CG_utils.cc
+++ b/lib/codegen/src/CG_utils.cc
@@ -2607,7 +2607,6 @@ namespace omega {
}
Relation then_cond = find_best_guard(R, loops, start, end);
- fprintf(stderr, "then_cond "); then_cond.print(stderr);
assert(!then_cond.is_obvious_tautology());
Relation else_cond = Complement(copy(then_cond));
else_cond.simplify();
@@ -2640,11 +2639,7 @@ namespace omega {
else if (j == i && end > j) {
int new_indent = (guard_repr==NULL)?indent:indent+1;
Relation new_guard = Intersection(copy(guard), copy(then_cond));
- new_guard.print(stderr);
- new_guard.print_with_subs(stderr);
new_guard.simplify();
- new_guard.print(stderr);
- new_guard.print_with_subs(stderr);
CG_outputRepr *stmt_list = loop_print_repr(active,
loops,
start,
--
cgit v1.2.3-70-g09d2