Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DIntegerRelation.cpp1796 VarKind idKindRemove = newSpace.getVarKindAt(pos); in fourierMotzkinEliminate() local
1797 unsigned relativePos = pos - newSpace.getVarKindOffset(idKindRemove); in fourierMotzkinEliminate()
1798 newSpace.removeVarRange(idKindRemove, relativePos, relativePos + 1); in fourierMotzkinEliminate()