[all-commits] [llvm/llvm-project] 0c429b: [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: 0c429b4e49dad631e424d068187f3911127592fb
      https://github.com/llvm/llvm-project/commit/0c429b4e49dad631e424d068187f3911127592fb
  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