llvm-project/mlir/lib/Conversion/TosaToLinalg
Nicolas Vasilache a08b750ce9 [mlir][tensor] InsertSliceOp verification.
This revision reintroduces tensor.insert_slice verification which seems
to have vanished over time: a verifier was initially introduced in cf9503c1b7
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
2021-11-30 20:37:06 +00:00
..
CMakeLists.txt [MLIR] Replace std ops with arith dialect ops 2021-10-13 03:07:03 +00:00
TosaToLinalg.cpp [mlir][tensor] InsertSliceOp verification. 2021-11-30 20:37:06 +00:00
TosaToLinalgPass.cpp [mlir][tosa] Separate tosa.transpose_conv decomposition and added stride support 2021-11-23 12:16:44 -08:00