[all-commits] [llvm/llvm-project] 21f4b8: [mlir][IR] Trigger notifyOperationModified for rep...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 21f4b84c456b471cc52016cf360e14d45f7f2960
      https://github.com/llvm/llvm-project/commit/21f4b84c456b471cc52016cf360e14d45f7f2960
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-03-06 (Mon, 06 Mar 2023)

  Changed paths:
    M mlir/include/mlir/IR/PatternMatch.h
    M mlir/lib/IR/PatternMatch.cpp

  Log Message:
  -----------
  [mlir][IR] Trigger notifyOperationModified for replacements

Each user of the original value is modified in-place. Therefore, the corresponding notification should be triggered.

Also fixes a bug where `RewriterBase::mergeBlocks` did not notify the GreedyPatternRewriteDriver when replacing uses of block arguments. This function does not trigger "operation replaced" notifications, so the GreedyPatternRewriteDriver was not made aware of such IR changes.

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