Module cfg

Control-flow graph (CFG) abstractions and utilities.

Structs

ControlFlowGraph

The control-flow graph (CFG) of a function, as control-flow instructions (ControlInsts) attached to ControlRegions, as an “action on exit”, i.e. “terminator” (while intra-region control-flow is strictly structured).

ControlInst

Structurizer

Control-flow “structurizer”, which attempts to convert as much of the CFG as possible into structural control-flow (regions).

Enums

ControlInstKind

ExitInvocationKind