add isl_multi_aff_flatten_domain
[isl.git] / test_inputs / codegen / cloog / byu98-1-2-3.in
blob9f98fb859906934f4fd378edc1e36d18a8dd6c30
1 { S1[i0, i1] -> [i0, i1, 0] : i1 >= 6 - i0 and i0 >= 2 and i1 >= 3 and i1 <= 6 and i1 >= -1 + i0; S2[i0, 9 - i0] -> [i0, 9 - i0, 1] : i0 <= 8 and i0 >= 4 }
2 {  :  }
3 { [i, j, k] -> separate[o0] }