Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp183 unsigned numNonDivLocals = 0; in computeReprWithOnlyDivLocals() local
185 for (unsigned i = 0, e = copy.getNumLocalVars(); i < e - numNonDivLocals;) { in computeReprWithOnlyDivLocals()
190 copy.swapVar(offset + i, offset + e - numNonDivLocals - 1); in computeReprWithOnlyDivLocals()
191 std::swap(reprs[i], reprs[e - numNonDivLocals - 1]); in computeReprWithOnlyDivLocals()
192 ++numNonDivLocals; in computeReprWithOnlyDivLocals()
199 if (numNonDivLocals == 0) in computeReprWithOnlyDivLocals()
216 /*numDims=*/copy.getNumVars() - numNonDivLocals))) in computeReprWithOnlyDivLocals()