Searched refs:ubPos (Results 1 – 2 of 2) sorted by relevance
| /external/llvm-project/mlir/lib/Analysis/ |
| D | AffineStructures.cpp | 1329 for (auto ubPos : ubIndices) { in detectAsFloorDiv() local
1339 if (cst.atIneq(ubPos, cst.getNumCols() - 1) != 0) in detectAsFloorDiv()
1345 if (cst.atIneq(lbPos, c) != -cst.atIneq(ubPos, c)) in detectAsFloorDiv()
1361 int64_t ubVal = cst.atIneq(ubPos, c); in detectAsFloorDiv()
2186 for (auto ubPos : ubIndices) { in getConstantBoundOnDimSize() local
2196 if (atIneq(ubPos, j) != -atIneq(lbPos, j)) { in getConstantBoundOnDimSize()
2201 int64_t diff = ceilDiv(atIneq(ubPos, getNumCols() - 1) + in getConstantBoundOnDimSize()
2207 minUbPosition = ubPos; in getConstantBoundOnDimSize()
2616 for (auto ubPos : ubIndices) { in FourierMotzkinEliminate() local
2624 int64_t ubCoeff = -atIneq(ubPos, pos); in FourierMotzkinEliminate()
[all …]
|
| /external/llvm-project/mlir/lib/Transforms/Utils/ |
| D | LoopUtils.cpp | 3030 unsigned lbPos, ubPos; in createFullTiles() local
3033 &lbPos, &ubPos) || in createFullTiles()
3034 lbPos == ubPos) { in createFullTiles()
3046 cst.getIneqAsAffineValueMap(/*pos=*/0, ubPos, ubVmap, b.getContext()); in createFullTiles()
|