Added tests for altivec load/stores

Enabled altivec float tests

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

diff --git a/none/tests/ppc32/jm-insns.c b/none/tests/ppc32/jm-insns.c
index c61c9265f552292ccc05bff59299754b4f1f26a5..fd4ffdb5acba12c6f18f6a1b139cd5fc776072bb 100644 (file)
--- a/none/tests/ppc32/jm-insns.c
+++ b/none/tests/ppc32/jm-insns.c
@@ -1497,6 +1497,8 @@ static test_t tests_fcr_ops_two[] = {
 #endif /* !defined (NO_FLOAT) */
 
 #if !defined (NO_FLOAT)
+
+#if 0   // TODO: Not yet supported
 static void test_fres (void)
 {
     __asm__ __volatile__ ("fres         17, 14");
@@ -1506,6 +1508,7 @@ static void test_frsqrte (void)
 {
     __asm__ __volatile__ ("frsqrte      17, 14");
 }
+#endif
 
 static void test_frsp (void)
 {
@@ -1543,8 +1546,8 @@ static void test_fnabs (void)
 }
 
 static test_t tests_fa_ops_one[] = {
-    { &test_fres            , "        fres", },
-    { &test_frsqrte         , "     frsqrte", },
+   //    { &test_fres            , "        fres", },   // TODO: Not yet supported
+   //    { &test_frsqrte         , "     frsqrte", },   // TODO: Not yet supported
     { &test_frsp            , "        frsp", },
     { &test_fctiw           , "       fctiw", },
     { &test_fctiwz          , "      fctiwz", },
@@ -1557,6 +1560,8 @@ static test_t tests_fa_ops_one[] = {
 #endif /* !defined (NO_FLOAT) */
 
 #if !defined (NO_FLOAT)
+
+#if 0   // TODO: Not yet supported
 static void test_fres_ (void)
 {
     __asm__ __volatile__ ("fres.        17, 14");
@@ -1566,6 +1571,7 @@ static void test_frsqrte_ (void)
 {
     __asm__ __volatile__ ("frsqrte.     17, 14");
 }
+#endif
 
 static void test_frsp_ (void)
 {
@@ -1603,8 +1609,8 @@ static void test_fnabs_ (void)
 }
 
 static test_t tests_far_ops_one[] = {
-    { &test_fres_           , "       fres.", },
-    { &test_frsqrte_        , "    frsqrte.", },
+   //    { &test_fres_           , "       fres.", },   // TODO: Not yet supported
+    //    { &test_frsqrte_        , "    frsqrte.", },   // TODO: Not yet supported
     { &test_frsp_           , "       frsp.", },
     { &test_fctiw_          , "      fctiw.", },
     { &test_fctiwz_         , "     fctiwz.", },
@@ -2436,6 +2442,16 @@ static void test_vsldoi (void)
     __asm__ __volatile__ ("vsldoi       17, 14, 15, 0");
 }
 
+static void test_lvsl (void)
+{
+    __asm__ __volatile__ ("lvsl         17, 14, 15");
+}
+
+static void test_lvsr (void)
+{
+    __asm__ __volatile__ ("lvsr         17, 14, 15");
+}
+
 static test_t tests_av_int_ops_spe[] = {
     { &test_vsl             , "         vsl", },
     { &test_vsr             , "         vsr", },
@@ -2446,11 +2462,74 @@ static test_t tests_av_int_ops_spe[] = {
     { &test_vspltish        , "    vspltish", },
     { &test_vspltisw        , "    vspltisw", },
     { &test_vsldoi          , "      vsldoi", },
+    { &test_lvsl            , "        lvsl", },
+    { &test_lvsr            , "        lvsr", },
     { NULL,                   NULL,           },
 };
 #endif /* defined (HAS_ALTIVEC) */
 
 #if defined (HAS_ALTIVEC)
+static void test_lvebx (void)
+{
+    __asm__ __volatile__ ("lvebx        17,14,15");
+}
+
+static void test_lvehx (void)
+{
+    __asm__ __volatile__ ("lvehx        17,14,15");
+}
+
+static void test_lvewx (void)
+{
+    __asm__ __volatile__ ("lvewx        17,14,15");
+}
+
+static void test_lvx (void)
+{
+    __asm__ __volatile__ ("lvx          17,14,15");
+}
+
+static test_t tests_ald_ops_two[] = {
+    { &test_lvebx           , "       lvebx", },
+    { &test_lvehx           , "       lvehx", },
+    { &test_lvewx           , "       lvewx", },
+    { &test_lvx             , "         lvx", },
+    { NULL,                   NULL,           },
+};
+#endif /* defined (HAS_ALTIVEC) */
+
+#if defined (HAS_ALTIVEC)
+static void test_stvebx (void)
+{
+    __asm__ __volatile__ ("stvebx       14,15,16");
+}
+
+static void test_stvehx (void)
+{
+    __asm__ __volatile__ ("stvehx       14,15,16");
+}
+
+static void test_stvewx (void)
+{
+    __asm__ __volatile__ ("stvewx       14,15,16");
+}
+
+static void test_stvx (void)
+{
+    __asm__ __volatile__ ("stvx         14,15,16");
+}
+
+static test_t tests_ast_ops_three[] = {
+    { &test_stvebx          , "      stvebx", },
+    { &test_stvehx          , "      stvehx", },
+    { &test_stvewx          , "      stvewx", },
+    { &test_stvx            , "        stvx", },
+    { NULL,                   NULL,           },
+};
+#endif /* defined (HAS_ALTIVEC) */
+
+#if defined (HAS_ALTIVEC)
+#if 0
 static void test_vmaddfp (void)
 {
     __asm__ __volatile__ ("vmaddfp      17, 14, 15, 16");
@@ -2460,10 +2539,11 @@ static void test_vnmsubfp (void)
 {
     __asm__ __volatile__ ("vnmsubfp     17, 14, 15, 16");
 }
+#endif
 
 static test_t tests_afa_ops_three[] = {
-    { &test_vmaddfp         , "     vmaddfp", },
-    { &test_vnmsubfp        , "    vnmsubfp", },
+//    { &test_vmaddfp         , "     vmaddfp", },   // TODO: Not yet supported
+//    { &test_vnmsubfp        , "    vnmsubfp", },   // TODO: Not yet supported
     { NULL,                   NULL,           },
 };
 #endif /* defined (HAS_ALTIVEC) */
@@ -2499,6 +2579,8 @@ static test_t tests_afa_ops_two[] = {
 #endif /* defined (HAS_ALTIVEC) */
 
 #if defined (HAS_ALTIVEC)
+
+#if 0   // TODO: Not yet supported
 static void test_vrfin (void)
 {
     __asm__ __volatile__ ("vrfin        17, 14");
@@ -2518,6 +2600,7 @@ static void test_vrfim (void)
 {
     __asm__ __volatile__ ("vrfim        17, 14");
 }
+#endif
 
 static void test_vrefp (void)
 {
@@ -2529,6 +2612,7 @@ static void test_vrsqrtefp (void)
     __asm__ __volatile__ ("vrsqrtefp    17, 14");
 }
 
+#if 0   // TODO: Not yet supported
 static void test_vlogefp (void)
 {
     __asm__ __volatile__ ("vlogefp      17, 14");
@@ -2538,6 +2622,7 @@ static void test_vexptefp (void)
 {
     __asm__ __volatile__ ("vexptefp     17, 14");
 }
+#endif
 
 static test_t tests_afa_ops_one[] = {
     //    { &test_vrfin           , "       vrfin", },   // TODO: Not yet supported
@@ -3363,6 +3448,20 @@ static test_table_t all_tests[] = {
         0x00040207,
     },
 #endif /* defined (HAS_ALTIVEC) */
+#if defined (HAS_ALTIVEC)
+    {
+        tests_ald_ops_two     ,
+        "Altivec load insns with two register args",
+        0x00040509,
+    },
+#endif /* defined (HAS_ALTIVEC) */
+#if defined (HAS_ALTIVEC)
+    {
+        tests_ast_ops_three   ,
+        "Altivec store insns with three register args",
+        0x0004050b,
+    },
+#endif /* defined (HAS_ALTIVEC) */
 #if defined (HAS_ALTIVEC)
     {
         tests_afa_ops_three   ,
@@ -3665,14 +3764,45 @@ static void build_vfargs_table (void)
     * (8 values)
     */
    uint32_t mant;
-   uint8_t exp;
+   uint16_t exp;
    int s;
    int i=0;
    
-   nb_vfargs = 8;
 
+#if !defined (ALTIVEC_ARGS_LARGE)
+   nb_vfargs = 12;
    vfargs = memalign(16, nb_vfargs * sizeof(vector float));
 
+   // 4 values:
+   for (s=0; s<2; s++) {
+      for (exp=0x5; ; exp += 0x9D ) {
+         if (exp > 0xDF)
+            break;
+         for (mant = 0x3FFFFF; mant < 0x7FFFFF;
+              mant = /* random */ ((mant + 0x1A6) << 31) + 0x159) {
+            register_vfarg(&vfargs[i++], s, (uint8_t)exp, mant);
+         }
+      }
+   }
+#else
+   nb_vfargs = 50;
+   vfargs = memalign(16, nb_vfargs * sizeof(vector float));
+
+   for (s=0; s<2; s++) {
+      for (exp=0x0; ; exp += 0x3F ) {
+         //      for (exp=0; ; exp = ((exp + 1) << 1) + 3) {
+         if (exp >= 0xFE)
+            exp = 0xFE;
+         for (mant = 0x0; mant < 0x7FFFFF;
+              mant = /* random */ ((mant + 0x4A6) << 5) + 0x359) {
+            register_vfarg(&vfargs[i++], s, (uint8_t)exp, mant);
+         }
+         if (exp >= 0xFE)
+            break;
+      }
+   }
+#endif
+
    /* Special values */
    /* +0.0      : 0 0x00 0x000000 */
    s = 0;
@@ -3722,7 +3852,8 @@ static void build_vfargs_table (void)
    register_vfarg(&vfargs[i++], s, exp, mant);
    AB_DPRINTF("Registered %d vfargs values\n", i);
 
-   assert(i == nb_vfargs);
+   assert(i <= nb_vfargs);
+   nb_vfargs = i;
 }
 #endif
 
@@ -5695,6 +5826,53 @@ static void vsldoi_cb (const char* name, test_func_t func,
    }
 }
 
+/* lvsl, lvsr */
+static void lvs_cb (const char *name, test_func_t func,
+                    unused uint32_t test_flags)
+{
+   volatile uint32_t flags, tmpcr;
+   volatile vector unsigned int tmpvscr;
+   int i;
+   
+   for (i=-1; i<17; i++) {
+      vector unsigned int vec_out = (vector unsigned int){ 0,0,0,0 };
+      
+      // make sure start address is 16 aligned - use viargs[0]
+      r15 = (uint32_t)&viargs[0];
+      r14 = i;
+
+      /* Save flags */
+      __asm__ __volatile__ ("mfcr   %0" : "=r"  (tmpcr));
+      __asm__ __volatile__ ("mfvscr %0" : "=vr" (tmpvscr));
+      
+      // reset VSCR and CR
+      vector unsigned int vscr = (vector unsigned int){ 0,0,0,0x00010000 };
+      flags = 0;
+      __asm__ __volatile__ ("mtvscr %0" : : "vr" (vscr) );
+      __asm__ __volatile__ ("mtcr   %0" : : "r" (flags));         
+      
+      // do stuff
+      (*func)();
+      
+      // retrieve output <- r17
+      __asm__ __volatile__ ("vor %0,17,17" : "=vr" (vec_out));
+         
+      // get CR,VSCR flags
+      __asm__ __volatile__ ("mfcr   %0" : "=r" (flags));
+      __asm__ __volatile__ ("mfvscr %0" : "=vr" (vscr));
+      
+      /* Restore flags */
+      __asm__ __volatile__ ("mtcr   %0" : : "r"  (tmpcr));
+      __asm__ __volatile__ ("mtvscr %0" : : "vr" (tmpvscr));
+      
+      unsigned int* dst    = (unsigned int*)&vec_out;
+      printf("%s %3d, %3d", name, i, 0);
+      printf(" => %08x %08x %08x %08x ", dst[0], dst[1], dst[2], dst[3]);
+      printf("(%08x)\n", flags);
+   }
+   if (verbose) printf("\n");
+}
+
 static special_t special_av_int_ops[] = {
    {
       "vsr", /* Two registers arguments */
@@ -5732,6 +5910,18 @@ static special_t special_av_int_ops[] = {
       "vsldoi", /* Two regs, one 4-bit uimm arguments */
       &vsldoi_cb,
    },
+   {
+      "lvsl", /* Two regs */
+      &lvs_cb,
+   },
+   {
+      "lvsr", /* Two regs */
+      &lvs_cb,
+   },
+   {
+      NULL,
+      NULL,
+   },
 };
 
 static void test_av_int_special (const char* name, test_func_t func,
@@ -5740,6 +5930,118 @@ static void test_av_int_special (const char* name, test_func_t func,
    test_special(special_av_int_ops, name, func, test_flags);
 }
 
+static void test_av_int_ld_two_regs (const char *name,
+                                  test_func_t func,
+                                  unused uint32_t test_flags)
+{
+   volatile uint32_t flags, tmpcr;
+   volatile vector unsigned int tmpvscr;
+   int i,j;
+
+   for (i=0; i<nb_viargs; i++) {
+      for (j=0; j<16; j+=7) {
+         volatile vector unsigned int vec_out = (vector unsigned int){ 0,0,0,0 };
+
+         // load from viargs array + some dis-alignment
+         r15 = (uint32_t)&viargs[0];
+         r14 = i*16 + j;
+         
+         /* Save flags */
+         __asm__ __volatile__ ("mfcr   %0" : "=r"  (tmpcr));
+         __asm__ __volatile__ ("mfvscr %0" : "=vr" (tmpvscr));
+         
+         // reset VSCR and CR
+         volatile vector unsigned int vscr = (vector unsigned int){ 0,0,0,DEFAULT_VSCR };
+         flags = 0;
+         __asm__ __volatile__ ("mtvscr %0" : : "vr" (vscr) );
+         __asm__ __volatile__ ("mtcr   %0" : : "r" (flags));
+         
+         // do stuff
+         (*func)();
+         
+         // retrieve output <- r17
+         __asm__ __volatile__ ("vor %0,17,17" : "=vr" (vec_out));
+         
+         // get CR,VSCR flags
+         __asm__ __volatile__ ("mfcr   %0" : "=r" (flags));
+         __asm__ __volatile__ ("mfvscr %0" : "=vr" (vscr));
+         
+         /* Restore flags */
+         __asm__ __volatile__ ("mtcr   %0" : : "r"  (tmpcr));
+         __asm__ __volatile__ ("mtvscr %0" : : "vr" (tmpvscr));
+         
+         volatile vector unsigned int vec_in = (vector unsigned int)viargs[i];
+         unsigned int* src = (unsigned int*)&vec_in;
+         unsigned int* dst = (unsigned int*)&vec_out;
+         printf("%s %3d, %08x %08x %08x %08x", name, j, src[0], src[1], src[2], src[3]);
+         printf(" => %08x %08x %08x %08x ", dst[0], dst[1], dst[2], dst[3]);
+         printf("(%08x)\n", flags);
+      }
+      if (verbose) printf("\n");
+   }
+}
+
+
+static void test_av_int_st_three_regs (const char *name,
+                                       test_func_t func,
+                                       unused uint32_t test_flags)
+{
+   volatile uint32_t flags, tmpcr;
+   volatile vector unsigned int tmpvscr;
+   int i,j;
+   vector unsigned int* viargs_priv;
+
+   // private viargs table to store to
+   viargs_priv = memalign(16,(nb_viargs * sizeof(uint32_t)));
+   for (i=0; i<nb_viargs; i++)
+      viargs_priv[i] = (vector unsigned int) { 0,0,0,0 };
+
+   for (i=0; i<nb_viargs; i++) {
+      for (j=0; j<16; j+=7) {
+         // read from viargs
+         volatile vector unsigned int vec_in = (vector unsigned int)viargs[i];
+
+         // store to viargs_priv[0] + some dis-alignment
+         r16 = (uint32_t)&viargs_priv[0];
+         r15 = i*16 + j;
+
+         /* Save flags */
+         __asm__ __volatile__ ("mfcr   %0" : "=r"  (tmpcr));
+         __asm__ __volatile__ ("mfvscr %0" : "=vr" (tmpvscr));
+         
+         // reset VSCR and CR
+         volatile vector unsigned int vscr = (vector unsigned int){ 0,0,0,DEFAULT_VSCR };
+         flags = 0;
+         __asm__ __volatile__ ("mtvscr %0" : : "vr" (vscr) );
+         __asm__ __volatile__ ("mtcr   %0" : : "r" (flags));
+
+         // load inputs -> r14
+         __asm__ __volatile__ ("vor 14,%0,%0" : : "vr" (vec_in));
+         
+         // do stuff
+         (*func)();
+
+         // Output stored in viargs_priv
+         
+         // get CR,VSCR flags
+         __asm__ __volatile__ ("mfcr   %0" : "=r" (flags));
+         __asm__ __volatile__ ("mfvscr %0" : "=vr" (vscr));
+         
+         /* Restore flags */
+         __asm__ __volatile__ ("mtcr   %0" : : "r"  (tmpcr));
+         __asm__ __volatile__ ("mtvscr %0" : : "vr" (tmpvscr));
+         
+         volatile vector unsigned int vec_out = (vector unsigned int)viargs_priv[i];
+         unsigned int* src = (unsigned int*)&vec_in;
+         unsigned int* dst = (unsigned int*)&vec_out;
+         printf("%s %3d, %08x %08x %08x %08x", name, j, src[0], src[1], src[2], src[3]);
+         printf(" => %08x %08x %08x %08x ", dst[0], dst[1], dst[2], dst[3]);
+         printf("(%08x)\n", flags);
+      }
+      if (verbose) printf("\n");
+   }
+}
+
 /* Used in do_tests, indexed by flags->nb_args
    Elements correspond to enum test_flags::num args
 */
@@ -5752,9 +6054,9 @@ static test_loop_t altivec_int_loops[] = {
    NULL,
    &test_av_int_special,
    NULL,
+   &test_av_int_ld_two_regs,
    NULL,
-   NULL,
-   NULL,
+   test_av_int_st_three_regs,
 };
 
 
@@ -6363,7 +6665,7 @@ int main (int argc, char **argv)
       switch (c) {
       case 'a':
          flags.altivec  = 1;
-//         flags.faltivec = 1;  // TODO: not yet supported
+         flags.faltivec = 1;
          break;
       case 'h':
          usage();

diff --git a/none/tests/ppc32/jm-vmx.stdout.exp b/none/tests/ppc32/jm-vmx.stdout.exp
index b152b4818b49aaf7cb7439346f9da8575b1bce74..f09250f0312d3646ee123e0569982cf68479840f 100644 (file)
--- a/none/tests/ppc32/jm-vmx.stdout.exp
+++ b/none/tests/ppc32/jm-vmx.stdout.exp
@@ -3038,4 +3038,1319 @@ Altivec integer special insns:
       vsldoi: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff, f1f2f3f4f5f6f7f8f9fafbfcfefdfeff, 14
       vsldoi:  => fefff1f2 f3f4f5f6 f7f8f9fa fbfcfefd] (00000000)
 
-All done. Tested 283 different instructions
+        lvsl  -1,   0 => 0f101112 13141516 1718191a 1b1c1d1e (00000000)
+        lvsl   0,   0 => 00010203 04050607 08090a0b 0c0d0e0f (00000000)
+        lvsl   1,   0 => 01020304 05060708 090a0b0c 0d0e0f10 (00000000)
+        lvsl   2,   0 => 02030405 06070809 0a0b0c0d 0e0f1011 (00000000)
+        lvsl   3,   0 => 03040506 0708090a 0b0c0d0e 0f101112 (00000000)
+        lvsl   4,   0 => 04050607 08090a0b 0c0d0e0f 10111213 (00000000)
+        lvsl   5,   0 => 05060708 090a0b0c 0d0e0f10 11121314 (00000000)
+        lvsl   6,   0 => 06070809 0a0b0c0d 0e0f1011 12131415 (00000000)
+        lvsl   7,   0 => 0708090a 0b0c0d0e 0f101112 13141516 (00000000)
+        lvsl   8,   0 => 08090a0b 0c0d0e0f 10111213 14151617 (00000000)
+        lvsl   9,   0 => 090a0b0c 0d0e0f10 11121314 15161718 (00000000)
+        lvsl  10,   0 => 0a0b0c0d 0e0f1011 12131415 16171819 (00000000)
+        lvsl  11,   0 => 0b0c0d0e 0f101112 13141516 1718191a (00000000)
+        lvsl  12,   0 => 0c0d0e0f 10111213 14151617 18191a1b (00000000)
+        lvsl  13,   0 => 0d0e0f10 11121314 15161718 191a1b1c (00000000)
+        lvsl  14,   0 => 0e0f1011 12131415 16171819 1a1b1c1d (00000000)
+        lvsl  15,   0 => 0f101112 13141516 1718191a 1b1c1d1e (00000000)
+        lvsl  16,   0 => 00010203 04050607 08090a0b 0c0d0e0f (00000000)
+
+        lvsr  -1,   0 => 01020304 05060708 090a0b0c 0d0e0f10 (00000000)
+        lvsr   0,   0 => 10111213 14151617 18191a1b 1c1d1e1f (00000000)
+        lvsr   1,   0 => 0f101112 13141516 1718191a 1b1c1d1e (00000000)
+        lvsr   2,   0 => 0e0f1011 12131415 16171819 1a1b1c1d (00000000)
+        lvsr   3,   0 => 0d0e0f10 11121314 15161718 191a1b1c (00000000)
+        lvsr   4,   0 => 0c0d0e0f 10111213 14151617 18191a1b (00000000)
+        lvsr   5,   0 => 0b0c0d0e 0f101112 13141516 1718191a (00000000)
+        lvsr   6,   0 => 0a0b0c0d 0e0f1011 12131415 16171819 (00000000)
+        lvsr   7,   0 => 090a0b0c 0d0e0f10 11121314 15161718 (00000000)
+        lvsr   8,   0 => 08090a0b 0c0d0e0f 10111213 14151617 (00000000)
+        lvsr   9,   0 => 0708090a 0b0c0d0e 0f101112 13141516 (00000000)
+        lvsr  10,   0 => 06070809 0a0b0c0d 0e0f1011 12131415 (00000000)
+        lvsr  11,   0 => 05060708 090a0b0c 0d0e0f10 11121314 (00000000)
+        lvsr  12,   0 => 04050607 08090a0b 0c0d0e0f 10111213 (00000000)
+        lvsr  13,   0 => 03040506 0708090a 0b0c0d0e 0f101112 (00000000)
+        lvsr  14,   0 => 02030405 06070809 0a0b0c0d 0e0f1011 (00000000)
+        lvsr  15,   0 => 01020304 05060708 090a0b0c 0d0e0f10 (00000000)
+        lvsr  16,   0 => 10111213 14151617 18191a1b 1c1d1e1f (00000000)
+
+Altivec load insns with two register args:
+       lvebx   0, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+       lvebx   7, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+       lvebx  14, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+       lvebx   0, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+       lvebx   7, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+       lvebx  14, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+
+       lvehx   0, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+       lvehx   7, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+       lvehx  14, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+       lvehx   0, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+       lvehx   7, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+       lvehx  14, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+
+       lvewx   0, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+       lvewx   7, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+       lvewx  14, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+       lvewx   0, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+       lvewx   7, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+       lvewx  14, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+
+         lvx   0, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+         lvx   7, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+         lvx  14, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+         lvx   0, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+         lvx   7, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+         lvx  14, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+
+Altivec store insns with three register args:
+      stvebx   0, 01020304 05060708 090a0b0c 0e0d0e0f => 01000000 00000000 00000000 00000000 (00000000)
+      stvebx   7, 01020304 05060708 090a0b0c 0e0d0e0f => 01000000 00000008 00000000 00000000 (00000000)
+      stvebx  14, 01020304 05060708 090a0b0c 0e0d0e0f => 01000000 00000008 00000000 00000e00 (00000000)
+      stvebx   0, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1000000 00000000 00000000 00000000 (00000000)
+      stvebx   7, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1000000 000000f8 00000000 00000000 (00000000)
+      stvebx  14, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1000000 000000f8 00000000 0000fe00 (00000000)
+
+      stvehx   0, 01020304 05060708 090a0b0c 0e0d0e0f => 01020000 00000000 00000000 00000000 (00000000)
+      stvehx   7, 01020304 05060708 090a0b0c 0e0d0e0f => 01020000 00000708 00000000 00000000 (00000000)
+      stvehx  14, 01020304 05060708 090a0b0c 0e0d0e0f => 01020000 00000708 00000000 00000e0f (00000000)
+      stvehx   0, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f20000 00000000 00000000 00000000 (00000000)
+      stvehx   7, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f20000 0000f7f8 00000000 00000000 (00000000)
+      stvehx  14, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f20000 0000f7f8 00000000 0000feff (00000000)
+
+      stvewx   0, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 00000000 00000000 00000000 (00000000)
+      stvewx   7, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 00000000 00000000 (00000000)
+      stvewx  14, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 00000000 0e0d0e0f (00000000)
+      stvewx   0, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 00000000 00000000 00000000 (00000000)
+      stvewx   7, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 00000000 00000000 (00000000)
+      stvewx  14, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 00000000 fefdfeff (00000000)
+
+        stvx   0, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+        stvx   7, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+        stvx  14, 01020304 05060708 090a0b0c 0e0d0e0f => 01020304 05060708 090a0b0c 0e0d0e0f (00000000)
+        stvx   0, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+        stvx   7, f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff => f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff (00000000)
+        stvx  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)
+      vaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+      vaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vaddfp: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+      vaddfp:  => 513fffff 513fffff 513fffff 513fffff (00000000)
+      vaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+      vaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+      vaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vaddfp: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+      vaddfp:  => 00000000 00000000 00000000 00000000 (00000000)
+      vaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+      vaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vaddfp: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+      vaddfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => d1bfffff d1bfffff d1bfffff d1bfffff (00000000)
+      vaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+      vaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vaddfp: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+      vaddfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+      vaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vaddfp: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+      vaddfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+      vaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vaddfp: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+      vaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+      vaddfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vaddfp: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+      vaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+      vaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vaddfp: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+      vaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+      vaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vaddfp: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+      vaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vaddfp: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vaddfp: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+      vaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vaddfp: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vaddfp: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+      vaddfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vaddfp: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+      vaddfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vaddfp: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+      vaddfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vaddfp: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+      vaddfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+
+      vsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+      vsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => 513fffff 513fffff 513fffff 513fffff (00000000)
+      vsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+      vsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vsubfp: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => 513fffff 513fffff 513fffff 513fffff (00000000)
+      vsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => 51bfffff 51bfffff 51bfffff 51bfffff (00000000)
+      vsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+      vsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vsubfp: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => 833fffff 833fffff 833fffff 833fffff (00000000)
+      vsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => 513fffff 513fffff 513fffff 513fffff (00000000)
+      vsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+      vsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vsubfp: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => 00000000 00000000 00000000 00000000 (00000000)
+      vsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+      vsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vsubfp: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => 82bfffff 82bfffff 82bfffff 82bfffff (00000000)
+      vsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => 513fffff 513fffff 513fffff 513fffff (00000000)
+      vsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+      vsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vsubfp: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => 82bfffff 82bfffff 82bfffff 82bfffff (00000000)
+      vsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => 513fffff 513fffff 513fffff 513fffff (00000000)
+      vsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+      vsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vsubfp: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+      vsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vsubfp: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+      vsubfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vsubfp: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+      vsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vsubfp: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vsubfp: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vsubfp: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+      vsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vsubfp: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vsubfp: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+      vsubfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vsubfp: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+      vsubfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vsubfp: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+      vsubfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vsubfp: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+      vsubfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+
+      vmaxfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vmaxfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vmaxfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vmaxfp: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => 513fffff 513fffff 513fffff 513fffff (00000000)
+      vmaxfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => 513fffff 513fffff 513fffff 513fffff (00000000)
+      vmaxfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vmaxfp: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vmaxfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => 82bfffff 82bfffff 82bfffff 82bfffff (00000000)
+      vmaxfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vmaxfp: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vmaxfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vmaxfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vmaxfp: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vmaxfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => 00000000 00000000 00000000 00000000 (00000000)
+      vmaxfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vmaxfp: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vmaxfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => 80000000 80000000 80000000 80000000 (00000000)
+      vmaxfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vmaxfp: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vmaxfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vmaxfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vmaxfp: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vmaxfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vmaxfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vmaxfp: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vmaxfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vmaxfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vmaxfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vmaxfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vmaxfp: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vmaxfp: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vmaxfp: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vmaxfp: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vmaxfp: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+      vmaxfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vmaxfp: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+      vmaxfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vmaxfp: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+      vmaxfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vmaxfp: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+      vmaxfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+
+      vminfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vminfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vminfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+      vminfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vminfp: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vminfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vminfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+      vminfp:  => 513fffff 513fffff 513fffff 513fffff (00000000)
+      vminfp: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => 82bfffff 82bfffff 82bfffff 82bfffff (00000000)
+      vminfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vminfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+      vminfp:  => 82bfffff 82bfffff 82bfffff 82bfffff (00000000)
+      vminfp: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vminfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vminfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+      vminfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vminfp: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => 00000000 00000000 00000000 00000000 (00000000)
+      vminfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vminfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+      vminfp:  => 00000000 00000000 00000000 00000000 (00000000)
+      vminfp: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => 80000000 80000000 80000000 80000000 (00000000)
+      vminfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vminfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+      vminfp:  => 80000000 80000000 80000000 80000000 (00000000)
+      vminfp: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => 02bfffff 02bfffff 02bfffff 02bfffff (00000000)
+      vminfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => d13fffff d13fffff d13fffff d13fffff (00000000)
+      vminfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+      vminfp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+      vminfp: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vminfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vminfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+      vminfp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+      vminfp: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vminfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vminfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+      vminfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vminfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+      vminfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+      vminfp: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vminfp: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vminfp: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+      vminfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vminfp: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+      vminfp: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+      vminfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vminfp: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+      vminfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vminfp: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+      vminfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+      vminfp: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+      vminfp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+
+Altivec floating point arith insns with one arg:
+       vrefp: 02bfffff 02bfffff 02bfffff 02bfffff
+       vrefp:  => 7c2aa9d1 7c2aa9d1 7c2aa9d1 7c2aa9d1 (00000000)
+       vrefp: 513fffff 513fffff 513fffff 513fffff
+       vrefp:  => 2daaa9d1 2daaa9d1 2daaa9d1 2daaa9d1 (00000000)
+       vrefp: 82bfffff 82bfffff 82bfffff 82bfffff
+       vrefp:  => fc2aa9d1 fc2aa9d1 fc2aa9d1 fc2aa9d1 (00000000)
+       vrefp: d13fffff d13fffff d13fffff d13fffff
+       vrefp:  => adaaa9d1 adaaa9d1 adaaa9d1 adaaa9d1 (00000000)
+       vrefp: 00000000 00000000 00000000 00000000
+       vrefp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+       vrefp: 80000000 80000000 80000000 80000000
+       vrefp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+       vrefp: 7f800000 7f800000 7f800000 7f800000
+       vrefp:  => 00000000 00000000 00000000 00000000 (00000000)
+       vrefp: ff800000 ff800000 ff800000 ff800000
+       vrefp:  => 80000000 80000000 80000000 80000000 (00000000)
+       vrefp: 7fbfffff 7fbfffff 7fbfffff 7fbfffff
+       vrefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+       vrefp: ffbfffff ffbfffff ffbfffff ffbfffff
+       vrefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+       vrefp: 7fc00000 7fc00000 7fc00000 7fc00000
+       vrefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+       vrefp: ffc00000 ffc00000 ffc00000 ffc00000
+       vrefp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+
+   vrsqrtefp: 02bfffff 02bfffff 02bfffff 02bfffff
+   vrsqrtefp:  => 5dd10320 5dd10320 5dd10320 5dd10320 (00000000)
+   vrsqrtefp: 513fffff 513fffff 513fffff 513fffff
+   vrsqrtefp:  => 3693cacc 3693cacc 3693cacc 3693cacc (00000000)
+   vrsqrtefp: 82bfffff 82bfffff 82bfffff 82bfffff
+   vrsqrtefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+   vrsqrtefp: d13fffff d13fffff d13fffff d13fffff
+   vrsqrtefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+   vrsqrtefp: 00000000 00000000 00000000 00000000
+   vrsqrtefp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+   vrsqrtefp: 80000000 80000000 80000000 80000000
+   vrsqrtefp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+   vrsqrtefp: 7f800000 7f800000 7f800000 7f800000
+   vrsqrtefp:  => 00000000 00000000 00000000 00000000 (00000000)
+   vrsqrtefp: ff800000 ff800000 ff800000 ff800000
+   vrsqrtefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+   vrsqrtefp: 7fbfffff 7fbfffff 7fbfffff 7fbfffff
+   vrsqrtefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+   vrsqrtefp: ffbfffff ffbfffff ffbfffff ffbfffff
+   vrsqrtefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+   vrsqrtefp: 7fc00000 7fc00000 7fc00000 7fc00000
+   vrsqrtefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+   vrsqrtefp: ffc00000 ffc00000 ffc00000 ffc00000
+   vrsqrtefp:  => ffc00000 ffc00000 ffc00000 ffc00000 (00000000)
+
+Altivec floating point compare insns:
+    vcmpgtfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgtfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgtfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgtfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgtfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgtfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgtfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgtfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgtfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgtfp: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
+
+    vcmpeqfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpeqfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpeqfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpeqfp: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpeqfp: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpeqfp:  => 00000000 00000000 00000000 00000000 (00000000)
+
+    vcmpgefp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgefp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgefp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgefp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgefp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgefp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgefp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgefp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgefp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgefp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgefp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vcmpgefp: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vcmpgefp: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpgefp:  => 00000000 00000000 00000000 00000000 (00000000)
+
+     vcmpbfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => 80000000 80000000 80000000 80000000 (00000000)
+     vcmpbfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => 80000000 80000000 80000000 80000000 (00000000)
+     vcmpbfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => 40000000 40000000 40000000 40000000 (00000000)
+     vcmpbfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => 40000000 40000000 40000000 40000000 (00000000)
+     vcmpbfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => 80000000 80000000 80000000 80000000 (00000000)
+     vcmpbfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => 80000000 80000000 80000000 80000000 (00000000)
+     vcmpbfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => 40000000 40000000 40000000 40000000 (00000000)
+     vcmpbfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => 40000000 40000000 40000000 40000000 (00000000)
+     vcmpbfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => 00000000 00000000 00000000 00000000 (00000000)
+     vcmpbfp: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+     vcmpbfp: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+     vcmpbfp:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+
+Altivec floating point compare insns with flags update:
+   vcmpgtfp.: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgtfp.: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgtfp.: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgtfp.: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgtfp.: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgtfp.: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgtfp.: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgtfp.: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgtfp.: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgtfp.: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgtfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+
+   vcmpeqfp.: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpeqfp.: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpeqfp.: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpeqfp.: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpeqfp.: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpeqfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+
+   vcmpgefp.: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgefp.: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgefp.: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgefp.: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgefp.: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgefp.: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgefp.: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgefp.: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgefp.: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgefp.: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgefp.: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => ffffffff ffffffff ffffffff ffffffff (00000080)
+   vcmpgefp.: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+   vcmpgefp.: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+   vcmpgefp.:  => 00000000 00000000 00000000 00000000 (00000020)
+
+    vcmpbfp.: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: 02bfffff02bfffff02bfffff02bfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => 80000000 80000000 80000000 80000000 (00000000)
+    vcmpbfp.: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => 80000000 80000000 80000000 80000000 (00000000)
+    vcmpbfp.: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: 513fffff513fffff513fffff513fffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: 82bfffff82bfffff82bfffff82bfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => 40000000 40000000 40000000 40000000 (00000000)
+    vcmpbfp.: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => 40000000 40000000 40000000 40000000 (00000000)
+    vcmpbfp.: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: d13fffffd13fffffd13fffffd13fffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: 00000000000000000000000000000000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: 80000000800000008000000080000000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => 80000000 80000000 80000000 80000000 (00000000)
+    vcmpbfp.: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => 80000000 80000000 80000000 80000000 (00000000)
+    vcmpbfp.: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: 7f8000007f8000007f8000007f800000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => 40000000 40000000 40000000 40000000 (00000000)
+    vcmpbfp.: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => 40000000 40000000 40000000 40000000 (00000000)
+    vcmpbfp.: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => 00000000 00000000 00000000 00000000 (00000020)
+    vcmpbfp.: ff800000ff800000ff800000ff800000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 7fbfffff7fbfffff7fbfffff7fbfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: ffbfffffffbfffffffbfffffffbfffff, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 7fc000007fc000007fc000007fc00000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 7fc000007fc000007fc000007fc00000, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 7fc000007fc000007fc000007fc00000, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: 7fc000007fc000007fc000007fc00000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: ffc00000ffc00000ffc00000ffc00000, 02bfffff02bfffff02bfffff02bfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: ffc00000ffc00000ffc00000ffc00000, d13fffffd13fffffd13fffffd13fffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: ffc00000ffc00000ffc00000ffc00000, 7f8000007f8000007f8000007f800000
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+    vcmpbfp.: ffc00000ffc00000ffc00000ffc00000, ffbfffffffbfffffffbfffffffbfffff
+    vcmpbfp.:  => c0000000 c0000000 c0000000 c0000000 (00000000)
+
+All done. Tested 307 different instructions