Module sway_ir::block

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.

BlockIterator

An iterator over each block in a Function.

Type Definitions

Label

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