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

1 files changed, 0 insertions, 29 deletions

diff --git a/runtime/test/test_int64.c b/runtime/test/test_int64.c
index 49e732a..0a7dfc4 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)