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