From: Sven Verdoolaege <skimo@kotnet.org>
Date: Wed, 12 Sep 2012 08:25:09 +0000 (+0200)
Subject: export isl_set_plain_cmp
X-Git-Tag: isl-0.11~170
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=860bda1ff311dc2efe2d4508078ba3e9d35a13cf;p=platform%2Fupstream%2Fisl.git

export isl_set_plain_cmp

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

diff --git a/doc/user.pod b/doc/user.pod
index cdb46d6..6099c07 100644
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -1955,6 +1955,17 @@ Check whether the range of the (basic) relation is a wrapped relation.
 Check whether the first argument is a (strict) subset of the
 second argument.
 
+=item * Order
+
+	int isl_set_plain_cmp(__isl_keep isl_set *set1,
+		__isl_keep isl_set *set2);
+
+This function is useful for sorting C<isl_set>s.
+The order depends on the internal representation of the inputs.
+The order is fixed over different calls to the function (assuming
+the internal representation of the inputs has not changed), but may
+change over different versions of C<isl>.
+
 =back
 
 =head2 Unary Operations
diff --git a/include/isl/set.h b/include/isl/set.h
index e9ca691..8276f20 100644
--- a/include/isl/set.h
+++ b/include/isl/set.h
@@ -424,6 +424,7 @@ int isl_set_dim_residue_class(struct isl_set *set,
 __isl_export
 __isl_give isl_set *isl_set_coalesce(__isl_take isl_set *set);
 
+int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_plain_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_fast_is_equal(__isl_keep isl_set *set1, __isl_keep isl_set *set2);
 int isl_set_plain_is_disjoint(__isl_keep isl_set *set1,
diff --git a/isl_map.c b/isl_map.c
index 244cb59..c83a446 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -8179,8 +8179,7 @@ int isl_basic_set_plain_cmp(const __isl_keep isl_basic_set *bset1,
 	return isl_basic_map_plain_cmp(bset1, bset2);
 }
 
-int isl_set_plain_cmp(const __isl_keep isl_set *set1,
-	const __isl_keep isl_set *set2)
+int isl_set_plain_cmp(__isl_keep isl_set *set1, __isl_keep isl_set *set2)
 {
 	int i, cmp;
 
diff --git a/isl_map_private.h b/isl_map_private.h
index b550ae7..32fe7da 100644
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -204,8 +204,6 @@ __isl_give isl_basic_set *isl_basic_set_sort_constraints(
 	__isl_take isl_basic_set *bset);
 int isl_basic_map_plain_cmp(const __isl_keep isl_basic_map *bmap1,
 	const __isl_keep isl_basic_map *bmap2);
-int isl_set_plain_cmp(const __isl_keep isl_set *set1,
-	const __isl_keep isl_set *set2);
 int isl_basic_set_plain_is_equal(__isl_keep isl_basic_set *bset1,
 	__isl_keep isl_basic_set *bset2);
 int isl_basic_map_plain_is_equal(__isl_keep isl_basic_map *bmap1,
diff --git a/isl_pw_templ.c b/isl_pw_templ.c
index fa757c0..6830cf2 100644
--- a/isl_pw_templ.c
+++ b/isl_pw_templ.c
@@ -1526,8 +1526,8 @@ __isl_give PW *FN(PW,scale)(__isl_take PW *pw, isl_int v)
 
 static int FN(PW,qsort_set_cmp)(const void *p1, const void *p2)
 {
-	const isl_set *set1 = *(const isl_set **)p1;
-	const isl_set *set2 = *(const isl_set **)p2;
+	isl_set *set1 = *(isl_set * const *)p1;
+	isl_set *set2 = *(isl_set * const *)p2;
 
 	return isl_set_plain_cmp(set1, set2);
 }