[AMDGPU] Mark AGPR tuple implicit in the first instr of AGPR spills. (#115285)
[llvm-project.git] / polly / lib / External / isl / test_inputs / schedule / bounded_coefficients.sc
blobdd839e97d826547d58fadd22a2aa73d06bf72ea9
1 # Check that the bounds on the coefficients are respected.
2 # This function checks for a particular output schedule,
3 # but the exact output is not important, only that it does
4 # not contain any coefficients greater than 4.
5 # It is, however, easier to check for a particular output.
6 # This test uses the whole component scheduler
7 # because the incremental scheduler has no reason to fuse anything.
8 # OPTIONS: --schedule-whole-component  --schedule-max-coefficient=4 --schedule-max-constant-term=10
9 domain: { S_4[i, j, k] : 0 <= i < j <= 10 and 0 <= k <= 100;
10           S_2[i, j] : 0 <= i < j <= 10; S_6[i, j] : 0 <= i < j <= 10 }
11 validity: { S_2[0, j] -> S_4[0, j, 0] : 0 < j <= 10;
12             S_4[0, j, 100] -> S_6[0, j] : 0 < j <= 10 }