add isl_local_space_divs_known

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

diff --git a/isl_local_space.c b/isl_local_space.c
index a74ef13..feb219b 100644 (file)
--- a/isl_local_space.c
+++ b/isl_local_space.c
@@ -307,3 +307,17 @@ __isl_give isl_mat *isl_merge_divs(__isl_keep isl_mat *div1,
 
        return div;
 }
+
+int isl_local_space_divs_known(__isl_keep isl_local_space *ls)
+{
+       int i;
+
+       if (!ls)
+               return -1;
+
+       for (i = 0; i < ls->div->n_row; ++i)
+               if (isl_int_is_zero(ls->div->row[i][0]))
+                       return 0;
+
+       return 1;
+}

diff --git a/isl_local_space_private.h b/isl_local_space_private.h
index b0760ed..f4e1141 100644 (file)
--- a/isl_local_space_private.h
+++ b/isl_local_space_private.h
@@ -26,5 +26,6 @@ unsigned isl_local_space_offset(__isl_keep isl_local_space *ls,
 
 __isl_give isl_local_space *isl_local_space_replace_divs(
        __isl_take isl_local_space *ls, __isl_take isl_mat *div);
+int isl_local_space_divs_known(__isl_keep isl_local_space *ls);
 
 #endif