isl_pw_qpolynomial_fold_bound: fix handling or zero input with wrapped domain
[platform/upstream/isl.git] / isl_obj.c
1 /*
2  * Copyright 2010      INRIA Saclay
3  *
4  * Use of this software is governed by the GNU LGPLv2.1 license
5  *
6  * Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France,
7  * Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod,
8  * 91893 Orsay, France 
9  */
10
11 #include <isl_obj.h>
12
13 static void *isl_obj_map_copy(void *v)
14 {
15         return isl_map_copy((struct isl_map *)v);
16 }
17
18 static void isl_obj_map_free(void *v)
19 {
20         isl_map_free((struct isl_map *)v);
21 }
22
23 static __isl_give isl_printer *isl_obj_map_print(__isl_take isl_printer *p,
24         void *v)
25 {
26         return isl_printer_print_map(p, (struct isl_map *)v);
27 }
28
29 static void *isl_obj_map_add(void *v1, void *v2)
30 {
31         return isl_map_union((struct isl_map *)v1, (struct isl_map *)v2);
32 }
33
34 struct isl_obj_vtable isl_obj_map_vtable = {
35         isl_obj_map_copy,
36         isl_obj_map_add,
37         isl_obj_map_print,
38         isl_obj_map_free
39 };
40
41 static void *isl_obj_union_map_copy(void *v)
42 {
43         return isl_union_map_copy((isl_union_map *)v);
44 }
45
46 static void isl_obj_union_map_free(void *v)
47 {
48         isl_union_map_free((isl_union_map *)v);
49 }
50
51 static __isl_give isl_printer *isl_obj_union_map_print(__isl_take isl_printer *p,
52         void *v)
53 {
54         return isl_printer_print_union_map(p, (isl_union_map *)v);
55 }
56
57 static void *isl_obj_union_map_add(void *v1, void *v2)
58 {
59         return isl_union_map_union((isl_union_map *)v1, (isl_union_map *)v2);
60 }
61
62 struct isl_obj_vtable isl_obj_union_map_vtable = {
63         isl_obj_union_map_copy,
64         isl_obj_union_map_add,
65         isl_obj_union_map_print,
66         isl_obj_union_map_free
67 };
68
69 static void *isl_obj_set_copy(void *v)
70 {
71         return isl_set_copy((struct isl_set *)v);
72 }
73
74 static void isl_obj_set_free(void *v)
75 {
76         isl_set_free((struct isl_set *)v);
77 }
78
79 static __isl_give isl_printer *isl_obj_set_print(__isl_take isl_printer *p,
80         void *v)
81 {
82         return isl_printer_print_set(p, (struct isl_set *)v);
83 }
84
85 static void *isl_obj_set_add(void *v1, void *v2)
86 {
87         return isl_set_union((struct isl_set *)v1, (struct isl_set *)v2);
88 }
89
90 struct isl_obj_vtable isl_obj_set_vtable = {
91         isl_obj_set_copy,
92         isl_obj_set_add,
93         isl_obj_set_print,
94         isl_obj_set_free
95 };
96
97 static void *isl_obj_union_set_copy(void *v)
98 {
99         return isl_union_set_copy((isl_union_set *)v);
100 }
101
102 static void isl_obj_union_set_free(void *v)
103 {
104         isl_union_set_free((isl_union_set *)v);
105 }
106
107 static __isl_give isl_printer *isl_obj_union_set_print(__isl_take isl_printer *p,
108         void *v)
109 {
110         return isl_printer_print_union_set(p, (isl_union_set *)v);
111 }
112
113 static void *isl_obj_union_set_add(void *v1, void *v2)
114 {
115         return isl_union_set_union((isl_union_set *)v1, (isl_union_set *)v2);
116 }
117
118 struct isl_obj_vtable isl_obj_union_set_vtable = {
119         isl_obj_union_set_copy,
120         isl_obj_union_set_add,
121         isl_obj_union_set_print,
122         isl_obj_union_set_free
123 };
124
125 static void *isl_obj_none_copy(void *v)
126 {
127         return v;
128 }
129
130 static void isl_obj_none_free(void *v)
131 {
132 }
133
134 static __isl_give isl_printer *isl_obj_none_print(__isl_take isl_printer *p,
135         void *v)
136 {
137         return p;
138 }
139
140 static void *isl_obj_none_add(void *v1, void *v2)
141 {
142         return NULL;
143 }
144
145 struct isl_obj_vtable isl_obj_none_vtable = {
146         isl_obj_none_copy,
147         isl_obj_none_add,
148         isl_obj_none_print,
149         isl_obj_none_free
150 };
151
152 static void *isl_obj_pw_qp_copy(void *v)
153 {
154         return isl_pw_qpolynomial_copy((struct isl_pw_qpolynomial *)v);
155 }
156
157 static void isl_obj_pw_qp_free(void *v)
158 {
159         isl_pw_qpolynomial_free((struct isl_pw_qpolynomial *)v);
160 }
161
162 static __isl_give isl_printer *isl_obj_pw_qp_print(__isl_take isl_printer *p,
163         void *v)
164 {
165         return isl_printer_print_pw_qpolynomial(p,
166                                                 (struct isl_pw_qpolynomial *)v);
167 }
168
169 static void *isl_obj_pw_qp_add(void *v1, void *v2)
170 {
171         return isl_pw_qpolynomial_add((struct isl_pw_qpolynomial *)v1,
172                                         (struct isl_pw_qpolynomial *)v2);
173 }
174
175 struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable = {
176         isl_obj_pw_qp_copy,
177         isl_obj_pw_qp_add,
178         isl_obj_pw_qp_print,
179         isl_obj_pw_qp_free
180 };
181
182 static void *isl_obj_union_pw_qp_copy(void *v)
183 {
184         return isl_union_pw_qpolynomial_copy((struct isl_union_pw_qpolynomial *)v);
185 }
186
187 static void isl_obj_union_pw_qp_free(void *v)
188 {
189         isl_union_pw_qpolynomial_free((struct isl_union_pw_qpolynomial *)v);
190 }
191
192 static __isl_give isl_printer *isl_obj_union_pw_qp_print(
193         __isl_take isl_printer *p, void *v)
194 {
195         return isl_printer_print_union_pw_qpolynomial(p,
196                                         (struct isl_union_pw_qpolynomial *)v);
197 }
198
199 static void *isl_obj_union_pw_qp_add(void *v1, void *v2)
200 {
201         return isl_union_pw_qpolynomial_add(
202                                         (struct isl_union_pw_qpolynomial *)v1,
203                                         (struct isl_union_pw_qpolynomial *)v2);
204 }
205
206 struct isl_obj_vtable isl_obj_union_pw_qpolynomial_vtable = {
207         isl_obj_union_pw_qp_copy,
208         isl_obj_union_pw_qp_add,
209         isl_obj_union_pw_qp_print,
210         isl_obj_union_pw_qp_free
211 };
212
213 static void *isl_obj_pw_qpf_copy(void *v)
214 {
215         return isl_pw_qpolynomial_fold_copy((struct isl_pw_qpolynomial_fold *)v);
216 }
217
218 static void isl_obj_pw_qpf_free(void *v)
219 {
220         isl_pw_qpolynomial_fold_free((struct isl_pw_qpolynomial_fold *)v);
221 }
222
223 static __isl_give isl_printer *isl_obj_pw_qpf_print(__isl_take isl_printer *p,
224         void *v)
225 {
226         return isl_printer_print_pw_qpolynomial_fold(p,
227                                         (struct isl_pw_qpolynomial_fold *)v);
228 }
229
230 static void *isl_obj_pw_qpf_add(void *v1, void *v2)
231 {
232         return isl_pw_qpolynomial_fold_fold((struct isl_pw_qpolynomial_fold *)v1,
233                                             (struct isl_pw_qpolynomial_fold *)v2);
234 }
235
236 struct isl_obj_vtable isl_obj_pw_qpolynomial_fold_vtable = {
237         isl_obj_pw_qpf_copy,
238         isl_obj_pw_qpf_add,
239         isl_obj_pw_qpf_print,
240         isl_obj_pw_qpf_free
241 };
242
243 static void *isl_obj_union_pw_qpf_copy(void *v)
244 {
245         return isl_union_pw_qpolynomial_fold_copy((struct isl_union_pw_qpolynomial_fold *)v);
246 }
247
248 static void isl_obj_union_pw_qpf_free(void *v)
249 {
250         isl_union_pw_qpolynomial_fold_free((struct isl_union_pw_qpolynomial_fold *)v);
251 }
252
253 static __isl_give isl_printer *isl_obj_union_pw_qpf_print(
254         __isl_take isl_printer *p, void *v)
255 {
256         return isl_printer_print_union_pw_qpolynomial_fold(p,
257                                     (struct isl_union_pw_qpolynomial_fold *)v);
258 }
259
260 static void *isl_obj_union_pw_qpf_add(void *v1, void *v2)
261 {
262         return isl_union_pw_qpolynomial_fold_fold(
263                                     (struct isl_union_pw_qpolynomial_fold *)v1,
264                                     (struct isl_union_pw_qpolynomial_fold *)v2);
265 }
266
267 struct isl_obj_vtable isl_obj_union_pw_qpolynomial_fold_vtable = {
268         isl_obj_union_pw_qpf_copy,
269         isl_obj_union_pw_qpf_add,
270         isl_obj_union_pw_qpf_print,
271         isl_obj_union_pw_qpf_free
272 };