nexmon – Blame information for rev 1

Subversion Repositories:
Rev:
Rev Author Line No. Line
1 office 1 /*
2 * Copyright 2008-2009 Katholieke Universiteit Leuven
3 * Copyright 2011 INRIA Saclay
4 *
5 * Use of this software is governed by the GNU LGPLv2.1 license
6 *
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
11 */
12  
13 #define xCAT(A,B) A ## B
14 #define CAT(A,B) xCAT(A,B)
15 #undef EL
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)
21  
22 isl_ctx *FN(LIST(EL),get_ctx)(__isl_keep LIST(EL) *list)
23 {
24 return list ? list->ctx : NULL;
25 }
26  
27 __isl_give LIST(EL) *FN(LIST(EL),alloc)(isl_ctx *ctx, int n)
28 {
29 LIST(EL) *list;
30  
31 if (n < 0)
32 isl_die(ctx, isl_error_invalid,
33 "cannot create list of negative length",
34 return NULL);
35 list = isl_alloc(ctx, LIST(EL),
36 sizeof(LIST(EL)) + (n - 1) * sizeof(struct EL *));
37 if (!list)
38 return NULL;
39  
40 list->ctx = ctx;
41 isl_ctx_ref(ctx);
42 list->ref = 1;
43 list->size = n;
44 list->n = 0;
45 return list;
46 }
47  
48 __isl_give LIST(EL) *FN(LIST(EL),copy)(__isl_keep LIST(EL) *list)
49 {
50 if (!list)
51 return NULL;
52  
53 list->ref++;
54 return list;
55 }
56  
57 __isl_give LIST(EL) *FN(LIST(EL),dup)(__isl_keep LIST(EL) *list)
58 {
59 int i;
60 LIST(EL) *dup;
61  
62 if (!list)
63 return NULL;
64  
65 dup = FN(LIST(EL),alloc)(FN(LIST(EL),get_ctx)(list), list->n);
66 if (!dup)
67 return NULL;
68 for (i = 0; i < list->n; ++i)
69 dup = FN(LIST(EL),add)(dup, FN(EL,copy)(list->p[i]));
70 return dup;
71 }
72  
73 __isl_give LIST(EL) *FN(LIST(EL),add)(__isl_take LIST(EL) *list,
74 __isl_take struct EL *el)
75 {
76 if (!list || !el)
77 goto error;
78 isl_assert(list->ctx, list->n < list->size, goto error);
79 list->p[list->n] = el;
80 list->n++;
81 return list;
82 error:
83 FN(EL,free)(el);
84 FN(LIST(EL),free)(list);
85 return NULL;
86 }
87  
88 void *FN(LIST(EL),free)(__isl_take LIST(EL) *list)
89 {
90 int i;
91  
92 if (!list)
93 return NULL;
94  
95 if (--list->ref > 0)
96 return NULL;
97  
98 isl_ctx_deref(list->ctx);
99 for (i = 0; i < list->n; ++i)
100 FN(EL,free)(list->p[i]);
101 free(list);
102  
103 return NULL;
104 }
105  
106 int FN(FN(LIST(EL),n),BASE)(__isl_keep LIST(EL) *list)
107 {
108 return list ? list->n : 0;
109 }
110  
111 __isl_give EL *FN(FN(LIST(EL),get),BASE)(__isl_keep LIST(EL) *list, int index)
112 {
113 if (!list)
114 return NULL;
115 if (index < 0 || index >= list->n)
116 isl_die(list->ctx, isl_error_invalid,
117 "index out of bounds", return NULL);
118 return FN(EL,copy)(list->p[index]);
119 }
120  
121 int FN(LIST(EL),foreach)(__isl_keep LIST(EL) *list,
122 int (*fn)(__isl_take EL *el, void *user), void *user)
123 {
124 int i;
125  
126 if (!list)
127 return -1;
128  
129 for (i = 0; i < list->n; ++i) {
130 EL *el = FN(EL,copy(list->p[i]));
131 if (!el)
132 return -1;
133 if (fn(el, user) < 0)
134 return -1;
135 }
136  
137 return 0;
138 }
139  
140 __isl_give LIST(EL) *FN(FN(LIST(EL),from),BASE)(__isl_take EL *el)
141 {
142 isl_ctx *ctx;
143 LIST(EL) *list;
144  
145 if (!el)
146 return NULL;
147 ctx = FN(EL,get_ctx)(el);
148 list = FN(LIST(EL),alloc)(ctx, 1);
149 if (!list)
150 goto error;
151 list = FN(LIST(EL),add)(list, el);
152 return list;
153 error:
154 FN(EL,free)(el);
155 return NULL;
156 }
157  
158 __isl_give LIST(EL) *FN(LIST(EL),concat)(__isl_take LIST(EL) *list1,
159 __isl_take LIST(EL) *list2)
160 {
161 int i;
162 isl_ctx *ctx;
163 LIST(EL) *res;
164  
165 if (!list1 || !list2)
166 goto error;
167  
168 ctx = FN(LIST(EL),get_ctx)(list1);
169 res = FN(LIST(EL),alloc)(ctx, list1->n + list2->n);
170 for (i = 0; i < list1->n; ++i)
171 res = FN(LIST(EL),add)(res, FN(EL,copy)(list1->p[i]));
172 for (i = 0; i < list2->n; ++i)
173 res = FN(LIST(EL),add)(res, FN(EL,copy)(list2->p[i]));
174  
175 FN(LIST(EL),free)(list1);
176 FN(LIST(EL),free)(list2);
177 return res;
178 error:
179 FN(LIST(EL),free)(list1);
180 FN(LIST(EL),free)(list2);
181 return NULL;
182 }
183  
184 __isl_give isl_printer *CAT(isl_printer_print_,LIST(BASE))(
185 __isl_take isl_printer *p, __isl_keep LIST(EL) *list)
186 {
187 int i;
188  
189 if (!p || !list)
190 goto error;
191 p = isl_printer_print_str(p, "(");
192 for (i = 0; i < list->n; ++i) {
193 if (i)
194 p = isl_printer_print_str(p, ",");
195 p = CAT(isl_printer_print_,BASE)(p, list->p[i]);
196 }
197 p = isl_printer_print_str(p, ")");
198 return p;
199 error:
200 isl_printer_free(p);
201 return NULL;
202 }
203  
204 void FN(LIST(EL),dump)(__isl_keep LIST(EL) *list)
205 {
206 isl_printer *printer;
207  
208 if (!list)
209 return;
210  
211 printer = isl_printer_to_file(FN(LIST(EL),get_ctx)(list), stderr);
212 printer = CAT(isl_printer_print_,LIST(BASE))(printer, list);
213 printer = isl_printer_end_line(printer);
214  
215 isl_printer_free(printer);
216 }