isl_tab.c: push_union: handle NULL input
[isl.git] / test_inputs / codegen / omega / fc2-0.in
blob688f9580d9bc20992f0ecb40e5c635776d21f642
1 [n] -> { s0[i, j] -> [-1 + i, 0, n - i, n - j] : i >= 1 and j >= 1 + i and j <= n; s1[i, j, k] -> [-1 + i, 1, n - i, n - j] : j >= 1 + i and k >= 1 + i and i >= 1 and j <= n and k <= n }
2 {  :  }
3 [n] -> { [i0, i1, i2, i3] -> atomic[o0] : o0 <= 2; [i0, i1, i2, i3] -> separate[o0] : o0 >= 3 }