]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/ifthenelse.LIN.expected
Package description and copyright added.
[pkg-cerco/acc.git] / tests / clight / ifthenelse.LIN.expected
1 program
2
3 globals 0
4
5 procedure if_ual(3)
6 var 0
7 if_ual84:
8 newframe
9 li    $v0, 0
10 c74:
11 li    $a3, 0
12 seq   $a3, $a0, $a3
13 beq   $a3, $zero, if_ual43
14 c73:
15 addu  $v0, $a1, $a2
16 if_ual2:
17 c62:
18 delframe
19 jr    $ra
20 if_ual43:
21 c72:
22 li    $a3, 1
23 seq   $a3, $a0, $a3
24 beq   $a3, $zero, if_ual36
25 c71:
26 subu  $v0, $a1, $a2
27 j     if_ual2
28 if_ual36:
29 c70:
30 li    $a3, 2
31 seq   $a3, $a0, $a3
32 beq   $a3, $zero, if_ual19
33 c69:
34 c68:
35 beq   $a1, $zero, if_ual20
36 c67:
37 beq   $a2, $zero, if_ual21
38 li    $v0, 1
39 j     if_ual2
40 if_ual21:
41 li    $v0, 0
42 j     if_ual2
43 if_ual20:
44 li    $v0, 0
45 j     if_ual2
46 if_ual19:
47 c66:
48 li    $a3, 3
49 seq   $a0, $a0, $a3
50 beq   $a0, $zero, if_ual2
51 c65:
52 c64:
53 beq   $a1, $zero, if_ual7
54 li    $v0, 1
55 j     if_ual2
56 if_ual7:
57 c63:
58 beq   $a2, $zero, if_ual3
59 li    $v0, 1
60 j     if_ual2
61 if_ual3:
62 li    $v0, 0
63 j     if_ual2
64
65 procedure if_test(4)
66 var 0
67 if_test55:
68 newframe
69 c61:
70 li    $v0, 0
71 c60:
72 c59:
73 c58:
74 c57:
75 c56:
76 slt   $t0, $a0, $a1
77 beq   $t0, $zero, if_test15
78 c55:
79 addu  $v0, $a0, $a1
80 if_test15:
81 c54:
82 slt   $a0, $a2, $a3
83 beq   $a0, $zero, if_test7
84 c53:
85 c52:
86 if_test7:
87 c51:
88 c50:
89 c49:
90 delframe
91 jr    $ra
92
93 procedure if_sansElse(2)
94 var 0
95 if_sansElse25:
96 newframe
97 c48:
98 li    $v0, 0
99 c47:
100 slt   $a1, $a0, $a1
101 beq   $a1, $zero, if_sansElse2
102 c46:
103 move  $v0, $a0
104 if_sansElse2:
105 c45:
106 delframe
107 jr    $ra
108
109 procedure if_prog(2)
110 var 0
111 if_prog30:
112 newframe
113 c44:
114 addu  $v0, $a1, $a0
115 c43:
116 li    $a0, 0
117 slt   $v0, $v0, $zero
118 beq   $v0, $a0, if_prog4
119 c42:
120 li    $v0, 2
121 if_prog2:
122 c40:
123 delframe
124 jr    $ra
125 if_prog4:
126 c41:
127 li    $v0, 3
128 j     if_prog2
129
130 procedure if_min(2)
131 var 0
132 if_min25:
133 newframe
134 move  $v0, $a1
135 c39:
136 sgt   $a1, $a0, $v0
137 beq   $a1, $zero, if_min4
138 c38:
139 if_min2:
140 c36:
141 delframe
142 jr    $ra
143 if_min4:
144 c37:
145 move  $v0, $a0
146 j     if_min2
147
148 procedure if_jian(9)
149 var 0
150 if_jian92:
151 newframe
152 gets  $t4, in(16)
153 gets  $t3, in(12)
154 gets  $t2, in(8)
155 gets  $t0, in(4)
156 gets  $t1, in(0)
157 li    $v0, 0
158 c15:
159 addu  $a0, $a0, $a1
160 slt   $t5, $a0, $a2
161 c14:
162 addu  $a1, $a3, $t4
163 c13:
164 li    $a0, 1
165 addu  $a2, $a2, $a0
166 c12:
167 li    $a0, 1
168 seq   $a0, $t1, $a0
169 beq   $a0, $zero, if_jian8
170 c11:
171 beq   $t5, $zero, if_jian30
172 c10:
173 addu  $v0, $a2, $a3
174 if_jian24:
175 c7:
176 li    $a1, 0
177 c6:
178 li    $a0, 0
179 seq   $a0, $t5, $a0
180 beq   $a0, $a1, if_jian12
181 li    $a0, 0
182 c5:
183 beq   $t0, $a0, if_jian13
184 li    $a0, 1
185 if_jian11:
186 beq   $a0, $zero, if_jian2
187 c4:
188 if_jian2:
189 c0:
190 delframe
191 jr    $ra
192 if_jian13:
193 li    $a0, 0
194 j     if_jian11
195 if_jian12:
196 li    $a0, 0
197 j     if_jian11
198 if_jian30:
199 c9:
200 li    $a0, 0
201 seq   $a0, $t0, $a0
202 beq   $a0, $zero, if_jian24
203 c8:
204 addu  $v0, $a1, $a3
205 j     if_jian24
206 if_jian8:
207 c3:
208 addu  $v0, $a2, $t4
209 c2:
210 addu  $v0, $v0, $t3
211 c1:
212 addu  $v0, $v0, $t2
213 j     if_jian2
214
215 procedure if_imbriq2(3)
216 var 0
217 if_imbriq234:
218 newframe
219 move  $v0, $a0
220 c35:
221 slt   $a0, $v0, $a1
222 beq   $a0, $zero, if_imbriq24
223 c34:
224 slt   $v0, $a1, $a2
225 beq   $v0, $zero, if_imbriq26
226 c33:
227 move  $v0, $a1
228 if_imbriq22:
229 c30:
230 delframe
231 jr    $ra
232 if_imbriq26:
233 c32:
234 li    $v0, 47
235 j     if_imbriq22
236 if_imbriq24:
237 c31:
238 j     if_imbriq22
239
240 procedure if_imbriq1(3)
241 var 0
242 if_imbriq134:
243 newframe
244 move  $v0, $a2
245 c29:
246 slt   $a2, $a0, $a1
247 beq   $a2, $zero, if_imbriq14
248 c28:
249 slt   $a0, $a1, $v0
250 beq   $a0, $zero, if_imbriq16
251 c27:
252 move  $v0, $a1
253 if_imbriq12:
254 c24:
255 delframe
256 jr    $ra
257 if_imbriq16:
258 c26:
259 j     if_imbriq12
260 if_imbriq14:
261 c25:
262 move  $v0, $a0
263 j     if_imbriq12
264
265 procedure if_exSimple(2)
266 var 0
267 if_exSimple39:
268 newframe
269 c23:
270 slt   $v0, $a0, $a1
271 beq   $v0, $zero, if_exSimple9
272 c22:
273 addu  $v0, $a0, $a1
274 c21:
275 li    $a0, 2
276 mul   $v0, $a0, $v0
277 c20:
278 if_exSimple2:
279 c16:
280 delframe
281 jr    $ra
282 if_exSimple9:
283 c19:
284 li    $v0, 2
285 mul   $v0, $v0, $a1
286 c18:
287 addu  $v0, $v0, $a0
288 c17:
289 addu  $v0, $v0, $a1
290 j     if_exSimple2
291
292 procedure _main(0)
293 var 4
294 main91:
295 newframe
296 sets  local(0), $ra
297 c84:
298 li    $a0, 1
299 li    $a1, 2
300 li    $a2, 3
301 li    $a3, 4
302 li    $t3, 5
303 li    $t2, 6
304 li    $t1, 7
305 li    $t0, 8
306 li    $v0, 9
307 sets  out(16), $t3
308 sets  out(12), $t2
309 sets  out(8), $t1
310 sets  out(4), $t0
311 sets  out(0), $v0
312 call  if_jian
313 c83:
314 li    $a0, 1
315 li    $a1, 2
316 call  if_exSimple
317 c82:
318 li    $a0, 1
319 li    $a1, 2
320 li    $a2, 3
321 call  if_imbriq1
322 c81:
323 li    $a0, 1
324 li    $a1, 2
325 li    $a2, 3
326 call  if_imbriq2
327 c80:
328 li    $a0, 1
329 li    $a1, 2
330 call  if_min
331 c79:
332 li    $a0, 1
333 li    $a1, 2
334 call  if_prog
335 c78:
336 li    $a0, 1
337 li    $a1, 2
338 call  if_sansElse
339 c77:
340 li    $a0, 1
341 li    $a1, 2
342 li    $a2, 3
343 li    $a3, 4
344 call  if_test
345 c76:
346 li    $a0, 1
347 li    $a1, 2
348 li    $a2, 3
349 call  if_ual
350 c75:
351 gets  $ra, local(0)
352 delframe
353 jr    $ra
354