maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[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
This commit is contained in:
Arjun P 2021-04-12 23:01:15 +05:30
parent 7714b405a0
commit 7f9e36b209
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
mlir/lib/Analysis/PresburgerSet.cpp
View File

@ -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()) {