Module spirt::cfg

Control-flow graph (CFG) abstractions and utilities.

Modules

• sealed 🔒

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
• DeferredEdgeBundle 🔒
  A “deferred (incoming) edge bundle” is an IncomingEdgeBundle that cannot be structurized immediately, but instead waits for its accumulated_count to reach the full count of its target, before it can grafted into some structured control-flow region.
• DeferredEdgeBundleSet 🔒
  Set of DeferredEdgeBundles, uniquely keyed by their targets.
• IncomingEdgeBundle 🔒
  An “(incoming) edge bundle” is a subset of the edges into a single target.
• LoopFinder 🔒
  Minimal loop analysis, based on Tarjan’s SCC (strongly connected components) algorithm, applied recursively (for every level of loop nesting).
• PartialControlRegion 🔒
  Partially structurized ControlRegion, the result of combining together several smaller ControlRegions, based on CFG edges between them.
• SccStackIdx 🔒
• Structurizer
  Control-flow “structurizer”, which attempts to convert as much of the CFG as possible into structural control-flow (regions).
• TraversalState 🔒

Enums

• ControlInstKind
• DeferredTarget 🔒
  A target for one of the edge bundles in a DeferredEdgeBundleSet, mostly separate from ControlRegion to allow expressing returns as well.
• ExitInvocationKind
• LazyCond 🔒
  A recipe for computing a control-flow-sensitive (boolean) condition Value, potentially requiring merging through an arbitrary number of Selects (via per-case outputs and Value::ControlNodeOutput, for each Select).
• SccState 🔒
• StructurizeRegionState 🔒
  The state of one structurize_region_from invocation (keyed on its start ControlRegion in Structurizer) and its PartialControlRegion output.