diff options
Diffstat (limited to 'polly/lib/External/isl/isl_convex_hull.c')
| -rw-r--r-- | polly/lib/External/isl/isl_convex_hull.c | 22 |
1 files changed, 12 insertions, 10 deletions
diff --git a/polly/lib/External/isl/isl_convex_hull.c b/polly/lib/External/isl/isl_convex_hull.c index 590e3a9eeae..8a2be2ef8db 100644 --- a/polly/lib/External/isl/isl_convex_hull.c +++ b/polly/lib/External/isl/isl_convex_hull.c @@ -23,6 +23,10 @@ #include "isl_tab.h" #include <isl_sort.h> +#include <bset_to_bmap.c> +#include <bset_from_bmap.c> +#include <set_to_map.c> + static struct isl_basic_set *uset_convex_hull_wrap_bounded(struct isl_set *set); /* Return 1 if constraint c is redundant with respect to the constraints @@ -126,8 +130,8 @@ error: __isl_give isl_basic_set *isl_basic_set_remove_redundancies( __isl_take isl_basic_set *bset) { - return (struct isl_basic_set *) - isl_basic_map_remove_redundancies((struct isl_basic_map *)bset); + return bset_from_bmap( + isl_basic_map_remove_redundancies(bset_to_bmap(bset))); } /* Remove redundant constraints in each of the basic maps. @@ -192,7 +196,7 @@ error: } __isl_give isl_basic_map *isl_basic_map_set_rational( - __isl_take isl_basic_set *bmap) + __isl_take isl_basic_map *bmap) { if (!bmap) return NULL; @@ -936,7 +940,7 @@ int isl_basic_map_image_is_bounded(__isl_keep isl_basic_map *bmap) bmap = isl_basic_map_cow(bmap); bmap = isl_basic_map_move_dims(bmap, isl_dim_param, nparam, isl_dim_in, 0, n_in); - bounded = isl_basic_set_is_bounded((isl_basic_set *)bmap); + bounded = isl_basic_set_is_bounded(bset_from_bmap(bmap)); isl_basic_map_free(bmap); return bounded; @@ -1987,8 +1991,7 @@ error: struct isl_basic_set *isl_set_convex_hull(struct isl_set *set) { - return (struct isl_basic_set *) - isl_map_convex_hull((struct isl_map *)set); + return bset_from_bmap(isl_map_convex_hull(set_to_map(set))); } __isl_give isl_basic_map *isl_map_polyhedral_hull(__isl_take isl_map *map) @@ -2001,7 +2004,7 @@ __isl_give isl_basic_map *isl_map_polyhedral_hull(__isl_take isl_map *map) __isl_give isl_basic_set *isl_set_polyhedral_hull(__isl_take isl_set *set) { - return (isl_basic_set *)isl_map_polyhedral_hull((isl_map *)set); + return bset_from_bmap(isl_map_polyhedral_hull(set_to_map(set))); } struct sh_data_entry { @@ -2477,8 +2480,7 @@ __isl_give isl_basic_map *isl_map_simple_hull(__isl_take isl_map *map) struct isl_basic_set *isl_set_simple_hull(struct isl_set *set) { - return (struct isl_basic_set *) - isl_map_simple_hull((struct isl_map *)set); + return bset_from_bmap(isl_map_simple_hull(set_to_map(set))); } /* Compute a superset of the convex hull of map that is described @@ -2977,7 +2979,7 @@ error: /* Return a sequence of the basic maps that make up the maps in "list". */ -static __isl_give isl_basic_set_list *collect_basic_maps( +static __isl_give isl_basic_map_list *collect_basic_maps( __isl_take isl_map_list *list) { int i, n; |
