commit cbe4cca5d0c7273b571ddddd740a9a02dc1ff823
author Uday Bondhugula <bondhugula@google.com> Thu Jul 19 13:07:16 2018 -0700
committer jpienaar <jpienaar@google.com> Fri Mar 29 12:36:33 2019 -0700
tree 44786d591f932b973fbf7593539654fb816b7c56
parent 1da50c4b12244d0d68634e42d22c2cd7d9d8c060

Rename isSymbolic to isSymbolicOrConstant to avoid confusion.

PiperOrigin-RevId: 205288794

lib/IR/AffineExpr.cpp

diff --git a/lib/IR/AffineExpr.cpp b/lib/IR/AffineExpr.cpp
index 54acedf..8d0ee3d 100644
--- a/lib/IR/AffineExpr.cpp
+++ b/lib/IR/AffineExpr.cpp
@@ -35,19 +35,19 @@
     break;
   case Kind::Mul:
     assert(!isa<AffineConstantExpr>(lhs));
-    assert(rhs->isSymbolic());
+    assert(rhs->isSymbolicOrConstant());
     // TODO (more verification)
     break;
   case Kind::FloorDiv:
-    assert(rhs->isSymbolic());
+    assert(rhs->isSymbolicOrConstant());
     // TODO (more verification)
     break;
   case Kind::CeilDiv:
-    assert(rhs->isSymbolic());
+    assert(rhs->isSymbolicOrConstant());
     // TODO (more verification)
     break;
   case Kind::Mod:
-    assert(rhs->isSymbolic());
+    assert(rhs->isSymbolicOrConstant());
     // TODO (more verification)
     break;
   default:
@@ -57,7 +57,7 @@
 
 /// Returns true if this expression is made out of only symbols and
 /// constants (no dimensional identifiers).
-bool AffineExpr::isSymbolic() const {
+bool AffineExpr::isSymbolicOrConstant() const {
   switch (getKind()) {
   case Kind::Constant:
     return true;
@@ -73,7 +73,8 @@
   case Kind::CeilDiv:
   case Kind::Mod: {
     auto expr = cast<AffineBinaryOpExpr>(this);
-    return expr->getLHS()->isSymbolic() && expr->getRHS()->isSymbolic();
+    return expr->getLHS()->isSymbolicOrConstant() &&
+           expr->getRHS()->isSymbolicOrConstant();
   }
   }
 }

lib/IR/AffineMap.cpp

diff --git a/lib/IR/AffineMap.cpp b/lib/IR/AffineMap.cpp
index 733c235..d8e09b5 100644
--- a/lib/IR/AffineMap.cpp
+++ b/lib/IR/AffineMap.cpp
@@ -36,7 +36,8 @@
     if (auto *r = dyn_cast<AffineConstantExpr>(rhs))
       return AffineConstantExpr::get(l->getValue() + r->getValue(), context);
 
-  if (isa<AffineConstantExpr>(lhs) || (lhs->isSymbolic() && !rhs->isSymbolic()))
+  if (isa<AffineConstantExpr>(lhs) ||
+      (lhs->isSymbolicOrConstant() && !rhs->isSymbolicOrConstant()))
     return AffineAddExpr::get(rhs, lhs, context);
 
   return nullptr;
@@ -63,12 +64,12 @@
     if (auto *r = dyn_cast<AffineConstantExpr>(rhs))
       return AffineConstantExpr::get(l->getValue() * r->getValue(), context);
 
-  assert(lhs->isSymbolic() || rhs->isSymbolic());
+  assert(lhs->isSymbolicOrConstant() || rhs->isSymbolicOrConstant());
 
   // Canonicalize the mul expression so that the constant/symbolic term is the
   // RHS. If both the lhs and rhs are symbolic, swap them if the lhs is a
   // constant. (Note that a constant is trivially symbolic).
-  if (!rhs->isSymbolic() || isa<AffineConstantExpr>(lhs)) {
+  if (!rhs->isSymbolicOrConstant() || isa<AffineConstantExpr>(lhs)) {
     // At least one of them has to be symbolic.
     return AffineMulExpr::get(rhs, lhs, context);
   }