Description

Loop dependence analysis occur on a normalized loop of the form:

for i₁ until U₁ do for i₂ until U₂ do ... for i_n until U_n do body done ... done done

where body may contain:

S1 a[f₁(i₁, ..., i_n), ..., f_m(i₁, ..., i_n)]