[Mlir-commits] [mlir] 7f9e36b - [MLIR] PresburgerSet emptiness check: remove assertions that there are no symbols

[Arjun P]

Author: Arjun P
Date: 2021-04-12T23:11:06+05:30
New Revision: 7f9e36b209ddfc9bf08934ed911c9c5cb459a0b9

URL: https://github.com/llvm/llvm-project/commit/7f9e36b209ddfc9bf08934ed911c9c5cb459a0b9
DIFF: https://github.com/llvm/llvm-project/commit/7f9e36b209ddfc9bf08934ed911c9c5cb459a0b9.diff

LOG: [MLIR] PresburgerSet emptiness check: remove assertions that there are no symbols

Symbols are now supported in the integer emptiness check. Remove some outdated assertions checking that there are no symbols.

Reviewed By: ftynse

Differential Revision: https://reviews.llvm.org/D100327

Added: 
    

Modified: 
    mlir/lib/Analysis/PresburgerSet.cpp

Removed: 
    


################################################################################
diff  --git a/mlir/lib/Analysis/PresburgerSet.cpp b/mlir/lib/Analysis/PresburgerSet.cpp
index 051010e098617..7a36e9c584af5 100644
--- a/mlir/lib/Analysis/PresburgerSet.cpp
+++ b/mlir/lib/Analysis/PresburgerSet.cpp
@@ -297,7 +297,6 @@ bool PresburgerSet::isEqual(const PresburgerSet &set) const {
 /// Return true if all the sets in the union are known to be integer empty,
 /// false otherwise.
 bool PresburgerSet::isIntegerEmpty() const {
-  assert(nSym == 0 && "isIntegerEmpty is intended for non-symbolic sets");
   // The set is empty iff all of the disjuncts are empty.
   for (const FlatAffineConstraints &fac : flatAffineConstraints) {
     if (!fac.isIntegerEmpty())
@@ -307,7 +306,6 @@ bool PresburgerSet::isIntegerEmpty() const {
 }
 
 bool PresburgerSet::findIntegerSample(SmallVectorImpl<int64_t> &sample) {
-  assert(nSym == 0 && "findIntegerSample is intended for non-symbolic sets");
   // A sample exists iff any of the disjuncts contains a sample.
   for (const FlatAffineConstraints &fac : flatAffineConstraints) {
     if (Optional<SmallVector<int64_t, 8>> opt = fac.findIntegerSample()) {