计算机科学 ›› 2009, Vol. 36 ›› Issue (3): 54-57.
• • 上一篇 下一篇
出版日期:
发布日期:
基金资助:
Online:
Published:
摘要: 支配关系在数据流分析和静态单赋值等程序分析和优化中应用很广泛。采用位向量表示支配结点集合,描述了采用迭代法计算控制流图上支配结点集合的算法,在支配结点集合的基础上讨论了对直接支配结点、支配边界结点的计算方法,并在NPB和SPEC2000测试集上进行了测试。测试结果表明:控制流图的构建占用了过程内支配关系计算的几乎一半时间;对于不包含goto语句的结构化程序,迭代算法一般只需迭代2次。
关键词: 控制流图 迭代算法 位向量 支配关系
Abstract: Compilers use dominance information extensively during program analysis and optimization, such as data-flow analysis and the computation of static single-assignment forms. The iterative method to compute dominators was discussed in detail, in which domina
Key words: CFG, Iterative formulation, Bit vector, Dominator
. 控制流图上支配关系计算方法的分析与实现[J]. 计算机科学, 2009, 36(3): 54-57. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2009/V36/I3/54
Cited