1 #ifndef PET_STATE_H
2 #define PET_STATE_H
3 
4 #include <pet.h>
5 
6 #if defined(__cplusplus)
7 extern "C" {
8 #endif
9 
10 /* Global state of pet_scop_from_pet_tree.
11  *
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.
16  *
17  * "n_loop" is the sequence number of the next loop.
18  * "n_stmt" is the sequence number of the next statement.
19  * "n_test" is the sequence number of the next virtual scalar.
20  */
21 struct pet_state {
22 	isl_ctx *ctx;
23 
24 	struct pet_array *(*extract_array)(__isl_keep pet_expr *access,
25 		__isl_keep pet_context *pc, void *user);
26 	void *user;
27 	int int_size;
28 
29 	int n_loop;
30 	int n_stmt;
31 	int n_test;
32 };
33 
34 #if defined(__cplusplus)
35 }
36 #endif
37 
38 #endif
39