中图种学学计算机科学与术系 University of Science and Technology of China DEPARTMENT。 F COMPUTE三巴 ENCE AND ECHNOLDD 语句T流依赖于语句S,即SδT,满足依赖关系的偶对: {<S(i1,i2),T(j13j2)j1=i1+1,j2=12-1, 0≤i≤3,1≤12≤4},距离向量为(1,-1),方 向向量为(1,-1)。此依赖关系由循环L!携带: 语句S流依赖于语句T,即TδfS,满足依赖关系的偶对: {<T(i1,2),S(j13j2)j1=i12j12=12+1, 0≤i4,0≤12≤3},距离向量为(0,1),方 向向量为(0,1)。此依赖关系由循环L2携带; 语句U流依赖于语句T,即TδU,满足依赖关系的偶对: {<T(i12),Uj12)j1=il,j2=12, 0≤≤4,0≤1≤4},距离向量为(0,0),方 向向量为(00)。此依赖关系与循环无关 国家高性能计算中心(合肥) 2021/1/28
国家高性能计算中心（合肥） 17 2021/1/28 ▪ 语句T流依赖于语句S，即S f T，满足依赖关系的偶对： { < S(i1,i2), T(j1,j2) | j1 = i1+1, j2=i2-1, 0≤i1≤3, 1≤i2≤4} ，距离向量为(1,-1)，方 向向量为(1, -1)。此依赖关系由循环L1携带； ▪ 语句S流依赖于语句T，即T f S，满足依赖关系的偶对： { < T(i1,i2), S(j1,j2) | j1 = i1, j2=i2+1, 0≤i1≤4, 0≤i2≤3} ，距离向量为(0,1)，方 向向量为(0, 1)。此依赖关系由循环L2携带； ▪ 语句U流依赖于语句T，即T f U，满足依赖关系的偶对： { < T(i1,i2), U(j1,j2) | j1 = i1, j2=i2, 0≤i1≤4, 0≤i2≤4} ，距离向量为(0,0)，方 向向量为(0,0)。此依赖关系与循环无关
中图种学学计算机科学与术系 University of Science and Technology of China DEPARTMENT。 F COMPUTE三巴 ENCE AND ECHNOLDD 01234i 语句依赖图 迭代依赖图 国家高性能计算中心(合肥) 2021/1/28
国家高性能计算中心（合肥） 18 2021/1/28 S T U f f f 语句依赖图 0 1 2 3 4 i 1 2 3 4 j 迭代依赖图