diff options
Diffstat (limited to 'test')
-rw-r--r-- | test/cminor/Makefile | 2 | ||||
-rw-r--r-- | test/lib/Makefile | 8 | ||||
-rw-r--r-- | test/lib/compcert_stdio.c | 128 | ||||
-rw-r--r-- | test/lib/compcert_stdio.h | 62 | ||||
-rw-r--r-- | test/lib/staticlib.S | 27 |
5 files changed, 1 insertions, 226 deletions
diff --git a/test/cminor/Makefile b/test/cminor/Makefile index bff498c8..1d0af21a 100644 --- a/test/cminor/Makefile +++ b/test/cminor/Makefile @@ -56,7 +56,7 @@ clean:: rm -f manyargs lists: lists.o mainlists.o - $(CC) $(CFLAGS) -o lists lists.o mainlists.o + $(CC) $(CFLAGS) -o lists lists.o mainlists.o -L../../runtime -lcompcert clean:: rm -f lists diff --git a/test/lib/Makefile b/test/lib/Makefile deleted file mode 100644 index 03ba69eb..00000000 --- a/test/lib/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -CFLAGS=-arch ppc -O1 -g -Wall -OBJS=compcert_stdio.o -LIB=libcompcert.a - -$(LIB): $(OBJS) - ar rcs $(LIB) $(OBJS) - -compcert_stdio.o: compcert_stdio.h diff --git a/test/lib/compcert_stdio.c b/test/lib/compcert_stdio.c deleted file mode 100644 index 28c9da4c..00000000 --- a/test/lib/compcert_stdio.c +++ /dev/null @@ -1,128 +0,0 @@ -#include <stdarg.h> -#define INSIDE_COMPCERT_COMPATIBILITY_LIBRARY -#include "compcert_stdio.h" - -compcert_FILE * compcert_stdin = (compcert_FILE *) stdin; -compcert_FILE * compcert_stdout = (compcert_FILE *) stdout; -compcert_FILE * compcert_stderr = (compcert_FILE *) stderr; - -void compcert_clearerr(compcert_FILE * f) -{ - clearerr((FILE *) f); -} - -int compcert_fclose(compcert_FILE * f) -{ - return fclose((FILE *) f); -} - -int compcert_feof(compcert_FILE * f) -{ - return feof((FILE *) f); -} - -int compcert_ferror(compcert_FILE * f) -{ - return ferror((FILE *) f); -} - -int compcert_fflush(compcert_FILE * f) -{ - return fflush((FILE *) f); -} - -int compcert_fgetc(compcert_FILE * f) -{ - return fgetc((FILE *) f); -} - -char *compcert_fgets(char * s, int n, compcert_FILE * f) -{ - return fgets(s, n, (FILE *) f); -} - -compcert_FILE *compcert_fopen(const char * p, const char * m) -{ - return (compcert_FILE *) fopen(p, m); -} - -int compcert_fprintf(compcert_FILE * f, const char * s, ...) -{ - va_list ap; - int retcode; - va_start(ap, s); - retcode = vfprintf((FILE *) f, s, ap); - va_end(ap); - return retcode; -} - -int compcert_fputc(int c, compcert_FILE * f) -{ - return fputc(c, (FILE *) f); -} - -int compcert_fputs(const char * s, compcert_FILE * f) -{ - return fputs(s, (FILE *) f); -} - -size_t compcert_fread(void * s, size_t p, size_t q, compcert_FILE * f) -{ - return fread(s, p, q, (FILE *) f); -} - -compcert_FILE *compcert_freopen(const char * s, const char * m, - compcert_FILE * f) -{ - return (compcert_FILE *) freopen(s, m, (FILE *) f); -} - -int compcert_fscanf(compcert_FILE * f, const char * s, ...) -{ - va_list ap; - int retcode; - va_start(ap, s); - retcode = vfscanf((FILE *) f, s, ap); - va_end(ap); - return retcode; -} - -int compcert_fseek(compcert_FILE * f, long p, int q) -{ - return fseek((FILE *) f, p, q); -} - -long compcert_ftell(compcert_FILE *f) -{ - return ftell((FILE *) f); -} - -size_t compcert_fwrite(const void * b, size_t p, size_t q, compcert_FILE * f) -{ - return fwrite(b, p, q, (FILE *) f); -} - -int compcert_getc(compcert_FILE * f) -{ - return getc((FILE *) f); -} - -int compcert_putc(int c , compcert_FILE * f) -{ - return putc(c, (FILE *) f); -} - -void compcert_rewind(compcert_FILE * f) -{ - rewind((FILE *) f); -} - -int compcert_ungetc(int c, compcert_FILE * f) -{ - return ungetc(c, (FILE *) f); -} - -int compcert_vfprintf(compcert_FILE * f, const char * s, va_list va) -{ - return vfprintf((FILE *) f, s, va); -} diff --git a/test/lib/compcert_stdio.h b/test/lib/compcert_stdio.h deleted file mode 100644 index 761a8935..00000000 --- a/test/lib/compcert_stdio.h +++ /dev/null @@ -1,62 +0,0 @@ -#include <stdio.h> - -typedef struct compcert_FILE_ { void * f; } compcert_FILE; - -extern compcert_FILE * compcert_stdin; -extern compcert_FILE * compcert_stdout; -extern compcert_FILE * compcert_stderr; -extern void compcert_clearerr(compcert_FILE *); -extern int compcert_fclose(compcert_FILE *); -extern int compcert_feof(compcert_FILE *); -extern int compcert_ferror(compcert_FILE *); -extern int compcert_fflush(compcert_FILE *); -extern int compcert_fgetc(compcert_FILE *); -extern char *compcert_fgets(char * , int, compcert_FILE *); -extern compcert_FILE *compcert_fopen(const char * , const char * ); -extern int compcert_fprintf(compcert_FILE * , const char * , ...); -extern int compcert_fputc(int, compcert_FILE *); -extern int compcert_fputs(const char * , compcert_FILE * ); -extern size_t compcert_fread(void * , size_t, size_t, compcert_FILE * ); -extern compcert_FILE *compcert_freopen(const char * , const char * , - compcert_FILE * ); -extern int compcert_fscanf(compcert_FILE * , const char * , ...); -extern int compcert_fseek(compcert_FILE *, long, int); -extern long compcert_ftell(compcert_FILE *); -extern size_t compcert_fwrite(const void * , size_t, size_t, compcert_FILE * ); -extern int compcert_getc(compcert_FILE *); -extern int compcert_putc(int, compcert_FILE *); -extern void compcert_rewind(compcert_FILE *); -extern int compcert_ungetc(int, compcert_FILE *); -extern int compcert_vfprintf(compcert_FILE *, const char *, va_list); - -#ifndef INSIDE_COMPCERT_COMPATIBILITY_LIBRARY -#define FILE compcert_FILE -#undef stdin -#define stdin compcert_stdin -#undef stdout -#define stdout compcert_stdout -#undef stderr -#define stderr compcert_stderr -#define clearerr compcert_clearerr -#define fclose compcert_fclose -#define feof compcert_feof -#define ferror compcert_ferror -#define fflush compcert_fflush -#define fgetc compcert_fgetc -#define fgets compcert_fgets -#define fopen compcert_fopen -#define fprintf compcert_fprintf -#define fputc compcert_fputc -#define fputs compcert_fputs -#define fread compcert_fread -#define freopen compcert_freopen -#define fscanf compcert_fscanf -#define fseek compcert_fseek -#define ftell compcert_ftell -#define fwrite compcert_fwrite -#define getc compcert_getc -#define putc compcert_putc -#define rewind compcert_rewind -#define ungetc compcert_ungetc -#define vfprintf compcert_vfprintf -#endif diff --git a/test/lib/staticlib.S b/test/lib/staticlib.S deleted file mode 100644 index 374c4016..00000000 --- a/test/lib/staticlib.S +++ /dev/null @@ -1,27 +0,0 @@ -/* Work around MacOX shared-library lossage. - (No static version of the C library.) */ - -.macro GLUE - .text - .globl _$0_static -_$0_static: - addis r11, 0, ha16(L$0) - lwz r11, lo16(L$0)(r11) - mtctr r11 - bctr - .non_lazy_symbol_pointer -L$0: - .indirect_symbol _$0 - .long 0 -.endmacro - - GLUE cos - GLUE sin - GLUE atan2 - GLUE asin - GLUE sqrt - GLUE fmod - GLUE fabs - GLUE memcpy - GLUE memset -
\ No newline at end of file |