[Mlir-commits] [mlir] [mlir][python] enable memref.subview (PR #79393)

[Matthias Springer]

matthias-springer wrote:

> > So the deal is that [SubViewOp::verify()](https://github.com/llvm/llvm-project/blob/32334b91922b2c48665d04369b7858324820baa5/mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp#L2830) is either broken or incomplete
> 
> This may well be the case. The op and its verifier were initially introduced when layouts had only affine forms and may not have been updated correctly.

Looks like strides are currently not verified at all when there are no rank reductions. See https://github.com/llvm/llvm-project/pull/79865.

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