Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp925 std::swap(tableau(pivotRow, 0), tableau(pivotRow, pivotCol)); in pivot()
927 if (tableau(pivotRow, 0) < 0) { in pivot()
930 tableau(pivotRow, 0) = -tableau(pivotRow, 0); in pivot()
931 tableau(pivotRow, pivotCol) = -tableau(pivotRow, pivotCol); in pivot()
936 tableau(pivotRow, col) = -tableau(pivotRow, col); in pivot()
939 tableau.normalizeRow(pivotRow); in pivot()
942 if (row == pivotRow) in pivot()
1350 if (!pivotRow) in computeOptimum()
1352 pivot(*pivotRow, column); in computeOptimum()
1417 if (!pivotRow) in detectRedundant()
[all …]
H A DIntegerRelation.cpp525 unsigned rowIdx, unsigned pivotRow, in eliminateFromConstraint() argument
529 if (isEq && rowIdx == pivotRow) in eliminateFromConstraint()
538 int64_t pivotCoeff = constraints->atEq(pivotRow, pivotCol); in eliminateFromConstraint()
549 int64_t v = pivotMultiplier * constraints->atEq(pivotRow, j) + in eliminateFromConstraint()
984 unsigned pivotRow; in gaussianEliminateVars() local
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()
1008 removeEquality(pivotRow); in gaussianEliminateVars()