SSA表單實現

Question

將三地址代碼或抽象語法樹轉換爲靜態單分配形式的算法最簡單，並且給出了一個穩定的結果？

在此先感謝。

Answer 1

有一篇文章「靜態單一賦值表單的簡單高效構造」，它允許直接從AST或字節碼發出SSA。我會推薦這一個。

或者，您可以使用Cytron的「高效計算靜態單賦值形式和控制依賴圖」，但在此需要首先生成非SSA控制流圖。