Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp36 tableau(0, getNumFixedCols() + nVar), empty(false) { in SimplexBase()
37 colUnknown.insert(colUnknown.begin(), getNumFixedCols(), nullIndex); in SimplexBase()
40 /*pos=*/getNumFixedCols() + i); in SimplexBase()
54 swapColumns(var[symbolIdx].pos, getNumFixedCols() + nSymbol); in SimplexBase()
106 assert(var.size() + getNumFixedCols() == getNumColumns() && in addRow()
921 assert(pivotCol >= getNumFixedCols() && "Refusing to pivot invalid column"); in pivot()
1236 for (unsigned col = getNumFixedCols(), e = getNumColumns(); col < e; in undo()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h323 unsigned getNumFixedCols() const { return usingBigM ? 3u : 2u; } in getNumFixedCols() function