[Mlir-commits] [mlir] [mlir][vector] Verify non-unit strides on `masked/expand/compress` ops and fix `SparseVectorization` miscompilation (PR #210952)

[Federico Bruzzone]

================
@@ -6190,6 +6190,32 @@ static LogicalResult verifyLoadStoreMemRefLayout(Operation *op,
   return success();
 }
 
+/// Unlike vector.load/store, ops such as vector.maskedload/maskedstore and
+/// vector.expandload/compressstore are also used on memrefs whose most minor
+/// dimension has a dynamic stride that is contiguous at runtime but not
+/// provable as such at the type level (e.g., buffers produced by the
+/// sparsifier).
----------------
FedericoBruzzone wrote:

Thanks @banach-space. I moved it to the other PR.

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