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

[Matthias Springer]

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

> What do you mean by "special treatment"?

Allocating explicit fields in `class OperationState`.

Putting things into `class OperationState` comes at a cost: e.g., you have to account for it in the generic op syntax.

I agree that "breaking exit from regions" should be part of the LangRef. (With all the details that are mentioned in the PR at the moment.) I was wondering if just saying `Terminator operations without successors can only pass control back to an enclosing operation.` would be sufficient, but that leaves too much unspecified.

> Are you asking about the implementation of the specification?

Implementation


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