静态单一赋值形式的优化

Question

如果中间表示不在SSA（静态单一赋值）中，哪些优化技术无法实现？换句话说，SSA是可选的还是必需的？

Answer 1

特定优化不需要SSA，但通常可以更轻松地实现某些优化。

有些编译器不使用SSA（或者至少不将它用于编译器的某些部分）：例如，GCC低级IR称为RTL不是基于SSA的，Go的后端仅使用SSA一些发布。 Rust新推出的MIR（中级IR）也不是基于SSA的。