...

Unroll:

      ¯   := 0

   		    :=    + B[1]

   		 A[2] :=    + B[2]

   		 A[3] := A[2] + B[3]

   		 A[4] := A[3] + B[4]

   		 A[5] := A[4] + B[5]

• In this case, there is a data dependence
• This is a loop-carried dependence - the dependence spans a loop iteration
• This loop is inherently sequential