source: Deliverables/D2.3/8051/tests/clight/testCOMP_tri.LTL.expected @ 453

Last change on this file since 453 was 453, checked in by ayache, 9 years ago

Import of the Paris's sources.

File size: 19.9 KB
Line 
1program
2
3globals 0
4
5procedure tri(2)
6var 0
7entry tri121
8tri121: newframe                --> tri120     
9tri120: j                       --> tri119     
10tri119: j                       --> tri118     
11tri118: j                       --> tri117     
12tri117: j                       --> tri116     
13tri116: j                       --> tri115     
14tri115: j                       --> tri114     
15tri114: j                       --> tri113     
16tri113: j                       --> tri112     
17tri112: j                       --> tri111     
18tri111: j                       --> tri110     
19tri110: j                       --> tri109     
20tri109: j                       --> tri108     
21tri108: j                       --> tri107     
22tri107: j                       --> tri106     
23tri106: j                       --> tri105     
24tri105: j                       --> tri104     
25tri104: j                       --> tri103     
26tri103: j                       --> tri102     
27tri102: j                       --> tri101     
28tri101: j                       --> tri100     
29tri100: j                       --> tri99     
30tri99 : j                       --> tri98     
31tri98 : j                       --> tri97     
32tri97 : j                       --> tri96     
33tri96 : j                       --> tri95     
34tri95 : j                       --> tri94     
35tri94 : j                       --> tri93     
36tri93 : j                       --> tri92     
37tri92 : j                       --> tri91     
38tri91 : j                       --> tri90     
39tri90 : j                       --> tri89     
40tri89 : j                       --> tri88     
41tri88 : j                       --> tri87     
42tri87 : j                       --> tri86     
43tri86 : j                       --> tri85     
44tri85 : j                       --> tri84     
45tri84 : j                       --> tri83     
46tri83 : j                       --> tri82     
47tri82 : j                       --> tri81     
48tri81 : j                       --> tri80     
49tri80 : j                       --> tri79     
50tri79 : j                       --> tri78     
51tri78 : j                       --> tri77     
52tri77 : j                       --> tri76     
53tri76 : j                       --> tri75     
54tri75 : j                       --> tri74     
55tri74 : j                       --> tri73     
56tri73 : j                       --> tri72     
57tri72 : j                       --> tri71     
58tri71 : j                       --> tri70     
59tri70 : j                       --> tri69     
60tri69 : j                       --> tri68     
61tri68 : j                       --> tri67     
62tri67 : j                       --> tri58     
63tri58 : emit c12                --> tri57     
64tri57 : j                       --> tri56     
65tri56 : emit c11                --> tri55     
66tri55 : emit c10                --> tri54     
67tri54 : li    $t0, 0            --> tri1       
68tri1  : j                       --> tri53     
69tri53 : li    $a2, 0            --> tri52     
70tri52 : emit c9                 --> tri51     
71tri51 : slt     $v0, $t0, $a1   --> tri50     
72tri50 : j                       --> tri65     
73tri65 : seq     $v0, $v0, $zero --> tri49     
74tri49 : beq     $v0, $a2        --> tri48, tri0
75tri0  : j                       --> tri132     
76tri132: j                       --> tri131     
77tri131: j                       --> tri130     
78tri130: j                       --> tri129     
79tri129: j                       --> tri128     
80tri128: j                       --> tri127     
81tri127: j                       --> tri126     
82tri126: j                       --> tri125     
83tri125: j                       --> tri124     
84tri124: j                       --> tri123     
85tri123: delframe                --> tri122     
86tri122: jr    $ra                             
87tri48 : emit c7                 --> tri47     
88tri47 : emit c6                 --> tri46     
89tri46 : li    $t1, 1            --> tri5       
90tri5  : j                       --> tri45     
91tri45 : li    $a2, 0            --> tri44     
92tri44 : emit c5                 --> tri43     
93tri43 : sub     $v0, $a1, $t0   --> tri42     
94tri42 : slt     $v0, $t1, $v0   --> tri41     
95tri41 : j                       --> tri64     
96tri64 : seq     $v0, $v0, $zero --> tri40     
97tri40 : beq     $v0, $a2        --> tri39, tri4
98tri4  : emit c8                 --> tri3       
99tri3  : li    $v0, 1            --> tri2       
100tri2  : add     $t0, $t0, $v0   --> tri1       
101tri39 : emit c3                 --> tri38     
102tri38 : j                       --> tri37     
103tri37 : li    $v0, 4            --> tri36     
104tri36 : mulo    $v0, $t1, $v0   --> tri35     
105tri35 : add     $v0, $a0, $v0   --> tri63     
106tri63 : lw    $a3, 0($v0)       --> tri34     
107tri34 : li    $v0, 1            --> tri33     
108tri33 : sub     $a2, $t1, $v0   --> tri32     
109tri32 : li    $v0, 4            --> tri31     
110tri31 : mulo    $v0, $a2, $v0   --> tri30     
111tri30 : add     $v0, $a0, $v0   --> tri62     
112tri62 : lw    $v0, 0($v0)       --> tri29     
113tri29 : slt     $v0, $a3, $v0   --> tri28     
114tri28 : beq     $v0, $zero      --> tri8, tri27
115tri27 : emit c2                 --> tri26     
116tri26 : li    $v0, 1            --> tri25     
117tri25 : sub     $a2, $t1, $v0   --> tri24     
118tri24 : li    $v0, 4            --> tri23     
119tri23 : mulo    $v0, $a2, $v0   --> tri22     
120tri22 : add     $v0, $a0, $v0   --> tri61     
121tri61 : lw    $t2, 0($v0)       --> tri21     
122tri21 : emit c1                 --> tri20     
123tri20 : li    $v0, 4            --> tri19     
124tri19 : mulo    $v0, $t1, $v0   --> tri18     
125tri18 : add     $v0, $a0, $v0   --> tri60     
126tri60 : lw    $a3, 0($v0)       --> tri17     
127tri17 : li    $v0, 1            --> tri16     
128tri16 : sub     $a2, $t1, $v0   --> tri15     
129tri15 : li    $v0, 4            --> tri14     
130tri14 : mulo    $v0, $a2, $v0   --> tri13     
131tri13 : add     $v0, $a0, $v0   --> tri59     
132tri59 : lw    $a3, 0($v0)       --> tri12     
133tri12 : emit c0                 --> tri11     
134tri11 : li    $v0, 4            --> tri10     
135tri10 : mulo    $v0, $t1, $v0   --> tri9       
136tri9  : add     $v0, $a0, $v0   --> tri66     
137tri66 : lw    $t2, 0($v0)       --> tri8       
138tri8  : emit c4                 --> tri7       
139tri7  : li    $v0, 1            --> tri6       
140tri6  : add     $t1, $t1, $v0   --> tri5       
141
142procedure _main(0)
143var 44
144entry main171
145main171: newframe                --> main170
146main170: lw    $ra, 40($sp)      --> main169
147main169: j                       --> main168
148main168: j                       --> main167
149main167: j                       --> main166
150main166: j                       --> main165
151main165: j                       --> main164
152main164: j                       --> main163
153main163: j                       --> main162
154main162: j                       --> main161
155main161: j                       --> main160
156main160: j                       --> main159
157main159: j                       --> main158
158main158: j                       --> main157
159main157: j                       --> main156
160main156: j                       --> main155
161main155: j                       --> main154
162main154: j                       --> main153
163main153: j                       --> main152
164main152: j                       --> main151
165main151: j                       --> main150
166main150: j                       --> main149
167main149: j                       --> main148
168main148: j                       --> main147
169main147: j                       --> main146
170main146: j                       --> main145
171main145: j                       --> main144
172main144: j                       --> main143
173main143: j                       --> main142
174main142: j                       --> main141
175main141: j                       --> main140
176main140: j                       --> main139
177main139: j                       --> main138
178main138: j                       --> main137
179main137: j                       --> main136
180main136: j                       --> main135
181main135: j                       --> main134
182main134: j                       --> main133
183main133: j                       --> main132
184main132: j                       --> main131
185main131: j                       --> main130
186main130: j                       --> main129
187main129: j                       --> main128
188main128: j                       --> main127
189main127: j                       --> main126
190main126: j                       --> main125
191main125: j                       --> main124
192main124: j                       --> main123
193main123: j                       --> main122
194main122: j                       --> main121
195main121: j                       --> main120
196main120: j                       --> main119
197main119: j                       --> main118
198main118: j                       --> main117
199main117: j                       --> main116
200main116: j                       --> main115
201main115: j                       --> main114
202main114: j                       --> main113
203main113: j                       --> main112
204main112: j                       --> main111
205main111: j                       --> main110
206main110: j                       --> main109
207main109: j                       --> main108
208main108: j                       --> main107
209main107: j                       --> main106
210main106: j                       --> main105
211main105: j                       --> main104
212main104: j                       --> main103
213main103: j                       --> main102
214main102: j                       --> main101
215main101: j                       --> main100
216main100: j                       --> main99
217main99 : j                       --> main98
218main98 : j                       --> main97
219main97 : j                       --> main96
220main96 : j                       --> main95
221main95 : j                       --> main94
222main94 : j                       --> main93
223main93 : j                       --> main80
224main80 : emit c24                --> main79
225main79 : li    $a1, 10           --> main78
226main78 : move    $a0, $sp        --> main194
227main194: j                       --> main77
228main77 : j                       --> main76
229main76 : li    $v0, 4            --> main75
230main75 : mulo    $v0, $zero, $v0 --> main74
231main74 : add     $v0, $a0, $v0   --> main92
232main92 : lw    $a1, 0($v0)       --> main73
233main73 : emit c23                --> main72
234main72 : li    $a2, 9            --> main71
235main71 : move    $a1, $sp        --> main193
236main193: j                       --> main70
237main70 : li    $a0, 1            --> main69
238main69 : li    $v0, 4            --> main68
239main68 : mulo    $v0, $a0, $v0   --> main67
240main67 : add     $v0, $a1, $v0   --> main90
241main90 : lw    $a2, 0($v0)       --> main66
242main66 : emit c22                --> main65
243main65 : li    $a2, 8            --> main64
244main64 : move    $a1, $sp        --> main192
245main192: j                       --> main63
246main63 : li    $a0, 2            --> main62
247main62 : li    $v0, 4            --> main61
248main61 : mulo    $v0, $a0, $v0   --> main60
249main60 : add     $v0, $a1, $v0   --> main89
250main89 : lw    $a2, 0($v0)       --> main59
251main59 : emit c21                --> main58
252main58 : li    $a2, 7            --> main57
253main57 : move    $a1, $sp        --> main191
254main191: j                       --> main56
255main56 : li    $a0, 3            --> main55
256main55 : li    $v0, 4            --> main54
257main54 : mulo    $v0, $a0, $v0   --> main53
258main53 : add     $v0, $a1, $v0   --> main88
259main88 : lw    $a2, 0($v0)       --> main52
260main52 : emit c20                --> main51
261main51 : li    $a2, 6            --> main50
262main50 : move    $a1, $sp        --> main190
263main190: j                       --> main49
264main49 : li    $a0, 4            --> main48
265main48 : li    $v0, 4            --> main47
266main47 : mulo    $v0, $a0, $v0   --> main46
267main46 : add     $v0, $a1, $v0   --> main87
268main87 : lw    $a2, 0($v0)       --> main45
269main45 : emit c19                --> main44
270main44 : li    $a2, 5            --> main43
271main43 : move    $a1, $sp        --> main188
272main188: j                       --> main42
273main42 : li    $a0, 5            --> main41
274main41 : li    $v0, 4            --> main40
275main40 : mulo    $v0, $a0, $v0   --> main39
276main39 : add     $v0, $a1, $v0   --> main86
277main86 : lw    $a2, 0($v0)       --> main38
278main38 : emit c18                --> main37
279main37 : li    $a2, 4            --> main36
280main36 : move    $a1, $sp        --> main187
281main187: j                       --> main35
282main35 : li    $a0, 6            --> main34
283main34 : li    $v0, 4            --> main33
284main33 : mulo    $v0, $a0, $v0   --> main32
285main32 : add     $v0, $a1, $v0   --> main85
286main85 : lw    $a2, 0($v0)       --> main31
287main31 : emit c17                --> main30
288main30 : li    $a2, 3            --> main29
289main29 : move    $a1, $sp        --> main186
290main186: j                       --> main28
291main28 : li    $a0, 7            --> main27
292main27 : li    $v0, 4            --> main26
293main26 : mulo    $v0, $a0, $v0   --> main25
294main25 : add     $v0, $a1, $v0   --> main84
295main84 : lw    $a2, 0($v0)       --> main24
296main24 : emit c16                --> main23
297main23 : li    $a2, 2            --> main22
298main22 : move    $a1, $sp        --> main185
299main185: j                       --> main21
300main21 : li    $a0, 8            --> main20
301main20 : li    $v0, 4            --> main19
302main19 : mulo    $v0, $a0, $v0   --> main18
303main18 : add     $v0, $a1, $v0   --> main83
304main83 : lw    $a2, 0($v0)       --> main17
305main17 : emit c15                --> main16
306main16 : li    $a2, 1            --> main15
307main15 : move    $a1, $sp        --> main184
308main184: j                       --> main14
309main14 : li    $a0, 9            --> main13
310main13 : li    $v0, 4            --> main12
311main12 : mulo    $v0, $a0, $v0   --> main11
312main11 : add     $v0, $a1, $v0   --> main82
313main82 : lw    $a2, 0($v0)       --> main10
314main10 : emit c14                --> main9 
315main9  : move    $a0, $sp        --> main195
316main195: j                       --> main8 
317main8  : li    $a1, 10           --> main7 
318main7  : la    $v0, tri          --> main91
319main91 : j                       --> main199
320main199: j                       --> main198
321main198: j                       --> main197
322main197: call  $v0               --> main196
323main196: j                       --> main6 
324main6  : emit c13                --> main5 
325main5  : j                       --> main189
326main189: j                       --> main4 
327main4  : j                       --> main3 
328main3  : li    $v0, 4            --> main2 
329main2  : mulo    $v0, $zero, $v0 --> main1 
330main1  : add     $v0, $sp, $v0   --> main81
331main81 : lw    $v0, 0($v0)       --> main0 
332main0  : j                       --> main183
333main183: j                       --> main182
334main182: lw    $ra, 40($sp)      --> main181
335main181: j                       --> main180
336main180: j                       --> main179
337main179: j                       --> main178
338main178: j                       --> main177
339main177: j                       --> main176
340main176: j                       --> main175
341main175: j                       --> main174
342main174: j                       --> main173
343main173: delframe                --> main172
344main172: jr    $ra                         
345
346__builtin_varargs_start: int -> void
347
348
349__builtin_va_start: int -> int -> void
350
351
352__builtin_va_end: int -> void
353
354
355__builtin_va_copy: int -> int -> void
356
357
358__builtin_va_arg: int -> int -> void
359
360
361__builtin_types_compatible_p: int -> int -> int
362
363
364__builtin_tanl: float -> float
365
366
367__builtin_tanhl: float -> float
368
369
370__builtin_tanhf: float -> float
371
372
373__builtin_tanh: float -> float
374
375
376__builtin_tanf: float -> float
377
378
379__builtin_tan: float -> float
380
381
382__builtin_strspn: int -> int -> int
383
384
385__builtin_strpbrk: int -> int -> int
386
387
388__builtin_strncpy: int -> int -> int -> int
389
390
391__builtin_strncmp: int -> int -> int -> int
392
393
394__builtin_strncat: int -> int -> int -> int
395
396
397__builtin_strcspn: int -> int -> int
398
399
400__builtin_strcpy: int -> int -> int
401
402
403__builtin_strcmp: int -> int -> int
404
405
406__builtin_strchr: int -> int -> int
407
408
409__builtin_stpcpy: int -> int -> int
410
411
412__builtin_stdarg_start: int -> void
413
414
415__builtin_sqrtl: float -> float
416
417
418__builtin_sqrtf: float -> float
419
420
421__builtin_sqrt: float -> float
422
423
424__builtin_sinl: float -> float
425
426
427__builtin_sinhl: float -> float
428
429
430__builtin_sinhf: float -> float
431
432
433__builtin_sinh: float -> float
434
435
436__builtin_sinf: float -> float
437
438
439__builtin_sin: float -> float
440
441
442__builtin_return_address: int -> int
443
444
445__builtin_return: int -> void
446
447
448__builtin_powil: float -> int -> float
449
450
451__builtin_powif: float -> int -> float
452
453
454__builtin_powi: float -> int -> float
455
456
457__builtin_popcountll: int -> int
458
459
460__builtin_popcountl: int -> int
461
462
463__builtin_popcount: int -> int
464
465
466__builtin_parityll: int -> int
467
468
469__builtin_parityl: int -> int
470
471
472__builtin_parity: int -> int
473
474
475__builtin_object_size: int -> int -> int
476
477
478__builtin_next_arg: int
479
480
481__builtin_nansl: int -> float
482
483
484__builtin_nansf: int -> float
485
486
487__builtin_nans: int -> float
488
489
490__builtin_nanl: int -> float
491
492
493__builtin_nanf: int -> float
494
495
496__builtin_nan: int -> float
497
498
499__builtin_modfl: float -> int -> float
500
501
502__builtin_modff: float -> int -> float
503
504
505__builtin_mempcpy: int -> int -> int -> int
506
507
508__builtin_memcpy: int -> int -> int -> int
509
510
511__builtin_logl: float -> float
512
513
514__builtin_logf: float -> float
515
516
517__builtin_log10l: float -> float
518
519
520__builtin_log10f: float -> float
521
522
523__builtin_log10: float -> float
524
525
526__builtin_log: float -> float
527
528
529__builtin_ldexpl: float -> int -> float
530
531
532__builtin_ldexpf: float -> int -> float
533
534
535__builtin_ldexp: float -> int -> float
536
537
538__builtin_infl: float
539
540
541__builtin_inff: float
542
543
544__builtin_inf: float
545
546
547__builtin_huge_vall: float
548
549
550__builtin_huge_valf: float
551
552
553__builtin_huge_val: float
554
555
556__builtin_frexpl: float -> int -> float
557
558
559__builtin_frexpf: float -> int -> float
560
561
562__builtin_frexp: float -> int -> float
563
564
565__builtin_frame_address: int -> int
566
567
568__builtin_fmodl: float -> float
569
570
571__builtin_fmodf: float -> float
572
573
574__builtin_fmod: float -> float
575
576
577__builtin_floorl: float -> float
578
579
580__builtin_floorf: float -> float
581
582
583__builtin_floor: float -> float
584
585
586__builtin_ffsll: int -> int
587
588
589__builtin_ffsl: int -> int
590
591
592__builtin_ffs: int -> int
593
594
595__builtin_fabsl: float -> float
596
597
598__builtin_fabsf: float -> float
599
600
601__builtin_fabs: float -> float
602
603
604__builtin_expl: float -> float
605
606
607__builtin_expf: float -> float
608
609
610__builtin_expect: int -> int -> int
611
612
613__builtin_exp: float -> float
614
615
616__builtin_ctzll: int -> int
617
618
619__builtin_ctzl: int -> int
620
621
622__builtin_ctz: int -> int
623
624
625__builtin_cosl: float -> float
626
627
628__builtin_coshl: float -> float
629
630
631__builtin_coshf: float -> float
632
633
634__builtin_cosh: float -> float
635
636
637__builtin_cosf: float -> float
638
639
640__builtin_cos: float -> float
641
642
643__builtin_constant_p: int -> int
644
645
646__builtin_clzll: int -> int
647
648
649__builtin_clzl: int -> int
650
651
652__builtin_clz: int -> int
653
654
655__builtin_ceill: float -> float
656
657
658__builtin_ceilf: float -> float
659
660
661__builtin_ceil: float -> float
662
663
664__builtin_atanl: float -> float
665
666
667__builtin_atanf: float -> float
668
669
670__builtin_atan2l: float -> float -> float
671
672
673__builtin_atan2f: float -> float -> float
674
675
676__builtin_atan2: float -> float -> float
677
678
679__builtin_atan: float -> float
680
681
682__builtin_asinl: float -> float
683
684
685__builtin_asinf: float -> float
686
687
688__builtin_asin: float -> float
689
690
691__builtin_alloca: int -> int
692
693
694__builtin_acosl: float -> float
695
696
697__builtin_acosf: float -> float
698
699
700__builtin_acos: float -> float
701
702
703__builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
704
705
706__builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
707
708
709__builtin___vprintf_chk: int -> int -> int -> int
710
711
712__builtin___vfprintf_chk: int -> int -> int -> int -> int
713
714
715__builtin___strncpy_chk: int -> int -> int -> int -> int
716
717
718__builtin___strncat_chk: int -> int -> int -> int -> int
719
720
721__builtin___strcpy_chk: int -> int -> int -> int
722
723
724__builtin___strcat_chk: int -> int -> int -> int
725
726
727__builtin___stpcpy_chk: int -> int -> int -> int
728
729
730__builtin___memset_chk: int -> int -> int -> int -> int
731
732
733__builtin___mempcpy_chk: int -> int -> int -> int -> int
734
735
736__builtin___memmove_chk: int -> int -> int -> int -> int
737
738
739__builtin___memcpy_chk: int -> int -> int -> int -> int
740
741
Note: See TracBrowser for help on using the repository browser.