Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
CertiCompil
CompCert-KVX
Commits
76844ba0
Commit
76844ba0
authored
Apr 12, 2021
by
David Monniaux
Browse files
test profiling
parent
1ea73601
Changes
42
Hide whitespace changes
Inline
Side-by-side
test/monniaux/profiling/compcert_profiling.dat
0 → 100644
View file @
76844ba0
File added
test/monniaux/profiling/test_profiling
0 → 100755
View file @
76844ba0
File added
test/monniaux/profiling/test_profiling.alloctrace
0 → 100644
View file @
76844ba0
-------------- Initial XTL
f() {
16: (x7, x1) = (X1, X0) using x13, x12;
15: if (x1 <s 2) goto 14 else goto 13
14: x11 = 1; goto 1
13: x6 = int64[x7 + 8];
12: X0 = x6; X0 = call "atoi"(X0); x10 = X0;
11:
10: if (x10 <=s 0) goto 9 else goto 4
9: if (x10 ==s 0) goto 6 else goto 8
8: x3 = "__stringlit_1" + 0;
7: X0 = x3; X0 = call "printf"(X0); goto 2
6: x9 = "__stringlit_2" + 0;
5: X0 = x9; X0 = call "printf"(X0); goto 2
4: x5 = "__stringlit_3" + 0;
3: X0 = x5; X0 = call "printf"(X0);
2: x11 = 0;
1: X0 = x11; return X0
}
------------------ Unspillable variables --------------
x12 x13
-------------- After initial register allocation
f() {
16: (x7{X1}, x1{X0}) = (X1, X0) using x13{X2}, x12{D0};
{ x1 x7 }
15: if (x1{X0} <s 2) goto 14 else goto 13
{ x7 }
14: x11{X0} = 1; goto 1
{ x11 }
13: x6{X0} = int64[x7{X1} + 8];
{ x6 }
12: X0 = x6{X0}; X0 = call "atoi"(X0); x10{X0} = X0;
{ x10 }
11:
{ x10 }
10: if (x10{X0} <=s 0) goto 9 else goto 4
{ x10 }
9: if (x10{X0} ==s 0) goto 6 else goto 8
{ }
8: x3{X0} = "__stringlit_1" + 0;
{ x3 }
7: X0 = x3{X0}; X0 = call "printf"(X0); goto 2
{ }
6: x9{X0} = "__stringlit_2" + 0;
{ x9 }
5: X0 = x9{X0}; X0 = call "printf"(X0); goto 2
{ }
4: x5{X0} = "__stringlit_3" + 0;
{ x5 }
3: X0 = x5{X0}; X0 = call "printf"(X0);
{ }
2: x11{X0} = 0;
{ x11 }
1: X0 = x11{X0}; return X0
{ }
}
-------------- Candidate allocation
f() {
16:
15: if (X0 <s 2) goto 14 else goto 13 (prediction: fallthrough)
14: X0 = 1; goto 1
13: X0 = int64[X1 + 8];
12: call "atoi";
11:
10: if (X0 <=s 0) goto 9 else goto 4 (prediction: fallthrough)
9: if (X0 ==s 0) goto 6 else goto 8 (prediction: none)
8: X0 = "__stringlit_1" + 0;
7: call "printf"; goto 2
6: X0 = "__stringlit_2" + 0;
5: call "printf"; goto 2
4: X0 = "__stringlit_3" + 0;
3: call "printf";
2: X0 = 0;
1: return
}
test/monniaux/profiling/test_profiling.c
0 → 100644
View file @
76844ba0
#include <stdlib.h>
#include <stdio.h>
int
main
(
int
argc
,
char
**
argv
)
{
if
(
argc
<
2
)
return
1
;
int
i
=
atoi
(
argv
[
1
]);
if
(
i
>
0
)
{
printf
(
"positive
\n
"
);
}
else
if
(
i
==
0
)
{
printf
(
"zero
\n
"
);
}
else
{
printf
(
"negative
\n
"
);
}
return
0
;
}
test/monniaux/profiling/test_profiling.cm
0 → 100644
View file @
76844ba0
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;
}
test/monniaux/profiling/test_profiling.i
0 → 100644
View file @
76844ba0
#
1
"test_profiling.c"
#
1
"<built-in>"
#
1
"<command-line>"
#
1
"/usr/aarch64-linux-gnu/include/stdc-predef.h"
1
3
#
1
"<command-line>"
2
#
1
"test_profiling.c"
#
1
"/usr/aarch64-linux-gnu/include/stdlib.h"
1
3
#
25
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
#
1
"/usr/aarch64-linux-gnu/include/bits/libc-header-start.h"
1
3
#
33
"/usr/aarch64-linux-gnu/include/bits/libc-header-start.h"
3
#
1
"/usr/aarch64-linux-gnu/include/features.h"
1
3
#
461
"/usr/aarch64-linux-gnu/include/features.h"
3
#
1
"/usr/aarch64-linux-gnu/include/sys/cdefs.h"
1
3
#
452
"/usr/aarch64-linux-gnu/include/sys/cdefs.h"
3
#
1
"/usr/aarch64-linux-gnu/include/bits/wordsize.h"
1
3
#
453
"/usr/aarch64-linux-gnu/include/sys/cdefs.h"
2
3
#
1
"/usr/aarch64-linux-gnu/include/bits/long-double.h"
1
3
#
454
"/usr/aarch64-linux-gnu/include/sys/cdefs.h"
2
3
#
462
"/usr/aarch64-linux-gnu/include/features.h"
2
3
#
485
"/usr/aarch64-linux-gnu/include/features.h"
3
#
1
"/usr/aarch64-linux-gnu/include/gnu/stubs.h"
1
3
#
1
"/usr/aarch64-linux-gnu/include/bits/wordsize.h"
1
3
#
6
"/usr/aarch64-linux-gnu/include/gnu/stubs.h"
2
3
#
1
"/usr/aarch64-linux-gnu/include/gnu/stubs-lp64.h"
1
3
#
9
"/usr/aarch64-linux-gnu/include/gnu/stubs.h"
2
3
#
486
"/usr/aarch64-linux-gnu/include/features.h"
2
3
#
34
"/usr/aarch64-linux-gnu/include/bits/libc-header-start.h"
2
3
#
26
"/usr/aarch64-linux-gnu/include/stdlib.h"
2
3
#
1
"/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stddef.h"
1
3
#
67
"/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stddef.h"
3
#
67
"/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stddef.h"
3
typedef
unsigned
long
size_t
;
#
101
"/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stddef.h"
3
typedef
signed
int
wchar_t
;
#
32
"/usr/aarch64-linux-gnu/include/stdlib.h"
2
3
#
55
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
#
1
"/usr/aarch64-linux-gnu/include/bits/floatn.h"
1
3
#
23
"/usr/aarch64-linux-gnu/include/bits/floatn.h"
3
#
1
"/usr/aarch64-linux-gnu/include/bits/long-double.h"
1
3
#
24
"/usr/aarch64-linux-gnu/include/bits/floatn.h"
2
3
#
80
"/usr/aarch64-linux-gnu/include/bits/floatn.h"
3
typedef
long
double
_Float128
;
#
95
"/usr/aarch64-linux-gnu/include/bits/floatn.h"
3
#
1
"/usr/aarch64-linux-gnu/include/bits/floatn-common.h"
1
3
#
24
"/usr/aarch64-linux-gnu/include/bits/floatn-common.h"
3
#
1
"/usr/aarch64-linux-gnu/include/bits/long-double.h"
1
3
#
25
"/usr/aarch64-linux-gnu/include/bits/floatn-common.h"
2
3
#
214
"/usr/aarch64-linux-gnu/include/bits/floatn-common.h"
3
typedef
float
_Float32
;
#
251
"/usr/aarch64-linux-gnu/include/bits/floatn-common.h"
3
typedef
double
_Float64
;
#
268
"/usr/aarch64-linux-gnu/include/bits/floatn-common.h"
3
typedef
double
_Float32x
;
#
285
"/usr/aarch64-linux-gnu/include/bits/floatn-common.h"
3
typedef
long
double
_Float64x
;
#
96
"/usr/aarch64-linux-gnu/include/bits/floatn.h"
2
3
#
56
"/usr/aarch64-linux-gnu/include/stdlib.h"
2
3
typedef
struct
{
int
quot
;
int
rem
;
}
div_t
;
typedef
struct
{
long
int
quot
;
long
int
rem
;
}
ldiv_t
;
typedef
struct
{
long
long
int
quot
;
long
long
int
rem
;
}
lldiv_t
;
#
97
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
size_t
__ctype_get_mb_cur_max
(
void
)
;
extern
double
atof
(
const
char
*
__nptr
)
;
extern
int
atoi
(
const
char
*
__nptr
)
;
extern
long
int
atol
(
const
char
*
__nptr
)
;
extern
long
long
int
atoll
(
const
char
*
__nptr
)
;
extern
double
strtod
(
const
char
*
restrict
__nptr
,
char
**
restrict
__endptr
)
;
extern
float
strtof
(
const
char
*
restrict
__nptr
,
char
**
restrict
__endptr
)
;
extern
long
double
strtold
(
const
char
*
restrict
__nptr
,
char
**
restrict
__endptr
)
;
#
176
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
long
int
strtol
(
const
char
*
restrict
__nptr
,
char
**
restrict
__endptr
,
int
__base
)
;
extern
unsigned
long
int
strtoul
(
const
char
*
restrict
__nptr
,
char
**
restrict
__endptr
,
int
__base
)
;
#
199
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
long
long
int
strtoll
(
const
char
*
restrict
__nptr
,
char
**
restrict
__endptr
,
int
__base
)
;
extern
unsigned
long
long
int
strtoull
(
const
char
*
restrict
__nptr
,
char
**
restrict
__endptr
,
int
__base
)
;
#
453
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
int
rand
(
void
)
;
extern
void
srand
(
unsigned
int
__seed
)
;
#
539
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
void
*
malloc
(
size_t
__size
)
;
extern
void
*
calloc
(
size_t
__nmemb
,
size_t
__size
)
;
extern
void
*
realloc
(
void
*
__ptr
,
size_t
__size
)
;
#
565
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
void
free
(
void
*
__ptr
)
;
#
591
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
void
abort
(
void
)
;
extern
int
atexit
(
void
(
*
__func
)
(
void
))
;
#
617
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
void
exit
(
int
__status
)
;
#
629
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
void
_Exit
(
int
__status
)
;
extern
char
*
getenv
(
const
char
*
__name
)
;
#
784
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
int
system
(
const
char
*
__command
)
;
#
808
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
typedef
int
(
*
__compar_fn_t
)
(
const
void
*
,
const
void
*
)
;
#
820
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
void
*
bsearch
(
const
void
*
__key
,
const
void
*
__base
,
size_t
__nmemb
,
size_t
__size
,
__compar_fn_t
__compar
)
;
extern
void
qsort
(
void
*
__base
,
size_t
__nmemb
,
size_t
__size
,
__compar_fn_t
__compar
)
;
#
840
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
int
abs
(
int
__x
)
;
extern
long
int
labs
(
long
int
__x
)
;
extern
long
long
int
llabs
(
long
long
int
__x
)
;
extern
div_t
div
(
int
__numer
,
int
__denom
)
;
extern
ldiv_t
ldiv
(
long
int
__numer
,
long
int
__denom
)
;
extern
lldiv_t
lldiv
(
long
long
int
__numer
,
long
long
int
__denom
)
;
#
922
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
extern
int
mblen
(
const
char
*
__s
,
size_t
__n
)
;
extern
int
mbtowc
(
wchar_t
*
restrict
__pwc
,
const
char
*
restrict
__s
,
size_t
__n
)
;
extern
int
wctomb
(
char
*
__s
,
wchar_t
__wchar
)
;
extern
size_t
mbstowcs
(
wchar_t
*
restrict
__pwcs
,
const
char
*
restrict
__s
,
size_t
__n
)
;
extern
size_t
wcstombs
(
char
*
restrict
__s
,
const
wchar_t
*
restrict
__pwcs
,
size_t
__n
)
;
#
1013
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
#
1
"/usr/aarch64-linux-gnu/include/bits/stdlib-float.h"
1
3
#
1014
"/usr/aarch64-linux-gnu/include/stdlib.h"
2
3
#
1023
"/usr/aarch64-linux-gnu/include/stdlib.h"
3
#
2
"test_profiling.c"
2
#
1
"/usr/aarch64-linux-gnu/include/stdio.h"
1
3
#
27
"/usr/aarch64-linux-gnu/include/stdio.h"
3
#
1
"/usr/aarch64-linux-gnu/include/bits/libc-header-start.h"
1
3
#
28
"/usr/aarch64-linux-gnu/include/stdio.h"
2
3
#
1
"/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stddef.h"
1
3
#
34
"/usr/aarch64-linux-gnu/include/stdio.h"
2
3
#
1
"/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stdarg.h"
1
3
#
43
"/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stdarg.h"
3
typedef
__builtin_va_list
__gnuc_va_list
;
#
37
"/usr/aarch64-linux-gnu/include/stdio.h"
2
3
#
1
"/usr/aarch64-linux-gnu/include/bits/types.h"
1
3
#
27
"/usr/aarch64-linux-gnu/include/bits/types.h"
3
#
1
"/usr/aarch64-linux-gnu/include/bits/wordsize.h"
1
3
#
28
"/usr/aarch64-linux-gnu/include/bits/types.h"
2
3
#
1
"/usr/aarch64-linux-gnu/include/bits/timesize.h"
1
3
#
19
"/usr/aarch64-linux-gnu/include/bits/timesize.h"
3
#
1
"/usr/aarch64-linux-gnu/include/bits/wordsize.h"
1
3
#
20
"/usr/aarch64-linux-gnu/include/bits/timesize.h"
2
3
#
29
"/usr/aarch64-linux-gnu/include/bits/types.h"
2
3
typedef
unsigned
char
__u_char
;
typedef
unsigned
short
int
__u_short
;
typedef
unsigned
int
__u_int
;
typedef
unsigned
long
int
__u_long
;
typedef
signed
char
__int8_t
;
typedef
unsigned
char
__uint8_t
;
typedef
signed
short
int
__int16_t
;
typedef
unsigned
short
int
__uint16_t
;
typedef
signed
int
__int32_t
;
typedef
unsigned
int
__uint32_t
;
typedef
signed
long
int
__int64_t
;
typedef
unsigned
long
int
__uint64_t
;
typedef
__int8_t
__int_least8_t
;
typedef
__uint8_t
__uint_least8_t
;
typedef
__int16_t
__int_least16_t
;
typedef
__uint16_t
__uint_least16_t
;
typedef
__int32_t
__int_least32_t
;
typedef
__uint32_t
__uint_least32_t
;
typedef
__int64_t
__int_least64_t
;
typedef
__uint64_t
__uint_least64_t
;
typedef
long
int
__quad_t
;
typedef
unsigned
long
int
__u_quad_t
;
typedef
long
int
__intmax_t
;
typedef
unsigned
long
int
__uintmax_t
;
#
141
"/usr/aarch64-linux-gnu/include/bits/types.h"
3
#
1
"/usr/aarch64-linux-gnu/include/bits/typesizes.h"
1
3
#
142
"/usr/aarch64-linux-gnu/include/bits/types.h"
2
3
#
1
"/usr/aarch64-linux-gnu/include/bits/time64.h"
1
3
#
143
"/usr/aarch64-linux-gnu/include/bits/types.h"
2
3
typedef
unsigned
long
int
__dev_t
;
typedef
unsigned
int
__uid_t
;
typedef
unsigned
int
__gid_t
;
typedef
unsigned
long
int
__ino_t
;
typedef
unsigned
long
int
__ino64_t
;
typedef
unsigned
int
__mode_t
;
typedef
unsigned
int
__nlink_t
;
typedef
long
int
__off_t
;
typedef
long
int
__off64_t
;
typedef
int
__pid_t
;
typedef
struct
{
int
__val
[
2
]
;
}
__fsid_t
;
typedef
long
int
__clock_t
;
typedef
unsigned
long
int
__rlim_t
;
typedef
unsigned
long
int
__rlim64_t
;
typedef
unsigned
int
__id_t
;
typedef
long
int
__time_t
;
typedef
unsigned
int
__useconds_t
;
typedef
long
int
__suseconds_t
;
typedef
int
__daddr_t
;
typedef
int
__key_t
;
typedef
int
__clockid_t
;
typedef
void
*
__timer_t
;
typedef
int
__blksize_t
;
typedef
long
int
__blkcnt_t
;
typedef
long
int
__blkcnt64_t
;
typedef
unsigned
long
int
__fsblkcnt_t
;
typedef
unsigned
long
int
__fsblkcnt64_t
;
typedef
unsigned
long
int
__fsfilcnt_t
;
typedef
unsigned
long
int
__fsfilcnt64_t
;
typedef
long
int
__fsword_t
;
typedef
long
int
__ssize_t
;
typedef
long
int
__syscall_slong_t
;
typedef
unsigned
long
int
__syscall_ulong_t
;
typedef
__off64_t
__loff_t
;
typedef
char
*
__caddr_t
;
typedef
long
int
__intptr_t
;
typedef
unsigned
int
__socklen_t
;
typedef
int
__sig_atomic_t
;
#
39
"/usr/aarch64-linux-gnu/include/stdio.h"
2
3
#
1
"/usr/aarch64-linux-gnu/include/bits/types/__fpos_t.h"
1
3