[Mlir-commits] [mlir] b968c59 - Improve terminator doc in MLIR LangRef

[Mehdi Amini]

Author: Mehdi Amini
Date: 2022-04-18T18:43:30Z
New Revision: b968c59050709a424e0d4ae720dadc1a3d98305b

URL: https://github.com/llvm/llvm-project/commit/b968c59050709a424e0d4ae720dadc1a3d98305b
DIFF: https://github.com/llvm/llvm-project/commit/b968c59050709a424e0d4ae720dadc1a3d98305b.diff

LOG: Improve terminator doc in MLIR LangRef

Reviewed By: rriddle, bondhugula

Differential Revision: https://reviews.llvm.org/D123886

Added: 
    

Modified: 
    mlir/docs/LangRef.md

Removed: 
    


################################################################################
diff  --git a/mlir/docs/LangRef.md b/mlir/docs/LangRef.md
index a876d7ee7b188..fad5b58f54b5b 100644
--- a/mlir/docs/LangRef.md
+++ b/mlir/docs/LangRef.md
@@ -366,11 +366,11 @@ 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.
 
-A region with a single block may not include a
-[terminator operation](#terminator-operations). The enclosing op can opt-out of
-this requirement with the `NoTerminator` trait. The top-level `ModuleOp` is an
-example of such operation which defined this trait and whose block body does not
-have a terminator.
+The last operation in a block must be a
+[terminator operation](#control-flow-and-ssacfg-regions). A region with a single
+block may opt out of this requirement by attaching the `NoTerminator` on the
+enclosing op. The top-level `ModuleOp` is an example of such an operation which
+defines this trait and whose block body does not have a terminator.
 
 Blocks in MLIR take a list of block arguments, notated in a function-like way.
 Block arguments are bound to values specified by the semantics of individual