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

[Mehdi Amini]

================
@@ -560,6 +571,86 @@ func.func @accelerator_compute(i64, i1) -> i64 { // An SSACFG region
 }
 ```
 
+#### Region Terminator
+
+A `RegionTerminator` is a specialization of a block terminator (the `Terminator`
----------------
joker-eph wrote:

The intent is to make it mandatory, but not enforce it in the verifier for a while.
I was planning to extract the addition of `RegionTerminator` in its own PR to ease the review, but it'll be hard to make sense of it outside of the context of early exit.

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