什么是免费的优质 SSA/SCCP 资源？

Question

到目前为止，这是我能想到的：

gcc 相关：

• SSA for Trees
• Tree SSA – GCC 的新优化框架
• < a href="http://gcc.fyxm.net/summit/2003/Tree%20SSA%20-%20A%20New%20optimization%20infrastruct.pdf" rel="nofollow noreferrer">Tree SSA GCC 的新优化基础架构
• 设计与实现树 SSA

其他：

• 机器 SUIF 的稀疏条件常量传播的实现
• 显式并行程序的并发静态单赋值形式和恒定传播

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

Answer 1

您应该知道，GCC 不再使用这些论文中描述的 SSA（Chow 的 HSSA）。 相反，它使用“别名预言机”来消除内存地址之间的歧义。 它仍然使用 SSA 来处理标量变量。

资源：

• 我很惊讶你错过了：“GCC 的传播引擎” ，它描述了 SCCP 和 GCC 中使用的其他稀疏条件分析的总体框架。
• Lenart 和 Sadler 将 SCCP 扩展到类型推断。
• Patterson 将 SCCP 扩展到值范围传播（并且也允许复制传播）。 我很确定这是 GCC 使用的算法。
• 最后，如果我可以大胆地建议我自己的短论文，其中讨论了算法，并尝试将符号执行（SCCP 的核心）扩展到构建 SSA。