[llvm-branch-commits] [mlir] [mlir][SCF] `ValueBoundsConstraintSet`: Support `scf.if` (branches) (PR #85895)

[Diego Caballero via llvm-branch-commits]

================
@@ -199,6 +199,28 @@ class ValueBoundsConstraintSet {
                        std::optional<int64_t> dim1 = std::nullopt,
                        std::optional<int64_t> dim2 = std::nullopt);
 
+  /// Traverse the IR starting from the given value/dim and add populate
----------------
dcaballe wrote:

typo: add constraints or populate constraints but not both?

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