We begin by considering a very simple loop with a very common
dependence pattern. This example is also used in Banerjee's paper:
for
S: A[
for
Dependence structure?
= 0 to 3 do
= 0 to 3 do
,
] := A[
,
] + A[
,
]