什么是好的，免费提供的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

您应该知道海湾合作委员会不再使用那些文件中描述的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。