projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cd11312) | patch
[mlir][memref] Fix subview offset verification.
authorNicolas Vasilache <nicolas.vasilache@gmail.com>
Thu, 9 Dec 2021 07:40:19 +0000 (07:40 +0000)
committerNicolas Vasilache <nicolas.vasilache@gmail.com>
Thu, 9 Dec 2021 07:44:51 +0000 (07:44 +0000)
commitd69f5e197c529e7f87d47edb11c7135decee1d88
tree9876daf3518ddfc8028e0cdda0826360da4189eetree | snapshot
parentcd11312607f86d53fff1f3de138dba3673366c85commit | diff
[mlir][memref] Fix subview offset verification.

Offset-specific verification seems to have been lost in one of the recent refactorings.
Also add proper tests that would have caught this omission.

This addresses the immediate issues discussed in:
https://llvm.discourse.group/t/memref-subview-affine-map-and-symbols/4851

Differential Revision: https://reviews.llvm.org/D115427
mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp diff | blob | history
mlir/test/Dialect/MemRef/invalid.mlir diff | blob | history
mlir/test/Dialect/MemRef/subview.mlir [new file with mode: 0644] blob
mlir/test/IR/core-ops.mlir diff | blob | history
Domain: System / Toolchain;