isl_test: avoid use of band forests
[isl.git] / test_inputs / codegen / cloog / walters2.in
blobea01a10a3363099b4b8ce87519203f93e5680a24
1 { S1[j, i] -> [j, i, 0] : j >= 1 and j <= 24 and i >= 1 and i <= 50; S2[j, 51] -> [j, 51, 1] : j >= 1 and j <= 24; S2[25, i] -> [25, i, 1] : i >= 1 and i <= 51; S2[0, i] -> [0, i, 1] : i >= 0 and i <= 51; S2[j, 0] -> [j, 0, 1] : j >= 1 and j <= 25 }
2 {  :  }
3 { [i, j, k] -> separate[o0] }