Next: ... Up: Nested loops Previous: ...

...

Equation [*] has solutions for

\begin{eqnarray*}((I_1^1, I_2^1), (I_1^2, I_2^2)) & = & ((0,0), (0,1)), \\
& =...
...0), (3,1)), \\
& = & ((3,1), (3,2)), \\
& = & ((3,2), (3,3))
\end{eqnarray*}


The distance vector is

(I12-I11, I22-I21) = (0,1)

This corresponds to a dependence direction vector (.,<): there is also a loop-carried data dependence in the inner loop.

((Note that it is possible for a dependence to exist without having a consistent dependence distance)).