[all-commits] [llvm/llvm-project] 18ab61: [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: 18ab618201ba42cd67e993c2bd1cdd148b3344da
      https://github.com/llvm/llvm-project/commit/18ab618201ba42cd67e993c2bd1cdd148b3344da
  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