From 5c84fd4adbcd8a63cc29fb0286cb46f18abde55c Mon Sep 17 00:00:00 2001 From: xleroy Date: Mon, 29 Apr 2013 17:11:47 +0000 Subject: Expand 64-bit integer comparisons into 32-bit integer comparisons. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2218 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- runtime/test/test_int64.c | 29 ----------------------------- 1 file changed, 29 deletions(-) (limited to 'runtime/test') diff --git a/runtime/test/test_int64.c b/runtime/test/test_int64.c index 49e732ad..0a7dfc45 100644 --- a/runtime/test/test_int64.c +++ b/runtime/test/test_int64.c @@ -50,9 +50,6 @@ 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 int __i64_ucmp(u64 x, u64 y); -extern int __i64_scmp(s64 x, s64 y); - extern double __i64_utod(u64 x); extern double __i64_stod(s64 x); extern u64 __i64_dtou(double d); @@ -140,32 +137,6 @@ static void test1(u64 x, u64 y) if (t != (s64) x >> i) error++, printf("%016llx >>s %d = %016llx, expected %016llx\n", x, i, t, (s64) x >> i); - i = __i64_ucmp(x, y); - if (x == y) { - if (! (i == 0)) - error++, printf("ucmp(%016llx, %016llx) = %d, expected 0\n", x, y, i); - } - else if (x < y) { - if (! (i < 0)) - error++, printf("ucmp(%016llx, %016llx) = %d, expected < 0\n", x, y, i); - } else { - if (! (i > 0)) - error++, printf("ucmp(%016llx, %016llx) = %d, expected > 0\n", x, y, i); - } - - i = __i64_scmp(x, y); - if (x == y) { - if (! (i == 0)) - error++, printf("scmp(%016llx, %016llx) = %d, expected 0\n", x, y, i); - } - else if ((s64)x < (s64)y) { - if (! (i < 0)) - error++, printf("scmp(%016llx, %016llx) = %d, expected < 0\n", x, y, i); - } else { - if (! (i > 0)) - error++, printf("scmp(%016llx, %016llx) = %d, expected > 0\n", x, y, i); - } - f = __i64_utod(x); g = (double) x; if (f != g) -- cgit