[all-commits] [llvm/llvm-project] faa75f: [mlir][sparse] reject kernels with non-sparsfiable...

[PeimingLiu via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: faa75f94f113f2e912a672afcd611ecc79942e6a
      https://github.com/llvm/llvm-project/commit/faa75f94f113f2e912a672afcd611ecc79942e6a
  Author: Peiming Liu <peiming at google.com>
  Date:   2022-12-08 (Thu, 08 Dec 2022)

  Changed paths:
    M mlir/include/mlir/Dialect/SparseTensor/Utils/Merger.h
    M mlir/lib/Dialect/SparseTensor/Transforms/Sparsification.cpp
    M mlir/lib/Dialect/SparseTensor/Utils/Merger.cpp
    A mlir/test/Dialect/SparseTensor/rejected.mlir

  Log Message:
  -----------
  [mlir][sparse] reject kernels with non-sparsfiable reduction expression.

To address https://github.com/llvm/llvm-project/issues/59394.

Reduction on negation of the output tensor is a non-sparsifiable kernel, it creates cyclic dependency.

This patch reject those cases instead of crashing.

Reviewed By: aartbik

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