add isl_pw_multi_aff_has_tuple_name

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

diff --git a/doc/user.pod b/doc/user.pod
index 32283f9..2202066 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -3414,6 +3414,9 @@ The expression can be inspected using
        const char *isl_multi_aff_get_tuple_name(
                __isl_keep isl_multi_aff *multi,
                enum isl_dim_type type);
+       int isl_pw_multi_aff_has_tuple_name(
+               __isl_keep isl_pw_multi_aff *pma,
+               enum isl_dim_type type);
        const char *isl_pw_multi_aff_get_tuple_name(
                __isl_keep isl_pw_multi_aff *pma,
                enum isl_dim_type type);

diff --git a/include/isl/aff.h b/include/isl/aff.h
index c06df89..486566e 100644 (file)
--- a/include/isl/aff.h
+++ b/include/isl/aff.h
@@ -310,6 +310,8 @@ __isl_give isl_space *isl_pw_multi_aff_get_domain_space(
        __isl_keep isl_pw_multi_aff *pma);
 __isl_give isl_space *isl_pw_multi_aff_get_space(
        __isl_keep isl_pw_multi_aff *pma);
+int isl_pw_multi_aff_has_tuple_name(__isl_keep isl_pw_multi_aff *pma,
+       enum isl_dim_type type);
 const char *isl_pw_multi_aff_get_tuple_name(__isl_keep isl_pw_multi_aff *pma,
        enum isl_dim_type type);
 __isl_give isl_id *isl_pw_multi_aff_get_tuple_id(

diff --git a/isl_pw_templ.c b/isl_pw_templ.c
index fba2fa8..ec8f12e 100644 (file)
--- a/isl_pw_templ.c
+++ b/isl_pw_templ.c
@@ -190,6 +190,11 @@ __isl_give isl_id *FN(PW,get_dim_id)(__isl_keep PW *pw, enum isl_dim_type type,
        return pw ? isl_space_get_dim_id(pw->dim, type, pos) : NULL;
 }
 
+int FN(PW,has_tuple_name)(__isl_keep PW *pw, enum isl_dim_type type)
+{
+       return pw ? isl_space_has_tuple_name(pw->dim, type) : -1;
+}
+
 const char *FN(PW,get_tuple_name)(__isl_keep PW *pw, enum isl_dim_type type)
 {
        return pw ? isl_space_get_tuple_name(pw->dim, type) : NULL;