什么是好的、免费的 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

我已将其设为社区 wiki，因此请随时添加您自己的资源 - 谢谢！

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。