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