diff options
Diffstat (limited to 'mlir/lib/Analysis/Presburger/LinearTransform.cpp')
| -rw-r--r-- | mlir/lib/Analysis/Presburger/LinearTransform.cpp | 13 |
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); } |
