Module controlflow

Control flow operations.

Structs

CFG

A dataflow node which is defined by a child CFG.

Case

Case ops - nodes valid inside Conditional nodes.

Conditional

Conditional operation, defined by child Case nodes for each branch.

DataflowBlock

A CFG basic block node. The signature is that of the internal Dataflow graph.

ExitBlock

The single exit node of the CFG. Has no children, stores the types of the CFG node output.

TailLoop

Tail-controlled loop.

Traits

BasicBlock

Functionality shared by DataflowBlock and Exit CFG block types.