add isl_space_has_dim_name

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/doc/user.pod b/doc/user.pod
index 7515647..1436789 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -679,6 +679,8 @@ using the following functions.
        __isl_give isl_space *isl_space_set_dim_name(__isl_take isl_space *space,
                                 enum isl_dim_type type, unsigned pos,
                                 __isl_keep const char *name);
+       int isl_space_has_dim_name(__isl_keep isl_space *space,
+               enum isl_dim_type type, unsigned pos);
        __isl_keep const char *isl_space_get_dim_name(__isl_keep isl_space *space,
                                 enum isl_dim_type type, unsigned pos);
 

diff --git a/include/isl/space.h b/include/isl/space.h
index afbd3e3..9b54df5 100644 (file)
--- a/include/isl/space.h
+++ b/include/isl/space.h
@@ -67,6 +67,8 @@ int isl_space_find_dim_by_id(__isl_keep isl_space *dim, enum isl_dim_type type,
 int isl_space_find_dim_by_name(__isl_keep isl_space *space,
        enum isl_dim_type type, const char *name);
 
+int isl_space_has_dim_name(__isl_keep isl_space *space,
+       enum isl_dim_type type, unsigned pos);
 __isl_give isl_space *isl_space_set_dim_name(__isl_take isl_space *dim,
                                 enum isl_dim_type type, unsigned pos,
                                 __isl_keep const char *name);

diff --git a/isl_space.c b/isl_space.c
index 48f6385..6a6b5f5 100644 (file)
--- a/isl_space.c
+++ b/isl_space.c
@@ -537,6 +537,19 @@ error:
        return NULL;
 }
 
+/* Does the given dimension have a name?
+ */
+int isl_space_has_dim_name(__isl_keep isl_space *space,
+       enum isl_dim_type type, unsigned pos)
+{
+       isl_id *id;
+
+       if (!space)
+               return -1;
+       id = get_id(space, type, pos);
+       return id && id->name;
+}
+
 __isl_keep const char *isl_space_get_dim_name(__isl_keep isl_space *dim,
                                 enum isl_dim_type type, unsigned pos)
 {