diff options
Diffstat (limited to 'runtime/test/test_int64.c')
-rw-r--r-- | runtime/test/test_int64.c | 68 |
1 files changed, 34 insertions, 34 deletions
diff --git a/runtime/test/test_int64.c b/runtime/test/test_int64.c index 58a129b6..0151e22f 100644 --- a/runtime/test/test_int64.c +++ b/runtime/test/test_int64.c @@ -41,21 +41,21 @@ typedef unsigned long long u64; typedef signed long long s64; -extern u64 __i64_udiv(u64 x, u64 y); -extern u64 __i64_umod(u64 x, u64 y); -extern s64 __i64_sdiv(s64 x, s64 y); -extern s64 __i64_smod(s64 x, s64 y); - -extern u64 __i64_shl(u64 x, unsigned amount); -extern u64 __i64_shr(u64 x, unsigned amount); -extern s64 __i64_sar(s64 x, unsigned amount); - -extern double __i64_utod(u64 x); -extern double __i64_stod(s64 x); -extern float __i64_utof(u64 x); -extern float __i64_stof(s64 x); -extern u64 __i64_dtou(double d); -extern s64 __i64_dtos(double d); +extern u64 __compcert_i64_udiv(u64 x, u64 y); +extern u64 __compcert_i64_umod(u64 x, u64 y); +extern s64 __compcert_i64_sdiv(s64 x, s64 y); +extern s64 __compcert_i64_smod(s64 x, s64 y); + +extern u64 __compcert_i64_shl(u64 x, unsigned amount); +extern u64 __compcert_i64_shr(u64 x, unsigned amount); +extern s64 __compcert_i64_sar(s64 x, unsigned amount); + +extern double __compcert_i64_utod(u64 x); +extern double __compcert_i64_stod(s64 x); +extern float __compcert_i64_utof(u64 x); +extern float __compcert_i64_stof(s64 x); +extern u64 __compcert_i64_dtou(double d); +extern s64 __compcert_i64_dtos(double d); static u64 rnd64(void) { @@ -76,11 +76,11 @@ static void test1(u64 x, u64 y) if (y != 0) { - z = __i64_udiv(x, y); + z = __compcert_i64_udiv(x, y); if (z != x / y) error++, printf("%llu /u %llu = %llu, expected %llu\n", x, y, z, x / y); - z = __i64_umod(x, y); + z = __compcert_i64_umod(x, y); if (z != x % y) error++, printf("%llu %%u %llu = %llu, expected %llu\n", x, y, z, x % y); @@ -88,11 +88,11 @@ static void test1(u64 x, u64 y) if (y != 0 && !(x == 0x800000000000LLU && y == -1)) { - t = __i64_sdiv(x, y); + t = __compcert_i64_sdiv(x, y); if (t != (s64) x / (s64) y) error++, printf("%lld /s %lld = %lld, expected %lld\n", x, y, t, (s64) x / (s64) y); - t = __i64_smod(x, y); + t = __compcert_i64_smod(x, y); if (t != (s64) x % (s64) y) error++, printf("%lld %%s %lld = %lld, expected %lld\n", x, y, t, (s64) x % (s64) y); @@ -104,11 +104,11 @@ static void test1(u64 x, u64 y) if (uy != 0) { - z = __i64_udiv(x, uy); + z = __compcert_i64_udiv(x, uy); if (z != x / uy) error++, printf("%llu /u %llu = %llu, expected %llu\n", x, uy, z, x / uy); - z = __i64_umod(x, uy); + z = __compcert_i64_umod(x, uy); if (z != x % uy) error++, printf("%llu %%u %llu = %llu, expected %llu\n", x, uy, z, x % uy); @@ -116,11 +116,11 @@ static void test1(u64 x, u64 y) if (sy != 0 && !(x == 0x800000000000LLU && sy == -1)) { - t = __i64_sdiv(x, sy); + t = __compcert_i64_sdiv(x, sy); if (t != (s64) x / sy) error++, printf("%lld /s %lld = %lld, expected %lld\n", x, sy, t, (s64) x / sy); - t = __i64_smod(x, sy); + t = __compcert_i64_smod(x, sy); if (t != (s64) x % sy) error++, printf("%lld %%s %lld = %lld, expected %lld\n", x, sy, t, (s64) x % sy); @@ -128,59 +128,59 @@ static void test1(u64 x, u64 y) i = y & 63; - z = __i64_shl(x, i); + z = __compcert_i64_shl(x, i); if (z != x << i) error++, printf("%016llx << %d = %016llx, expected %016llx\n", x, i, z, x << i); - z = __i64_shr(x, i); + z = __compcert_i64_shr(x, i); if (z != x >> i) error++, printf("%016llx >>u %d = %016llx, expected %016llx\n", x, i, z, x >> i); - t = __i64_sar(x, i); + t = __compcert_i64_sar(x, i); if (t != (s64) x >> i) error++, printf("%016llx >>s %d = %016llx, expected %016llx\n", x, i, t, (s64) x >> i); - f = __i64_utod(x); + f = __compcert_i64_utod(x); g = (double) x; if (f != g) error++, printf("(double) %llu (u) = %a, expected %a\n", x, f, g); - f = __i64_stod(x); + f = __compcert_i64_stod(x); g = (double) (s64) x; if (f != g) error++, printf("(double) %lld (s) = %a, expected %a\n", x, f, g); - u = __i64_utof(x); + u = __compcert_i64_utof(x); v = (float) x; if (u != v) error++, printf("(float) %llu (u) = %a, expected %a\n", x, u, v); - u = __i64_stof(x); + u = __compcert_i64_stof(x); v = (float) (s64) x; if (u != v) error++, printf("(float) %lld (s) = %a, expected %a\n", x, u, v); f = (double) x; if (f >= 0 && f < 0x1p+64) { - z = __i64_dtou(f); + z = __compcert_i64_dtou(f); if (z != (u64) f) error++, printf("(u64) %a = %llu, expected %llu\n", f, z, (u64) f); } f = (double) (s64) x; if (f >= -0x1p+63 && f < 0x1p+63) { - t = __i64_dtos(f); + t = __compcert_i64_dtos(f); if (t != (s64) f) error++, printf("(s64) %a = %lld, expected %lld\n", f, z, (s64) f); } f = ((double) x) * 0.0001; - z = __i64_dtou(f); + z = __compcert_i64_dtou(f); if (z != (u64) f) error++, printf("(u64) %a = %llu, expected %llu\n", f, z, (u64) f); f = ((double) (s64) x) * 0.0001; - t = __i64_dtos(f); + t = __compcert_i64_dtos(f); if (t != (s64) f) error++, printf("(s64) %a = %lld, expected %lld\n", f, z, (s64) f); } |