SSA 构造算法

支配树遍历像带着一叠按词法路径生效的版本卡片下行。进入一个定义所在块就盖上一张新卡，离开该块覆盖的支配子树就揭掉它。兄弟子树彼此不可见，因此回溯弹栈是正确性的一部分，而不是内存优化。

φ 参数在前驱块处理结束时填写，因为“从哪条边来”决定应看到哪个栈顶。φ 的结果则在进入自身块时先定义，供块内普通指令和循环体使用。将这两件事颠倒，会在循环头读到回边版本或在菱形中把两条边写成同一参数。

对 $E\to T,E\to F,T\to J,F\to J$，入口定义 $x_0:=0$。遍历 $T$ 时把 $x_1:=x_0+1$ 压栈，并在边 $T\to J$ 的槽位写入 $x_1$；退出 $T$ 后弹回 $x_0$。遍历 $F$ 时创建 $x_2:=x_0+2$，在 $F\to J$ 写入 $x_2$。最后进入 $J$，先把 φ 结果命名为 $x_3$，返回使用改为 $x_3$。每条使用的定义都可在支配树祖先链上找到。

若忘记退出 $T$ 时弹栈，随后访问兄弟块 $F$ 会把其右端误改成 $x_1+2$；但控制路径 $E\to F$ 从未执行 $T$ 的定义。这是一个仅靠“名字各定义一次”检查不一定发现、却违反定义支配使用的具体错误。

循环例可逐栈执行。入口创建 $i_0:=0$ 后栈为 $[i_0]$；进入头部先给 φ 结果编号 $i_1$，栈变 $[i_0,i_1]$，条件使用 $i_1$。遍历循环体时创建 $i_2:=i_1+1$，在回边槽填 $i_2$；退出体弹出 $i_2$，退出头部再弹 $i_1$。入口边槽早先填 $i_0$。最终 φ 为 $i_1:=\varphi (E:i_0,L:i_2)$，两条参数各由相应前驱端可见的栈顶产生。

不可达块不在入口支配树中。可先删除它们，或为不可达区域另建根并规定 undef 语义；直接让 DFS 遗漏而仍保留旧名字，会产出混合格式。内存、异常边和调用效果也需由独立模型承载：标量重命名不会解决未知别名，漏掉异常后继则可能漏填 φ 参数。

完成后可线性检查两项性质：每个 SSA 名字恰有一个定义，且普通使用的定义支配使用；φ 参数则要求其定义支配对应前驱边的末端。后一个条件不能误用“定义支配 φ 所在块”，因为某一分支定义通常不支配汇合块。

构造算法通常近似线性于 CFG、支配树和产生的 φ 总量，但最坏输出规模本身可能较大。实际实现会采用 pruned 放置、按变量稀疏工作表或 sealed-block 等替代构造法。无论实现路径如何，若声称得到同一 SSA 语义，都必须恢复边选择、唯一定义与支配使用这三项接口。