[Mlir-commits] [mlir] [mlir][Transforms] GreedyPatternRewriteDriver: verify IR after pattern application (PR #74270)

[Mehdi Amini]

joker-eph wrote:

The return type of `applyPatternsAndFoldGreedily` is meant to signal failure to converge, which can be acceptable by the user.

https://github.com/llvm/llvm-project/pull/74270