matthias-springer wrote: Note: This verification is not part of the `SliceVerificationResult` because `memref.subview` are currently allowed to extract out-of-bounds (according to the op documentation). https://github.com/llvm/llvm-project/pull/130487