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