[all-commits] [llvm/llvm-project] e8ae0e: [mlir][transform] TrackingListener: Improve dead h...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e8ae0e72b794bc1b879a3a90215a940572306c25
      https://github.com/llvm/llvm-project/commit/e8ae0e72b794bc1b879a3a90215a940572306c25
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-12-06 (Wed, 06 Dec 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Transform/IR/TransformInterfaces.h
    M mlir/lib/Dialect/Transform/IR/TransformInterfaces.cpp
    M mlir/test/Dialect/Transform/test-pattern-application.mlir

  Log Message:
  -----------
  [mlir][transform] TrackingListener: Improve dead handles detection (#74290)

The tracking listener should not report op replacement errors for
payload ops that are not mapped to any live handles. The handle liveless
analysis did not work properly with transform IR that has named
sequences.

A handle is live if it has a user after the transform op that is
currently being applied. With named sequences, we need to maintain a
stack of currently applied transform ops. That stack already exists
(`regionStack`), the only thing that's missing is the current transform
op for each stack frame.

This commit fixes #72931.