diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-lim-lam1.in')
-rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-lim-lam1.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-lim-lam1.in b/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-lim-lam1.in new file mode 100644 index 00000000000..b2338b0321b --- /dev/null +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-lim-lam1.in @@ -0,0 +1,3 @@ +{ S2[i0, i1] -> [0, 1 + i0 - i1, 0, -1 + 2i1, 1] : i0 >= 1 and i0 <= 100 and i1 >= 1 and i1 <= 100; S1[i0, i1] -> [0, i0 - i1, 0, 2i1, 0] : i0 >= 1 and i0 <= 100 and i1 >= 1 and i1 <= 100 } +{ : } +{ [i, j, k, l, m] -> separate[o0] } |