]> matita.cs.unibo.it Git - pkg-cerco/acc.git/blob - tests/clight/fir4.ASM.expected
Imported Upstream version 0.2
[pkg-cerco/acc.git] / tests / clight / fir4.ASM.expected
1 # extern __builtin_varargs_start: int -> void
2 # extern __builtin_va_start: int -> int -> void
3 # extern __builtin_va_end: int -> void
4 # extern __builtin_va_copy: int -> int -> void
5 # extern __builtin_va_arg: int -> int -> void
6 # extern __builtin_types_compatible_p: int -> int -> int
7 # extern __builtin_tanl: float -> float
8 # extern __builtin_tanhl: float -> float
9 # extern __builtin_tanhf: float -> float
10 # extern __builtin_tanh: float -> float
11 # extern __builtin_tanf: float -> float
12 # extern __builtin_tan: float -> float
13 # extern __builtin_strspn: int -> int -> int
14 # extern __builtin_strpbrk: int -> int -> int
15 # extern __builtin_strncpy: int -> int -> int -> int
16 # extern __builtin_strncmp: int -> int -> int -> int
17 # extern __builtin_strncat: int -> int -> int -> int
18 # extern __builtin_strcspn: int -> int -> int
19 # extern __builtin_strcpy: int -> int -> int
20 # extern __builtin_strcmp: int -> int -> int
21 # extern __builtin_strchr: int -> int -> int
22 # extern __builtin_stpcpy: int -> int -> int
23 # extern __builtin_stdarg_start: int -> void
24 # extern __builtin_sqrtl: float -> float
25 # extern __builtin_sqrtf: float -> float
26 # extern __builtin_sqrt: float -> float
27 # extern __builtin_sinl: float -> float
28 # extern __builtin_sinhl: float -> float
29 # extern __builtin_sinhf: float -> float
30 # extern __builtin_sinh: float -> float
31 # extern __builtin_sinf: float -> float
32 # extern __builtin_sin: float -> float
33 # extern __builtin_return_address: int -> int
34 # extern __builtin_return: int -> void
35 # extern __builtin_powil: float -> int -> float
36 # extern __builtin_powif: float -> int -> float
37 # extern __builtin_powi: float -> int -> float
38 # extern __builtin_popcountll: int -> int
39 # extern __builtin_popcountl: int -> int
40 # extern __builtin_popcount: int -> int
41 # extern __builtin_parityll: int -> int
42 # extern __builtin_parityl: int -> int
43 # extern __builtin_parity: int -> int
44 # extern __builtin_object_size: int -> int -> int
45 # extern __builtin_next_arg: int
46 # extern __builtin_nansl: int -> float
47 # extern __builtin_nansf: int -> float
48 # extern __builtin_nans: int -> float
49 # extern __builtin_nanl: int -> float
50 # extern __builtin_nanf: int -> float
51 # extern __builtin_nan: int -> float
52 # extern __builtin_modfl: float -> int -> float
53 # extern __builtin_modff: float -> int -> float
54 # extern __builtin_mempcpy: int -> int -> int -> int
55 # extern __builtin_memcpy: int -> int -> int -> int
56 # extern __builtin_logl: float -> float
57 # extern __builtin_logf: float -> float
58 # extern __builtin_log10l: float -> float
59 # extern __builtin_log10f: float -> float
60 # extern __builtin_log10: float -> float
61 # extern __builtin_log: float -> float
62 # extern __builtin_ldexpl: float -> int -> float
63 # extern __builtin_ldexpf: float -> int -> float
64 # extern __builtin_ldexp: float -> int -> float
65 # extern __builtin_infl: float
66 # extern __builtin_inff: float
67 # extern __builtin_inf: float
68 # extern __builtin_huge_vall: float
69 # extern __builtin_huge_valf: float
70 # extern __builtin_huge_val: float
71 # extern __builtin_frexpl: float -> int -> float
72 # extern __builtin_frexpf: float -> int -> float
73 # extern __builtin_frexp: float -> int -> float
74 # extern __builtin_frame_address: int -> int
75 # extern __builtin_fmodl: float -> float
76 # extern __builtin_fmodf: float -> float
77 # extern __builtin_fmod: float -> float
78 # extern __builtin_floorl: float -> float
79 # extern __builtin_floorf: float -> float
80 # extern __builtin_floor: float -> float
81 # extern __builtin_ffsll: int -> int
82 # extern __builtin_ffsl: int -> int
83 # extern __builtin_ffs: int -> int
84 # extern __builtin_fabsl: float -> float
85 # extern __builtin_fabsf: float -> float
86 # extern __builtin_fabs: float -> float
87 # extern __builtin_expl: float -> float
88 # extern __builtin_expf: float -> float
89 # extern __builtin_expect: int -> int -> int
90 # extern __builtin_exp: float -> float
91 # extern __builtin_ctzll: int -> int
92 # extern __builtin_ctzl: int -> int
93 # extern __builtin_ctz: int -> int
94 # extern __builtin_cosl: float -> float
95 # extern __builtin_coshl: float -> float
96 # extern __builtin_coshf: float -> float
97 # extern __builtin_cosh: float -> float
98 # extern __builtin_cosf: float -> float
99 # extern __builtin_cos: float -> float
100 # extern __builtin_constant_p: int -> int
101 # extern __builtin_clzll: int -> int
102 # extern __builtin_clzl: int -> int
103 # extern __builtin_clz: int -> int
104 # extern __builtin_ceill: float -> float
105 # extern __builtin_ceilf: float -> float
106 # extern __builtin_ceil: float -> float
107 # extern __builtin_atanl: float -> float
108 # extern __builtin_atanf: float -> float
109 # extern __builtin_atan2l: float -> float -> float
110 # extern __builtin_atan2f: float -> float -> float
111 # extern __builtin_atan2: float -> float -> float
112 # extern __builtin_atan: float -> float
113 # extern __builtin_asinl: float -> float
114 # extern __builtin_asinf: float -> float
115 # extern __builtin_asin: float -> float
116 # extern __builtin_alloca: int -> int
117 # extern __builtin_acosl: float -> float
118 # extern __builtin_acosf: float -> float
119 # extern __builtin_acos: float -> float
120 # extern __builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
121 # extern __builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
122 # extern __builtin___vprintf_chk: int -> int -> int -> int
123 # extern __builtin___vfprintf_chk: int -> int -> int -> int -> int
124 # extern __builtin___strncpy_chk: int -> int -> int -> int -> int
125 # extern __builtin___strncat_chk: int -> int -> int -> int -> int
126 # extern __builtin___strcpy_chk: int -> int -> int -> int
127 # extern __builtin___strcat_chk: int -> int -> int -> int
128 # extern __builtin___stpcpy_chk: int -> int -> int -> int
129 # extern __builtin___memset_chk: int -> int -> int -> int -> int
130 # extern __builtin___mempcpy_chk: int -> int -> int -> int -> int
131 # extern __builtin___memmove_chk: int -> int -> int -> int -> int
132 # extern __builtin___memcpy_chk: int -> int -> int -> int -> int
133
134 # begin preamble       
135 .data                  
136 globals:               
137 .space 288           
138 nl:                    
139 .asciiz "\n"      
140 .align 2             
141 .text                 
142 main:                 
143 la    $gp, globals    
144 j     main385              
145 print_int:            
146 li    $v0, 1          
147 syscall               
148 jr     $ra            
149 print_intln:          
150 li    $v0, 1          
151 syscall               
152 la    $a0, nl         
153 li    $v0, 4          
154 syscall               
155 jr     $ra            
156 scan_int:             
157 li    $v0, 5          
158 syscall               
159 jr     $ra            
160 alloc:                
161 li    $v0, 9          
162 syscall               
163 jr     $ra            
164
165 pow2:                 
166 li    $v0, 1          
167 sllv  $v0, $v0, $a0   
168 jr    $ra             
169
170 mod:                  
171 beqz  $a0, mod0       
172 beqz  $a1, mod0       
173 li    $t2, 0          
174 mod_t0:               
175 bgtz  $a0, mod_a0_pos 
176 neg   $t0, $a0        
177 addi  $t2, $t2, 1     
178 j     mod_t1          
179 mod_a0_pos:           
180 move  $t0, $a0        
181 mod_t1:               
182 bgtz  $a1, mod_a1_pos 
183 neg   $t1, $a1        
184 addi  $t2, $t2, 2     
185 j     mod_main        
186 mod_a1_pos:           
187 move  $t1, $a1        
188 mod_main:             
189 rem   $v0, $t0, $t1   
190 beqz  $t2, mod_exit   
191 addi  $t2, -1         
192 beqz  $t2, mod_case1  
193 addi  $t2, -1         
194 beqz  $t2, mod_case2  
195 neg   $v0, $v0        
196 j mod_exit            
197 mod_case1:            
198 sub   $v0, $a1, $v0   
199 j mod_exit            
200 mod_case2:            
201 add   $v0, $a1, $v0   
202 j mod_exit            
203 mod0:                 
204 li    $v0, 0          
205 mod_exit:             
206 jr    $ra             
207
208 toint:                
209 # $a0: size           
210 # $a1: int to convert 
211 addi  $sp, $sp, -4    
212 sw    $ra, 0($sp)     
213 jal   pow2            
214 move  $a0, $a1        
215 move  $a1, $v0        
216 jal   mod             
217 lw    $ra, 0($sp)     
218 addi  $sp, $sp, 4     
219 jr    $ra             
220
221 toint8:               
222 addi  $sp, $sp, -4    
223 sw    $ra, 0($sp)     
224 move  $a1, $a0        
225 li    $a0, 8          
226 jal   toint           
227 lw    $ra, 0($sp)     
228 addi  $sp, $sp, 4     
229 jr    $ra             
230
231 toint16:              
232 addi  $sp, $sp, -4    
233 sw    $ra, 0($sp)     
234 move  $a1, $a0        
235 li    $a0, 16         
236 jal   toint           
237 lw    $ra, 0($sp)     
238 addi  $sp, $sp, 4     
239 jr    $ra             
240
241 sign_ext:             
242 # $a0: size           
243 # $a1: int to extend  
244 li    $v0, 32         
245 sub   $a0, $v0, $a0   
246 sllv  $v0, $a1, $a0   
247 srav  $v0, $v0, $a0   
248 jr    $ra             
249
250 ofint:                
251 # $a0: signedness     
252 # $a1: size           
253 # $a2: int to convert 
254 addi  $sp, $sp, -4    
255 sw    $ra, 0($sp)     
256 beqz  $a0, ofint_unsigned 
257 move  $a0, $a1        
258 move  $a1, $a2        
259 jal   sign_ext        
260 j     ofint_exit      
261 ofint_unsigned:       
262 move  $v0, $a2        
263 ofint_exit:           
264 lw    $ra, 0($sp)     
265 addi  $sp, $sp, 4     
266 jr    $ra             
267
268 ofint8:               
269 addi  $sp, $sp, -4    
270 sw    $ra, 0($sp)     
271 move  $a2, $a0        
272 li    $a1, 8          
273 li    $a0, 1          
274 jal   ofint           
275 lw    $ra, 0($sp)     
276 addi  $sp, $sp, 4     
277 jr    $ra             
278
279 ofuint8:              
280 addi  $sp, $sp, -4    
281 sw    $ra, 0($sp)     
282 move  $a2, $a0        
283 li    $a1, 8          
284 li    $a0, 0          
285 jal   ofint           
286 lw    $ra, 0($sp)     
287 addi  $sp, $sp, 4     
288 jr    $ra             
289
290 ofint16:              
291 addi  $sp, $sp, -4    
292 sw    $ra, 0($sp)     
293 move  $a2, $a0        
294 li    $a1, 16         
295 li    $a0, 1          
296 jal   ofint           
297 lw    $ra, 0($sp)     
298 addi  $sp, $sp, 4     
299 jr    $ra             
300
301 ofuint16:             
302 addi  $sp, $sp, -4    
303 sw    $ra, 0($sp)     
304 move  $a2, $a0        
305 li    $a1, 16         
306 li    $a0, 0          
307 jal   ofint           
308 lw    $ra, 0($sp)     
309 addi  $sp, $sp, 4     
310 jr    $ra             
311 # end preamble        
312
313
314 # begin fir4
315 fir4280:
316 addi    $sp, $sp, -116
317 sw      $ra, 112($sp)
318 sw      $s7, 108($sp)
319 sw      $s6, 104($sp)
320 sw      $s5, 100($sp)
321 sw      $s4, 96($sp)
322 sw      $s3, 92($sp)
323 sw      $s2, 88($sp)
324 sw      $s1, 84($sp)
325 sw      $s0, 80($sp)
326 sw      $a0, 64($sp)
327 move    $s6, $a1
328 sw      $a2, 68($sp)
329 sw      $a3, 72($sp)
330 c25:
331 li      $s1, 0
332 c24:
333 c23:
334 c22:
335 li      $s3, 0
336 fir4128:
337 li      $a0, 0
338 c21:
339 li      $v0, 16
340 slt     $v0, $s3, $v0
341 seq     $v0, $v0, $zero
342 beq     $v0, $a0, fir4122
343 c18:
344 c17:
345 li      $s4, 0
346 fir4109:
347 li      $a0, 0
348 c16:
349 lw      $fp, 72($sp)
350 slt     $v0, $s4, $fp
351 seq     $v0, $v0, $zero
352 beq     $v0, $a0, fir4104
353 c0:
354 li      $v0, 0
355 lw      $ra, 112($sp)
356 lw      $s7, 108($sp)
357 lw      $s6, 104($sp)
358 lw      $s5, 100($sp)
359 lw      $s4, 96($sp)
360 lw      $s3, 92($sp)
361 lw      $s2, 88($sp)
362 lw      $s1, 84($sp)
363 lw      $s0, 80($sp)
364 addi    $sp, $sp, 116
365 jr      $ra
366 fir4104:
367 c14:
368 li      $v0, 4
369 mulo    $v0, $s4, $v0
370 lw      $v1, 64($sp)
371 add     $v0, $v1, $v0
372 lw      $a1, 0($v0)
373 move    $a0, $sp
374 li      $v0, 4
375 mulo    $v0, $s1, $v0
376 add     $v0, $a0, $v0
377 sw      $a1, 0($v0)
378 c13:
379 li      $s5, 0
380 c12:
381 c11:
382 li      $s3, 0
383 fir491:
384 li      $a0, 0
385 c10:
386 li      $v0, 16
387 slt     $v0, $s3, $v0
388 seq     $v0, $v0, $zero
389 beq     $v0, $a0, fir485
390 c2:
391 li      $v0, 1
392 add     $a0, $s1, $v0
393 li      $a1, 16
394 la      $v0, mod
395 jalr    $v0
396 move    $s1, $v0
397 c1:
398 li      $v0, 16
399 srav    $a0, $s5, $v0
400 li      $v0, 4
401 mulo    $v0, $s4, $v0
402 lw      $v1, 68($sp)
403 add     $v0, $v1, $v0
404 sw      $a0, 0($v0)
405 c15:
406 li      $v0, 1
407 add     $s4, $s4, $v0
408 j       fir4109
409 fir485:
410 c8:
411 move    $a0, $sp
412 li      $v0, 4
413 mulo    $v0, $s1, $v0
414 add     $v0, $a0, $v0
415 lw      $a0, 0($v0)
416 li      $v0, 4
417 mulo    $v0, $s3, $v0
418 add     $v0, $s6, $v0
419 lw      $v0, 0($v0)
420 mulo    $s2, $a0, $v0
421 c7:
422 move    $s0, $sp
423 li      $v0, 1
424 add     $a0, $s1, $v0
425 li      $a1, 16
426 la      $v0, mod
427 jalr    $v0
428 li      $a0, 4
429 mulo    $v0, $v0, $a0
430 add     $v0, $s0, $v0
431 lw      $a1, 0($v0)
432 li      $v0, 1
433 add     $a0, $s3, $v0
434 li      $v0, 4
435 mulo    $v0, $a0, $v0
436 add     $v0, $s6, $v0
437 lw      $v0, 0($v0)
438 mulo    $v1, $a1, $v0
439 sw      $v1, 76($sp)
440 c6:
441 move    $s0, $sp
442 li      $v0, 2
443 add     $a0, $s1, $v0
444 li      $a1, 16
445 la      $v0, mod
446 jalr    $v0
447 li      $a0, 4
448 mulo    $v0, $v0, $a0
449 add     $v0, $s0, $v0
450 lw      $a1, 0($v0)
451 li      $v0, 2
452 add     $a0, $s3, $v0
453 li      $v0, 4
454 mulo    $v0, $a0, $v0
455 add     $v0, $s6, $v0
456 lw      $v0, 0($v0)
457 mulo    $s7, $a1, $v0
458 c5:
459 move    $s0, $sp
460 li      $v0, 3
461 add     $a0, $s1, $v0
462 li      $a1, 16
463 la      $v0, mod
464 jalr    $v0
465 li      $a0, 4
466 mulo    $v0, $v0, $a0
467 add     $v0, $s0, $v0
468 lw      $a1, 0($v0)
469 li      $v0, 3
470 add     $a0, $s3, $v0
471 li      $v0, 4
472 mulo    $v0, $a0, $v0
473 add     $v0, $s6, $v0
474 lw      $v0, 0($v0)
475 mulo    $v0, $a1, $v0
476 c4:
477 add     $a0, $s5, $s2
478 lw      $fp, 76($sp)
479 add     $a0, $a0, $fp
480 add     $a0, $a0, $s7
481 add     $s5, $a0, $v0
482 c3:
483 li      $v0, 4
484 add     $a0, $s1, $v0
485 li      $a1, 16
486 la      $v0, mod
487 jalr    $v0
488 move    $s1, $v0
489 c9:
490 li      $v0, 4
491 add     $s3, $s3, $v0
492 j       fir491
493 fir4122:
494 c19:
495 move    $a0, $sp
496 li      $v0, 4
497 mulo    $v0, $s3, $v0
498 add     $v0, $a0, $v0
499 sw      $zero, 0($v0)
500 c20:
501 li      $v0, 1
502 add     $s3, $s3, $v0
503 j       fir4128
504 # end fir4
505
506
507 # begin _main
508 main385:
509 addi    $sp, $sp, -68
510 sw      $ra, 64($sp)
511 li      $a0, 1129
512 move    $v0, $gp
513 sw      $a0, 0($v0)
514 li      $a0, 60034
515 move    $v0, $gp
516 sw      $a0, 4($v0)
517 li      $a0, 64720
518 move    $v0, $gp
519 sw      $a0, 8($v0)
520 li      $a0, 5595
521 move    $v0, $gp
522 sw      $a0, 12($v0)
523 li      $a0, 494
524 move    $v0, $gp
525 sw      $a0, 16($v0)
526 li      $a0, 59867
527 move    $v0, $gp
528 sw      $a0, 20($v0)
529 li      $a0, 65370
530 move    $v0, $gp
531 sw      $a0, 24($v0)
532 li      $a0, 5724
533 move    $v0, $gp
534 sw      $a0, 28($v0)
535 li      $a0, 5724
536 move    $v0, $gp
537 sw      $a0, 32($v0)
538 li      $a0, 65370
539 move    $v0, $gp
540 sw      $a0, 36($v0)
541 li      $a0, 59867
542 move    $v0, $gp
543 sw      $a0, 40($v0)
544 li      $a0, 494
545 move    $v0, $gp
546 sw      $a0, 44($v0)
547 li      $a0, 5595
548 move    $v0, $gp
549 sw      $a0, 48($v0)
550 li      $a0, 64720
551 move    $v0, $gp
552 sw      $a0, 52($v0)
553 li      $a0, 60034
554 move    $v0, $gp
555 sw      $a0, 56($v0)
556 li      $a0, 1129
557 move    $v0, $gp
558 sw      $a0, 60($v0)
559 li      $a0, 1
560 move    $v0, $gp
561 sw      $a0, 64($v0)
562 move    $v0, $gp
563 sw      $zero, 68($v0)
564 li      $a0, 16384
565 move    $v0, $gp
566 sw      $a0, 72($v0)
567 move    $v0, $gp
568 sw      $zero, 76($v0)
569 move    $v0, $gp
570 sw      $zero, 80($v0)
571 move    $v0, $gp
572 sw      $zero, 84($v0)
573 move    $v0, $gp
574 sw      $zero, 88($v0)
575 move    $v0, $gp
576 sw      $zero, 92($v0)
577 move    $v0, $gp
578 sw      $zero, 96($v0)
579 move    $v0, $gp
580 sw      $zero, 100($v0)
581 move    $v0, $gp
582 sw      $zero, 104($v0)
583 move    $v0, $gp
584 sw      $zero, 108($v0)
585 move    $v0, $gp
586 sw      $zero, 112($v0)
587 move    $v0, $gp
588 sw      $zero, 116($v0)
589 move    $v0, $gp
590 sw      $zero, 120($v0)
591 move    $v0, $gp
592 sw      $zero, 124($v0)
593 move    $v0, $gp
594 sw      $zero, 128($v0)
595 move    $v0, $gp
596 sw      $zero, 132($v0)
597 move    $v0, $gp
598 sw      $zero, 136($v0)
599 move    $v0, $gp
600 sw      $zero, 140($v0)
601 move    $v0, $gp
602 sw      $zero, 144($v0)
603 move    $v0, $gp
604 sw      $zero, 148($v0)
605 move    $v0, $gp
606 sw      $zero, 152($v0)
607 move    $v0, $gp
608 sw      $zero, 156($v0)
609 move    $v0, $gp
610 sw      $zero, 160($v0)
611 li      $a0, 7986
612 move    $v0, $gp
613 sw      $a0, 164($v0)
614 li      $a0, 8993
615 move    $v0, $gp
616 sw      $a0, 168($v0)
617 li      $a0, 1808
618 move    $v0, $gp
619 sw      $a0, 172($v0)
620 li      $a0, 4096
621 move    $v0, $gp
622 sw      $a0, 176($v0)
623 li      $a0, 4096
624 move    $v0, $gp
625 sw      $a0, 180($v0)
626 li      $a0, 4096
627 move    $v0, $gp
628 sw      $a0, 184($v0)
629 li      $a0, 4096
630 move    $v0, $gp
631 sw      $a0, 188($v0)
632 li      $a0, 4096
633 move    $v0, $gp
634 sw      $a0, 192($v0)
635 li      $a0, 4096
636 move    $v0, $gp
637 sw      $a0, 196($v0)
638 li      $a0, 4096
639 move    $v0, $gp
640 sw      $a0, 200($v0)
641 li      $a0, 4096
642 move    $v0, $gp
643 sw      $a0, 204($v0)
644 li      $a0, 4096
645 move    $v0, $gp
646 sw      $a0, 208($v0)
647 li      $a0, 4096
648 move    $v0, $gp
649 sw      $a0, 212($v0)
650 li      $a0, 4096
651 move    $v0, $gp
652 sw      $a0, 216($v0)
653 li      $a0, 4096
654 move    $v0, $gp
655 sw      $a0, 220($v0)
656 li      $a0, 4096
657 move    $v0, $gp
658 sw      $a0, 224($v0)
659 li      $a0, 4096
660 move    $v0, $gp
661 sw      $a0, 228($v0)
662 li      $a0, 4096
663 move    $v0, $gp
664 sw      $a0, 232($v0)
665 li      $a0, 4096
666 move    $v0, $gp
667 sw      $a0, 236($v0)
668 li      $a0, 4096
669 move    $v0, $gp
670 sw      $a0, 240($v0)
671 li      $a0, 4096
672 move    $v0, $gp
673 sw      $a0, 244($v0)
674 li      $a0, 4096
675 move    $v0, $gp
676 sw      $a0, 248($v0)
677 li      $a0, 4096
678 move    $v0, $gp
679 sw      $a0, 252($v0)
680 li      $a0, 4096
681 move    $v0, $gp
682 sw      $a0, 256($v0)
683 li      $a0, 4096
684 move    $v0, $gp
685 sw      $a0, 260($v0)
686 li      $a0, 4096
687 move    $v0, $gp
688 sw      $a0, 264($v0)
689 li      $a0, 4096
690 move    $v0, $gp
691 sw      $a0, 268($v0)
692 li      $a0, 4096
693 move    $v0, $gp
694 sw      $a0, 272($v0)
695 li      $a0, 4096
696 move    $v0, $gp
697 sw      $a0, 276($v0)
698 li      $a0, 4096
699 move    $v0, $gp
700 sw      $a0, 280($v0)
701 li      $a0, 4096
702 move    $v0, $gp
703 sw      $a0, 284($v0)
704 c27:
705 move    $a0, $gp
706 addi    $a0, $a0, 64
707 move    $a1, $gp
708 move    $a2, $sp
709 li      $a3, 16
710 la      $v0, fir4280
711 jalr    $v0
712 c26:
713 lw      $ra, 64($sp)
714 addi    $sp, $sp, 68
715 jr      $ra
716 # end _main