/**************************************************************************/ /* */ /* OCaml */ /* */ /* Xavier Leroy, projet Cristal, INRIA Rocquencourt */ /* */ /* Copyright 1996 Institut National de Recherche en Informatique et */ /* en Automatique. */ /* */ /* All rights reserved. This file is distributed under the terms of */ /* the GNU Lesser General Public License version 2.1, with the */ /* special exception on linking described in the file LICENSE. */ /* */ /**************************************************************************/ #include #include #include #include void caml_ml_array_bound_error(void) { fprintf(stderr, "Fatal error: out-of-bound access in array or string\n"); exit(2); } void print_string(char * s) { fputs(s, stdout); } void printf_int(char * fmt, int arg) { printf(fmt, arg); } #define FLOATTEST(arg,res) \ { double result = (res); \ if (arg < result || arg > result) { \ printf("Failed test \"%s == %s\": " \ "result %.15g, expected %.15g\n", \ #arg, #res, arg, result); \ return(2); \ } \ } #ifdef SORT int cmpint(const void * i, const void * j) { long vi = *((long *) i); long vj = *((long *) j); if (vi == vj) return 0; if (vi < vj) return -1; return 1; } #endif int main(int argc, char **argv) { #ifdef UNIT_INT { extern long FUN(void); extern long call_gen_code(long (*)(void)); printf("%ld\n", call_gen_code(FUN)); } #else if (argc < 2) { fprintf(stderr, "Usage: %s [int arg]\n", argv[0]); exit(2); } #ifdef INT_INT { extern long FUN(long); extern long call_gen_code(long (*)(long), long); printf("%ld\n", call_gen_code(FUN, atoi(argv[1]))); } #endif #ifdef INT_FLOAT { extern double FUN(long); extern double call_gen_code(double (*)(long), long); printf("%f\n", call_gen_code(FUN, atoi(argv[1]))); } #endif #ifdef FLOAT_CATCH { extern double FUN(long); extern double call_gen_code(double (*)(long), long); double result = call_gen_code(FUN, 1); FLOATTEST(result, 1110.0) printf("%f\n", result); } #endif #ifdef SORT { extern void FUN(long, long, long *); extern void call_gen_code(void (*)(long, long, long *), long, long, long *); long n; long * a, * b; long i; srand(argc >= 3 ? atoi(argv[2]) : time((time_t *) 0)); n = atoi(argv[1]); a = (long *) malloc(n * sizeof(long)); for (i = 0 ; i < n; i++) a[i] = rand() & 0xFFF; #ifdef DEBUG for (i = 0; i < n; i++) printf("%ld ", a[i]); printf("\n"); #endif b = (long *) malloc(n * sizeof(long)); for (i = 0; i < n; i++) b[i] = a[i]; call_gen_code(FUN, 0, n-1, a); #ifdef DEBUG for (i = 0; i < n; i++) printf("%ld ", a[i]); printf("\n"); #endif qsort(b, n, sizeof(long), cmpint); for (i = 0; i < n; i++) { if (a[i] != b[i]) { printf("Bug!\n"); return 2; } } printf("OK\n"); } #endif #endif #ifdef CHECKBOUND { extern void checkbound1(long), checkbound2(long, long); extern void call_gen_code(void *, ...); long x, y; x = atoi(argv[1]); if (argc >= 3) { y = atoi(argv[2]); if ((unsigned long) x < (unsigned long) y) printf("Should not trap\n"); else printf("Should trap\n"); call_gen_code(checkbound2, y, x); } else { if (2 < (unsigned long) x) printf("Should not trap\n"); else printf("Should trap\n"); call_gen_code(checkbound1, x); } printf("OK\n"); } #endif return 0; }