Work on CMPSS and CMPSD ([DYNAREC] too)

3 files changed, 251 insertions, 2 deletions

diff --git a/tests/ref16.txt b/tests/ref16.txt
index 4f5916e0..75b0fa8d 100644
--- a/tests/ref16.txt
+++ b/tests/ref16.txt
@@ -9,3 +9,102 @@ ucomiss nan, 1.000000 => 0x247
 ucomiss 1.000000, 1.000000 => 0x242
 ucomiss inf, inf => 0x242
 ucomiss nan, nan => 0x247
+ucomisd 1.000000, 2.000000 => 0x202
+ucomisd 2.000000, 1.000000 => 0x203
+ucomisd 1.000000, inf => 0x202
+ucomisd inf, 1.000000 => 0x203
+ucomisd 1.000000, -inf => 0x203
+ucomisd -inf, 1.000000 => 0x202
+ucomisd 1.000000, nan => 0x247
+ucomisd nan, 1.000000 => 0x247
+ucomisd 1.000000, 1.000000 => 0x242
+ucomisd inf, inf => 0x242
+ucomisd nan, nan => 0x247
+cmpsd 1.000000, 2.000000, 0 => 0x0
+cmpsd 2.000000, 1.000000, 0 => 0x0
+cmpsd 1.000000, inf, 0 => 0x0
+cmpsd inf, 1.000000, 0 => 0x0
+cmpsd 1.000000, -inf, 0 => 0x0
+cmpsd -inf, 1.000000, 0 => 0x0
+cmpsd 1.000000, nan, 0 => 0x0
+cmpsd nan, 1.000000, 0 => 0x0
+cmpsd 1.000000, 1.000000, 0 => 0xffffffffffffffff
+cmpsd inf, inf, 0 => 0xffffffffffffffff
+cmpsd nan, nan, 0 => 0x0
+cmpsd 1.000000, 2.000000, 1 => 0xffffffffffffffff
+cmpsd 2.000000, 1.000000, 1 => 0x0
+cmpsd 1.000000, inf, 1 => 0xffffffffffffffff
+cmpsd inf, 1.000000, 1 => 0x0
+cmpsd 1.000000, -inf, 1 => 0x0
+cmpsd -inf, 1.000000, 1 => 0xffffffffffffffff
+cmpsd 1.000000, nan, 1 => 0x0
+cmpsd nan, 1.000000, 1 => 0x0
+cmpsd 1.000000, 1.000000, 1 => 0x0
+cmpsd inf, inf, 1 => 0x0
+cmpsd nan, nan, 1 => 0x0
+cmpsd 1.000000, 2.000000, 2 => 0xffffffffffffffff
+cmpsd 2.000000, 1.000000, 2 => 0x0
+cmpsd 1.000000, inf, 2 => 0xffffffffffffffff
+cmpsd inf, 1.000000, 2 => 0x0
+cmpsd 1.000000, -inf, 2 => 0x0
+cmpsd -inf, 1.000000, 2 => 0xffffffffffffffff
+cmpsd 1.000000, nan, 2 => 0x0
+cmpsd nan, 1.000000, 2 => 0x0
+cmpsd 1.000000, 1.000000, 2 => 0xffffffffffffffff
+cmpsd inf, inf, 2 => 0xffffffffffffffff
+cmpsd nan, nan, 2 => 0x0
+cmpsd 1.000000, 2.000000, 3 => 0x0
+cmpsd 2.000000, 1.000000, 3 => 0x0
+cmpsd 1.000000, inf, 3 => 0x0
+cmpsd inf, 1.000000, 3 => 0x0
+cmpsd 1.000000, -inf, 3 => 0x0
+cmpsd -inf, 1.000000, 3 => 0x0
+cmpsd 1.000000, nan, 3 => 0xffffffffffffffff
+cmpsd nan, 1.000000, 3 => 0xffffffffffffffff
+cmpsd 1.000000, 1.000000, 3 => 0x0
+cmpsd inf, inf, 3 => 0x0
+cmpsd nan, nan, 3 => 0xffffffffffffffff
+cmpsd 1.000000, 2.000000, 4 => 0xffffffffffffffff
+cmpsd 2.000000, 1.000000, 4 => 0xffffffffffffffff
+cmpsd 1.000000, inf, 4 => 0xffffffffffffffff
+cmpsd inf, 1.000000, 4 => 0xffffffffffffffff
+cmpsd 1.000000, -inf, 4 => 0xffffffffffffffff
+cmpsd -inf, 1.000000, 4 => 0xffffffffffffffff
+cmpsd 1.000000, nan, 4 => 0xffffffffffffffff
+cmpsd nan, 1.000000, 4 => 0xffffffffffffffff
+cmpsd 1.000000, 1.000000, 4 => 0x0
+cmpsd inf, inf, 4 => 0x0
+cmpsd nan, nan, 4 => 0xffffffffffffffff
+cmpsd 1.000000, 2.000000, 5 => 0x0
+cmpsd 2.000000, 1.000000, 5 => 0xffffffffffffffff
+cmpsd 1.000000, inf, 5 => 0x0
+cmpsd inf, 1.000000, 5 => 0xffffffffffffffff
+cmpsd 1.000000, -inf, 5 => 0xffffffffffffffff
+cmpsd -inf, 1.000000, 5 => 0x0
+cmpsd 1.000000, nan, 5 => 0xffffffffffffffff
+cmpsd nan, 1.000000, 5 => 0xffffffffffffffff
+cmpsd 1.000000, 1.000000, 5 => 0xffffffffffffffff
+cmpsd inf, inf, 5 => 0xffffffffffffffff
+cmpsd nan, nan, 5 => 0xffffffffffffffff
+cmpsd 1.000000, 2.000000, 6 => 0x0
+cmpsd 2.000000, 1.000000, 6 => 0xffffffffffffffff
+cmpsd 1.000000, inf, 6 => 0x0
+cmpsd inf, 1.000000, 6 => 0xffffffffffffffff
+cmpsd 1.000000, -inf, 6 => 0xffffffffffffffff
+cmpsd -inf, 1.000000, 6 => 0x0
+cmpsd 1.000000, nan, 6 => 0xffffffffffffffff
+cmpsd nan, 1.000000, 6 => 0xffffffffffffffff
+cmpsd 1.000000, 1.000000, 6 => 0x0
+cmpsd inf, inf, 6 => 0x0
+cmpsd nan, nan, 6 => 0xffffffffffffffff
+cmpsd 1.000000, 2.000000, 7 => 0xffffffffffffffff
+cmpsd 2.000000, 1.000000, 7 => 0xffffffffffffffff
+cmpsd 1.000000, inf, 7 => 0xffffffffffffffff
+cmpsd inf, 1.000000, 7 => 0xffffffffffffffff
+cmpsd 1.000000, -inf, 7 => 0xffffffffffffffff
+cmpsd -inf, 1.000000, 7 => 0xffffffffffffffff
+cmpsd 1.000000, nan, 7 => 0x0
+cmpsd nan, 1.000000, 7 => 0x0
+cmpsd 1.000000, 1.000000, 7 => 0xffffffffffffffff
+cmpsd inf, inf, 7 => 0xffffffffffffffff
+cmpsd nan, nan, 7 => 0x0
diff --git a/tests/test16 b/tests/test16
index af645769..6f9a4b30 100755
--- a/tests/test16
+++ b/tests/test16
Binary files differdiff --git a/tests/test16.c b/tests/test16.c
index 2b312834..4096de18 100644
--- a/tests/test16.c
+++ b/tests/test16.c
@@ -5,6 +5,7 @@
 #include <stdint.h>
 #include <math.h>
 
+#if defined(__x86_64__)
 uint64_t _ucomiss_(float a, float b)
 {
     uint64_t ret;
@@ -13,11 +14,65 @@ uint64_t _ucomiss_(float a, float b)
     "pushf\n"
     "pop %%rax"
     :"=a" (ret)::"xmm0","xmm1","cc");
-
     return ret;
 }
+uint64_t _ucomisd_(double a, double b)
+{
+    uint64_t ret;
+    asm volatile (
+    "ucomisd %%xmm0, %%xmm1\n"
+    "pushf\n"
+    "pop %%rax"
+    :"=a" (ret)::"xmm0","xmm1","cc");
+    return ret;
+}
+#define GO(n) \
+uint64_t _cmpsd_##n##_(double a, double b) \
+{ \
+    uint64_t ret; \
+    asm volatile ( \
+    "cmpsd $" #n ", %%xmm1, %%xmm0\n" \
+    "movq %%xmm0, %%rax" \
+    :"=a" (ret)::"xmm0","xmm1","cc"); \
+    return ret; \
+}
+GO(0)
+GO(1)
+GO(2)
+GO(3)
+GO(4)
+GO(5)
+GO(6)
+GO(7)
+#undef GO
+#else
+uint64_t _ucomiss_(float a, float b)
+{
+    uint32_t ret;
+    asm volatile (
+    "movss %1, %%xmm0\n"
+    "movss %2, %%xmm1\n"
+    "ucomiss %%xmm0, %%xmm1\n"
+    "pushf\n"
+    "pop %%eax"
+    :"=a" (ret):"m"(a), "m"(b):"xmm0", "xmm1", "cc");
+    return ret;
+}
+uint64_t _ucomisd_(double a, double b)
+{
+    uint32_t ret;
+    asm volatile (
+    "movsd %1, %%xmm0\n"
+    "movsd %2, %%xmm1\n"
+    "ucomisd %%xmm0, %%xmm1\n"
+    "pushf\n"
+    "pop %%eax"
+    :"=a" (ret):"m"(a), "m"(b):"xmm0", "xmm1", "cc");
+    return ret;
+}
+#endif
 
-int main(int argc, const char** argv)
+void test_ucomiss()
 {
  float a, b;
  uint64_t flags;
@@ -50,6 +105,101 @@ int main(int argc, const char** argv)
  a = b = NAN;
  flags = _ucomiss_(a, b);
  printf("ucomiss %f, %f => 0x%lx\n", a, b, flags);
+}
+
+void test_ucomisd()
+{
+ double a, b;
+ uint64_t flags;
+ a = 1.0; b = 2.0;
+ flags = _ucomisd_(a, b);
+ printf("ucomisd %f, %f => 0x%lx\n", a, b, flags);
+ flags = _ucomisd_(b, a);
+ printf("ucomisd %f, %f => 0x%lx\n", b, a, flags);
+ b = INFINITY;
+ flags = _ucomisd_(a, b);
+ printf("ucomisd %f, %f => 0x%lx\n", a, b, flags);
+ flags = _ucomisd_(b, a);
+ printf("ucomisd %f, %f => 0x%lx\n", b, a, flags);
+ b = -INFINITY;
+ flags = _ucomisd_(a, b);
+ printf("ucomisd %f, %f => 0x%lx\n", a, b, flags);
+ flags = _ucomisd_(b, a);
+ printf("ucomisd %f, %f => 0x%lx\n", b, a, flags);
+ b = NAN;
+ flags = _ucomisd_(a, b);
+ printf("ucomisd %f, %f => 0x%lx\n", a, b, flags);
+ flags = _ucomisd_(b, a);
+ printf("ucomisd %f, %f => 0x%lx\n", b, a, flags);
+ b = a;
+ flags = _ucomisd_(a, b);
+ printf("ucomisd %f, %f => 0x%lx\n", a, b, flags);
+ a = b = INFINITY;
+ flags = _ucomisd_(a, b);
+ printf("ucomisd %f, %f => 0x%lx\n", a, b, flags);
+ a = b = NAN;
+ flags = _ucomisd_(a, b);
+ printf("ucomisd %f, %f => 0x%lx\n", a, b, flags);
+}
+#if defined(__x86_64__)
+#define GO(n) \
+void test_cmpsd_##n() \
+{ \
+ double a, b; \
+ uint64_t flags; \
+ a = 1.0; b = 2.0; \
+ flags = _cmpsd_##n##_(a, b); \
+ printf("cmpsd %f, %f, " #n " => 0x%lx\n", a, b, flags); \
+ flags = _cmpsd_##n##_(b, a); \
+ printf("cmpsd %f, %f, " #n " => 0x%lx\n", b, a, flags); \
+ b = INFINITY; \
+ flags = _cmpsd_##n##_(a, b); \
+ printf("cmpsd %f, %f, " #n " => 0x%lx\n", a, b, flags); \
+ flags = _cmpsd_##n##_(b, a); \
+ printf("cmpsd %f, %f, " #n " => 0x%lx\n", b, a, flags); \
+ b = -INFINITY; \
+ flags = _cmpsd_##n##_(a, b); \
+ printf("cmpsd %f, %f, " #n " => 0x%lx\n", a, b, flags); \
+ flags = _cmpsd_##n##_(b, a); \
+ printf("cmpsd %f, %f, " #n " => 0x%lx\n", b, a, flags); \
+ b = NAN; \
+ flags = _cmpsd_##n##_(a, b); \
+ printf("cmpsd %f, %f, " #n " => 0x%lx\n", a, b, flags); \
+ flags = _cmpsd_##n##_(b, a); \
+ printf("cmpsd %f, %f, " #n " => 0x%lx\n", b, a, flags); \
+ b = a; \
+ flags = _cmpsd_##n##_(a, b); \
+ printf("cmpsd %f, %f, " #n " => 0x%lx\n", a, b, flags); \
+ a = b = INFINITY; \
+ flags = _cmpsd_##n##_(a, b); \
+ printf("cmpsd %f, %f, " #n " => 0x%lx\n", a, b, flags); \
+ a = b = NAN; \
+ flags = _cmpsd_##n##_(a, b); \
+ printf("cmpsd %f, %f, " #n " => 0x%lx\n", a, b, flags); \
+}
+GO(0)
+GO(1)
+GO(2)
+GO(3)
+GO(4)
+GO(5)
+GO(6)
+GO(7)
+#endif
+int main(int argc, const char** argv)
+{
+ test_ucomiss();
+ test_ucomisd();
+ #if defined(__x86_64__)
+ test_cmpsd_0();
+ test_cmpsd_1();
+ test_cmpsd_2();
+ test_cmpsd_3();
+ test_cmpsd_4();
+ test_cmpsd_5();
+ test_cmpsd_6();
+ test_cmpsd_7();
+ #endif
 
  return 0;
 }