1 | |
---|
2 | |
---|
3 | |
---|
4 | extern "__builtin___memcpy_chk" : int -> int -> int -> int -> int |
---|
5 | |
---|
6 | |
---|
7 | extern "__builtin___memmove_chk" : int -> int -> int -> int -> int |
---|
8 | |
---|
9 | |
---|
10 | extern "__builtin___mempcpy_chk" : int -> int -> int -> int -> int |
---|
11 | |
---|
12 | |
---|
13 | extern "__builtin___memset_chk" : int -> int -> int -> int -> int |
---|
14 | |
---|
15 | |
---|
16 | extern "__builtin___stpcpy_chk" : int -> int -> int -> int |
---|
17 | |
---|
18 | |
---|
19 | extern "__builtin___strcat_chk" : int -> int -> int -> int |
---|
20 | |
---|
21 | |
---|
22 | extern "__builtin___strcpy_chk" : int -> int -> int -> int |
---|
23 | |
---|
24 | |
---|
25 | extern "__builtin___strncat_chk" : int -> int -> int -> int -> int |
---|
26 | |
---|
27 | |
---|
28 | extern "__builtin___strncpy_chk" : int -> int -> int -> int -> int |
---|
29 | |
---|
30 | |
---|
31 | extern "__builtin___vfprintf_chk" : int -> int -> int -> int -> int |
---|
32 | |
---|
33 | |
---|
34 | extern "__builtin___vprintf_chk" : int -> int -> int -> int |
---|
35 | |
---|
36 | |
---|
37 | extern "__builtin___vsnprintf_chk" : int -> int -> int -> int -> int -> int -> int |
---|
38 | |
---|
39 | |
---|
40 | extern "__builtin___vsprintf_chk" : int -> int -> int -> int -> int -> int |
---|
41 | |
---|
42 | |
---|
43 | extern "__builtin_acos" : float -> float |
---|
44 | |
---|
45 | |
---|
46 | extern "__builtin_acosf" : float -> float |
---|
47 | |
---|
48 | |
---|
49 | extern "__builtin_acosl" : float -> float |
---|
50 | |
---|
51 | |
---|
52 | extern "__builtin_alloca" : int -> int |
---|
53 | |
---|
54 | |
---|
55 | extern "__builtin_asin" : float -> float |
---|
56 | |
---|
57 | |
---|
58 | extern "__builtin_asinf" : float -> float |
---|
59 | |
---|
60 | |
---|
61 | extern "__builtin_asinl" : float -> float |
---|
62 | |
---|
63 | |
---|
64 | extern "__builtin_atan" : float -> float |
---|
65 | |
---|
66 | |
---|
67 | extern "__builtin_atanf" : float -> float |
---|
68 | |
---|
69 | |
---|
70 | extern "__builtin_atanl" : float -> float |
---|
71 | |
---|
72 | |
---|
73 | extern "__builtin_atan2" : float -> float -> float |
---|
74 | |
---|
75 | |
---|
76 | extern "__builtin_atan2f" : float -> float -> float |
---|
77 | |
---|
78 | |
---|
79 | extern "__builtin_atan2l" : float -> float -> float |
---|
80 | |
---|
81 | |
---|
82 | extern "__builtin_ceil" : float -> float |
---|
83 | |
---|
84 | |
---|
85 | extern "__builtin_ceilf" : float -> float |
---|
86 | |
---|
87 | |
---|
88 | extern "__builtin_ceill" : float -> float |
---|
89 | |
---|
90 | |
---|
91 | extern "__builtin_cos" : float -> float |
---|
92 | |
---|
93 | |
---|
94 | extern "__builtin_cosf" : float -> float |
---|
95 | |
---|
96 | |
---|
97 | extern "__builtin_cosl" : float -> float |
---|
98 | |
---|
99 | |
---|
100 | extern "__builtin_cosh" : float -> float |
---|
101 | |
---|
102 | |
---|
103 | extern "__builtin_coshf" : float -> float |
---|
104 | |
---|
105 | |
---|
106 | extern "__builtin_coshl" : float -> float |
---|
107 | |
---|
108 | |
---|
109 | extern "__builtin_clz" : int -> int |
---|
110 | |
---|
111 | |
---|
112 | extern "__builtin_clzl" : int -> int |
---|
113 | |
---|
114 | |
---|
115 | extern "__builtin_clzll" : int -> int |
---|
116 | |
---|
117 | |
---|
118 | extern "__builtin_constant_p" : int -> int |
---|
119 | |
---|
120 | |
---|
121 | extern "__builtin_ctz" : int -> int |
---|
122 | |
---|
123 | |
---|
124 | extern "__builtin_ctzl" : int -> int |
---|
125 | |
---|
126 | |
---|
127 | extern "__builtin_ctzll" : int -> int |
---|
128 | |
---|
129 | |
---|
130 | extern "__builtin_exp" : float -> float |
---|
131 | |
---|
132 | |
---|
133 | extern "__builtin_expf" : float -> float |
---|
134 | |
---|
135 | |
---|
136 | extern "__builtin_expl" : float -> float |
---|
137 | |
---|
138 | |
---|
139 | extern "__builtin_expect" : int -> int -> int |
---|
140 | |
---|
141 | |
---|
142 | extern "__builtin_fabs" : float -> float |
---|
143 | |
---|
144 | |
---|
145 | extern "__builtin_fabsf" : float -> float |
---|
146 | |
---|
147 | |
---|
148 | extern "__builtin_fabsl" : float -> float |
---|
149 | |
---|
150 | |
---|
151 | extern "__builtin_ffs" : int -> int |
---|
152 | |
---|
153 | |
---|
154 | extern "__builtin_ffsl" : int -> int |
---|
155 | |
---|
156 | |
---|
157 | extern "__builtin_ffsll" : int -> int |
---|
158 | |
---|
159 | |
---|
160 | extern "__builtin_frame_address" : int -> int |
---|
161 | |
---|
162 | |
---|
163 | extern "__builtin_floor" : float -> float |
---|
164 | |
---|
165 | |
---|
166 | extern "__builtin_floorf" : float -> float |
---|
167 | |
---|
168 | |
---|
169 | extern "__builtin_floorl" : float -> float |
---|
170 | |
---|
171 | |
---|
172 | extern "__builtin_huge_val" : float |
---|
173 | |
---|
174 | |
---|
175 | extern "__builtin_huge_valf" : float |
---|
176 | |
---|
177 | |
---|
178 | extern "__builtin_huge_vall" : float |
---|
179 | |
---|
180 | |
---|
181 | extern "__builtin_inf" : float |
---|
182 | |
---|
183 | |
---|
184 | extern "__builtin_inff" : float |
---|
185 | |
---|
186 | |
---|
187 | extern "__builtin_infl" : float |
---|
188 | |
---|
189 | |
---|
190 | extern "__builtin_memcpy" : int -> int -> int -> int |
---|
191 | |
---|
192 | |
---|
193 | extern "__builtin_mempcpy" : int -> int -> int -> int |
---|
194 | |
---|
195 | |
---|
196 | extern "__builtin_fmod" : float -> float |
---|
197 | |
---|
198 | |
---|
199 | extern "__builtin_fmodf" : float -> float |
---|
200 | |
---|
201 | |
---|
202 | extern "__builtin_fmodl" : float -> float |
---|
203 | |
---|
204 | |
---|
205 | extern "__builtin_frexp" : float -> int -> float |
---|
206 | |
---|
207 | |
---|
208 | extern "__builtin_frexpf" : float -> int -> float |
---|
209 | |
---|
210 | |
---|
211 | extern "__builtin_frexpl" : float -> int -> float |
---|
212 | |
---|
213 | |
---|
214 | extern "__builtin_ldexp" : float -> int -> float |
---|
215 | |
---|
216 | |
---|
217 | extern "__builtin_ldexpf" : float -> int -> float |
---|
218 | |
---|
219 | |
---|
220 | extern "__builtin_ldexpl" : float -> int -> float |
---|
221 | |
---|
222 | |
---|
223 | extern "__builtin_log" : float -> float |
---|
224 | |
---|
225 | |
---|
226 | extern "__builtin_logf" : float -> float |
---|
227 | |
---|
228 | |
---|
229 | extern "__builtin_logl" : float -> float |
---|
230 | |
---|
231 | |
---|
232 | extern "__builtin_log10" : float -> float |
---|
233 | |
---|
234 | |
---|
235 | extern "__builtin_log10f" : float -> float |
---|
236 | |
---|
237 | |
---|
238 | extern "__builtin_log10l" : float -> float |
---|
239 | |
---|
240 | |
---|
241 | extern "__builtin_modff" : float -> int -> float |
---|
242 | |
---|
243 | |
---|
244 | extern "__builtin_modfl" : float -> int -> float |
---|
245 | |
---|
246 | |
---|
247 | extern "__builtin_nan" : int -> float |
---|
248 | |
---|
249 | |
---|
250 | extern "__builtin_nanf" : int -> float |
---|
251 | |
---|
252 | |
---|
253 | extern "__builtin_nanl" : int -> float |
---|
254 | |
---|
255 | |
---|
256 | extern "__builtin_nans" : int -> float |
---|
257 | |
---|
258 | |
---|
259 | extern "__builtin_nansf" : int -> float |
---|
260 | |
---|
261 | |
---|
262 | extern "__builtin_nansl" : int -> float |
---|
263 | |
---|
264 | |
---|
265 | extern "__builtin_next_arg" : int |
---|
266 | |
---|
267 | |
---|
268 | extern "__builtin_object_size" : int -> int -> int |
---|
269 | |
---|
270 | |
---|
271 | extern "__builtin_parity" : int -> int |
---|
272 | |
---|
273 | |
---|
274 | extern "__builtin_parityl" : int -> int |
---|
275 | |
---|
276 | |
---|
277 | extern "__builtin_parityll" : int -> int |
---|
278 | |
---|
279 | |
---|
280 | extern "__builtin_popcount" : int -> int |
---|
281 | |
---|
282 | |
---|
283 | extern "__builtin_popcountl" : int -> int |
---|
284 | |
---|
285 | |
---|
286 | extern "__builtin_popcountll" : int -> int |
---|
287 | |
---|
288 | |
---|
289 | extern "__builtin_powi" : float -> int -> float |
---|
290 | |
---|
291 | |
---|
292 | extern "__builtin_powif" : float -> int -> float |
---|
293 | |
---|
294 | |
---|
295 | extern "__builtin_powil" : float -> int -> float |
---|
296 | |
---|
297 | |
---|
298 | extern "__builtin_return" : int -> void |
---|
299 | |
---|
300 | |
---|
301 | extern "__builtin_return_address" : int -> int |
---|
302 | |
---|
303 | |
---|
304 | extern "__builtin_sin" : float -> float |
---|
305 | |
---|
306 | |
---|
307 | extern "__builtin_sinf" : float -> float |
---|
308 | |
---|
309 | |
---|
310 | extern "__builtin_sinl" : float -> float |
---|
311 | |
---|
312 | |
---|
313 | extern "__builtin_sinh" : float -> float |
---|
314 | |
---|
315 | |
---|
316 | extern "__builtin_sinhf" : float -> float |
---|
317 | |
---|
318 | |
---|
319 | extern "__builtin_sinhl" : float -> float |
---|
320 | |
---|
321 | |
---|
322 | extern "__builtin_sqrt" : float -> float |
---|
323 | |
---|
324 | |
---|
325 | extern "__builtin_sqrtf" : float -> float |
---|
326 | |
---|
327 | |
---|
328 | extern "__builtin_sqrtl" : float -> float |
---|
329 | |
---|
330 | |
---|
331 | extern "__builtin_stpcpy" : int -> int -> int |
---|
332 | |
---|
333 | |
---|
334 | extern "__builtin_strchr" : int -> int -> int |
---|
335 | |
---|
336 | |
---|
337 | extern "__builtin_strcmp" : int -> int -> int |
---|
338 | |
---|
339 | |
---|
340 | extern "__builtin_strcpy" : int -> int -> int |
---|
341 | |
---|
342 | |
---|
343 | extern "__builtin_strcspn" : int -> int -> int |
---|
344 | |
---|
345 | |
---|
346 | extern "__builtin_strncat" : int -> int -> int -> int |
---|
347 | |
---|
348 | |
---|
349 | extern "__builtin_strncmp" : int -> int -> int -> int |
---|
350 | |
---|
351 | |
---|
352 | extern "__builtin_strncpy" : int -> int -> int -> int |
---|
353 | |
---|
354 | |
---|
355 | extern "__builtin_strspn" : int -> int -> int |
---|
356 | |
---|
357 | |
---|
358 | extern "__builtin_strpbrk" : int -> int -> int |
---|
359 | |
---|
360 | |
---|
361 | extern "__builtin_types_compatible_p" : int -> int -> int |
---|
362 | |
---|
363 | |
---|
364 | extern "__builtin_tan" : float -> float |
---|
365 | |
---|
366 | |
---|
367 | extern "__builtin_tanf" : float -> float |
---|
368 | |
---|
369 | |
---|
370 | extern "__builtin_tanl" : float -> float |
---|
371 | |
---|
372 | |
---|
373 | extern "__builtin_tanh" : float -> float |
---|
374 | |
---|
375 | |
---|
376 | extern "__builtin_tanhf" : float -> float |
---|
377 | |
---|
378 | |
---|
379 | extern "__builtin_tanhl" : float -> float |
---|
380 | |
---|
381 | |
---|
382 | extern "__builtin_va_end" : int -> void |
---|
383 | |
---|
384 | |
---|
385 | extern "__builtin_varargs_start" : int -> void |
---|
386 | |
---|
387 | |
---|
388 | extern "__builtin_va_start" : int -> int -> void |
---|
389 | |
---|
390 | |
---|
391 | extern "__builtin_stdarg_start" : int -> void |
---|
392 | |
---|
393 | |
---|
394 | extern "__builtin_va_arg" : int -> int -> void |
---|
395 | |
---|
396 | |
---|
397 | extern "__builtin_va_copy" : int -> int -> void |
---|
398 | |
---|
399 | |
---|
400 | "if_jian" (a, b, c, d, e, f, g, x, y) : int -> int -> int -> int -> int -> int -> int -> int -> int -> int { |
---|
401 | |
---|
402 | stack 0; |
---|
403 | |
---|
404 | var u, v, t1, t2, t3, t4, t5; |
---|
405 | |
---|
406 | c15: |
---|
407 | t1 = (a + b) < c; |
---|
408 | c14: |
---|
409 | t2 = d + e; |
---|
410 | c13: |
---|
411 | t3 = c + 1; |
---|
412 | c12: |
---|
413 | if (y == 1) { |
---|
414 | c11: |
---|
415 | if (t1) { |
---|
416 | c10: |
---|
417 | u = t3 + d; |
---|
418 | } |
---|
419 | else { |
---|
420 | c9: |
---|
421 | if (!x) { |
---|
422 | c8: |
---|
423 | u = t2 + d; |
---|
424 | } |
---|
425 | else { |
---|
426 | } |
---|
427 | } |
---|
428 | c7: |
---|
429 | if ((/* c6 */ !t1) ? ((/* c5 */ x) ? 1 : 0) : 0) { |
---|
430 | c4: |
---|
431 | v = t2 + e; |
---|
432 | } |
---|
433 | else { |
---|
434 | } |
---|
435 | } |
---|
436 | else { |
---|
437 | c3: |
---|
438 | t4 = t3 + e; |
---|
439 | c2: |
---|
440 | t5 = t4 + f; |
---|
441 | c1: |
---|
442 | u = t5 + g; |
---|
443 | } |
---|
444 | c0: |
---|
445 | return u; |
---|
446 | |
---|
447 | } |
---|
448 | |
---|
449 | |
---|
450 | "if_exSimple" (a, b) : int -> int -> int { |
---|
451 | |
---|
452 | stack 0; |
---|
453 | |
---|
454 | var g, e, f; |
---|
455 | |
---|
456 | c23: |
---|
457 | if (a < b) { |
---|
458 | c22: |
---|
459 | e = a + b; |
---|
460 | c21: |
---|
461 | e = 2 * e; |
---|
462 | c20: |
---|
463 | g = e; |
---|
464 | } |
---|
465 | else { |
---|
466 | c19: |
---|
467 | f = 2 * b; |
---|
468 | c18: |
---|
469 | f = f + a; |
---|
470 | c17: |
---|
471 | g = f + b; |
---|
472 | } |
---|
473 | c16: |
---|
474 | return g; |
---|
475 | |
---|
476 | } |
---|
477 | |
---|
478 | |
---|
479 | "if_imbriq1" (a, b, c) : int -> int -> int -> int { |
---|
480 | |
---|
481 | stack 0; |
---|
482 | |
---|
483 | var result; |
---|
484 | |
---|
485 | c29: |
---|
486 | if (a < b) { |
---|
487 | c28: |
---|
488 | if (b < c) { |
---|
489 | c27: |
---|
490 | result = b; |
---|
491 | } |
---|
492 | else { |
---|
493 | c26: |
---|
494 | result = c; |
---|
495 | } |
---|
496 | } |
---|
497 | else { |
---|
498 | c25: |
---|
499 | result = a; |
---|
500 | } |
---|
501 | c24: |
---|
502 | return result; |
---|
503 | |
---|
504 | } |
---|
505 | |
---|
506 | |
---|
507 | "if_imbriq2" (a, b, c) : int -> int -> int -> int { |
---|
508 | |
---|
509 | stack 0; |
---|
510 | |
---|
511 | var result; |
---|
512 | |
---|
513 | c35: |
---|
514 | if (a < b) { |
---|
515 | c34: |
---|
516 | if (b < c) { |
---|
517 | c33: |
---|
518 | result = b; |
---|
519 | } |
---|
520 | else { |
---|
521 | c32: |
---|
522 | result = 47; |
---|
523 | } |
---|
524 | } |
---|
525 | else { |
---|
526 | c31: |
---|
527 | result = a; |
---|
528 | } |
---|
529 | c30: |
---|
530 | return result; |
---|
531 | |
---|
532 | } |
---|
533 | |
---|
534 | |
---|
535 | "if_min" (a, b) : int -> int -> int { |
---|
536 | |
---|
537 | stack 0; |
---|
538 | |
---|
539 | var min; |
---|
540 | |
---|
541 | c39: |
---|
542 | if (a > b) { |
---|
543 | c38: |
---|
544 | min = b; |
---|
545 | } |
---|
546 | else { |
---|
547 | c37: |
---|
548 | min = a; |
---|
549 | } |
---|
550 | c36: |
---|
551 | return min; |
---|
552 | |
---|
553 | } |
---|
554 | |
---|
555 | |
---|
556 | "if_prog" (j, i) : int -> int -> int { |
---|
557 | |
---|
558 | stack 0; |
---|
559 | |
---|
560 | var a, b; |
---|
561 | |
---|
562 | c44: |
---|
563 | a = i + j; |
---|
564 | c43: |
---|
565 | if (a < 0) { |
---|
566 | c42: |
---|
567 | b = 2; |
---|
568 | } |
---|
569 | else { |
---|
570 | c41: |
---|
571 | b = 3; |
---|
572 | } |
---|
573 | c40: |
---|
574 | return b; |
---|
575 | |
---|
576 | } |
---|
577 | |
---|
578 | |
---|
579 | "if_sansElse" (a, b) : int -> int -> int { |
---|
580 | |
---|
581 | stack 0; |
---|
582 | |
---|
583 | var c; |
---|
584 | |
---|
585 | c48: |
---|
586 | c = 0; |
---|
587 | c47: |
---|
588 | if (a < b) { |
---|
589 | c46: |
---|
590 | c = a; |
---|
591 | } |
---|
592 | else { |
---|
593 | } |
---|
594 | c45: |
---|
595 | return c; |
---|
596 | |
---|
597 | } |
---|
598 | |
---|
599 | |
---|
600 | "if_test" (a, b, x, y) : int -> int -> int -> int -> int { |
---|
601 | |
---|
602 | stack 0; |
---|
603 | |
---|
604 | var c, d, v, w, z; |
---|
605 | |
---|
606 | c61: |
---|
607 | c = 0; |
---|
608 | c60: |
---|
609 | d = 0; |
---|
610 | c59: |
---|
611 | v = 0; |
---|
612 | c58: |
---|
613 | w = 0; |
---|
614 | c57: |
---|
615 | z = 0; |
---|
616 | c56: |
---|
617 | if (a < b) { |
---|
618 | c55: |
---|
619 | c = a + b; |
---|
620 | } |
---|
621 | else { |
---|
622 | } |
---|
623 | c54: |
---|
624 | if (x < y) { |
---|
625 | c53: |
---|
626 | z = x + y; |
---|
627 | c52: |
---|
628 | w = z + x; |
---|
629 | } |
---|
630 | else { |
---|
631 | } |
---|
632 | c51: |
---|
633 | d = c + 1; |
---|
634 | c50: |
---|
635 | v = c + w; |
---|
636 | c49: |
---|
637 | return c; |
---|
638 | |
---|
639 | } |
---|
640 | |
---|
641 | |
---|
642 | "if_ual" (op, a, b) : int -> int -> int -> int { |
---|
643 | |
---|
644 | stack 0; |
---|
645 | |
---|
646 | var result; |
---|
647 | |
---|
648 | c74: |
---|
649 | if (op == 0) { |
---|
650 | c73: |
---|
651 | result = a + b; |
---|
652 | } |
---|
653 | else { |
---|
654 | c72: |
---|
655 | if (op == 1) { |
---|
656 | c71: |
---|
657 | result = a - b; |
---|
658 | } |
---|
659 | else { |
---|
660 | c70: |
---|
661 | if (op == 2) { |
---|
662 | c69: |
---|
663 | result = (/* c68 */ a) ? ((/* c67 */ b) ? 1 : 0) : 0; |
---|
664 | } |
---|
665 | else { |
---|
666 | c66: |
---|
667 | if (op == 3) { |
---|
668 | c65: |
---|
669 | result = (/* c64 */ a) ? 1 : ((/* c63 */ b) ? 1 : 0); |
---|
670 | } |
---|
671 | else { |
---|
672 | } |
---|
673 | } |
---|
674 | } |
---|
675 | } |
---|
676 | c62: |
---|
677 | return result; |
---|
678 | |
---|
679 | } |
---|
680 | |
---|
681 | |
---|
682 | "main" () : int { |
---|
683 | |
---|
684 | stack 0; |
---|
685 | |
---|
686 | var a; |
---|
687 | |
---|
688 | c84: |
---|
689 | a = "if_jian"(1, 2, 3, 4, 5, 6, 7, 8, 9) : int -> int -> int -> int -> int -> int -> int -> int -> int -> int; |
---|
690 | c83: |
---|
691 | a = "if_exSimple"(1, 2) : int -> int -> int; |
---|
692 | c82: |
---|
693 | a = "if_imbriq1"(1, 2, 3) : int -> int -> int -> int; |
---|
694 | c81: |
---|
695 | a = "if_imbriq2"(1, 2, 3) : int -> int -> int -> int; |
---|
696 | c80: |
---|
697 | a = "if_min"(1, 2) : int -> int -> int; |
---|
698 | c79: |
---|
699 | a = "if_prog"(1, 2) : int -> int -> int; |
---|
700 | c78: |
---|
701 | a = "if_sansElse"(1, 2) : int -> int -> int; |
---|
702 | c77: |
---|
703 | a = "if_test"(1, 2, 3, 4) : int -> int -> int -> int -> int; |
---|
704 | c76: |
---|
705 | a = "if_ual"(1, 2, 3) : int -> int -> int -> int; |
---|
706 | c75: |
---|
707 | return a; |
---|
708 | |
---|
709 | } |
---|
710 | |
---|
711 | |
---|