isl_basic_map_drop_constraints{_not,}_involving: add back div constraints
[isl.git] / test_inputs / codegen / roman.c
blobf770a91f7cf23ed2ab67461f3b7e08389fdb48c5
2 for (int c1 = 0; c1 <= min(np1 - i, -i + 1); c1 += 1) {
3 S_9(c1);
4 S_12(c1);
6 for (int c1 = max(0, -i + 2); c1 <= -((-np1 + i + 4294967295) % 4294967296) + 4294967295; c1 += 1) {
7 S_9(c1);
8 S_10(c1);
9 for (int c3 = 0; c3 <= min(19, i + c1 - 3); c3 += 1) {
10 S_15(c1, c3);
11 for (int c5 = 0; c5 < c3; c5 += 1) {
12 S_16(c1, c3, c5);
13 S_17(c1, c3, c5);
15 S_16(c1, c3, c3);
16 S_18(c1, c3);
17 S_24(c1, c3);
18 S_19(c1, c3);
20 if (i + c1 <= 21 && np1 + 4294967275 >= i && i + 20 >= np1) {
21 S_15(c1, i + c1 - 2);
22 for (int c5 = 0; c5 < i + c1 - 2; c5 += 1) {
23 S_16(c1, i + c1 - 2, c5);
24 S_17(c1, i + c1 - 2, c5);
26 S_16(c1, i + c1 - 2, i + c1 - 2);
27 S_18(c1, i + c1 - 2);
28 S_24(c1, i + c1 - 2);
30 S_12(c1);