remove additional log

apache · Jun 7, 2019 · a037c77 · a037c77
1 parent 0e5701f
commit a037c77
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 3 deletions.
diff --git a/src/arithmetic/analyzer.cc b/src/arithmetic/analyzer.cc
@@ -78,7 +78,6 @@ bool Analyzer::CanProveGreaterEqual(const Expr& expr, int64_t lower_bound) {
     return ptr->value > lower_bound;
   }
   auto bd = this->const_int_bound(this->rewrite_simplify(expr));
-  LOG(INFO) << bd;
   if (bd->min_value >= lower_bound) return true;
   return false;
 }

diff --git a/src/arithmetic/int_set.cc b/src/arithmetic/int_set.cc
@@ -55,7 +55,7 @@ IntervalSet Intersect(Analyzer* analyzer, IntervalSet a, IntervalSet b) {
   Expr max_value = min(a->max_value, b->max_value);
   Expr min_value = max(a->min_value, b->min_value);
   if ((max_value.type().is_int() || max_value.type().is_uint()) &&
-      (min_value.type().is_int() || max_value.type().is_uint()) &&
+      (min_value.type().is_int() || min_value.type().is_uint()) &&
       analyzer->CanProveGreaterEqual(min_value - max_value, 1)) {
     return IntervalSet::Empty();
   } else {
@@ -162,7 +162,6 @@ inline IntervalSet Combine<ir::Mul>(Analyzer* analyzer,
   if (a->IsEmpty()) return a;
   if (b->IsEmpty()) return b;
   if (a->IsSinglePoint()) {
-    // assert !b->IsSinglePoint();
     std::swap(a, b);
   }
   if (b->IsSinglePoint()) {