summaryloggraphiclog1graphiclog2commitcommitdifftreerefseditfork
rawpatchinlineside by side (parent: 8a5efb0)
rawpatchinlineside by side (parent: 8a5efb0)
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Fri, 30 Oct 2020 10:06:13 +0000 (30 11:06 +0100) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Tue, 5 Jan 2021 21:23:11 +0000 (5 22:23 +0100) |
This tests the support for parsing minimum reductions
added in an earlier commit.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
added in an earlier commit.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_test.c | patchblobblamehistory |
diff --git a/isl_test.c b/isl_test.c
--- a/isl_test.c
+++ b/isl_test.c
"{ [a, b, c, d] -> max(0) }" },
{ 1, isl_fold_max, "{ [[x] -> [x]] -> 1 : exists a : x = 2 a }",
"{ [x] -> max(1) : x mod 2 = 0 }" },
+ { 1, isl_fold_min, "{ [x=5:10] -> (x + 2)^2 }", "{ min(49) }" },
};
/* Check that the bound computation can handle differences