是否可以将所有程序转换为单一分配表格？

Question

单一赋值表单在编译器中广泛用于代码优化。但是，我无法在任何地方找到所有程序是否都转换为单一作业表格。如果有可能，请指导我查看该材料，否则请提供反例。

Answer 1

我问过“实用动态单一指派转换”的作者， ACM TODAES 2007和他们确认申请确实存在局限性 单一作业表格。 例如，运输问题的解决方案（来自运筹学 - link）无法转换，因为它们的执行取决于数据相关的成本矩阵。但是，作者还提到可以根据体系结构限制等应用预定义的循环边界，使它们适合单一赋值形式。