中间表示IR-静态单赋值形式

中间表示IR-静态单赋值形式 SSA 满足两种约束则为静态单赋值形式： 每个定义都有一个不同的名字； 每次使用引用一个定义； 重要的 ϕ \phi ϕ（phi）函数 SSA中，名字唯一地对应到代码特定的定义位置；每个名字都是通过单个操作定义的，这也是SSA的来历。每次操作中使用某个名字作为参数时，该名字都编码了对应值的来源地信息；文本化名字实际上指向了一个特定的定义位置。为了使这种名字指派具有唯一

>>阅读原文<<