diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/separate2.c')
| -rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/separate2.c | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/separate2.c b/polly/lib/External/isl/test_inputs/codegen/separate2.c index 469c894a945..76ee58d96e6 100644 --- a/polly/lib/External/isl/test_inputs/codegen/separate2.c +++ b/polly/lib/External/isl/test_inputs/codegen/separate2.c @@ -1,9 +1,8 @@ -if ((length - 1) % 16 <= 14) - for (int c0 = 0; c0 <= 1; c0 += 1) - for (int c5 = 0; c5 <= 31; c5 += 1) - for (int c6 = max(0, 2 * ((length - 1) % 16) + 2 * c5 - 60); c6 <= 30; c6 += 1) { - if (2 * length + c6 >= 2 * ((length - 1) % 16) + 4 && 2 * ((length - 1) % 16) >= c6 && 2 * ((length - 1) % 16) + 2 * c5 >= c6 && c6 + 62 >= 2 * ((length - 1) % 16) + 2 * c5 && 2 * ((length - 1) % 16) + 2 * c5 == 2 * ((length - 1) % 32) + c6 && (2 * c5 - c6) % 32 == 0) - S_3(c0, 0, (c6 / 2) - ((length - 1) % 16) + length - 1); - if (length <= 15 && length >= c5 + 1 && c6 >= 1 && length >= c6) - S_0(c0, c5, c6 - 1); - } +for (int c0 = 0; c0 <= 1; c0 += 1) + for (int c5 = 0; c5 <= 31; c5 += 1) + for (int c6 = max(0, 2 * (length % 16) + 2 * c5 - 62); c6 <= 30; c6 += 1) { + if (2 * length + c6 >= 2 * (length % 16) + 2 && c6 + 62 >= 2 * (length % 16) + 2 * c5 && 2 * (length % 16) >= c6 + 2 && 2 * (length % 16) + 2 * c5 >= c6 && 2 * (length % 32) + c6 == 2 * (length % 16) + 2 * c5 && (2 * c5 - c6) % 32 == 0) + S_3(c0, 0, (c6 / 2) - (length % 16) + length); + if (length <= 15 && length >= c5 + 1 && c6 >= 1 && length >= c6) + S_0(c0, c5, c6 - 1); + } |
