Dependency Analysis

We saw we could improve the stall behavior of a loop like: 
          for( i=1; i <= 1000; i++)
               x[i] = x[i] + s
by unrolling the loop, modifying the code, and scheduling the code.

But how does the compiler perform these operations?

[up] to Overview.