Optimization 什么是好的、免费提供的SSA/SCCP资源？

这就是我目前能想到的：

与gcc相关的：

其他：

---

我已经把它变成了一个社区维基，所以请随意添加您自己的资源-谢谢

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

资源：

• 我很惊讶您没有看到：“，它描述了GCC中使用的SCCP和其他稀疏条件分析的一般框架
• 将SCCP扩展到类型推断
• 将SCCP扩展到值范围传播（还允许复制传播）。我很确定这就是GCC使用的算法
• 最后，请允许我大胆地提出建议，其中讨论了算法，并尝试将符号执行（SCCP的核心）扩展到构建SSA

---

到您自己论文的链接已断开。