[Mlir-commits] [mlir] [mlir][ValueBounds] Skip analysis for identical slice components (PR #226894)

[Ziliang Zhang]

================
@@ -955,6 +955,10 @@ FailureOr<bool> ValueBoundsConstraintSet::areEquivalentSlices(
   // "failure".
   for (auto [offset1, offset2] :
        llvm::zip_equal(slice1.getMixedOffsets(), slice2.getMixedOffsets())) {
+    // Avoid constructing a constraint set for values/attributes that are
+    // already known to be identical.
+    if (offset1 == offset2)
----------------
ziliangzl wrote:

Done in fd7fd5cce. The fast path now compares the normalized affine map and operands in ValueBoundsConstraintSet::areEqual, so other callers benefit as well.

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