add isl_map_from_domain_and_range

diff --git a/include/isl_map.h b/include/isl_map.h
index 06719be..e6bfd04 100644 (file)
--- a/include/isl_map.h
+++ b/include/isl_map.h
@@ -313,7 +313,10 @@ struct isl_map *isl_map_remove_inputs(struct isl_map *map,
 __isl_give isl_set *isl_map_domain(__isl_take isl_map *bmap);
 __isl_give isl_set *isl_map_range(__isl_take isl_map *map);
 __isl_give isl_map *isl_map_from_basic_map(__isl_take isl_basic_map *bmap);
+__isl_give isl_map *isl_map_from_domain(__isl_take isl_set *set);
 struct isl_map *isl_map_from_range(struct isl_set *set);
+__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);
 struct isl_set *isl_set_from_map(struct isl_map *map);
 __isl_give isl_basic_map *isl_map_sample(__isl_take isl_map *map);

diff --git a/isl_map.c b/isl_map.c
index bf4c81f..7746979 100644 (file)
--- a/isl_map.c
+++ b/isl_map.c
@@ -2867,6 +2867,18 @@ struct isl_map *isl_map_from_range(struct isl_set *set)
        return (struct isl_map *)set;
 }
 
+__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_map *isl_map_from_domain_and_range(__isl_take isl_set *domain,
+       __isl_take isl_set *range)
+{
+       return isl_map_product(isl_map_from_domain(domain),
+                              isl_map_from_range(range));
+}
+
 struct isl_set *isl_set_from_map(struct isl_map *map)
 {
        int i;