[all-commits] [llvm/llvm-project] 81df51: [mlir][vector] Don't treat memrefs with empty stri...

[Andrzej Warzyński via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 81df51fb318f2a83de3414c6f9f6770fa6ccda38
      https://github.com/llvm/llvm-project/commit/81df51fb318f2a83de3414c6f9f6770fa6ccda38
  Author: Andrzej Warzyński <andrzej.warzynski at arm.com>
  Date:   2024-01-09 (Tue, 09 Jan 2024)

  Changed paths:
    M mlir/lib/Dialect/Vector/Utils/VectorUtils.cpp
    M mlir/test/Dialect/Vector/vector-transfer-flatten.mlir

  Log Message:
  -----------
  [mlir][vector] Don't treat memrefs with empty stride as non-contiguous (#76848)

As per the docs [1]:

```
In absence of an explicit layout, a memref is considered to have a
multi-dimensional identity affine map layout.
```

This patch makes sure that MemRefs with no strides (i.e. no explicit
layout) are treated as contiguous when checking whether a particular
vector is a contiguous slice of the given MemRef.

[1] https://mlir.llvm.org/docs/Dialects/Builtin/#layout

Follow-up for #76428.