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

[Renato Golin]

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

----------------
rengolin wrote:

IIUC, every `break` should yield the values / types that match the operation they return from. This should be trivial even if the value isn't produced inside the region, as you can fetch it from any region that dominates it. It makes it slightly ugly to produce such code (need to pass arbitrary handles to the region constructor), but it is what it is.

Also, every `continue` must yield the values / types that match the `iter_args` if there is one. Here, the value should come from inside the region, but it's much easier, because there there was none (no changes) then just the `iter_args` would be fine.

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