diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/separation_class3.c')
-rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/separation_class3.c | 29 |
1 files changed, 29 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/separation_class3.c b/polly/lib/External/isl/test_inputs/codegen/separation_class3.c new file mode 100644 index 00000000000..d21b19c29bc --- /dev/null +++ b/polly/lib/External/isl/test_inputs/codegen/separation_class3.c @@ -0,0 +1,29 @@ +for (int c0 = 0; c0 <= 4; c0 += 1) { + if (c0 == 0) { + S_0(0, 4); + } else { + S_0(2 * c0 - 1, 1); + if (c0 == 4) { + for (int c6 = 3; c6 <= 5; c6 += 1) + S_0(7, c6); + } 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) + S_0(c4, c6); + if (c0 >= 1 && c0 <= 3) { + for (int c2 = 0; c2 <= 1; c2 += 1) + for (int c4 = 2 * c0 - 1; c4 <= 2 * c0; c4 += 1) + for (int c6 = 2 * c0 + 4 * c2 - c4 + 1; c6 <= -2 * c0 + 4 * c2 + c4 + 3; c6 += 1) + S_0(c4, c6); + } else if (c0 == 4) { + for (int c2 = 0; c2 <= 1; c2 += 1) + S_0(7, 4 * c2 + 2); + } 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); +} |