]> git.ipfire.org Git - thirdparty/valgrind.git/commitdiff
PPC64, Update testcases for vlogefp, vexptefp instructions
authorCarl Love <carll@us.ibm.com>
Tue, 28 May 2019 19:03:59 +0000 (14:03 -0500)
committerCarl Love <carll@us.ibm.com>
Tue, 28 May 2019 19:07:10 +0000 (14:07 -0500)
https://bugs.kde.org/show_bug.cgi?id=407340

none/tests/ppc32/jm-insns.c
none/tests/ppc32/jm-vmx.stdout.exp
none/tests/ppc64/jm-vmx.stdout.exp
none/tests/ppc64/jm-vmx.stdout.exp-LE
none/tests/ppc64/subnormal_test.c
none/tests/ppc64/subnormal_test.stdout.exp

index e6e947c7f38b2110661d798e74c00a20ef7c2c5c..5316ce318d769cb4f7bc614bfc0071017650f342 100644 (file)
@@ -3256,7 +3256,6 @@ 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");
@@ -3266,7 +3265,6 @@ static void test_vexptefp (void)
 {
     __asm__ __volatile__ ("vexptefp     17, 14");
 }
-#endif
 
 static test_t tests_afa_ops_one[] = {
     { &test_vrfin           , "       vrfin", },
@@ -3275,8 +3273,8 @@ static test_t tests_afa_ops_one[] = {
     { &test_vrfim           , "       vrfim", },
     { &test_vrefp           , "       vrefp", },
     { &test_vrsqrtefp       , "   vrsqrtefp", },
-    //    { &test_vlogefp         , "     vlogefp", },   // TODO: Not yet supported
-    //    { &test_vexptefp        , "    vexptefp", },   // TODO: Not yet supported
+    { &test_vlogefp         , "     vlogefp", },
+    { &test_vexptefp        , "    vexptefp", },
     { NULL,                   NULL,           },
 };
 #endif /* defined (HAS_ALTIVEC) */
index 307c75f0f92455e92f05512cc3dd4f1ba935b2f6..35ac34d4dbe997a070f1838e6e74fdbcb3356754 100644 (file)
@@ -2636,6 +2636,56 @@ Altivec floating point arith insns with one arg:
    vrsqrtefp: ffbfffff ffbfffff ffbfffff ffbfffff
    vrsqrtefp:  => ffffc000 ffffc000 ffffc000 ffffc000 (00000000)
 
+     vlogefp: 02bfffff 02bfffff 02bfffff 02bfffff
+     vlogefp:  => c2f2d440 c2f2d440 c2f2d440 c2f2d440 (00000000)
+     vlogefp: 513fffff 513fffff 513fffff 513fffff
+     vlogefp:  => 420e5780 420e5780 420e5780 420e5780 (00000000)
+     vlogefp: 82bfffff 82bfffff 82bfffff 82bfffff
+     vlogefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vlogefp: d13fffff d13fffff d13fffff d13fffff
+     vlogefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vlogefp: 00000000 00000000 00000000 00000000
+     vlogefp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vlogefp: 80000000 80000000 80000000 80000000
+     vlogefp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vlogefp: 7f800000 7f800000 7f800000 7f800000
+     vlogefp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vlogefp: ff800000 ff800000 ff800000 ff800000
+     vlogefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vlogefp: 7fffffff 7fffffff 7fffffff 7fffffff
+     vlogefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vlogefp: ffffffff ffffffff ffffffff ffffffff
+     vlogefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+     vlogefp: 7fbfffff 7fbfffff 7fbfffff 7fbfffff
+     vlogefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vlogefp: ffbfffff ffbfffff ffbfffff ffbfffff
+     vlogefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+
+    vexptefp: 02bfffff 02bfffff 02bfffff 02bfffff
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: 513fffff 513fffff 513fffff 513fffff
+    vexptefp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vexptefp: 82bfffff 82bfffff 82bfffff 82bfffff
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: d13fffff d13fffff d13fffff d13fffff
+    vexptefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vexptefp: 00000000 00000000 00000000 00000000
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: 80000000 80000000 80000000 80000000
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: 7f800000 7f800000 7f800000 7f800000
+    vexptefp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vexptefp: ff800000 ff800000 ff800000 ff800000
+    vexptefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vexptefp: 7fffffff 7fffffff 7fffffff 7fffffff
+    vexptefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vexptefp: ffffffff ffffffff ffffffff ffffffff
+    vexptefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vexptefp: 7fbfffff 7fbfffff 7fbfffff 7fbfffff
+    vexptefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vexptefp: ffbfffff ffbfffff ffbfffff ffbfffff
+    vexptefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+
 Altivec floating point compare insns:
     vcmpgtfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
     vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
@@ -3611,4 +3661,4 @@ Altivec float special insns:
       vctsxs: ffbfffff (         -nan), 18 => 00000000 ( 0.000000e+00) (00000000)
       vctsxs: ffbfffff (         -nan), 27 => 00000000 ( 0.000000e+00) (00000000)
 
-All done. Tested 165 different instructions
+All done. Tested 167 different instructions
index 67e27ec5c0feddf308c4775e4dccd86a96b4bb7f..940223c1b9151a86c0a5e6760f15934b7c41dc00 100644 (file)
@@ -2636,6 +2636,56 @@ Altivec floating point arith insns with one arg:
    vrsqrtefp: ffbfffff ffbfffff ffbfffff ffbfffff
    vrsqrtefp:  => ffffc000 ffffc000 ffffc000 ffffc000 (00000000)
 
+     vlogefp: 02bfffff 02bfffff 02bfffff 02bfffff
+     vlogefp:  => c2f2d440 c2f2d440 c2f2d440 c2f2d440 (00000000)
+     vlogefp: 513fffff 513fffff 513fffff 513fffff
+     vlogefp:  => 420e5780 420e5780 420e5780 420e5780 (00000000)
+     vlogefp: 82bfffff 82bfffff 82bfffff 82bfffff
+     vlogefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vlogefp: d13fffff d13fffff d13fffff d13fffff
+     vlogefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vlogefp: 00000000 00000000 00000000 00000000
+     vlogefp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vlogefp: 80000000 80000000 80000000 80000000
+     vlogefp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vlogefp: 7f800000 7f800000 7f800000 7f800000
+     vlogefp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vlogefp: ff800000 ff800000 ff800000 ff800000
+     vlogefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vlogefp: 7fffffff 7fffffff 7fffffff 7fffffff
+     vlogefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vlogefp: ffffffff ffffffff ffffffff ffffffff
+     vlogefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+     vlogefp: 7fbfffff 7fbfffff 7fbfffff 7fbfffff
+     vlogefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vlogefp: ffbfffff ffbfffff ffbfffff ffbfffff
+     vlogefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+
+    vexptefp: 02bfffff 02bfffff 02bfffff 02bfffff
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: 513fffff 513fffff 513fffff 513fffff
+    vexptefp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vexptefp: 82bfffff 82bfffff 82bfffff 82bfffff
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: d13fffff d13fffff d13fffff d13fffff
+    vexptefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vexptefp: 00000000 00000000 00000000 00000000
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: 80000000 80000000 80000000 80000000
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: 7f800000 7f800000 7f800000 7f800000
+    vexptefp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vexptefp: ff800000 ff800000 ff800000 ff800000
+    vexptefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vexptefp: 7fffffff 7fffffff 7fffffff 7fffffff
+    vexptefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vexptefp: ffffffff ffffffff ffffffff ffffffff
+    vexptefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vexptefp: 7fbfffff 7fbfffff 7fbfffff 7fbfffff
+    vexptefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vexptefp: ffbfffff ffbfffff ffbfffff ffbfffff
+    vexptefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+
 Altivec floating point compare insns:
     vcmpgtfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
     vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
@@ -3611,4 +3661,4 @@ Altivec float special insns:
       vctsxs: ffbfffff (         -nan), 18 => 00000000 ( 0.000000e+00) (00000000)
       vctsxs: ffbfffff (         -nan), 27 => 00000000 ( 0.000000e+00) (00000000)
 
-All done. Tested 165 different instructions
+All done. Tested 167 different instructions
index e901f17b4625c32412474bed8bb5c87ba7cb453a..f19977de4a674c56170b0eff162115af0ed270ae 100644 (file)
@@ -2636,6 +2636,56 @@ Altivec floating point arith insns with one arg:
    vrsqrtefp: ffbfffff ffbfffff ffbfffff ffbfffff
    vrsqrtefp:  => ffffc000 ffffc000 ffffc000 ffffc000 (00000000)
 
+     vlogefp: 02bfffff 02bfffff 02bfffff 02bfffff
+     vlogefp:  => c2f2d440 c2f2d440 c2f2d440 c2f2d440 (00000000)
+     vlogefp: 513fffff 513fffff 513fffff 513fffff
+     vlogefp:  => 420e5780 420e5780 420e5780 420e5780 (00000000)
+     vlogefp: 82bfffff 82bfffff 82bfffff 82bfffff
+     vlogefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vlogefp: d13fffff d13fffff d13fffff d13fffff
+     vlogefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vlogefp: 00000000 00000000 00000000 00000000
+     vlogefp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vlogefp: 80000000 80000000 80000000 80000000
+     vlogefp:  => ff800000 ff800000 ff800000 ff800000 (00000000)
+     vlogefp: 7f800000 7f800000 7f800000 7f800000
+     vlogefp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+     vlogefp: ff800000 ff800000 ff800000 ff800000
+     vlogefp:  => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+     vlogefp: 7fffffff 7fffffff 7fffffff 7fffffff
+     vlogefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vlogefp: ffffffff ffffffff ffffffff ffffffff
+     vlogefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+     vlogefp: 7fbfffff 7fbfffff 7fbfffff 7fbfffff
+     vlogefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+     vlogefp: ffbfffff ffbfffff ffbfffff ffbfffff
+     vlogefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+
+    vexptefp: 02bfffff 02bfffff 02bfffff 02bfffff
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: 513fffff 513fffff 513fffff 513fffff
+    vexptefp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vexptefp: 82bfffff 82bfffff 82bfffff 82bfffff
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: d13fffff d13fffff d13fffff d13fffff
+    vexptefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vexptefp: 00000000 00000000 00000000 00000000
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: 80000000 80000000 80000000 80000000
+    vexptefp:  => 3f800000 3f800000 3f800000 3f800000 (00000000)
+    vexptefp: 7f800000 7f800000 7f800000 7f800000
+    vexptefp:  => 7f800000 7f800000 7f800000 7f800000 (00000000)
+    vexptefp: ff800000 ff800000 ff800000 ff800000
+    vexptefp:  => 00000000 00000000 00000000 00000000 (00000000)
+    vexptefp: 7fffffff 7fffffff 7fffffff 7fffffff
+    vexptefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vexptefp: ffffffff ffffffff ffffffff ffffffff
+    vexptefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+    vexptefp: 7fbfffff 7fbfffff 7fbfffff 7fbfffff
+    vexptefp:  => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+    vexptefp: ffbfffff ffbfffff ffbfffff ffbfffff
+    vexptefp:  => ffffffff ffffffff ffffffff ffffffff (00000000)
+
 Altivec floating point compare insns:
     vcmpgtfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
     vcmpgtfp:  => 00000000 00000000 00000000 00000000 (00000000)
@@ -3611,4 +3661,4 @@ Altivec float special insns:
       vctsxs: ffbfffff (         -nan), 18 => 00000000 ( 0.000000e+00) (00000000)
       vctsxs: ffbfffff (         -nan), 27 => 00000000 ( 0.000000e+00) (00000000)
 
-All done. Tested 165 different instructions
+All done. Tested 167 different instructions
index 51d7d315112dc12a4d2c8046fb53515dbb9b58ae..00a0ad8d169f95a91881545bc7ec9ff12fc94c34 100644 (file)
@@ -146,15 +146,15 @@ void do_tests( void ) {
      print_vector_elements(dst);
 
 
-   // Valgrind not supported   __asm__ __volatile__ ("vexptefp %0,%1" : "=v" (dst): "v" (srcA));
-   //   printf ("   vexptefp(srcA) result = ");
-   //   print_vector_elements(dst);
+     __asm__ __volatile__ ("vexptefp %0,%1" : "=v" (dst): "v" (srcA));
+     printf ("   vexptefp(srcA) result = ");
+     print_vector_elements(dst);
 
-   /* Smallest representable floating point input does not generate
-      a subnormal result.  */
-   // Valgrind  not supported  __asm__ __volatile__ ("vlogefp %0,%1" : "=v" (dst): "v" (srcA));
-   //   printf ("   vlogefp(srcA) result = ");
-   //   print_vector_elements(dst);
+     /* Smallest representable floating point input does not generate
+        a subnormal result.  */
+     __asm__ __volatile__ ("vlogefp %0,%1" : "=v" (dst): "v" (srcA));
+     printf ("   vlogefp(srcA) result = ");
+     print_vector_elements(dst);
 
      __asm__ __volatile__ ("vrefp %0,%1" : "=v" (dst): "v" (srcA));
      printf ("   vrefp(srcA) result = ");
@@ -162,7 +162,7 @@ void do_tests( void ) {
      print_vector_elements(dst);
 
      /* Square root of the smallest representable number is a normal
-       number. Square root can't generate a subnormal result.  */
+        number. Square root can't generate a subnormal result.  */
      __asm__ __volatile__ ("vrsqrtefp %0,%1" : "=v" (dst): "v" (srcA));
      printf ("   vrsqrtefp(srcA) result   = 0x%016lx 0x%016lx\n\n",
              dst[1], dst[0]);
index af8d2425bfee6cf7500467355a1125f0742ed11f..bdca9482c7fad17e8d9c5571c391cb447e49a1c6 100644 (file)
@@ -7,6 +7,8 @@ srcA   = 0x8000012480000124 0x8000012480000124
    vrfim(srcA) result =  0xbf800000, 0xbf800000, 0xbf800000, 0xbf800000
    vrfin(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfiz(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xff800000, 0xff800000, 0xff800000, 0xff800000
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000
 
@@ -941,6 +943,8 @@ srcA   = 0x8000012480000124 0x8000012480000124
    vrfim(srcA) result =  0xbf800000, 0xbf800000, 0xbf800000, 0xbf800000
    vrfin(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfiz(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xff800000, 0xff800000, 0xff800000, 0xff800000
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000
 
@@ -1875,6 +1879,8 @@ srcA   = 0x000000080000000a 0x000000060000000c
    vrfim(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfin(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfiz(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0xc3126a00, 0xc3116a00, 0xc3120000, 0xc311ae00
    vrefp(srcA) result =  0x7f800000, 0x7f800000, 0x7f800000, 0x7f800000
    vrsqrtefp(srcA) result   = 0x63ffff0063e4f8c0 0x6413cd0063d105c0
 
@@ -2809,6 +2815,8 @@ srcA   = 0xfffffefcfffffdfd 0xfffffafafffffbfb
    vrfim(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
    vrfin(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
    vrfiz(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
+   vexptefp(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
+   vlogefp(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
    vrefp(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
    vrsqrtefp(srcA) result   = 0xfffffefcfffffdfd 0xfffffafafffffbfb
 
@@ -3743,6 +3751,8 @@ srcA   = 0x0000026800000278 0x0000024800000258
    vrfim(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfin(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfiz(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0xc30bcf00, 0xc30bc500, 0xc30bbb80, 0xc30bb280
    vrefp(srcA) result =  0x7f800000, 0x7f800000, 0x7f800000, 0x7f800000
    vrsqrtefp(srcA) result   = 0x626963c062666a80 0x626fb2c0626c7b00
 
@@ -4677,6 +4687,8 @@ srcA   = 0x0000000400000008 0x0000000200000002
    vrfim(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfin(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfiz(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0xc3140000, 0xc3140000, 0xc3130000, 0xc3120000
    vrefp(srcA) result =  0x7f800000, 0x7f800000, 0x7f800000, 0x7f800000
    vrsqrtefp(srcA) result   = 0x6435040063ffff00 0x647fff00647fff00
 
@@ -5611,6 +5623,8 @@ srcA   = 0xc2fe0000c2fd0000 0xc3000000c3020000
    vrfim(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fe0000
    vrfin(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fc0000
    vrfiz(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fc0000
+   vexptefp(srcA) result =  0x00200000, 0x00080000, 0x00400000, 0x005a8000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xbbfffe00, 0xbbfc0d40, 0xbc010100, 0xbc018500
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000
 
@@ -6545,6 +6559,8 @@ srcA   = 0xc2fe0000c2fd0000 0xc3000000c3020000
    vrfim(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fe0000
    vrfin(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fc0000
    vrfiz(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fc0000
+   vexptefp(srcA) result =  0x00200000, 0x00080000, 0x00400000, 0x005a8000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xbbfffe00, 0xbbfc0d40, 0xbc010100, 0xbc018500
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000
 
@@ -7479,6 +7495,8 @@ srcA   = 0x0000000400000002 0xc2fe0000c2fd0000
    vrfim(srcA) result =  0xc2fe0000, 0xc2fe0000, 0x00000000, 0x00000000
    vrfin(srcA) result =  0xc2fe0000, 0xc2fc0000, 0x00000000, 0x00000000
    vrfiz(srcA) result =  0xc2fe0000, 0xc2fc0000, 0x00000000, 0x00000000
+   vexptefp(srcA) result =  0x00400000, 0x005a8000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0xc3130000, 0xc3140000
    vrefp(srcA) result =  0xbc010100, 0xbc018500, 0x7f800000, 0x7f800000
    vrsqrtefp(srcA) result   = 0x64350400647fff00 0x7fc000007fc00000
 
@@ -8413,6 +8431,8 @@ srcA   = 0x7e9676997e700022 0xc2fe0000c2fd0000
    vrfim(srcA) result =  0xc2fe0000, 0xc2fe0000, 0x7e967699, 0x7e700022
    vrfin(srcA) result =  0xc2fe0000, 0xc2fc0000, 0x7e967699, 0x7e700022
    vrfiz(srcA) result =  0xc2fe0000, 0xc2fc0000, 0x7e967699, 0x7e700022
+   vexptefp(srcA) result =  0x00400000, 0x005a8000, 0x7f800000, 0x7f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x42fc7800, 0x42fbcfc0
    vrefp(srcA) result =  0xbc010100, 0xbc018500, 0x006ce430, 0x00888840
    vrsqrtefp(srcA) result   = 0x1fec1e6820043300 0x7fc000007fc00000
 
@@ -9347,6 +9367,8 @@ srcA   = 0x80b0000480b00006 0x80b0000180b00002
    vrfim(srcA) result =  0xbf800000, 0xbf800000, 0xbf800000, 0xbf800000
    vrfin(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfiz(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xfe3a2dc0, 0xfe3a2dc0, 0xfe3a2dc0, 0xfe3a2dc0
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000
 
@@ -10281,6 +10303,8 @@ srcA   = 0x80b0000280b00004 0x80b0000080b00001
    vrfim(srcA) result =  0xbf800000, 0xbf800000, 0xbf800000, 0xbf800000
    vrfin(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfiz(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xfe3a2dc0, 0xfe3a2dc0, 0xfe3a2dc0, 0xfe3a2dc0
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000
 
@@ -11215,6 +11239,8 @@ srcA   = 0x4e8000004e800000 0x4e8000004e800000
    vrfim(srcA) result =  0x4e800000, 0x4e800000, 0x4e800000, 0x4e800000
    vrfin(srcA) result =  0x4e800000, 0x4e800000, 0x4e800000, 0x4e800000
    vrfiz(srcA) result =  0x4e800000, 0x4e800000, 0x4e800000, 0x4e800000
+   vexptefp(srcA) result =  0x7f800000, 0x7f800000, 0x7f800000, 0x7f800000
+   vlogefp(srcA) result =  0x41f00000, 0x41f00000, 0x41f00000, 0x41f00000
    vrefp(srcA) result =  0x307ffe00, 0x307ffe00, 0x307ffe00, 0x307ffe00
    vrsqrtefp(srcA) result   = 0x37ffff0037ffff00 0x37ffff0037ffff00
 
@@ -12149,6 +12175,8 @@ srcA   = 0xb0000000b0000000 0xb0000000b0000000
    vrfim(srcA) result =  0xbf800000, 0xbf800000, 0xbf800000, 0xbf800000
    vrfin(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfiz(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xcefffe00, 0xcefffe00, 0xcefffe00, 0xcefffe00
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000
 
@@ -13085,6 +13113,8 @@ srcA   = 0x8000012480000124 0x8000012480000124
    vrfim(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfin(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfiz(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0xff800000, 0xff800000, 0xff800000, 0xff800000
    vrefp(srcA) result =  0xff800000, 0xff800000, 0xff800000, 0xff800000
    vrsqrtefp(srcA) result   = 0xff800000ff800000 0xff800000ff800000
 
@@ -14019,6 +14049,8 @@ srcA   = 0x8000012480000124 0x8000012480000124
    vrfim(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfin(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfiz(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0xff800000, 0xff800000, 0xff800000, 0xff800000
    vrefp(srcA) result =  0xff800000, 0xff800000, 0xff800000, 0xff800000
    vrsqrtefp(srcA) result   = 0xff800000ff800000 0xff800000ff800000
 
@@ -14953,6 +14985,8 @@ srcA   = 0x000000080000000a 0x000000060000000c
    vrfim(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfin(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfiz(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0xff800000, 0xff800000, 0xff800000, 0xff800000
    vrefp(srcA) result =  0x7f800000, 0x7f800000, 0x7f800000, 0x7f800000
    vrsqrtefp(srcA) result   = 0x7f8000007f800000 0x7f8000007f800000
 
@@ -15887,6 +15921,8 @@ srcA   = 0xfffffefcfffffdfd 0xfffffafafffffbfb
    vrfim(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
    vrfin(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
    vrfiz(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
+   vexptefp(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
+   vlogefp(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
    vrefp(srcA) result =  0xfffffafa, 0xfffffbfb, 0xfffffefc, 0xfffffdfd
    vrsqrtefp(srcA) result   = 0xfffffefcfffffdfd 0xfffffafafffffbfb
 
@@ -16821,6 +16857,8 @@ srcA   = 0x0000026800000278 0x0000024800000258
    vrfim(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfin(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfiz(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0xff800000, 0xff800000, 0xff800000, 0xff800000
    vrefp(srcA) result =  0x7f800000, 0x7f800000, 0x7f800000, 0x7f800000
    vrsqrtefp(srcA) result   = 0x7f8000007f800000 0x7f8000007f800000
 
@@ -17755,6 +17793,8 @@ srcA   = 0x0000000400000008 0x0000000200000002
    vrfim(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfin(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
    vrfiz(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0xff800000, 0xff800000, 0xff800000, 0xff800000
    vrefp(srcA) result =  0x7f800000, 0x7f800000, 0x7f800000, 0x7f800000
    vrsqrtefp(srcA) result   = 0x7f8000007f800000 0x7f8000007f800000
 
@@ -18689,6 +18729,8 @@ srcA   = 0xc2fe0000c2fd0000 0xc3000000c3020000
    vrfim(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fe0000
    vrfin(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fc0000
    vrfiz(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fc0000
+   vexptefp(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xbbfffe00, 0xbbfc0d40, 0xbc010100, 0xbc018500
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000
 
@@ -19623,6 +19665,8 @@ srcA   = 0xc2fe0000c2fd0000 0xc3000000c3020000
    vrfim(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fe0000
    vrfin(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fc0000
    vrfiz(srcA) result =  0xc3000000, 0xc3020000, 0xc2fe0000, 0xc2fc0000
+   vexptefp(srcA) result =  0x00000000, 0x00000000, 0x00000000, 0x00000000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xbbfffe00, 0xbbfc0d40, 0xbc010100, 0xbc018500
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000
 
@@ -20557,6 +20601,8 @@ srcA   = 0x0000000400000002 0xc2fe0000c2fd0000
    vrfim(srcA) result =  0xc2fe0000, 0xc2fe0000, 0x00000000, 0x00000000
    vrfin(srcA) result =  0xc2fe0000, 0xc2fc0000, 0x00000000, 0x00000000
    vrfiz(srcA) result =  0xc2fe0000, 0xc2fc0000, 0x00000000, 0x00000000
+   vexptefp(srcA) result =  0x00000000, 0x00000000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0xff800000, 0xff800000
    vrefp(srcA) result =  0xbc010100, 0xbc018500, 0x7f800000, 0x7f800000
    vrsqrtefp(srcA) result   = 0x7f8000007f800000 0x7fc000007fc00000
 
@@ -21491,6 +21537,8 @@ srcA   = 0x7e9676997e700022 0xc2fe0000c2fd0000
    vrfim(srcA) result =  0xc2fe0000, 0xc2fe0000, 0x7e967699, 0x7e700022
    vrfin(srcA) result =  0xc2fe0000, 0xc2fc0000, 0x7e967699, 0x7e700022
    vrfiz(srcA) result =  0xc2fe0000, 0xc2fc0000, 0x7e967699, 0x7e700022
+   vexptefp(srcA) result =  0x00000000, 0x00000000, 0x7f800000, 0x7f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x42fc7800, 0x42fbcfc0
    vrefp(srcA) result =  0xbc010100, 0xbc018500, 0x00000000, 0x00888840
    vrsqrtefp(srcA) result   = 0x1fec1e6820043300 0x7fc000007fc00000
 
@@ -22425,6 +22473,8 @@ srcA   = 0x80b0000480b00006 0x80b0000180b00002
    vrfim(srcA) result =  0xbf800000, 0xbf800000, 0xbf800000, 0xbf800000
    vrfin(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfiz(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xfe3a2dc0, 0xfe3a2dc0, 0xfe3a2dc0, 0xfe3a2dc0
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000
 
@@ -23359,6 +23409,8 @@ srcA   = 0x80b0000280b00004 0x80b0000080b00001
    vrfim(srcA) result =  0xbf800000, 0xbf800000, 0xbf800000, 0xbf800000
    vrfin(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfiz(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xfe3a2dc0, 0xfe3a2dc0, 0xfe3a2dc0, 0xfe3a2dc0
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000
 
@@ -24293,6 +24345,8 @@ srcA   = 0x4e8000004e800000 0x4e8000004e800000
    vrfim(srcA) result =  0x4e800000, 0x4e800000, 0x4e800000, 0x4e800000
    vrfin(srcA) result =  0x4e800000, 0x4e800000, 0x4e800000, 0x4e800000
    vrfiz(srcA) result =  0x4e800000, 0x4e800000, 0x4e800000, 0x4e800000
+   vexptefp(srcA) result =  0x7f800000, 0x7f800000, 0x7f800000, 0x7f800000
+   vlogefp(srcA) result =  0x41f00000, 0x41f00000, 0x41f00000, 0x41f00000
    vrefp(srcA) result =  0x307ffe00, 0x307ffe00, 0x307ffe00, 0x307ffe00
    vrsqrtefp(srcA) result   = 0x37ffff0037ffff00 0x37ffff0037ffff00
 
@@ -25227,6 +25281,8 @@ srcA   = 0xb0000000b0000000 0xb0000000b0000000
    vrfim(srcA) result =  0xbf800000, 0xbf800000, 0xbf800000, 0xbf800000
    vrfin(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
    vrfiz(srcA) result =  0x80000000, 0x80000000, 0x80000000, 0x80000000
+   vexptefp(srcA) result =  0x3f800000, 0x3f800000, 0x3f800000, 0x3f800000
+   vlogefp(srcA) result =  0x7fc00000, 0x7fc00000, 0x7fc00000, 0x7fc00000
    vrefp(srcA) result =  0xcefffe00, 0xcefffe00, 0xcefffe00, 0xcefffe00
    vrsqrtefp(srcA) result   = 0x7fc000007fc00000 0x7fc000007fc00000