[Mlir-commits] [mlir] [MLIR][Presburger] Add support for Smith normal form (PR #185328)

[Yue Huang]

================
@@ -628,9 +628,9 @@ IntMatrix::computeSmithNormalForm() const {
       // Find the entry in the submatrix d(i:, i:) with the smallest non-zero
       // absolute value.
       // The element is the pivot, and we record its current row and column.
-      auto pivotPos = nonZeroMinInSubmatrix(d, i);
+      auto pivotPos = findNonZeroMinInSubmatrix(d, i);
       if (!pivotPos)
-        continue;
+        break;
----------------
AdUhTkJm wrote:

If it's `continue` then it would fail the current test -- it's a mistake I introduce when I refactored the code to extract that function.

https://github.com/llvm/llvm-project/pull/185328