summaryloggraphiclog1graphiclog2commitcommitdifftreerefseditfork
rawpatchinlineside by side (parent: e32a759)
rawpatchinlineside by side (parent: e32a759)
| author | Sven Verdoolaege <sven@cerebras.net> | |
| Fri, 10 Feb 2023 13:32:50 +0000 (10 14:32 +0100) | ||
| committer | Sven Verdoolaege <sven@cerebras.net> | |
| Sat, 4 Mar 2023 18:45:48 +0000 (4 19:45 +0100) |
This will illustrate the effect of the next commit.
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
Signed-off-by: Sven Verdoolaege <sven@cerebras.net>
| isl_test2.cc | patchblobblamehistory |
diff --git a/isl_test2.cc b/isl_test2.cc
--- a/isl_test2.cc
+++ b/isl_test2.cc
*/
static void test_gist(isl::ctx ctx)
{
+ C(arg<isl::set>(&isl::pw_aff::gist), {
+ { "{ [x] -> [x] : x != 0 }", "{ [x] : x < -1 or x > 1 }",
+ "{ [x] -> [x] : x != 0 }" },
+ });
+
C(&isl::pw_aff::gist_params, {
{ "[N] -> { D[x] -> [x] : N >= 0; D[x] -> [0] : N < 0 }",
"[N] -> { : N >= 0 }",