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

[Jacques Pienaar]

================
@@ -530,7 +534,10 @@ Single-Entry-Multiple-Exit (SEME) regions, possibly flowing through different
 blocks in the region and exiting through any block with a `return` operation.
 This behavior is similar to that of a function body in most programming
 languages. In addition, control flow may also not reach the end of a block or
-region, for example if a function call does not return.
+region, for example if a function call does not return. Such an operation
+prevents control flow from reaching later operations, but does not remove the
----------------
jpienaar wrote:

This is at run time vs at analysis time? E.g., wrt semantics or analysis, we can have operations that can't be reached at runtime.

 Could you help expand here what this is saying? I see it saying "we always need a terminator unless you have NoTerminator" and also "just because it has or doesn't have a terminator, doesn't mean block will terminate at runtime". Is this what we want the reader to take away?

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