From 5b5d1934d8870f49cbb1b8f45f228baa5f76d2bc Mon Sep 17 00:00:00 2001 From: Tuowen Zhao 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