isl_basic_map_gist: drop irrelevant constraints from the context

[isl.git] / test_inputs / codegen / cloog / youcef.in

{ S1[i0, i0] -> [i0, i0, 0] : i0 >= 0 and i0 <= 5; S2[i0, i1] -> [i0, i1, 1] : i0 >= 0 and i0 <= 5 and i1 >= i0 and i1 <= 5; S3[i0, 5] -> [i0, 5, 2] : i0 >= 0 and i0 <= 5 }
{  :  }
{ [i, j, k] -> separate[o0] }