diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/omega')
5 files changed, 13 insertions, 13 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/guard1-0.c b/polly/lib/External/isl/test_inputs/codegen/omega/guard1-0.c index 555d644f561..e430f2b5c8c 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/guard1-0.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/guard1-0.c @@ -1,2 +1,2 @@ -if ((n - m + 2) % 3 == 0) +if ((n - m - 1) % 3 == 0) s0(n, m); diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/guard1-1.c b/polly/lib/External/isl/test_inputs/codegen/omega/guard1-1.c index 335c1b838fe..3994a6122e7 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/guard1-1.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/guard1-1.c @@ -1,2 +1,2 @@ -if ((n - m + 1) % 2 == 0) +if ((n + m + 1) % 2 == 0) s0(n, m); diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/m7-1.c b/polly/lib/External/isl/test_inputs/codegen/omega/m7-1.c index f16840f6135..d33abe9d46f 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/m7-1.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/m7-1.c @@ -1,11 +1,11 @@ for (int c0 = 1; c0 <= 9; c0 += 1) { - if (c0 % 2 == 0) { + if ((c0 + 1) % 2 == 0) { + for (int c1 = 1; c1 <= 9; c1 += 1) + s0(c1, c0); + } else { for (int c1 = 1; c1 <= 9; c1 += 1) { s0(c1, c0); s1(c1, c0); } - } else { - for (int c1 = 1; c1 <= 9; c1 += 1) - s0(c1, c0); } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/m8-1.c b/polly/lib/External/isl/test_inputs/codegen/omega/m8-1.c index fbe7bbdb801..4f8a00f0428 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/m8-1.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/m8-1.c @@ -1,11 +1,11 @@ for (int c0 = 2; c0 <= 8; c0 += 2) { - if (c0 % 4 == 0) { + if ((c0 + 2) % 4 == 0) { + for (int c1 = 1; c1 <= 9; c1 += 1) + s1(c1, c0); + } else { for (int c1 = 1; c1 <= 9; c1 += 1) { s0(c1, c0); s1(c1, c0); } - } else { - for (int c1 = 1; c1 <= 9; c1 += 1) - s1(c1, c0); } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/p.delft2-0.c b/polly/lib/External/isl/test_inputs/codegen/omega/p.delft2-0.c index 7ab83b694cc..ab1bc728e03 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/p.delft2-0.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/p.delft2-0.c @@ -2,9 +2,9 @@ if (P1 >= 0 && P1 <= 3 && P2 >= 0 && P2 <= 3) for (int c0 = P1 - 1; c0 <= 3; c0 += 1) for (int c2 = 0; c2 <= 7; c2 += 1) for (int c3 = 0; c3 <= 7; c3 += 1) - if ((5 * P2 + 2 * c3) % 9 <= 3) { - if (P1 >= 1 && c0 + 1 == P1 && (5 * P1 + 2 * c2) % 9 <= 2) { - s0(P1 - 1, P2, c2, c3, ((5 * P1 + 2 * c2 + 9) % 9) + 1, -4 * P2 + 2 * c3 - 9 * floord(-4 * P2 + 2 * c3, 9)); + if (4 * P2 >= 2 * c3 + 9 * floord(4 * P2 - 2 * c3 - 1, 9) + 6) { + if (P1 >= 1 && c0 + 1 == P1 && 4 * P1 >= 2 * c2 + 9 * floord(4 * P1 - 2 * c2 - 1, 9) + 7) { + s0(P1 - 1, P2, c2, c3, ((-4 * P1 + 2 * c2 + 9) % 9) + 1, -4 * P2 + 2 * c3 - 9 * floord(-4 * P2 + 2 * c3, 9)); } else if (P1 == 0 && c0 == 3 && c2 % 4 == 0) { s0(3, P2, c2, c3, (-c2 / 4) + 3, -4 * P2 + 2 * c3 - 9 * floord(-4 * P2 + 2 * c3, 9)); } |
