Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit 5a846f2a authored by David Monniaux's avatar David Monniaux
Browse files

rm spurious files

parent 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
}
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;
}
# 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
# 1 "/usr/aarch64-linux-gnu/include/bits/types/__mbstate_t.h" 1 3
# 13 "/usr/aarch64-linux-gnu/include/bits/types/__mbstate_t.h" 3
typedef struct
{
int __count;
union
{
unsigned int __wch;
char __wchb[4];
} __value;
} __mbstate_t;
# 6 "/usr/aarch64-linux-gnu/include/bits/types/__fpos_t.h" 2 3