"This graph is an internal data structure representing the data dependences among operations in the loop body, and dependences between operations in different iterations of the loop body." . . . .