summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
raw | patch | inline | side by side (parent: ba54c12)
add isl_multi_aff_list
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 5 Jul 2017 12:10:23 +0000 (5 14:10 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Fri, 14 May 2021 22:16:01 +0000 (15 00:16 +0200)
This type will be used for specifying intra-statement
consecutivity constraints.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
doc/user.pod patch | blob | blame | history
include/isl/aff.h patch | blob | blame | history
include/isl/aff_type.h patch | blob | blame | history
isl_aff.c patch | blob | blame | history
isl_aff_private.h patch | blob | blame | history

diff --git a/doc/user.pod b/doc/user.pod
index 95fe252..dfa35e6 100644 (file)
--- a/doc/user.pod
+++ b/doc/user.pod
@@ -9265,7 +9265,7 @@ where C<cond> is zero.
 
 Lists are defined over several element types, including
 C<isl_val>, C<isl_id>, C<isl_space>,
-C<isl_pw_aff>, C<isl_pw_multi_aff>,
+C<isl_aff>, C<isl_multi_aff>, C<isl_pw_aff>, C<isl_union_pw_aff>,
 C<isl_union_pw_aff>,
 C<isl_union_pw_multi_aff>,
 C<isl_qpolynomial>, C<isl_pw_qpolynomial>, C<isl_pw_qpolynomial_fold>,
diff --git a/include/isl/aff.h b/include/isl/aff.h
index bee8544..680c08d 100644 (file)
--- a/include/isl/aff.h
+++ b/include/isl/aff.h
@@ -1451,6 +1451,7 @@ void isl_multi_union_pw_aff_dump(__isl_keep isl_multi_union_pw_aff *mupa);
 
 ISL_DECLARE_EXPORTED_LIST_FN(aff)
 ISL_DECLARE_EXPORTED_LIST_FN(pw_aff)
+ISL_DECLARE_LIST_FN(multi_aff)
 ISL_DECLARE_EXPORTED_LIST_FN(pw_multi_aff)
 ISL_DECLARE_EXPORTED_LIST_FN(union_pw_aff)
 ISL_DECLARE_LIST_FN(union_pw_multi_aff)
diff --git a/include/isl/aff_type.h b/include/isl/aff_type.h
index 271f978..4e9b68a 100644 (file)
--- a/include/isl/aff_type.h
+++ b/include/isl/aff_type.h
@@ -28,6 +28,8 @@ struct __isl_subclass(isl_multi_pw_aff) __isl_subclass(isl_pw_multi_aff)
        isl_multi_aff;
 typedef struct isl_multi_aff isl_multi_aff;
 
+ISL_DECLARE_LIST_TYPE(multi_aff)
+
 struct __isl_subclass(isl_multi_pw_aff) __isl_subclass(isl_union_pw_multi_aff)
        isl_pw_multi_aff;
 typedef struct isl_pw_multi_aff isl_pw_multi_aff;
diff --git a/isl_aff.c b/isl_aff.c
index 5a160da..96ba8b7 100644 (file)
--- a/isl_aff.c
+++ b/isl_aff.c
@@ -39,6 +39,11 @@
 #include <isl_list_templ.c>
 
 #undef EL_BASE
+#define EL_BASE multi_aff
+
+#include <isl_list_templ.c>
+
+#undef EL_BASE
 #define EL_BASE pw_aff
 
 #include <isl_list_templ.c>
diff --git a/isl_aff_private.h b/isl_aff_private.h
index 8c94f04..e5f2101 100644 (file)
--- a/isl_aff_private.h
+++ b/isl_aff_private.h
@@ -136,6 +136,11 @@ isl_stat isl_aff_check_match_domain_space(__isl_keep isl_aff *aff,
 
 #include <isl_multi_templ.h>
 
+#undef EL
+#define EL isl_multi_aff
+
+#include <isl_list_templ.h>
+
 __isl_give isl_multi_aff *isl_multi_aff_dup(__isl_keep isl_multi_aff *multi);
 
 __isl_give isl_multi_aff *isl_multi_aff_align_divs(
Integer set library