add isl_basic_set_variable_compression_with_id
[isl.git] / test_inputs / codegen / isolate5.st
blob86b0dd160ffe60b7aa973454d0ac90bf5bd64dab
1 # Check that use of isolate option prevents shifted stride detection
2 domain: "{ A[i,j] : 0 <= i < 100 and 0 <= j < 2; B[i,j] : 0 <= i < 100 and 0 <= j < 2 }"
3 child:
4   schedule: "[{ A[i,j] -> [2i]; B[i,j] -> [2i+1] }, { A[i,j] -> [j]; B[i,j] -> [j]}]"
5   options: "{ isolate[[] -> [x, y]] : 10 <= x < 90 }"