xref: /llvm-project/polly/lib/External/isl/test_inputs/codegen/isolate6.st (revision 1de4e381ca058f8afa2c2b47d33f28e7a055eb0b) 
1# Example from the manual
2domain: "{ A[i,j] : 0 <= i,j and i + j <= 100 }"
3child:
4  schedule: "[{ A[i,j] -> [floor(i/10)] }, \
5	{ A[i,j] -> [floor(j/10)] }, \
6	{ A[i,j] -> [i] }, { A[i,j] -> [j] }]"
7  options: "{ isolate[[] -> [a,b,c,d]] : 0 <= 10a,10b and \
8	10a+9+10b+9 <= 100; [isolate[] -> unroll[3]] }"
9