From 0a5dfd30e802f707c143332130b371b063e19226 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sat, 29 Oct 2011 13:56:20 +0200 Subject: [PATCH] iscc: add "params" operation Signed-off-by: Sven Verdoolaege --- doc/isl.tex | 6 ++++++ iscc.c | 4 ++++ 2 files changed, 10 insertions(+) diff --git a/doc/isl.tex b/doc/isl.tex index c6c6bd5..e7dd798 100644 --- a/doc/isl.tex +++ b/doc/isl.tex @@ -748,6 +748,12 @@ lift $s_1$ to a space with extra dimensions corresponding to the existentially quantified variables in $s_1$ such that \lstinline!domain(unwrap(lift S))! is equal to \lstinline!S! \\ +$s_2$ := \ai[\tt]{params} $s_1$ & +parameter domain of set $s_1$ +\\ +$s$ := \ai[\tt]{params} $m$ & +parameter domain of map $m$ +\\ $l$ := \ai[\tt]{parse\_file} $S$ & parse the file names $S$ and return a list consisting of the iteration domains, the write access relations, diff --git a/iscc.c b/iscc.c index 6b079b5..44a8384 100644 --- a/iscc.c +++ b/iscc.c @@ -955,6 +955,10 @@ struct isc_named_un_op named_un_ops[] = { (isc_un_op_fn) &isl_union_set_lexmax } }, {"lift", { -1, isl_obj_union_set, isl_obj_union_set, (isc_un_op_fn) &isl_union_set_lift } }, + {"params", { -1, isl_obj_union_map, isl_obj_set, + (isc_un_op_fn) &isl_union_map_params } }, + {"params", { -1, isl_obj_union_set, isl_obj_set, + (isc_un_op_fn) &isl_union_set_params } }, {"poly", { -1, isl_obj_union_map, isl_obj_union_map, (isc_un_op_fn) &isl_union_map_polyhedral_hull } }, {"poly", { -1, isl_obj_union_set, isl_obj_union_set, -- 2.11.4.GIT