关于控制依赖中的描述疑惑

teriri

问题描述：控制依赖的定义为：当从某个基本块出发的路径，只有部分路径通过下游某个基本块时，两基本块构成控制依赖。
是否可以理解为：只有某个基本块存在多条出发的路径，且此时只有部分路径通过下游基本块时，两基本块才会构成控制依赖。
我的疑惑是，当一个基本块只有一条路径与另一基本块连接时，两者是否是不满足控制依赖的。如图A-2中的B6、B7之间就不存在控制依赖。

D题专家2

题目图A-2中说B1与B2、B5、B6、B7、B8之间存在控制依赖有错误，应该是B1与B2、B5、B6、B8之间存在控制依赖，与B7没有依赖

aaa1586

D题专家2 发表于 2022-10-6 13:13
题目图A-2中说B1与B2、B5、B6、B7、B8之间存在控制依赖有错误，应该是B1与B2、B5、B6、B8之间存在控制依赖 ...

图A-2中B1与B7为什么不构成控制依赖?

D题专家2

2个基本块如果有数据依赖就是它们之间只有唯一一条通路，如果有多条通路就没有数据依赖了。

teriri

D题专家2 发表于 2022-10-6 13:10
1和3没有数据依赖，因为它有3条通路。

我想上面那位同学问的可能是图C-1的①与③之间是否存在控制依赖。

kyroas

我看控制依赖的关系，如果1和3存在控制依赖，那3必然在1的下一级，但是3现在在0级，那就不存在控制依赖的关系，但是不存在控制依赖的关系，1为什么又指向3呢。

teriri

从附录3中的对于基本块0.1.2.3的举例中感觉这种情况下两者是不存在控制依赖的，但还是想来此进行确定。

D题专家2

2个基本块如果有数据依赖就是它们之间只有唯一一条通路，如果有多条通路就没有数据依赖了。

hzkja

D题专家2 发表于 2022-10-6 12:26
2个基本块如果有数据依赖就是它们之间只有唯一一条通路，如果有多条通路就没有数据依赖了。

你好，1和3之间存在控制依赖么？

D题专家2

1和3没有数据依赖，因为它有3条通路。