B.2.6 Inserted (I)

• Two-version loop was created here. The loop cannot be vectorized as-is because of possible data dependencies. An inserted IF block eliminates this possibility, and the loop can be vectorized.