pet_scop_collect_arrays: only collect siblings of accessed fields
[pet.git] / tests / continue5.scop
blob2cd7beea858da005c2c3fce44b767fd334bd2e5a
1 start: 47
2 end: 216
3 indent: "\t"
4 context: '{  :  }'
5 schedule: '{ domain: "{ S_3[i] : 0 <= i <= 99 and (i >= 58 or i <= 56); S_10[]; S_5[i]
6   : 0 <= i <= 99 and (i >= 58 or i <= 56); S_0[]; S_6[i] : 0 <= i <= 99 and (i >=
7   58 or i <= 56); S_2[i] : 0 <= i <= 99 and (i <= 56 or i >= 58); S_8[]; S_7[i] :
8   0 <= i <= 99; S_4[i] : 0 <= i <= 99 and (i >= 58 or i <= 56); S_9[]; S_1[i] : 0
9   <= i <= 99 }", child: { sequence: [ { filter: "{ S_0[] }" }, { filter: "{ S_3[i];
10   S_5[i]; S_6[i]; S_2[i]; S_7[i]; S_4[i]; S_1[i] }", child: { schedule: "L_0[{ S_6[i]
11   -> [(i)]; S_1[i] -> [(i)]; S_3[i] -> [(i)]; S_4[i] -> [(i)]; S_5[i] -> [(i)]; S_2[i]
12   -> [(i)]; S_7[i] -> [(i)] }]", child: { sequence: [ { filter: "{ S_1[i] }" }, {
13   filter: "{ S_2[i] }" }, { filter: "{ S_3[i] }" }, { filter: "{ S_4[i] }" }, { filter:
14   "{ S_5[i] }" }, { filter: "{ S_6[i] }" }, { filter: "{ S_7[i] }" } ] } } }, { filter:
15   "{ S_10[]; S_8[]; S_9[] }", child: { set: [ { filter: "{ S_8[] }" }, { filter: "{
16   S_9[] }" }, { filter: "{ S_10[] }" } ] } } ] } }'
17 arrays:
18 - context: '{  :  }'
19   extent: '{ __pet_test_0[i] : 0 <= i <= 99 and (i >= 58 or i <= 56) }'
20   value_bounds: '{ [i0] : 0 <= i0 <= 1 }'
21   element_type: int
22   element_size: 4
23   uniquely_defined: 1
24 - context: '{  :  }'
25   extent: '{ __pet_test_1[i] : 0 <= i <= 99 and (i >= 58 or i <= 56) }'
26   value_bounds: '{ [i0] : 0 <= i0 <= 1 }'
27   element_type: int
28   element_size: 4
29   uniquely_defined: 1
30 - context: '{  :  }'
31   extent: '{ a[i0] : 0 <= i0 <= 99 }'
32   element_type: int
33   element_size: 4
34 - context: '{  :  }'
35   extent: '{ i[] }'
36   element_type: int
37   element_size: 4
38 - context: '{  :  }'
39   extent: '{ j[] }'
40   element_type: int
41   element_size: 4
42 statements:
43 - line: 8
44   domain: '{ S_0[] }'
45   body:
46     type: expression
47     expr:
48       type: op
49       operation: =
50       arguments:
51       - type: access
52         index: '{ S_0[] -> i[] }'
53         reference: __pet_ref_0
54         read: 0
55         write: 1
56       - type: int
57         value: 0
58 - line: 9
59   domain: '{ S_1[i] : 0 <= i <= 99 }'
60   body:
61     type: expression
62     expr:
63       type: op
64       operation: =
65       arguments:
66       - type: access
67         index: '{ S_1[i] -> j[] }'
68         reference: __pet_ref_1
69         read: 0
70         write: 1
71       - type: call
72         name: f
73 - line: 12
74   domain: '{ S_2[i] : 0 <= i <= 99 and (i <= 56 or i >= 58) }'
75   body:
76     type: expression
77     expr:
78       type: op
79       operation: =
80       arguments:
81       - type: access
82         index: '{ S_2[i] -> a[(i)] }'
83         reference: __pet_ref_2
84         read: 0
85         write: 1
86       - type: access
87         index: '{ S_2[i] -> [(i)] }'
88         reference: __pet_ref_3
89         read: 1
90         write: 0
91 - line: 13
92   domain: '{ S_3[i] : 0 <= i <= 99 and (i >= 58 or i <= 56) }'
93   body:
94     type: expression
95     expr:
96       type: op
97       operation: =
98       arguments:
99       - type: access
100         index: '{ S_3[i] -> j[] }'
101         reference: __pet_ref_4
102         read: 0
103         write: 1
104       - type: call
105         name: f
106 - line: 14
107   domain: '{ S_4[i] : 0 <= i <= 99 and (i >= 58 or i <= 56) }'
108   body:
109     type: expression
110     expr:
111       type: op
112       operation: =
113       arguments:
114       - type: access
115         index: '{ S_4[i] -> __pet_test_0[(i)] }'
116         reference: __pet_ref_5
117         read: 0
118         write: 1
119       - type: op
120         operation: ==
121         arguments:
122         - type: access
123           index: '{ S_4[i] -> j[] }'
124           reference: __pet_ref_6
125           read: 1
126           write: 0
127         - type: int
128           value: 0
129 - line: -1
130   domain: '{ S_5[i] : 0 <= i <= 99 and (i >= 58 or i <= 56) }'
131   body:
132     type: expression
133     expr:
134       type: op
135       operation: =
136       arguments:
137       - type: access
138         index: '{ S_5[i] -> __pet_test_1[(i)] }'
139         reference: __pet_ref_7
140         read: 0
141         write: 1
142       - type: op
143         operation: '?:'
144         arguments:
145         - type: access
146           index: '{ S_5[i] -> [((0) : i >= 58 or i <= 56)] }'
147           reference: __pet_ref_8
148           read: 1
149           write: 0
150         - type: access
151           index: '{ S_5[i] -> [(1)] }'
152           reference: __pet_ref_9
153           read: 1
154           write: 0
155         - type: access
156           may_read: '{ S_5[i] -> __pet_test_0[i'' = i] : i >= 58 or i <= 56 }'
157           index: '{ S_5[i] -> __pet_test_0[(i)] }'
158           reference: __pet_ref_10
159           read: 1
160           write: 0
161 - line: 16
162   domain: '{ [S_6[i] -> [__pet_test_1 = 0]] : 0 <= i <= 99 and (i >= 58 or i <= 56)
163     }'
164   body:
165     type: expression
166     expr:
167       type: op
168       operation: =
169       arguments:
170       - type: access
171         index: '{ S_6[i] -> a[(i)] }'
172         reference: __pet_ref_12
173         read: 0
174         write: 1
175       - type: op
176         operation: +
177         arguments:
178         - type: access
179           index: '{ S_6[i] -> a[(i)] }'
180           reference: __pet_ref_13
181           read: 1
182           write: 0
183         - type: int
184           value: 1
185   arguments:
186   - type: access
187     index: '{ S_6[i] -> __pet_test_1[(i)] }'
188     reference: __pet_ref_11
189     read: 1
190     write: 0
191 - line: 8
192   domain: '{ S_7[i] : 0 <= i <= 99 }'
193   body:
194     type: expression
195     expr:
196       type: op
197       operation: =
198       arguments:
199       - type: access
200         index: '{ S_7[i] -> i[] }'
201         reference: __pet_ref_14
202         read: 0
203         write: 1
204       - type: access
205         index: '{ S_7[i] -> [(1 + i)] }'
206         reference: __pet_ref_15
207         read: 1
208         write: 0
209 - line: -1
210   domain: '{ S_8[] }'
211   body:
212     type: expression
213     expr:
214       type: op
215       operation: kill
216       arguments:
217       - type: access
218         killed: '{ S_8[] -> i[] }'
219         index: '{ S_8[] -> i[] }'
220         reference: __pet_ref_16
221         kill: 1
222 - line: -1
223   domain: '{ S_9[] }'
224   body:
225     type: expression
226     expr:
227       type: op
228       operation: kill
229       arguments:
230       - type: access
231         killed: '{ S_9[] -> j[] }'
232         index: '{ S_9[] -> j[] }'
233         reference: __pet_ref_17
234         kill: 1
235 - line: -1
236   domain: '{ S_10[] }'
237   body:
238     type: expression
239     expr:
240       type: op
241       operation: kill
242       arguments:
243       - type: access
244         killed: '{ S_10[] -> a[o0] : 0 <= o0 <= 99 }'
245         index: '{ S_10[] -> a[] }'
246         depth: 1
247         reference: __pet_ref_18
248         kill: 1