add isl_pw_aff_zero_on_domain

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

diff --git a/doc/user.pod b/doc/user.pod
index 8acb32b..688507a 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -3152,6 +3152,8 @@ that is equal to a specified dimension on a given domain can be created using
 
        __isl_give isl_aff *isl_aff_zero_on_domain(
                __isl_take isl_local_space *ls);
+       __isl_give isl_pw_aff *isl_pw_aff_zero_on_domain(
+               __isl_take isl_local_space *ls);
        __isl_give isl_aff *isl_aff_var_on_domain(
                __isl_take isl_local_space *ls,
                enum isl_dim_type type, unsigned pos);

diff --git a/include/isl/aff.h b/include/isl/aff.h
index f799a08..be07550 100644 (file)
--- a/include/isl/aff.h
+++ b/include/isl/aff.h
@@ -122,6 +122,8 @@ __isl_give isl_pw_aff *isl_pw_aff_from_aff(__isl_take isl_aff *aff);
 __isl_give isl_pw_aff *isl_pw_aff_empty(__isl_take isl_space *dim);
 __isl_give isl_pw_aff *isl_pw_aff_alloc(__isl_take isl_set *set,
        __isl_take isl_aff *aff);
+__isl_give isl_pw_aff *isl_pw_aff_zero_on_domain(
+       __isl_take isl_local_space *ls);
 __isl_give isl_pw_aff *isl_pw_aff_var_on_domain(__isl_take isl_local_space *ls,
        enum isl_dim_type type, unsigned pos);
 

diff --git a/isl_aff.c b/isl_aff.c
index f9896c3..9939b93 100644 (file)
--- a/isl_aff.c
+++ b/isl_aff.c
@@ -88,6 +88,14 @@ __isl_give isl_aff *isl_aff_zero_on_domain(__isl_take isl_local_space *ls)
        return aff;
 }
 
+/* Return a piecewise affine expression defined on the specified domain
+ * that is equal to zero.
+ */
+__isl_give isl_pw_aff *isl_pw_aff_zero_on_domain(__isl_take isl_local_space *ls)
+{
+       return isl_pw_aff_from_aff(isl_aff_zero_on_domain(ls));
+}
+
 /* Return an affine expression that is equal to the specified dimension
  * in "ls".
  */