A dependence is said to be carried by a loop if the corresponding
direction vector element for that loop has a directional component
(<, <, /, or *
). Loop-carried dependence is an
important concept for discovering when the iterations of the
loop can be executed concurrently. If there are no loop-carried
dependences, all iterations of that loop can be executed in parallel
without synchronization.