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

[Mehdi Amini]

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

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

The break can exit other things than loops:

```
loop {
  if cond {
    break 2
  }
}
```

The logic is implemented in the various verifiers:
1) The generic verifier for "Levels 1 .. K-1 must  be enclosed by operations carrying the `PropagateControlFlowBreak`" 
2) `HasNestedTerminator` / `acceptsTerminator` for the relationship between a terminator and the target.

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