commit | 52ca8dbfa6cbdbacc1438dab484a73f519685a1c | [log] [tgz] |
---|---|---|
author | Nicolas Vasilache <nicolas.vasilache@gmail.com> | Mon Nov 29 16:22:45 2021 +0000 |
committer | Copybara-Service <copybara-worker@google.com> | Tue Nov 30 12:41:17 2021 -0800 |
tree | 5501bd76ad5942e6103cf62f4ab1e90b2e2f5612 | |
parent | 50d7fc898aeb7ae5ee14f266d023fb3e520af44f [diff] |
[mlir][tensor] InsertSliceOp verification. This revision reintroduces tensor.insert_slice verification which seems to have vanished over time: a verifier was initially introduced in cf9503c1b752062d9abfb2c7922a50574d9c5de4 but for some reason the invalid.mlir was not properly updated; as time passed the verifier was not called anymore and later the code was deleted. As a consequence, a non-negligible portion of tests has run astray using invalid tensor.insert_slice semantics and needed to be fixed. Also, extract isRankReducedType from TensorOps for better reuse Originally, this facility was used by both tensor and memref forms but it got copied around as dialects were split. Differential Revision: https://reviews.llvm.org/D114715 GitOrigin-RevId: a08b750ce9df2bf1cf9270d83c50de68eeb8b6f5
See https://mlir.llvm.org/ for more information.