[AMDGPU] Test codegen'ing True16 additions.

[llvm-project.git] / polly / lib / External / isl / test_inputs / codegen / pldi2012 / figure8_b.in

[n] -> { s0[i] -> [i] : exists alpha: 1 <= i <= n and i = 4 alpha;
         s1[i] -> [i] : exists alpha: 1 <= i <= n and i = 4 alpha + 2 }
[n] -> { : }
[n] -> { [*] -> separate[x] : x >= 0 }