[Mlir-commits] [mlir] [MLIR] Introduce support for early exits (PR #166688)

[Mehdi Amini]

================

----------------
joker-eph wrote:

The MLIR generic verifier enforces that you can't break over an op that does not implement the PropagateControlFlowBreak interface: it's all opt-in.
See line 199 of Verifier.cpp for the implementation.
I was missing a test for this error check actually, added one around line 68 in mlir/test/IR/early-exit-invalid.mlir now.

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