2 * Copyright 2008-2009 Katholieke Universiteit Leuven
3 * Copyright 2011 INRIA Saclay
5 * Use of this software is governed by the GNU LGPLv2.1 license
7 * Written by Sven Verdoolaege, K.U.Leuven, Departement
8 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
9 * and INRIA Saclay - Ile-de-France, Parc Club Orsay Universite,
10 * ZAC des vignes, 4 rue Jacques Monod, 91893 Orsay, France
13 #define xCAT(A,B) A ## B
14 #define CAT(A,B) xCAT(A,B)
16 #define EL CAT(isl_,BASE)
17 #define xFN(TYPE,NAME) TYPE ## _ ## NAME
18 #define FN(TYPE,NAME) xFN(TYPE,NAME)
19 #define xLIST(EL) EL ## _list
20 #define LIST(EL) xLIST(EL)
22 isl_ctx *FN(LIST(EL),get_ctx)(__isl_keep LIST(EL) *list)
24 return list ? list->ctx : NULL;
27 __isl_give LIST(EL) *FN(LIST(EL),alloc)(isl_ctx *ctx, int n)
32 isl_die(ctx, isl_error_invalid,
33 "cannot create list of negative length",
35 list = isl_alloc(ctx, LIST(EL),
36 sizeof(LIST(EL)) + (n - 1) * sizeof(struct EL *));
48 __isl_give LIST(EL) *FN(LIST(EL),copy)(__isl_keep LIST(EL) *list)
57 __isl_give LIST(EL) *FN(LIST(EL),dup)(__isl_keep LIST(EL) *list)
65 dup = FN(LIST(EL),alloc)(FN(LIST(EL),get_ctx)(list), list->n);
68 for (i = 0; i < list->n; ++i)
69 dup = FN(LIST(EL),add)(dup, FN(EL,copy)(list->p[i]));
73 __isl_give LIST(EL) *FN(LIST(EL),cow)(__isl_take LIST(EL) *list)
81 return FN(LIST(EL),dup)(list);
84 /* Make sure "list" has room for at least "n" more pieces.
86 * If there is only one reference to list, we extend it in place.
87 * Otherwise, we create a new LIST(EL) and copy the elements.
89 static __isl_give LIST(EL) *FN(LIST(EL),grow)(__isl_take LIST(EL) *list, int n)
97 if (list->n + n <= list->size)
100 ctx = FN(LIST(EL),get_ctx)(list);
101 new_size = ((list->n + n + 1) * 3) / 2;
102 if (list->ref == 1) {
103 res = isl_realloc(ctx, list, LIST(EL),
104 sizeof(LIST(EL)) + (new_size - 1) * sizeof(EL *));
106 return FN(LIST(EL),free)(list);
107 res->size = new_size;
111 res = FN(LIST(EL),alloc)(ctx, new_size);
113 return FN(LIST(EL),free)(list);
115 for (i = 0; i < list->n; ++i)
116 res = FN(LIST(EL),add)(res, FN(EL,copy)(list->p[i]));
118 FN(LIST(EL),free)(list);
122 __isl_give LIST(EL) *FN(LIST(EL),add)(__isl_take LIST(EL) *list,
123 __isl_take struct EL *el)
125 list = FN(LIST(EL),grow)(list, 1);
128 list->p[list->n] = el;
133 FN(LIST(EL),free)(list);
137 void *FN(LIST(EL),free)(__isl_take LIST(EL) *list)
147 isl_ctx_deref(list->ctx);
148 for (i = 0; i < list->n; ++i)
149 FN(EL,free)(list->p[i]);
155 int FN(FN(LIST(EL),n),BASE)(__isl_keep LIST(EL) *list)
157 return list ? list->n : 0;
160 __isl_give EL *FN(FN(LIST(EL),get),BASE)(__isl_keep LIST(EL) *list, int index)
164 if (index < 0 || index >= list->n)
165 isl_die(list->ctx, isl_error_invalid,
166 "index out of bounds", return NULL);
167 return FN(EL,copy)(list->p[index]);
170 /* Replace the element at position "index" in "list" by "el".
172 __isl_give LIST(EL) *FN(FN(LIST(EL),set),BASE)(__isl_take LIST(EL) *list,
173 int index, __isl_take EL *el)
177 if (index < 0 || index >= list->n)
178 isl_die(list->ctx, isl_error_invalid,
179 "index out of bounds", goto error);
180 if (list->p[index] == el) {
184 list = FN(LIST(EL),cow)(list);
187 FN(EL,free)(list->p[index]);
192 FN(LIST(EL),free)(list);
196 int FN(LIST(EL),foreach)(__isl_keep LIST(EL) *list,
197 int (*fn)(__isl_take EL *el, void *user), void *user)
204 for (i = 0; i < list->n; ++i) {
205 EL *el = FN(EL,copy(list->p[i]));
208 if (fn(el, user) < 0)
215 __isl_give LIST(EL) *FN(FN(LIST(EL),from),BASE)(__isl_take EL *el)
222 ctx = FN(EL,get_ctx)(el);
223 list = FN(LIST(EL),alloc)(ctx, 1);
226 list = FN(LIST(EL),add)(list, el);
233 __isl_give LIST(EL) *FN(LIST(EL),concat)(__isl_take LIST(EL) *list1,
234 __isl_take LIST(EL) *list2)
240 if (!list1 || !list2)
243 ctx = FN(LIST(EL),get_ctx)(list1);
244 res = FN(LIST(EL),alloc)(ctx, list1->n + list2->n);
245 for (i = 0; i < list1->n; ++i)
246 res = FN(LIST(EL),add)(res, FN(EL,copy)(list1->p[i]));
247 for (i = 0; i < list2->n; ++i)
248 res = FN(LIST(EL),add)(res, FN(EL,copy)(list2->p[i]));
250 FN(LIST(EL),free)(list1);
251 FN(LIST(EL),free)(list2);
254 FN(LIST(EL),free)(list1);
255 FN(LIST(EL),free)(list2);
259 __isl_give isl_printer *CAT(isl_printer_print_,LIST(BASE))(
260 __isl_take isl_printer *p, __isl_keep LIST(EL) *list)
266 p = isl_printer_print_str(p, "(");
267 for (i = 0; i < list->n; ++i) {
269 p = isl_printer_print_str(p, ",");
270 p = CAT(isl_printer_print_,BASE)(p, list->p[i]);
272 p = isl_printer_print_str(p, ")");
279 void FN(LIST(EL),dump)(__isl_keep LIST(EL) *list)
281 isl_printer *printer;
286 printer = isl_printer_to_file(FN(LIST(EL),get_ctx)(list), stderr);
287 printer = CAT(isl_printer_print_,LIST(BASE))(printer, list);
288 printer = isl_printer_end_line(printer);
290 isl_printer_free(printer);