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