source: Deliverables/D2.3/8051/tests/clight/testTB_Array_LE.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: 17.1 KB
Line 
1program
2
3globals 0
4
5procedure array_LE(4)
6var 0
7entry array_LE38
8array_LE38: newframe              --> array_LE37
9array_LE37: j                     --> array_LE36
10array_LE36: j                     --> array_LE35
11array_LE35: j                     --> array_LE34
12array_LE34: j                     --> array_LE33
13array_LE33: j                     --> array_LE32
14array_LE32: j                     --> array_LE31
15array_LE31: j                     --> array_LE30
16array_LE30: j                     --> array_LE29
17array_LE29: j                     --> array_LE28
18array_LE28: j                     --> array_LE27
19array_LE27: j                     --> array_LE26
20array_LE26: j                     --> array_LE25
21array_LE25: j                     --> array_LE24
22array_LE24: j                     --> array_LE23
23array_LE23: j                     --> array_LE22
24array_LE22: j                     --> array_LE21
25array_LE21: j                     --> array_LE20
26array_LE20: j                     --> array_LE19
27array_LE19: j                     --> array_LE18
28array_LE18: j                     --> array_LE17
29array_LE17: j                     --> array_LE16
30array_LE16: j                     --> array_LE15
31array_LE15: j                     --> array_LE12
32array_LE12: emit c1               --> array_LE11
33array_LE11: li    $t0, 2          --> array_LE10
34array_LE10: li    $v0, 4          --> array_LE9
35array_LE9 : mulo    $v0, $a2, $v0 --> array_LE8
36array_LE8 : add     $v0, $a0, $v0 --> array_LE14
37array_LE14: lw    $t0, 0($v0)     --> array_LE7
38array_LE7 : emit c0               --> array_LE6
39array_LE6 : li    $a0, 78         --> array_LE5
40array_LE5 : li    $v0, 1          --> array_LE4
41array_LE4 : add     $a2, $a3, $v0 --> array_LE3
42array_LE3 : li    $v0, 4          --> array_LE2
43array_LE2 : mulo    $v0, $a2, $v0 --> array_LE1
44array_LE1 : add     $v0, $a1, $v0 --> array_LE13
45array_LE13: lw    $a0, 0($v0)     --> array_LE0
46array_LE0 : j                     --> array_LE49
47array_LE49: j                     --> array_LE48
48array_LE48: j                     --> array_LE47
49array_LE47: j                     --> array_LE46
50array_LE46: j                     --> array_LE45
51array_LE45: j                     --> array_LE44
52array_LE44: j                     --> array_LE43
53array_LE43: j                     --> array_LE42
54array_LE42: j                     --> array_LE41
55array_LE41: j                     --> array_LE40
56array_LE40: delframe              --> array_LE39
57array_LE39: jr    $ra                           
58
59procedure _main(0)
60var 44
61entry main189
62main189: newframe                --> main188
63main188: lw    $ra, 40($sp)      --> main187
64main187: j                       --> main186
65main186: j                       --> main185
66main185: j                       --> main184
67main184: j                       --> main183
68main183: j                       --> main182
69main182: j                       --> main181
70main181: j                       --> main180
71main180: j                       --> main179
72main179: j                       --> main178
73main178: j                       --> main177
74main177: j                       --> main176
75main176: j                       --> main175
76main175: j                       --> main174
77main174: j                       --> main173
78main173: j                       --> main172
79main172: j                       --> main171
80main171: j                       --> main170
81main170: j                       --> main169
82main169: j                       --> main168
83main168: j                       --> main167
84main167: j                       --> main166
85main166: j                       --> main165
86main165: j                       --> main164
87main164: j                       --> main163
88main163: j                       --> main162
89main162: j                       --> main161
90main161: j                       --> main160
91main160: j                       --> main159
92main159: j                       --> main158
93main158: j                       --> main157
94main157: j                       --> main156
95main156: j                       --> main155
96main155: j                       --> main154
97main154: j                       --> main153
98main153: j                       --> main152
99main152: j                       --> main151
100main151: j                       --> main150
101main150: j                       --> main149
102main149: j                       --> main148
103main148: j                       --> main147
104main147: j                       --> main146
105main146: j                       --> main145
106main145: j                       --> main144
107main144: j                       --> main143
108main143: j                       --> main142
109main142: j                       --> main141
110main141: j                       --> main140
111main140: j                       --> main139
112main139: j                       --> main138
113main138: j                       --> main137
114main137: j                       --> main136
115main136: j                       --> main135
116main135: j                       --> main134
117main134: j                       --> main133
118main133: j                       --> main132
119main132: j                       --> main131
120main131: j                       --> main130
121main130: j                       --> main129
122main129: j                       --> main128
123main128: j                       --> main127
124main127: j                       --> main126
125main126: j                       --> main125
126main125: j                       --> main124
127main124: j                       --> main123
128main123: j                       --> main122
129main122: j                       --> main121
130main121: j                       --> main120
131main120: j                       --> main119
132main119: j                       --> main118
133main118: j                       --> main117
134main117: j                       --> main116
135main116: j                       --> main115
136main115: j                       --> main114
137main114: j                       --> main113
138main113: j                       --> main112
139main112: j                       --> main111
140main111: j                       --> main110
141main110: j                       --> main109
142main109: j                       --> main108
143main108: j                       --> main107
144main107: j                       --> main106
145main106: j                       --> main105
146main105: j                       --> main104
147main104: j                       --> main103
148main103: j                       --> main102
149main102: j                       --> main88
150main88 : emit c13                --> main87
151main87 : li    $a1, 0            --> main86
152main86 : move    $a0, $sp        --> main215
153main215: j                       --> main85
154main85 : j                       --> main84
155main84 : li    $v0, 4            --> main83
156main83 : mulo    $v0, $zero, $v0 --> main82
157main82 : add     $v0, $a0, $v0   --> main101
158main101: lw    $a1, 0($v0)       --> main81
159main81 : emit c12                --> main80
160main80 : j                       --> main79
161main79 : move    $a1, $sp        --> main214
162main214: j                       --> main78
163main78 : li    $a0, 1            --> main77
164main77 : li    $v0, 4            --> main76
165main76 : mulo    $v0, $a0, $v0   --> main75
166main75 : add     $v0, $a1, $v0   --> main100
167main100: lw    $zero, 0($v0)     --> main74
168main74 : emit c11                --> main73
169main73 : j                       --> main72
170main72 : move    $a1, $sp        --> main213
171main213: j                       --> main71
172main71 : li    $a0, 2            --> main70
173main70 : li    $v0, 4            --> main69
174main69 : mulo    $v0, $a0, $v0   --> main68
175main68 : add     $v0, $a1, $v0   --> main98
176main98 : lw    $zero, 0($v0)     --> main67
177main67 : emit c10                --> main66
178main66 : j                       --> main65
179main65 : move    $a1, $sp        --> main212
180main212: j                       --> main64
181main64 : li    $a0, 3            --> main63
182main63 : li    $v0, 4            --> main62
183main62 : mulo    $v0, $a0, $v0   --> main61
184main61 : add     $v0, $a1, $v0   --> main97
185main97 : lw    $zero, 0($v0)     --> main60
186main60 : emit c9                 --> main59
187main59 : j                       --> main58
188main58 : move    $a1, $sp        --> main210
189main210: j                       --> main57
190main57 : li    $a0, 4            --> main56
191main56 : li    $v0, 4            --> main55
192main55 : mulo    $v0, $a0, $v0   --> main54
193main54 : add     $v0, $a1, $v0   --> main96
194main96 : lw    $zero, 0($v0)     --> main53
195main53 : emit c8                 --> main52
196main52 : li    $a1, 0            --> main51
197main51 : move    $a0, $sp        --> main209
198main209: addi    $a0, $a0, 20    --> main50
199main50 : j                       --> main49
200main49 : li    $v0, 4            --> main48
201main48 : mulo    $v0, $zero, $v0 --> main47
202main47 : add     $v0, $a0, $v0   --> main95
203main95 : lw    $a1, 0($v0)       --> main46
204main46 : emit c7                 --> main45
205main45 : j                       --> main44
206main44 : move    $a1, $sp        --> main208
207main208: addi    $a1, $a1, 20    --> main43
208main43 : li    $a0, 1            --> main42
209main42 : li    $v0, 4            --> main41
210main41 : mulo    $v0, $a0, $v0   --> main40
211main40 : add     $v0, $a1, $v0   --> main94
212main94 : lw    $zero, 0($v0)     --> main39
213main39 : emit c6                 --> main38
214main38 : j                       --> main37
215main37 : move    $a1, $sp        --> main207
216main207: addi    $a1, $a1, 20    --> main36
217main36 : li    $a0, 2            --> main35
218main35 : li    $v0, 4            --> main34
219main34 : mulo    $v0, $a0, $v0   --> main33
220main33 : add     $v0, $a1, $v0   --> main93
221main93 : lw    $zero, 0($v0)     --> main32
222main32 : emit c5                 --> main31
223main31 : j                       --> main30
224main30 : move    $a1, $sp        --> main206
225main206: addi    $a1, $a1, 20    --> main29
226main29 : li    $a0, 3            --> main28
227main28 : li    $v0, 4            --> main27
228main27 : mulo    $v0, $a0, $v0   --> main26
229main26 : add     $v0, $a1, $v0   --> main92
230main92 : lw    $zero, 0($v0)     --> main25
231main25 : emit c4                 --> main24
232main24 : j                       --> main23
233main23 : move    $a1, $sp        --> main205
234main205: addi    $a1, $a1, 20    --> main22
235main22 : li    $a0, 4            --> main21
236main21 : li    $v0, 4            --> main20
237main20 : mulo    $v0, $a0, $v0   --> main19
238main19 : add     $v0, $a1, $v0   --> main90
239main90 : lw    $zero, 0($v0)     --> main18
240main18 : emit c3                 --> main17
241main17 : move    $a0, $sp        --> main204
242main204: j                       --> main16
243main16 : move    $a1, $sp        --> main203
244main203: addi    $a1, $a1, 20    --> main15
245main15 : li    $a2, 0            --> main14
246main14 : li    $a3, 0            --> main13
247main13 : la    $v0, array_LE     --> main89
248main89 : j                       --> main221
249main221: j                       --> main220
250main220: j                       --> main219
251main219: j                       --> main218
252main218: j                       --> main217
253main217: call  $v0               --> main216
254main216: j                       --> main12
255main12 : emit c2                 --> main11
256main11 : move    $a0, $sp        --> main202
257main202: j                       --> main10
258main10 : j                       --> main9 
259main9  : li    $v0, 4            --> main8 
260main8  : mulo    $v0, $zero, $v0 --> main7 
261main7  : add     $v0, $a0, $v0   --> main99
262main99 : lw    $v0, 0($v0)       --> main6 
263main6  : j                       --> main211
264main211: addi    $sp, $sp, 20    --> main5 
265main5  : li    $a1, 1            --> main4 
266main4  : li    $a0, 4            --> main3 
267main3  : mulo    $a0, $a1, $a0   --> main2 
268main2  : add     $a0, $sp, $a0   --> main91
269main91 : lw    $a0, 0($a0)       --> main1 
270main1  : add     $v0, $v0, $a0   --> main0 
271main0  : j                       --> main201
272main201: j                       --> main200
273main200: lw    $ra, 40($sp)      --> main199
274main199: j                       --> main198
275main198: j                       --> main197
276main197: j                       --> main196
277main196: j                       --> main195
278main195: j                       --> main194
279main194: j                       --> main193
280main193: j                       --> main192
281main192: j                       --> main191
282main191: delframe                --> main190
283main190: jr    $ra                         
284
285__builtin_varargs_start: int -> void
286
287
288__builtin_va_start: int -> int -> void
289
290
291__builtin_va_end: int -> void
292
293
294__builtin_va_copy: int -> int -> void
295
296
297__builtin_va_arg: int -> int -> void
298
299
300__builtin_types_compatible_p: int -> int -> int
301
302
303__builtin_tanl: float -> float
304
305
306__builtin_tanhl: float -> float
307
308
309__builtin_tanhf: float -> float
310
311
312__builtin_tanh: float -> float
313
314
315__builtin_tanf: float -> float
316
317
318__builtin_tan: float -> float
319
320
321__builtin_strspn: int -> int -> int
322
323
324__builtin_strpbrk: int -> int -> int
325
326
327__builtin_strncpy: int -> int -> int -> int
328
329
330__builtin_strncmp: int -> int -> int -> int
331
332
333__builtin_strncat: int -> int -> int -> int
334
335
336__builtin_strcspn: int -> int -> int
337
338
339__builtin_strcpy: int -> int -> int
340
341
342__builtin_strcmp: int -> int -> int
343
344
345__builtin_strchr: int -> int -> int
346
347
348__builtin_stpcpy: int -> int -> int
349
350
351__builtin_stdarg_start: int -> void
352
353
354__builtin_sqrtl: float -> float
355
356
357__builtin_sqrtf: float -> float
358
359
360__builtin_sqrt: float -> float
361
362
363__builtin_sinl: float -> float
364
365
366__builtin_sinhl: float -> float
367
368
369__builtin_sinhf: float -> float
370
371
372__builtin_sinh: float -> float
373
374
375__builtin_sinf: float -> float
376
377
378__builtin_sin: float -> float
379
380
381__builtin_return_address: int -> int
382
383
384__builtin_return: int -> void
385
386
387__builtin_powil: float -> int -> float
388
389
390__builtin_powif: float -> int -> float
391
392
393__builtin_powi: float -> int -> float
394
395
396__builtin_popcountll: int -> int
397
398
399__builtin_popcountl: int -> int
400
401
402__builtin_popcount: int -> int
403
404
405__builtin_parityll: int -> int
406
407
408__builtin_parityl: int -> int
409
410
411__builtin_parity: int -> int
412
413
414__builtin_object_size: int -> int -> int
415
416
417__builtin_next_arg: int
418
419
420__builtin_nansl: int -> float
421
422
423__builtin_nansf: int -> float
424
425
426__builtin_nans: int -> float
427
428
429__builtin_nanl: int -> float
430
431
432__builtin_nanf: int -> float
433
434
435__builtin_nan: int -> float
436
437
438__builtin_modfl: float -> int -> float
439
440
441__builtin_modff: float -> int -> float
442
443
444__builtin_mempcpy: int -> int -> int -> int
445
446
447__builtin_memcpy: int -> int -> int -> int
448
449
450__builtin_logl: float -> float
451
452
453__builtin_logf: float -> float
454
455
456__builtin_log10l: float -> float
457
458
459__builtin_log10f: float -> float
460
461
462__builtin_log10: float -> float
463
464
465__builtin_log: float -> float
466
467
468__builtin_ldexpl: float -> int -> float
469
470
471__builtin_ldexpf: float -> int -> float
472
473
474__builtin_ldexp: float -> int -> float
475
476
477__builtin_infl: float
478
479
480__builtin_inff: float
481
482
483__builtin_inf: float
484
485
486__builtin_huge_vall: float
487
488
489__builtin_huge_valf: float
490
491
492__builtin_huge_val: float
493
494
495__builtin_frexpl: float -> int -> float
496
497
498__builtin_frexpf: float -> int -> float
499
500
501__builtin_frexp: float -> int -> float
502
503
504__builtin_frame_address: int -> int
505
506
507__builtin_fmodl: float -> float
508
509
510__builtin_fmodf: float -> float
511
512
513__builtin_fmod: float -> float
514
515
516__builtin_floorl: float -> float
517
518
519__builtin_floorf: float -> float
520
521
522__builtin_floor: float -> float
523
524
525__builtin_ffsll: int -> int
526
527
528__builtin_ffsl: int -> int
529
530
531__builtin_ffs: int -> int
532
533
534__builtin_fabsl: float -> float
535
536
537__builtin_fabsf: float -> float
538
539
540__builtin_fabs: float -> float
541
542
543__builtin_expl: float -> float
544
545
546__builtin_expf: float -> float
547
548
549__builtin_expect: int -> int -> int
550
551
552__builtin_exp: float -> float
553
554
555__builtin_ctzll: int -> int
556
557
558__builtin_ctzl: int -> int
559
560
561__builtin_ctz: int -> int
562
563
564__builtin_cosl: float -> float
565
566
567__builtin_coshl: float -> float
568
569
570__builtin_coshf: float -> float
571
572
573__builtin_cosh: float -> float
574
575
576__builtin_cosf: float -> float
577
578
579__builtin_cos: float -> float
580
581
582__builtin_constant_p: int -> int
583
584
585__builtin_clzll: int -> int
586
587
588__builtin_clzl: int -> int
589
590
591__builtin_clz: int -> int
592
593
594__builtin_ceill: float -> float
595
596
597__builtin_ceilf: float -> float
598
599
600__builtin_ceil: float -> float
601
602
603__builtin_atanl: float -> float
604
605
606__builtin_atanf: float -> float
607
608
609__builtin_atan2l: float -> float -> float
610
611
612__builtin_atan2f: float -> float -> float
613
614
615__builtin_atan2: float -> float -> float
616
617
618__builtin_atan: float -> float
619
620
621__builtin_asinl: float -> float
622
623
624__builtin_asinf: float -> float
625
626
627__builtin_asin: float -> float
628
629
630__builtin_alloca: int -> int
631
632
633__builtin_acosl: float -> float
634
635
636__builtin_acosf: float -> float
637
638
639__builtin_acos: float -> float
640
641
642__builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
643
644
645__builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
646
647
648__builtin___vprintf_chk: int -> int -> int -> int
649
650
651__builtin___vfprintf_chk: int -> int -> int -> int -> int
652
653
654__builtin___strncpy_chk: int -> int -> int -> int -> int
655
656
657__builtin___strncat_chk: int -> int -> int -> int -> int
658
659
660__builtin___strcpy_chk: int -> int -> int -> int
661
662
663__builtin___strcat_chk: int -> int -> int -> int
664
665
666__builtin___stpcpy_chk: int -> int -> int -> int
667
668
669__builtin___memset_chk: int -> int -> int -> int -> int
670
671
672__builtin___mempcpy_chk: int -> int -> int -> int -> int
673
674
675__builtin___memmove_chk: int -> int -> int -> int -> int
676
677
678__builtin___memcpy_chk: int -> int -> int -> int -> int
679
680
Note: See TracBrowser for help on using the repository browser.