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