From: Sven Verdoolaege <skimo@kotnet.org>
Date: Mon, 27 Sep 2010 08:24:35 +0000 (+0200)
Subject: add isl_union_set_dump for debugging
X-Git-Tag: isl-0.05~136
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=b7a3d80114a561d3e92ea9e3b7922bf509358320;p=platform%2Fupstream%2Fisl.git

add isl_union_set_dump for debugging

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

diff --git a/isl_output.c b/isl_output.c
index 64b4119..bc7c9fe 100644
--- a/isl_output.c
+++ b/isl_output.c
@@ -1145,6 +1145,20 @@ void isl_union_map_dump(__isl_keep isl_union_map *umap)
 	isl_printer_free(printer);
 }
 
+void isl_union_set_dump(__isl_keep isl_union_set *uset)
+{
+	isl_printer *printer;
+
+	if (!uset)
+		return;
+
+	printer = isl_printer_to_file(isl_union_set_get_ctx(uset), stderr);
+	printer = isl_printer_print_union_set(printer, uset);
+	printer = isl_printer_end_line(printer);
+
+	isl_printer_free(printer);
+}
+
 void isl_union_pw_qpolynomial_dump(__isl_keep isl_union_pw_qpolynomial *upwqp)
 {
 	isl_printer *printer;