optimization - 什么是好的、免费的 SSA/SCCP 资源？

Question

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

gcc 相关：

• 树木 SSA
• 树 SSA——GCC 的新优化框架
• Tree SSA 一种新的 GCC 优化基础架构
• 树SSA的设计与实现

其他：

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

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

Answer 1

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

资源：

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