对 Psi-SSA 表示法的改进
编程语言
2007-05-23 v1
摘要
现代编译器实现使用静态单赋值（Static Single Assignment, SSA）表示法来高效实现优化算法。然而，这种表示法并不适用于具有谓词指令集的架构。Psi-SSA 表示法扩展了 SSA 表示法，使得标准 SSA 算法能够轻松适配具有完全谓词指令集的架构。我们引入了一种新的伪操作，即 Psi 操作，用于将多个条件定义合并为唯一的一个定义。
引用
@article{arxiv.0705.2126,
title = {Improvements to the Psi-SSA representation},
author = {Francois De Ferriere},
journal= {arXiv preprint arXiv:0705.2126},
year = {2007}
}