...

• If the uses precede the assignments, we actually have an anti-dependence, ie
  • if, for each solution pair ,
• If there are some solution pairs with and some with , we write
• If, for all solution pairs , , there are dependences within an iteration of the loop, but there are no loop-carried dependences.