summaryrefslogtreecommitdiff
path: root/mlir/lib/Analysis/Presburger/LinearTransform.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'mlir/lib/Analysis/Presburger/LinearTransform.cpp')
-rw-r--r--mlir/lib/Analysis/Presburger/LinearTransform.cpp13
1 files changed, 6 insertions, 7 deletions
diff --git a/mlir/lib/Analysis/Presburger/LinearTransform.cpp b/mlir/lib/Analysis/Presburger/LinearTransform.cpp
index 3e080e698b19..ecab63496769 100644
--- a/mlir/lib/Analysis/Presburger/LinearTransform.cpp
+++ b/mlir/lib/Analysis/Presburger/LinearTransform.cpp
@@ -8,7 +8,6 @@
#include "mlir/Analysis/Presburger/LinearTransform.h"
#include "mlir/Analysis/Presburger/IntegerRelation.h"
-#include "mlir/Analysis/Presburger/MPInt.h"
#include "mlir/Analysis/Presburger/Matrix.h"
#include "mlir/Support/LLVM.h"
#include <utility>
@@ -48,21 +47,21 @@ IntegerRelation LinearTransform::applyTo(const IntegerRelation &rel) const {
IntegerRelation result(rel.getSpace());
for (unsigned i = 0, e = rel.getNumEqualities(); i < e; ++i) {
- ArrayRef<MPInt> eq = rel.getEquality(i);
+ ArrayRef<DynamicAPInt> eq = rel.getEquality(i);
- const MPInt &c = eq.back();
+ const DynamicAPInt &c = eq.back();
- SmallVector<MPInt, 8> newEq = preMultiplyWithRow(eq.drop_back());
+ SmallVector<DynamicAPInt, 8> newEq = preMultiplyWithRow(eq.drop_back());
newEq.push_back(c);
result.addEquality(newEq);
}
for (unsigned i = 0, e = rel.getNumInequalities(); i < e; ++i) {
- ArrayRef<MPInt> ineq = rel.getInequality(i);
+ ArrayRef<DynamicAPInt> ineq = rel.getInequality(i);
- const MPInt &c = ineq.back();
+ const DynamicAPInt &c = ineq.back();
- SmallVector<MPInt, 8> newIneq = preMultiplyWithRow(ineq.drop_back());
+ SmallVector<DynamicAPInt, 8> newIneq = preMultiplyWithRow(ineq.drop_back());
newIneq.push_back(c);
result.addInequality(newIneq);
}