Expand description
Bodies with unstructured control-flow, i.e. with a control-flow graph and GOTOs.
In effect, this is a cleaned up version of MIR.
Structs§
- Block
Data - A “basic block”, which contains a linear sequence of statements, followed by a terminator, which is where non-linear control-flow happens.
- BlockId
- Body
Builder - Helper to construct a small ullbc body.
- Statement
- A statement.
- StmtLoc
- A statement location within a body.
- Terminator
- A terminator: instruction to execute at the end of a block, which may jump to other blocks.
Enums§
Statics§
Functions§
- mk_
block 🔒