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 struct isl_int_obj {
  14         int ref;
  15         isl_ctx *ctx;
  16         isl_int v;
  17 };
  18
  19 __isl_give isl_int_obj *isl_int_obj_alloc(isl_ctx *ctx, isl_int v)
  20 {
  21         isl_int_obj *i;
  22
  23         i = isl_alloc_type(ctx, isl_int_obj);
  24         if (!i)
  25                 return NULL;
  26
  27         i->ctx = ctx;
  28         isl_ctx_ref(ctx);
  29         i->ref = 1;
  30         isl_int_init(i->v);
  31         isl_int_set(i->v, v);
  32
  33         return i;
  34 }
  35
  36 __isl_give isl_int_obj *isl_int_obj_copy(__isl_keep isl_int_obj *i)
  37 {
  38         if (!i)
  39                 return NULL;
  40
  41         i->ref++;
  42         return i;
  43 }
  44
  45 __isl_give isl_int_obj *isl_int_obj_dup(__isl_keep isl_int_obj *i)
  46 {
  47         if (!i)
  48                 return NULL;
  49
  50         return isl_int_obj_alloc(i->ctx, i->v);
  51 }
  52
  53 __isl_give isl_int_obj *isl_int_obj_cow(__isl_take isl_int_obj *i)
  54 {
  55         if (!i)
  56                 return NULL;
  57
  58         if (i->ref == 1)
  59                 return i;
  60         i->ref--;
  61         return isl_int_obj_dup(i);
  62 }
  63
  64 void isl_int_obj_free(__isl_take isl_int_obj *i)
  65 {
  66         if (!i)
  67                 return;
  68
  69         if (--i->ref > 0)
  70                 return;
  71
  72         isl_ctx_deref(i->ctx);
  73         isl_int_clear(i->v);
  74         free(i);
  75 }
  76
  77 __isl_give isl_int_obj *isl_int_obj_add(__isl_take isl_int_obj *i1,
  78         __isl_take isl_int_obj *i2)
  79 {
  80         i1 = isl_int_obj_cow(i1);
  81         if (!i1 || !i2)
  82                 goto error;
  83
  84         isl_int_add(i1->v, i1->v, i2->v);
  85
  86         isl_int_obj_free(i2);
  87         return i1;
  88 error:
  89         isl_int_obj_free(i1);
  90         isl_int_obj_free(i2);
  91         return NULL;
  92 }
  93
  94 __isl_give isl_int_obj *isl_int_obj_sub(__isl_take isl_int_obj *i1,
  95         __isl_take isl_int_obj *i2)
  96 {
  97         i1 = isl_int_obj_cow(i1);
  98         if (!i1 || !i2)
  99                 goto error;
 100
 101         isl_int_sub(i1->v, i1->v, i2->v);
 102
 103         isl_int_obj_free(i2);
 104         return i1;
 105 error:
 106         isl_int_obj_free(i1);
 107         isl_int_obj_free(i2);
 108         return NULL;
 109 }
 110
 111 __isl_give isl_int_obj *isl_int_obj_mul(__isl_take isl_int_obj *i1,
 112         __isl_take isl_int_obj *i2)
 113 {
 114         i1 = isl_int_obj_cow(i1);
 115         if (!i1 || !i2)
 116                 goto error;
 117
 118         isl_int_mul(i1->v, i1->v, i2->v);
 119
 120         isl_int_obj_free(i2);
 121         return i1;
 122 error:
 123         isl_int_obj_free(i1);
 124         isl_int_obj_free(i2);
 125         return NULL;
 126 }
 127
 128 void isl_int_obj_get_int(__isl_keep isl_int_obj *i, isl_int *v)
 129 {
 130         if (!i)
 131                 return;
 132         isl_int_set(*v, i->v);
 133 }
 134
 135 static void *isl_obj_int_copy(void *v)
 136 {
 137         return isl_int_obj_copy((isl_int_obj *)v);
 138 }
 139
 140 static void isl_obj_int_free(void *v)
 141 {
 142         isl_int_obj_free((isl_int_obj *)v);
 143 }
 144
 145 static __isl_give isl_printer *isl_obj_int_print(__isl_take isl_printer *p,
 146         void *v)
 147 {
 148         isl_int_obj *i = v;
 149         return isl_printer_print_isl_int(p, i->v);
 150 }
 151
 152 static void *isl_obj_int_add(void *v1, void *v2)
 153 {
 154         return isl_int_obj_add((isl_int_obj *)v1, (isl_int_obj *)v2);
 155 }
 156
 157 struct isl_obj_vtable isl_obj_int_vtable = {
 158         isl_obj_int_copy,
 159         isl_obj_int_add,
 160         isl_obj_int_print,
 161         isl_obj_int_free
 162 };
 163
 164 static void *isl_obj_map_copy(void *v)
 165 {
 166         return isl_map_copy((struct isl_map *)v);
 167 }
 168
 169 static void isl_obj_map_free(void *v)
 170 {
 171         isl_map_free((struct isl_map *)v);
 172 }
 173
 174 static __isl_give isl_printer *isl_obj_map_print(__isl_take isl_printer *p,
 175         void *v)
 176 {
 177         return isl_printer_print_map(p, (struct isl_map *)v);
 178 }
 179
 180 static void *isl_obj_map_add(void *v1, void *v2)
 181 {
 182         return isl_map_union((struct isl_map *)v1, (struct isl_map *)v2);
 183 }
 184
 185 struct isl_obj_vtable isl_obj_map_vtable = {
 186         isl_obj_map_copy,
 187         isl_obj_map_add,
 188         isl_obj_map_print,
 189         isl_obj_map_free
 190 };
 191
 192 static void *isl_obj_union_map_copy(void *v)
 193 {
 194         return isl_union_map_copy((isl_union_map *)v);
 195 }
 196
 197 static void isl_obj_union_map_free(void *v)
 198 {
 199         isl_union_map_free((isl_union_map *)v);
 200 }
 201
 202 static __isl_give isl_printer *isl_obj_union_map_print(__isl_take isl_printer *p,
 203         void *v)
 204 {
 205         return isl_printer_print_union_map(p, (isl_union_map *)v);
 206 }
 207
 208 static void *isl_obj_union_map_add(void *v1, void *v2)
 209 {
 210         return isl_union_map_union((isl_union_map *)v1, (isl_union_map *)v2);
 211 }
 212
 213 struct isl_obj_vtable isl_obj_union_map_vtable = {
 214         isl_obj_union_map_copy,
 215         isl_obj_union_map_add,
 216         isl_obj_union_map_print,
 217         isl_obj_union_map_free
 218 };
 219
 220 static void *isl_obj_set_copy(void *v)
 221 {
 222         return isl_set_copy((struct isl_set *)v);
 223 }
 224
 225 static void isl_obj_set_free(void *v)
 226 {
 227         isl_set_free((struct isl_set *)v);
 228 }
 229
 230 static __isl_give isl_printer *isl_obj_set_print(__isl_take isl_printer *p,
 231         void *v)
 232 {
 233         return isl_printer_print_set(p, (struct isl_set *)v);
 234 }
 235
 236 static void *isl_obj_set_add(void *v1, void *v2)
 237 {
 238         return isl_set_union((struct isl_set *)v1, (struct isl_set *)v2);
 239 }
 240
 241 struct isl_obj_vtable isl_obj_set_vtable = {
 242         isl_obj_set_copy,
 243         isl_obj_set_add,
 244         isl_obj_set_print,
 245         isl_obj_set_free
 246 };
 247
 248 static void *isl_obj_union_set_copy(void *v)
 249 {
 250         return isl_union_set_copy((isl_union_set *)v);
 251 }
 252
 253 static void isl_obj_union_set_free(void *v)
 254 {
 255         isl_union_set_free((isl_union_set *)v);
 256 }
 257
 258 static __isl_give isl_printer *isl_obj_union_set_print(__isl_take isl_printer *p,
 259         void *v)
 260 {
 261         return isl_printer_print_union_set(p, (isl_union_set *)v);
 262 }
 263
 264 static void *isl_obj_union_set_add(void *v1, void *v2)
 265 {
 266         return isl_union_set_union((isl_union_set *)v1, (isl_union_set *)v2);
 267 }
 268
 269 struct isl_obj_vtable isl_obj_union_set_vtable = {
 270         isl_obj_union_set_copy,
 271         isl_obj_union_set_add,
 272         isl_obj_union_set_print,
 273         isl_obj_union_set_free
 274 };
 275
 276 static void *isl_obj_none_copy(void *v)
 277 {
 278         return v;
 279 }
 280
 281 static void isl_obj_none_free(void *v)
 282 {
 283 }
 284
 285 static __isl_give isl_printer *isl_obj_none_print(__isl_take isl_printer *p,
 286         void *v)
 287 {
 288         return p;
 289 }
 290
 291 static void *isl_obj_none_add(void *v1, void *v2)
 292 {
 293         return NULL;
 294 }
 295
 296 struct isl_obj_vtable isl_obj_none_vtable = {
 297         isl_obj_none_copy,
 298         isl_obj_none_add,
 299         isl_obj_none_print,
 300         isl_obj_none_free
 301 };
 302
 303 static void *isl_obj_pw_qp_copy(void *v)
 304 {
 305         return isl_pw_qpolynomial_copy((struct isl_pw_qpolynomial *)v);
 306 }
 307
 308 static void isl_obj_pw_qp_free(void *v)
 309 {
 310         isl_pw_qpolynomial_free((struct isl_pw_qpolynomial *)v);
 311 }
 312
 313 static __isl_give isl_printer *isl_obj_pw_qp_print(__isl_take isl_printer *p,
 314         void *v)
 315 {
 316         return isl_printer_print_pw_qpolynomial(p,
 317                                                 (struct isl_pw_qpolynomial *)v);
 318 }
 319
 320 static void *isl_obj_pw_qp_add(void *v1, void *v2)
 321 {
 322         return isl_pw_qpolynomial_add((struct isl_pw_qpolynomial *)v1,
 323                                         (struct isl_pw_qpolynomial *)v2);
 324 }
 325
 326 struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable = {
 327         isl_obj_pw_qp_copy,
 328         isl_obj_pw_qp_add,
 329         isl_obj_pw_qp_print,
 330         isl_obj_pw_qp_free
 331 };
 332
 333 static void *isl_obj_union_pw_qp_copy(void *v)
 334 {
 335         return isl_union_pw_qpolynomial_copy((struct isl_union_pw_qpolynomial *)v);
 336 }
 337
 338 static void isl_obj_union_pw_qp_free(void *v)
 339 {
 340         isl_union_pw_qpolynomial_free((struct isl_union_pw_qpolynomial *)v);
 341 }
 342
 343 static __isl_give isl_printer *isl_obj_union_pw_qp_print(
 344         __isl_take isl_printer *p, void *v)
 345 {
 346         return isl_printer_print_union_pw_qpolynomial(p,
 347                                         (struct isl_union_pw_qpolynomial *)v);
 348 }
 349
 350 static void *isl_obj_union_pw_qp_add(void *v1, void *v2)
 351 {
 352         return isl_union_pw_qpolynomial_add(
 353                                         (struct isl_union_pw_qpolynomial *)v1,
 354                                         (struct isl_union_pw_qpolynomial *)v2);
 355 }
 356
 357 struct isl_obj_vtable isl_obj_union_pw_qpolynomial_vtable = {
 358         isl_obj_union_pw_qp_copy,
 359         isl_obj_union_pw_qp_add,
 360         isl_obj_union_pw_qp_print,
 361         isl_obj_union_pw_qp_free
 362 };
 363
 364 static void *isl_obj_pw_qpf_copy(void *v)
 365 {
 366         return isl_pw_qpolynomial_fold_copy((struct isl_pw_qpolynomial_fold *)v);
 367 }
 368
 369 static void isl_obj_pw_qpf_free(void *v)
 370 {
 371         isl_pw_qpolynomial_fold_free((struct isl_pw_qpolynomial_fold *)v);
 372 }
 373
 374 static __isl_give isl_printer *isl_obj_pw_qpf_print(__isl_take isl_printer *p,
 375         void *v)
 376 {
 377         return isl_printer_print_pw_qpolynomial_fold(p,
 378                                         (struct isl_pw_qpolynomial_fold *)v);
 379 }
 380
 381 static void *isl_obj_pw_qpf_add(void *v1, void *v2)
 382 {
 383         return isl_pw_qpolynomial_fold_fold((struct isl_pw_qpolynomial_fold *)v1,
 384                                             (struct isl_pw_qpolynomial_fold *)v2);
 385 }
 386
 387 struct isl_obj_vtable isl_obj_pw_qpolynomial_fold_vtable = {
 388         isl_obj_pw_qpf_copy,
 389         isl_obj_pw_qpf_add,
 390         isl_obj_pw_qpf_print,
 391         isl_obj_pw_qpf_free
 392 };
 393
 394 static void *isl_obj_union_pw_qpf_copy(void *v)
 395 {
 396         return isl_union_pw_qpolynomial_fold_copy((struct isl_union_pw_qpolynomial_fold *)v);
 397 }
 398
 399 static void isl_obj_union_pw_qpf_free(void *v)
 400 {
 401         isl_union_pw_qpolynomial_fold_free((struct isl_union_pw_qpolynomial_fold *)v);
 402 }
 403
 404 static __isl_give isl_printer *isl_obj_union_pw_qpf_print(
 405         __isl_take isl_printer *p, void *v)
 406 {
 407         return isl_printer_print_union_pw_qpolynomial_fold(p,
 408                                     (struct isl_union_pw_qpolynomial_fold *)v);
 409 }
 410
 411 static void *isl_obj_union_pw_qpf_add(void *v1, void *v2)
 412 {
 413         return isl_union_pw_qpolynomial_fold_fold(
 414                                     (struct isl_union_pw_qpolynomial_fold *)v1,
 415                                     (struct isl_union_pw_qpolynomial_fold *)v2);
 416 }
 417
 418 struct isl_obj_vtable isl_obj_union_pw_qpolynomial_fold_vtable = {
 419         isl_obj_union_pw_qpf_copy,
 420         isl_obj_union_pw_qpf_add,
 421         isl_obj_union_pw_qpf_print,
 422         isl_obj_union_pw_qpf_free
 423 };