Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp1902 unsigned numToEliminate = num; in projectOut() local
1907 gaussianEliminateVars(currentPos, currentPos + numToEliminate); in projectOut()
1909 numToEliminate -= curNumEliminated + 1; in projectOut()
1915 unsigned numToEliminate = num - numGaussianEliminated - i; in projectOut() local
1917 getBestVarToEliminate(*this, pos, pos + numToEliminate)); in projectOut()