diff options
author | Tuowen Zhao <ztuowen@gmail.com> | 2016-10-09 17:22:46 -0600 |
---|---|---|
committer | Tuowen Zhao <ztuowen@gmail.com> | 2016-10-09 17:22:46 -0600 |
commit | 5b5d1934d8870f49cbb1b8f45f228baa5f76d2bc (patch) | |
tree | 91e2305b1a295e13d23798de0ded8882212bd67d /lib/codegen/src/CG_utils.cc | |
parent | 340f3d1a30449912d73a49cba41be76d29ace36b (diff) | |
download | chill-5b5d1934d8870f49cbb1b8f45f228baa5f76d2bc.tar.gz chill-5b5d1934d8870f49cbb1b8f45f228baa5f76d2bc.tar.bz2 chill-5b5d1934d8870f49cbb1b8f45f228baa5f76d2bc.zip |
recovered branch
Diffstat (limited to 'lib/codegen/src/CG_utils.cc')
-rwxr-xr-x | lib/codegen/src/CG_utils.cc | 5 |
1 files changed, 0 insertions, 5 deletions
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, |