什麼是好的，免費提供的SSA/SCCP資源？

Question

這是我能想出迄今：

GCC相關：

• SSA for Trees
• Tree SSA – A New Optimization Framework for GCC
• Tree SSA A New Optimization Infrastructure for GCC
• Design and Implementation of Tree SSA

其他：

• An Implementation of Sparse Conditional Constant Propagation for Machine SUIF
• Concurrent Static Single Assignment Form and Constant Propagation for Explicitly Parallel Programs

我做了這個社會的維基，所以請隨意添加自己的資源 - 謝謝！

Answer 1

您應該知道，GCC不再使用這些論文中描述的SSA（Chow的HSSA）。相反，它使用「別名oracle」來消除內存地址之間的歧義。它仍然使用SSA作爲標量變量。

資源：

• 我很驚訝你錯過了：「A propagation engine for GCC」，它描述了SCCP和GCC使用其他稀疏條件分析的一般框架。
• Lenart and Sadler將SCCP擴展爲類型推斷。
• Patterson將SCCP擴展到值範圍傳播（並且還允許複製傳播）。我很確定這是GCC使用的算法。
• 最後，如果我可能會大膽地建議my own short paper，它討論算法，並試圖擴展符號執行（SCCP的核心），以建立SSA。