isl_basic_map_is_empty: special case universal input

[platform/upstream/isl.git] / isl_space_private.h

diff --git a/isl_space_private.h b/isl_space_private.h
index 74480d6..cc4a89e 100644 (file)
--- a/isl_space_private.h
+++ b/isl_space_private.h
@@ -26,6 +26,11 @@ __isl_give isl_space *isl_space_underlying(__isl_take isl_space *dim,
 
 uint32_t isl_space_get_hash(__isl_keep isl_space *dim);
 
+int isl_space_is_domain_internal(__isl_keep isl_space *space1,
+       __isl_keep isl_space *space2);
+int isl_space_is_range_internal(__isl_keep isl_space *space1,
+       __isl_keep isl_space *space2);
+
 __isl_give isl_space *isl_space_as_set_space(__isl_take isl_space *dim);
 
 unsigned isl_space_offset(__isl_keep isl_space *dim, enum isl_dim_type type);
@@ -43,3 +48,6 @@ __isl_give isl_space *isl_space_replace(__isl_take isl_space *dst,
        enum isl_dim_type type, __isl_keep isl_space *src);
 
 __isl_give isl_space *isl_space_lift(__isl_take isl_space *dim, unsigned n_local);
+
+__isl_give isl_space *isl_space_extend_domain_with_range(
+       __isl_take isl_space *domain, __isl_take isl_space *model);