state.h

   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_stmt" is the sequence number of the next statement.
  18  * "n_test" is the sequence number of the next virtual scalar.
  19  */
  20 struct pet_state {
  21         isl_ctx *ctx;
  22
  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;
  27
  28         int n_stmt;
  29         int n_test;
  30 };
  31
  32 #if defined(__cplusplus)
  33 }
  34 #endif
  35
  36 #endif