Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp971 unsigned posLimit) { in gaussianEliminateVars() argument
973 assert(posLimit <= getNumVars()); in gaussianEliminateVars()
976 if (posStart >= posLimit) in gaussianEliminateVars()
982 for (pivotCol = posStart; pivotCol < posLimit; ++pivotCol) { in gaussianEliminateVars()
1012 posLimit = pivotCol; in gaussianEliminateVars()
1014 removeVarRange(posStart, posLimit); in gaussianEliminateVars()
1015 return posLimit - posStart; in gaussianEliminateVars()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DIntegerRelation.h642 unsigned gaussianEliminateVars(unsigned posStart, unsigned posLimit);