Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp1903 unsigned numGaussianEliminated = 0; in projectOut() local
1910 numGaussianEliminated += curNumEliminated; in projectOut()
1914 for (unsigned i = 0; i < num - numGaussianEliminated; i++) { in projectOut()
1915 unsigned numToEliminate = num - numGaussianEliminated - i; in projectOut()