[all-commits] [llvm/llvm-project] dea33c: [mlir][Transforms] teach CSE about recursive memor...

[Tom Eccles via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dea33c80d3666f1e8368ef1a3a09adf999e31723
      https://github.com/llvm/llvm-project/commit/dea33c80d3666f1e8368ef1a3a09adf999e31723
  Author: Tom Eccles <tom.eccles at arm.com>
  Date:   2023-08-10 (Thu, 10 Aug 2023)

  Changed paths:
    M mlir/include/mlir/Interfaces/SideEffectInterfaces.h
    M mlir/lib/Interfaces/SideEffectInterfaces.cpp
    M mlir/lib/Transforms/CSE.cpp
    M mlir/test/Dialect/SparseTensor/buffer_rewriting.mlir
    M mlir/test/Dialect/SparseTensor/sparse_conv_2d_slice_based.mlir
    M mlir/test/Transforms/cse.mlir

  Log Message:
  -----------
  [mlir][Transforms] teach CSE about recursive memory effects

Add support for reasoning about operations with recursive memory effects
to CSE. The recursive effects are gathered by a helper function. I
decided to allow returning duplicates from the helper function because
there's no benefit to spending the computation time to remove them in
the existing use case.

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