diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-loechner3.st')
| -rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-loechner3.st | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-loechner3.st b/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-loechner3.st new file mode 100644 index 00000000000..90b561a7b9d --- /dev/null +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/reservoir-loechner3.st @@ -0,0 +1,12 @@ +domain: "[M] -> { S1[i0, i1, i2] : i0 <= M and i1 >= 1 and i1 <= M and i2 >= 1 and i2 <= i0 }" +child: + context: "[M] -> { [] }" + child: + schedule: "[M] -> [{ S1[i0, i1, i2] -> [(i0)] }]" + options: "[M] -> { separate[i0] }" + child: + schedule: "[M] -> [{ S1[i0, i1, i2] -> [(i1 + i2)] }]" + options: "[M] -> { separate[i0] }" + child: + schedule: "[M] -> [{ S1[i0, i1, i2] -> [(i1)] }]" + options: "[M] -> { separate[i0] }" |
