From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 6 Dec 2011 08:17:03 +0000 (+0100)
Subject: add isl_space_map_from_domain_and_range
X-Git-Tag: isl-0.09~15
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=ffbcd033895737a4068d2a4376aff3d0da434eef;p=platform%2Fupstream%2Fisl.git

add isl_space_map_from_domain_and_range

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

diff --git a/doc/user.pod b/doc/user.pod
index a1f7fb5..6c40d9e 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -764,6 +764,9 @@ using the following functions.
 		unsigned n);
 	__isl_give isl_space *isl_space_map_from_set(
 		__isl_take isl_space *space);
+	__isl_give isl_space *isl_space_map_from_domain_and_range(
+		__isl_take isl_space *domain,
+		__isl_take isl_space *range);
 	__isl_give isl_space *isl_space_zip(__isl_take isl_space *space);
 
 Note that if dimensions are added or removed from a space, then
diff --git a/include/isl/space.h b/include/isl/space.h
index d3496e0..afbd3e3 100644
--- a/include/isl/space.h
+++ b/include/isl/space.h
@@ -91,6 +91,8 @@ __isl_give isl_space *isl_space_domain_product(__isl_take isl_space *left,
 __isl_give isl_space *isl_space_range_product(__isl_take isl_space *left,
 	__isl_take isl_space *right);
 __isl_give isl_space *isl_space_map_from_set(__isl_take isl_space *dim);
+__isl_give isl_space *isl_space_map_from_domain_and_range(
+	__isl_take isl_space *domain, __isl_take isl_space *range);
 __isl_give isl_space *isl_space_reverse(__isl_take isl_space *dim);
 __isl_give isl_space *isl_space_drop_dims(__isl_take isl_space *dim,
 	enum isl_dim_type type, unsigned first, unsigned num);
diff --git a/isl_space.c b/isl_space.c
index ae68013..88b9626 100644
--- a/isl_space.c
+++ b/isl_space.c
@@ -1067,6 +1067,24 @@ error:
 	return NULL;
 }
 
+__isl_give isl_space *isl_space_map_from_domain_and_range(
+	__isl_take isl_space *domain, __isl_take isl_space *range)
+{
+	if (!domain || !range)
+		goto error;
+	if (!isl_space_is_set(domain))
+		isl_die(isl_space_get_ctx(domain), isl_error_invalid,
+			"domain is not a set space", goto error);
+	if (!isl_space_is_set(range))
+		isl_die(isl_space_get_ctx(range), isl_error_invalid,
+			"range is not a set space", goto error);
+	return isl_space_join(isl_space_reverse(domain), range);
+error:
+	isl_space_free(domain);
+	isl_space_free(range);
+	return NULL;
+}
+
 static __isl_give isl_space *set_ids(__isl_take isl_space *dim,
 	enum isl_dim_type type,
 	unsigned first, unsigned n, __isl_take isl_id **ids)