vasilache.st
2.01 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
domain: "[M, N] -> { S5[i0, i1] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N; S8[]; S2[]; S7[i0, i1, i2, i3] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N and i3 >= 0 and i3 <= -1 + N and i3 >= 32i2 and i3 <= 31 + 32i2; S4[i0, i1] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N; S1[]; S3[] : M >= 79; S6[i0, i1, i2, i3] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <= -1 + N and i3 >= 0 and i3 <= -1 + N and i3 >= 32i2 and i3 <= 31 + 32i2 }"
child:
context: "[M, N] -> { [] : M <= 3 and N >= 100 }"
child:
sequence:
- filter: "[M, N] -> { S1[] }"
- filter: "[M, N] -> { S2[] }"
- filter: "[M, N] -> { S3[] }"
- filter: "[M, N] -> { S5[i0, i1]; S4[i0, i1] }"
child:
schedule: "[M, N] -> [{ S5[i0, i1] -> [(i0)]; S4[i0, i1] -> [(i0)] }]"
options: "[M, N] -> { separate[i0] }"
child:
schedule: "[M, N] -> [{ S5[i0, i1] -> [(i1)]; S4[i0, i1] -> [(i1)] }]"
options: "[M, N] -> { separate[i0] }"
child:
sequence:
- filter: "[M, N] -> { S4[i0, i1] }"
- filter: "[M, N] -> { S5[i0, i1] }"
- filter: "[M, N] -> { S7[i0, i1, i2, i3]; S6[i0, i1, i2, i3] }"
child:
schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i0)]; S6[i0, i1, i2, i3] -> [(i0)] }]"
options: "[M, N] -> { separate[i0] }"
child:
schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i1)]; S6[i0, i1, i2, i3] -> [(i1)] }]"
options: "[M, N] -> { separate[i0] }"
child:
schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i2)]; S6[i0, i1, i2, i3] -> [(i2)] }]"
options: "[M, N] -> { separate[i0] }"
child:
schedule: "[M, N] -> [{ S7[i0, i1, i2, i3] -> [(i3)]; S6[i0, i1, i2, i3] -> [(1 + i3)] }]"
options: "[M, N] -> { separate[i0] }"
child:
sequence:
- filter: "[M, N] -> { S6[i0, i1, i2, i3] }"
- filter: "[M, N] -> { S7[i0, i1, i2, i3] }"
- filter: "[M, N] -> { S8[] }"