Searched refs:lbPos (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | Utils.cpp | 229 for (unsigned lbPos : lbIndices) { 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 | 1462 for (auto lbPos : lbIndices) { in getConstantBoundOnDimSize() local
1471 if (atIneq(ubPos, j) != -atIneq(lbPos, j)) { in getConstantBoundOnDimSize()
1477 atIneq(lbPos, getNumCols() - 1) + 1, in getConstantBoundOnDimSize()
1478 atIneq(lbPos, pos)); in getConstantBoundOnDimSize()
1483 minLbPosition = lbPos; in getConstantBoundOnDimSize()
1818 for (auto lbPos : lbIndices) { in fourierMotzkinEliminate() local
1821 int64_t lbCoeff = atIneq(lbPos, pos); in fourierMotzkinEliminate()
1833 atIneq(lbPos, l) * (lcm / lbCoeff)); 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()
2763 cst.getIneqAsAffineValueMap(/*pos=*/0, lbPos, lbVmap, b.getContext()); in createFullTiles()
|