到目前为止，这是我能想到的：
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，所以请随时添加您自己的资源-谢谢！
最佳答案
您应该知道，GCC不再使用这些论文中所述的SSA（Chow的HSSA）。而是使用“别名预言”来区分内存地址。它仍然对标量变量使用SSA。
资源：
令您惊讶的是，我感到很惊讶：“ A propagation engine for GCC”，它描述了SCCP的通用框架以及GCC中使用的其他稀疏条件分析。
Lenart and Sadler扩展SCCP以键入推断。
Patterson将SCCP扩展到值范围传播（并且还允许复制传播）。我很确定这是GCC使用的算法。
最后，如果我可能大胆地建议使用my own short paper，它讨论了算法，并尝试将符号执行（SCCP的核心）扩展为构建SSA。