SSA 消解

φ 在汇合块里写“我从哪条边来就取哪一个值”，普通机器却只会按顺序执行复制。消解的任务是把这句边相关选择搬回实际进入边，同时保留“多个 φ 一起发生”的快照语义。关键边拆分为复制提供只属于这一条路径的落脚点；临时量则为复制环保存即将被覆盖的旧值。

SSA 构造公理库SSA 构造算法SSA construction algorithm · Dominance-based SSA construction · SSA 重命名先以迭代支配边界插入 φ，再沿支配树用每变量版本栈重命名定义、使用和前驱边参数。把多次赋值拆成版本，消解并不是简单删除下标。不同版本可能同时活跃，强行恢复同一源变量名会覆盖值。正确的输出允许继续保留许多不同临时量，只是不再含 φ 伪指令。

菱形汇合块有 $x_3:=\varphi (T:x_1,F:x_2)$。在 $T\to J$ 放 $x_3\leftarrow x_1$，在 $F\to J$ 放 $x_3\leftarrow x_2$，随后删除 φ；沿真、假两条路径手算都与原程序相同。若 $T$ 还可跳到另一后继 $K$，把复制直接放在 $T$ 末尾会使走 $T\to K$ 的执行也更新 $x_3$；只有拆出 $T\to C\to J$ 并在 $C$ 复制，才不扩大执行范围。

复制环取 $a\leftarrow b,b\leftarrow a$。初值 $(a,b)=(1,2)$，顺序执行第一条后变 $(2,2)$，第二条仍得 $(2,2)$，而并行语义应得 $(2,1)$。用新鲜 $t\leftarrow a;a\leftarrow b;b\leftarrow t$ 才正确。临时量若与 $a$ 或 $b$ 共享物理位置，就失去“保存旧值”的作用，因此 freshness 需要延续到位置分配约束。

异常边和带边参数的调用返回同样要求边精确性。复制若可能陷阱或改变标志寄存器，就不再是纯粹的 φ 实现；后端必须选择语义上无额外观察的移动序列。仅比较最终普通返回值会漏掉新增陷阱或异常路径。

消解后的程序可交给传统活跃性分析与寄存器分配。coalescing 能减少复制，但只有在两个值的 live ranges 不冲突、寄存器类别相容且预着色约束不矛盾时才安全。过度合并可能使干涉图着色失败或改变调用约定要求的位置。

SSA 消解的正确性通常分解为三条局部引理：边拆分保持路径与观察；并行复制顺序化保持旧源快照；名字合并保持所有同时活跃值可区分。把三步混成一次大改写，会让错误究竟来自 CFG、复制调度还是分配约束难以定位。

若目标机器的移动可能改变条件码，而后继第一条分支仍读取旧 flags，复制插入点也会改变观察。后端可选不破坏 flags 的 move、在复制后重建比较，或把 flags 纳入活跃资源和并行复制约束。这个例子说明 out-of-SSA 不只操作抽象变量名；越接近机器层，隐式状态越必须进入证明。