isl_tab.c: push_union: handle NULL input
[isl.git] / test_inputs / codegen / omega / collard-0.c
blob413fbda482f68626935a26b81cb860c13f7d27ff
2 for (int c4 = 1; c4 <= n; c4 += 1)
3 s2(c4);
4 for (int c1 = 1; c1 < n; c1 += 1) {
5 for (int c4 = 0; c4 < n - c1; c4 += 1)
6 s0(c1, n - c4);
7 for (int c3 = 0; c3 < n - c1; c3 += 1)
8 for (int c4 = c1 + 1; c4 <= n; c4 += 1)
9 s1(c1, n - c3, c4);
11 for (int c1 = 1; c1 <= n; c1 += 1) {
12 s4(c1);
13 for (int c3 = c1 + 1; c3 <= n; c3 += 1)
14 s3(c3, c1);