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

[Mehdi Amini]

================
@@ -558,6 +571,89 @@ func.func @accelerator_compute(i64, i1) -> i64 { // An SSACFG region
 }
 ```
 
+#### Region Terminator
----------------
joker-eph wrote:

> I buy that argument only if we say that in an ideal design, "region kind" and "isolated from above" should also get a field in OperationState.

You missed the response I made before about this:

> In general: branch successors are not implemented as interfaces, and the new addition seems to me to be closer to this than anything else you mentioned (you only described "static" properties / traits, we're talking about an integer here).

IsolatedFromAbove is a core trait, and it is **static** (an op is or isn't isolated, it's not the user creating the IR that decides): it does not come with storing mutable data.


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