[all-commits] [llvm/llvm-project] 622eb1: [mlir][sparse] add restrictive versions of divisio...

[Aart Bik via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 622eb169f650ad0502829cf4b068a5d9f7f7a209
      https://github.com/llvm/llvm-project/commit/622eb169f650ad0502829cf4b068a5d9f7f7a209
  Author: Aart Bik <ajcbik at google.com>
  Date:   2021-07-12 (Mon, 12 Jul 2021)

  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
    M mlir/test/Dialect/SparseTensor/sparse_fp_ops.mlir
    M mlir/test/Dialect/SparseTensor/sparse_int_ops.mlir

  Log Message:
  -----------
  [mlir][sparse] add restrictive versions of division support

Right now, we only accept x/c with nonzero c, since this
conceptually can be treated as a x*(1/c) conjunction for both
FP and INT as far as lattice computations go. The codegen
keeps the division though to preserve precise semantics.

See discussion:
https://llvm.discourse.group/t/sparse-tensors-in-mlir/3389/28

Reviewed By: gussmith23

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