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

[Mehdi Amini]

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

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

> IIUC, every break should yield the values / types that match the operation they return from

It's not a constraint at this level, it would be enforced by RegionBranchOpInterface for operations implementing it.

It's not different from other kind of region terminator today: `yield` operations are verified, but it's not a LangRef constraint.

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