[Mlir-commits] [mlir] [MLIR] NFC. Refactor IntegerRelation getSliceBounds (PR #127308)

[Uday Bondhugula]

================
@@ -738,6 +738,12 @@ class IntegerRelation {
   /// Same as findSymbolicIntegerLexMin but produces lexmax instead of lexmin
   SymbolicLexOpt findSymbolicIntegerLexMax() const;
 
+  /// Searches for a constraint with a non-zero coefficient at `colIdx` in
+  /// equality (isEq=true) or inequality (isEq=false) constraints.
+  /// Returns true and sets row found in search in `rowIdx`, false otherwise.
+  bool findConstraintWithNonZeroAt(unsigned colIdx, bool isEq,
+                                   unsigned *rowIdx) const;
----------------
bondhugula wrote:

I'm not adding a new method here, but only moving it. (This is an NFC PR.) If we want to change the signature, it should ideally be done in another commit to not mix pure code movement with it.

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