diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs')
44 files changed, 102 insertions, 54 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/atomic3.c b/polly/lib/External/isl/test_inputs/codegen/atomic3.c index e63e09201a1..c6deb761eae 100644 --- a/polly/lib/External/isl/test_inputs/codegen/atomic3.c +++ b/polly/lib/External/isl/test_inputs/codegen/atomic3.c @@ -3,6 +3,7 @@ for (int c0 = 0; c0 <= 64; c0 += 1) { sync(); } else if (c0 >= 1) { sync(); - } else + } else { sync(); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/pouchet.c b/polly/lib/External/isl/test_inputs/codegen/cloog/pouchet.c index dc844442ca5..97974bbc3ee 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/pouchet.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/pouchet.c @@ -5,7 +5,8 @@ for (int c0 = 1; c0 <= floord(Ny, 2) + 2; c0 += 1) S1(c0 - c1, c1, 2 * c0 - 2 * c1, -2 * c0 + 4 * c1, c2); S2(c0 - c1, c1, 2 * c0 - 2 * c1, -2 * c0 + 4 * c1 - 1, c2); } - } else + } else { for (int c2 = 1; c2 <= 2; c2 += 1) S2((-Ny + 2 * c0) / 4, (Ny + 2 * c0) / 4, (-Ny / 2) + c0, Ny - 1, c2); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/union.c b/polly/lib/External/isl/test_inputs/codegen/cloog/union.c index 6dc0a9b877f..b9daaf95a8a 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/union.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/union.c @@ -1,6 +1,7 @@ if (M >= 11) { for (int c0 = -100; c0 <= 0; c0 += 1) S1(-c0); -} else +} else { for (int c0 = 0; c0 <= 100; c0 += 1) S1(c0); +} diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/vasilache.c b/polly/lib/External/isl/test_inputs/codegen/cloog/vasilache.c index 7dfadcf0c4e..0df78897bdb 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/vasilache.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/vasilache.c @@ -16,8 +16,9 @@ } if (32 * c2 + 31 >= N) { S6(c0, c1, c2, N - 1); - } else + } else { S6(c0, c1, c2, 32 * c2 + 31); + } } S8(); } diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/vivien.c b/polly/lib/External/isl/test_inputs/codegen/cloog/vivien.c index ab0854a772e..030a88adb6d 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/vivien.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/vivien.c @@ -46,8 +46,9 @@ } if (n == 2 && c0 == 4) S1(3); - } else + } else { S1(1); + } if (c0 % 2 == 0) S3(c0 / 2); for (int c1 = max(1, -n + c0); c1 < (c0 + 1) / 2; c1 += 1) diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/vivien2.c b/polly/lib/External/isl/test_inputs/codegen/cloog/vivien2.c index 48be9ad97b3..d30183e97b3 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/vivien2.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/vivien2.c @@ -23,9 +23,10 @@ S6(2, n); S1(n + 1); } - } else if (c0 + 2 >= 2 * n) + } else if (c0 + 2 >= 2 * n) { for (int c2 = 1; c2 < -n + c0; c2 += 1) S5(-n + c0, n, c2); + } if (c0 >= n + 3) { S6(-n + c0, n); S1(c0 - 1); @@ -39,8 +40,9 @@ if (n + 1 >= c0) S6(1, c0 - 1); } - } else + } else { S1(1); + } if (c0 % 2 == 0) S3(c0 / 2); for (int c1 = max(1, -n + c0); c1 < (c0 + 1) / 2; c1 += 1) 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 2c1bd93858b..f65491528c6 100644 --- a/polly/lib/External/isl/test_inputs/codegen/cloog/walters.c +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/walters.c @@ -8,8 +8,9 @@ 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 + } else { S3(c0, (c0 - 2) / 3, (c0 + 1) / 3, (c0 + 1) / 3); + } S4(c0, c0 / 3, (c0 - 1) / 3 + 1, c0 - (c0 - 1) / 3 - c0 / 3 - 1); } } diff --git a/polly/lib/External/isl/test_inputs/codegen/correlation.c b/polly/lib/External/isl/test_inputs/codegen/correlation.c index 845336f99c3..25d99e19311 100644 --- a/polly/lib/External/isl/test_inputs/codegen/correlation.c +++ b/polly/lib/External/isl/test_inputs/codegen/correlation.c @@ -32,16 +32,18 @@ for (int c0 = 0; c0 < m; c0 += 32) if (c0 + 31 >= m && c1 + 31 >= n && c2 == c0) { for (int c5 = m - c0 - 1; c5 <= min(31, 2 * m - c0 - 3); c5 += 1) S_29(-m + c0 + c5 + 1, m - 1); - } else if (m >= c0 + 32 && c1 + 31 >= n && c2 == c0) + } else if (m >= c0 + 32 && c1 + 31 >= n && c2 == c0) { S_29(0, c0 + 31); + } } else if (c1 + 31 >= n && c2 >= m) { for (int c3 = max(0, (c2 / 2) - c0 + 1); c3 <= min(31, m - c0 - 1); c3 += 1) for (int c5 = 0; c5 <= min(31, 2 * c0 - c2 + 2 * c3 - 1); c5 += 1) S_29(-c0 + c2 - c3 + c5, c0 + c3); - } else if (c1 <= -32 && c1 + 31 >= n && m >= c2 + 1) + } else if (c1 <= -32 && c1 + 31 >= n && m >= c2 + 1) { for (int c3 = max(0, (c2 / 2) - c0 + 1); c3 <= min(31, m - c0 - 1); c3 += 1) for (int c5 = max(0, c0 - c2 + c3); c5 <= min(31, 2 * c0 - c2 + 2 * c3 - 1); c5 += 1) S_29(-c0 + c2 - c3 + c5, c0 + c3); + } if (m == 1 && c0 == 0 && c1 >= 32 && c2 == 0) { for (int c4 = 0; c4 <= min(31, n - c1 - 1); c4 += 1) S_19(c1 + c4, 0); diff --git a/polly/lib/External/isl/test_inputs/codegen/dwt.c b/polly/lib/External/isl/test_inputs/codegen/dwt.c index 52adb5d6e0d..a4de6714a08 100644 --- a/polly/lib/External/isl/test_inputs/codegen/dwt.c +++ b/polly/lib/External/isl/test_inputs/codegen/dwt.c @@ -3,6 +3,7 @@ for (int c0 = 0; c0 < Ncl; c0 += 1) { S(c0, 28); } else if (c0 == 0) { S(0, 26); - } else + } else { S(Ncl - 1, 27); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/filter.c b/polly/lib/External/isl/test_inputs/codegen/filter.c index c539f6fbfad..c326fa875d0 100644 --- a/polly/lib/External/isl/test_inputs/codegen/filter.c +++ b/polly/lib/External/isl/test_inputs/codegen/filter.c @@ -2,7 +2,8 @@ if (n >= m + 1) { for (int c0 = 0; c0 < n; c0 += 1) for (int c2 = 0; c2 < n; c2 += 1) A(c0, c2); -} else +} else { for (int c0 = 0; c0 < n; c0 += 1) for (int c2 = 0; c2 < n; c2 += 1) A(c0, c2); +} diff --git a/polly/lib/External/isl/test_inputs/codegen/isolate2.c b/polly/lib/External/isl/test_inputs/codegen/isolate2.c index 2c9e15d0dd5..28a78bc2653 100644 --- a/polly/lib/External/isl/test_inputs/codegen/isolate2.c +++ b/polly/lib/External/isl/test_inputs/codegen/isolate2.c @@ -2,10 +2,8 @@ for (int c0 = 0; c0 <= 99; c0 += 1) { if (c0 >= 4 && c0 <= 6) { for (int c1 = 0; c1 <= 99; c1 += 1) A(c0, c1); - } else if (c0 >= 7) { - for (int c1 = 0; c1 <= 99; c1 += 1) - A(c0, c1); - } else + } else { for (int c1 = 0; c1 <= 99; c1 += 1) A(c0, c1); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/isolate5.c b/polly/lib/External/isl/test_inputs/codegen/isolate5.c index fe8c35f8f41..9fff5859508 100644 --- a/polly/lib/External/isl/test_inputs/codegen/isolate5.c +++ b/polly/lib/External/isl/test_inputs/codegen/isolate5.c @@ -3,21 +3,24 @@ for (int c1 = 0; c1 <= 1; c1 += 1) { if (c0 % 2 == 0) { A(c0 / 2, c1); - } else + } else { B((c0 - 1) / 2, c1); + } } for (int c0 = 10; c0 <= 89; c0 += 1) for (int c1 = 0; c1 <= 1; c1 += 1) { if (c0 % 2 == 0) { A(c0 / 2, c1); - } else + } else { B((c0 - 1) / 2, c1); + } } for (int c0 = 90; c0 <= 199; c0 += 1) for (int c1 = 0; c1 <= 1; c1 += 1) { if (c0 % 2 == 0) { A(c0 / 2, c1); - } else + } else { B((c0 - 1) / 2, c1); + } } } diff --git a/polly/lib/External/isl/test_inputs/codegen/isolate7.c b/polly/lib/External/isl/test_inputs/codegen/isolate7.c index d41ce090127..1eac20275a4 100644 --- a/polly/lib/External/isl/test_inputs/codegen/isolate7.c +++ b/polly/lib/External/isl/test_inputs/codegen/isolate7.c @@ -5,23 +5,25 @@ for (int c2 = 0; c2 <= 31; c2 += 1) for (int c3 = 0; c3 <= 31; c3 += 1) S_1(c0 + c2, c1 + c3); - } else + } else { for (int c2 = 0; c2 <= 31; c2 += 1) { for (int c3 = 0; c3 < n - c1; c3 += 1) S_1(c0 + c2, c1 + c3); S_2(c0 + c2); } + } } for (int c1 = 0; c1 < n; c1 += 32) { if (n >= c1 + 32) { for (int c2 = 0; c2 < (n + 32) % 32; c2 += 1) for (int c3 = 0; c3 <= 31; c3 += 1) S_1(-((n + 32) % 32) + n + c2, c1 + c3); - } else + } else { for (int c2 = 0; c2 < n - c1; c2 += 1) { for (int c3 = 0; c3 < n - c1; c3 += 1) S_1(c1 + c2, c1 + c3); S_2(c1 + c2); } + } } } diff --git a/polly/lib/External/isl/test_inputs/codegen/lu.c b/polly/lib/External/isl/test_inputs/codegen/lu.c index ecbb895d3ac..022d6f230ff 100644 --- a/polly/lib/External/isl/test_inputs/codegen/lu.c +++ b/polly/lib/External/isl/test_inputs/codegen/lu.c @@ -6,7 +6,7 @@ for (int c0 = 0; c0 < n - 1; c0 += 32) for (int c4 = c1; c4 <= min(n - 1, c1 + 31); c4 += 1) for (int c5 = max(c2, c3 + 1); c5 <= min(n - 1, c2 + 31); c5 += 1) S_6(c3, c4, c5); - } else + } else { for (int c3 = c0; c3 <= min(min(n - 2, c0 + 31), c2 + 30); c3 += 1) { for (int c5 = max(c2, c3 + 1); c5 <= min(n - 1, c2 + 31); c5 += 1) S_2(c3, c5); @@ -14,4 +14,5 @@ for (int c0 = 0; c0 < n - 1; c0 += 32) for (int c5 = max(c2, c3 + 1); c5 <= min(n - 1, c2 + 31); c5 += 1) S_6(c3, c4, c5); } + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/code_gen-1.c b/polly/lib/External/isl/test_inputs/codegen/omega/code_gen-1.c index f4ec0e9c066..1c554dcef97 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/code_gen-1.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/code_gen-1.c @@ -9,7 +9,8 @@ for (int c0 = 1; c0 <= 8; c0 += 1) { } for (int c1 = max(5, c0 - 1); c1 <= 7; c1 += 1) s0(c0, c1); - } else + } else { for (int c1 = 0; c1 <= 7; c1 += 1) s0(1, c1); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/if_then-0.c b/polly/lib/External/isl/test_inputs/codegen/omega/if_then-0.c index bc8d3370a6d..d2e100b4402 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/if_then-0.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/if_then-0.c @@ -6,7 +6,8 @@ if (m <= 1) { for (int c0 = 1; c0 <= n; c0 += 1) for (int c1 = 1; c1 <= n; c1 += 1) s0(c0, c1); -} else +} else { for (int c0 = 1; c0 <= n; c0 += 1) for (int c1 = 1; c1 <= n; c1 += 1) s1(c0, c1); +} diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/if_then-2.c b/polly/lib/External/isl/test_inputs/codegen/omega/if_then-2.c index d1ce579aa97..158b0782ffd 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/if_then-2.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/if_then-2.c @@ -5,7 +5,8 @@ for (int c0 = 1; c0 <= 100; c0 += 1) { s1(c0, c1); s2(c0, c1); } - } else + } else { for (int c1 = 1; c1 <= 100; c1 += 1) s2(c0, c1); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/if_then-3.c b/polly/lib/External/isl/test_inputs/codegen/omega/if_then-3.c index 570cbe5556f..bae078e4662 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/if_then-3.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/if_then-3.c @@ -6,7 +6,8 @@ if (n >= 2) { s2(c0, c1); } } -} else +} else { for (int c0 = 1; c0 <= 100; c0 += 1) for (int c1 = 1; c1 <= 100; c1 += 1) s2(c0, c1); +} diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/lift1-1.c b/polly/lib/External/isl/test_inputs/codegen/omega/lift1-1.c index 3910e4f264d..b522fd9b4a5 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/lift1-1.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/lift1-1.c @@ -5,9 +5,10 @@ for (int c0 = 1; c0 <= 100; c0 += 1) if (c0 >= 61) { for (int c4 = 1; c4 <= 100; c4 += 1) s1(c0, c1, c2, c3, c4); - } else + } else { for (int c4 = 1; c4 <= 100; c4 += 1) { s1(c0, c1, c2, c3, c4); s0(c0, c1, c2, c3, c4); } + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/lift1-2.c b/polly/lib/External/isl/test_inputs/codegen/omega/lift1-2.c index 8737f3c50bf..00e7b16697f 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/lift1-2.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/lift1-2.c @@ -5,10 +5,11 @@ for (int c0 = 1; c0 <= 100; c0 += 1) for (int c3 = 1; c3 <= 100; c3 += 1) for (int c4 = 1; c4 <= 100; c4 += 1) s1(c0, c1, c2, c3, c4); - } else + } else { for (int c3 = 1; c3 <= 100; c3 += 1) for (int c4 = 1; c4 <= 100; c4 += 1) { s1(c0, c1, c2, c3, c4); s0(c0, c1, c2, c3, c4); } + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/lift1-3.c b/polly/lib/External/isl/test_inputs/codegen/omega/lift1-3.c index 4d73f89d63d..6249150e66b 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/lift1-3.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/lift1-3.c @@ -5,11 +5,12 @@ for (int c0 = 1; c0 <= 100; c0 += 1) for (int c3 = 1; c3 <= 100; c3 += 1) for (int c4 = 1; c4 <= 100; c4 += 1) s1(c0, c1, c2, c3, c4); - } else + } else { for (int c2 = 1; c2 <= 100; c2 += 1) for (int c3 = 1; c3 <= 100; c3 += 1) for (int c4 = 1; c4 <= 100; c4 += 1) { s1(c0, c1, c2, c3, c4); s0(c0, c1, c2, c3, c4); } + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/lift1-4.c b/polly/lib/External/isl/test_inputs/codegen/omega/lift1-4.c index 7d2de29261c..b981ad873f8 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/lift1-4.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/lift1-4.c @@ -5,7 +5,7 @@ for (int c0 = 1; c0 <= 100; c0 += 1) { for (int c3 = 1; c3 <= 100; c3 += 1) for (int c4 = 1; c4 <= 100; c4 += 1) s1(c0, c1, c2, c3, c4); - } else + } else { for (int c1 = 1; c1 <= 100; c1 += 1) for (int c2 = 1; c2 <= 100; c2 += 1) for (int c3 = 1; c3 <= 100; c3 += 1) @@ -13,4 +13,5 @@ for (int c0 = 1; c0 <= 100; c0 += 1) { s1(c0, c1, c2, c3, c4); s0(c0, c1, c2, c3, c4); } + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/lift2-1.c b/polly/lib/External/isl/test_inputs/codegen/omega/lift2-1.c index f914743ecc2..625c7347b11 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/lift2-1.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/lift2-1.c @@ -8,9 +8,10 @@ for (int c0 = 1; c0 <= 100; c0 += 1) } else if (c0 <= 4) { for (int c4 = 1; c4 <= 100; c4 += 1) s1(c0, c1, c2, c3, c4); - } else + } else { for (int c4 = 1; c4 <= 100; c4 += 1) { s1(c0, c1, c2, c3, c4); s0(c0, c1, c2, c3, c4); } + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/lift2-2.c b/polly/lib/External/isl/test_inputs/codegen/omega/lift2-2.c index 8b6dbafc507..63e897c7a35 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/lift2-2.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/lift2-2.c @@ -9,10 +9,11 @@ for (int c0 = 1; c0 <= 100; c0 += 1) for (int c3 = 1; c3 <= 100; c3 += 1) for (int c4 = 1; c4 <= 100; c4 += 1) s1(c0, c1, c2, c3, c4); - } else + } else { for (int c3 = 1; c3 <= 100; c3 += 1) for (int c4 = 1; c4 <= 100; c4 += 1) { s1(c0, c1, c2, c3, c4); s0(c0, c1, c2, c3, c4); } + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/lift2-3.c b/polly/lib/External/isl/test_inputs/codegen/omega/lift2-3.c index 1a5954a8081..f87f1971b17 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/lift2-3.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/lift2-3.c @@ -10,11 +10,12 @@ for (int c0 = 1; c0 <= 100; c0 += 1) for (int c3 = 1; c3 <= 100; c3 += 1) for (int c4 = 1; c4 <= 100; c4 += 1) s1(c0, c1, c2, c3, c4); - } else + } else { for (int c2 = 1; c2 <= 100; c2 += 1) for (int c3 = 1; c3 <= 100; c3 += 1) for (int c4 = 1; c4 <= 100; c4 += 1) { s1(c0, c1, c2, c3, c4); s0(c0, c1, c2, c3, c4); } + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/lift2-4.c b/polly/lib/External/isl/test_inputs/codegen/omega/lift2-4.c index d1d04d6507d..65ae7ae0b14 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/lift2-4.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/lift2-4.c @@ -11,7 +11,7 @@ for (int c0 = 1; c0 <= 100; c0 += 1) { for (int c3 = 1; c3 <= 100; c3 += 1) for (int c4 = 1; c4 <= 100; c4 += 1) s1(c0, c1, c2, c3, c4); - } else + } else { for (int c1 = 1; c1 <= 100; c1 += 1) for (int c2 = 1; c2 <= 100; c2 += 1) for (int c3 = 1; c3 <= 100; c3 += 1) @@ -19,4 +19,5 @@ for (int c0 = 1; c0 <= 100; c0 += 1) { s1(c0, c1, c2, c3, c4); s0(c0, c1, c2, c3, c4); } + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/lu_spmd-0.c b/polly/lib/External/isl/test_inputs/codegen/omega/lu_spmd-0.c index 4c8c72ad594..330945436c6 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/lu_spmd-0.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/lu_spmd-0.c @@ -5,8 +5,9 @@ if (ub >= lb) s0(c0, c1); if (n >= ub + 1) s2(c0, c1); - } else if (lb >= c0 + 1) + } else if (lb >= c0 + 1) { s3(c0, c1, lb, c0, c1); + } for (int c3 = max(lb, c0); c3 <= ub; c3 += 1) s1(c0, c1, c3); } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/lu_spmd-1.c b/polly/lib/External/isl/test_inputs/codegen/omega/lu_spmd-1.c index 4c8c72ad594..330945436c6 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/lu_spmd-1.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/lu_spmd-1.c @@ -5,8 +5,9 @@ if (ub >= lb) s0(c0, c1); if (n >= ub + 1) s2(c0, c1); - } else if (lb >= c0 + 1) + } else if (lb >= c0 + 1) { s3(c0, c1, lb, c0, c1); + } for (int c3 = max(lb, c0); c3 <= ub; c3 += 1) s1(c0, c1, c3); } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/m1-1.c b/polly/lib/External/isl/test_inputs/codegen/omega/m1-1.c index 07b91f794e0..580c5afa0c7 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/m1-1.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/m1-1.c @@ -5,9 +5,10 @@ for (int c0 = 1; c0 <= 9; c0 += 1) { } else if (c0 <= 4) { for (int c1 = 1; c1 <= 9; c1 += 1) s0(c0, c1); - } else + } else { for (int c1 = 1; c1 <= 9; c1 += 1) { s0(5, c1); s1(5, c1); } + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/m10-1.c b/polly/lib/External/isl/test_inputs/codegen/omega/m10-1.c index b3f34f6ec93..227545710dd 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/m10-1.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/m10-1.c @@ -8,7 +8,8 @@ for (int c0 = 1; c0 <= 18; c0 += 1) { } else if (c0 == 1) { for (int c1 = 1; c1 <= 9; c1 += 1) s1(c1, 1); - } else if (c0 % 2 == 0) + } else if (c0 % 2 == 0) { for (int c1 = 1; c1 <= 9; c1 += 1) s0(c1, c0 / 2); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/m2-0.c b/polly/lib/External/isl/test_inputs/codegen/omega/m2-0.c index 669f51a7d14..08ee8dce6e6 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/m2-0.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/m2-0.c @@ -5,7 +5,8 @@ for (int c0 = 2; c0 <= 9; c0 += 1) { s1(c0, c1); s0(c0, c1); } - } else + } else { for (int c1 = 2; c1 <= 9; c1 += 1) s0(c0, c1); + } } 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 a01856e4b4d..f16840f6135 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 @@ -4,7 +4,8 @@ for (int c0 = 1; c0 <= 9; c0 += 1) { s0(c1, c0); s1(c1, c0); } - } else + } 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 51c77daeca4..fbe7bbdb801 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 @@ -4,7 +4,8 @@ for (int c0 = 2; c0 <= 8; c0 += 2) { s0(c1, c0); s1(c1, c0); } - } else + } 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 1740e4fe8a5..7ab83b694cc 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 @@ -5,6 +5,7 @@ if (P1 >= 0 && P1 <= 3 && P2 >= 0 && P2 <= 3) 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)); - } else if (P1 == 0 && c0 == 3 && c2 % 4 == 0) + } 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)); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/stride7-0.c b/polly/lib/External/isl/test_inputs/codegen/omega/stride7-0.c index 7fe17588f3d..a1f7a1805e7 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/stride7-0.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/stride7-0.c @@ -8,7 +8,8 @@ for (int c0 = 1; c0 <= 36; c0 += 1) { s0(c1, c0 / 4); s1(c1, c0); } - } else if (c0 % 4 == 0) + } else if (c0 % 4 == 0) { for (int c1 = 1; c1 <= 9; c1 += 1) s0(c1, c0 / 4); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/ts1d-check-sblock-0.c b/polly/lib/External/isl/test_inputs/codegen/omega/ts1d-check-sblock-0.c index c70e95bcb41..db0573542f4 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/ts1d-check-sblock-0.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/ts1d-check-sblock-0.c @@ -3,9 +3,10 @@ if (c1 == 1) { s0(1, 1, 1, 0, 0); s0(1, 1, 1, N - 1, 0); - } else + } else { for (int c3 = 0; c3 < N; c3 += 1) s0(1, 0, 1, c3, 0); + } } for (int c1 = 0; c1 <= floord(T - 1, 1000); c1 += 1) for (int c2 = 1000 * c1 + 1; c2 <= min(N + T - 3, N + 1000 * c1 + 997); c2 += 1) diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/ts1d-mp-i_ts-m_b-0.c b/polly/lib/External/isl/test_inputs/codegen/omega/ts1d-mp-i_ts-m_b-0.c index 41e3ae6094e..b5569c96937 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/ts1d-mp-i_ts-m_b-0.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/ts1d-mp-i_ts-m_b-0.c @@ -5,8 +5,9 @@ s0(1, -1, c2, 0, 0); } else if (c2 == 0) { s0(1, c1, 0, 0, 0); - } else if (c2 + 1 == N) + } else if (c2 + 1 == N) { s0(1, c1, N - 1, 0, 0); + } } for (int c1 = 0; c1 <= floord(T - 1, 500); c1 += 1) { for (int c3 = -((c1 + 9) / 8) + 2; c3 <= floord(N - 500 * c1 - 3, 4000) + 1; c3 += 1) diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/wak2-0.c b/polly/lib/External/isl/test_inputs/codegen/omega/wak2-0.c index 3f51dbca273..435a1b788bb 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/wak2-0.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/wak2-0.c @@ -6,7 +6,7 @@ for (int c0 = max(a1, a2); c0 <= min(b1, b2); c0 += 1) for (int c1_0 = c1; c1_0 <= d1; c1_0 += 1) s0(c0, c1_0); - } else + } else { for (int c0 = a2; c0 <= b2; c0 += 1) { if (c0 >= a1 && b1 >= c0) for (int c1_0 = c1; c1_0 <= min(d1, c2 - 1); c1_0 += 1) @@ -20,6 +20,7 @@ for (int c1_0 = max(c1, d2 + 1); c1_0 <= d1; c1_0 += 1) s0(c0, c1_0); } + } for (int c0 = max(max(a1, a2), b2 + 1); c0 <= b1; c0 += 1) for (int c1_0 = c1; c1_0 <= d1; c1_0 += 1) s0(c0, c1_0); diff --git a/polly/lib/External/isl/test_inputs/codegen/omega/wak2-1.c b/polly/lib/External/isl/test_inputs/codegen/omega/wak2-1.c index cc20357718a..0f5e74c0de7 100644 --- a/polly/lib/External/isl/test_inputs/codegen/omega/wak2-1.c +++ b/polly/lib/External/isl/test_inputs/codegen/omega/wak2-1.c @@ -6,7 +6,7 @@ for (int c0 = max(a1, a2); c0 <= min(b1, b2); c0 += 1) for (int c1_0 = c1; c1_0 <= d1; c1_0 += 1) s0(c0, c1_0); - } else + } else { for (int c0 = a2; c0 <= b2; c0 += 1) { if (a1 >= c0 + 1) { for (int c1_0 = c2; c1_0 <= d2; c1_0 += 1) @@ -29,6 +29,7 @@ s1(c0, c1_0); } } + } for (int c0 = max(max(a1, a2), b2 + 1); c0 <= b1; c0 += 1) for (int c1_0 = c1; c1_0 <= d1; c1_0 += 1) s0(c0, c1_0); diff --git a/polly/lib/External/isl/test_inputs/codegen/pldi2012/figure7_c.c b/polly/lib/External/isl/test_inputs/codegen/pldi2012/figure7_c.c index d1ce579aa97..158b0782ffd 100644 --- a/polly/lib/External/isl/test_inputs/codegen/pldi2012/figure7_c.c +++ b/polly/lib/External/isl/test_inputs/codegen/pldi2012/figure7_c.c @@ -5,7 +5,8 @@ for (int c0 = 1; c0 <= 100; c0 += 1) { s1(c0, c1); s2(c0, c1); } - } else + } else { for (int c1 = 1; c1 <= 100; c1 += 1) s2(c0, c1); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/pldi2012/figure7_d.c b/polly/lib/External/isl/test_inputs/codegen/pldi2012/figure7_d.c index 570cbe5556f..bae078e4662 100644 --- a/polly/lib/External/isl/test_inputs/codegen/pldi2012/figure7_d.c +++ b/polly/lib/External/isl/test_inputs/codegen/pldi2012/figure7_d.c @@ -6,7 +6,8 @@ if (n >= 2) { s2(c0, c1); } } -} else +} else { for (int c0 = 1; c0 <= 100; c0 += 1) for (int c1 = 1; c1 <= 100; c1 += 1) s2(c0, c1); +} diff --git a/polly/lib/External/isl/test_inputs/codegen/separation_class3.c b/polly/lib/External/isl/test_inputs/codegen/separation_class3.c index d21b19c29bc..cea4e04d84a 100644 --- a/polly/lib/External/isl/test_inputs/codegen/separation_class3.c +++ b/polly/lib/External/isl/test_inputs/codegen/separation_class3.c @@ -6,10 +6,11 @@ for (int c0 = 0; c0 <= 4; c0 += 1) { if (c0 == 4) { for (int c6 = 3; c6 <= 5; c6 += 1) S_0(7, c6); - } else + } else { for (int c4 = 2 * c0 - 1; c4 <= 2 * c0; c4 += 1) for (int c6 = -2 * c0 + c4 + 4; c6 <= 2 * c0 - c4 + 4; c6 += 1) S_0(c4, c6); + } } for (int c4 = max(0, 2 * c0 - 1); c4 <= min(7, 2 * c0); c4 += 1) for (int c6 = -2 * c0 + c4 + 8; c6 <= 8; c6 += 1) @@ -22,8 +23,9 @@ for (int c0 = 0; c0 <= 4; c0 += 1) { } else if (c0 == 4) { for (int c2 = 0; c2 <= 1; c2 += 1) S_0(7, 4 * c2 + 2); - } else + } else { for (int c2 = 0; c2 <= 1; c2 += 1) for (int c6 = 4 * c2 + 1; c6 <= 4 * c2 + 3; c6 += 1) S_0(0, c6); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/separation_class4.c b/polly/lib/External/isl/test_inputs/codegen/separation_class4.c index 2ff23642e8d..6d877d67a6a 100644 --- a/polly/lib/External/isl/test_inputs/codegen/separation_class4.c +++ b/polly/lib/External/isl/test_inputs/codegen/separation_class4.c @@ -4,17 +4,19 @@ for (int c0 = 0; c0 <= 128; c0 += 1) { for (int c3 = 0; c3 <= 1; c3 += 1) for (int c5 = c3 + 58; c5 <= -c3 + 61; c5 += 1) S_0(c3, c5); - } else + } else { for (int c2 = 1; c2 <= 2; c2 += 1) for (int c3 = max(4 * c0 - 2, 4 * c0 + 6 * c2 - 12); c3 <= min(4 * c0 + 1, 4 * c0 + 6 * c2 - 7); c3 += 1) for (int c5 = max(4 * c0 - c3 + 57, -4 * c0 + c3 + 58); c5 <= min(4 * c0 - c3 + 61, -4 * c0 + c3 + 62); c5 += 1) S_0(c3, c5); + } for (int c2 = 1; c2 <= 2; c2 += 1) for (int c3 = max(4 * c0, 4 * c0 + 6 * c2 - 10); c3 <= min(4 * c0 + 3, 4 * c0 + 6 * c2 - 5); c3 += 1) for (int c5 = max(-4 * c0 + c3 + 59, 4 * c0 - c3 + 62); c5 <= min(-4 * c0 + c3 + 63, 4 * c0 - c3 + 66); c5 += 1) S_0(c3, c5); - } else + } else { for (int c3 = 510; c3 <= 511; c3 += 1) for (int c5 = -c3 + 569; c5 < c3 - 449; c5 += 1) S_0(c3, c5); + } } diff --git a/polly/lib/External/isl/test_inputs/codegen/shift2.c b/polly/lib/External/isl/test_inputs/codegen/shift2.c index 5d038f37733..5f3501ac34d 100644 --- a/polly/lib/External/isl/test_inputs/codegen/shift2.c +++ b/polly/lib/External/isl/test_inputs/codegen/shift2.c @@ -31,8 +31,9 @@ for (int c0 = 0; c0 <= 1; c0 += 1) { S_4(c0); } else if (length >= 32) { S_4(c0); - } else + } else { S_4(c0); + } } for (int c1 = 32; c1 < length - 1; c1 += 32) for (int c2 = c1; c2 < length; c2 += 32) |
