X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=isl_obj.c;h=6fc6cbd8fd8e91483420269b655faf73f532929b;hb=de51a9bc4da5dd3f1f9f57c2362da6f9752c44e0;hp=74b7fab14901d4de014773886e7aa14cdbdae39a;hpb=2d8c3a98d874e93b65c2c103389dc20b4b1da2fc;p=platform%2Fupstream%2Fisl.git diff --git a/isl_obj.c b/isl_obj.c index 74b7fab..6fc6cbd 100644 --- a/isl_obj.c +++ b/isl_obj.c @@ -1,14 +1,168 @@ /* * Copyright 2010 INRIA Saclay * - * Use of this software is governed by the GNU LGPLv2.1 license + * Use of this software is governed by the MIT license * * Written by Sven Verdoolaege, INRIA Saclay - Ile-de-France, * Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod, * 91893 Orsay, France */ -#include +#include +#include +#include +#include + +struct isl_int_obj { + int ref; + isl_ctx *ctx; + isl_int v; +}; + +__isl_give isl_int_obj *isl_int_obj_alloc(isl_ctx *ctx, isl_int v) +{ + isl_int_obj *i; + + i = isl_alloc_type(ctx, isl_int_obj); + if (!i) + return NULL; + + i->ctx = ctx; + isl_ctx_ref(ctx); + i->ref = 1; + isl_int_init(i->v); + isl_int_set(i->v, v); + + return i; +} + +__isl_give isl_int_obj *isl_int_obj_copy(__isl_keep isl_int_obj *i) +{ + if (!i) + return NULL; + + i->ref++; + return i; +} + +__isl_give isl_int_obj *isl_int_obj_dup(__isl_keep isl_int_obj *i) +{ + if (!i) + return NULL; + + return isl_int_obj_alloc(i->ctx, i->v); +} + +__isl_give isl_int_obj *isl_int_obj_cow(__isl_take isl_int_obj *i) +{ + if (!i) + return NULL; + + if (i->ref == 1) + return i; + i->ref--; + return isl_int_obj_dup(i); +} + +void isl_int_obj_free(__isl_take isl_int_obj *i) +{ + if (!i) + return; + + if (--i->ref > 0) + return; + + isl_ctx_deref(i->ctx); + isl_int_clear(i->v); + free(i); +} + +__isl_give isl_int_obj *isl_int_obj_add(__isl_take isl_int_obj *i1, + __isl_take isl_int_obj *i2) +{ + i1 = isl_int_obj_cow(i1); + if (!i1 || !i2) + goto error; + + isl_int_add(i1->v, i1->v, i2->v); + + isl_int_obj_free(i2); + return i1; +error: + isl_int_obj_free(i1); + isl_int_obj_free(i2); + return NULL; +} + +__isl_give isl_int_obj *isl_int_obj_sub(__isl_take isl_int_obj *i1, + __isl_take isl_int_obj *i2) +{ + i1 = isl_int_obj_cow(i1); + if (!i1 || !i2) + goto error; + + isl_int_sub(i1->v, i1->v, i2->v); + + isl_int_obj_free(i2); + return i1; +error: + isl_int_obj_free(i1); + isl_int_obj_free(i2); + return NULL; +} + +__isl_give isl_int_obj *isl_int_obj_mul(__isl_take isl_int_obj *i1, + __isl_take isl_int_obj *i2) +{ + i1 = isl_int_obj_cow(i1); + if (!i1 || !i2) + goto error; + + isl_int_mul(i1->v, i1->v, i2->v); + + isl_int_obj_free(i2); + return i1; +error: + isl_int_obj_free(i1); + isl_int_obj_free(i2); + return NULL; +} + +void isl_int_obj_get_int(__isl_keep isl_int_obj *i, isl_int *v) +{ + if (!i) + return; + isl_int_set(*v, i->v); +} + +static void *isl_obj_int_copy(void *v) +{ + return isl_int_obj_copy((isl_int_obj *)v); +} + +static void isl_obj_int_free(void *v) +{ + isl_int_obj_free((isl_int_obj *)v); +} + +static __isl_give isl_printer *isl_obj_int_print(__isl_take isl_printer *p, + void *v) +{ + isl_int_obj *i = v; + return isl_printer_print_isl_int(p, i->v); +} + +static void *isl_obj_int_add(void *v1, void *v2) +{ + return isl_int_obj_add((isl_int_obj *)v1, (isl_int_obj *)v2); +} + +struct isl_obj_vtable isl_obj_int_vtable = { + isl_obj_int_copy, + isl_obj_int_add, + isl_obj_int_print, + isl_obj_int_free +}; static void *isl_obj_map_copy(void *v) { @@ -38,6 +192,34 @@ struct isl_obj_vtable isl_obj_map_vtable = { isl_obj_map_free }; +static void *isl_obj_union_map_copy(void *v) +{ + return isl_union_map_copy((isl_union_map *)v); +} + +static void isl_obj_union_map_free(void *v) +{ + isl_union_map_free((isl_union_map *)v); +} + +static __isl_give isl_printer *isl_obj_union_map_print(__isl_take isl_printer *p, + void *v) +{ + return isl_printer_print_union_map(p, (isl_union_map *)v); +} + +static void *isl_obj_union_map_add(void *v1, void *v2) +{ + return isl_union_map_union((isl_union_map *)v1, (isl_union_map *)v2); +} + +struct isl_obj_vtable isl_obj_union_map_vtable = { + isl_obj_union_map_copy, + isl_obj_union_map_add, + isl_obj_union_map_print, + isl_obj_union_map_free +}; + static void *isl_obj_set_copy(void *v) { return isl_set_copy((struct isl_set *)v); @@ -66,6 +248,34 @@ struct isl_obj_vtable isl_obj_set_vtable = { isl_obj_set_free }; +static void *isl_obj_union_set_copy(void *v) +{ + return isl_union_set_copy((isl_union_set *)v); +} + +static void isl_obj_union_set_free(void *v) +{ + isl_union_set_free((isl_union_set *)v); +} + +static __isl_give isl_printer *isl_obj_union_set_print(__isl_take isl_printer *p, + void *v) +{ + return isl_printer_print_union_set(p, (isl_union_set *)v); +} + +static void *isl_obj_union_set_add(void *v1, void *v2) +{ + return isl_union_set_union((isl_union_set *)v1, (isl_union_set *)v2); +} + +struct isl_obj_vtable isl_obj_union_set_vtable = { + isl_obj_union_set_copy, + isl_obj_union_set_add, + isl_obj_union_set_print, + isl_obj_union_set_free +}; + static void *isl_obj_none_copy(void *v) { return v; @@ -123,6 +333,37 @@ struct isl_obj_vtable isl_obj_pw_qpolynomial_vtable = { isl_obj_pw_qp_free }; +static void *isl_obj_union_pw_qp_copy(void *v) +{ + return isl_union_pw_qpolynomial_copy((struct isl_union_pw_qpolynomial *)v); +} + +static void isl_obj_union_pw_qp_free(void *v) +{ + isl_union_pw_qpolynomial_free((struct isl_union_pw_qpolynomial *)v); +} + +static __isl_give isl_printer *isl_obj_union_pw_qp_print( + __isl_take isl_printer *p, void *v) +{ + return isl_printer_print_union_pw_qpolynomial(p, + (struct isl_union_pw_qpolynomial *)v); +} + +static void *isl_obj_union_pw_qp_add(void *v1, void *v2) +{ + return isl_union_pw_qpolynomial_add( + (struct isl_union_pw_qpolynomial *)v1, + (struct isl_union_pw_qpolynomial *)v2); +} + +struct isl_obj_vtable isl_obj_union_pw_qpolynomial_vtable = { + isl_obj_union_pw_qp_copy, + isl_obj_union_pw_qp_add, + isl_obj_union_pw_qp_print, + isl_obj_union_pw_qp_free +}; + static void *isl_obj_pw_qpf_copy(void *v) { return isl_pw_qpolynomial_fold_copy((struct isl_pw_qpolynomial_fold *)v); @@ -142,7 +383,7 @@ static __isl_give isl_printer *isl_obj_pw_qpf_print(__isl_take isl_printer *p, static void *isl_obj_pw_qpf_add(void *v1, void *v2) { - return isl_pw_qpolynomial_fold_add((struct isl_pw_qpolynomial_fold *)v1, + return isl_pw_qpolynomial_fold_fold((struct isl_pw_qpolynomial_fold *)v1, (struct isl_pw_qpolynomial_fold *)v2); } @@ -152,3 +393,34 @@ struct isl_obj_vtable isl_obj_pw_qpolynomial_fold_vtable = { isl_obj_pw_qpf_print, isl_obj_pw_qpf_free }; + +static void *isl_obj_union_pw_qpf_copy(void *v) +{ + return isl_union_pw_qpolynomial_fold_copy((struct isl_union_pw_qpolynomial_fold *)v); +} + +static void isl_obj_union_pw_qpf_free(void *v) +{ + isl_union_pw_qpolynomial_fold_free((struct isl_union_pw_qpolynomial_fold *)v); +} + +static __isl_give isl_printer *isl_obj_union_pw_qpf_print( + __isl_take isl_printer *p, void *v) +{ + return isl_printer_print_union_pw_qpolynomial_fold(p, + (struct isl_union_pw_qpolynomial_fold *)v); +} + +static void *isl_obj_union_pw_qpf_add(void *v1, void *v2) +{ + return isl_union_pw_qpolynomial_fold_fold( + (struct isl_union_pw_qpolynomial_fold *)v1, + (struct isl_union_pw_qpolynomial_fold *)v2); +} + +struct isl_obj_vtable isl_obj_union_pw_qpolynomial_fold_vtable = { + isl_obj_union_pw_qpf_copy, + isl_obj_union_pw_qpf_add, + isl_obj_union_pw_qpf_print, + isl_obj_union_pw_qpf_free +};