From 1aa06c816cc48767db0546b1671f7a3c2a55d4c5 Mon Sep 17 00:00:00 2001 From: xleroy Date: Sat, 20 Apr 2013 09:41:42 +0000 Subject: Remove __i64_{neg,add,sub,mul}, now handled directly by the compiler. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2204 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- runtime/test/test_int64.c | 19 ------------------- 1 file changed, 19 deletions(-) (limited to 'runtime/test/test_int64.c') diff --git a/runtime/test/test_int64.c b/runtime/test/test_int64.c index 11adce32..49e732ad 100644 --- a/runtime/test/test_int64.c +++ b/runtime/test/test_int64.c @@ -41,10 +41,6 @@ typedef unsigned long long u64; typedef signed long long s64; -extern s64 __i64_neg(s64 x); -extern s64 __i64_add(s64 x, s64 y); -extern s64 __i64_sub(s64 x, s64 y); -extern s64 __i64_mul(s64 x, s64 y); extern u64 __i64_udiv(u64 x, u64 y); extern u64 __i64_umod(u64 x, u64 y); extern s64 __i64_sdiv(s64 x, s64 y); @@ -78,21 +74,6 @@ static void test1(u64 x, u64 y) int i; double f, g; - z = __i64_neg(x); - if (z != -x) - error++, printf("- %016llx = %016llx, expected %016llx\n", x, z, -x); - z = __i64_add(x, y); - if (z != x + y) - error++, printf("%016llx + %016llx = %016llx, expected %016llx\n", x, y, z, x + y); - - z = __i64_sub(x, y); - if (z != x - y) - error++, printf("%016llx - %016llx = %016llx, expected %016llx\n", x, y, z, x - y); - - z = __i64_mul(x, y); - if (z != x * y) - error++, printf("%016llx * %016llx = %016llx, expected %016llx\n", x, y, z, x * y); - if (y != 0) { z = __i64_udiv(x, y); -- cgit