sway_ir

Module block

Source
Expand description

Represents a ‘basic block’ of Instructions in a control flow graph.

Blocks contain zero or more non-terminating instructions and at most one terminating instruction or terminator. Terminators are either branches or a return instruction and are the last instruction in the block.

Blocks also contain a single ‘phi’ instruction at its start. In SSA form ‘phi’ instructions are used to merge values from preceding blocks.

Every Function has at least one block, the first of which is usually labeled entry.

Structs§

Block
A wrapper around an ECS handle into the Context.
BlockArgument
BlockIterator
An iterator over each block in a Function.

Type Aliases§

Label
Each block may be explicitly named. A Label is a simple String synonym.