From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 1 Sep 2011 08:18:18 +0000 (+0200)
Subject: add isl_aff_le_basic_set
X-Git-Tag: isl-0.08~150
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=b433b5879651a4acc96fabd8de3bbdd9ea07b31d;p=platform%2Fupstream%2Fisl.git

add isl_aff_le_basic_set

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

diff --git a/doc/user.pod b/doc/user.pod
index c9ea656..1a815ef 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -2625,6 +2625,8 @@ When multiplying two affine expressions, at least one of the two needs
 to be a constant.
 
 	#include <isl/aff.h>
+	__isl_give isl_basic_set *isl_aff_le_basic_set(
+		__isl_take isl_aff *aff1, __isl_take isl_aff *aff2);
 	__isl_give isl_basic_set *isl_aff_ge_basic_set(
 		__isl_take isl_aff *aff1, __isl_take isl_aff *aff2);
 	__isl_give isl_set *isl_pw_aff_eq_set(
diff --git a/include/isl/aff.h b/include/isl/aff.h
index 63e5f4b..c789a95 100644
--- a/include/isl/aff.h
+++ b/include/isl/aff.h
@@ -82,6 +82,8 @@ __isl_give isl_aff *isl_aff_drop_dims(__isl_take isl_aff *aff,
 __isl_give isl_aff *isl_aff_gist(__isl_take isl_aff *aff,
 	__isl_take isl_set *context);
 
+__isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1,
+	__isl_take isl_aff *aff2);
 __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1,
 	__isl_take isl_aff *aff2);
 
diff --git a/isl_aff.c b/isl_aff.c
index 8c81c08..0c7f17d 100644
--- a/isl_aff.c
+++ b/isl_aff.c
@@ -905,6 +905,15 @@ __isl_give isl_basic_set *isl_aff_ge_basic_set(__isl_take isl_aff *aff1,
 	return isl_aff_nonneg_basic_set(aff1);
 }
 
+/* Return a basic set containing those elements in the shared space
+ * of aff1 and aff2 where aff1 is smaller than or equal to aff2.
+ */
+__isl_give isl_basic_set *isl_aff_le_basic_set(__isl_take isl_aff *aff1,
+	__isl_take isl_aff *aff2)
+{
+	return isl_aff_ge_basic_set(aff2, aff1);
+}
+
 __isl_give isl_aff *isl_aff_add_on_domain(__isl_keep isl_set *dom,
 	__isl_take isl_aff *aff1, __isl_take isl_aff *aff2)
 {