diff options
| author | Matthias Springer <me@m-sp.org> | 2024-02-02 10:17:55 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-02 10:17:55 +0100 |
| commit | 9efdccb26f35e9b32aa0f303eb0cfcec1e7c2c71 (patch) | |
| tree | 39f439b70321a3e7d0de3d49906ae51b6a7c18aa /mlir/test/Dialect/MemRef/fold-memref-alias-ops.mlir | |
| parent | 73e546625d6567e5a33454741d257b6929c89635 (diff) | |
| download | llvm-9efdccb26f35e9b32aa0f303eb0cfcec1e7c2c71.zip llvm-9efdccb26f35e9b32aa0f303eb0cfcec1e7c2c71.tar.gz llvm-9efdccb26f35e9b32aa0f303eb0cfcec1e7c2c71.tar.bz2 | |
[mlir][memref] `memref.subview`: Verify result strides with rank reductions (#80158)
This is a follow-up on #79865. Result strides are now also verified if
the `memref.subview` op has rank reductions.
Diffstat (limited to 'mlir/test/Dialect/MemRef/fold-memref-alias-ops.mlir')
| -rw-r--r-- | mlir/test/Dialect/MemRef/fold-memref-alias-ops.mlir | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mlir/test/Dialect/MemRef/fold-memref-alias-ops.mlir b/mlir/test/Dialect/MemRef/fold-memref-alias-ops.mlir index 3407bdb..5b853a6 100644 --- a/mlir/test/Dialect/MemRef/fold-memref-alias-ops.mlir +++ b/mlir/test/Dialect/MemRef/fold-memref-alias-ops.mlir @@ -613,9 +613,9 @@ func.func @subview_of_subview_rank_reducing(%m: memref<?x?x?xf32>, { %0 = memref.subview %m[3, 1, 8] [1, %sz, 1] [1, 1, 1] : memref<?x?x?xf32> - to memref<?xf32, strided<[1], offset: ?>> + to memref<?xf32, strided<[?], offset: ?>> %1 = memref.subview %0[6] [1] [1] - : memref<?xf32, strided<[1], offset: ?>> + : memref<?xf32, strided<[?], offset: ?>> to memref<f32, strided<[], offset: ?>> return %1 : memref<f32, strided<[], offset: ?>> } |