xref: /netbsd-src/external/mit/isl/dist/test_inputs/codegen/isolate3.st (revision 5971e316fdea024efff6be8f03536623db06833e)
1*5971e316Smrg# Check use of options specific to isolated part
2*5971e316Smrgdomain: "{ A[i] : 0 <= i < 100 }"
3*5971e316Smrgchild:
4*5971e316Smrg  schedule: "[{ A[i] -> [i] }]"
5*5971e316Smrg  options: "{ isolate[[] -> [x]] : 10 <= x <= 20; [isolate[] -> unroll[x]] }"
6