|
From: <sv...@va...> - 2012-07-06 21:42:25
|
philippe 2012-07-06 22:42:14 +0100 (Fri, 06 Jul 2012)
New Revision: 12718
Log:
fix 302918 Enable testing of the vmaddfp and vnsubfp instructions in the testsuite
Modified files:
trunk/NEWS
trunk/docs/internals/3_7_BUGSTATUS.txt
trunk/none/tests/ppc32/jm-insns.c
trunk/none/tests/ppc32/jm-vmx.stdout.exp
trunk/none/tests/ppc32/jm-vmx.stdout.exp_Minus_nan
trunk/none/tests/ppc64/jm-vmx.stdout.exp
trunk/none/tests/ppc64/jm-vmx.stdout.exp_Minus_nan
Modified: trunk/none/tests/ppc32/jm-insns.c (+42 -10)
===================================================================
--- trunk/none/tests/ppc32/jm-insns.c 2012-07-06 10:17:29 +01:00 (rev 12717)
+++ trunk/none/tests/ppc32/jm-insns.c 2012-07-06 22:42:14 +01:00 (rev 12718)
@@ -3115,7 +3115,7 @@
#endif /* defined (HAS_ALTIVEC) */
#if defined (HAS_ALTIVEC)
-#if 0
+#if 1
static void test_vmaddfp (void)
{
__asm__ __volatile__ ("vmaddfp 17, 14, 15, 16");
@@ -3128,8 +3128,8 @@
#endif
static test_t tests_afa_ops_three[] = {
-// { &test_vmaddfp , " vmaddfp", }, // TODO: Not yet supported
-// { &test_vnmsubfp , " vnmsubfp", }, // TODO: Not yet supported
+ { &test_vmaddfp , " vmaddfp", },
+ { &test_vnmsubfp , " vnmsubfp", },
{ NULL, NULL, },
};
#endif /* defined (HAS_ALTIVEC) */
@@ -4097,16 +4097,16 @@
#endif /* defined (HAS_ALTIVEC) */
#if defined (HAS_ALTIVEC)
{
- tests_afa_ops_three ,
- "Altivec floating point arith insns with three args",
- 0x00050103,
+ tests_afa_ops_two ,
+ "Altivec floating point arith insns with two args",
+ 0x00050102,
},
#endif /* defined (HAS_ALTIVEC) */
#if defined (HAS_ALTIVEC)
{
- tests_afa_ops_two ,
- "Altivec floating point arith insns with two args",
- 0x00050102,
+ tests_afa_ops_three ,
+ "Altivec floating point arith insns with three args",
+ 0x00050103,
},
#endif /* defined (HAS_ALTIVEC) */
#if defined (HAS_ALTIVEC)
@@ -7000,7 +7000,7 @@
volatile vector float vec_in1, vec_in2, vec_in3, vec_out;
volatile vector unsigned int vscr;
unsigned int *src1, *src2, *src3, *dst;
- int i,j,k;
+ int i,j,k,n;
#if defined TEST_VSCR_SAT
unsigned int* p_vscr;
#endif
@@ -7047,6 +7047,38 @@
src3 = (unsigned int*)&vec_in3;
dst = (unsigned int*)&vec_out;
+ /* Valgrind emulation for vmaddfp and vnmsubfp generates negative
+ * NAN. Technically, NAN is not positive or negative so mask off
+ * the sign bit to eliminate false errors.
+ *
+ * Valgrind emulation is creating negative zero. Mask off negative
+ * from zero result.
+ *
+ * These are only an issue as we are printing the result in hex.
+ *
+ * The VEX emulation accuracy for the vmaddfp and vnmsubfp
+ * instructions is off by a single bit in the least significant
+ * bit position of the result. Mask off the LSB.
+ */
+
+ for (n=0; n<4; n++) {
+ /* NAN result*/
+ if (((dst[n] & 0x7F800000) == 0x7F800000) &&
+ ((dst[n] & 0x7FFFFF) != 0))
+ dst[n] &= 0x7FFFFFFF;
+
+ /* Negative zero result */
+ else if (dst[n] == 0x80000000)
+ dst[n] = 0x0;
+
+ else
+ /* The actual result and the emulated result for the
+ * vmaddfp and vnmsubfp instructions sometimes differ
+ * in the least significant bit. Mask off the bit.
+ */
+ dst[n] &= 0xFFFFFFFE;
+ }
+
printf("%s: %08x%08x%08x%08x, %08x%08x%08x%08x, %08x%08x%08x%08x\n", name,
src1[0], src1[1], src1[2], src1[3],
src2[0], src2[1], src2[2], src2[3],
Modified: trunk/NEWS (+1 -1)
===================================================================
--- trunk/NEWS 2012-07-06 10:17:29 +01:00 (rev 12717)
+++ trunk/NEWS 2012-07-06 22:42:14 +01:00 (rev 12718)
@@ -223,8 +223,8 @@
302656 Unhandled instruction (vcvtsi2ssq)
== 273475 (canonical avx)
302709 valgrind for ARM needs extra tls support for android emulator under Linux
+302918 Enable testing of the vmaddfp and vnsubfp instructions in the testsuite
-
Release 3.7.0 (5 November 2011)
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
3.7.0 is a feature release with many significant improvements and the
Modified: trunk/docs/internals/3_7_BUGSTATUS.txt (+0 -4)
===================================================================
--- trunk/docs/internals/3_7_BUGSTATUS.txt 2012-07-06 10:17:29 +01:00 (rev 12717)
+++ trunk/docs/internals/3_7_BUGSTATUS.txt 2012-07-06 22:42:14 +01:00 (rev 12718)
@@ -318,8 +318,4 @@
302901 Valgrind crashes with dwz optimized debuginfo
**possible 3.8.0, has patch, should take
-302918 Enable testing of the vmaddfp and vnsubfp instructions in
- the testsuite
- **possible 3.8.0, has patch, should take.
-
-- Thurs 5 July 2012, mid afternoon.
Modified: trunk/none/tests/ppc64/jm-vmx.stdout.exp (+580 -1)
===================================================================
--- trunk/none/tests/ppc64/jm-vmx.stdout.exp 2012-07-06 10:17:29 +01:00 (rev 12717)
+++ trunk/none/tests/ppc64/jm-vmx.stdout.exp 2012-07-06 22:42:14 +01:00 (rev 12718)
@@ -1907,6 +1907,585 @@
vminfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff
vminfp: => ffffffff ffffffff ffffffff ffffffff (00000000)
+Altivec floating point arith insns with three args:
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vmaddfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vmaddfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+ vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+ vmaddfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vmaddfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vmaddfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+ vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+ vmaddfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 02bfffff02bfffff02bfffff02bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => 630ffffe 630ffffe 630ffffe 630ffffe (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 513fffff513fffff513fffff513fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 82bfffff82bfffff82bfffff82bfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => 148ffffe 148ffffe 148ffffe 148ffffe (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => e30ffffe e30ffffe e30ffffe e30ffffe (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: d13fffffd13fffffd13fffffd13fffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vnmsubfp: 00000000000000000000000000000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vnmsubfp: 00000000000000000000000000000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+ vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+ vnmsubfp: 00000000000000000000000000000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 00000000000000000000000000000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vnmsubfp: 80000000800000008000000080000000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vnmsubfp: 80000000800000008000000080000000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+ vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => 7fc00000 7fc00000 7fc00000 7fc00000 (00000000)
+ vnmsubfp: 80000000800000008000000080000000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 80000000800000008000000080000000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7f8000007f8000007f8000007f800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => ff800000 ff800000 ff800000 ff800000 (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ff800000ff800000ff800000ff800000, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fffffff7fffffff7fffffff7fffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffffffffffffffffffffffffffffffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: 7fbfffff7fbfffff7fbfffff7fbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 02bfffff02bfffff02bfffff02bfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 80000000800000008000000080000000
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vnmsubfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vnmsubfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+
Altivec floating point arith insns with one arg:
vrfin: 02bfffff 02bfffff 02bfffff 02bfffff
vrfin: => 00000000 00000000 00000000 00000000 (00000000)
@@ -3033,4 +3612,4 @@
vctsxs: ffbfffff ( nan), 18 => 00000000 ( 0.000000e+00) (00000000)
vctsxs: ffbfffff ( nan), 27 => 00000000 ( 0.000000e+00) (00000000)
-All done. Tested 163 different instructions
+All done. Tested 165 different instructions
Modified: trunk/none/tests/ppc32/jm-vmx.stdout.exp (+580 -1)
===================================================================
--- trunk/none/tests/ppc32/jm-vmx.stdout.exp 2012-07-06 10:17:29 +01:00 (rev 12717)
+++ trunk/none/tests/ppc32/jm-vmx.stdout.exp 2012-07-06 22:42:14 +01:00 (rev 12718)
@@ -1907,6 +1907,585 @@
vminfp: ffbfffffffbfffffffbfffffffbfffff, ffffffffffffffffffffffffffffffff
vminfp: => ffffffff ffffffff ffffffff ffffffff (00000000)
+Altivec floating point arith insns with three args:
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 02bffffe 02bffffe 02bffffe 02bffffe (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 80000000800000008000000080000000
+ vmaddfp: => 00000000 00000000 00000000 00000000 (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 02bfffff02bfffff02bfffff02bfffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 80000000800000008000000080000000
+ vmaddfp: => 948ffffe 948ffffe 948ffffe 948ffffe (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, d13fffffd13fffffd13fffffd13fffff, 7fbfffff7fbfffff7fbfffff7fbfffff
+ vmaddfp: => 7fffffff 7fffffff 7fffffff 7fffffff (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 02bfffff02bfffff02bfffff02bfffff
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 80000000800000008000000080000000
+ vmaddfp: => 7f800000 7f800000 7f800000 7f800000 (00000000)
+ vmaddfp: 02bfffff02bfffff02bfffff02bfffff, 7f8000007f8000007f8000007f800000, 7fbfffff7fbff...
[truncated message content] |