Module spirt::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