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

您应该知道，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。