Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DLinearTransform.cpp41 unsigned echelonCol = 0; in makeTransformToColumnEchelon() local
48 unsigned nonZeroCol = echelonCol; in makeTransformToColumnEchelon()
62 if (nonZeroCol != echelonCol) { in makeTransformToColumnEchelon()
63 m.swapColumns(nonZeroCol, echelonCol); in makeTransformToColumnEchelon()
68 if (m(row, echelonCol) < 0) { in makeTransformToColumnEchelon()
69 m.negateColumn(echelonCol); in makeTransformToColumnEchelon()
70 resultMatrix.negateColumn(echelonCol); in makeTransformToColumnEchelon()
103 if (m(row, echelonCol) == 0) { in makeTransformToColumnEchelon()
104 m.swapColumns(i, echelonCol); in makeTransformToColumnEchelon()
105 resultMatrix.swapColumns(i, echelonCol); in makeTransformToColumnEchelon()
[all …]