From d73bbb3bc06032df7a45b62cb2e81a08bc9d49b1 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Tue, 28 Dec 2010 18:18:35 +0100 Subject: [PATCH] add isl_{set,map}_dump Signed-off-by: Sven Verdoolaege --- include/isl/map.h | 1 + include/isl/set.h | 1 + isl_output.c | 28 ++++++++++++++++++++++++++++ 3 files changed, 30 insertions(+) diff --git a/include/isl/map.h b/include/isl/map.h index b4b6f12..dec368a 100644 --- a/include/isl/map.h +++ b/include/isl/map.h @@ -160,6 +160,7 @@ __isl_give isl_map *isl_map_read_from_str(isl_ctx *ctx, void isl_basic_map_dump(__isl_keep isl_basic_map *bmap); void isl_basic_map_print(__isl_keep isl_basic_map *bmap, FILE *out, int indent, const char *prefix, const char *suffix, unsigned output_format); +void isl_map_dump(__isl_keep isl_map *map); void isl_map_print(__isl_keep isl_map *map, FILE *out, int indent, unsigned output_format); __isl_give isl_printer *isl_printer_print_basic_map( diff --git a/include/isl/set.h b/include/isl/set.h index 85144dd..5296025 100644 --- a/include/isl/set.h +++ b/include/isl/set.h @@ -96,6 +96,7 @@ __isl_give isl_set *isl_set_read_from_file(isl_ctx *ctx, __isl_give isl_set *isl_set_read_from_str(isl_ctx *ctx, const char *str, int nparam); void isl_basic_set_dump(__isl_keep isl_basic_set *bset); +void isl_set_dump(__isl_keep isl_set *set); __isl_give isl_printer *isl_printer_print_basic_set( __isl_take isl_printer *printer, __isl_keep isl_basic_set *bset); __isl_give isl_printer *isl_printer_print_set(__isl_take isl_printer *printer, diff --git a/isl_output.c b/isl_output.c index d00f144..54fda96 100644 --- a/isl_output.c +++ b/isl_output.c @@ -1194,6 +1194,34 @@ void isl_basic_set_dump(__isl_keep isl_basic_set *bset) isl_printer_free(printer); } +void isl_map_dump(__isl_keep isl_map *map) +{ + isl_printer *printer; + + if (!map) + return; + + printer = isl_printer_to_file(isl_map_get_ctx(map), stderr); + printer = isl_printer_print_map(printer, map); + printer = isl_printer_end_line(printer); + + isl_printer_free(printer); +} + +void isl_set_dump(__isl_keep isl_set *set) +{ + isl_printer *printer; + + if (!set) + return; + + printer = isl_printer_to_file(isl_set_get_ctx(set), stderr); + printer = isl_printer_print_set(printer, set); + printer = isl_printer_end_line(printer); + + isl_printer_free(printer); +} + void isl_union_map_dump(__isl_keep isl_union_map *umap) { isl_printer *printer; -- 2.7.4