From 3f641c56213182511acb70b7107910a26541a916 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Wed, 9 Mar 2011 20:46:32 +0100 Subject: [PATCH] iscc: add zip Signed-off-by: Sven Verdoolaege --- doc/isl.tex | 5 +++++ iscc.c | 2 ++ isl | 2 +- 3 files changed, 8 insertions(+), 1 deletion(-) diff --git a/doc/isl.tex b/doc/isl.tex index e4d0a52..1b3876f 100644 --- a/doc/isl.tex +++ b/doc/isl.tex @@ -780,6 +780,11 @@ unwrap the map from the set \ai[\tt]{write} {\tt "}{\it filename}{\tt"} $o$ & write object to file \\ +$m_2$ := \ai[\tt]{zip} $m_1$ & +the cross product of domain and range of $m_1$, i.e., +$\{\, (\vec w \to \vec y) \to (\vec x \to \vec z) +\mid (\vec w \to \vec x) \to (\vec y \to \vec z) \in m_1 \,\}$ +\\ $m_4$ := \ai[\tt]{any} $m_1$ \ai[\tt]{before} $m_2$ \ai[\tt]{under} $m_3$ & compute a map from any element $x$ in the domain of $m_1$ to any element $y$ in the domain of $m_2$ diff --git a/iscc.c b/iscc.c index 1353d96..a3c4117 100644 --- a/iscc.c +++ b/iscc.c @@ -818,6 +818,8 @@ struct isc_named_un_op named_un_ops[] = { (isc_un_op_fn) &isl_union_set_unwrap } }, {"wrap", { -1, isl_obj_union_map, isl_obj_union_set, (isc_un_op_fn) &isl_union_map_wrap } }, + {"zip", { -1, isl_obj_union_map, isl_obj_union_map, + (isc_un_op_fn) &isl_union_map_zip } }, NULL }; diff --git a/isl b/isl index c1556c6..3482bf1 160000 --- a/isl +++ b/isl @@ -1 +1 @@ -Subproject commit c1556c6273cb28cc2c3a7d2b90d1eebef73c9a9d +Subproject commit 3482bf1f4da8c70be2a8eae2554c6fadbd274b53 -- 2.11.4.GIT