Searched refs:cutRow (Results 1 – 1 of 1) sorted by relevance
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | Simplex.cpp | 264 unsigned cutRow = addZeroRow(/*makeRestricted=*/true); in addCut() local
265 tableau(cutRow, 0) = d; in addCut()
266 tableau(cutRow, 1) = -mod(-tableau(row, 1), d); // -c%d. in addCut()
267 tableau(cutRow, 2) = 0; in addCut()
269 tableau(cutRow, col) = mod(tableau(row, col), d); // b_i%d. in addCut()
270 return moveRowUnknownToColumn(cutRow); in addCut()
422 unsigned cutRow = addZeroRow(/*makeRestricted=*/true); in addSymbolicCut() local
423 tableau(cutRow, 0) = d; in addSymbolicCut()
424 tableau(cutRow, 2) = 0; in addSymbolicCut()
426 tableau(cutRow, 1) = -mod(-tableau(row, 1), d); // -(-c%d). in addSymbolicCut()
[all …]
|