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

[Matthias Springer]

================
@@ -503,25 +505,27 @@ 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
-next instruction to execute is the 'passing of control flow'.
+operation executes and has a normal continuation, the operands have the same
----------------
matthias-springer wrote:

What does does this mean?
```
the operands have the same values
```
Why mention the operands of an operation after the operation has been executed?


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