[Mlir-commits] [mlir] [MLIR][Presburger] Conversion between Int- and FracMatrix (PR #192822)

[Arjun Pitchanathan]

================
@@ -339,6 +343,12 @@ class FracMatrix : public Matrix<Fraction> {
   // Multiply each row of the matrix by the LCM of the denominators, thereby
   // converting it to an integer matrix.
   IntMatrix normalizeRows() const;
+
+  // Converts the matrix to an IntMatrix as-is. If any value in the matrix
+  // is not an integer, the function triggers an assertion failure.
+  // Though equivalent to normalizeRows() when all entries are integers,
----------------
superty wrote:

You can skip the comment, I think it's clear why we still want this 

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