X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=isl_map_private.h;h=6bfac801a63fd3f84d895972ca4dafa6f47992a8;hb=d8c99e3e0c56515ab3404dc6ab38e6201f457c84;hp=2514339f389455e55b99a4bb2a3d1870b5fe9255;hpb=9e4b65d0a1f40138fb0c98ae3e597e6fa1330075;p=platform%2Fupstream%2Fisl.git diff --git a/isl_map_private.h b/isl_map_private.h index 2514339..6bfac80 100644 --- a/isl_map_private.h +++ b/isl_map_private.h @@ -50,7 +50,7 @@ struct isl_basic_map { struct isl_ctx *ctx; - struct isl_dim *dim; + isl_space *dim; unsigned extra; unsigned n_eq; @@ -87,7 +87,7 @@ struct isl_map { struct isl_ctx *ctx; - struct isl_dim *dim; + isl_space *dim; int n; @@ -103,12 +103,12 @@ __isl_give isl_set *isl_set_realign(__isl_take isl_set *set, __isl_give isl_map *isl_map_reset(__isl_take isl_map *map, enum isl_dim_type type); -__isl_give isl_basic_set *isl_basic_set_reset_dim( - __isl_take isl_basic_set *bset, __isl_take isl_dim *dim); -__isl_give isl_basic_map *isl_basic_map_reset_dim( - __isl_take isl_basic_map *bmap, __isl_take isl_dim *dim); -__isl_give isl_map *isl_map_reset_dim(__isl_take isl_map *map, - __isl_take isl_dim *dim); +__isl_give isl_basic_set *isl_basic_set_reset_space( + __isl_take isl_basic_set *bset, __isl_take isl_space *dim); +__isl_give isl_basic_map *isl_basic_map_reset_space( + __isl_take isl_basic_map *bmap, __isl_take isl_space *dim); +__isl_give isl_map *isl_map_reset_space(__isl_take isl_map *map, + __isl_take isl_space *dim); unsigned isl_basic_map_offset(struct isl_basic_map *bmap, enum isl_dim_type type); @@ -123,11 +123,11 @@ int isl_basic_map_compatible_domain(struct isl_basic_map *bmap, int isl_basic_map_compatible_range(struct isl_basic_map *bmap, struct isl_basic_set *bset); -struct isl_basic_map *isl_basic_map_extend_dim(struct isl_basic_map *base, - struct isl_dim *dim, unsigned extra, +struct isl_basic_map *isl_basic_map_extend_space(struct isl_basic_map *base, + __isl_take isl_space *dim, unsigned extra, unsigned n_eq, unsigned n_ineq); -struct isl_basic_set *isl_basic_set_extend_dim(struct isl_basic_set *base, - struct isl_dim *dim, unsigned extra, +struct isl_basic_set *isl_basic_set_extend_space(struct isl_basic_set *base, + __isl_take isl_space *dim, unsigned extra, unsigned n_eq, unsigned n_ineq); struct isl_basic_set *isl_basic_set_add_constraints(struct isl_basic_set *bset1, struct isl_basic_set *bset2, unsigned pos); @@ -138,12 +138,14 @@ struct isl_set *isl_set_grow(struct isl_set *set, int n); int isl_basic_set_contains(struct isl_basic_set *bset, struct isl_vec *vec); int isl_basic_map_contains(struct isl_basic_map *bmap, struct isl_vec *vec); -struct isl_basic_set *isl_basic_set_alloc_dim(struct isl_dim *dim, +__isl_give isl_basic_set *isl_basic_set_alloc_space(__isl_take isl_space *dim, unsigned extra, unsigned n_eq, unsigned n_ineq); -struct isl_set *isl_set_alloc_dim(struct isl_dim *dim, int n, unsigned flags); -struct isl_basic_map *isl_basic_map_alloc_dim(struct isl_dim *dim, +__isl_give isl_set *isl_set_alloc_space(__isl_take isl_space *dim, int n, + unsigned flags); +__isl_give isl_basic_map *isl_basic_map_alloc_space(__isl_take isl_space *dim, unsigned extra, unsigned n_eq, unsigned n_ineq); -struct isl_map *isl_map_alloc_dim(struct isl_dim *dim, int n, unsigned flags); +__isl_give isl_map *isl_map_alloc_space(__isl_take isl_space *dim, int n, + unsigned flags); unsigned isl_basic_map_total_dim(const struct isl_basic_map *bmap); @@ -199,6 +201,8 @@ __isl_give isl_basic_set *isl_basic_set_sort_constraints( __isl_take isl_basic_set *bset); int isl_basic_map_plain_cmp(const __isl_keep isl_basic_map *bmap1, const __isl_keep isl_basic_map *bmap2); +int isl_set_plain_cmp(const __isl_keep isl_set *set1, + const __isl_keep isl_set *set2); int isl_basic_set_plain_is_equal(__isl_keep isl_basic_set *bset1, __isl_keep isl_basic_set *bset2); int isl_basic_map_plain_is_equal(__isl_keep isl_basic_map *bmap1, @@ -313,5 +317,23 @@ __isl_give isl_map *isl_map_align_params_map_map_and( __isl_take isl_map *map1, __isl_take isl_map *map2, __isl_give isl_map *(*fn)(__isl_take isl_map *map1, __isl_take isl_map *map2)); +int isl_map_align_params_map_map_and_test(__isl_keep isl_map *map1, + __isl_keep isl_map *map2, + int (*fn)(__isl_keep isl_map *map1, __isl_keep isl_map *map2)); + +int isl_basic_map_foreach_lexopt(__isl_keep isl_basic_map *bmap, int max, + int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list, + void *user), + void *user); +int isl_basic_set_foreach_lexopt(__isl_keep isl_basic_set *bset, int max, + int (*fn)(__isl_take isl_basic_set *dom, __isl_take isl_aff_list *list, + void *user), + void *user); + +__isl_give isl_set *isl_set_substitute(__isl_take isl_set *set, + enum isl_dim_type type, unsigned pos, __isl_keep isl_aff *subs); + +__isl_give isl_set *isl_set_gist_params_basic_set(__isl_take isl_set *set, + __isl_take isl_basic_set *context); #endif