From a7a12c97d4014048a8c710e0475ea533b11ae63c Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Tue, 4 Aug 2009 17:17:26 +0200
Subject: [PATCH] privately export isl_basic_set_order_divs

---
 isl_map.c         | 7 +++++++
 isl_map_private.h | 1 +
 2 files changed, 8 insertions(+)

diff --git a/isl_map.c b/isl_map.c
index 49291c6b..bb357efc 100644
--- a/isl_map.c
+++ b/isl_map.c
@@ -3957,6 +3957,8 @@ static struct isl_basic_map *order_divs(struct isl_basic_map *bmap)
 
 	for (i = 0; i < bmap->n_div; ++i) {
 		int pos;
+		if (isl_int_is_zero(bmap->div[i][0]))
+			continue;
 		pos = isl_seq_first_non_zero(bmap->div[i]+1+1+off+i,
 							    bmap->n_div-i);
 		if (pos == -1)
@@ -3967,6 +3969,11 @@ static struct isl_basic_map *order_divs(struct isl_basic_map *bmap)
 	return bmap;
 }
 
+struct isl_basic_set *isl_basic_set_order_divs(struct isl_basic_set *bset)
+{
+	return (struct isl_basic_set *)order_divs((struct isl_basic_map *)bset);
+}
+
 /* Look for a div in dst that corresponds to the div "div" in src.
  * The divs before "div" in src and dst are assumed to be the same.
  * 
diff --git a/isl_map_private.h b/isl_map_private.h
index 68873fbb..e149d7a0 100644
--- a/isl_map_private.h
+++ b/isl_map_private.h
@@ -64,6 +64,7 @@ struct isl_basic_map *isl_basic_map_set_to_empty(struct isl_basic_map *bmap);
 struct isl_basic_set *isl_basic_set_set_to_empty(struct isl_basic_set *bset);
 struct isl_map *isl_basic_map_compute_divs(struct isl_basic_map *bmap);
 struct isl_map *isl_map_compute_divs(struct isl_map *map);
+struct isl_basic_set *isl_basic_set_order_divs(struct isl_basic_set *bset);
 void isl_basic_map_swap_div(struct isl_basic_map *bmap, int a, int b);
 struct isl_basic_map *isl_basic_map_align_divs(
 		struct isl_basic_map *dst, struct isl_basic_map *src);
-- 
2.11.4.GIT