test profiling

1 files changed, 747 insertions, 0 deletions

diff --git a/test/monniaux/profiling/test_profiling.i b/test/monniaux/profiling/test_profiling.i
new file mode 100644
index 00000000..35c67916
--- /dev/null
+++ b/test/monniaux/profiling/test_profiling.i
@@ -0,0 +1,747 @@
+# 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
+
+
+
+
+typedef struct _G_fpos_t
+{
+  __off_t __pos;
+  __mbstate_t __state;
+} __fpos_t;
+# 40 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
+# 1 "/usr/aarch64-linux-gnu/include/bits/types/__fpos64_t.h" 1 3
+# 10 "/usr/aarch64-linux-gnu/include/bits/types/__fpos64_t.h" 3
+typedef struct _G_fpos64_t
+{
+  __off64_t __pos;
+  __mbstate_t __state;
+} __fpos64_t;
+# 41 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
+# 1 "/usr/aarch64-linux-gnu/include/bits/types/__FILE.h" 1 3
+
+
+
+struct _IO_FILE;
+typedef struct _IO_FILE __FILE;
+# 42 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
+# 1 "/usr/aarch64-linux-gnu/include/bits/types/FILE.h" 1 3
+
+
+
+struct _IO_FILE;
+
+
+typedef struct _IO_FILE FILE;
+# 43 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
+# 1 "/usr/aarch64-linux-gnu/include/bits/types/struct_FILE.h" 1 3
+# 35 "/usr/aarch64-linux-gnu/include/bits/types/struct_FILE.h" 3
+struct _IO_FILE;
+struct _IO_marker;
+struct _IO_codecvt;
+struct _IO_wide_data;
+
+
+
+
+typedef void _IO_lock_t;
+
+
+
+
+
+struct _IO_FILE
+{
+  int _flags;
+
+
+  char *_IO_read_ptr;
+  char *_IO_read_end;
+  char *_IO_read_base;
+  char *_IO_write_base;
+  char *_IO_write_ptr;
+  char *_IO_write_end;
+  char *_IO_buf_base;
+  char *_IO_buf_end;
+
+
+  char *_IO_save_base;
+  char *_IO_backup_base;
+  char *_IO_save_end;
+
+  struct _IO_marker *_markers;
+
+  struct _IO_FILE *_chain;
+
+  int _fileno;
+  int _flags2;
+  __off_t _old_offset;
+
+
+  unsigned short _cur_column;
+  signed char _vtable_offset;
+  char _shortbuf[1];
+
+  _IO_lock_t *_lock;
+
+
+
+
+
+
+
+  __off64_t _offset;
+
+  struct _IO_codecvt *_codecvt;
+  struct _IO_wide_data *_wide_data;
+  struct _IO_FILE *_freeres_list;
+  void *_freeres_buf;
+  size_t __pad5;
+  int _mode;
+
+  char _unused2[15 * sizeof (int) - 4 * sizeof (void *) - sizeof (size_t)];
+};
+# 44 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
+# 84 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+typedef __fpos_t fpos_t;
+# 133 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+# 1 "/usr/aarch64-linux-gnu/include/bits/stdio_lim.h" 1 3
+# 134 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
+
+
+
+extern FILE *stdin;
+extern FILE *stdout;
+extern FILE *stderr;
+
+
+
+
+
+
+extern int remove (const char *__filename) ;
+
+extern int rename (const char *__old, const char *__new) ;
+# 173 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern FILE *tmpfile (void) ;
+# 187 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern char *tmpnam (char *__s) ;
+# 213 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int fclose (FILE *__stream);
+
+
+
+
+extern int fflush (FILE *__stream);
+# 246 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern FILE *fopen (const char *restrict __filename,
+      const char *restrict __modes) ;
+
+
+
+
+extern FILE *freopen (const char *restrict __filename,
+        const char *restrict __modes,
+        FILE *restrict __stream) ;
+# 304 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern void setbuf (FILE *restrict __stream, char *restrict __buf) ;
+
+
+
+extern int setvbuf (FILE *restrict __stream, char *restrict __buf,
+      int __modes, size_t __n) ;
+# 326 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int fprintf (FILE *restrict __stream,
+      const char *restrict __format, ...);
+
+
+
+
+extern int printf (const char *restrict __format, ...);
+
+extern int sprintf (char *restrict __s,
+      const char *restrict __format, ...) ;
+
+
+
+
+
+extern int vfprintf (FILE *restrict __s, const char *restrict __format,
+       __gnuc_va_list __arg);
+
+
+
+
+extern int vprintf (const char *restrict __format, __gnuc_va_list __arg);
+
+extern int vsprintf (char *restrict __s, const char *restrict __format,
+       __gnuc_va_list __arg) ;
+
+
+
+extern int snprintf (char *restrict __s, size_t __maxlen,
+       const char *restrict __format, ...)
+     ;
+
+extern int vsnprintf (char *restrict __s, size_t __maxlen,
+        const char *restrict __format, __gnuc_va_list __arg)
+     ;
+# 391 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int fscanf (FILE *restrict __stream,
+     const char *restrict __format, ...) ;
+
+
+
+
+extern int scanf (const char *restrict __format, ...) ;
+
+extern int sscanf (const char *restrict __s,
+     const char *restrict __format, ...) ;
+# 416 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int __isoc99_fscanf (FILE *restrict __stream,
+       const char *restrict __format, ...) ;
+extern int __isoc99_scanf (const char *restrict __format, ...) ;
+extern int __isoc99_sscanf (const char *restrict __s,
+       const char *restrict __format, ...) ;
+# 432 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int vfscanf (FILE *restrict __s, const char *restrict __format,
+      __gnuc_va_list __arg)
+     ;
+
+
+
+
+
+extern int vscanf (const char *restrict __format, __gnuc_va_list __arg)
+     ;
+
+
+extern int vsscanf (const char *restrict __s,
+      const char *restrict __format, __gnuc_va_list __arg)
+     ;
+# 465 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int __isoc99_vfscanf (FILE *restrict __s,
+        const char *restrict __format,
+        __gnuc_va_list __arg) ;
+extern int __isoc99_vscanf (const char *restrict __format,
+       __gnuc_va_list __arg) ;
+extern int __isoc99_vsscanf (const char *restrict __s,
+        const char *restrict __format,
+        __gnuc_va_list __arg) ;
+# 485 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int fgetc (FILE *__stream);
+extern int getc (FILE *__stream);
+
+
+
+
+
+extern int getchar (void);
+# 521 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int fputc (int __c, FILE *__stream);
+extern int putc (int __c, FILE *__stream);
+
+
+
+
+
+extern int putchar (int __c);
+# 564 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern char *fgets (char *restrict __s, int __n, FILE *restrict __stream)
+     ;
+# 577 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern char *gets (char *__s) ;
+# 626 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int fputs (const char *restrict __s, FILE *restrict __stream);
+
+
+
+
+
+extern int puts (const char *__s);
+
+
+
+
+
+
+extern int ungetc (int __c, FILE *__stream);
+
+
+
+
+
+
+extern size_t fread (void *restrict __ptr, size_t __size,
+       size_t __n, FILE *restrict __stream) ;
+
+
+
+
+extern size_t fwrite (const void *restrict __ptr, size_t __size,
+        size_t __n, FILE *restrict __s);
+# 684 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int fseek (FILE *__stream, long int __off, int __whence);
+
+
+
+
+extern long int ftell (FILE *__stream) ;
+
+
+
+
+extern void rewind (FILE *__stream);
+# 731 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int fgetpos (FILE *restrict __stream, fpos_t *restrict __pos);
+
+
+
+
+extern int fsetpos (FILE *__stream, const fpos_t *__pos);
+# 757 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern void clearerr (FILE *__stream) ;
+
+extern int feof (FILE *__stream) ;
+
+extern int ferror (FILE *__stream) ;
+# 775 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern void perror (const char *__s);
+
+
+
+
+
+# 1 "/usr/aarch64-linux-gnu/include/bits/sys_errlist.h" 1 3
+# 782 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
+# 858 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+extern int __uflow (FILE *);
+extern int __overflow (FILE *, int);
+# 873 "/usr/aarch64-linux-gnu/include/stdio.h" 3
+
+# 3 "test_profiling.c" 2
+
+
+# 4 "test_profiling.c"
+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;
+}