Home | History | Annotate | Line # | Download | only in dist 
      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 
     26 static void *isl_obj_val_copy(void *v)
     27 {
     28 	return isl_val_copy((isl_val *)v);
     29 }
     30 
     31 static void isl_obj_val_free(void *v)
     32 {
     33 	isl_val_free((isl_val *)v);
     34 }
     35 
     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 
     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 
     54 static void *isl_obj_map_copy(void *v)
     55 {
     56 	return isl_map_copy((struct isl_map *)v);
     57 }
     58 
     59 static void isl_obj_map_free(void *v)
     60 {
     61 	isl_map_free((struct isl_map *)v);
     62 }
     63 
     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 
     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 
     82 static void *isl_obj_union_map_copy(void *v)
     83 {
     84 	return isl_union_map_copy((isl_union_map *)v);
     85 }
     86 
     87 static void isl_obj_union_map_free(void *v)
     88 {
     89 	isl_union_map_free((isl_union_map *)v);
     90 }
     91 
     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 
     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 
    110 static void *isl_obj_set_copy(void *v)
    111 {
    112 	return isl_set_copy((struct isl_set *)v);
    113 }
    114 
    115 static void isl_obj_set_free(void *v)
    116 {
    117 	isl_set_free((struct isl_set *)v);
    118 }
    119 
    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 
    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 
    138 static void *isl_obj_union_set_copy(void *v)
    139 {
    140 	return isl_union_set_copy((isl_union_set *)v);
    141 }
    142 
    143 static void isl_obj_union_set_free(void *v)
    144 {
    145 	isl_union_set_free((isl_union_set *)v);
    146 }
    147 
    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 
    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 
    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 
    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 
    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 
    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 
    195 static void *isl_obj_none_copy(void *v)
    196 {
    197 	return v;
    198 }
    199 
    200 static void isl_obj_none_free(void *v)
    201 {
    202 }
    203 
    204 static __isl_give isl_printer *isl_obj_none_print(__isl_take isl_printer *p,
    205 	void *v)
    206 {
    207 	return p;
    208 }
    209 
    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 
    222 static void *isl_obj_pw_qp_copy(void *v)
    223 {
    224 	return isl_pw_qpolynomial_copy((struct isl_pw_qpolynomial *)v);
    225 }
    226 
    227 static void isl_obj_pw_qp_free(void *v)
    228 {
    229 	isl_pw_qpolynomial_free((struct isl_pw_qpolynomial *)v);
    230 }
    231 
    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 
    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 
    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 
    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 
    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 
    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 
    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 
    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 
    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 
    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 
    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 
    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 
    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 
    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 
    344 static void *isl_obj_schedule_copy(void *v)
    345 {
    346 	return isl_schedule_copy((isl_schedule *) v);
    347 }
    348 
    349 static void isl_obj_schedule_free(void *v)
    350 {
    351 	isl_schedule_free((isl_schedule *) v);
    352 }
    353 
    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