| blob | 06679feeca0a7c47581e085868ce306a8dfc04f6 |
1 start: 47
2 end: 215
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_6[i] : i >= 0 and i <= 99; S_2[i] : i >= 0 and i <= 99; S_4[i] : i >= 0 and i
7 <= 99; S_0[i] : i >= 0 and i <= 99; S_1[i] : i >= 0 and i <= 99 }", child: { schedule:
8 "L_0[{ S_6[i] -> [(i)]; S_0[i] -> [(i)]; S_1[i] -> [(i)]; S_3[i] -> [(i)]; S_4[i]
9 -> [(i)]; S_5[i] -> [(i)]; S_2[i] -> [(i)] }]", child: { sequence: [ { filter: "{
10 S_0[i] }" }, { filter: "{ S_1[i] }" }, { filter: "{ S_2[i] }" }, { filter: "{ S_3[i]
11 }" }, { filter: "{ S_4[i] }" }, { filter: "{ S_5[i] }" }, { filter: "{ S_6[i] }"
12 } ] } } }'
13 arrays:
14 - context: '{ : }'
15 extent: '{ __pet_test_0[i] : i >= 0 and i <= 99 }'
16 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
17 element_type: int
18 element_size: 4
19 uniquely_defined: 1
20 - context: '{ : }'
21 extent: '{ __pet_test_1[i] : i >= 0 and i <= 99 }'
22 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
23 element_type: int
24 element_size: 4
25 uniquely_defined: 1
26 - context: '{ : }'
27 extent: '{ __pet_test_2[i] : i >= 0 and i <= 99 }'
28 value_bounds: '{ [i0] : i0 >= 0 and i0 <= 1 }'
29 element_type: int
30 element_size: 4
31 uniquely_defined: 1
32 - context: '{ : }'
33 extent: '{ a[i0] : i0 >= 0 and i0 <= 99 }'
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: 14
125 domain: '{ [S_4[i] -> [0]] : 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_9
135 read: 0
136 write: 1
137 - type: op
138 operation: ==
139 arguments:
140 - type: access
141 index: '{ S_4[i] -> j[] }'
142 reference: __pet_ref_10
143 read: 1
144 write: 0
145 - type: int
146 value: 0
147 arguments:
148 - type: access
149 index: '{ S_4[i] -> __pet_test_0[(i)] }'
150 reference: __pet_ref_8
151 read: 1
152 write: 0
153 - line: -1
154 domain: '{ S_5[i] : i >= 0 and i <= 99 }'
155 body:
156 type: expression
157 expr:
158 type: op
159 operation: =
160 arguments:
161 - type: access
162 index: '{ S_5[i] -> __pet_test_2[(i)] }'
163 reference: __pet_ref_11
164 read: 0
165 write: 1
166 - type: op
167 operation: '?:'
168 arguments:
169 - type: access
170 index: '{ S_5[i] -> __pet_test_0[(i)] }'
171 reference: __pet_ref_12
172 read: 1
173 write: 0
174 - type: access
175 index: '{ S_5[i] -> [(1)] }'
176 reference: __pet_ref_13
177 read: 1
178 write: 0
179 - type: access
180 may_read: '{ [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 index: '{ S_5[i] -> __pet_test_0[(i)] }'
188 reference: __pet_ref_14
189 read: 1
190 write: 0
191 - line: 16
192 domain: '{ [S_6[i] -> [0]] : i >= 0 and i <= 99 }'
193 body:
194 type: expression
195 expr:
196 type: op
197 operation: =
198 arguments:
199 - type: access
200 index: '{ S_6[i] -> a[(i)] }'
201 reference: __pet_ref_17
202 read: 0
203 write: 1
204 - type: op
205 operation: +
206 arguments:
207 - type: access
208 index: '{ S_6[i] -> a[(i)] }'
209 reference: __pet_ref_18
210 read: 1
211 write: 0
212 - type: int
213 value: 1
214 arguments:
215 - type: access
216 index: '{ S_6[i] -> __pet_test_2[(i)] }'
217 reference: __pet_ref_16
218 read: 1
219 write: 0