tree2scop.c: scop_add_inc: take into account affine break conditions
[pet.git] / state.h
blob4cb8858e85299d0ee3b436fc006c8a0b0204cbb5
1 #ifndef PET_STATE_H
2 #define PET_STATE_H
4 #include <pet.h>
6 #if defined(__cplusplus)
7 extern "C" {
8 #endif
10 /* Global state of pet_scop_from_pet_tree.
12 * "extract_array" is a callback specified by the user that can be
13 * used to create a pet_array corresponding to the variable accessed
14 * by "access".
15 * "int_size" is the number of bytes needed to represent an integer.
17 * "n_stmt" is the sequence number of the next statement.
18 * "n_test" is the sequence number of the next virtual scalar.
20 struct pet_state {
21 isl_ctx *ctx;
23 struct pet_array *(*extract_array)(__isl_keep pet_expr *access,
24 __isl_keep pet_context *pc, void *user);
25 void *user;
26 int int_size;
28 int n_stmt;
29 int n_test;
32 #if defined(__cplusplus)
34 #endif
36 #endif