Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp1853 for (auto nbPos : nbIndices) { in fourierMotzkinEliminate() local
1859 ineq.push_back(atIneq(nbPos, l)); in fourierMotzkinEliminate()