SSA 用了十几年了 早就是标配了 这东西不能说是一种方法 只能说是一个概念 引进这个概念可以建立很多新的算法

内存那个叫 alias/pointer analysis 也是建立在 SSA 之上的 但是理论的根本跟 SSA 无关 而且这东西不可能做到精确 因为是从根本上 undecidable 的，主要是给优化提供 must be 和 must not 的信息

【 在 hgoldfish 的大作中提到: 】
:
: 现在 gcc 也是 SSA 了吧？
:
: 感觉 SSA 有点像是函数式编程语言的意思。
:

#发自zSMTH@Moto Z3 Play
--
FROM 188.67.236.*