fix 302918 Enable testing of the vmaddfp and vnsubfp instructions in the testsuite

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@12718

diff --git a/NEWS b/NEWS
index 964473e03d9c2427c3d2f206a6ce76e73c4832f8..eb4d93abfe7724cf750fb147701820acbe5c43b8 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -223,7 +223,7 @@ n-i-bz  Fix assert in gdbserver for watchpoints watching the same address
 302656  Unhandled instruction (vcvtsi2ssq)
         == 273475 (canonical avx)
 302709  valgrind for ARM needs extra tls support for android emulator under Linux
-
+302918  Enable testing of the vmaddfp and vnsubfp instructions in the testsuite
 
 Release 3.7.0 (5 November 2011)
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

diff --git a/docs/internals/3_7_BUGSTATUS.txt b/docs/internals/3_7_BUGSTATUS.txt
index 02728fd7153e2de85bfb22feca5e21d194327c10..a501d434bc66b175751ba707be6d1601391c5c5e 100644 (file)
--- a/docs/internals/3_7_BUGSTATUS.txt
+++ b/docs/internals/3_7_BUGSTATUS.txt
@@ -318,8 +318,4 @@ get fixed.
 302901  Valgrind crashes with dwz optimized debuginfo
   **possible 3.8.0, has patch, should take
 
-302918  Enable testing of the vmaddfp and vnsubfp instructions in
-        the testsuite
-  **possible 3.8.0, has patch, should take.
-
 -- Thurs 5 July 2012, mid afternoon.

diff --git a/none/tests/ppc32/jm-insns.c b/none/tests/ppc32/jm-insns.c
index 760ea05d9e818a80d7ac6779ee92611844c4f3aa..023ab9aac7c729e3fdd851731f6e96c100180ff8 100644 (file)
--- a/none/tests/ppc32/jm-insns.c
+++ b/none/tests/ppc32/jm-insns.c
@@ -3115,7 +3115,7 @@ static test_t tests_ast_ops_three[] = {
 #endif /* defined (HAS_ALTIVEC) */
 
 #if defined (HAS_ALTIVEC)
-#if 0
+#if 1
 static void test_vmaddfp (void)
 {
     __asm__ __volatile__ ("vmaddfp      17, 14, 15, 16");
@@ -3128,8 +3128,8 @@ static void test_vnmsubfp (void)
 #endif
 
 static test_t tests_afa_ops_three[] = {
-//    { &test_vmaddfp         , "     vmaddfp", },   // TODO: Not yet supported
-//    { &test_vnmsubfp        , "    vnmsubfp", },   // TODO: Not yet supported
+    { &test_vmaddfp         , "     vmaddfp", },
+    { &test_vnmsubfp        , "    vnmsubfp", },
     { NULL,                   NULL,           },
 };
 #endif /* defined (HAS_ALTIVEC) */
@@ -4097,16 +4097,16 @@ static test_table_t all_tests[] = {
 #endif /* defined (HAS_ALTIVEC) */
 #if defined (HAS_ALTIVEC)
     {
-        tests_afa_ops_three   ,
-        "Altivec floating point arith insns with three args",
-        0x00050103,
+        tests_afa_ops_two     ,
+        "Altivec floating point arith insns with two args",
+        0x00050102,
     },
 #endif /* defined (HAS_ALTIVEC) */
 #if defined (HAS_ALTIVEC)
     {
-        tests_afa_ops_two     ,
-        "Altivec floating point arith insns with two args",
-        0x00050102,
+        tests_afa_ops_three   ,
+        "Altivec floating point arith insns with three args",
+        0x00050103,
     },
 #endif /* defined (HAS_ALTIVEC) */
 #if defined (HAS_ALTIVEC)
@@ -7000,7 +7000,7 @@ static void test_av_float_three_args (const char* name, test_func_t func,
    volatile vector float vec_in1, vec_in2, vec_in3, vec_out;
    volatile vector unsigned int vscr;
    unsigned int *src1, *src2, *src3, *dst;
-   int i,j,k;
+   int i,j,k,n;
 #if defined TEST_VSCR_SAT
    unsigned int* p_vscr;
 #endif
@@ -7047,6 +7047,38 @@ static void test_av_float_three_args (const char* name, test_func_t func,
             src3 = (unsigned int*)&vec_in3;
             dst  = (unsigned int*)&vec_out;
 
+            /* Valgrind emulation for vmaddfp and vnmsubfp generates negative 
+             * NAN.  Technically, NAN is not positive or negative so mask off
+             * the sign bit to eliminate false errors.
+             * 
+             * Valgrind emulation is creating negative zero.  Mask off negative
+             * from zero result.
+             * 
+             * These are only an issue as we are printing the result in hex.
+             *
+             * The VEX emulation accuracy for the vmaddfp and vnmsubfp 
+             * instructions is off by a single bit in the least significant 
+             * bit position of the result.  Mask off the LSB.
+             */
+
+             for (n=0; n<4; n++) {
+                /* NAN result*/
+                if (((dst[n] & 0x7F800000) == 0x7F800000) &&
+                   ((dst[n] & 0x7FFFFF) != 0))
+                   dst[n] &= 0x7FFFFFFF;
+
+                /* Negative zero result */
+                else if (dst[n] == 0x80000000)
+                    dst[n] = 0x0;
+
+                else
+                    /* The actual result and the emulated result for the
+                     * vmaddfp and vnmsubfp instructions sometimes differ 
+                     * in the least significant bit.  Mask off the bit.
+                     */
+                    dst[n] &= 0xFFFFFFFE;
+                }
+
             printf("%s: %08x%08x%08x%08x, %08x%08x%08x%08x, %08x%08x%08x%08x\n", name,
                    src1[0], src1[1], src1[2], src1[3],
                    src2[0], src2[1], src2[2], src2[3],

diff --git a/none/tests/ppc32/jm-vmx.stdout.exp b/none/tests/ppc32/jm-vmx.stdout.exp
index 0a0bb3eb45b3eb3f28fb646ecba73f8c57fd3fc8..0f95bd73f1e86e007fab17ada90615c41cafbeaa 100644 (file)
--- a/none/tests/ppc32/jm-vmx.stdout.exp
+++ b/none/tests/ppc32/jm-vmx.stdout.exp
@@ -1907,6 +1907,585 @@ Altivec floating point arith insns with two args:
       vminfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff
       vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
 
+Altivec floating point arith insns with three args:
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+
 Altivec floating point arith insns with one arg:
        vrfin: 02bfffff 02bfffff 02bfffff 02bfffff
        vrfin:  => 00000000 00000000 00000000 00000000 (00000000)
@@ -3033,4 +3612,4 @@ Altivec float special insns:
       vctsxs: ffbfffff (          nan), 18 => 00000000 ( 0.000000e+00) (00000000)
       vctsxs: ffbfffff (          nan), 27 => 00000000 ( 0.000000e+00) (00000000)
 
-All done. Tested 163 different instructions
+All done. Tested 165 different instructions

diff --git a/none/tests/ppc32/jm-vmx.stdout.exp_Minus_nan b/none/tests/ppc32/jm-vmx.stdout.exp_Minus_nan
index 8c72a548e5b0344b6a33b2c8578de8cb039c5af3..daf92614614b6fd1f3320031938a58cd8147282f 100644 (file)
--- a/none/tests/ppc32/jm-vmx.stdout.exp_Minus_nan
+++ b/none/tests/ppc32/jm-vmx.stdout.exp_Minus_nan
@@ -1517,7 +1517,6 @@ Altivec store insns with three register args:
        stvxl   7, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
        stvxl  14, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
 
-Altivec floating point arith insns with three args:
 Altivec floating point arith insns with two args:
       vaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
       vaddfp:  => 033fffff 033fffff 033fffff 033fffff (00000000)
@@ -1907,6 +1906,585 @@ Altivec floating point arith insns with two args:
       vminfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff
       vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
 
+Altivec floating point arith insns with three args:
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+
 Altivec floating point arith insns with one arg:
        vrfin: 02bfffff 02bfffff 02bfffff 02bfffff
        vrfin:  => 00000000 00000000 00000000 00000000 (00000000)
@@ -3033,4 +3611,4 @@ Altivec float special insns:
       vctsxs: ffbfffff (         -nan), 18 => 00000000 ( 0.000000e+00) (00000000)
       vctsxs: ffbfffff (         -nan), 27 => 00000000 ( 0.000000e+00) (00000000)
 
-All done. Tested 163 different instructions
+All done. Tested 165 different instructions

diff --git a/none/tests/ppc64/jm-vmx.stdout.exp b/none/tests/ppc64/jm-vmx.stdout.exp
index 0a0bb3eb45b3eb3f28fb646ecba73f8c57fd3fc8..0f95bd73f1e86e007fab17ada90615c41cafbeaa 100644 (file)
--- a/none/tests/ppc64/jm-vmx.stdout.exp
+++ b/none/tests/ppc64/jm-vmx.stdout.exp
@@ -1907,6 +1907,585 @@ Altivec floating point arith insns with two args:
       vminfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff
       vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
 
+Altivec floating point arith insns with three args:
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+
 Altivec floating point arith insns with one arg:
        vrfin: 02bfffff 02bfffff 02bfffff 02bfffff
        vrfin:  => 00000000 00000000 00000000 00000000 (00000000)
@@ -3033,4 +3612,4 @@ Altivec float special insns:
       vctsxs: ffbfffff (          nan), 18 => 00000000 ( 0.000000e+00) (00000000)
       vctsxs: ffbfffff (          nan), 27 => 00000000 ( 0.000000e+00) (00000000)
 
-All done. Tested 163 different instructions
+All done. Tested 165 different instructions

diff --git a/none/tests/ppc64/jm-vmx.stdout.exp_Minus_nan b/none/tests/ppc64/jm-vmx.stdout.exp_Minus_nan
index 8c72a548e5b0344b6a33b2c8578de8cb039c5af3..daf92614614b6fd1f3320031938a58cd8147282f 100644 (file)
--- a/none/tests/ppc64/jm-vmx.stdout.exp_Minus_nan
+++ b/none/tests/ppc64/jm-vmx.stdout.exp_Minus_nan
@@ -1517,7 +1517,6 @@ Altivec store insns with three register args:
        stvxl   7, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
        stvxl  14, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
 
-Altivec floating point arith insns with three args:
 Altivec floating point arith insns with two args:
       vaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
       vaddfp:  => 033fffff 033fffff 033fffff 033fffff (00000000)
@@ -1907,6 +1906,585 @@ Altivec floating point arith insns with two args:
       vminfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff
       vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
 
+Altivec floating point arith insns with three args:
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+     vmaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+    vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+    vnmsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+
 Altivec floating point arith insns with one arg:
        vrfin: 02bfffff 02bfffff 02bfffff 02bfffff
        vrfin:  => 00000000 00000000 00000000 00000000 (00000000)
@@ -3033,4 +3611,4 @@ Altivec float special insns:
       vctsxs: ffbfffff (         -nan), 18 => 00000000 ( 0.000000e+00) (00000000)
       vctsxs: ffbfffff (         -nan), 27 => 00000000 ( 0.000000e+00) (00000000)
 
-All done. Tested 163 different instructions
+All done. Tested 165 different instructions