[all-commits] [llvm/llvm-project] 1e6ef0: [mlir][sparse] refine trait of sparse_tensor.convert

[Aart Bik via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1e6ef0cfb0964f17066b01402b7c6fbf1a2967fe
      https://github.com/llvm/llvm-project/commit/1e6ef0cfb0964f17066b01402b7c6fbf1a2967fe
  Author: Aart Bik <ajcbik at google.com>
  Date:   2021-10-26 (Tue, 26 Oct 2021)

  Changed paths:
    M mlir/include/mlir/Dialect/SparseTensor/IR/SparseTensorOps.td
    M mlir/lib/Dialect/SparseTensor/IR/SparseTensorDialect.cpp
    M mlir/test/Dialect/SparseTensor/invalid.mlir

  Log Message:
  -----------
  [mlir][sparse] refine trait of sparse_tensor.convert

Rationale:
The currently used trait was demanding that all types are the same
which is not true (since the sparse part may change and the dim sizes
may be relaxed). This revision uses the correct trait and makes the
rank match test explicit in the verify method.

Reviewed By: ftynse

Differential Revision: https://reviews.llvm.org/D112576