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