O无回路的循环间相关(2/4)- Example: A, B, C, d distinct nonoverlapping for(i=1;<=100;i=i+1){ Iteration i i+1 A[]=A+B];/*S1 B[+1]=C]+D[]}/*S2* B[+1] Non-Circular Loop-Carried Dependence S2 S2 Dependency Graph 1.S1和S2没有相关,S1和S2互换不会影响程序的正确性 2.在第一次循环中,S1依赖于前一次循环的B1] 3.51依赖上一次循环的S2,但S2不依赖S1 计算机体系结构2021/2/7 计算机体系结构 27 无回路的循环间相关（2/4)- Example:A,B,C,D distinct & nonoverlapping for (i=1; i<=100; i=i+1) { A[i] = A[i] + B[i]; /* S1 */ B[i+1] = C[i] + D[i];} /* S2 */ Non-Circular Loop-Carried Dependence 1. S1和S2没有相关，S1和S2互换不会影响程序的正确性 2. 在第一次循环中，S1依赖于前一次循环的B[1]. 3. S1依赖上一次循环的S2，但S2不依赖S1