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

[Alexey Kreshchuk]

================
@@ -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 =
----------------
krsch-mobileye wrote:

I've added the comment, but I don't have write access to merge the PR

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