中間表示IR-靜態單賦值形式

中間表示IR-靜態單賦值形式 SSA 滿足兩種約束則爲靜態單賦值形式： 每個定義都有一個不同的名字； 每次使用引用一個定義； 重要的 ϕ \phi ϕ（phi）函數 SSA中，名字唯一地對應到代碼特定的定義位置；每個名字都是通過單個操作定義的，這也是SSA的來歷。每次操作中使用某個名字作爲參數時，該名字都編碼了對應值的來源地信息；文本化名字實際上指向了一個特定的定義位置。爲了使這種名字指派具有唯一

>>阅读原文<<