[Mlir-commits] [mlir] Adding constraints to subview ValueBounds (PR #202994)

[Matthias Springer]

================
@@ -135,6 +135,8 @@ struct SubViewOpInterface
         ++ctr;
       if (ctr == dim) {
         cstr.bound(value)[dim] == subViewOp.getMixedSizes()[i];
+        cstr.bound(value)[dim] <= cstr.getExpr(subViewOp.getSource(), i) -
----------------
matthias-springer wrote:

I think we went back and forth on the semantics of `memref.subview`. @Groverkss was arguing for allowing out-of-bounds subview, but I'm not sure where we landed.

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