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