[mlir][memref] Add runtime verification for memref::CastOp
authorMatthias Springer <springerm@google.com>
Fri, 6 Jan 2023 13:24:30 +0000 (14:24 +0100)
committerMatthias Springer <springerm@google.com>
Fri, 6 Jan 2023 13:38:56 +0000 (14:38 +0100)
commit5eee80ce5ef063a6cf013f1e3b429c972502b9cc
tree6de5562ed80905b7f6da4447e97e70c852d93604
parentbd87b84a02252635cda96e9b5d24d503144dd91d
[mlir][memref] Add runtime verification for memref::CastOp

Verify unranked -> ranked casts and casts of dynamic sizes/offset/strides to static ones.

Differential Revision: https://reviews.llvm.org/D138671
mlir/lib/Dialect/MemRef/Transforms/RuntimeOpVerification.cpp
mlir/test/Dialect/MemRef/runtime-verification.mlir
mlir/test/Integration/Dialect/Memref/cast-runtime-verification.mlir [new file with mode: 0644]