diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/cloog')
6 files changed, 10 insertions, 10 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/faber.c b/polly/lib/External/isl/test_inputs/codegen/cloog/faber.c index 984dafcf70c..3310f278947 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/faber.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/faber.c @@ -71,7 +71,7 @@ for (int c1 = (c0 + 5) / 14 - 8; c1 < min(0, c0 / 14 - 5); c1 += 1) { if (c0 <= 46 && c1 == -3) S7(c0, -3, 6); - if (-77 * ((-3 * c1 + 1) / 5) + 447 >= 6 * c0) + if (77 * c1 + 77 * ((-2 * c1 - 2) / 5) + 524 >= 6 * c0) S6(c0, c1, -((-2 * c1 + 3) / 5) + 9); for (int c2 = c1 + 24; c2 <= -2 * c1 + 24; c2 += 1) S2(c0, c1, c2); diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/jacobi-shared.c b/polly/lib/External/isl/test_inputs/codegen/cloog/jacobi-shared.c index 0deb1064fd2..bf709329742 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/jacobi-shared.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/jacobi-shared.c @@ -1,3 +1,3 @@ -if (((t1 + 31) % 32) + g2 >= 2 && N >= ((t1 + 31) % 32) + g2 + 2 && (h0 - 1) % 2 == 0) +if (((t1 + 31) % 32) + g2 >= 2 && N >= ((t1 + 31) % 32) + g2 + 2 && (h0 + 1) % 2 == 0) for (int c0 = max(((t0 + 15) % 16) + 1, ((g1 + t0 + 13) % 16) - g1 + 3); c0 <= min(32, N - g1 - 1); c0 += 16) S1(g1 + c0 - 1, -((g2 - t1 + 32) % 32) + g2 + 31); diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/levenshtein-1-2-3.c b/polly/lib/External/isl/test_inputs/codegen/cloog/levenshtein-1-2-3.c index 0e470b4d73b..70d1ea5c148 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/levenshtein-1-2-3.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/levenshtein-1-2-3.c @@ -13,7 +13,7 @@ } for (int c0 = N + 2; c0 < 2 * M - N - 1; c0 += 1) { S7(c0, -N + (N + c0 + 1) / 2 - 1); - if ((N - c0) % 2 == 0) { + if ((N + c0) % 2 == 0) { S5(c0, (-N + c0) / 2); S8(c0, (-N + c0) / 2); } @@ -21,7 +21,7 @@ S6(c0, c1); S8(c0, c1); } - if ((N - c0) % 2 == 0) { + if ((N + c0) % 2 == 0) { S4(c0, (N + c0) / 2); S8(c0, (N + c0) / 2); } diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-cholesky2.c b/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-cholesky2.c index 0c17655b2fc..73f7790c4c6 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-cholesky2.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-cholesky2.c @@ -1,5 +1,5 @@ for (int c0 = 2; c0 < 3 * M; c0 += 1) { - if ((c0 - 2) % 3 == 0) + if ((c0 + 1) % 3 == 0) S1((c0 + 1) / 3); for (int c1 = (c0 + 1) / 3 + 1; c1 <= min(M, c0 - 2); c1 += 1) for (int c2 = -c1 + (c0 + c1 + 1) / 2 + 1; c2 <= min(c1, c0 - c1); c2 += 1) diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-pingali1.c b/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-pingali1.c index ddb1293be11..43c6ef02264 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-pingali1.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-pingali1.c @@ -2,6 +2,6 @@ for (int c0 = 1; c0 <= M; c0 += 1) for (int c1 = 1; c1 < 2 * N; c1 += 1) { for (int c2 = max(1, -N + c1); c2 < (c1 + 1) / 2; c2 += 1) S1(c0, c1 - c2, c2); - if ((c1 - 1) % 2 == 0) + if ((c1 + 1) % 2 == 0) S2(c0, (c1 + 1) / 2); } diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/walters.c b/polly/lib/External/isl/test_inputs/codegen/cloog/walters.c index f65491528c6..3854892a141 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/walters.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/walters.c @@ -4,12 +4,12 @@ S3(2, 0, 1, 1); S4(2, 0, 1, 1); for (int c0 = 3; c0 <= 10; c0 += 1) { - if (c0 % 3 == 0) { + if ((c0 + 1) % 3 == 0) { + S3(c0, (c0 - 2) / 3, (c0 + 1) / 3, (c0 + 1) / 3); + } else if (c0 % 3 == 0) { S1(c0, c0 / 3, c0 / 3, c0 / 3); - } else if ((c0 - 1) % 3 == 0) { - S2(c0, (c0 - 1) / 3, (c0 + 2) / 3, (c0 - 1) / 3); } else { - S3(c0, (c0 - 2) / 3, (c0 + 1) / 3, (c0 + 1) / 3); + S2(c0, (c0 - 1) / 3, (c0 + 2) / 3, (c0 - 1) / 3); } S4(c0, c0 / 3, (c0 - 1) / 3 + 1, c0 - (c0 - 1) / 3 - c0 / 3 - 1); } |
