[llvm-branch-commits] [mlir] [MLIR] Fix incorrect slice contiguity inference in `vector::isContiguousSlice` (PR #142422)

[Momchil Velikov via llvm-branch-commits]

================
@@ -630,7 +639,10 @@ class FlattenContiguousRowMajorTransferReadPattern
     if (transferReadOp.getMask())
       return failure();
 
-    int64_t firstDimToCollapse = sourceType.getRank() - vectorType.getRank();
----------------
momchil-velikov wrote:

> when might

>     lastDynIndex(sourceType.getShape()) be larger than sourceType.getRank() -
>     sourceType.getNumContiguousTrailingDims()) ?

For memrefs with dynamic dimensions and no strides or maps, e.g. `memref<2x?x2xi8>`

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