Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerSpace.cpp28 unsigned PresburgerSpace::getVarKindOffset(VarKind kind) const { in getVarKindOffset() function in PresburgerSpace
41 return getVarKindOffset(kind) + getNumVarKind(kind); in getVarKindEnd()
46 unsigned varRangeStart = getVarKindOffset(kind); in getVarKindOverlap()
75 unsigned absolutePos = getVarKindOffset(kind) + pos; in insertVar()
114 identifiers.erase(identifiers.begin() + getVarKindOffset(kind) + varStart, in removeVarRange()
115 identifiers.begin() + getVarKindOffset(kind) + varLimit); in removeVarRange()
165 .slice(getVarKindOffset(kind), getNumVarKind(kind)); in isAligned()
168 .slice(other.getVarKindOffset(kind), other.getNumVarKind(kind)); in isAligned()
H A DPWMAFunction.cpp94 unsigned absolutePos = domainSet.getVarKindOffset(kind) + pos; in insertVar()
101 output.removeColumns(varStart + domainSet.getVarKindOffset(kind), in removeVarRange()
124 other.output.insertColumns(other.domainSet.getVarKindOffset(VarKind::Local), in mergeLocalVars()
132 unsigned localOffset = domainSet.getVarKindOffset(VarKind::Local); in mergeLocalVars()
H A DIntegerRelation.cpp184 unsigned offset = copy.getVarKindOffset(VarKind::Local); in computeReprWithOnlyDivLocals()
234 isSymbol.set(getVarKindOffset(VarKind::Symbol), in findSymbolicIntegerLexMin()
236 isSymbol.set(getVarKindOffset(VarKind::Domain), in findSymbolicIntegerLexMin()
302 unsigned offset = getVarKindOffset(kind); in removeVarRange()
324 unsigned offset = getVarKindOffset(kind); in removeVarRange()
908 assert(getVarKindOffset(VarKind::Local) == getNumVars() - getNumLocalVars() && in containsPointNoLocal()
921 unsigned localOffset = getVarKindOffset(VarKind::Local); in getLocalReprs()
1144 unsigned localOffset = getVarKindOffset(VarKind::Local); in eliminateRedundantLocalVar()
1276 unsigned offset = getVarKindOffset(srcKind); in convertVarKind()
1797 unsigned relativePos = pos - newSpace.getVarKindOffset(idKindRemove); in fourierMotzkinEliminate()
H A DPresburgerRelation.cpp303 sI.getVarKindOffset(VarKind::Local) + i)); in getSetDifference()
306 sI.getVarKindOffset(VarKind::Local) + i)); in getSetDifference()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerSpace.h111 unsigned getVarKindOffset(VarKind kind) const;
239 return identifiers[getVarKindOffset(kind) + i]; in atId()
246 return identifiers[getVarKindOffset(kind) + i]; in atId()
H A DIntegerRelation.h191 unsigned getVarKindOffset(VarKind kind) const { in getVarKindOffset() function
192 return space.getVarKindOffset(kind); in getVarKindOffset()
H A DSimplex.h609 constraints.getVarKindOffset(VarKind::Symbol), in SymbolicLexSimplex()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp717 unsigned offset = getVarKindOffset(kind); in removeVarRange()
1244 for (unsigned i = getVarKindOffset(VarKind::SetDim), in computeAlignedMap()
1248 for (unsigned i = getVarKindOffset(VarKind::Symbol), in computeAlignedMap()
1381 for (unsigned i = getVarKindOffset(VarKind::Local), in printSpace()
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/
H A DAffineStructures.h438 return {values.data() + getVarKindOffset(kind), getNumVarKind(kind)}; in getMaybeValues()