isl_tab.c: push_union: handle NULL input
[isl.git] / test_inputs / codegen / omega / code_gen-0.in
bloba3fa3b1652dcae42e4cb08e4f9bf2518b43f0899
1 { s1[In_1, In_2] -> [In_1, In_2] : In_1 >= 2 and In_1 <= 6 and In_2 >= 0 and In_2 <= 4; s0[In_1, In_2] -> [In_1, In_2] : In_1 >= 1 and In_2 >= -1 + In_1 and In_2 <= 7 }
2 {  :  }
3 { [i0, i1] -> atomic[o0] : o0 <= 1; [i0, i1] -> separate[o0] : o0 >= 2 }