From 95ce1101ef1a9a6f428209927cd7fcfa379e4034 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sat, 23 Oct 2010 14:33:19 +0200
Subject: [PATCH] add isl_div_div

---
 include/isl_div.h |  1 +
 isl_div.c         | 10 ++++++++++
 2 files changed, 11 insertions(+)

diff --git a/include/isl_div.h b/include/isl_div.h
index f9b590f1..175ed674 100644
--- a/include/isl_div.h
+++ b/include/isl_div.h
@@ -42,6 +42,7 @@ void isl_div_set_coefficient(struct isl_div *div,
 	enum isl_dim_type type, int pos, isl_int v);
 
 unsigned isl_div_dim(__isl_keep isl_div *div, enum isl_dim_type type);
+__isl_give isl_div *isl_div_div(__isl_take isl_div *div, int pos);
 
 #if defined(__cplusplus)
 }
diff --git a/isl_div.c b/isl_div.c
index 3db5ad2b..5b9f3249 100644
--- a/isl_div.c
+++ b/isl_div.c
@@ -72,6 +72,16 @@ struct isl_div *isl_basic_set_div(struct isl_basic_set *bset, int pos)
 	return isl_basic_map_div((struct isl_basic_map *)bset, pos);
 }
 
+__isl_give isl_div *isl_div_div(__isl_take isl_div *div, int pos)
+{
+	isl_basic_map *bmap;
+	if (!div)
+		return NULL;
+	bmap = isl_basic_map_copy(div->bmap);
+	isl_div_free(div);
+	return isl_basic_map_div(bmap, pos);
+}
+
 struct isl_div *isl_div_alloc(struct isl_dim *dim)
 {
 	struct isl_basic_map *bmap;
-- 
2.11.4.GIT