Tag
dominators
- Feb 5, 2026 Building Basic Blocks and Control-Flow Graphs from Linear Code How leaders split a linear instruction stream into basic blocks, how edges are derived from branches, and which irregularities in real control flow break the simple model. compilers
- Nov 27, 2023 Dominator Trees and the Cooper-Harvey-Kennedy Iterative Method What it means for one vertex to dominate another, why the immediate dominator relation forms a tree, and how reverse post-order makes the iterative fixpoint converge quickly. algorithms
- May 9, 2022 Control-Flow Graphs and the Dominance Relation How basic blocks and edges are built from syntax, how dominators are computed, and why unreachable-code reports depend on modelling exceptions and non-returning calls. developer tools