xref: /llvm-project/polly/lib/External/isl/test_inputs/codegen/unroll11.in (revision 1fa7b972c02efa8e80706995f1c6326e68205c47) 
1*1fa7b972STobias Grosser# Check that the most appropriate lower bound is selected
2*1fa7b972STobias Grosser[t1,t2]->{ S[i,j] -> [i,j] : exists (alpha, beta :
3*1fa7b972STobias Grosser    0 <= i <= 1 &&
4*1fa7b972STobias Grosser    t1 = j+128alpha &&
5*1fa7b972STobias Grosser    0 <= j+2beta < 128 &&
6*1fa7b972STobias Grosser    510 <= t2+2beta <= 514 &&
7*1fa7b972STobias Grosser    0 <= 2beta - t2 <= 5
8*1fa7b972STobias Grosser)}
9*1fa7b972STobias Grosser[t1,t2] -> {: 125 <= t1 <= 127 and 254 <= t2 < 257}
10*1fa7b972STobias Grosser{[i,j] -> unroll[x]}
11