add isl_pw_qpolynomial_fold_dump

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

diff --git a/include/isl/polynomial.h b/include/isl/polynomial.h
index 3dec674..fa29cbe 100644 (file)
--- a/include/isl/polynomial.h
+++ b/include/isl/polynomial.h
@@ -357,6 +357,7 @@ __isl_give isl_printer *isl_printer_print_pw_qpolynomial_fold(
        __isl_take isl_printer *p, __isl_keep isl_pw_qpolynomial_fold *pwf);
 void isl_pw_qpolynomial_fold_print(__isl_keep isl_pw_qpolynomial_fold *pwf,
        FILE *out, unsigned output_format);
+void isl_pw_qpolynomial_fold_dump(__isl_keep isl_pw_qpolynomial_fold *pwf);
 
 __isl_give isl_pw_qpolynomial_fold *isl_pw_qpolynomial_fold_coalesce(
        __isl_take isl_pw_qpolynomial_fold *pwf);

diff --git a/isl_output.c b/isl_output.c
index 3f93243..67a4195 100644 (file)
--- a/isl_output.c
+++ b/isl_output.c
@@ -1294,6 +1294,21 @@ void isl_pw_qpolynomial_dump(__isl_keep isl_pw_qpolynomial *pwqp)
        isl_printer_free(printer);
 }
 
+void isl_pw_qpolynomial_fold_dump(__isl_keep isl_pw_qpolynomial_fold *pwf)
+{
+       isl_printer *printer;
+
+       if (!pwf)
+               return;
+
+       printer = isl_printer_to_file(
+                       isl_pw_qpolynomial_fold_get_ctx(pwf), stderr);
+       printer = isl_printer_print_pw_qpolynomial_fold(printer, pwf);
+       printer = isl_printer_end_line(printer);
+
+       isl_printer_free(printer);
+}
+
 void isl_union_pw_qpolynomial_fold_dump(
        __isl_keep isl_union_pw_qpolynomial_fold *upwf)
 {