source: Deliverables/D2.2/8051-memoryspaces-branch/tests/clight/testTB_Array_double.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: 15.0 KB
Line 
1program
2
3globals 20
4
5procedure array_double(4)
6var 0
7entry array_double49
8array_double49: newframe              --> array_double48
9array_double48: j                     --> array_double47
10array_double47: j                     --> array_double46
11array_double46: j                     --> array_double45
12array_double45: j                     --> array_double44
13array_double44: j                     --> array_double43
14array_double43: j                     --> array_double42
15array_double42: j                     --> array_double41
16array_double41: j                     --> array_double40
17array_double40: j                     --> array_double39
18array_double39: j                     --> array_double38
19array_double38: j                     --> array_double37
20array_double37: j                     --> array_double36
21array_double36: j                     --> array_double35
22array_double35: j                     --> array_double34
23array_double34: j                     --> array_double33
24array_double33: j                     --> array_double32
25array_double32: j                     --> array_double31
26array_double31: j                     --> array_double30
27array_double30: j                     --> array_double29
28array_double29: j                     --> array_double28
29array_double28: j                     --> array_double27
30array_double27: j                     --> array_double26
31array_double26: j                     --> array_double25
32array_double25: j                     --> array_double24
33array_double24: j                     --> array_double23
34array_double23: j                     --> array_double22
35array_double22: j                     --> array_double21
36array_double21: j                     --> array_double16
37array_double16: emit c2               --> array_double15
38array_double15: li    $v0, 4          --> array_double14
39array_double14: mulo    $v0, $a2, $v0 --> array_double13
40array_double13: add     $v0, $a1, $v0 --> array_double18
41array_double18: lw    $a2, 0($v0)     --> array_double12
42array_double12: emit c1               --> array_double11
43array_double11: li    $v0, 4          --> array_double10
44array_double10: mulo    $v0, $a3, $v0 --> array_double9
45array_double9 : add     $v0, $a1, $v0 --> array_double20
46array_double20: lw    $v0, 0($v0)     --> array_double8
47array_double8 : add     $a1, $v0, $a2 --> array_double7
48array_double7 : li    $v0, 4          --> array_double6
49array_double6 : mulo    $v0, $a3, $v0 --> array_double5
50array_double5 : add     $v0, $a0, $v0 --> array_double19
51array_double19: lw    $a1, 0($v0)     --> array_double4
52array_double4 : emit c0               --> array_double3
53array_double3 : li    $v0, 4          --> array_double2
54array_double2 : mulo    $v0, $a3, $v0 --> array_double1
55array_double1 : add     $v0, $a0, $v0 --> array_double17
56array_double17: lw    $v0, 0($v0)     --> array_double0
57array_double0 : j                     --> array_double61
58array_double61: j                     --> array_double60
59array_double60: j                     --> array_double59
60array_double59: j                     --> array_double58
61array_double58: j                     --> array_double57
62array_double57: j                     --> array_double56
63array_double56: j                     --> array_double55
64array_double55: j                     --> array_double54
65array_double54: j                     --> array_double53
66array_double53: j                     --> array_double52
67array_double52: j                     --> array_double51
68array_double51: delframe              --> array_double50
69array_double50: jr    $ra                               
70
71procedure _main(0)
72var 24
73entry main120
74main120: newframe                --> main119
75main119: lw    $ra, 20($sp)      --> main118
76main118: j                       --> main117
77main117: j                       --> main116
78main116: j                       --> main115
79main115: j                       --> main114
80main114: j                       --> main113
81main113: j                       --> main112
82main112: j                       --> main111
83main111: j                       --> main110
84main110: j                       --> main109
85main109: j                       --> main108
86main108: j                       --> main107
87main107: j                       --> main106
88main106: j                       --> main105
89main105: j                       --> main104
90main104: j                       --> main103
91main103: j                       --> main102
92main102: j                       --> main101
93main101: j                       --> main100
94main100: j                       --> main99
95main99 : j                       --> main98
96main98 : j                       --> main97
97main97 : j                       --> main96
98main96 : j                       --> main95
99main95 : j                       --> main94
100main94 : j                       --> main93
101main93 : j                       --> main92
102main92 : j                       --> main91
103main91 : j                       --> main90
104main90 : j                       --> main89
105main89 : j                       --> main88
106main88 : j                       --> main87
107main87 : j                       --> main86
108main86 : j                       --> main85
109main85 : j                       --> main84
110main84 : j                       --> main83
111main83 : j                       --> main82
112main82 : j                       --> main81
113main81 : j                       --> main80
114main80 : j                       --> main79
115main79 : j                       --> main78
116main78 : j                       --> main77
117main77 : j                       --> main76
118main76 : j                       --> main75
119main75 : j                       --> main74
120main74 : j                       --> main73
121main73 : j                       --> main72
122main72 : j                       --> main71
123main71 : j                       --> main70
124main70 : j                       --> main69
125main69 : j                       --> main68
126main68 : j                       --> main67
127main67 : j                       --> main66
128main66 : j                       --> main65
129main65 : j                       --> main53
130main53 : li    $a0, 13           --> main52
131main52 : move    $v0, $gp        --> main142
132main142: j                       --> main63
133main63 : lw    $a0, 0($v0)       --> main51
134main51 : li    $a0, 21           --> main50
135main50 : move    $v0, $gp        --> main141
136main141: j                       --> main62
137main62 : lw    $a0, 4($v0)       --> main49
138main49 : li    $a0, 34           --> main48
139main48 : move    $v0, $gp        --> main140
140main140: j                       --> main61
141main61 : lw    $a0, 8($v0)       --> main47
142main47 : li    $a0, 55           --> main46
143main46 : move    $v0, $gp        --> main139
144main139: j                       --> main60
145main60 : lw    $a0, 12($v0)      --> main45
146main45 : li    $a0, 89           --> main44
147main44 : move    $v0, $gp        --> main138
148main138: j                       --> main59
149main59 : lw    $a0, 16($v0)      --> main43
150main43 : emit c9                 --> main42
151main42 : li    $a1, 0            --> main41
152main41 : move    $a0, $sp        --> main137
153main137: j                       --> main40
154main40 : j                       --> main39
155main39 : li    $v0, 4            --> main38
156main38 : mulo    $v0, $zero, $v0 --> main37
157main37 : add     $v0, $a0, $v0   --> main58
158main58 : lw    $a1, 0($v0)       --> main36
159main36 : emit c8                 --> main35
160main35 : j                       --> main34
161main34 : move    $a1, $sp        --> main136
162main136: j                       --> main33
163main33 : li    $a0, 1            --> main32
164main32 : li    $v0, 4            --> main31
165main31 : mulo    $v0, $a0, $v0   --> main30
166main30 : add     $v0, $a1, $v0   --> main57
167main57 : lw    $zero, 0($v0)     --> main29
168main29 : emit c7                 --> main28
169main28 : j                       --> main27
170main27 : move    $a1, $sp        --> main135
171main135: j                       --> main26
172main26 : li    $a0, 2            --> main25
173main25 : li    $v0, 4            --> main24
174main24 : mulo    $v0, $a0, $v0   --> main23
175main23 : add     $v0, $a1, $v0   --> main55
176main55 : lw    $zero, 0($v0)     --> main22
177main22 : emit c6                 --> main21
178main21 : j                       --> main20
179main20 : move    $a1, $sp        --> main134
180main134: j                       --> main19
181main19 : li    $a0, 3            --> main18
182main18 : li    $v0, 4            --> main17
183main17 : mulo    $v0, $a0, $v0   --> main16
184main16 : add     $v0, $a1, $v0   --> main54
185main54 : lw    $zero, 0($v0)     --> main15
186main15 : emit c5                 --> main14
187main14 : j                       --> main13
188main13 : move    $a1, $sp        --> main133
189main133: j                       --> main12
190main12 : li    $a0, 4            --> main11
191main11 : li    $v0, 4            --> main10
192main10 : mulo    $v0, $a0, $v0   --> main9 
193main9  : add     $v0, $a1, $v0   --> main64
194main64 : lw    $zero, 0($v0)     --> main8 
195main8  : emit c4                 --> main7 
196main7  : move    $a0, $sp        --> main150
197main150: j                       --> main6 
198main6  : move    $a1, $gp        --> main149
199main149: j                       --> main5 
200main5  : li    $a2, 0            --> main4 
201main4  : li    $a3, 0            --> main3 
202main3  : la    $v0, array_double --> main56
203main56 : j                       --> main148
204main148: j                       --> main147
205main147: j                       --> main146
206main146: j                       --> main145
207main145: j                       --> main144
208main144: call  $v0               --> main143
209main143: j                       --> main2 
210main2  : emit c3                 --> main1 
211main1  : j                       --> main0 
212main0  : j                       --> main132
213main132: j                       --> main131
214main131: lw    $ra, 20($sp)      --> main130
215main130: j                       --> main129
216main129: j                       --> main128
217main128: j                       --> main127
218main127: j                       --> main126
219main126: j                       --> main125
220main125: j                       --> main124
221main124: j                       --> main123
222main123: j                       --> main122
223main122: delframe                --> main121
224main121: jr    $ra                         
225
226__builtin_varargs_start: int -> void
227
228
229__builtin_va_start: int -> int -> void
230
231
232__builtin_va_end: int -> void
233
234
235__builtin_va_copy: int -> int -> void
236
237
238__builtin_va_arg: int -> int -> void
239
240
241__builtin_types_compatible_p: int -> int -> int
242
243
244__builtin_tanl: float -> float
245
246
247__builtin_tanhl: float -> float
248
249
250__builtin_tanhf: float -> float
251
252
253__builtin_tanh: float -> float
254
255
256__builtin_tanf: float -> float
257
258
259__builtin_tan: float -> float
260
261
262__builtin_strspn: int -> int -> int
263
264
265__builtin_strpbrk: int -> int -> int
266
267
268__builtin_strncpy: int -> int -> int -> int
269
270
271__builtin_strncmp: int -> int -> int -> int
272
273
274__builtin_strncat: int -> int -> int -> int
275
276
277__builtin_strcspn: int -> int -> int
278
279
280__builtin_strcpy: int -> int -> int
281
282
283__builtin_strcmp: int -> int -> int
284
285
286__builtin_strchr: int -> int -> int
287
288
289__builtin_stpcpy: int -> int -> int
290
291
292__builtin_stdarg_start: int -> void
293
294
295__builtin_sqrtl: float -> float
296
297
298__builtin_sqrtf: float -> float
299
300
301__builtin_sqrt: float -> float
302
303
304__builtin_sinl: float -> float
305
306
307__builtin_sinhl: float -> float
308
309
310__builtin_sinhf: float -> float
311
312
313__builtin_sinh: float -> float
314
315
316__builtin_sinf: float -> float
317
318
319__builtin_sin: float -> float
320
321
322__builtin_return_address: int -> int
323
324
325__builtin_return: int -> void
326
327
328__builtin_powil: float -> int -> float
329
330
331__builtin_powif: float -> int -> float
332
333
334__builtin_powi: float -> int -> float
335
336
337__builtin_popcountll: int -> int
338
339
340__builtin_popcountl: int -> int
341
342
343__builtin_popcount: int -> int
344
345
346__builtin_parityll: int -> int
347
348
349__builtin_parityl: int -> int
350
351
352__builtin_parity: int -> int
353
354
355__builtin_object_size: int -> int -> int
356
357
358__builtin_next_arg: int
359
360
361__builtin_nansl: int -> float
362
363
364__builtin_nansf: int -> float
365
366
367__builtin_nans: int -> float
368
369
370__builtin_nanl: int -> float
371
372
373__builtin_nanf: int -> float
374
375
376__builtin_nan: int -> float
377
378
379__builtin_modfl: float -> int -> float
380
381
382__builtin_modff: float -> int -> float
383
384
385__builtin_mempcpy: int -> int -> int -> int
386
387
388__builtin_memcpy: int -> int -> int -> int
389
390
391__builtin_logl: float -> float
392
393
394__builtin_logf: float -> float
395
396
397__builtin_log10l: float -> float
398
399
400__builtin_log10f: float -> float
401
402
403__builtin_log10: float -> float
404
405
406__builtin_log: float -> float
407
408
409__builtin_ldexpl: float -> int -> float
410
411
412__builtin_ldexpf: float -> int -> float
413
414
415__builtin_ldexp: float -> int -> float
416
417
418__builtin_infl: float
419
420
421__builtin_inff: float
422
423
424__builtin_inf: float
425
426
427__builtin_huge_vall: float
428
429
430__builtin_huge_valf: float
431
432
433__builtin_huge_val: float
434
435
436__builtin_frexpl: float -> int -> float
437
438
439__builtin_frexpf: float -> int -> float
440
441
442__builtin_frexp: float -> int -> float
443
444
445__builtin_frame_address: int -> int
446
447
448__builtin_fmodl: float -> float
449
450
451__builtin_fmodf: float -> float
452
453
454__builtin_fmod: float -> float
455
456
457__builtin_floorl: float -> float
458
459
460__builtin_floorf: float -> float
461
462
463__builtin_floor: float -> float
464
465
466__builtin_ffsll: int -> int
467
468
469__builtin_ffsl: int -> int
470
471
472__builtin_ffs: int -> int
473
474
475__builtin_fabsl: float -> float
476
477
478__builtin_fabsf: float -> float
479
480
481__builtin_fabs: float -> float
482
483
484__builtin_expl: float -> float
485
486
487__builtin_expf: float -> float
488
489
490__builtin_expect: int -> int -> int
491
492
493__builtin_exp: float -> float
494
495
496__builtin_ctzll: int -> int
497
498
499__builtin_ctzl: int -> int
500
501
502__builtin_ctz: int -> int
503
504
505__builtin_cosl: float -> float
506
507
508__builtin_coshl: float -> float
509
510
511__builtin_coshf: float -> float
512
513
514__builtin_cosh: float -> float
515
516
517__builtin_cosf: float -> float
518
519
520__builtin_cos: float -> float
521
522
523__builtin_constant_p: int -> int
524
525
526__builtin_clzll: int -> int
527
528
529__builtin_clzl: int -> int
530
531
532__builtin_clz: int -> int
533
534
535__builtin_ceill: float -> float
536
537
538__builtin_ceilf: float -> float
539
540
541__builtin_ceil: float -> float
542
543
544__builtin_atanl: float -> float
545
546
547__builtin_atanf: float -> float
548
549
550__builtin_atan2l: float -> float -> float
551
552
553__builtin_atan2f: float -> float -> float
554
555
556__builtin_atan2: float -> float -> float
557
558
559__builtin_atan: float -> float
560
561
562__builtin_asinl: float -> float
563
564
565__builtin_asinf: float -> float
566
567
568__builtin_asin: float -> float
569
570
571__builtin_alloca: int -> int
572
573
574__builtin_acosl: float -> float
575
576
577__builtin_acosf: float -> float
578
579
580__builtin_acos: float -> float
581
582
583__builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
584
585
586__builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
587
588
589__builtin___vprintf_chk: int -> int -> int -> int
590
591
592__builtin___vfprintf_chk: int -> int -> int -> int -> int
593
594
595__builtin___strncpy_chk: int -> int -> int -> int -> int
596
597
598__builtin___strncat_chk: int -> int -> int -> int -> int
599
600
601__builtin___strcpy_chk: int -> int -> int -> int
602
603
604__builtin___strcat_chk: int -> int -> int -> int
605
606
607__builtin___stpcpy_chk: int -> int -> int -> int
608
609
610__builtin___memset_chk: int -> int -> int -> int -> int
611
612
613__builtin___mempcpy_chk: int -> int -> int -> int -> int
614
615
616__builtin___memmove_chk: int -> int -> int -> int -> int
617
618
619__builtin___memcpy_chk: int -> int -> int -> int -> int
620
621
Note: See TracBrowser for help on using the repository browser.