add isl_basic_map_from_domain_and_range

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

diff --git a/include/isl/map.h b/include/isl/map.h
index 5f5d238..ca52337 100644 (file)
--- a/include/isl/map.h
+++ b/include/isl/map.h
@@ -353,6 +353,8 @@ __isl_give isl_basic_map *isl_basic_map_from_domain(
 __isl_give isl_basic_map *isl_basic_map_from_range(
        __isl_take isl_basic_set *bset);
 struct isl_map *isl_map_from_range(struct isl_set *set);
+__isl_give isl_basic_map *isl_basic_map_from_domain_and_range(
+       __isl_take isl_basic_set *domain, __isl_take isl_basic_set *range);
 __isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domain,
        __isl_take isl_set *range);
 struct isl_map *isl_map_from_set(struct isl_set *set, struct isl_dim *dim);

diff --git a/isl_map.c b/isl_map.c
index 0b5f298..48e3663 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -4033,6 +4033,13 @@ __isl_give isl_map *isl_map_from_domain(__isl_take isl_set *set)
        return isl_map_reverse(isl_map_from_range(set));
 }
 
+__isl_give isl_basic_map *isl_basic_map_from_domain_and_range(
+       __isl_take isl_basic_set *domain, __isl_take isl_basic_set *range)
+{
+       return isl_basic_map_apply_range(isl_basic_map_from_domain(domain),
+                                        isl_basic_map_from_range(range));
+}
+
 __isl_give isl_map *isl_map_from_domain_and_range(__isl_take isl_set *domain,
        __isl_take isl_set *range)
 {