Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerSpace.cpp44 unsigned PresburgerSpace::getVarKindOverlap(VarKind kind, unsigned varStart, in getVarKindOverlap() argument
51 unsigned overlapStart = std::max(varStart, varRangeStart); in getVarKindOverlap()
94 void PresburgerSpace::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange() argument
98 if (varStart >= varLimit) in removeVarRange()
101 unsigned numVarsEliminated = varLimit - varStart; in removeVarRange()
114 identifiers.erase(identifiers.begin() + getVarKindOffset(kind) + varStart, in removeVarRange()
H A DPWMAFunction.cpp99 void MultiAffineFunction::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange() argument
101 output.removeColumns(varStart + domainSet.getVarKindOffset(kind), in removeVarRange()
102 varLimit - varStart); in removeVarRange()
103 domainSet.removeVarRange(kind, varStart, varLimit); in removeVarRange()
H A DIntegerRelation.cpp298 if (varStart >= varLimit) in removeVarRange()
303 equalities.removeColumns(offset + varStart, varLimit - varStart); in removeVarRange()
304 inequalities.removeColumns(offset + varStart, varLimit - varStart); in removeVarRange()
307 space.removeVarRange(kind, varStart, varLimit); 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()
1278 swapVar(offset + varStart + i, newVarsBegin + i); in convertVarKind()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h202 unsigned getVarKindOverlap(VarKind kind, unsigned varStart, in getVarKindOverlap() argument
204 return space.getVarKindOverlap(kind, varStart, varLimit); in getVarKindOverlap()
261 virtual void removeVarRange(VarKind kind, unsigned varStart,
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.h118 unsigned getVarKindOverlap(VarKind kind, unsigned varStart,
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.cpp714 void FlatAffineValueConstraints::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange() argument
716 IntegerPolyhedron::removeVarRange(kind, varStart, varLimit); in removeVarRange()
720 values.erase(values.begin() + varStart + offset, in removeVarRange()
1729 void FlatAffineRelation::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange() argument
1732 if (varStart >= varLimit) in removeVarRange()
1735 FlatAffineValueConstraints::removeVarRange(kind, varStart, varLimit); in removeVarRange()
1744 unsigned intersectDomainRHS = varStart; in removeVarRange()
1746 unsigned intersectRangeRHS = std::max(varStart, getNumDomainDims()); in removeVarRange()
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/
H A DAffineStructures.h320 void removeVarRange(presburger::VarKind kind, unsigned varStart,
574 void removeVarRange(VarKind kind, unsigned varStart,