Searched refs:ubPos (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | Utils.cpp | 228 for (unsigned ubPos : ubIndices) { in computeSingleVarRepr() local
231 if (failed(getDivRepr(cst, pos, ubPos, lbPos, dividend, divisor))) in computeSingleVarRepr()
238 repr.repr.inequalityPair = {ubPos, lbPos}; in computeSingleVarRepr()
|
| H A D | IntegerRelation.cpp | 1461 for (auto ubPos : ubIndices) { in getConstantBoundOnDimSize() local
1471 if (atIneq(ubPos, j) != -atIneq(lbPos, j)) { in getConstantBoundOnDimSize()
1476 int64_t diff = ceilDiv(atIneq(ubPos, getNumCols() - 1) + in getConstantBoundOnDimSize()
1484 minUbPosition = ubPos; in getConstantBoundOnDimSize()
1817 for (auto ubPos : ubIndices) { in fourierMotzkinEliminate() local
1825 int64_t ubCoeff = -atIneq(ubPos, pos); in fourierMotzkinEliminate()
1832 ineq.push_back(atIneq(ubPos, l) * (lcm / ubCoeff) + in fourierMotzkinEliminate()
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Affine/Utils/ |
| H A D | LoopUtils.cpp | 2748 unsigned lbPos, ubPos; in createFullTiles() local
2751 &lbPos, &ubPos) || in createFullTiles()
2752 lbPos == ubPos) { in createFullTiles()
2764 cst.getIneqAsAffineValueMap(/*pos=*/0, ubPos, ubVmap, b.getContext()); in createFullTiles()
|