diff options
Diffstat (limited to 'polly/lib/External/isl/test_inputs/codegen/cloog/walters3.st')
-rw-r--r-- | polly/lib/External/isl/test_inputs/codegen/cloog/walters3.st | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/codegen/cloog/walters3.st b/polly/lib/External/isl/test_inputs/codegen/cloog/walters3.st new file mode 100644 index 00000000000..1a1427351df --- /dev/null +++ b/polly/lib/External/isl/test_inputs/codegen/cloog/walters3.st @@ -0,0 +1,10 @@ +domain: "{ S2[j, a, b] : 2a = j and j >= 1 and j <= 10 and 2b <= j and 2b >= -1 + j; S1[j, a, b] : 2a = j and 2b = j and j <= 8 and j >= 2 }" +child: + context: "{ [] }" + child: + schedule: "[{ S1[j, a, b] -> [(j)]; S2[j, a, b] -> [(j)] }, { S1[j, a, b] -> [(a)]; S2[j, a, b] -> [(a)] }, { S1[j, a, b] -> [(b)]; S2[j, a, b] -> [(b)] }]" + options: "{ separate[i0] }" + child: + sequence: + - filter: "{ S1[j, a, b] }" + - filter: "{ S2[j, a, b] }" |