[Mlir-commits] [mlir] [mlir][LangRef] Clarify terminator continuations (PR #201111)

[Jacques Pienaar]

================
@@ -502,26 +504,28 @@ in a region can never be used outside of the region.
 In MLIR, control flow semantics of a region is indicated by
 [RegionKind::SSACFG](Interfaces.md/#regionkindinterfaces). Informally, these
 regions support semantics where operations in a region 'execute sequentially'.
-Before an operation executes, its operands have well-defined values. After an
-operation executes, the operands have the same values and results also have
-well-defined values. After an operation executes, the next operation in the
-block executes until the operation is the terminator operation at the end of a
-block, in which case some other operation will execute. The determination of the
+Before an operation executes, its operands have well-defined values. If the
+operation produces results and the operation returns, those results also have
+well-defined values. Execution then proceeds to the next operation in the block
+until the terminator operation at the end of the block is reached; the
+terminator determines the next continuation, if any. The determination of the
----------------
jpienaar wrote:

I don't know what the final sentence here is saying. Is it about the terminator deciding what to execute next and its called "passing of control flow" ? (Its not one you added, but I feel the previous sentence says that nicer)

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