From b854aa9687e6cc952c415409b96921fa6795b2e9 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 17 Feb 2011 20:37:06 +0100 Subject: [PATCH] add isl_basic_map_from_domain_and_range Signed-off-by: Sven Verdoolaege --- include/isl/map.h | 2 ++ isl_map.c | 7 +++++++ 2 files changed, 9 insertions(+) diff --git a/include/isl/map.h b/include/isl/map.h index 5f5d238..ca52337 100644 --- 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 --- 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) { -- 2.7.4