控制依赖确定问题

nilv

想问下专家，图A-2中B0和B2、B5之间是否存在控制依赖，这个怎么判断？

D题专家

专家D题 发表于 2022-10-6 16:58
当从某个基本块出发的路径，只有部分路径通过下游某个基本块时，两基本块构成控制依赖。
B0->B1->B2，B0 ...

只看B0到B1即可，B0出发只有一条边B0-B1，此边出发的路径中存在路径通过了B5，不构成控制依赖。实际上，只有一条出向边的基本块不会和其它任何基本块构成控制依赖。进一步说明参加帖子“关于控制依赖的进一步说明”

D题专家

B0和B2以及B5不存在控制依赖，B0出发只有B0-B1，B0-B1后续经过了B2和B5，因此不构成控制依赖。