1 /*
2 * Copyright 2010 INRIA Saclay
3 * Copyright 2014 Ecole Normale Superieure
4 * Copyright 2014 INRIA Rocquencourt
5 *
6 * Use of this software is governed by the MIT license
7 *
8 * Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France,
9 * Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod,
10 * 91893 Orsay, France
11 * and Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France
12 * and Inria Paris - Rocquencourt, Domaine de Voluceau - Rocquencourt,
13 * B.P. 105 - 78153 Le Chesnay, France
14 */
15
16 #include <isl/val.h>
17 #include <isl/aff.h>
18 #include <isl/set.h>
19 #include <isl/map.h>
20 #include <isl/union_set.h>
21 #include <isl/union_map.h>
22 #include <isl/polynomial.h>
23 #include <isl/schedule.h>
24 #include <isl/obj.h>
25
isl_obj_val_copy(void * v)26 static void *isl_obj_val_copy(void *v)
27 {
28 return isl_val_copy((isl_val *)v);
29 }
30
isl_obj_val_free(void * v)31 static void isl_obj_val_free(void *v)
32 {
33 isl_val_free((isl_val *)v);
34 }
35
isl_obj_val_print(__isl_take isl_printer * p,void * v)36 static __isl_give isl_printer *isl_obj_val_print(__isl_take isl_printer *p,
37 void *v)
38 {
39 return isl_printer_print_val(p, (isl_val *)v);
40 }
41
isl_obj_val_add(void * v1,void * v2)42 static void *isl_obj_val_add(void *v1, void *v2)
43 {
44 return isl_val_add((isl_val *) v1, (isl_val *) v2);
45 }
46
47 struct isl_obj_vtable isl_obj_val_vtable = {
48 isl_obj_val_copy,
49 isl_obj_val_add,
50 isl_obj_val_print,
51 isl_obj_val_free
52 };
53
isl_obj_map_copy(void * v)54 static void *isl_obj_map_copy(void *v)
55 {
56 return isl_map_copy((struct isl_map *)v);
57 }
58
isl_obj_map_free(void * v)59 static void isl_obj_map_free(void *v)
60 {
61 isl_map_free((struct isl_map *)v);
62 }
63
isl_obj_map_print(__isl_take isl_printer * p,void * v)64 static __isl_give isl_printer *isl_obj_map_print(__isl_take isl_printer *p,
65 void *v)
66 {
67 return isl_printer_print_map(p, (struct isl_map *)v);
68 }
69
isl_obj_map_add(void * v1,void * v2)70 static void *isl_obj_map_add(void *v1, void *v2)
71 {
72 return isl_map_union((struct isl_map *)v1, (struct isl_map *)v2);
73 }
74
75 struct isl_obj_vtable isl_obj_map_vtable = {
76 isl_obj_map_copy,
77 isl_obj_map_add,
78 isl_obj_map_print,
79 isl_obj_map_free
80 };
81
isl_obj_union_map_copy(void * v)82 static void *isl_obj_union_map_copy(void *v)
83 {
84 return isl_union_map_copy((isl_union_map *)v);
85 }
86
isl_obj_union_map_free(void * v)87 static void isl_obj_union_map_free(void *v)
88 {
89 isl_union_map_free((isl_union_map *)v);
90 }
91
isl_obj_union_map_print(__isl_take isl_printer * p,void * v)92 static __isl_give isl_printer *isl_obj_union_map_print(__isl_take isl_printer *p,
93 void *v)
94 {
95 return isl_printer_print_union_map(p, (isl_union_map *)v);
96 }
97
isl_obj_union_map_add(void * v1,void * v2)98 static void *isl_obj_union_map_add(void *v1, void *v2)
99 {
100 return isl_union_map_union((isl_union_map *)v1, (isl_union_map *)v2);
101 }
102
103 struct isl_obj_vtable isl_obj_union_map_vtable = {
104 isl_obj_union_map_copy,
105 isl_obj_union_map_add,
106 isl_obj_union_map_print,
107 isl_obj_union_map_free
108 };
109
isl_obj_set_copy(void * v)110 static void *isl_obj_set_copy(void *v)
111 {
112 return isl_set_copy((struct isl_set *)v);
113 }
114
isl_obj_set_free(void * v)115 static void isl_obj_set_free(void *v)
116 {
117 isl_set_free((struct isl_set *)v);
118 }
119
isl_obj_set_print(__isl_take isl_printer * p,void * v)120 static __isl_give isl_printer *isl_obj_set_print(__isl_take isl_printer *p,
121 void *v)
122 {
123 return isl_printer_print_set(p, (struct isl_set *)v);
124 }
125
isl_obj_set_add(void * v1,void * v2)126 static void *isl_obj_set_add(void *v1, void *v2)
127 {
128 return isl_set_union((struct isl_set *)v1, (struct isl_set *)v2);
129 }
130
131 struct isl_obj_vtable isl_obj_set_vtable = {
132 isl_obj_set_copy,
133 isl_obj_set_add,
134 isl_obj_set_print,
135 isl_obj_set_free
136 };
137
isl_obj_union_set_copy(void * v)138 static void *isl_obj_union_set_copy(void *v)
139 {
140 return isl_union_set_copy((isl_union_set *)v);
141 }
142
isl_obj_union_set_free(void * v)143 static void isl_obj_union_set_free(void *v)
144 {
145 isl_union_set_free((isl_union_set *)v);
146 }
147
isl_obj_union_set_print(__isl_take isl_printer * p,void * v)148 static __isl_give isl_printer *isl_obj_union_set_print(__isl_take isl_printer *p,
149 void *v)
150 {
151 return isl_printer_print_union_set(p, (isl_union_set *)v);
152 }
153
isl_obj_union_set_add(void * v1,void * v2)154 static void *isl_obj_union_set_add(void *v1, void *v2)
155 {
156 return isl_union_set_union((isl_union_set *)v1, (isl_union_set *)v2);
157 }
158
159 struct isl_obj_vtable isl_obj_union_set_vtable = {
160 isl_obj_union_set_copy,
161 isl_obj_union_set_add,
162 isl_obj_union_set_print,
163 isl_obj_union_set_free
164 };
165
isl_obj_pw_multi_aff_copy(void * v)166 static void *isl_obj_pw_multi_aff_copy(void *v)
167 {
168 return isl_pw_multi_aff_copy((isl_pw_multi_aff *) v);
169 }
170
isl_obj_pw_multi_aff_free(void * v)171 static void isl_obj_pw_multi_aff_free(void *v)
172 {
173 isl_pw_multi_aff_free((isl_pw_multi_aff *) v);
174 }
175
isl_obj_pw_multi_aff_print(__isl_take isl_printer * p,void * v)176 static __isl_give isl_printer *isl_obj_pw_multi_aff_print(
177 __isl_take isl_printer *p, void *v)
178 {
179 return isl_printer_print_pw_multi_aff(p, (isl_pw_multi_aff *) v);
180 }
181
isl_obj_pw_multi_aff_add(void * v1,void * v2)182 static void *isl_obj_pw_multi_aff_add(void *v1, void *v2)
183 {
184 return isl_pw_multi_aff_add((isl_pw_multi_aff *) v1,
185 (isl_pw_multi_aff *) v2);
186 }
187
188 struct isl_obj_vtable isl_obj_pw_multi_aff_vtable = {
189 isl_obj_pw_multi_aff_copy,
190 isl_obj_pw_multi_aff_add,
191 isl_obj_pw_multi_aff_print,
192 isl_obj_pw_multi_aff_free
193 };
194
isl_obj_none_copy(void * v)195 static void *isl_obj_none_copy(void *v)
196 {
197 return v;
198 }
199
isl_obj_none_free(void * v)200 static void isl_obj_none_free(void *v)
201 {
202 }
203
isl_obj_none_print(__isl_take isl_printer * p,void * v)204 static __isl_give isl_printer *isl_obj_none_print(__isl_take isl_printer *p,
205 void *v)
206 {
207 return p;
208 }
209
isl_obj_none_add(void * v1,void * v2)210 static void *isl_obj_none_add(void *v1, void *v2)
211 {
212 return NULL;
213 }
214
215 struct isl_obj_vtable isl_obj_none_vtable = {
216 isl_obj_none_copy,
217 isl_obj_none_add,
218 isl_obj_none_print,
219 isl_obj_none_free
220 };
221
isl_obj_pw_qp_copy(void * v)222 static void *isl_obj_pw_qp_copy(void *v)
223 {
224 return isl_pw_qpolynomial_copy((struct isl_pw_qpolynomial *)v);
225 }
226
isl_obj_pw_qp_free(void * v)227 static void isl_obj_pw_qp_free(void *v)
228 {
229 isl_pw_qpolynomial_free((struct isl_pw_qpolynomial *)v);
230 }
231
isl_obj_pw_qp_print(__isl_take isl_printer * p,void * v)232 static __isl_give isl_printer *isl_obj_pw_qp_print(__isl_take isl_printer *p,
233 void *v)
234 {
235 return isl_printer_print_pw_qpolynomial(p,
236 (struct isl_pw_qpolynomial *)v);
237 }
238
isl_obj_pw_qp_add(void * v1,void * v2)239 static void *isl_obj_pw_qp_add(void *v1, void *v2)
240 {
241 return isl_pw_qpolynomial_add((struct isl_pw_qpolynomial *)v1,
242 (struct isl_pw_qpolynomial *)v2);
243 }
244
245 struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable = {
246 isl_obj_pw_qp_copy,
247 isl_obj_pw_qp_add,
248 isl_obj_pw_qp_print,
249 isl_obj_pw_qp_free
250 };
251
isl_obj_union_pw_qp_copy(void * v)252 static void *isl_obj_union_pw_qp_copy(void *v)
253 {
254 return isl_union_pw_qpolynomial_copy((struct isl_union_pw_qpolynomial *)v);
255 }
256
isl_obj_union_pw_qp_free(void * v)257 static void isl_obj_union_pw_qp_free(void *v)
258 {
259 isl_union_pw_qpolynomial_free((struct isl_union_pw_qpolynomial *)v);
260 }
261
isl_obj_union_pw_qp_print(__isl_take isl_printer * p,void * v)262 static __isl_give isl_printer *isl_obj_union_pw_qp_print(
263 __isl_take isl_printer *p, void *v)
264 {
265 return isl_printer_print_union_pw_qpolynomial(p,
266 (struct isl_union_pw_qpolynomial *)v);
267 }
268
isl_obj_union_pw_qp_add(void * v1,void * v2)269 static void *isl_obj_union_pw_qp_add(void *v1, void *v2)
270 {
271 return isl_union_pw_qpolynomial_add(
272 (struct isl_union_pw_qpolynomial *)v1,
273 (struct isl_union_pw_qpolynomial *)v2);
274 }
275
276 struct isl_obj_vtable isl_obj_union_pw_qpolynomial_vtable = {
277 isl_obj_union_pw_qp_copy,
278 isl_obj_union_pw_qp_add,
279 isl_obj_union_pw_qp_print,
280 isl_obj_union_pw_qp_free
281 };
282
isl_obj_pw_qpf_copy(void * v)283 static void *isl_obj_pw_qpf_copy(void *v)
284 {
285 return isl_pw_qpolynomial_fold_copy((struct isl_pw_qpolynomial_fold *)v);
286 }
287
isl_obj_pw_qpf_free(void * v)288 static void isl_obj_pw_qpf_free(void *v)
289 {
290 isl_pw_qpolynomial_fold_free((struct isl_pw_qpolynomial_fold *)v);
291 }
292
isl_obj_pw_qpf_print(__isl_take isl_printer * p,void * v)293 static __isl_give isl_printer *isl_obj_pw_qpf_print(__isl_take isl_printer *p,
294 void *v)
295 {
296 return isl_printer_print_pw_qpolynomial_fold(p,
297 (struct isl_pw_qpolynomial_fold *)v);
298 }
299
isl_obj_pw_qpf_add(void * v1,void * v2)300 static void *isl_obj_pw_qpf_add(void *v1, void *v2)
301 {
302 return isl_pw_qpolynomial_fold_fold((struct isl_pw_qpolynomial_fold *)v1,
303 (struct isl_pw_qpolynomial_fold *)v2);
304 }
305
306 struct isl_obj_vtable isl_obj_pw_qpolynomial_fold_vtable = {
307 isl_obj_pw_qpf_copy,
308 isl_obj_pw_qpf_add,
309 isl_obj_pw_qpf_print,
310 isl_obj_pw_qpf_free
311 };
312
isl_obj_union_pw_qpf_copy(void * v)313 static void *isl_obj_union_pw_qpf_copy(void *v)
314 {
315 return isl_union_pw_qpolynomial_fold_copy((struct isl_union_pw_qpolynomial_fold *)v);
316 }
317
isl_obj_union_pw_qpf_free(void * v)318 static void isl_obj_union_pw_qpf_free(void *v)
319 {
320 isl_union_pw_qpolynomial_fold_free((struct isl_union_pw_qpolynomial_fold *)v);
321 }
322
isl_obj_union_pw_qpf_print(__isl_take isl_printer * p,void * v)323 static __isl_give isl_printer *isl_obj_union_pw_qpf_print(
324 __isl_take isl_printer *p, void *v)
325 {
326 return isl_printer_print_union_pw_qpolynomial_fold(p,
327 (struct isl_union_pw_qpolynomial_fold *)v);
328 }
329
isl_obj_union_pw_qpf_add(void * v1,void * v2)330 static void *isl_obj_union_pw_qpf_add(void *v1, void *v2)
331 {
332 return isl_union_pw_qpolynomial_fold_fold(
333 (struct isl_union_pw_qpolynomial_fold *)v1,
334 (struct isl_union_pw_qpolynomial_fold *)v2);
335 }
336
337 struct isl_obj_vtable isl_obj_union_pw_qpolynomial_fold_vtable = {
338 isl_obj_union_pw_qpf_copy,
339 isl_obj_union_pw_qpf_add,
340 isl_obj_union_pw_qpf_print,
341 isl_obj_union_pw_qpf_free
342 };
343
isl_obj_schedule_copy(void * v)344 static void *isl_obj_schedule_copy(void *v)
345 {
346 return isl_schedule_copy((isl_schedule *) v);
347 }
348
isl_obj_schedule_free(void * v)349 static void isl_obj_schedule_free(void *v)
350 {
351 isl_schedule_free((isl_schedule *) v);
352 }
353
isl_obj_schedule_print(__isl_take isl_printer * p,void * v)354 static __isl_give isl_printer *isl_obj_schedule_print(
355 __isl_take isl_printer *p, void *v)
356 {
357 return isl_printer_print_schedule(p, (isl_schedule *) v);
358 }
359
360 struct isl_obj_vtable isl_obj_schedule_vtable = {
361 isl_obj_schedule_copy,
362 NULL,
363 isl_obj_schedule_print,
364 isl_obj_schedule_free
365 };
366