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