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