For describing the relation between memory accesses one needs:

Intuitive idea for the data dependence test: "a1 depends on a0" when a0 touches some memory cell before a1. The result of the data dependence test is a polyhedron describing the dependences. If there are no dependences, the dependence polyhedron is empty. The dependence polyhedron contains the following constraints:

Data dependence polyhedron specification: Polyhedral dependences

None: Graphite/Polyhedral_data_dependence_relations (last edited 2009-04-17 17:12:58 by chercheurs2-250)