summaryrefslogtreecommitdiff
path: root/runtime/test/test_int64.c
diff options
context:
space:
mode:
authorGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-04-20 09:41:42 +0000
committerGravatar xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>2013-04-20 09:41:42 +0000
commit1aa06c816cc48767db0546b1671f7a3c2a55d4c5 (patch)
tree2dc47eb0f79ed570d3392fd195c4a485e2cbd2cd /runtime/test/test_int64.c
parent34d015fde1fa0cf02a18a07fc362a75617d94e54 (diff)
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
Diffstat (limited to 'runtime/test/test_int64.c')
-rw-r--r--runtime/test/test_int64.c19
1 files changed, 0 insertions, 19 deletions
diff --git a/runtime/test/test_int64.c b/runtime/test/test_int64.c
index 11adce3..49e732a 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);