中图种学学计算机科学与术系 University of Science and Technology of China DEPARTMENT。 F COMPUTE三巴 ENCE AND ECHNOLDD 语句依赖图和送代依赖图 语句依赖图一依赖关系δ的有向图。将语句,如S和T, 看成结点,若有SδT,则: 间接依赖关系-δ,即依赖关系δ的传递闭包。 若SδT,则在语句依赖图中存在S到T的一条路径。 迭代依赖图一即(循环)迭代之间的依赖关系。在循环 L中,若语句T依赖于语句S,即SδT。令S(和T()是满 足依赖关系的偶对,S①δT①,此时应该有I≤J。在I< 时,称迭代H①依赖于迭代H①,记为H①δH①)。 国家高性能计算中心(合肥) 2021/1/28 10国家高性能计算中心（合肥） 10 2021/1/28 语句依赖图和迭代依赖图 ▪ 语句依赖图－依赖关系的有向图。将语句，如S和T， 看成结点，若有S  T，则： 间接依赖关系－ ，即依赖关系的传递闭包。 若S T，则在语句依赖图中存在S到T的一条路径。 ▪ 迭代依赖图－即（循环）迭代之间的依赖关系。在循环 L中，若语句T依赖于语句S，即S  T。令S(I)和T(J)是满 足依赖关系的偶对，S(I)  T(J)，此时应该有I≤J。在I<J 时，称迭代H(J)依赖于迭代H(I)，记为H(I)  H(J)。 -  S T  - 