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

[MLIR][Presburger] Update equality and subset checks asserts in IntegerRelation 

This patch updates asserts in IntegerRelation::isEqual and
IntegerRelation::isCompatible to allow these functions when number of
local identifiers are different. This change is done to reflect the
algorithmic changes done before this patch.
This commit is contained in:
Groverkss 2022-05-22 01:20:50 +05:30
parent df46fb4055
commit 8eebb47f97
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
mlir/lib/Analysis/Presburger/IntegerRelation.cpp
View File

@ -61,12 +61,12 @@ IntegerRelation IntegerRelation::intersect(IntegerRelation other) const {
} }
bool IntegerRelation::isEqual(const IntegerRelation &other) const { bool IntegerRelation::isEqual(const IntegerRelation &other) const {
assert(space.isEqual(other.getSpace()) && "Spaces must be equal."); assert(space.isCompatible(other.getSpace()) && "Spaces must be compatible.");
return PresburgerRelation(*this).isEqual(PresburgerRelation(other)); return PresburgerRelation(*this).isEqual(PresburgerRelation(other));
} }
bool IntegerRelation::isSubsetOf(const IntegerRelation &other) const { bool IntegerRelation::isSubsetOf(const IntegerRelation &other) const {
assert(space.isEqual(other.getSpace()) && "Spaces must be equal."); assert(space.isCompatible(other.getSpace()) && "Spaces must be compatible.");
return PresburgerRelation(*this).isSubsetOf(PresburgerRelation(other)); return PresburgerRelation(*this).isSubsetOf(PresburgerRelation(other));
} }