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_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