isl_basic_map_simplify: reduce coefficients of integer divisions
[isl.git] / test_inputs / codegen / cloog / walters.c
blob3854892a14170f1dc232775e6025386ae983389f
2 S2(1, 0, 1, 0);
3 S4(1, 0, 1, 0);
4 S3(2, 0, 1, 1);
5 S4(2, 0, 1, 1);
6 for (int c0 = 3; c0 <= 10; c0 += 1) {
7 if ((c0 + 1) % 3 == 0) {
8 S3(c0, (c0 - 2) / 3, (c0 + 1) / 3, (c0 + 1) / 3);
9 } else if (c0 % 3 == 0) {
10 S1(c0, c0 / 3, c0 / 3, c0 / 3);
11 } else {
12 S2(c0, (c0 - 1) / 3, (c0 + 2) / 3, (c0 - 1) / 3);
14 S4(c0, c0 / 3, (c0 - 1) / 3 + 1, c0 - (c0 - 1) / 3 - c0 / 3 - 1);