4 context: '[K, N] -> { : K >= 100 and N <= 16 and N >= 8 and K <= 1000 }'
5 context_value: '[K, N] -> { : K = 256 }'
6 schedule: '{ domain: "[N, K] -> { S_2[k, j] : k >= 0 and k <= -1 + K and j >= 0 and
7 j <= -1 + N; S_3[k, j, i] : k >= 0 and k <= -1 + K and i <= -1 + N and j >= 0 and
8 i >= 1 + j; S_0[j, i] : j >= 0 and i >= j and i <= -1 + N; S_1[k, j] : k >= 0 and
9 k <= -1 + K and j >= 0 and j <= -1 + N; S_4[j, i] : j >= 0 and i >= j and i <= -1
10 + N }", child: { sequence: [ { filter: "[N, K] -> { S_0[j, i] }", child: { schedule:
11 "[N] -> L_0[{ S_0[j, i] -> [(j)] }]", child: { schedule: "[N] -> L_1[{ S_0[j, i]
12 -> [(i)] }]" } } }, { filter: "[N, K] -> { S_1[k, j] }", child: { schedule: "[K,
13 N] -> L_2[{ S_1[k, j] -> [(k)] }]", child: { schedule: "[K, N] -> L_3[{ S_1[k, j]
14 -> [(j)] }]" } } }, { filter: "[N, K] -> { S_2[k, j]; S_3[k, j, i] }", child: {
15 schedule: "[K, N] -> L_4[{ S_2[k, j] -> [(k)]; S_3[k, j, i] -> [(k)] }]", child:
16 { schedule: "[K, N] -> L_5[{ S_2[k, j] -> [(j)]; S_3[k, j, i] -> [(j)] }]", child:
17 { sequence: [ { filter: "[K, N] -> { S_2[k, j] }" }, { filter: "[K, N] -> { S_3[k,
18 j, i] }", child: { schedule: "[K, N] -> L_6[{ S_3[k, j, i] -> [(i)] }]" } } ] }
19 } } }, { filter: "[N, K] -> { S_4[j, i] }", child: { schedule: "[N] -> L_7[{ S_4[j,
20 i] -> [(j)] }]", child: { schedule: "[N] -> L_8[{ S_4[j, i] -> [(i)] }]" } } } ]
23 - context: '[N] -> { : N >= 0 }'
24 extent: '[N, K] -> { R[i0, i1] : i0 >= 0 and i0 <= -1 + N and i1 >= 0 and i1 <=
28 - context: '[N, K] -> { : K >= 0 and N >= 0 }'
29 extent: '[N, K] -> { X[i0, i1] : i0 >= 0 and i0 <= -1 + K and i1 >= 0 and i1 <=
34 extent: '[N, K] -> { t[] }'
39 domain: '[N, K] -> { S_0[j, i] : j >= 0 and i >= j and i <= -1 + N }'
47 index: '[N, K] -> { S_0[j, i] -> R[(j), (i)] }'
48 reference: __pet_ref_0
54 domain: '[N, K] -> { S_1[k, j] : k >= 0 and k <= -1 + K and j >= 0 and j <= -1 +
63 index: '[N, K] -> { S_1[k, j] -> X[(k), (j)] }'
64 reference: __pet_ref_1
70 domain: '[N, K] -> { S_2[k, j] : k >= 0 and k <= -1 + K and j >= 0 and j <= -1 +
79 index: '[N, K] -> { S_2[k, j] -> R[(j), (j)] }'
80 reference: __pet_ref_2
84 index: '[N, K] -> { S_2[k, j] -> X[(k), (j)] }'
85 reference: __pet_ref_3
92 may_read: '[N, K] -> { S_2[k, j] -> R[j, j] }'
93 may_write: '[N, K] -> { S_2[k, j] -> R[j, j] }'
94 must_write: '[N, K] -> { }'
95 index: '[N, K] -> { S_2[k, j] -> R[(j), (j)] }'
96 reference: __pet_ref_4
103 may_read: '[N, K] -> { S_2[k, j] -> X[k, j] }'
104 may_write: '[N, K] -> { S_2[k, j] -> X[k, j] }'
105 must_write: '[N, K] -> { }'
106 index: '[N, K] -> { S_2[k, j] -> X[(k), (j)] }'
107 reference: __pet_ref_5
114 may_read: '[N, K] -> { S_2[k, j] -> t[] }'
115 may_write: '[N, K] -> { S_2[k, j] -> t[] }'
116 must_write: '[N, K] -> { }'
117 index: '[N, K] -> { S_2[k, j] -> t[] }'
118 reference: __pet_ref_6
122 domain: '[N, K] -> { S_3[k, j, i] : k >= 0 and k <= -1 + K and i <= -1 + N and j
123 >= 0 and i >= 1 + j }'
131 index: '[N, K] -> { S_3[k, j, i] -> R[(j), (i)] }'
132 reference: __pet_ref_7
136 index: '[N, K] -> { S_3[k, j, i] -> X[(k), (i)] }'
137 reference: __pet_ref_8
141 index: '[N, K] -> { S_3[k, j, i] -> t[] }'
142 reference: __pet_ref_9
149 may_read: '[N, K] -> { S_3[k, j, i] -> R[j, i] }'
150 may_write: '[N, K] -> { S_3[k, j, i] -> R[j, i] }'
151 must_write: '[N, K] -> { }'
152 index: '[N, K] -> { S_3[k, j, i] -> R[(j), (i)] }'
153 reference: __pet_ref_10
160 may_read: '[N, K] -> { S_3[k, j, i] -> X[k, i] }'
161 may_write: '[N, K] -> { S_3[k, j, i] -> X[k, i] }'
162 must_write: '[N, K] -> { }'
163 index: '[N, K] -> { S_3[k, j, i] -> X[(k), (i)] }'
164 reference: __pet_ref_11
171 may_read: '[N, K] -> { S_3[k, j, i] -> t[] }'
172 may_write: '[N, K] -> { S_3[k, j, i] -> t[] }'
173 must_write: '[N, K] -> { }'
174 index: '[N, K] -> { S_3[k, j, i] -> t[] }'
175 reference: __pet_ref_12
179 domain: '[N, K] -> { S_4[j, i] : j >= 0 and i >= j and i <= -1 + N }'
187 index: '[N, K] -> { S_4[j, i] -> R[(j), (i)] }'
188 reference: __pet_ref_13