Searched refs:sourceCol (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | LinearTransform.cpp | 23 static void modEntryColumnOperation(Matrix &m, unsigned row, unsigned sourceCol, in modEntryColumnOperation() argument
25 assert(m(row, sourceCol) != 0 && "Cannot divide by zero!"); in modEntryColumnOperation()
26 assert((m(row, sourceCol) > 0 && m(row, targetCol) > 0) && in modEntryColumnOperation()
28 int64_t ratio = m(row, targetCol) / m(row, sourceCol); in modEntryColumnOperation()
29 m.addToColumn(sourceCol, targetCol, -ratio); in modEntryColumnOperation()
30 otherMatrix.addToColumn(sourceCol, targetCol, -ratio); in modEntryColumnOperation()
84 unsigned targetCol = i, sourceCol = echelonCol; in makeTransformToColumnEchelon() local
96 while (m(row, targetCol) != 0 && m(row, sourceCol) != 0) { in makeTransformToColumnEchelon()
97 modEntryColumnOperation(m, row, sourceCol, targetCol, resultMatrix); in makeTransformToColumnEchelon()
98 std::swap(targetCol, sourceCol); in makeTransformToColumnEchelon()
|