repo.or.cz
/
llvm-project.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
[AMDGPU] Test codegen'ing True16 additions.
[llvm-project.git]
/
polly
/
lib
/
External
/
isl
/
test_inputs
/
codegen
/
unroll11.in
blob
79445e20dce0e28d8aa037d8b729640ef3946f83
1
# Check that the most appropriate lower bound is selected
2
[t1,t2]->{ S[i,j] -> [i,j] : exists (alpha, beta :
3
0 <= i <= 1 &&
4
t1 = j+128alpha &&
5
0 <= j+2beta < 128 &&
6
510 <= t2+2beta <= 514 &&
7
0 <= 2beta - t2 <= 5
8
)}
9
[t1,t2] -> {: 125 <= t1 <= 127 and 254 <= t2 < 257}
10
{[i,j] -> unroll[x]}