fix

apache · Jun 12, 2019 · 3769dd6 · 3769dd6
1 parent acf276b
commit 3769dd6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/src/arithmetic/analyzer.cc b/src/arithmetic/analyzer.cc
@@ -75,7 +75,7 @@ void ConstraintContext::ExitWithScope() {
 
 bool Analyzer::CanProveGreaterEqual(const Expr& expr, int64_t lower_bound) {
   if (const auto* ptr = expr.as<ir::IntImm>()) {
-    return ptr->value > lower_bound;
+    return ptr->value >= lower_bound;
   }
   auto bd = this->const_int_bound(this->rewrite_simplify(expr));
   if (bd->min_value >= lower_bound) return true;

diff --git a/tests/python/unittest/test_arith_intset.py b/tests/python/unittest/test_arith_intset.py
@@ -100,3 +100,5 @@ def test_select():
     test_mul_div()
     test_max_min()
     test_select()
+    test_mod()
+