[Mlir-commits] [mlir] [MLIR] ValueBoundsOpInterface: slice size from source size (PR #221756)

[Matthias Springer]

================
@@ -132,6 +132,21 @@ struct ExtractSliceOpInterface
         ++ctr;
       if (ctr == dim) {
         cstr.bound(value)[dim] == extractSliceOp.getMixedSizes()[i];
+        int64_t staticStride = extractSliceOp.getStaticStrides()[i];
+        if (staticStride > 0) {
+          if (auto sizeValue =
----------------
matthias-springer wrote:

Can you add a comment (maybe with the small IR snippet from the RFC)?

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