支配边界（dominance frontier）：编译原理/控制流图（CFG）中的概念。对某个基本块（或节点）X 来说，X 的支配边界是这样一组节点 Y：X 支配 Y 的某个前驱，但 X 并不严格支配 Y。它常用于在构造 SSA（静态单赋值形式） 时决定 φ（phi）函数应插入的位置。
/ˈdɑːmɪnəns ˈfrʌntɪr/
The dominance frontier helps decide where to place phi functions.
支配边界有助于决定应在何处放置 φ 函数。
To build SSA efficiently, the compiler computes the dominance frontier for each definition site and inserts φ nodes at the join points indicated by those frontiers.
为了高效构建 SSA，编译器会为每个定义点计算支配边界，并在这些边界指示的汇合点处插入 φ 节点。
该术语由 dominance（支配关系） 与 frontier（边界/前沿） 组合而来：在控制流图里，“支配”描述某节点是否必经；“边界”强调从“被支配的区域”走到“支配不再成立的交汇处”那条临界范围。它在 SSA 与控制依赖相关研究中被系统化并广泛传播。
Select Language