compiler-construction - 带有块参数的 SSA 表单的名称

Question

现在大多数命令式语言的优化编译器都使用静态单一赋值形式，其中每个变量只分配在一个地方。

传统上，SSA 使用 phi 节点来协调这与可以在循环中重复分配变量的要求。然而，最近已经完成了一些工作，而不是允许基本块具有参数。这些在表达能力上是形式上等价的；块参数使某些事情比 phi 节点更容易，但代价是使其他事情变得更困难。

除了使用块参数而不是 phi 节点之外，什么是静态单一分配，称为？它仍然称为 SSA，还是严格意味着使用 phi 节点？如果是后者，块参数变体的合适名称是什么？

标签： compiler-constructionterminologyssa