带有块参数的 SSA 表单的名称
[英]Name of SSA form with block parameters
问题描述
现在大多数命令式语言的优化编译器都使用静态单赋值形式，其中每个变量只在一个地方赋值。
传统上，SSA 使用 phi 节点来协调这与可以在循环中重复分配变量的要求。 然而，最近已经做了一些工作，而不是允许基本块有参数。 它们在表达能力上形式上是等价的； 块参数使某些事情比 phi 节点更容易一些，但代价是使其他事情变得更加困难。
除了使用块参数而不是 phi 节点之外，什么是静态单一分配，称为？ 它仍然被称为 SSA，还是严格地暗示使用 phi 节点？ 如果是后者，块参数变体的适当名称是什么？
0 个解决方案
反编译器如何将多个 SSA 表单指令组合成一个语句？
[英]How decompilers combine multiple SSA form instructions into one statement?
我可以将AST转换为SSA，还是需要转换为CFG然后转换为SSA？
[英]Can I translate an AST to SSA, or do I need to translate to a CFG then to SSA?
声明:本站的技术帖子网页，遵循CC BY-SA 4.0协议，如果您需要转载，请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.