Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp920 void SimplexBase::pivot(unsigned pivotRow, unsigned pivotCol) { in pivot() argument
921 assert(pivotCol >= getNumFixedCols() && "Refusing to pivot invalid column"); in pivot()
922 assert(!unknownFromColumn(pivotCol).isSymbol); in pivot()
924 swapRowWithCol(pivotRow, pivotCol); in pivot()
925 std::swap(tableau(pivotRow, 0), tableau(pivotRow, pivotCol)); in pivot()
931 tableau(pivotRow, pivotCol) = -tableau(pivotRow, pivotCol); in pivot()
934 if (col == pivotCol) in pivot()
944 if (tableau(row, pivotCol) == 0) // Nothing to do. in pivot()
948 if (col == pivotCol) in pivot()
952 tableau(row, pivotCol) * tableau(pivotRow, col); in pivot()
[all …]
H A DIntegerRelation.cpp526 unsigned pivotCol, unsigned elimColStart, in eliminateFromConstraint() argument
534 int64_t leadCoeff = at(rowIdx, pivotCol); in eliminateFromConstraint()
538 int64_t pivotCoeff = constraints->atEq(pivotRow, pivotCol); in eliminateFromConstraint()
547 if (j >= elimColStart && j < pivotCol) in eliminateFromConstraint()
981 unsigned pivotCol = 0; in gaussianEliminateVars() local
982 for (pivotCol = posStart; pivotCol < posLimit; ++pivotCol) { in gaussianEliminateVars()
985 if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/true, &pivotRow)) { in gaussianEliminateVars()
987 if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/false, &pivotRow)) { in gaussianEliminateVars()
997 eliminateFromConstraint(this, i, pivotRow, pivotCol, posStart, in gaussianEliminateVars()
1004 eliminateFromConstraint(this, i, pivotRow, pivotCol, posStart, in gaussianEliminateVars()
[all …]