diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-29 17:11:47 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2013-04-29 17:11:47 +0000 |
commit | 5c84fd4adbcd8a63cc29fb0286cb46f18abde55c (patch) | |
tree | 39c5c7057d4a7da0b674d8427a9e8910927859f7 /runtime/test | |
parent | 540bc673fd0e924c20521bb011de56f11c91c493 (diff) | |
download | compcert-5c84fd4adbcd8a63cc29fb0286cb46f18abde55c.tar.gz compcert-5c84fd4adbcd8a63cc29fb0286cb46f18abde55c.zip |
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
Diffstat (limited to 'runtime/test')
-rw-r--r-- | runtime/test/test_int64.c | 29 |
1 files changed, 0 insertions, 29 deletions
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) |