Home
last modified time | relevance | path

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

/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp752 unsigned ineqRow = simplex.con[i + 1].pos; in computeWidthAndDuals() local
754 assert(simplex.tableau(ineqRow, 1) == 0 && in computeWidthAndDuals()
757 if (simplex.tableau(ineqRow, col) != 0) { in computeWidthAndDuals()
758 simplex.pivot(ineqRow, col); in computeWidthAndDuals()