summaryloggraphiclog1graphiclog2commitcommitdifftreerefseditfork
rawpatchinlineside by side (parent: 8744653)
rawpatchinlineside by side (parent: 8744653)
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Thu, 12 Apr 2018 10:06:00 +0000 (12 12:06 +0200) | ||
| committer | Sven Verdoolaege <sven@cerebras.net> | |
| Thu, 2 May 2019 16:19:13 +0000 (2 18:19 +0200) |
The isl_multi_*_involves_nan function is only useful
in case the base expressions can actually represent a NaN.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
in case the base expressions can actually represent a NaN.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
diff --git a/Makefile.am b/Makefile.am
--- a/Makefile.am
+++ b/Makefile.am
isl_multi_intersect.c \
isl_multi_identity_templ.c \
isl_multi_move_dims_templ.c \
+ isl_multi_nan_templ.c \
isl_multi_param_templ.c \
isl_multi_product_templ.c \
isl_multi_splice_templ.c \
diff --git a/include/isl/aff.h b/include/isl/aff.h
--- a/include/isl/aff.h
+++ b/include/isl/aff.h
ISL_DECLARE_MULTI(aff)
ISL_DECLARE_MULTI_CMP(aff)
ISL_DECLARE_MULTI_ARITH(aff)
+ISL_DECLARE_MULTI_NAN(aff)
ISL_DECLARE_MULTI_DIMS(aff)
ISL_DECLARE_MULTI_WITH_DOMAIN(aff)
ISL_DECLARE_MULTI(pw_aff)
ISL_DECLARE_MULTI_ARITH(pw_aff)
+ISL_DECLARE_MULTI_NAN(pw_aff)
ISL_DECLARE_MULTI_DIMS(pw_aff)
ISL_DECLARE_MULTI_WITH_DOMAIN(pw_aff)
ISL_DECLARE_MULTI_PARAM(pw_aff)
ISL_DECLARE_MULTI(union_pw_aff)
ISL_DECLARE_MULTI_ARITH(union_pw_aff)
+ISL_DECLARE_MULTI_NAN(union_pw_aff)
__isl_give isl_multi_union_pw_aff *isl_multi_union_pw_aff_from_multi_aff(
__isl_take isl_multi_aff *ma);
diff --git a/include/isl/multi.h b/include/isl/multi.h
--- a/include/isl/multi.h
+++ b/include/isl/multi.h
isl_bool isl_multi_##BASE##_plain_is_equal( \
__isl_keep isl_multi_##BASE *multi1, \
__isl_keep isl_multi_##BASE *multi2); \
-isl_bool isl_multi_##BASE##_involves_nan( \
- __isl_keep isl_multi_##BASE *multi); \
int isl_multi_##BASE##_find_dim_by_id( \
__isl_keep isl_multi_##BASE *multi, enum isl_dim_type type, \
__isl_keep isl_id *id); \
__isl_give isl_multi_##BASE *isl_multi_##BASE##_neg( \
__isl_take isl_multi_##BASE *multi);
+#define ISL_DECLARE_MULTI_NAN(BASE) \
+isl_bool isl_multi_##BASE##_involves_nan( \
+ __isl_keep isl_multi_##BASE *multi);
+
#define ISL_DECLARE_MULTI_DIMS(BASE) \
isl_bool isl_multi_##BASE##_involves_dims( \
__isl_keep isl_multi_##BASE *multi, enum isl_dim_type type, \
diff --git a/include/isl/val.h b/include/isl/val.h
--- a/include/isl/val.h
+++ b/include/isl/val.h
ISL_DECLARE_MULTI(val)
ISL_DECLARE_MULTI_ARITH(val)
+ISL_DECLARE_MULTI_NAN(val)
ISL_DECLARE_MULTI_DIMS(val)
ISL_DECLARE_MULTI_WITH_DOMAIN(val)
diff --git a/isl_aff.c b/isl_aff.c
--- a/isl_aff.c
+++ b/isl_aff.c
#include <isl_multi_gist.c>
#include <isl_multi_identity_templ.c>
#include <isl_multi_move_dims_templ.c>
+#include <isl_multi_nan_templ.c>
#include <isl_multi_product_templ.c>
#include <isl_multi_splice_templ.c>
#include <isl_multi_zero_templ.c>
#include <isl_multi_align_set.c>
#include <isl_multi_intersect.c>
#include <isl_multi_move_dims_templ.c>
+#include <isl_multi_nan_templ.c>
#include <isl_multi_param_templ.c>
#include <isl_multi_product_templ.c>
#include <isl_multi_splice_templ.c>
#include <isl_multi_align_set.c>
#include <isl_multi_align_union_set.c>
#include <isl_multi_intersect.c>
+#include <isl_multi_nan_templ.c>
/* Does "mupa" have a non-trivial explicit domain?
*
diff --git a/isl_multi_nan_templ.c b/isl_multi_nan_templ.c
--- /dev/null
+++ b/isl_multi_nan_templ.c
@@ -0,0 +1,30 @@
+/*
+ * Copyright 2014 Ecole Normale Superieure
+ *
+ * Use of this software is governed by the MIT license
+ *
+ * Written by Sven Verdoolaege,
+ * Ecole Normale Superieure, 45 rue d'Ulm, 75230 Paris, France
+ */
+
+#include <isl_multi_macro.h>
+
+/* Does "multi" involve any NaNs?
+ */
+isl_bool FN(MULTI(BASE),involves_nan)(__isl_keep MULTI(BASE) *multi)
+{
+ int i;
+
+ if (!multi)
+ return isl_bool_error;
+ if (multi->n == 0)
+ return isl_bool_false;
+
+ for (i = 0; i < multi->n; ++i) {
+ isl_bool has_nan = FN(EL,involves_nan)(multi->u.p[i]);
+ if (has_nan < 0 || has_nan)
+ return has_nan;
+ }
+
+ return isl_bool_false;
+}
diff --git a/isl_multi_templ.c b/isl_multi_templ.c
--- a/isl_multi_templ.c
+++ b/isl_multi_templ.c
return isl_bool_true;
}
-
-/* Does "multi" involve any NaNs?
- */
-isl_bool FN(MULTI(BASE),involves_nan)(__isl_keep MULTI(BASE) *multi)
-{
- int i;
-
- if (!multi)
- return isl_bool_error;
- if (multi->n == 0)
- return isl_bool_false;
-
- for (i = 0; i < multi->n; ++i) {
- isl_bool has_nan = FN(EL,involves_nan)(multi->u.p[i]);
- if (has_nan < 0 || has_nan)
- return has_nan;
- }
-
- return isl_bool_false;
-}
diff --git a/isl_val.c b/isl_val.c
--- a/isl_val.c
+++ b/isl_val.c
#include <isl_multi_templ.c>
#include <isl_multi_arith_templ.c>
#include <isl_multi_dims.c>
+#include <isl_multi_nan_templ.c>
#include <isl_multi_product_templ.c>
#include <isl_multi_splice_templ.c>
#include <isl_multi_zero_templ.c>