From: Carl Love Date: Tue, 28 May 2019 19:03:59 +0000 (-0500) Subject: PPC64, Update testcases for vlogefp, vexptefp instructions X-Git-Tag: VALGRIND_3_16_0~271 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=31b3a755a93daaacbb993ffd80fb0780cc76464d;p=thirdparty%2Fvalgrind.git PPC64, Update testcases for vlogefp, vexptefp instructions https://bugs.kde.org/show_bug.cgi?id=407340 --- diff --git a/none/tests/ppc32/jm-insns.c b/none/tests/ppc32/jm-insns.c index e6e947c7f3..5316ce318d 100644 --- a/none/tests/ppc32/jm-insns.c +++ b/none/tests/ppc32/jm-insns.c @@ -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) */ diff --git a/none/tests/ppc32/jm-vmx.stdout.exp b/none/tests/ppc32/jm-vmx.stdout.exp index 307c75f0f9..35ac34d4db 100644 --- a/none/tests/ppc32/jm-vmx.stdout.exp +++ b/none/tests/ppc32/jm-vmx.stdout.exp @@ -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 diff --git a/none/tests/ppc64/jm-vmx.stdout.exp b/none/tests/ppc64/jm-vmx.stdout.exp index 67e27ec5c0..940223c1b9 100644 --- a/none/tests/ppc64/jm-vmx.stdout.exp +++ b/none/tests/ppc64/jm-vmx.stdout.exp @@ -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 diff --git a/none/tests/ppc64/jm-vmx.stdout.exp-LE b/none/tests/ppc64/jm-vmx.stdout.exp-LE index e901f17b46..f19977de4a 100644 --- a/none/tests/ppc64/jm-vmx.stdout.exp-LE +++ b/none/tests/ppc64/jm-vmx.stdout.exp-LE @@ -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 diff --git a/none/tests/ppc64/subnormal_test.c b/none/tests/ppc64/subnormal_test.c index 51d7d31511..00a0ad8d16 100644 --- a/none/tests/ppc64/subnormal_test.c +++ b/none/tests/ppc64/subnormal_test.c @@ -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]); diff --git a/none/tests/ppc64/subnormal_test.stdout.exp b/none/tests/ppc64/subnormal_test.stdout.exp index af8d2425bf..bdca9482c7 100644 --- a/none/tests/ppc64/subnormal_test.stdout.exp +++ b/none/tests/ppc64/subnormal_test.stdout.exp @@ -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