From 37494a15ccc304b285017bbc633e3edf1454ea16 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 30 Sep 2011 16:56:20 +0200 Subject: [PATCH] add isl_basic_map_has_dim_id Signed-off-by: Sven Verdoolaege --- doc/user.pod | 3 +++ include/isl/map.h | 2 ++ isl_map.c | 6 ++++++ 3 files changed, 11 insertions(+) diff --git a/doc/user.pod b/doc/user.pod index ab43bdf..ad04919 100644 --- a/doc/user.pod +++ b/doc/user.pod @@ -1467,6 +1467,9 @@ read off using the following functions. __isl_give isl_id *isl_set_get_dim_id( __isl_keep isl_set *set, enum isl_dim_type type, unsigned pos); + int isl_basic_map_has_dim_id( + __isl_keep isl_basic_map *bmap, + enum isl_dim_type type, unsigned pos); __isl_give isl_map *isl_map_set_dim_id( __isl_take isl_map *map, enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); diff --git a/include/isl/map.h b/include/isl/map.h index 44c455d..6881353 100644 --- a/include/isl/map.h +++ b/include/isl/map.h @@ -86,6 +86,8 @@ __isl_give isl_map *isl_map_set_dim_name(__isl_take isl_map *map, __isl_give isl_map *isl_map_set_dim_id(__isl_take isl_map *map, enum isl_dim_type type, unsigned pos, __isl_take isl_id *id); +int isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap, + enum isl_dim_type type, unsigned pos); int isl_map_has_dim_id(__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos); __isl_give isl_id *isl_map_get_dim_id(__isl_keep isl_map *map, diff --git a/isl_map.c b/isl_map.c index bcf09b5..fd14555 100644 --- a/isl_map.c +++ b/isl_map.c @@ -541,6 +541,12 @@ __isl_give isl_set *isl_set_set_dim_name(__isl_take isl_set *set, return (isl_set *)isl_map_set_dim_name((isl_map *)set, type, pos, s); } +int isl_basic_map_has_dim_id(__isl_keep isl_basic_map *bmap, + enum isl_dim_type type, unsigned pos) +{ + return bmap ? isl_space_has_dim_id(bmap->dim, type, pos) : -1; +} + int isl_map_has_dim_id(__isl_keep isl_map *map, enum isl_dim_type type, unsigned pos) { -- 2.7.4