2.1.3 SSA 带来的引用-定义链 (Use-Def Chains) 优化

文档摘要

2.1.3 SSA 带来的引用-定义链 (Use-Def Chains) 优化在编译器优化的世界里，有一条看不见的“神经束”——它不参与计算，却支配着所有数据的来龙去脉；它不改变语义，却决定着优化能否发生、何时发生、以多大粒度发生。这条神经束，就是引用-定义链（Use-Def Chain）。而当静态单赋值形式（SSA）降临，这条神经束不再靠遍历控制流图（CFG）艰难拼凑，也不再依赖保守的别名分析兜底求生——它突然变得确定、稀疏、局部化、可索引、可缓存、可增量更新。这不是渐进式改良，而是一次底层数据结构范式的重铸。我们今天要深入的，不是SSA的定义，也不是φ函数的语法糖；