caio/clang-p2996
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[mlir][vector][nfc] Update vector load/store doc wrt unit strides. (#109267)

Browse Source 
Follow up to https://github.com/llvm/llvm-project/pull/108998.

Non-contiguous strides are allowed now for 1-element vector load/stores.
This commit is contained in:
Ivan Butygin
2024-09-19 14:52:35 +03:00
committed by GitHub
parent 3e24dd42dd
commit 96ac627238
1 changed files with 8 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
mlir/include/mlir/Dialect/Vector/IR/VectorOps.td
View File

@@ -1652,9 +1652,10 @@ def Vector_LoadOp : Vector_Op<"load"> {
based on the element type of the memref. The shape of the result vector
type determines the shape of the slice read from the start memory address.
The elements along each dimension of the slice are strided by the memref
strides. Only unit strides are allowed along the most minor memref
dimension. These constraints guarantee that elements read along the first
dimension of the slice are contiguous in memory.
strides. When loading more than 1 element, only unit strides are allowed
along the most minor memref dimension. These constraints guarantee that
elements read along the first dimension of the slice are contiguous in
memory.
The memref element type can be a scalar or a vector type. If the memref
element type is a scalar, it should match the element type of the result
@@ -1736,9 +1737,10 @@ def Vector_StoreOp : Vector_Op<"store"> {
memref dimension based on the element type of the memref. The shape of the
vector value to store determines the shape of the slice written from the
start memory address. The elements along each dimension of the slice are
strided by the memref strides. Only unit strides are allowed along the most
minor memref dimension. These constraints guarantee that elements written
along the first dimension of the slice are contiguous in memory.
strided by the memref strides. When storing more than 1 element, only unit
strides are allowed along the most minor memref dimension. These constraints
guarantee that elements written along the first dimension of the slice are
contiguous in memory.
The memref element type can be a scalar or a vector type. If the memref
element type is a scalar, it should match the element type of the value