5 #include <isl/union_set.h>
6 #include <isl/union_map.h>
9 /* Representation of the scop for use inside PPCG.
11 * "context" represents constraints on the parameters.
12 * "domain" is the union of all iteration domains.
13 * "call" contains the iteration domains of statements with a call expression.
14 * "reads" contains all read accesses.
15 * "live_in" contains read accesses that have no corresponding
17 * "writes" contains all write accesses.
18 * "kills" contains all kill accesses.
19 * "dep_flow" represents the flow dependences.
20 * "def_false" represents the false (anti and output) dependences.
21 * "schedule" represents the (original) schedule.
23 * "arrays" and "stmts" are copies of the corresponding elements
24 * of the original pet_scop.
28 isl_union_set
*domain
;
31 isl_union_map
*live_in
;
32 isl_union_map
*writes
;
34 isl_union_map
*dep_flow
;
35 isl_union_map
*dep_false
;
36 isl_union_map
*schedule
;
39 struct pet_array
**arrays
;
41 struct pet_stmt
**stmts
;