文献类型：期刊文章

作　　者：马红途[1,2] 赵荣彩[1] 苏彦兵[2]

机构地区：[1]信息工程大学信息工程学院,郑州450002 [2]信息工程技术研究所,北京102249

出　　处：《计算机科学》

基　　金：国家863计划资助项目(2006AA01Z408)资助

年　　份：2009

卷　　号：36

期　　号：3

起止页码：54-57

语　　种：中文

收录情况：BDHX、BDHX2008、CSA、CSCD、CSCD2011_2012、IC、JST、RCCSE、UPD、ZGKJHX、核心刊

摘　　要：支配关系在数据流分析和静态单赋值等程序分析和优化中应用很广泛。采用位向量表示支配结点集合,描述了采用迭代法计算控制流图上支配结点集合的算法,在支配结点集合的基础上讨论了对直接支配结点、支配边界结点的计算方法,并在NPB和SPEC2000测试集上进行了测试。测试结果表明:控制流图的构建占用了过程内支配关系计算的几乎一半时间;对于不包含goto语句的结构化程序,迭代算法一般只需迭代2次。

关 键 词：控制流图 迭代算法 位向量 支配关系

分 类 号：TP311] TP391[计算机类]