Expand description
Deterministic control-flow analysis over dense, IR-independent block IDs.
Structs§
- Control
Flow Graph - Complete analysis of one reachable dense CFG.
- Dominator
Tree - Immediate dominators and constant-time dominance intervals.
- Forward
Control Flow Graph - Forward-only CFG analysis used by SSA construction and machine backends.
- Natural
Loop - Post
Dominator Tree - Post-dominance tree rooted at a synthetic common exit.
- Strongly
Connected Region
Enums§
- CfgError
- A malformed dense control-flow graph.
Functions§
- reverse_
postorder - Iterative DFS reverse postorder in the caller’s block-number domain.