From 6e3d15f67fb92b5bf78c1f5440dfd867f7acf98f Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Sun, 13 Feb 2011 10:14:08 +0100
Subject: [PATCH] isl_printer_print_basic_map: explicitly mark rational maps

---
 isl_output.c | 27 ++++++++++++++++++---------
 1 file changed, 18 insertions(+), 9 deletions(-)

diff --git a/isl_output.c b/isl_output.c
index b564076..fa0f6ce 100644
--- a/isl_output.c
+++ b/isl_output.c
@@ -408,9 +408,11 @@ static __isl_give isl_printer *print_nested_map_dim(__isl_take isl_printer *p,
 }
 
 static __isl_give isl_printer *print_dim(__isl_keep isl_dim *dim,
-	__isl_take isl_printer *p, int set, int latex,
+	__isl_take isl_printer *p, int set, int latex, int rational,
 	__isl_keep isl_basic_map *eq)
 {
+	if (rational && !latex)
+		p = isl_printer_print_str(p, "rat: ");
 	if (set)
 		p = print_tuple(dim, p, isl_dim_set, 1, latex, eq);
 	else {
@@ -639,12 +641,13 @@ static __isl_give isl_printer *isl_basic_map_print_isl(
 	__isl_keep isl_basic_map *bmap, __isl_take isl_printer *p,
 	int set, int latex)
 {
+	int rational = ISL_F_ISSET(bmap, ISL_BASIC_MAP_RATIONAL);
 	if (isl_basic_map_dim(bmap, isl_dim_param) > 0) {
 		p = print_tuple(bmap->dim, p, isl_dim_param, 0, latex, NULL);
 		p = isl_printer_print_str(p, " -> ");
 	}
 	p = isl_printer_print_str(p, "{ ");
-	p = print_dim(bmap->dim, p, set, latex, NULL);
+	p = print_dim(bmap->dim, p, set, latex, rational, NULL);
 	p = isl_printer_print_str(p, " : ");
 	p = print_disjunct(bmap, bmap->dim, p, set, latex);
 	p = isl_printer_print_str(p, " }");
@@ -814,6 +817,7 @@ static __isl_give isl_printer *print_split_map(__isl_take isl_printer *p,
 	struct isl_aff_split *split, int n, int set)
 {
 	int i;
+	int rational;
 
 	for (i = 0; i < n; ++i) {
 		isl_dim *dim;
@@ -821,9 +825,11 @@ static __isl_give isl_printer *print_split_map(__isl_take isl_printer *p,
 		if (!split[i].map)
 			break;
 		dim = split[i].map->dim;
+		rational = split[i].map->n > 0 &&
+		    ISL_F_ISSET(split[i].map->p[0], ISL_BASIC_MAP_RATIONAL);
 		if (i)
 			p = isl_printer_print_str(p, "; ");
-		p = print_dim(dim, p, set, 0, split[i].aff);
+		p = print_dim(dim, p, set, 0, rational, split[i].aff);
 		p = print_disjuncts(split[i].map, p, set, 0);
 	}
 
@@ -834,13 +840,16 @@ static __isl_give isl_printer *isl_map_print_isl_body(__isl_keep isl_map *map,
 	__isl_take isl_printer *p, int set)
 {
 	struct isl_aff_split *split = NULL;
+	int rational;
 
 	if (map->n > 0)
 		split = split_aff(map);
 	if (split) {
 		p = print_split_map(p, split, map->n, set);
 	} else {
-		p = print_dim(map->dim, p, set, 0, NULL);
+		rational = map->n > 0 &&
+		    ISL_F_ISSET(map->p[0], ISL_BASIC_MAP_RATIONAL);
+		p = print_dim(map->dim, p, set, 0, rational, NULL);
 		p = print_disjuncts(map, p, set, 0);
 	}
 	free_split(split, map->n);
@@ -868,7 +877,7 @@ static __isl_give isl_printer *print_latex_map(__isl_keep isl_map *map,
 		p = isl_printer_print_str(p, s_to[1]);
 	}
 	p = isl_printer_print_str(p, s_open_set[1]);
-	p = print_dim(map->dim, p, set, 1, aff);
+	p = print_dim(map->dim, p, set, 1, 0, aff);
 	p = print_disjuncts(map, p, set, 1);
 	p = isl_printer_print_str(p, s_close_set[1]);
 
@@ -1534,7 +1543,7 @@ static __isl_give isl_printer *isl_pwqp_print_isl_body(
 			p = isl_printer_print_str(p, "; ");
 		if (isl_dim_size(pwqp->dim, isl_dim_set) > 0 ||
 		    isl_dim_is_named_or_nested(pwqp->dim, isl_dim_set)) {
-			p = print_dim(pwqp->p[i].set->dim, p, 1, 0, NULL);
+			p = print_dim(pwqp->p[i].set->dim, p, 1, 0, 0, NULL);
 			p = isl_printer_print_str(p, " -> ");
 		}
 		p = isl_printer_print_qpolynomial(p, pwqp->p[i].qp);
@@ -1558,7 +1567,7 @@ static __isl_give isl_printer *print_pw_qpolynomial_isl(
 	if (pwqp->n == 0) {
 		if (isl_dim_size(pwqp->dim, isl_dim_set) > 0 ||
 		    isl_dim_is_named_or_nested(pwqp->dim, isl_dim_set)) {
-			p = print_dim(pwqp->dim, p, 1, 0, NULL);
+			p = print_dim(pwqp->dim, p, 1, 0, 0, NULL);
 			p = isl_printer_print_str(p, " -> ");
 		}
 		p = isl_printer_print_str(p, "0");
@@ -1596,7 +1605,7 @@ static __isl_give isl_printer *isl_pwf_print_isl_body(
 			p = isl_printer_print_str(p, "; ");
 		if (isl_dim_size(pwf->dim, isl_dim_set) > 0 ||
 		    isl_dim_is_named_or_nested(pwf->dim, isl_dim_set)) {
-			p = print_dim(pwf->p[i].set->dim, p, 1, 0, NULL);
+			p = print_dim(pwf->p[i].set->dim, p, 1, 0, 0, NULL);
 			p = isl_printer_print_str(p, " -> ");
 		}
 		p = qpolynomial_fold_print(pwf->p[i].fold, p);
@@ -1617,7 +1626,7 @@ static __isl_give isl_printer *print_pw_qpolynomial_fold_isl(
 	if (pwf->n == 0) {
 		if (isl_dim_size(pwf->dim, isl_dim_set) > 0 ||
 		    isl_dim_is_named_or_nested(pwf->dim, isl_dim_set)) {
-			p = print_dim(pwf->dim, p, 1, 0, NULL);
+			p = print_dim(pwf->dim, p, 1, 0, 0, NULL);
 			p = isl_printer_print_str(p, " -> ");
 		}
 		p = isl_printer_print_str(p, "0");
-- 
2.7.4