squiid/llvm
1
0
Fork 0
Code Issues Pull requests Activity

[MLIR][Presburger] Carry IdKind information in LinearTransform::applyTo

Browse source 
This patch fixes a bug in LinearTransform::applyTo where it did not carry the
IdKind information, and instead treated every id as IdKind::Domain.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D122823
This commit is contained in:
Groverkss 2022-03-31 20:39:39 +05:30
parent d2f7547f14
commit 152e501d87
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
mlir/lib/Analysis/Presburger/LinearTransform.cpp
View file

@ -113,7 +113,8 @@ LinearTransform::makeTransformToColumnEchelon(Matrix m) {
}
IntegerRelation LinearTransform::applyTo(const IntegerRelation &rel) const {
IntegerRelation result(rel.getNumIds());
IntegerRelation result(rel.getNumDomainIds(), rel.getNumRangeIds(),
rel.getNumSymbolIds(), rel.getNumLocalIds());
for (unsigned i = 0, e = rel.getNumEqualities(); i < e; ++i) {
ArrayRef<int64_t> eq = rel.getEquality(i);