summaryrefslogtreecommitdiff
path: root/polly/lib/External/isl/test_inputs/schedule/nana.st
diff options
context:
space:
mode:
Diffstat (limited to 'polly/lib/External/isl/test_inputs/schedule/nana.st')
-rw-r--r--polly/lib/External/isl/test_inputs/schedule/nana.st13
1 files changed, 13 insertions, 0 deletions
diff --git a/polly/lib/External/isl/test_inputs/schedule/nana.st b/polly/lib/External/isl/test_inputs/schedule/nana.st
new file mode 100644
index 000000000000..2275dd6d790f
--- /dev/null
+++ b/polly/lib/External/isl/test_inputs/schedule/nana.st
@@ -0,0 +1,13 @@
+domain: "{ sync[i0, i1] : 0 <= i0 <= 64 and 0 <= i1 <= 32; stB[i0, i1] : 0 <= i0 <= 64 and 0 <= i1 <= 64; stC[i0, i1] : 0 <= i0 <= 64 and 0 <= i1 <= 64 }"
+child:
+ schedule: "[{ sync[i0, i1] -> [(i0)]; stB[i0, i1] -> [(i0)]; stC[i0, i1] -> [(i0)] }, { sync[i0, i1] -> [(64 + i1)]; stB[i0, i1] -> [(i1)]; stC[i0, i1] -> [(i1)] }]"
+ permutable: 1
+ coincident: [ 1, 0 ]
+ child:
+ sequence:
+ - filter: "{ stB[i0, i1]; stC[i0, i1] }"
+ child:
+ set:
+ - filter: "{ stC[i0, i1] }"
+ - filter: "{ stB[i0, i1] }"
+ - filter: "{ sync[i0, i1] }"