source: Deliverables/D2.2/8051-memoryspaces-branch/tests/clight/testTB_Array_ecriture.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: 11.3 KB
Line 
1program
2
3globals 20
4
5procedure array_ecriture(3)
6var 0
7entry array_ecriture35
8array_ecriture35: newframe              --> array_ecriture34
9array_ecriture34: j                     --> array_ecriture33
10array_ecriture33: j                     --> array_ecriture32
11array_ecriture32: j                     --> array_ecriture31
12array_ecriture31: j                     --> array_ecriture30
13array_ecriture30: j                     --> array_ecriture29
14array_ecriture29: j                     --> array_ecriture28
15array_ecriture28: j                     --> array_ecriture27
16array_ecriture27: j                     --> array_ecriture26
17array_ecriture26: j                     --> array_ecriture25
18array_ecriture25: j                     --> array_ecriture24
19array_ecriture24: j                     --> array_ecriture23
20array_ecriture23: j                     --> array_ecriture22
21array_ecriture22: j                     --> array_ecriture21
22array_ecriture21: j                     --> array_ecriture20
23array_ecriture20: j                     --> array_ecriture19
24array_ecriture19: j                     --> array_ecriture18
25array_ecriture18: j                     --> array_ecriture17
26array_ecriture17: j                     --> array_ecriture16
27array_ecriture16: j                     --> array_ecriture15
28array_ecriture15: j                     --> array_ecriture12
29array_ecriture12: emit c2               --> array_ecriture11
30array_ecriture11: li    $a3, 1          --> array_ecriture10
31array_ecriture10: li    $v0, 4          --> array_ecriture9
32array_ecriture9 : mulo    $v0, $a1, $v0 --> array_ecriture8
33array_ecriture8 : add     $v0, $a0, $v0 --> array_ecriture14
34array_ecriture14: lw    $a3, 0($v0)     --> array_ecriture7
35array_ecriture7 : emit c1               --> array_ecriture6
36array_ecriture6 : li    $a1, 5          --> array_ecriture5
37array_ecriture5 : li    $v0, 4          --> array_ecriture4
38array_ecriture4 : mulo    $v0, $a2, $v0 --> array_ecriture3
39array_ecriture3 : add     $v0, $a0, $v0 --> array_ecriture13
40array_ecriture13: lw    $a1, 0($v0)     --> array_ecriture2
41array_ecriture2 : emit c0               --> array_ecriture1
42array_ecriture1 : li    $v0, 0          --> array_ecriture0
43array_ecriture0 : j                     --> array_ecriture47
44array_ecriture47: j                     --> array_ecriture46
45array_ecriture46: j                     --> array_ecriture45
46array_ecriture45: j                     --> array_ecriture44
47array_ecriture44: j                     --> array_ecriture43
48array_ecriture43: j                     --> array_ecriture42
49array_ecriture42: j                     --> array_ecriture41
50array_ecriture41: j                     --> array_ecriture40
51array_ecriture40: j                     --> array_ecriture39
52array_ecriture39: j                     --> array_ecriture38
53array_ecriture38: j                     --> array_ecriture37
54array_ecriture37: delframe              --> array_ecriture36
55array_ecriture36: jr    $ra                                 
56
57procedure _main(0)
58var 4
59entry main56
60main56: newframe                  --> main55
61main55: lw    $ra, 0($sp)         --> main54
62main54: j                         --> main53
63main53: j                         --> main52
64main52: j                         --> main51
65main51: j                         --> main50
66main50: j                         --> main49
67main49: j                         --> main48
68main48: j                         --> main47
69main47: j                         --> main46
70main46: j                         --> main45
71main45: j                         --> main44
72main44: j                         --> main43
73main43: j                         --> main42
74main42: j                         --> main41
75main41: j                         --> main40
76main40: j                         --> main39
77main39: j                         --> main38
78main38: j                         --> main37
79main37: j                         --> main36
80main36: j                         --> main35
81main35: j                         --> main34
82main34: j                         --> main33
83main33: j                         --> main32
84main32: j                         --> main31
85main31: j                         --> main30
86main30: j                         --> main29
87main29: j                         --> main20
88main20: j                         --> main19
89main19: move    $v0, $gp          --> main74
90main74: j                         --> main27
91main27: lw    $zero, 0($v0)       --> main18
92main18: j                         --> main17
93main17: move    $v0, $gp          --> main73
94main73: j                         --> main26
95main26: lw    $zero, 4($v0)       --> main16
96main16: j                         --> main15
97main15: move    $v0, $gp          --> main72
98main72: j                         --> main25
99main25: lw    $zero, 8($v0)       --> main14
100main14: j                         --> main13
101main13: move    $v0, $gp          --> main71
102main71: j                         --> main24
103main24: lw    $zero, 12($v0)      --> main12
104main12: j                         --> main11
105main11: move    $v0, $gp          --> main70
106main70: j                         --> main23
107main23: lw    $zero, 16($v0)      --> main10
108main10: emit c4                   --> main9
109main9 : move    $a0, $gp          --> main80
110main80: j                         --> main8
111main8 : li    $a1, 0              --> main7
112main7 : li    $a2, 1              --> main6
113main6 : la    $v0, array_ecriture --> main28
114main28: j                         --> main79
115main79: j                         --> main78
116main78: j                         --> main77
117main77: j                         --> main76
118main76: call  $v0                 --> main75
119main75: j                         --> main5
120main5 : emit c3                   --> main4
121main4 : li    $a0, 1              --> main3
122main3 : li    $v0, 4              --> main2
123main2 : mulo    $a0, $a0, $v0     --> main1
124main1 : move    $v0, $gp          --> main69
125main69: j                         --> main22
126main22: add     $v0, $v0, $a0     --> main21
127main21: lw    $v0, 0($v0)         --> main0
128main0 : j                         --> main68
129main68: j                         --> main67
130main67: lw    $ra, 0($sp)         --> main66
131main66: j                         --> main65
132main65: j                         --> main64
133main64: j                         --> main63
134main63: j                         --> main62
135main62: j                         --> main61
136main61: j                         --> main60
137main60: j                         --> main59
138main59: j                         --> main58
139main58: delframe                  --> main57
140main57: jr    $ra                           
141
142__builtin_varargs_start: int -> void
143
144
145__builtin_va_start: int -> int -> void
146
147
148__builtin_va_end: int -> void
149
150
151__builtin_va_copy: int -> int -> void
152
153
154__builtin_va_arg: int -> int -> void
155
156
157__builtin_types_compatible_p: int -> int -> int
158
159
160__builtin_tanl: float -> float
161
162
163__builtin_tanhl: float -> float
164
165
166__builtin_tanhf: float -> float
167
168
169__builtin_tanh: float -> float
170
171
172__builtin_tanf: float -> float
173
174
175__builtin_tan: float -> float
176
177
178__builtin_strspn: int -> int -> int
179
180
181__builtin_strpbrk: int -> int -> int
182
183
184__builtin_strncpy: int -> int -> int -> int
185
186
187__builtin_strncmp: int -> int -> int -> int
188
189
190__builtin_strncat: int -> int -> int -> int
191
192
193__builtin_strcspn: int -> int -> int
194
195
196__builtin_strcpy: int -> int -> int
197
198
199__builtin_strcmp: int -> int -> int
200
201
202__builtin_strchr: int -> int -> int
203
204
205__builtin_stpcpy: int -> int -> int
206
207
208__builtin_stdarg_start: int -> void
209
210
211__builtin_sqrtl: float -> float
212
213
214__builtin_sqrtf: float -> float
215
216
217__builtin_sqrt: float -> float
218
219
220__builtin_sinl: float -> float
221
222
223__builtin_sinhl: float -> float
224
225
226__builtin_sinhf: float -> float
227
228
229__builtin_sinh: float -> float
230
231
232__builtin_sinf: float -> float
233
234
235__builtin_sin: float -> float
236
237
238__builtin_return_address: int -> int
239
240
241__builtin_return: int -> void
242
243
244__builtin_powil: float -> int -> float
245
246
247__builtin_powif: float -> int -> float
248
249
250__builtin_powi: float -> int -> float
251
252
253__builtin_popcountll: int -> int
254
255
256__builtin_popcountl: int -> int
257
258
259__builtin_popcount: int -> int
260
261
262__builtin_parityll: int -> int
263
264
265__builtin_parityl: int -> int
266
267
268__builtin_parity: int -> int
269
270
271__builtin_object_size: int -> int -> int
272
273
274__builtin_next_arg: int
275
276
277__builtin_nansl: int -> float
278
279
280__builtin_nansf: int -> float
281
282
283__builtin_nans: int -> float
284
285
286__builtin_nanl: int -> float
287
288
289__builtin_nanf: int -> float
290
291
292__builtin_nan: int -> float
293
294
295__builtin_modfl: float -> int -> float
296
297
298__builtin_modff: float -> int -> float
299
300
301__builtin_mempcpy: int -> int -> int -> int
302
303
304__builtin_memcpy: int -> int -> int -> int
305
306
307__builtin_logl: float -> float
308
309
310__builtin_logf: float -> float
311
312
313__builtin_log10l: float -> float
314
315
316__builtin_log10f: float -> float
317
318
319__builtin_log10: float -> float
320
321
322__builtin_log: float -> float
323
324
325__builtin_ldexpl: float -> int -> float
326
327
328__builtin_ldexpf: float -> int -> float
329
330
331__builtin_ldexp: float -> int -> float
332
333
334__builtin_infl: float
335
336
337__builtin_inff: float
338
339
340__builtin_inf: float
341
342
343__builtin_huge_vall: float
344
345
346__builtin_huge_valf: float
347
348
349__builtin_huge_val: float
350
351
352__builtin_frexpl: float -> int -> float
353
354
355__builtin_frexpf: float -> int -> float
356
357
358__builtin_frexp: float -> int -> float
359
360
361__builtin_frame_address: int -> int
362
363
364__builtin_fmodl: float -> float
365
366
367__builtin_fmodf: float -> float
368
369
370__builtin_fmod: float -> float
371
372
373__builtin_floorl: float -> float
374
375
376__builtin_floorf: float -> float
377
378
379__builtin_floor: float -> float
380
381
382__builtin_ffsll: int -> int
383
384
385__builtin_ffsl: int -> int
386
387
388__builtin_ffs: int -> int
389
390
391__builtin_fabsl: float -> float
392
393
394__builtin_fabsf: float -> float
395
396
397__builtin_fabs: float -> float
398
399
400__builtin_expl: float -> float
401
402
403__builtin_expf: float -> float
404
405
406__builtin_expect: int -> int -> int
407
408
409__builtin_exp: float -> float
410
411
412__builtin_ctzll: int -> int
413
414
415__builtin_ctzl: int -> int
416
417
418__builtin_ctz: int -> int
419
420
421__builtin_cosl: float -> float
422
423
424__builtin_coshl: float -> float
425
426
427__builtin_coshf: float -> float
428
429
430__builtin_cosh: float -> float
431
432
433__builtin_cosf: float -> float
434
435
436__builtin_cos: float -> float
437
438
439__builtin_constant_p: int -> int
440
441
442__builtin_clzll: int -> int
443
444
445__builtin_clzl: int -> int
446
447
448__builtin_clz: int -> int
449
450
451__builtin_ceill: float -> float
452
453
454__builtin_ceilf: float -> float
455
456
457__builtin_ceil: float -> float
458
459
460__builtin_atanl: float -> float
461
462
463__builtin_atanf: float -> float
464
465
466__builtin_atan2l: float -> float -> float
467
468
469__builtin_atan2f: float -> float -> float
470
471
472__builtin_atan2: float -> float -> float
473
474
475__builtin_atan: float -> float
476
477
478__builtin_asinl: float -> float
479
480
481__builtin_asinf: float -> float
482
483
484__builtin_asin: float -> float
485
486
487__builtin_alloca: int -> int
488
489
490__builtin_acosl: float -> float
491
492
493__builtin_acosf: float -> float
494
495
496__builtin_acos: float -> float
497
498
499__builtin___vsprintf_chk: int -> int -> int -> int -> int -> int
500
501
502__builtin___vsnprintf_chk: int -> int -> int -> int -> int -> int -> int
503
504
505__builtin___vprintf_chk: int -> int -> int -> int
506
507
508__builtin___vfprintf_chk: int -> int -> int -> int -> int
509
510
511__builtin___strncpy_chk: int -> int -> int -> int -> int
512
513
514__builtin___strncat_chk: int -> int -> int -> int -> int
515
516
517__builtin___strcpy_chk: int -> int -> int -> int
518
519
520__builtin___strcat_chk: int -> int -> int -> int
521
522
523__builtin___stpcpy_chk: int -> int -> int -> int
524
525
526__builtin___memset_chk: int -> int -> int -> int -> int
527
528
529__builtin___mempcpy_chk: int -> int -> int -> int -> int
530
531
532__builtin___memmove_chk: int -> int -> int -> int -> int
533
534
535__builtin___memcpy_chk: int -> int -> int -> int -> int
536
537
Note: See TracBrowser for help on using the repository browser.