Home
last modified time | relevance | path

Searched refs:minUbPosition (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp1460 unsigned minLbPosition = 0, minUbPosition = 0; in getConstantBoundOnDimSize() local
1484 minUbPosition = ubPos; in getConstantBoundOnDimSize()
1498 assert(*boundFloorDivisor == -atIneq(minUbPosition, pos)); in getConstantBoundOnDimSize()
1504 (*ub)[c] = atIneq(minUbPosition, getNumDimVars() + c); in getConstantBoundOnDimSize()
1515 *minUbPos = minUbPosition; in getConstantBoundOnDimSize()