5 schedule: '{ domain: "{ S_3[i] : i >= 0 and i <= 99; S_5[i] : i >= 0 and i <= 99;
6 S_6[i] : i >= 0 and i <= 99; S_2[i] : i >= 0 and i <= 99; S_4[i] : i >= 0 and i
7 <= 99; S_0[i] : i >= 0 and i <= 99; S_1[i] : i >= 0 and i <= 99 }", child: { schedule:
8 "L_0[{ S_6[i] -> [(i)]; S_0[i] -> [(i)]; S_1[i] -> [(i)]; S_3[i] -> [(i)]; S_4[i]
9 -> [(i)]; S_5[i] -> [(i)]; S_2[i] -> [(i)] }]", child: { sequence: [ { filter: "{
10 S_0[i] }" }, { filter: "{ S_1[i] }" }, { filter: "{ S_2[i] }" }, { filter: "{ S_3[i]
11 }" }, { filter: "{ S_4[i] }" }, { filter: "{ S_5[i] }" }, { filter: "{ S_6[i] }"
15 extent: '{ __pet_test_0[i] : i >= 0 and i <= 99 }'
16 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
21 extent: '{ __pet_test_1[i] : i >= 0 and i <= 99 }'
22 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
27 extent: '{ __pet_test_2[i] : i >= 0 and i <= 99 }'
28 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
33 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
42 domain: '{ S_0[i] : i >= 0 and i <= 99 }'
50 index: '{ S_0[i] -> j[] }'
51 reference: __pet_ref_0
57 domain: '{ S_1[i] : i >= 0 and i <= 99 }'
65 index: '{ S_1[i] -> __pet_test_0[(i)] }'
66 reference: __pet_ref_1
73 index: '{ S_1[i] -> j[] }'
74 reference: __pet_ref_2
80 domain: '{ [S_2[i] -> [0]] : i >= 0 and i <= 99 }'
88 index: '{ S_2[i] -> a[(i)] }'
89 reference: __pet_ref_4
93 index: '{ S_2[i] -> [(i)] }'
94 reference: __pet_ref_5
99 index: '{ S_2[i] -> __pet_test_0[(i)] }'
100 reference: __pet_ref_3
104 domain: '{ [S_3[i] -> [0]] : i >= 0 and i <= 99 }'
112 index: '{ S_3[i] -> j[] }'
113 reference: __pet_ref_7
120 index: '{ S_3[i] -> __pet_test_0[(i)] }'
121 reference: __pet_ref_6
125 domain: '{ [S_4[i] -> [0]] : i >= 0 and i <= 99 }'
133 index: '{ S_4[i] -> __pet_test_1[(i)] }'
134 reference: __pet_ref_9
141 index: '{ S_4[i] -> j[] }'
142 reference: __pet_ref_10
149 index: '{ S_4[i] -> __pet_test_0[(i)] }'
150 reference: __pet_ref_8
154 domain: '{ S_5[i] : i >= 0 and i <= 99 }'
162 index: '{ S_5[i] -> __pet_test_2[(i)] }'
163 reference: __pet_ref_11
170 index: '{ S_5[i] -> __pet_test_0[(i)] }'
171 reference: __pet_ref_12
175 index: '{ S_5[i] -> [(1)] }'
176 reference: __pet_ref_13
180 may_read: '{ [S_5[i] -> [0]] -> __pet_test_1[i] }'
181 index: '{ [S_5[i] -> [__pet_test_0]] -> __pet_test_1[(i)] }'
182 reference: __pet_ref_15
187 index: '{ S_5[i] -> __pet_test_0[(i)] }'
188 reference: __pet_ref_14
192 domain: '{ [S_6[i] -> [0]] : i >= 0 and i <= 99 }'
200 index: '{ S_6[i] -> a[(i)] }'
201 reference: __pet_ref_17
208 index: '{ S_6[i] -> a[(i)] }'
209 reference: __pet_ref_18
216 index: '{ S_6[i] -> __pet_test_2[(i)] }'
217 reference: __pet_ref_16