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

[Matthias Springer]

================
@@ -370,8 +370,10 @@ block-arg-list ::= `(` value-id-and-type-list? `)`
 A *Block* is a list of operations. In
 [SSACFG regions](#control-flow-and-ssacfg-regions), each block represents a
 compiler [basic block](https://en.wikipedia.org/wiki/Basic_block) where
-instructions inside the block are executed in order and terminator operations
-implement control flow branches between basic blocks.
+instructions inside the block are executed in order. Terminator operations mark
+the end of a block and describe the block's possible normal continuations, such
----------------
matthias-springer wrote:

What does the word "normal" mean here? Is there such a things as a "non-normal continuation"? I would rephrase as "continuation" (return, branch, etc.) or "no continuation" (`ub.unreachable`).

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