From f6117503ad00b0bbd0a1149d2a10cb415dba2f0c Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Fri, 15 Oct 2010 11:15:32 +0200 Subject: [PATCH] cloog_input_dump_cloog: use extended polylib output format The standard PolyLib output format is not usable if any of domains in the input contain any existentially quantified variables. Signed-off-by: Sven Verdoolaege --- source/isl/domain.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/source/isl/domain.c b/source/isl/domain.c index a9bf3e4..81e78dc 100644 --- a/source/isl/domain.c +++ b/source/isl/domain.c @@ -43,7 +43,7 @@ void cloog_domain_print_constraints(FILE *foo, CloogDomain *domain, int print_number) { if (print_number) - isl_set_print(&domain->set, foo, 0, ISL_FORMAT_POLYLIB); + isl_set_print(&domain->set, foo, 0, ISL_FORMAT_EXT_POLYLIB); else { assert(domain->set.n == 1); isl_basic_set_print(domain->set.p[0], foo, @@ -56,7 +56,7 @@ void cloog_scattering_print_constraints(FILE *foo, CloogScattering *scattering, int print_number) { if (print_number) - isl_map_print(&scattering->map, foo, 0, ISL_FORMAT_POLYLIB); + isl_map_print(&scattering->map, foo, 0, ISL_FORMAT_EXT_POLYLIB); else { assert(scattering->map.n == 1); isl_basic_map_print(scattering->map.p[0], foo, -- 2.11.4.GIT