__isl_give isl_local_space *isl_local_space_dup(__isl_keep isl_local_space *ls)
{
- isl_local_space *dup;
-
if (!ls)
return NULL;
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;
+}