update pet to version 0.03
[ppcg.git] / ppcg.h
blob955312e531162547877141fcfa54a687d11ca04a
1 #ifndef PPCG_H
2 #define PPCG_H
4 #include <isl/set.h>
5 #include <isl/union_set.h>
6 #include <isl/union_map.h>
7 #include <pet.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
16 * writes in the scop.
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.
26 struct ppcg_scop {
27 isl_set *context;
28 isl_union_set *domain;
29 isl_union_set *call;
30 isl_union_map *reads;
31 isl_union_map *live_in;
32 isl_union_map *writes;
33 isl_union_map *kills;
34 isl_union_map *dep_flow;
35 isl_union_map *dep_false;
36 isl_union_map *schedule;
38 int n_array;
39 struct pet_array **arrays;
40 int n_stmt;
41 struct pet_stmt **stmts;
44 #endif