1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
|
var "__stringlit_2" readonly {int8 122,int8 101,int8 114,int8 111,int8 10,int8 0}
var "__stringlit_1" readonly {int8 110,int8 101,int8 103,int8 97,int8 116,int8 105,int8 118,int8 101,int8 10,int8 0}
var "__stringlit_3" readonly {int8 112,int8 111,int8 115,int8 105,int8 116,int8 105,int8 118,int8 101,int8 10,int8 0}
extern "__builtin_ais_annot" = builtin "__builtin_ais_annot" : long -> void
extern "__builtin_expect" = builtin "__builtin_expect" : long -> long -> long
extern "__builtin_bswap64" = builtin "__builtin_bswap64" : long -> long
extern "__builtin_bswap" = builtin "__builtin_bswap" : int -> int
extern "__builtin_bswap32" = builtin "__builtin_bswap32" : int -> int
extern "__builtin_bswap16" = builtin "__builtin_bswap16" : int -> int16u
extern "__builtin_clz" = builtin "__builtin_clz" : int -> int
extern "__builtin_clzl" = builtin "__builtin_clzl" : long -> int
extern "__builtin_clzll" = builtin "__builtin_clzll" : long -> int
extern "__builtin_ctz" = builtin "__builtin_ctz" : int -> int
extern "__builtin_ctzl" = builtin "__builtin_ctzl" : long -> int
extern "__builtin_ctzll" = builtin "__builtin_ctzll" : long -> int
extern "__builtin_fabs" = builtin "__builtin_fabs" : float -> float
extern "__builtin_fabsf" = builtin "__builtin_fabsf" : single -> single
extern "__builtin_fsqrt" = builtin "__builtin_fsqrt" : float -> float
extern "__builtin_sqrt" = builtin "__builtin_sqrt" : float -> float
extern "__builtin_memcpy_aligned" = builtin "__builtin_memcpy_aligned" :
long -> long -> long -> long -> void
extern "__builtin_sel" = builtin "__builtin_sel" : int -> void
extern "__builtin_annot" = builtin "__builtin_annot" : long -> void
extern "__builtin_annot_intval" = builtin "__builtin_annot_intval" : long ->
int -> int
extern "__builtin_membar" = builtin "__builtin_membar" : void
extern "__builtin_va_start" = builtin "__builtin_va_start" : long -> void
extern "__builtin_va_arg" = builtin "__builtin_va_arg" : long -> int -> void
extern "__builtin_va_copy" = builtin "__builtin_va_copy" : long -> long ->
void
extern "__builtin_va_end" = builtin "__builtin_va_end" : long -> void
extern "__compcert_va_int32" = extern "__compcert_va_int32" : long -> int
extern "__compcert_va_int64" = extern "__compcert_va_int64" : long -> long
extern "__compcert_va_float64" = extern "__compcert_va_float64" : long ->
float
extern "__compcert_va_composite" = extern "__compcert_va_composite" : long ->
long -> long
extern "__compcert_i64_dtos" = runtime "__compcert_i64_dtos" : float -> long
extern "__compcert_i64_dtou" = runtime "__compcert_i64_dtou" : float -> long
extern "__compcert_i64_stod" = runtime "__compcert_i64_stod" : long -> float
extern "__compcert_i64_utod" = runtime "__compcert_i64_utod" : long -> float
extern "__compcert_i64_stof" = runtime "__compcert_i64_stof" : long -> single
extern "__compcert_i64_utof" = runtime "__compcert_i64_utof" : long -> single
extern "__compcert_i64_sdiv" = runtime "__compcert_i64_sdiv" : long ->
long -> long
extern "__compcert_i64_udiv" = runtime "__compcert_i64_udiv" : long ->
long -> long
extern "__compcert_i64_smod" = runtime "__compcert_i64_smod" : long ->
long -> long
extern "__compcert_i64_umod" = runtime "__compcert_i64_umod" : long ->
long -> long
extern "__compcert_i64_shl" = runtime "__compcert_i64_shl" : long -> int ->
long
extern "__compcert_i64_shr" = runtime "__compcert_i64_shr" : long -> int ->
long
extern "__compcert_i64_sar" = runtime "__compcert_i64_sar" : long -> int ->
long
extern "__compcert_i64_smulh" = runtime "__compcert_i64_smulh" : long ->
long -> long
extern "__compcert_i64_umulh" = runtime "__compcert_i64_umulh" : long ->
long -> long
extern "__compcert_i32_sdiv" = runtime "__compcert_i32_sdiv" : int -> int ->
int
extern "__compcert_i32_udiv" = runtime "__compcert_i32_udiv" : int -> int ->
int
extern "__compcert_i32_smod" = runtime "__compcert_i32_smod" : int -> int ->
int
extern "__compcert_i32_umod" = runtime "__compcert_i32_umod" : int -> int ->
int
extern "__compcert_f32_div" = runtime "__compcert_f32_div" : single ->
single -> single
extern "__compcert_f64_div" = runtime "__compcert_f64_div" : float ->
float -> float
extern "__builtin_fence" = builtin "__builtin_fence" : void
extern "__builtin_cls" = builtin "__builtin_cls" : int -> int
extern "__builtin_clsl" = builtin "__builtin_clsl" : long -> int
extern "__builtin_clsll" = builtin "__builtin_clsll" : long -> int
extern "__builtin_fmadd" = builtin "__builtin_fmadd" : float -> float ->
float -> float
extern "__builtin_fmsub" = builtin "__builtin_fmsub" : float -> float ->
float -> float
extern "__builtin_fnmadd" = builtin "__builtin_fnmadd" : float -> float ->
float -> float
extern "__builtin_fnmsub" = builtin "__builtin_fnmsub" : float -> float ->
float -> float
extern "__builtin_fmax" = builtin "__builtin_fmax" : float -> float -> float
extern "__builtin_fmin" = builtin "__builtin_fmin" : float -> float -> float
extern "__builtin_debug" = extern "__builtin_debug" : int -> void
extern "atoi" = extern "atoi" : long -> int
extern "printf" = extern "printf" : long -> int
"main"('argc', 'argv') : int -> long -> int
{
var 'i', '$71';
if ('argc' < 2) {
return 1;
}
'$71' = "atoi"(int64['argv' +l 8LL *l longofint 1]) : long -> int;
'i' = '$71';
if ('i' > 0) {
"printf"("__stringlit_3") : long -> int;
} else {
if ('i' == 0) {
"printf"("__stringlit_2") : long -> int;
} else {
"printf"("__stringlit_1") : long -> int;
}
}
return 0;
return 0;
}
|
