source: Deliverables/D2.2/8051-memoryspaces-branch/tests/clight/testTB_boucle.LTL.expected @ 1448

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

Import of the Paris's sources.

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