From: Sven Verdoolaege Date: Fri, 7 Sep 2012 21:21:47 +0000 (+0200) Subject: add isl_basic_set_remove_unknown_divs X-Git-Tag: isl-0.11~172 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=66216613b23a5ff297c5aaad6648f1f68ed4657a;p=platform%2Fupstream%2Fisl.git add isl_basic_set_remove_unknown_divs Signed-off-by: Sven Verdoolaege --- diff --git a/doc/user.pod b/doc/user.pod index 29b98fd..d052c01 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1486,6 +1486,9 @@ no explicit representation is known. __isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n); + __isl_give isl_basic_set * + isl_basic_set_remove_unknown_divs( + __isl_take isl_basic_set *bset); __isl_give isl_set *isl_set_remove_unknown_divs( __isl_take isl_set *set); __isl_give isl_map *isl_map_remove_unknown_divs( diff --git a/include/isl/set.h b/include/isl/set.h index bf2440e..e9ca691 100644 --- a/include/isl/set.h +++ b/include/isl/set.h @@ -341,6 +341,8 @@ __isl_give isl_basic_set *isl_basic_set_remove_divs_involving_dims( enum isl_dim_type type, unsigned first, unsigned n); __isl_give isl_set *isl_set_remove_divs_involving_dims(__isl_take isl_set *set, enum isl_dim_type type, unsigned first, unsigned n); +__isl_give isl_basic_set *isl_basic_set_remove_unknown_divs( + __isl_take isl_basic_set *bset); __isl_give isl_set *isl_set_remove_unknown_divs(__isl_take isl_set *set); __isl_give isl_set *isl_set_remove_divs(__isl_take isl_set *set); __isl_give isl_set *isl_set_split_dims(__isl_take isl_set *set, diff --git a/isl_map.c b/isl_map.c index 0bccc4c..244cb59 100644 --- a/isl_map.c +++ b/isl_map.c @@ -2133,6 +2133,14 @@ __isl_give isl_basic_map *isl_basic_map_remove_unknown_divs( return bmap; } +/* Remove all divs that are unknown or defined in terms of unknown divs. + */ +__isl_give isl_basic_set *isl_basic_set_remove_unknown_divs( + __isl_take isl_basic_set *bset) +{ + return isl_basic_map_remove_unknown_divs(bset); +} + __isl_give isl_map *isl_map_remove_unknown_divs(__isl_take isl_map *map) { int i;