summaryloggraphiclog1graphiclog2commitcommitdifftreerefseditfork
rawpatchinlineside by side (parent: 7723d3c)
rawpatchinlineside by side (parent: 7723d3c)
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 23 Oct 2018 19:35:41 +0000 (23 21:35 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 23 Oct 2018 19:35:41 +0000 (23 21:35 +0200) |
This will be reused in the next commit.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| Makefile.am | patchblobblamehistory | |
| check_reparse_templ.c | [new file with mode: 0644] | patchblob |
| isl_test.c | patchblobblamehistory |
diff --git a/Makefile.am b/Makefile.am
--- a/Makefile.am
+++ b/Makefile.am
basis_reduction_templ.c \
bset_to_bmap.c \
bset_from_bmap.c \
+ check_reparse_templ.c \
extract_key.c \
has_single_reference_templ.c \
isl_list_templ.c \
diff --git a/check_reparse_templ.c b/check_reparse_templ.c
--- /dev/null
+++ b/check_reparse_templ.c
@@ -0,0 +1,32 @@
+#define xCAT(A,B) A ## B
+#define CAT(A,B) xCAT(A,B)
+#undef TYPE
+#define TYPE CAT(isl_,BASE)
+#define xFN(TYPE,NAME) TYPE ## _ ## NAME
+#define FN(TYPE,NAME) xFN(TYPE,NAME)
+
+/* Check that printing "obj" and parsing the output results
+ * in the same expression.
+ */
+static isl_stat FN(check_reparse,BASE)(isl_ctx *ctx,
+ __isl_take TYPE *obj)
+{
+ char *str;
+ isl_bool equal;
+ TYPE *obj2;
+
+ str = FN(TYPE,to_str)(obj);
+ obj2 = FN(TYPE,read_from_str)(ctx, str);
+ free(str);
+ equal = FN(TYPE,plain_is_equal)(obj, obj2);
+ FN(TYPE,free)(obj);
+ FN(TYPE,free)(obj2);
+ if (equal < 0)
+ return isl_stat_error;
+ if (!equal)
+ isl_die(ctx, isl_error_unknown,
+ "parsed function not equal to original",
+ return isl_stat_error);
+
+ return isl_stat_ok;
+}
diff --git a/isl_test.c b/isl_test.c
--- a/isl_test.c
+++ b/isl_test.c
return mv ? 0 : -1;
}
-/* Check that printing "mpa" and parsing the output results
- * in the same expression.
- */
-static isl_stat check_reparse_mpa(isl_ctx *ctx,
- __isl_take isl_multi_pw_aff *mpa)
-{
- char *str;
- isl_bool equal;
- isl_multi_pw_aff *mpa2;
-
- str = isl_multi_pw_aff_to_str(mpa);
- mpa2 = isl_multi_pw_aff_read_from_str(ctx, str);
- free(str);
- equal = isl_multi_pw_aff_plain_is_equal(mpa, mpa2);
- isl_multi_pw_aff_free(mpa);
- isl_multi_pw_aff_free(mpa2);
- if (equal < 0)
- return isl_stat_error;
- if (!equal)
- isl_die(ctx, isl_error_unknown,
- "parsed function not equal to original",
- return isl_stat_error);
+#undef BASE
+#define BASE multi_pw_aff
- return isl_stat_ok;
-}
+#include "check_reparse_templ.c"
/* String descriptions of multi piecewise affine expressions
* that are used for testing printing and parsing.
space = isl_space_set_alloc(ctx, 0, 0);
space = isl_space_set_tuple_name(space, isl_dim_set, "A");
mpa = isl_multi_pw_aff_zero(space);
- r = check_reparse_mpa(ctx, mpa);
+ r = check_reparse_multi_pw_aff(ctx, mpa);
if (r < 0)
return -1;
dom = isl_set_lower_bound_si(dom, isl_dim_param, 0, 5);
mpa = isl_multi_pw_aff_zero(space);
mpa = isl_multi_pw_aff_intersect_domain(mpa, dom);
- r = check_reparse_mpa(ctx, mpa);
+ r = check_reparse_multi_pw_aff(ctx, mpa);
if (r < 0)
return -1;
str = parse_multi_mpa_tests[i];
mpa = isl_multi_pw_aff_read_from_str(ctx, str);
- r = check_reparse_mpa(ctx, mpa);
+ r = check_reparse_multi_pw_aff(ctx, mpa);
if (r < 0)
return -1;
}
return 0;
}
-/* Check that printing "mupa" and parsing the output results
- * in the same expression.
- */
-static isl_stat check_reparse_mupa(isl_ctx *ctx,
- __isl_take isl_multi_union_pw_aff *mupa)
-{
- char *str;
- isl_bool equal;
- isl_multi_union_pw_aff *mupa2;
- str = isl_multi_union_pw_aff_to_str(mupa);
- mupa2 = isl_multi_union_pw_aff_read_from_str(ctx, str);
- free(str);
- equal = isl_multi_union_pw_aff_plain_is_equal(mupa, mupa2);
- isl_multi_union_pw_aff_free(mupa);
- isl_multi_union_pw_aff_free(mupa2);
- if (equal < 0)
- return isl_stat_error;
- if (!equal)
- isl_die(ctx, isl_error_unknown,
- "parsed function not equal to original",
- return isl_stat_error);
+#undef BASE
+#define BASE multi_union_pw_aff
- return isl_stat_ok;
-}
+#include "check_reparse_templ.c"
/* String descriptions of multi union piecewise affine expressions
* that are used for testing printing and parsing.
space = isl_space_set_alloc(ctx, 0, 0);
space = isl_space_set_tuple_name(space, isl_dim_set, "A");
mupa = isl_multi_union_pw_aff_zero(space);
- r = check_reparse_mupa(ctx, mupa);
+ r = check_reparse_multi_union_pw_aff(ctx, mupa);
if (r < 0)
return -1;
space = isl_space_set_tuple_name(space, isl_dim_set, "B");
mupa = isl_multi_union_pw_aff_zero(space);
mupa = isl_multi_union_pw_aff_intersect_domain(mupa, uset);
- r = check_reparse_mupa(ctx, mupa);
+ r = check_reparse_multi_union_pw_aff(ctx, mupa);
if (r < 0)
return -1;
str = parse_multi_mupa_tests[i];
mupa = isl_multi_union_pw_aff_read_from_str(ctx, str);
- r = check_reparse_mupa(ctx, mupa);
+ r = check_reparse_multi_union_pw_aff(ctx, mupa);
if (r < 0)
return -1;
}