From cd2ec1420979cbc6b14da2cbda4b4c342e2a6b56 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 22 Sep 2011 16:31:29 +0200 Subject: [PATCH] add isl_set_plain_is_fixed Signed-off-by: Sven Verdoolaege --- doc/user.pod | 3 +++ include/isl/set.h | 2 ++ isl_map.c | 6 ++++++ 3 files changed, 11 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index 8dd6fd3..4386843 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1551,6 +1551,9 @@ is already known to be empty. __isl_keep isl_basic_map *bmap, enum isl_dim_type type, unsigned pos, isl_int *val); + int isl_set_plain_is_fixed(__isl_keep isl_set *set, + enum isl_dim_type type, unsigned pos, + isl_int *val); int isl_map_plain_is_fixed(__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos, isl_int *val); diff --git a/include/isl/set.h b/include/isl/set.h index b48a230..35c4aba 100644 --- a/include/isl/set.h +++ b/include/isl/set.h @@ -327,6 +327,8 @@ struct isl_set *isl_set_drop_basic_set(struct isl_set *set, int isl_basic_set_plain_dim_is_fixed(__isl_keep isl_basic_set *bset, unsigned dim, isl_int *val); +int isl_set_plain_is_fixed(__isl_keep isl_set *set, + enum isl_dim_type type, unsigned pos, isl_int *val); int isl_set_plain_dim_is_fixed(__isl_keep isl_set *set, unsigned dim, isl_int *val); int isl_set_fast_dim_is_fixed(__isl_keep isl_set *set, diff --git a/isl_map.c b/isl_map.c index bb1e341..d311a4c 100644 --- a/isl_map.c +++ b/isl_map.c @@ -7380,6 +7380,12 @@ int isl_map_plain_is_fixed(__isl_keep isl_map *map, map_offset(map, type) - 1 + pos, val); } +int isl_set_plain_is_fixed(__isl_keep isl_set *set, + enum isl_dim_type type, unsigned pos, isl_int *val) +{ + return isl_map_plain_is_fixed(set, type, pos, val); +} + int isl_map_fast_is_fixed(__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos, isl_int *val) { -- 2.7.4