[all-commits] [llvm/llvm-project] a05cdf: [mlir] Avoid rewriting unreachable blocks in the g...

[Vijay Kandiah via All-commits]

  Branch: refs/heads/users/mamini/greedy-rewrite-reachability
  Home:   https://github.com/llvm/llvm-project
  Commit: a05cdfe44648bb2d491a8a8837ce7ff7a9b12828
      https://github.com/llvm/llvm-project/commit/a05cdfe44648bb2d491a8a8837ce7ff7a9b12828
  Author: Vijay Kandiah <vkandiah at nvidia.com>
  Date:   2026-09-23 (Wed, 23 Sep 2026)

  Changed paths:
    M mlir/lib/Transforms/Utils/GreedyPatternRewriteDriver.cpp
    M mlir/test/Transforms/canonicalize-dce.mlir
    A mlir/test/Transforms/greedy-cfg-reachability.mlir
    M mlir/test/lib/Dialect/Test/TestPatterns.cpp

  Log Message:
  -----------
  [mlir] Avoid rewriting unreachable blocks in the greedy driver

A rewrite can disconnect a block after the iteration's initial CFG sweep.
Track possible reachability changes through rewriter notifications for blocks,
terminators, successors, and region owners. Refresh reachability between
rewrites and skip worklist operations in unreachable blocks until the next
iteration removes them.

Cover inserted and redirected blocks, blocks connected before rewrite
completion, and nested regions.

Assisted-by: Codex



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