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

[Matthias Springer]

matthias-springer wrote:

It could be added as an option next to `MLIRContextImpl::allowUnregisteredDialects`. But it would also require changes to `MLIRContext` and `mlir-opt.cpp`. I experimented with that in the beginning.

Another problem with this approach is that there is currently no API to signal a pass failure from the greedy pattern rewrite driver. I currently use `llvm::report_fatal_error` to make sure that `mlir-opt` stops executing. That's not really nice behavior for an `mlir-opt` option.


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