llvm ssa #18
Description
涉及概念
- 支配边界:
- φ 插入算法（Cytron 1991）
PDF 的核心内容就是这个算法： 步骤： 对每个变量 v，收集所有定义点 Def(v) 对每个定义点 d： 遍历 d 的支配边界 DF(d) 在 DF(d) 插入 φ(v) 如果 φ 本身引入新的定义，也要继续迭代（直到收敛） 这是构建 最小 SSA 的关键。
{{ message }}
PDF 的核心内容就是这个算法：
步骤：
对每个变量 v，收集所有定义点 Def(v)
对每个定义点 d：
遍历 d 的支配边界 DF(d)
在 DF(d) 插入 φ(v)
如果 φ 本身引入新的定义，也要继续迭代（直到收敛）
这是构建 最小 SSA 的关键。