Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerSpace.cpp45 unsigned varLimit) const { in getVarKindOverlap()
52 unsigned overlapEnd = std::min(varLimit, varRangeEnd); in getVarKindOverlap()
95 unsigned varLimit) { in removeVarRange() argument
96 assert(varLimit <= getNumVarKind(kind) && "invalid var limit"); in removeVarRange()
98 if (varStart >= varLimit) in removeVarRange()
101 unsigned numVarsEliminated = varLimit - varStart; in removeVarRange()
115 identifiers.begin() + getVarKindOffset(kind) + varLimit); in removeVarRange()
H A DIntegerRelation.cpp295 unsigned varLimit) { in removeVarRange() argument
296 assert(varLimit <= getNumVarKind(kind)); in removeVarRange()
298 if (varStart >= varLimit) in removeVarRange()
307 space.removeVarRange(kind, varStart, varLimit); in removeVarRange()
311 assert(varLimit <= getNumVars()); in removeVarRange()
313 if (varStart >= varLimit) in removeVarRange()
343 removeVarKindInRange(VarKind::Range, varStart, varLimit); in removeVarRange()
345 removeVarKindInRange(VarKind::Local, varStart, varLimit); in removeVarRange()
1262 if (varStart >= varLimit) in convertVarKind()
1266 unsigned convertCount = varLimit - varStart; in convertVarKind()
[all …]
H A DPWMAFunction.cpp100 unsigned varLimit) { in removeVarRange() argument
102 varLimit - varStart); in removeVarRange()
103 domainSet.removeVarRange(kind, varStart, varLimit); in removeVarRange()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h203 unsigned varLimit) const { in getVarKindOverlap() argument
204 return space.getVarKindOverlap(kind, varStart, varLimit); in getVarKindOverlap()
262 unsigned varLimit);
479 void convertVarKind(VarKind srcKind, unsigned varStart, unsigned varLimit,
481 void convertVarKind(VarKind srcKind, unsigned varStart, unsigned varLimit, in convertVarKind() argument
483 convertVarKind(srcKind, varStart, varLimit, dstKind, in convertVarKind()
486 void convertToLocal(VarKind kind, unsigned varStart, unsigned varLimit) { in convertToLocal() argument
487 convertVarKind(kind, varStart, varLimit, VarKind::Local); in convertToLocal()
687 void removeVarRange(unsigned varStart, unsigned varLimit);
H A DPresburgerSpace.h119 unsigned varLimit) const;
135 void removeVarRange(VarKind kind, unsigned varStart, unsigned varLimit);
H A DPWMAFunction.h75 void removeVarRange(VarKind kind, unsigned varStart, unsigned varLimit);
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp715 unsigned varLimit) { in removeVarRange() argument
716 IntegerPolyhedron::removeVarRange(kind, varStart, varLimit); in removeVarRange()
721 values.begin() + varLimit + offset); in removeVarRange()
1730 unsigned varLimit) { in removeVarRange() argument
1731 assert(varLimit <= getNumVarKind(kind)); in removeVarRange()
1732 if (varStart >= varLimit) in removeVarRange()
1735 FlatAffineValueConstraints::removeVarRange(kind, varStart, varLimit); in removeVarRange()
1743 unsigned intersectDomainLHS = std::min(varLimit, getNumDomainDims()); in removeVarRange()
1745 unsigned intersectRangeLHS = std::min(varLimit, getNumDimVars()); in removeVarRange()
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/
H A DAffineStructures.h321 unsigned varLimit) override;
575 unsigned varLimit) override;