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