[mlir][sparse] improve push_back type checking, printing, parsing
authorAart Bik <ajcbik@google.com>
Tue, 18 Oct 2022 06:08:09 +0000 (23:08 -0700)
committerAart Bik <ajcbik@google.com>
Tue, 18 Oct 2022 16:55:25 +0000 (09:55 -0700)
commit86bf62fa6435e8a3911c4060bd6a143116d9c52c
tree2ff39b7bf74fe34ab3104eb6649a6e3162640c01
parent7676817ecde5776cd2378703757dba0da0bf90a9
[mlir][sparse] improve push_back type checking, printing, parsing

Rationale:
Enforces type consistency on parsed and generated IR.

Reviewed By: bixia

Differential Revision: https://reviews.llvm.org/D136132
mlir/include/mlir/Dialect/SparseTensor/IR/SparseTensorOps.td
mlir/test/Dialect/SparseTensor/buffer_rewriting.mlir
mlir/test/Dialect/SparseTensor/invalid.mlir
mlir/test/Dialect/SparseTensor/roundtrip.mlir
mlir/test/Integration/Dialect/SparseTensor/CPU/sparse_rewrite_push_back.mlir