polly/lib/External/isl/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/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 };