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

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

Import of the Paris's sources.

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