/* Generated by CIL v. 1.7.0 */ /* print_CIL_Input is false */ struct __sFILEX; enum _1_fib_$op; union _1_fib_$node; struct __sFILE; struct __sbuf; struct timespec; struct timeval; extern int pthread_cond_signal(int *cond ) ; extern void exit(int status ) ; typedef long long __int64_t; extern int fclose(void *stream ) ; extern int fseek(struct __sFILE *stream , long offs , int whence ) ; extern int close(int filedes ) ; typedef struct __sFILE FILE; extern int __swbuf(int , FILE * ) ; extern int pthread_create(void *thread , void *attr , void *start_routine , void *arg ) ; char **_global_argv = (char **)0; extern void *dlsym(void *handle , char *symbol ) ; extern int unlink(char const *filename ) ; extern int fcntl(int filedes , int cmd , ...) ; extern int pthread_mutex_lock(int *mutex ) ; struct timeval { long tv_sec ; int tv_usec ; }; extern int pthread_cond_init(int *cond , int *attr ) ; extern unsigned long strtoul(char const *str , char const *endptr , int base ) ; typedef __int64_t __darwin_off_t; extern int raise(int sig ) ; enum _1_fib_$op { _1_fib__local$result_REG_0$value_LIT_1__load_int$result_STA_0$left_REG_0 = 253, _1_fib__store_int$right_REG_0$left_REG_1__local$result_STA_0$value_LIT_0__constant_int$value_LIT_0$result_REG_1__store_int$left_STA_0$right_REG_0 = 117, _1_fib__call$func_LIT_0 = 153, _1_fib__goto$label_LAB_0 = 122, _1_fib__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__constant_int$value_LIT_0$result_REG_1__store_int$right_REG_0$left_REG_1__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__constant_int$value_LIT_0$result_REG_1__store_int$right_REG_0$left_REG_1__local$result_REG_0$value_LIT_1__constant_int$value_LIT_0$result_REG_1 = 85, _1_fib__returnVoid$ = 199, _1_fib__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__PlusA_int_int2int$left_STA_0$result_REG_0$right_REG_1 = 169, _1_fib__formal$result_REG_0$value_LIT_1 = 53, _1_fib__store_int$right_REG_0$left_REG_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__local$result_REG_0$value_LIT_1 = 97, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__Lt_int_int2int$left_STA_0$result_STA_0$right_REG_0__branchIfTrue$expr_STA_0$label_LAB_0 = 76, _1_fib__load_int$result_STA_0$left_REG_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_REG_0$value_LIT_1__local$result_REG_0$value_LIT_1__load_int$result_STA_0$left_REG_0__convert_int2int$left_STA_0$result_REG_0__store_int$right_REG_0$left_REG_1 = 175, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_REG_0$value_LIT_1__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__constant_int$value_LIT_0$result_REG_1__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0__convert_int2int$left_STA_0$result_REG_0 = 116, _1_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__string$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__convert_void_star2void_star$left_STA_0$result_REG_0__store_void_star$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0 = 225, _1_fib__store_int$right_REG_0$left_REG_1 = 87 } ; unsigned char _1_fib_$array[1][404] = { { _1_fib__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__constant_int$value_LIT_0$result_REG_1__store_int$right_REG_0$left_REG_1__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__constant_int$value_LIT_0$result_REG_1__store_int$right_REG_0$left_REG_1__local$result_REG_0$value_LIT_1__constant_int$value_LIT_0$result_REG_1, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)12, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$right_REG_0$left_REG_1__local$result_STA_0$value_LIT_0__constant_int$value_LIT_0$result_REG_1__store_int$left_STA_0$right_REG_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)16, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_REG_0$value_LIT_1__load_int$result_STA_0$left_REG_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)16, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__formal$result_REG_0$value_LIT_1, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__Lt_int_int2int$left_STA_0$result_STA_0$right_REG_0__branchIfTrue$expr_STA_0$label_LAB_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)26, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__goto$label_LAB_0, (unsigned char)162, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__PlusA_int_int2int$left_STA_0$result_REG_0$right_REG_1, (unsigned char)12, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)3, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)3, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$right_REG_0$left_REG_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__local$result_REG_0$value_LIT_1, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)8, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)12, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_REG_0$value_LIT_1__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__constant_int$value_LIT_0$result_REG_1__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0__convert_int2int$left_STA_0$result_REG_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)16, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)16, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__store_int$right_REG_0$left_REG_1, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__goto$label_LAB_0, (unsigned char)58, (unsigned char)255, (unsigned char)255, (unsigned char)255, _1_fib__goto$label_LAB_0, (unsigned char)53, (unsigned char)255, (unsigned char)255, (unsigned char)255, _1_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__string$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__convert_void_star2void_star$left_STA_0$result_REG_0__store_void_star$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)24, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)32, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__formal$result_REG_0$value_LIT_1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__load_int$result_STA_0$left_REG_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_REG_0$value_LIT_1__local$result_REG_0$value_LIT_1__load_int$result_STA_0$left_REG_0__convert_int2int$left_STA_0$result_REG_0__store_int$right_REG_0$left_REG_1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)36, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)12, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)2, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__call$func_LIT_0, (unsigned char)1, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__goto$label_LAB_0, (unsigned char)4, (unsigned char)0, (unsigned char)0, (unsigned char)0, _1_fib__returnVoid$}}; extern void abort() ; extern int atoi(char const *s ) ; void fac(int n ) ; extern void *malloc(unsigned long size ) ; extern double ceil(double x ) ; extern int getpagesize() ; extern int posix_memalign(void **memptr , unsigned long alignment , unsigned long size ) ; extern int pthread_cond_broadcast(int *cond ) ; extern int pthread_join(void *thread , void **value_ptr ) ; extern int rand() ; extern int pthread_barrier_destroy(int *barrier ) ; extern void free(void *ptr ) ; char const *_1_fib_$strings = "fib(%i)=%i\n\000"; extern unsigned long strlen(char const *s ) ; extern int ptrace(int request , void *pid , void *addr , int data ) ; int main(int argc , char **argv , char **_formal_envp ) ; extern long write(int filedes , void *buf , unsigned long nbyte ) ; typedef long __darwin_time_t; struct timespec { __darwin_time_t tv_sec ; long tv_nsec ; }; extern long strtol(char const *str , char const *endptr , int base ) ; extern int gettimeofday(struct timeval *tv , void *tz ) ; int _global_argc = 0; char **_global_envp = (char **)0; void megaInit(void) ; extern int fscanf(struct __sFILE *stream , char const *format , ...) ; extern int ( /* format attribute */ printf)(char const * __restrict , ...) ; void fib(int n ) ; extern long clock(void) ; extern int scanf(char const *format , ...) ; extern void perror(char const *str ) ; extern int mprotect(void *addr , unsigned long len , int prot ) ; extern int pthread_barrier_init(int *barrier , int *attr , unsigned int count ) ; extern int nanosleep(struct timespec const *__rqtp , struct timespec *__rmtp ) __asm__("_nanosleep") ; extern long read(int filedes , void *buf , unsigned long nbyte ) ; extern int pthread_mutex_unlock(int *mutex ) ; typedef __darwin_off_t fpos_t; extern int pthread_cond_wait(int *cond , int *mutex ) ; extern float strtof(char const *str , char const *endptr ) ; extern int gethostname(char *name , unsigned long namelen ) ; struct __sbuf { unsigned char *_base ; int _size ; }; struct __sFILE { unsigned char *_p ; int _r ; int _w ; short _flags ; short _file ; struct __sbuf _bf ; int _lbfsize ; void *_cookie ; int (*_close)(void * ) ; int (*_read)(void * , char * , int ) ; fpos_t (*_seek)(void * , fpos_t , int ) ; int (*_write)(void * , char const * , int ) ; struct __sbuf _ub ; struct __sFILEX *_extra ; int _ur ; unsigned char _ubuf[3] ; unsigned char _nbuf[1] ; struct __sbuf _lb ; int _blksize ; fpos_t _offset ; }; extern void qsort(void *base , unsigned long nel , unsigned long width , int (*compar)(void *a , void *b ) ) ; extern unsigned long strnlen(char const *s , unsigned long maxlen ) ; extern double strtod(char const *str , char const *endptr ) ; extern int pthread_mutex_init(int *mutex , int *attr ) ; extern int strcmp(char const *a , char const *b ) ; extern void *fopen(char const *filename , char const *mode ) ; extern double difftime(long tv1 , long tv0 ) ; extern void signal(int sig , void *func ) ; extern long time(long *tloc ) ; __inline int ( __attribute__((__always_inline__)) __sputc)(int _c , FILE *_p ) ; extern int fprintf(struct __sFILE *stream , char const *format , ...) ; union _1_fib_$node { void *_void_star ; unsigned long long _unsigned_long_long ; long long _long_long ; unsigned long _unsigned_long ; long _long ; unsigned short _unsigned_short ; short _short ; unsigned int _unsigned_int ; int _int ; unsigned char _unsigned_char ; signed char _signed_char ; char _char ; }; extern int strncmp(char const *s1 , char const *s2 , unsigned long maxlen ) ; extern double sqrt(double x ) ; extern int open(char const *filename , int oflag , ...) ; extern int pthread_barrier_wait(int *barrier ) ; extern double log(double x ) ; extern int snprintf(char *str , unsigned long size , char const *format , ...) ; extern void *memcpy(void *s1 , void const *s2 , unsigned long size ) ; void megaInit(void) { { } } void fib(int n ) { char _1_fib_$locals[40] ; union _1_fib_$node _1_fib_$stack[1][32] ; union _1_fib_$node *_1_fib_$sp[1] ; union _1_fib_$node _1_fib_$regs[1][5] ; unsigned char *_1_fib_$pc[1] ; { _1_fib_$sp[0] = _1_fib_$stack[0]; _1_fib_$pc[0] = _1_fib_$array[0]; while (1) { switch (*(_1_fib_$pc[0])) { case _1_fib__load_int$result_STA_0$left_REG_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_REG_0$value_LIT_1__local$result_REG_0$value_LIT_1__load_int$result_STA_0$left_REG_0__convert_int2int$left_STA_0$result_REG_0__store_int$right_REG_0$left_REG_1: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 4))]._int = *((int *)_1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star); *((int *)(_1_fib_$sp[0] + 0)->_void_star) = _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 8))]._int; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 12))]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 16))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 20))]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 24))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 32))]._int = *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 28))]._void_star); *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 40))]._void_star) = _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 36))]._int; (_1_fib_$sp[0]) --; _1_fib_$pc[0] += 44; break; case _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__Lt_int_int2int$left_STA_0$result_STA_0$right_REG_0__branchIfTrue$expr_STA_0$label_LAB_0: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 4))]._int = *((int *)_1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star); if ((_1_fib_$sp[0] + 0)->_int < _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 8))]._int) { _1_fib_$pc[0] += *((int *)(_1_fib_$pc[0] + 12)); } else { _1_fib_$pc[0] += 16; } (_1_fib_$sp[0]) --; break; case _1_fib__store_int$right_REG_0$left_REG_1__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0__local$result_REG_0$value_LIT_1: (_1_fib_$pc[0]) ++; *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 4))]._void_star) = _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._int; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 8))]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 12))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 20))]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 24))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 32))]._int = *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 28))]._void_star); *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 16))]._void_star) = _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 36))]._int; (_1_fib_$sp[0] + 1)->_void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 40))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 44))]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 48))); (_1_fib_$sp[0]) ++; _1_fib_$pc[0] += 52; break; case _1_fib__goto$label_LAB_0: (_1_fib_$pc[0]) ++; _1_fib_$pc[0] += *((int *)_1_fib_$pc[0]); break; case _1_fib__formal$result_REG_0$value_LIT_1: (_1_fib_$pc[0]) ++; switch (*((int *)(_1_fib_$pc[0] + 4))) { case 0: _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star = (void *)(& n); break; } _1_fib_$pc[0] += 8; break; case _1_fib__local$result_REG_0$value_LIT_1__load_int$result_STA_0$left_REG_0: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 4))); (_1_fib_$sp[0] + 1)->_int = *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 8))]._void_star); (_1_fib_$sp[0]) ++; _1_fib_$pc[0] += 12; break; case _1_fib__call$func_LIT_0: (_1_fib_$pc[0]) ++; switch (*((int *)_1_fib_$pc[0])) { case 1: printf(*((char const * __restrict *)(_1_fib_$locals + 24)), *((int *)(_1_fib_$locals + 32)), *((int *)(_1_fib_$locals + 36))); break; } _1_fib_$pc[0] += 4; break; case _1_fib__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__string$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__convert_void_star2void_star$left_STA_0$result_REG_0__store_void_star$left_STA_0$right_REG_0__local$result_STA_0$value_LIT_0: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 4))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 12))]._void_star = (void *)(_1_fib_$strings + *((int *)(_1_fib_$pc[0] + 16))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 24))]._void_star = _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 20))]._void_star; *((void **)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 8))]._void_star) = _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 28))]._void_star; (_1_fib_$sp[0] + 1)->_void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 32))); (_1_fib_$sp[0]) ++; _1_fib_$pc[0] += 36; break; case _1_fib__store_int$right_REG_0$left_REG_1: (_1_fib_$pc[0]) ++; *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 4))]._void_star) = _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._int; _1_fib_$pc[0] += 8; break; case _1_fib__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__constant_int$value_LIT_0$result_REG_1__store_int$right_REG_0$left_REG_1__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__constant_int$value_LIT_0$result_REG_1__store_int$right_REG_0$left_REG_1__local$result_REG_0$value_LIT_1__constant_int$value_LIT_0$result_REG_1: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 4))]._void_star = (void *)(_1_fib_$locals + *((int *)_1_fib_$pc[0])); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 12))]._int = *((int *)(_1_fib_$pc[0] + 8)); *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 20))]._void_star) = _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 16))]._int; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 28))]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 24))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 36))]._int = *((int *)(_1_fib_$pc[0] + 32)); *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 44))]._void_star) = _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 40))]._int; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 48))]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 52))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 60))]._int = *((int *)(_1_fib_$pc[0] + 56)); _1_fib_$pc[0] += 64; break; case _1_fib__local$result_STA_0$value_LIT_0__convert_void_star2void_star$left_STA_0$result_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__local$result_REG_0$value_LIT_1__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__PlusA_int_int2int$left_STA_0$result_REG_0$right_REG_1: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 4))]._void_star = (void *)(_1_fib_$locals + *((int *)_1_fib_$pc[0])); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 8))]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 12))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 20))]._int = *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 16))]._void_star); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 24))]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 28))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 36))]._int = *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 32))]._void_star) + _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 40))]._int; _1_fib_$pc[0] += 44; break; case _1_fib__convert_void_star2void_star$result_STA_0$left_REG_0__load_int$left_STA_0$result_STA_0__convert_int2int$left_STA_0$result_REG_0__store_int$left_STA_0$right_REG_0__local$result_REG_0$value_LIT_1__local$result_STA_0$value_LIT_0__load_int$left_STA_0$result_STA_0__constant_int$value_LIT_0$result_REG_1__PlusA_int_int2int$left_STA_0$result_STA_0$right_REG_0__convert_int2int$left_STA_0$result_REG_0: (_1_fib_$pc[0]) ++; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 4))]._int = *((int *)_1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._void_star); *((int *)(_1_fib_$sp[0] + 0)->_void_star) = _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 8))]._int; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 12))]._void_star = (void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 16))); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 28))]._int = *((int *)(_1_fib_$pc[0] + 24)); _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 36))]._int = *((int *)((void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 20))))) + _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 32))]._int; (_1_fib_$sp[0]) --; _1_fib_$pc[0] += 40; break; case _1_fib__store_int$right_REG_0$left_REG_1__local$result_STA_0$value_LIT_0__constant_int$value_LIT_0$result_REG_1__store_int$left_STA_0$right_REG_0: (_1_fib_$pc[0]) ++; *((int *)_1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 4))]._void_star) = _1_fib_$regs[0][*((int *)_1_fib_$pc[0])]._int; _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 16))]._int = *((int *)(_1_fib_$pc[0] + 12)); *((int *)((void *)(_1_fib_$locals + *((int *)(_1_fib_$pc[0] + 8))))) = _1_fib_$regs[0][*((int *)(_1_fib_$pc[0] + 20))]._int; _1_fib_$pc[0] += 24; break; case _1_fib__returnVoid$: (_1_fib_$pc[0]) ++; return; break; } } } } __inline int ( __attribute__((__always_inline__)) __sputc)(int _c , FILE *_p ) { unsigned char *tmp ; unsigned char tmp___0 ; int tmp___1 ; { (_p->_w) --; if (_p->_w >= 0) { tmp = _p->_p; (_p->_p) ++; tmp___0 = (unsigned char )_c; *tmp = tmp___0; return ((int )tmp___0); } else if (_p->_w >= _p->_lbfsize) { if ((int )((char )_c) != 10) { tmp = _p->_p; (_p->_p) ++; tmp___0 = (unsigned char )_c; *tmp = tmp___0; return ((int )tmp___0); } else { tmp___1 = __swbuf(_c, _p); return (tmp___1); } } else { tmp___1 = __swbuf(_c, _p); return (tmp___1); } } } void fac(int n ) { int s ; int i ; { s = 1; i = 2; while (i <= n) { s *= i; i ++; } printf((char const */* __restrict */)"fac(%i)=%i\n", n, s); return; } } int main(int argc , char **argv , char **_formal_envp ) { { megaInit(); _global_argc = argc; _global_argv = argv; _global_envp = _formal_envp; fac(1); fib(1); fac(5); fib(5); fac(10); fib(10); return (0); } }