From a28d73f572b518d939ef7589634ad674dcd148fe Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 3 Apr 2012 13:31:49 +0200 Subject: [PATCH] add isl_basic_set_remove_divs_involving_dims Signed-off-by: Sven Verdoolaege --- doc/user.pod | 5 +++++ include/isl/set.h | 3 +++ isl_map.c | 7 +++++++ 3 files changed, 15 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 4e414c0..8c9176a 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1409,6 +1409,11 @@ using the following functions, which compute an overapproximation. It is also possible to only remove those divs that are defined in terms of a given range of dimensions. + __isl_give isl_basic_set * + isl_basic_set_remove_divs_involving_dims( + __isl_take isl_basic_set *bset, + 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); diff --git a/include/isl/set.h b/include/isl/set.h index c858b4a..adbbd2b 100644 --- a/include/isl/set.h +++ b/include/isl/set.h @@ -336,6 +336,9 @@ struct isl_set *isl_set_eliminate_dims(struct isl_set *set, unsigned first, unsigned n); __isl_give isl_set *isl_set_remove_dims(__isl_take isl_set *bset, enum isl_dim_type type, unsigned first, unsigned n); +__isl_give isl_basic_set *isl_basic_set_remove_divs_involving_dims( + __isl_take isl_basic_set *bset, + 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_set *isl_set_remove_unknown_divs(__isl_take isl_set *set); diff --git a/isl_map.c b/isl_map.c index ec96252..c1ab54a 100644 --- a/isl_map.c +++ b/isl_map.c @@ -1972,6 +1972,13 @@ error: return NULL; } +__isl_give isl_basic_set *isl_basic_set_remove_divs_involving_dims( + __isl_take isl_basic_set *bset, + enum isl_dim_type type, unsigned first, unsigned n) +{ + return isl_basic_map_remove_divs_involving_dims(bset, type, first, n); +} + __isl_give isl_map *isl_map_remove_divs_involving_dims(__isl_take isl_map *map, enum isl_dim_type type, unsigned first, unsigned n) { -- 2.7.4