include/isl_ctx.h.in

   1 #ifndef ISL_CTX_H
   2 #define ISL_CTX_H
   3
   4 #include <assert.h>
   5 #include <stdlib.h>
   6
   7 #include <isl_int.h>
   8 #include <isl_blk.h>
   9 #include <isl_hash.h>
  10
  11 #undef ISL_POLYLIB
  12 #undef ISL_PIPLIB
  13
  14 #if defined(__cplusplus)
  15 extern "C" {
  16 #endif
  17
  18 /* Nearly all isa functions require a struct isl_ctx allocated using
  19  * isl_ctx_alloc.  This ctx contains (or will contain) options that
  20  * control the behavior of the library and some caches.
  21  *
  22  * An object allocated within a given ctx should never be used inside
  23  * another ctx.  Functions for moving objects from one ctx to another
  24  * will be added as the need arises.
  25  *
  26  * A given context should only be used inside a single thread.
  27  * A global context for synchronization between different threads
  28  * as well as functions for moving a context to a different thread
  29  * will be added as the need arises.
  30  *
  31  * If anything goes wrong (out of memory, failed assertion), then
  32  * the library will currently simply abort.  This will be made
  33  * configurable in the future.
  34  * Users of the library should expect functions that return
  35  * a pointer to a structure, to return NULL, indicating failure.
  36  * Any function accepting a pointer to a structure will treat
  37  * a NULL argument as a failure, resulting in the function freeing
  38  * the remaining structures (if any) and returning NULL itself
  39  * (in case of pointer return type).
  40  * The only exception is the isl_ctx argument, which shoud never be NULL.
  41  */
  42 struct isl_stats {
  43         long    gbr_solved_lps;
  44 };
  45 struct isl_ctx {
  46         int                     ref;
  47
  48         struct isl_stats        *stats;
  49
  50         isl_int                 one;
  51         isl_int                 negone;
  52
  53         isl_int                 normalize_gcd;
  54
  55         int                     n_cached;
  56         struct isl_blk          cache[ISL_BLK_CACHE_SIZE];
  57         struct isl_hash_table   name_hash;
  58 #ifdef ISL_POLYLIB
  59         unsigned                MaxRays;
  60 #endif
  61
  62         #define                 ISL_LP_TAB      0
  63         #define                 ISL_LP_PIP      1
  64         unsigned                lp_solver;
  65
  66         #define                 ISL_ILP_GBR     0
  67         #define                 ISL_ILP_PIP     1
  68         unsigned                ilp_solver;
  69
  70         #define                 ISL_PIP_TAB     0
  71         #define                 ISL_PIP_PIP     1
  72         unsigned                pip;
  73
  74         #define                 ISL_GBR_NEVER   0
  75         #define                 ISL_GBR_ONCE    1
  76         #define                 ISL_GBR_ALWAYS  2
  77         unsigned                gbr;
  78         unsigned                gbr_only_first;
  79 };
  80
  81 /* Some helper macros */
  82
  83 #define ISL_FL_INIT(l, f)   (l) = (f)               /* Specific flags location. */
  84 #define ISL_FL_SET(l, f)    ((l) |= (f))
  85 #define ISL_FL_CLR(l, f)    ((l) &= ~(f))
  86 #define ISL_FL_ISSET(l, f)  (!!((l) & (f)))
  87
  88 #define ISL_F_INIT(p, f)    ISL_FL_INIT((p)->flags, f)  /* Structure element flags. */
  89 #define ISL_F_SET(p, f)     ISL_FL_SET((p)->flags, f)
  90 #define ISL_F_CLR(p, f)     ISL_FL_CLR((p)->flags, f)
  91 #define ISL_F_ISSET(p, f)   ISL_FL_ISSET((p)->flags, f)
  92
  93 #define isl_alloc(ctx,type,size)        (type *)malloc(size)
  94 #define isl_calloc(ctx,type,size)       (type *)calloc(1, size)
  95 #define isl_realloc(ctx,ptr,type,size)  (type *)realloc(ptr,size)
  96 #define isl_alloc_type(ctx,type)        isl_alloc(ctx,type,sizeof(type))
  97 #define isl_calloc_type(ctx,type)       isl_calloc(ctx,type,sizeof(type))
  98 #define isl_realloc_type(ctx,ptr,type)  isl_realloc(ctx,ptr,type,sizeof(type))
  99 #define isl_alloc_array(ctx,type,n)     isl_alloc(ctx,type,(n)*sizeof(type))
 100 #define isl_calloc_array(ctx,type,n)    (type *)calloc(n, sizeof(type))
 101 #define isl_realloc_array(ctx,ptr,type,n) \
 102                                     isl_realloc(ctx,ptr,type,(n)*sizeof(type))
 103
 104 #define isl_assert(ctx,test,code)       assert(test)
 105
 106 #define isl_min(a,b)                    ((a < b) ? (a) : (b))
 107
 108 /* struct isl_ctx functions */
 109
 110 struct isl_ctx *isl_ctx_alloc();
 111 void isl_ctx_ref(struct isl_ctx *ctx);
 112 void isl_ctx_deref(struct isl_ctx *ctx);
 113 void isl_ctx_free(struct isl_ctx *ctx);
 114
 115 #if defined(__cplusplus)
 116 }
 117 #endif
 118
 119 #endif