[all-commits] [llvm/llvm-project] 723be9: [MLIR] `remove-dead-values` and RegionBranchOp can...

[Ivan Butygin via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 723be9c6fceee293c9695aa07c4f9389534934e6
      https://github.com/llvm/llvm-project/commit/723be9c6fceee293c9695aa07c4f9389534934e6
  Author: Ivan Butygin <ivan.butygin at gmail.com>
  Date:   2026-09-21 (Mon, 21 Sep 2026)

  Changed paths:
    M mlir/include/mlir/Analysis/DataFlow/LivenessAnalysis.h
    M mlir/include/mlir/Transforms/Passes.td
    M mlir/lib/Analysis/DataFlow/LivenessAnalysis.cpp
    M mlir/lib/Interfaces/ControlFlowInterfaces.cpp
    M mlir/lib/Transforms/RemoveDeadValues.cpp
    A mlir/test/Transforms/isolated-region-branch-canonicalize.mlir
    A mlir/test/Transforms/remove-dead-values-function-root.mlir
    A mlir/test/Transforms/remove-dead-values-nested-root.mlir
    M mlir/test/lib/Dialect/Test/TestOpDefs.cpp
    M mlir/test/lib/Dialect/Test/TestOps.td

  Log Message:
  -----------
  [MLIR] `remove-dead-values` and RegionBranchOp canononicalizations fixes around the `IsolatedFromAbove` ops (#224831)

I have a downstream op which is both `RegionBranchOpInterface` and
`IsolatedFromAbove`, trying use `remove-dead-values` on it and
especially trying to use this op as pass root uncovered various issues.

* `LivenessAnalysis` were treating yielded values as dead
* `RegionBranchOpInterface` canonicalization were just asserting on
`IsolatedFromAbove`
* When rooting on `func.func` it would leave callers invalid.
* Subsequent canonicalization could reach outside the scope.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications