我试图准确理解控制依赖图的概念.假设我有以下控制流程图(以DOT表示法):
graph g { 1 -> 2; 2 -> 3; 3 -> 2; 2 -> 4; 1 -> 4 }
它具有唯一的入口节点(1)和唯一的出口节点(4),以及循环2 – > 3 – > 2.
我的问题是:这个CFG的控制依赖图是否包含从2到自身的循环边缘?
艾伦&肯尼迪的“优化现代架构的编译器”有一种算法可以产生这样的循环边缘.然而,Muchnick的“编译器设计和实现”的控制依赖算法并没有产生这样的优势.此外,我在文献中找不到任何用这样的循环边缘绘制CDG的例子.我倾向于认为没有这样的优势,但根据控制依赖的正式定义并且根据Allen&肯尼迪的算法,它应该!
如果你能指出我在CDG中有这样一个循环的例子(最好是在同行评审的论文中,或者某些教授的讲义等),或者如果你能说出为什么艾伦&肯尼迪的算法应该是不正确的,我很高兴知道.
根据
Ferrante 1987,可以存在控制依赖循环.在第325页的案例2中,作者指定了
All nodes in the post-dominator tree on the path from A to B,
including A and B,should be made control dependent on A. (This case
captures loop dependence.)
因此,在这种情况下,节点A将存在循环.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。