add isl_*_list_swap
[isl.git] / isl_list_templ.c
blob116e512fc58c83fffd1bae56647f944f6dfac099
1 /*
2 * Copyright 2008-2009 Katholieke Universiteit Leuven
3 * Copyright 2011 INRIA Saclay
4 * Copyright 2012-2013 Ecole Normale Superieure
5 * Copyright 2017 Sven Verdoolaege
7 * Use of this software is governed by the MIT license
9 * Written by Sven Verdoolaege, K.U.Leuven, Departement
10 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
11 * and INRIA Saclay - Ile-de-France, Parc Club Orsay Universite,
12 * ZAC des vignes, 4 rue Jacques Monod, 91893 Orsay, France
13 * and Ecole Normale Superieure, 45 rue d’Ulm, 75230 Paris, France
16 #include <isl_sort.h>
17 #include <isl_tarjan.h>
18 #include <isl/printer.h>
20 #define xCAT(A,B) A ## B
21 #define CAT(A,B) xCAT(A,B)
22 #undef EL
23 #define EL CAT(isl_,BASE)
24 #define xFN(TYPE,NAME) TYPE ## _ ## NAME
25 #define FN(TYPE,NAME) xFN(TYPE,NAME)
26 #define xLIST(EL) EL ## _list
27 #define LIST(EL) xLIST(EL)
28 #define xS(TYPE,NAME) struct TYPE ## _ ## NAME
29 #define S(TYPE,NAME) xS(TYPE,NAME)
31 isl_ctx *FN(LIST(EL),get_ctx)(__isl_keep LIST(EL) *list)
33 return list ? list->ctx : NULL;
36 __isl_give LIST(EL) *FN(LIST(EL),alloc)(isl_ctx *ctx, int n)
38 LIST(EL) *list;
40 if (n < 0)
41 isl_die(ctx, isl_error_invalid,
42 "cannot create list of negative length",
43 return NULL);
44 list = isl_alloc(ctx, LIST(EL),
45 sizeof(LIST(EL)) + (n - 1) * sizeof(struct EL *));
46 if (!list)
47 return NULL;
49 list->ctx = ctx;
50 isl_ctx_ref(ctx);
51 list->ref = 1;
52 list->size = n;
53 list->n = 0;
54 return list;
57 __isl_give LIST(EL) *FN(LIST(EL),copy)(__isl_keep LIST(EL) *list)
59 if (!list)
60 return NULL;
62 list->ref++;
63 return list;
66 __isl_give LIST(EL) *FN(LIST(EL),dup)(__isl_keep LIST(EL) *list)
68 int i;
69 LIST(EL) *dup;
71 if (!list)
72 return NULL;
74 dup = FN(LIST(EL),alloc)(FN(LIST(EL),get_ctx)(list), list->n);
75 if (!dup)
76 return NULL;
77 for (i = 0; i < list->n; ++i)
78 dup = FN(LIST(EL),add)(dup, FN(EL,copy)(list->p[i]));
79 return dup;
82 __isl_give LIST(EL) *FN(LIST(EL),cow)(__isl_take LIST(EL) *list)
84 if (!list)
85 return NULL;
87 if (list->ref == 1)
88 return list;
89 list->ref--;
90 return FN(LIST(EL),dup)(list);
93 /* Make sure "list" has room for at least "n" more pieces.
94 * Always return a list with a single reference.
96 * If there is only one reference to list, we extend it in place.
97 * Otherwise, we create a new LIST(EL) and copy the elements.
99 static __isl_give LIST(EL) *FN(LIST(EL),grow)(__isl_take LIST(EL) *list, int n)
101 isl_ctx *ctx;
102 int i, new_size;
103 LIST(EL) *res;
105 if (!list)
106 return NULL;
107 if (list->ref == 1 && list->n + n <= list->size)
108 return list;
110 ctx = FN(LIST(EL),get_ctx)(list);
111 new_size = ((list->n + n + 1) * 3) / 2;
112 if (list->ref == 1) {
113 res = isl_realloc(ctx, list, LIST(EL),
114 sizeof(LIST(EL)) + (new_size - 1) * sizeof(EL *));
115 if (!res)
116 return FN(LIST(EL),free)(list);
117 res->size = new_size;
118 return res;
121 if (list->n + n <= list->size && list->size < new_size)
122 new_size = list->size;
124 res = FN(LIST(EL),alloc)(ctx, new_size);
125 if (!res)
126 return FN(LIST(EL),free)(list);
128 for (i = 0; i < list->n; ++i)
129 res = FN(LIST(EL),add)(res, FN(EL,copy)(list->p[i]));
131 FN(LIST(EL),free)(list);
132 return res;
135 /* Check that "index" is a valid position in "list".
137 static isl_stat FN(LIST(EL),check_index)(__isl_keep LIST(EL) *list, int index)
139 if (!list)
140 return isl_stat_error;
141 if (index < 0 || index >= list->n)
142 isl_die(FN(LIST(EL),get_ctx)(list), isl_error_invalid,
143 "index out of bounds", return isl_stat_error);
144 return isl_stat_ok;
147 __isl_give LIST(EL) *FN(LIST(EL),add)(__isl_take LIST(EL) *list,
148 __isl_take struct EL *el)
150 list = FN(LIST(EL),grow)(list, 1);
151 if (!list || !el)
152 goto error;
153 list->p[list->n] = el;
154 list->n++;
155 return list;
156 error:
157 FN(EL,free)(el);
158 FN(LIST(EL),free)(list);
159 return NULL;
162 /* Remove the "n" elements starting at "first" from "list".
164 __isl_give LIST(EL) *FN(LIST(EL),drop)(__isl_take LIST(EL) *list,
165 unsigned first, unsigned n)
167 int i;
169 if (!list)
170 return NULL;
171 if (first + n > list->n || first + n < first)
172 isl_die(list->ctx, isl_error_invalid,
173 "index out of bounds", return FN(LIST(EL),free)(list));
174 if (n == 0)
175 return list;
176 list = FN(LIST(EL),cow)(list);
177 if (!list)
178 return NULL;
179 for (i = 0; i < n; ++i)
180 FN(EL,free)(list->p[first + i]);
181 for (i = first; i + n < list->n; ++i)
182 list->p[i] = list->p[i + n];
183 list->n -= n;
184 return list;
187 /* Insert "el" at position "pos" in "list".
189 * If there is only one reference to "list" and if it already has space
190 * for one extra element, we insert it directly into "list".
191 * Otherwise, we create a new list consisting of "el" and copied
192 * elements from "list".
194 __isl_give LIST(EL) *FN(LIST(EL),insert)(__isl_take LIST(EL) *list,
195 unsigned pos, __isl_take struct EL *el)
197 int i;
198 isl_ctx *ctx;
199 LIST(EL) *res;
201 if (!list || !el)
202 goto error;
203 ctx = FN(LIST(EL),get_ctx)(list);
204 if (pos > list->n)
205 isl_die(ctx, isl_error_invalid,
206 "index out of bounds", goto error);
208 if (list->ref == 1 && list->size > list->n) {
209 for (i = list->n; i > pos; --i)
210 list->p[i] = list->p[i - 1];
211 list->n++;
212 list->p[pos] = el;
213 return list;
216 res = FN(LIST(EL),alloc)(ctx, list->n + 1);
217 for (i = 0; i < pos; ++i)
218 res = FN(LIST(EL),add)(res, FN(EL,copy)(list->p[i]));
219 res = FN(LIST(EL),add)(res, el);
220 for (i = pos; i < list->n; ++i)
221 res = FN(LIST(EL),add)(res, FN(EL,copy)(list->p[i]));
222 FN(LIST(EL),free)(list);
224 return res;
225 error:
226 FN(EL,free)(el);
227 FN(LIST(EL),free)(list);
228 return NULL;
231 __isl_null LIST(EL) *FN(LIST(EL),free)(__isl_take LIST(EL) *list)
233 int i;
235 if (!list)
236 return NULL;
238 if (--list->ref > 0)
239 return NULL;
241 isl_ctx_deref(list->ctx);
242 for (i = 0; i < list->n; ++i)
243 FN(EL,free)(list->p[i]);
244 free(list);
246 return NULL;
249 /* Return the number of elements in "list".
251 int FN(LIST(EL),size)(__isl_keep LIST(EL) *list)
253 return list ? list->n : 0;
256 /* This is an alternative name for the function above.
258 int FN(FN(LIST(EL),n),BASE)(__isl_keep LIST(EL) *list)
260 return FN(LIST(EL),size)(list);
263 /* Return the element at position "index" in "list".
265 static __isl_keep EL *FN(LIST(EL),peek)(__isl_keep LIST(EL) *list, int index)
267 if (FN(LIST(EL),check_index)(list, index) < 0)
268 return NULL;
269 return list->p[index];
272 /* Return a copy of the element at position "index" in "list".
274 __isl_give EL *FN(LIST(EL),get_at)(__isl_keep LIST(EL) *list, int index)
276 return FN(EL,copy)(FN(LIST(EL),peek)(list, index));
279 /* This is an alternative name for the function above.
281 __isl_give EL *FN(FN(LIST(EL),get),BASE)(__isl_keep LIST(EL) *list, int index)
283 return FN(LIST(EL),get_at)(list, index);
286 /* Replace the element at position "index" in "list" by "el".
288 __isl_give LIST(EL) *FN(FN(LIST(EL),set),BASE)(__isl_take LIST(EL) *list,
289 int index, __isl_take EL *el)
291 if (!list || !el)
292 goto error;
293 if (FN(LIST(EL),check_index)(list, index) < 0)
294 goto error;
295 if (list->p[index] == el) {
296 FN(EL,free)(el);
297 return list;
299 list = FN(LIST(EL),cow)(list);
300 if (!list)
301 goto error;
302 FN(EL,free)(list->p[index]);
303 list->p[index] = el;
304 return list;
305 error:
306 FN(EL,free)(el);
307 FN(LIST(EL),free)(list);
308 return NULL;
311 /* Return the element at position "index" of "list".
312 * This may be either a copy or the element itself
313 * if there is only one reference to "list".
314 * This allows the element to be modified inplace
315 * if both the list and the element have only a single reference.
316 * The caller is not allowed to modify "list" between
317 * this call to isl_list_*_take_* and a subsequent call
318 * to isl_list_*_restore_*.
319 * The only exception is that isl_list_*_free can be called instead.
321 static __isl_give EL *FN(FN(LIST(EL),take),BASE)(__isl_keep LIST(EL) *list,
322 int index)
324 EL *el;
326 if (FN(LIST(EL),check_index)(list, index) < 0)
327 return NULL;
328 if (list->ref != 1)
329 return FN(FN(LIST(EL),get),BASE)(list, index);
330 el = list->p[index];
331 list->p[index] = NULL;
332 return el;
335 /* Set the element at position "index" of "list" to "el",
336 * where the position may be empty due to a previous call
337 * to isl_list_*_take_*.
339 static __isl_give LIST(EL) *FN(FN(LIST(EL),restore),BASE)(
340 __isl_take LIST(EL) *list, int index, __isl_take EL *el)
342 return FN(FN(LIST(EL),set),BASE)(list, index, el);
345 /* Swap the elements of "list" in positions "pos1" and "pos2".
347 __isl_give LIST(EL) *FN(LIST(EL),swap)(__isl_take LIST(EL) *list,
348 unsigned pos1, unsigned pos2)
350 EL *el1, *el2;
352 if (pos1 == pos2)
353 return list;
354 el1 = FN(FN(LIST(EL),take),BASE)(list, pos1);
355 el2 = FN(FN(LIST(EL),take),BASE)(list, pos2);
356 list = FN(FN(LIST(EL),restore),BASE)(list, pos1, el2);
357 list = FN(FN(LIST(EL),restore),BASE)(list, pos2, el1);
358 return list;
361 isl_stat FN(LIST(EL),foreach)(__isl_keep LIST(EL) *list,
362 isl_stat (*fn)(__isl_take EL *el, void *user), void *user)
364 int i;
366 if (!list)
367 return isl_stat_error;
369 for (i = 0; i < list->n; ++i) {
370 EL *el = FN(EL,copy)(list->p[i]);
371 if (!el)
372 return isl_stat_error;
373 if (fn(el, user) < 0)
374 return isl_stat_error;
377 return isl_stat_ok;
380 /* Replace each element in "list" by the result of calling "fn"
381 * on the element.
383 __isl_give LIST(EL) *FN(LIST(EL),map)(__isl_keep LIST(EL) *list,
384 __isl_give EL *(*fn)(__isl_take EL *el, void *user), void *user)
386 int i, n;
388 if (!list)
389 return NULL;
391 n = list->n;
392 for (i = 0; i < n; ++i) {
393 EL *el = FN(FN(LIST(EL),take),BASE)(list, i);
394 if (!el)
395 return FN(LIST(EL),free)(list);
396 el = fn(el, user);
397 list = FN(FN(LIST(EL),restore),BASE)(list, i, el);
400 return list;
403 /* Internal data structure for isl_*_list_sort.
405 * "cmp" is the original comparison function.
406 * "user" is a user provided pointer that should be passed to "cmp".
408 S(LIST(EL),sort_data) {
409 int (*cmp)(__isl_keep EL *a, __isl_keep EL *b, void *user);
410 void *user;
413 /* Compare two entries of an isl_*_list based on the user provided
414 * comparison function on pairs of isl_* objects.
416 static int FN(LIST(EL),cmp)(const void *a, const void *b, void *user)
418 S(LIST(EL),sort_data) *data = user;
419 EL * const *el1 = a;
420 EL * const *el2 = b;
422 return data->cmp(*el1, *el2, data->user);
425 /* Sort the elements of "list" in ascending order according to
426 * comparison function "cmp".
428 __isl_give LIST(EL) *FN(LIST(EL),sort)(__isl_take LIST(EL) *list,
429 int (*cmp)(__isl_keep EL *a, __isl_keep EL *b, void *user), void *user)
431 S(LIST(EL),sort_data) data = { cmp, user };
433 if (!list)
434 return NULL;
435 if (list->n <= 1)
436 return list;
437 list = FN(LIST(EL),cow)(list);
438 if (!list)
439 return NULL;
441 if (isl_sort(list->p, list->n, sizeof(list->p[0]),
442 &FN(LIST(EL),cmp), &data) < 0)
443 return FN(LIST(EL),free)(list);
445 return list;
448 /* Internal data structure for isl_*_list_foreach_scc.
450 * "list" is the original list.
451 * "follows" is the user provided callback that defines the edges of the graph.
453 S(LIST(EL),foreach_scc_data) {
454 LIST(EL) *list;
455 isl_bool (*follows)(__isl_keep EL *a, __isl_keep EL *b, void *user);
456 void *follows_user;
459 /* Does element i of data->list follow element j?
461 * Use the user provided callback to find out.
463 static isl_bool FN(LIST(EL),follows)(int i, int j, void *user)
465 S(LIST(EL),foreach_scc_data) *data = user;
467 return data->follows(data->list->p[i], data->list->p[j],
468 data->follows_user);
471 /* Call "fn" on the sublist of "list" that consists of the elements
472 * with indices specified by the "n" elements of "pos".
474 static isl_stat FN(LIST(EL),call_on_scc)(__isl_keep LIST(EL) *list, int *pos,
475 int n, isl_stat (*fn)(__isl_take LIST(EL) *scc, void *user), void *user)
477 int i;
478 isl_ctx *ctx;
479 LIST(EL) *slice;
481 ctx = FN(LIST(EL),get_ctx)(list);
482 slice = FN(LIST(EL),alloc)(ctx, n);
483 for (i = 0; i < n; ++i) {
484 EL *el;
486 el = FN(EL,copy)(list->p[pos[i]]);
487 slice = FN(LIST(EL),add)(slice, el);
490 return fn(slice, user);
493 /* Call "fn" on each of the strongly connected components (SCCs) of
494 * the graph with as vertices the elements of "list" and
495 * a directed edge from node b to node a iff follows(a, b)
496 * returns 1. follows should return -1 on error.
498 * If SCC a contains a node i that follows a node j in another SCC b
499 * (i.e., follows(i, j, user) returns 1), then fn will be called on SCC a
500 * after being called on SCC b.
502 * We simply call isl_tarjan_graph_init, extract the SCCs from the result and
503 * call fn on each of them.
505 isl_stat FN(LIST(EL),foreach_scc)(__isl_keep LIST(EL) *list,
506 isl_bool (*follows)(__isl_keep EL *a, __isl_keep EL *b, void *user),
507 void *follows_user,
508 isl_stat (*fn)(__isl_take LIST(EL) *scc, void *user), void *fn_user)
510 S(LIST(EL),foreach_scc_data) data = { list, follows, follows_user };
511 int i, n;
512 isl_ctx *ctx;
513 struct isl_tarjan_graph *g;
515 if (!list)
516 return isl_stat_error;
517 if (list->n == 0)
518 return isl_stat_ok;
519 if (list->n == 1)
520 return fn(FN(LIST(EL),copy)(list), fn_user);
522 ctx = FN(LIST(EL),get_ctx)(list);
523 n = list->n;
524 g = isl_tarjan_graph_init(ctx, n, &FN(LIST(EL),follows), &data);
525 if (!g)
526 return isl_stat_error;
528 i = 0;
529 do {
530 int first;
532 if (g->order[i] == -1)
533 isl_die(ctx, isl_error_internal, "cannot happen",
534 break);
535 first = i;
536 while (g->order[i] != -1) {
537 ++i; --n;
539 if (first == 0 && n == 0) {
540 isl_tarjan_graph_free(g);
541 return fn(FN(LIST(EL),copy)(list), fn_user);
543 if (FN(LIST(EL),call_on_scc)(list, g->order + first, i - first,
544 fn, fn_user) < 0)
545 break;
546 ++i;
547 } while (n);
549 isl_tarjan_graph_free(g);
551 return n > 0 ? isl_stat_error : isl_stat_ok;
554 __isl_give LIST(EL) *FN(FN(LIST(EL),from),BASE)(__isl_take EL *el)
556 isl_ctx *ctx;
557 LIST(EL) *list;
559 if (!el)
560 return NULL;
561 ctx = FN(EL,get_ctx)(el);
562 list = FN(LIST(EL),alloc)(ctx, 1);
563 if (!list)
564 goto error;
565 list = FN(LIST(EL),add)(list, el);
566 return list;
567 error:
568 FN(EL,free)(el);
569 return NULL;
572 /* Append the elements of "list2" to "list1", where "list1" is known
573 * to have only a single reference and enough room to hold
574 * the extra elements.
576 static __isl_give LIST(EL) *FN(LIST(EL),concat_inplace)(
577 __isl_take LIST(EL) *list1, __isl_take LIST(EL) *list2)
579 int i;
581 for (i = 0; i < list2->n; ++i)
582 list1 = FN(LIST(EL),add)(list1, FN(EL,copy)(list2->p[i]));
583 FN(LIST(EL),free)(list2);
584 return list1;
587 /* Concatenate "list1" and "list2".
588 * If "list1" has only one reference and has enough room
589 * for the elements of "list2", the add the elements to "list1" itself.
590 * Otherwise, create a new list to store the result.
592 __isl_give LIST(EL) *FN(LIST(EL),concat)(__isl_take LIST(EL) *list1,
593 __isl_take LIST(EL) *list2)
595 int i;
596 isl_ctx *ctx;
597 LIST(EL) *res;
599 if (!list1 || !list2)
600 goto error;
602 if (list1->ref == 1 && list1->n + list2->n <= list1->size)
603 return FN(LIST(EL),concat_inplace)(list1, list2);
605 ctx = FN(LIST(EL),get_ctx)(list1);
606 res = FN(LIST(EL),alloc)(ctx, list1->n + list2->n);
607 for (i = 0; i < list1->n; ++i)
608 res = FN(LIST(EL),add)(res, FN(EL,copy)(list1->p[i]));
609 for (i = 0; i < list2->n; ++i)
610 res = FN(LIST(EL),add)(res, FN(EL,copy)(list2->p[i]));
612 FN(LIST(EL),free)(list1);
613 FN(LIST(EL),free)(list2);
614 return res;
615 error:
616 FN(LIST(EL),free)(list1);
617 FN(LIST(EL),free)(list2);
618 return NULL;
621 __isl_give isl_printer *CAT(isl_printer_print_,LIST(BASE))(
622 __isl_take isl_printer *p, __isl_keep LIST(EL) *list)
624 int i;
626 if (!p || !list)
627 goto error;
628 p = isl_printer_print_str(p, "(");
629 for (i = 0; i < list->n; ++i) {
630 if (i)
631 p = isl_printer_print_str(p, ",");
632 p = CAT(isl_printer_print_,BASE)(p, list->p[i]);
634 p = isl_printer_print_str(p, ")");
635 return p;
636 error:
637 isl_printer_free(p);
638 return NULL;
641 void FN(LIST(EL),dump)(__isl_keep LIST(EL) *list)
643 isl_printer *printer;
645 if (!list)
646 return;
648 printer = isl_printer_to_file(FN(LIST(EL),get_ctx)(list), stderr);
649 printer = CAT(isl_printer_print_,LIST(BASE))(printer, list);
650 printer = isl_printer_end_line(printer);
652 isl_printer_free(printer);