add isl_pw_aff_has_dim_id
[isl.git] / isl_ctx.c
blobbea6efb9d02f924bc8ce7ec0338813b5978c7076
1 /*
2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the GNU LGPLv2.1 license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8 */
10 #include <isl_ctx_private.h>
11 #include <isl/vec.h>
12 #include <isl/options.h>
14 static struct isl_options *find_nested_options(struct isl_args *args,
15 void *opt, struct isl_args *wanted)
17 int i;
18 struct isl_options *options;
20 if (args == wanted)
21 return opt;
23 for (i = 0; args->args[i].type != isl_arg_end; ++i) {
24 if (args->args[i].type != isl_arg_child)
25 continue;
26 options = find_nested_options(args->args[i].u.child.child,
27 *(void **)(((char *)opt) + args->args[i].offset),
28 wanted);
29 if (options)
30 return options;
33 return NULL;
36 static struct isl_options *find_nested_isl_options(struct isl_args *args,
37 void *opt)
39 return find_nested_options(args, opt, &isl_options_args);
42 void *isl_ctx_peek_options(isl_ctx *ctx, struct isl_args *args)
44 if (!ctx)
45 return NULL;
46 return find_nested_options(ctx->user_args, ctx->user_opt, args);
49 isl_ctx *isl_ctx_alloc_with_options(struct isl_args *args, void *user_opt)
51 struct isl_ctx *ctx = NULL;
52 struct isl_options *opt = NULL;
53 int opt_allocated = 0;
55 if (!user_opt)
56 return NULL;
58 opt = find_nested_isl_options(args, user_opt);
59 if (!opt) {
60 opt = isl_options_new_with_defaults();
61 if (!opt)
62 goto error;
63 opt_allocated = 1;
66 ctx = isl_calloc_type(NULL, struct isl_ctx);
67 if (!ctx)
68 goto error;
70 if (isl_hash_table_init(ctx, &ctx->id_table, 0))
71 goto error;
73 ctx->stats = isl_calloc_type(ctx, struct isl_stats);
74 if (!ctx->stats)
75 goto error;
77 ctx->user_args = args;
78 ctx->user_opt = user_opt;
79 ctx->opt_allocated = opt_allocated;
80 ctx->opt = opt;
81 ctx->ref = 0;
83 isl_int_init(ctx->zero);
84 isl_int_set_si(ctx->zero, 0);
86 isl_int_init(ctx->one);
87 isl_int_set_si(ctx->one, 1);
89 isl_int_init(ctx->two);
90 isl_int_set_si(ctx->two, 2);
92 isl_int_init(ctx->negone);
93 isl_int_set_si(ctx->negone, -1);
95 isl_int_init(ctx->normalize_gcd);
97 ctx->n_cached = 0;
98 ctx->n_miss = 0;
100 ctx->error = isl_error_none;
102 return ctx;
103 error:
104 isl_args_free(args, user_opt);
105 if (opt_allocated)
106 isl_options_free(opt);
107 free(ctx);
108 return NULL;
111 struct isl_ctx *isl_ctx_alloc()
113 struct isl_options *opt;
115 opt = isl_options_new_with_defaults();
117 return isl_ctx_alloc_with_options(&isl_options_args, opt);
120 void isl_ctx_ref(struct isl_ctx *ctx)
122 ctx->ref++;
125 void isl_ctx_deref(struct isl_ctx *ctx)
127 isl_assert(ctx, ctx->ref > 0, return);
128 ctx->ref--;
131 void isl_ctx_free(struct isl_ctx *ctx)
133 if (!ctx)
134 return;
135 isl_assert(ctx, ctx->ref == 0, return);
136 isl_hash_table_clear(&ctx->id_table);
137 isl_blk_clear_cache(ctx);
138 isl_int_clear(ctx->zero);
139 isl_int_clear(ctx->one);
140 isl_int_clear(ctx->two);
141 isl_int_clear(ctx->negone);
142 isl_int_clear(ctx->normalize_gcd);
143 isl_args_free(ctx->user_args, ctx->user_opt);
144 if (ctx->opt_allocated)
145 free(ctx->opt);
146 free(ctx->stats);
147 free(ctx);
150 struct isl_options *isl_ctx_options(isl_ctx *ctx)
152 if (!ctx)
153 return NULL;
154 return ctx->opt;
157 enum isl_error isl_ctx_last_error(isl_ctx *ctx)
159 return ctx->error;
162 void isl_ctx_reset_error(isl_ctx *ctx)
164 ctx->error = isl_error_none;
167 void isl_ctx_set_error(isl_ctx *ctx, enum isl_error error)
169 if (ctx)
170 ctx->error = error;
173 void isl_ctx_abort(isl_ctx *ctx)
175 if (ctx)
176 ctx->abort = 1;
179 void isl_ctx_resume(isl_ctx *ctx)
181 if (ctx)
182 ctx->abort = 0;
185 int isl_ctx_aborted(isl_ctx *ctx)
187 return ctx ? ctx->abort : -1;
190 int isl_ctx_parse_options(isl_ctx *ctx, int argc, char **argv, unsigned flags)
192 if (!ctx)
193 return -1;
194 return isl_args_parse(ctx->user_args, argc, argv, ctx->user_opt, flags);