Home
last modified time | relevance | path

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

/llvm-project/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp52 tableau(0, getNumFixedCols() + nVar), empty(false) { in SimplexBase()
55 colUnknown.insert(colUnknown.begin(), getNumFixedCols(), nullIndex); in SimplexBase()
58 /*pos=*/getNumFixedCols() + i); in SimplexBase()
69 // [getNumFixedCols(), getNumFixedCols() + nSymbol). in SimplexBase()
72 swapColumns(var[symbolIdx].pos, getNumFixedCols() + nSymbol); in SimplexBase()
125 assert(var.size() + getNumFixedCols() == getNumColumns() && in addRow()
952 assert(pivotCol >= getNumFixedCols() && "Refusing to pivot invalid column"); in pivot()
1270 for (unsigned col = getNumFixedCols(), e = getNumColumns(); col < e; in undo()
/llvm-project/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h321 unsigned getNumFixedCols() const { return usingBigM ? 3u : 2u; } in getNumFixedCols() function