add isl_pw_aff_has_dim_id

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

diff --git a/doc/user.pod b/doc/user.pod
index 2e247fc..0513c4e 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -2722,6 +2722,8 @@ The expression can be inspected using
        const char *isl_pw_aff_get_dim_name(
                __isl_keep isl_pw_aff *pa,
                enum isl_dim_type type, unsigned pos);
+       int isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa,
+               enum isl_dim_type type, unsigned pos);
        __isl_give isl_id *isl_pw_aff_get_dim_id(
                __isl_keep isl_pw_aff *pa,
                enum isl_dim_type type, unsigned pos);

diff --git a/include/isl/aff.h b/include/isl/aff.h
index dfa8d22..32c0d03 100644 (file)
--- a/include/isl/aff.h
+++ b/include/isl/aff.h
@@ -110,6 +110,8 @@ __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set,
 
 const char *isl_pw_aff_get_dim_name(__isl_keep isl_pw_aff *pa,
        enum isl_dim_type type, unsigned pos);
+int isl_pw_aff_has_dim_id(__isl_keep isl_pw_aff *pa,
+       enum isl_dim_type type, unsigned pos);
 __isl_give isl_id *isl_pw_aff_get_dim_id(__isl_keep isl_pw_aff *pa,
        enum isl_dim_type type, unsigned pos);
 __isl_give isl_pw_aff *isl_pw_aff_set_dim_id(__isl_take isl_pw_aff *pma,

diff --git a/isl_pw_templ.c b/isl_pw_templ.c
index 27da2c4..e65e92d 100644 (file)
--- a/isl_pw_templ.c
+++ b/isl_pw_templ.c
@@ -179,6 +179,11 @@ const char *FN(PW,get_dim_name)(__isl_keep PW *pw, enum isl_dim_type type,
        return pw ? isl_space_get_dim_name(pw->dim, type, pos) : NULL;
 }
 
+int FN(PW,has_dim_id)(__isl_keep PW *pw, enum isl_dim_type type, unsigned pos)
+{
+       return pw ? isl_space_has_dim_id(pw->dim, type, pos) : -1;
+}
+
 __isl_give isl_id *FN(PW,get_dim_id)(__isl_keep PW *pw, enum isl_dim_type type,
        unsigned pos)
 {