[all-commits] [llvm/llvm-project] 73b86d: [mlir][Transforms] `GreedyPatternRewriteDriver`: v...

[Matthias Springer via All-commits]

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

  Changed paths:
    M mlir/lib/Transforms/Utils/GreedyPatternRewriteDriver.cpp

  Log Message:
  -----------
  [mlir][Transforms] `GreedyPatternRewriteDriver`: verify IR (#74270)

This commit adds an additional "expensive check" that verifies the IR
before starting a greedy pattern rewriter, after every pattern
application and after every folding. (Only if
`MLIR_ENABLE_EXPENSIVE_PATTERN_API_CHECKS` is set.)

It also adds an assertion that the `scope` region (part of
`GreedyRewriteConfig`) is not being erased as part of the greedy pattern
rewrite. That would break the scoping mechanism and the expensive
checks.

This commit does not fix any patterns, this is done in separate commits.