2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
18 #include <isl/config.h>
32 #ifndef __isl_constructor
33 #define __isl_constructor
35 #ifndef __isl_subclass
36 #define __isl_subclass(super)
39 #ifdef GCC_WARN_UNUSED_RESULT
40 #define WARN_UNUSED GCC_WARN_UNUSED_RESULT
45 #if defined(__cplusplus)
49 /* Nearly all isa functions require a struct isl_ctx allocated using
50 * isl_ctx_alloc. This ctx contains (or will contain) options that
51 * control the behavior of the library and some caches.
53 * An object allocated within a given ctx should never be used inside
54 * another ctx. Functions for moving objects from one ctx to another
55 * will be added as the need arises.
57 * A given context should only be used inside a single thread.
58 * A global context for synchronization between different threads
59 * as well as functions for moving a context to a different thread
60 * will be added as the need arises.
62 * If anything goes wrong (out of memory, failed assertion), then
63 * the library will currently simply abort. This will be made
64 * configurable in the future.
65 * Users of the library should expect functions that return
66 * a pointer to a structure, to return NULL, indicating failure.
67 * Any function accepting a pointer to a structure will treat
68 * a NULL argument as a failure, resulting in the function freeing
69 * the remaining structures (if any) and returning NULL itself
70 * (in case of pointer return type).
71 * The only exception is the isl_ctx argument, which should never be NULL.
85 typedef struct isl_ctx isl_ctx
;
87 /* Some helper macros */
89 #define ISL_FL_INIT(l, f) (l) = (f) /* Specific flags location. */
90 #define ISL_FL_SET(l, f) ((l) |= (f))
91 #define ISL_FL_CLR(l, f) ((l) &= ~(f))
92 #define ISL_FL_ISSET(l, f) (!!((l) & (f)))
94 #define ISL_F_INIT(p, f) ISL_FL_INIT((p)->flags, f) /* Structure element flags. */
95 #define ISL_F_SET(p, f) ISL_FL_SET((p)->flags, f)
96 #define ISL_F_CLR(p, f) ISL_FL_CLR((p)->flags, f)
97 #define ISL_F_ISSET(p, f) ISL_FL_ISSET((p)->flags, f)
99 /* isl_check_ctx() checks at compile time if 'ctx' is of type 'isl_ctx *' and
100 * returns the value of 'expr'. It is used to ensure, that always an isl_ctx is
101 * passed to the following macros, even if they currently do not use it.
103 #define isl_check_ctx(ctx, expr) ((ctx != (isl_ctx *) 0) ? expr : NULL)
105 #define isl_alloc(ctx,type,size) ((type *)isl_check_ctx(ctx,\
107 #define isl_calloc(ctx,type,size) ((type *)isl_check_ctx(ctx,\
109 #define isl_realloc(ctx,ptr,type,size) ((type *)isl_check_ctx(ctx,\
111 #define isl_alloc_type(ctx,type) isl_alloc(ctx,type,sizeof(type))
112 #define isl_calloc_type(ctx,type) isl_calloc(ctx,type,sizeof(type))
113 #define isl_realloc_type(ctx,ptr,type) isl_realloc(ctx,ptr,type,sizeof(type))
114 #define isl_alloc_array(ctx,type,n) isl_alloc(ctx,type,(n)*sizeof(type))
115 #define isl_calloc_array(ctx,type,n) ((type *)isl_check_ctx(ctx,\
116 calloc(n, sizeof(type))))
117 #define isl_realloc_array(ctx,ptr,type,n) \
118 isl_realloc(ctx,ptr,type,(n)*sizeof(type))
120 #define isl_die(ctx,errno,msg,code) \
122 isl_handle_error(ctx, errno, msg, __FILE__, __LINE__); \
126 void isl_handle_error(isl_ctx
*ctx
, enum isl_error error
, const char *msg
,
127 const char *file
, int line
);
129 #define isl_assert4(ctx,test,code,errno) \
133 isl_die(ctx, errno, "Assertion \"" #test "\" failed", code); \
135 #define isl_assert(ctx,test,code) \
136 isl_assert4(ctx,test,code,isl_error_unknown)
138 #define isl_min(a,b) ((a < b) ? (a) : (b))
140 /* struct isl_ctx functions */
142 struct isl_options
*isl_ctx_options(isl_ctx
*ctx
);
144 isl_ctx
*isl_ctx_alloc_with_options(struct isl_args
*args
,
145 __isl_take
void *opt
);
146 isl_ctx
*isl_ctx_alloc(void);
147 void *isl_ctx_peek_options(isl_ctx
*ctx
, struct isl_args
*args
);
148 int isl_ctx_parse_options(isl_ctx
*ctx
, int argc
, char **argv
, unsigned flags
);
149 void isl_ctx_ref(struct isl_ctx
*ctx
);
150 void isl_ctx_deref(struct isl_ctx
*ctx
);
151 void isl_ctx_free(isl_ctx
*ctx
);
153 void isl_ctx_abort(isl_ctx
*ctx
);
154 void isl_ctx_resume(isl_ctx
*ctx
);
155 int isl_ctx_aborted(isl_ctx
*ctx
);
157 #define ISL_ARG_CTX_DECL(prefix,st,args) \
158 st *isl_ctx_peek_ ## prefix(isl_ctx *ctx);
160 #define ISL_ARG_CTX_DEF(prefix,st,args) \
161 st *isl_ctx_peek_ ## prefix(isl_ctx *ctx) \
163 return (st *)isl_ctx_peek_options(ctx, &(args)); \
166 #define ISL_CTX_GET_INT_DEF(prefix,st,args,field) \
167 int prefix ## _get_ ## field(isl_ctx *ctx) \
170 options = isl_ctx_peek_ ## prefix(ctx); \
172 isl_die(ctx, isl_error_invalid, \
173 "isl_ctx does not reference " #prefix, \
175 return options->field; \
178 #define ISL_CTX_SET_INT_DEF(prefix,st,args,field) \
179 int prefix ## _set_ ## field(isl_ctx *ctx, int val) \
182 options = isl_ctx_peek_ ## prefix(ctx); \
184 isl_die(ctx, isl_error_invalid, \
185 "isl_ctx does not reference " #prefix, \
187 options->field = val; \
191 #define ISL_CTX_GET_STR_DEF(prefix,st,args,field) \
192 const char *prefix ## _get_ ## field(isl_ctx *ctx) \
195 options = isl_ctx_peek_ ## prefix(ctx); \
197 isl_die(ctx, isl_error_invalid, \
198 "isl_ctx does not reference " #prefix, \
200 return options->field; \
203 #define ISL_CTX_SET_STR_DEF(prefix,st,args,field) \
204 int prefix ## _set_ ## field(isl_ctx *ctx, const char *val) \
207 options = isl_ctx_peek_ ## prefix(ctx); \
209 isl_die(ctx, isl_error_invalid, \
210 "isl_ctx does not reference " #prefix, \
214 free(options->field); \
215 options->field = strdup(val); \
216 if (!options->field) \
221 #define ISL_CTX_GET_BOOL_DEF(prefix,st,args,field) \
222 ISL_CTX_GET_INT_DEF(prefix,st,args,field)
224 #define ISL_CTX_SET_BOOL_DEF(prefix,st,args,field) \
225 ISL_CTX_SET_INT_DEF(prefix,st,args,field)
227 #define ISL_CTX_GET_CHOICE_DEF(prefix,st,args,field) \
228 ISL_CTX_GET_INT_DEF(prefix,st,args,field)
230 #define ISL_CTX_SET_CHOICE_DEF(prefix,st,args,field) \
231 ISL_CTX_SET_INT_DEF(prefix,st,args,field)
233 enum isl_error
isl_ctx_last_error(isl_ctx
*ctx
);
234 void isl_ctx_reset_error(isl_ctx
*ctx
);
235 void isl_ctx_set_error(isl_ctx
*ctx
, enum isl_error error
);
237 #if defined(__cplusplus)