This is an archive of the discontinued LLVM Phabricator instance.

	Show First 20 Lines • Show All 360 Lines • ▼ Show 20 Lines
	```			```

	A Block is a list of operations. In			A Block is a list of operations. In
	[SSACFG regions](#control-flow-and-ssacfg-regions), each block represents a			[SSACFG regions](#control-flow-and-ssacfg-regions), each block represents a
	compiler [basic block](https://en.wikipedia.org/wiki/Basic_block) where			compiler [basic block](https://en.wikipedia.org/wiki/Basic_block) where
	instructions inside the block are executed in order and terminator operations			instructions inside the block are executed in order and terminator operations
	implement control flow branches between basic blocks.			implement control flow branches between basic blocks.

	A region with a single block may not include a			The last operation in a block must be a
	[terminator operation](#terminator-operations). The enclosing op can opt-out of			[terminator operation](#control-flow-and-ssacfg-regions). A region with a single
	this requirement with the `NoTerminator` trait. The top-level `ModuleOp` is an			block may opt out of this requirement by attaching the `NoTerminator` on the
				bondhugulaUnsubmitted Done Reply Inline Actions Nit: defining -> attaching ... trait bondhugula: Nit: defining -> attaching ... trait
	example of such operation which defined this trait and whose block body does not			enclosing op. The top-level `ModuleOp` is an example of such an operation which
				bondhugulaUnsubmitted Done Reply Inline Actions such operation -> such an operation bondhugula: such operation -> such an operation
	have a terminator.			defines this trait and whose block body does not have a terminator.
				bondhugulaUnsubmitted Done Reply Inline Actions instruction -> operation bondhugula: instruction -> operation
				bondhugulaUnsubmitted Done Reply Inline Actions Nit: defined -> defines bondhugula: Nit: defined -> defines

	Blocks in MLIR take a list of block arguments, notated in a function-like way.			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			Block arguments are bound to values specified by the semantics of individual
	operations. Block arguments of the entry block of a region are also arguments to			operations. Block arguments of the entry block of a region are also arguments to
	the region and the values bound to these arguments are determined by the			the region and the values bound to these arguments are determined by the
	semantics of the containing operation. Block arguments of other blocks are			semantics of the containing operation. Block arguments of other blocks are
	determined by the semantics of terminator operations, e.g. Branches, which have			determined by the semantics of terminator operations, e.g. Branches, which have
	the block as a successor. In regions with			the block as a successor. In regions with
	▲ Show 20 Lines • Show All 468 Lines • Show Last 20 Lines

This is an archive of the discontinued LLVM Phabricator instance.

Improve terminator doc in MLIR LangRefClosedPublic

Details

Diff Detail

Event Timeline

Revision Contents

Diff 423438

mlir/docs/LangRef.md

Improve terminator doc in MLIR LangRef
ClosedPublic