【问题标题】:What are good, freely available SSA/SCCP resources?什么是好的、免费的 SSA/SCCP 资源?
【发布时间】:2009-05-18 04:08:17
【问题描述】:

【问题讨论】:

    标签: optimization compiler-construction ssa


    【解决方案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。

    【讨论】:

    • 你自己论文的链接坏了。
    猜你喜欢
    • 2017-11-16
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 1970-01-01
    • 2010-12-26
    • 2010-09-14
    • 1970-01-01
    • 2010-12-18
    相关资源
    最近更新 更多