Home
last modified time | relevance | path

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

/external/llvm-project/mlir/lib/Analysis/Presburger/
DSimplex.cpp20 : nRow(0), nCol(2), nRedundant(0), tableau(0, 2 + nVar), empty(false) { in Simplex()
242 for (unsigned row = nRedundant; row < nRow; ++row) { in pivot()
306 for (unsigned row = nRedundant; row < nRow; ++row) { in findPivotRow()
416 for (unsigned i = nRedundant; i < nRow; ++i) { in undo()
439 nRedundant--; in undo()
499 return u.orientation == Orientation::Row && u.pos < nRedundant; in isMarkedRedundant()
510 swapRows(u.pos, nRedundant); in markRowRedundant()
511 ++nRedundant; in markRowRedundant()
643 result.nRedundant = a.nRedundant + b.nRedundant; in makeProduct()
644 for (unsigned row = 0; row < a.nRedundant; ++row) in makeProduct()
[all …]
/external/llvm-project/mlir/include/mlir/Analysis/Presburger/
DSimplex.h341 unsigned nRedundant; variable