2 * Copyright 2008-2009 Katholieke Universiteit Leuven
3 * Copyright 2011 INRIA Saclay
4 * Copyright 2012 Ecole Normale Superieure
6 * Use of this software is governed by the MIT license
8 * Written by Sven Verdoolaege, K.U.Leuven, Departement
9 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
10 * and INRIA Saclay - Ile-de-France, Parc Club Orsay Universite,
11 * ZAC des vignes, 4 rue Jacques Monod, 91893 Orsay, France
12 * and Ecole Normale Superieure, 45 rue d’Ulm, 75230 Paris, France
15 #define xCAT(A,B) A ## B
16 #define CAT(A,B) xCAT(A,B)
18 #define EL CAT(isl_,BASE)
19 #define xFN(TYPE,NAME) TYPE ## _ ## NAME
20 #define FN(TYPE,NAME) xFN(TYPE,NAME)
21 #define xLIST(EL) EL ## _list
22 #define LIST(EL) xLIST(EL)
24 isl_ctx *FN(LIST(EL),get_ctx)(__isl_keep LIST(EL) *list)
26 return list ? list->ctx : NULL;
29 __isl_give LIST(EL) *FN(LIST(EL),alloc)(isl_ctx *ctx, int n)
34 isl_die(ctx, isl_error_invalid,
35 "cannot create list of negative length",
37 list = isl_alloc(ctx, LIST(EL),
38 sizeof(LIST(EL)) + (n - 1) * sizeof(struct EL *));
50 __isl_give LIST(EL) *FN(LIST(EL),copy)(__isl_keep LIST(EL) *list)
59 __isl_give LIST(EL) *FN(LIST(EL),dup)(__isl_keep LIST(EL) *list)
67 dup = FN(LIST(EL),alloc)(FN(LIST(EL),get_ctx)(list), list->n);
70 for (i = 0; i < list->n; ++i)
71 dup = FN(LIST(EL),add)(dup, FN(EL,copy)(list->p[i]));
75 __isl_give LIST(EL) *FN(LIST(EL),cow)(__isl_take LIST(EL) *list)
83 return FN(LIST(EL),dup)(list);
86 /* Make sure "list" has room for at least "n" more pieces.
88 * If there is only one reference to list, we extend it in place.
89 * Otherwise, we create a new LIST(EL) and copy the elements.
91 static __isl_give LIST(EL) *FN(LIST(EL),grow)(__isl_take LIST(EL) *list, int n)
99 if (list->n + n <= list->size)
102 ctx = FN(LIST(EL),get_ctx)(list);
103 new_size = ((list->n + n + 1) * 3) / 2;
104 if (list->ref == 1) {
105 res = isl_realloc(ctx, list, LIST(EL),
106 sizeof(LIST(EL)) + (new_size - 1) * sizeof(EL *));
108 return FN(LIST(EL),free)(list);
109 res->size = new_size;
113 res = FN(LIST(EL),alloc)(ctx, new_size);
115 return FN(LIST(EL),free)(list);
117 for (i = 0; i < list->n; ++i)
118 res = FN(LIST(EL),add)(res, FN(EL,copy)(list->p[i]));
120 FN(LIST(EL),free)(list);
124 __isl_give LIST(EL) *FN(LIST(EL),add)(__isl_take LIST(EL) *list,
125 __isl_take struct EL *el)
127 list = FN(LIST(EL),grow)(list, 1);
130 list->p[list->n] = el;
135 FN(LIST(EL),free)(list);
139 /* Remove the "n" elements starting at "first" from "list".
141 __isl_give LIST(EL) *FN(LIST(EL),drop)(__isl_take LIST(EL) *list,
142 unsigned first, unsigned n)
148 if (first + n > list->n || first + n < first)
149 isl_die(list->ctx, isl_error_invalid,
150 "index out of bounds", return FN(LIST(EL),free)(list));
153 list = FN(LIST(EL),cow)(list);
156 for (i = 0; i < n; ++i)
157 FN(EL,free)(list->p[first + i]);
158 for (i = first; i + n < list->n; ++i)
159 list->p[i] = list->p[i + n];
164 /* Insert "el" at position "pos" in "list".
166 * If there is only one reference to "list" and if it already has space
167 * for one extra element, we insert it directly into "list".
168 * Otherwise, we create a new list consisting of "el" and copied
169 * elements from "list".
171 __isl_give LIST(EL) *FN(LIST(EL),insert)(__isl_take LIST(EL) *list,
172 unsigned pos, __isl_take struct EL *el)
180 ctx = FN(LIST(EL),get_ctx)(list);
182 isl_die(ctx, isl_error_invalid,
183 "index out of bounds", goto error);
185 if (list->ref == 1 && list->size > list->n) {
186 for (i = list->n - 1; i >= pos; --i)
187 list->p[i + 1] = list->p[i];
193 res = FN(LIST(EL),alloc)(ctx, list->n + 1);
194 for (i = 0; i < pos; ++i)
195 res = FN(LIST(EL),add)(res, FN(EL,copy)(list->p[i]));
196 res = FN(LIST(EL),add)(res, el);
197 for (i = pos; i < list->n; ++i)
198 res = FN(LIST(EL),add)(res, FN(EL,copy)(list->p[i]));
199 FN(LIST(EL),free)(list);
204 FN(LIST(EL),free)(list);
208 void *FN(LIST(EL),free)(__isl_take LIST(EL) *list)
218 isl_ctx_deref(list->ctx);
219 for (i = 0; i < list->n; ++i)
220 FN(EL,free)(list->p[i]);
226 int FN(FN(LIST(EL),n),BASE)(__isl_keep LIST(EL) *list)
228 return list ? list->n : 0;
231 __isl_give EL *FN(FN(LIST(EL),get),BASE)(__isl_keep LIST(EL) *list, int index)
235 if (index < 0 || index >= list->n)
236 isl_die(list->ctx, isl_error_invalid,
237 "index out of bounds", return NULL);
238 return FN(EL,copy)(list->p[index]);
241 /* Replace the element at position "index" in "list" by "el".
243 __isl_give LIST(EL) *FN(FN(LIST(EL),set),BASE)(__isl_take LIST(EL) *list,
244 int index, __isl_take EL *el)
248 if (index < 0 || index >= list->n)
249 isl_die(list->ctx, isl_error_invalid,
250 "index out of bounds", goto error);
251 if (list->p[index] == el) {
255 list = FN(LIST(EL),cow)(list);
258 FN(EL,free)(list->p[index]);
263 FN(LIST(EL),free)(list);
267 int FN(LIST(EL),foreach)(__isl_keep LIST(EL) *list,
268 int (*fn)(__isl_take EL *el, void *user), void *user)
275 for (i = 0; i < list->n; ++i) {
276 EL *el = FN(EL,copy(list->p[i]));
279 if (fn(el, user) < 0)
286 __isl_give LIST(EL) *FN(FN(LIST(EL),from),BASE)(__isl_take EL *el)
293 ctx = FN(EL,get_ctx)(el);
294 list = FN(LIST(EL),alloc)(ctx, 1);
297 list = FN(LIST(EL),add)(list, el);
304 __isl_give LIST(EL) *FN(LIST(EL),concat)(__isl_take LIST(EL) *list1,
305 __isl_take LIST(EL) *list2)
311 if (!list1 || !list2)
314 ctx = FN(LIST(EL),get_ctx)(list1);
315 res = FN(LIST(EL),alloc)(ctx, list1->n + list2->n);
316 for (i = 0; i < list1->n; ++i)
317 res = FN(LIST(EL),add)(res, FN(EL,copy)(list1->p[i]));
318 for (i = 0; i < list2->n; ++i)
319 res = FN(LIST(EL),add)(res, FN(EL,copy)(list2->p[i]));
321 FN(LIST(EL),free)(list1);
322 FN(LIST(EL),free)(list2);
325 FN(LIST(EL),free)(list1);
326 FN(LIST(EL),free)(list2);
330 __isl_give isl_printer *CAT(isl_printer_print_,LIST(BASE))(
331 __isl_take isl_printer *p, __isl_keep LIST(EL) *list)
337 p = isl_printer_print_str(p, "(");
338 for (i = 0; i < list->n; ++i) {
340 p = isl_printer_print_str(p, ",");
341 p = CAT(isl_printer_print_,BASE)(p, list->p[i]);
343 p = isl_printer_print_str(p, ")");
350 void FN(LIST(EL),dump)(__isl_keep LIST(EL) *list)
352 isl_printer *printer;
357 printer = isl_printer_to_file(FN(LIST(EL),get_ctx)(list), stderr);
358 printer = CAT(isl_printer_print_,LIST(BASE))(printer, list);
359 printer = isl_printer_end_line(printer);
361 isl_printer_free(printer);