[4] Review comments handled

apache · Mar 20, 2020 · 20437f9 · 20437f9
1 parent 5f7b50a
commit 20437f9
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/src/te/schedule/message_passing.cc b/src/te/schedule/message_passing.cc
@@ -559,11 +559,9 @@ void PassUpBoundCheck(const Stage& s,
 bool IsRangeSame(const Range input_1, const Range input_2) {
   arith::Analyzer analyzer;
   if (input_1.same_as(input_2)) return true;
-  if (!analyzer.CanProve(input_1->min == input_2->min)
-        || !analyzer.CanProve(input_1->extent == input_2->extent)) {
-    return false;
-  }
-  return true;
+
+  return (analyzer.CanProve(input_1->min == input_2->min)
+        && analyzer.CanProve(input_1->extent == input_2->extent));
 }
 
 std::vector<PrimExpr> MakeBoundCheck(