isl_obj.c

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