commit e92c94c87913d9c257d1577493fdfd6b346b1a67

Author: carll <carll@8f6e269a-dfd6-0310-a8e1-e2731360e62c>

Date:   Tue Feb 16 21:20:24 2016 +0000

    128bit modulo and carry instruction fix

    This patch fixes an issue with caculating the carry to the next 32-bit

    chunk for the 128-bit add and subract instructions: vaddcuq, vadduqm,

    vsubcuq, vsubuqm, vaddecuq, vaddeuqm, vsubecuq, vsubeuqm

    Valgrind Bugzilla 359472

    git-svn-id: svn://svn.valgrind.org/vex/trunk@3209 8f6e269a-dfd6-0310-a8e1-e2731360e62c

diff --git a/VEX/priv/guest_ppc_toIR.c b/VEX/priv/guest_ppc_toIR.c

index 6a0b6d8..21a0692 100644

--- a/VEX/priv/guest_ppc_toIR.c

+++ b/VEX/priv/guest_ppc_toIR.c

@@ -17968,6 +17968,7 @@ static IRTemp _get_quad_modulo_or_carry(IRExpr * vecA, IRExpr * vecB,

    IRTemp _vecA_32   = IRTemp_INVALID;

    IRTemp _vecB_32   = IRTemp_INVALID;

    IRTemp res_32     = IRTemp_INVALID;

+   IRTemp res_64     = IRTemp_INVALID;

    IRTemp result     = IRTemp_INVALID;

    IRTemp tmp_result = IRTemp_INVALID;

    IRTemp carry      = IRTemp_INVALID;

@@ -17977,10 +17978,15 @@ static IRTemp _get_quad_modulo_or_carry(IRExpr * vecA, IRExpr * vecB,

    IRExpr * _vecA_high64 = unop( Iop_V128HIto64, vecA );

    IRExpr * _vecB_high64 = unop( Iop_V128HIto64, vecB );

+   carry = newTemp(Ity_I32);

+   assign( carry, cin );

+

    for (i = 0; i < 4; i++) {

       _vecA_32 = newTemp(Ity_I32);

       _vecB_32 = newTemp(Ity_I32);

       res_32   = newTemp(Ity_I32);

+      res_64   = newTemp(Ity_I64);

+

       switch (i) {

       case 0:

          assign(_vecA_32, unop( Iop_64to32, _vecA_low64 ) );

@@ -18000,13 +18006,25 @@ static IRTemp _get_quad_modulo_or_carry(IRExpr * vecA, IRExpr * vecB,

          break;

       }

-      assign(res_32, binop( Iop_Add32,

-                            binop( Iop_Add32,

-                                   binop ( Iop_Add32,

-                                           mkexpr(_vecA_32),

-                                           mkexpr(_vecB_32) ),

-                                   (i == 0) ? mkU32(0) : mkexpr(carry) ),

-                            (i == 0) ? cin : mkU32(0) ) );

+      assign( res_64, binop( Iop_Add64,

+                             binop ( Iop_Add64,

+                                     binop( Iop_32HLto64,

+                                            mkU32( 0 ),

+                                            mkexpr(_vecA_32) ),

+                                     binop( Iop_32HLto64,

+                                            mkU32( 0 ),

+                                            mkexpr(_vecB_32) ) ),

+                             binop( Iop_32HLto64,

+                                    mkU32( 0 ),

+                                    mkexpr( carry ) ) ) );

+

+      /* Calculate the carry to the next higher 32 bits. */

+      carry = newTemp(Ity_I32);

+      assign(carry, unop( Iop_64HIto32, mkexpr( res_64 ) ) );

+

+      /* result is the lower 32-bits */

+      assign(res_32, unop( Iop_64to32, mkexpr( res_64 ) ) );

+

       if (modulo) {

          result = newTemp(Ity_V128);

          assign(result, binop( Iop_OrV128,

@@ -18023,10 +18041,6 @@ static IRTemp _get_quad_modulo_or_carry(IRExpr * vecA, IRExpr * vecB,

          tmp_result = newTemp(Ity_V128);

          assign(tmp_result, mkexpr(result));

       }

-      carry = newTemp(Ity_I32);

-      assign(carry, unop(Iop_1Uto32, binop( Iop_CmpLT32U,

-                                            mkexpr(res_32),

-                                            mkexpr(_vecA_32 ) ) ) );

    }

    if (modulo)

       return result;

commit 211840304bbac0dcda454ef41c557d8bcfdc6c78

Author: carll <carll@a5019735-40e9-0310-863c-91ae7b9d1cf9>

Date:   Tue Feb 16 21:23:52 2016 +0000

    Power PPC 128bit modulo and carry instruction fix

    VEX commit 3209 fixed: an issue with caculating the carry to the next 32-bit

    chunk for the Power PPC 128-bit add and subract instructions: vaddcuq, vadduqm,

    vsubcuq, vsubuqm, vaddecuq, vaddeuqm, vsubecuq, vsubeuqm

    The corresponding test case didn't catch the issue.  This commit adds data

    values to the test that verify the issue is fixed.

    Valgrind Bugzilla 359472

    git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15790 a5019735-40e9-0310-863c-91ae7b9d1cf9

diff --git a/none/tests/ppc64/jm_vec_isa_2_07.stdout.exp b/none/tests/ppc64/jm_vec_isa_2_07.stdout.exp

index 9b5c24f..099491d 100644

--- a/none/tests/ppc64/jm_vec_isa_2_07.stdout.exp

+++ b/none/tests/ppc64/jm_vec_isa_2_07.stdout.exp

@@ -2,224 +2,1173 @@ mfvsrd: 0102030405060708 => 0102030405060708

 mfvsrd: 090a0b0c0e0d0e0f => 090a0b0c0e0d0e0f

 mfvsrd: f1f2f3f4f5f6f7f8 => f1f2f3f4f5f6f7f8

 mfvsrd: f9fafbfcfefdfeff => f9fafbfcfefdfeff

+mfvsrd: 00007fffffffffff => 00007fffffffffff

+mfvsrd: ffff000000000000 => ffff000000000000

+mfvsrd: 0000800000000000 => 0000800000000000

+mfvsrd: 0000000000000000 => 0000000000000000

+mfvsrd: ffffffffffffffff => ffffffffffffffff

 mfvsrwz: 0102030405060708 => 0000000005060708

 mfvsrwz: 090a0b0c0e0d0e0f => 000000000e0d0e0f

 mfvsrwz: f1f2f3f4f5f6f7f8 => 00000000f5f6f7f8

 mfvsrwz: f9fafbfcfefdfeff => 00000000fefdfeff

+mfvsrwz: 00007fffffffffff => 00000000ffffffff

+mfvsrwz: ffff000000000000 => 0000000000000000

+mfvsrwz: 0000800000000000 => 0000000000000000

+mfvsrwz: 0000000000000000 => 0000000000000000

+mfvsrwz: ffffffffffffffff => 00000000ffffffff

 mtvsrd: 0102030405060708 => 0102030405060708

 mtvsrd: 090a0b0c0e0d0e0f => 090a0b0c0e0d0e0f

 mtvsrd: f1f2f3f4f5f6f7f8 => f1f2f3f4f5f6f7f8

 mtvsrd: f9fafbfcfefdfeff => f9fafbfcfefdfeff

+mtvsrd: 00007fffffffffff => 00007fffffffffff

+mtvsrd: ffff000000000000 => ffff000000000000

+mtvsrd: 0000800000000000 => 0000800000000000

+mtvsrd: 0000000000000000 => 0000000000000000

+mtvsrd: ffffffffffffffff => ffffffffffffffff

 mtvsrwz: 05060708 => 0000000005060708

 mtvsrwz: 0e0d0e0f => 000000000e0d0e0f

 mtvsrwz: f5f6f7f8 => 00000000f5f6f7f8

 mtvsrwz: fefdfeff => 00000000fefdfeff

+mtvsrwz: ffffffff => 00000000ffffffff

+mtvsrwz: 00000000 => 0000000000000000

+mtvsrwz: 00000000 => 0000000000000000

+mtvsrwz: 00000000 => 0000000000000000

+mtvsrwz: ffffffff => 00000000ffffffff

 mtfprwa: 05060708 => 0000000005060708

 mtfprwa: 0e0d0e0f => 000000000e0d0e0f

 mtfprwa: f5f6f7f8 => fffffffff5f6f7f8

 mtfprwa: fefdfeff => fffffffffefdfeff

+mtfprwa: ffffffff => ffffffffffffffff

+mtfprwa: 00000000 => 0000000000000000

+mtfprwa: 00000000 => 0000000000000000

+mtfprwa: 00000000 => 0000000000000000

+mtfprwa: ffffffff => ffffffffffffffff

 vaddudm: 0102030405060708 @@ 0102030405060708  ==> 020406080a0c0e10

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 121416181c1a1c1e

 vaddudm: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f2f4f6f8fafcff00

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 030507090d0b0d0e

+vaddudm: 0102030405060708 @@ 00007fffffffffff  ==> 0102830405060707

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 09090b0c0e0d0e0f

+vaddudm: 0102030405060708 @@ 0000800000000000  ==> 0102830405060708

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f

+vaddudm: 0102030405060708 @@ ffffffffffffffff  ==> 0102030405060707

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 090a0b0c0e0d0e60

 vaddudm: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f4f6f8fafcff00

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 030507090d0b0d0e

 vaddudm: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> e3e5e7e9ebedeff0

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f3f5f7f9fdfbfdfe

+vaddudm: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f373f4f5f6f7f7

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9f9fbfcfefdfeff

+vaddudm: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f373f4f5f6f7f8

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff

+vaddudm: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> f1f2f3f4f5f6f7f7

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> f9fafbfcfefdff50

+vaddudm: 00007fffffffffff @@ 0102030405060708  ==> 0102830405060707

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 09090b0c0e0d0e0f

+vaddudm: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f373f4f5f6f7f7

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9f9fbfcfefdfeff

+vaddudm: 00007fffffffffff @@ 00007fffffffffff  ==> 0000fffffffffffe

+	ffff000000000000 @@ ffff000000000000  ==> fffe000000000000

+vaddudm: 00007fffffffffff @@ 0000800000000000  ==> 0000ffffffffffff

+	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000

+vaddudm: 00007fffffffffff @@ ffffffffffffffff  ==> 00007ffffffffffe

+	ffff000000000000 @@ 0000000000000051  ==> ffff000000000051

+vaddudm: 0000800000000000 @@ 0102030405060708  ==> 0102830405060708

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

+vaddudm: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> f1f373f4f5f6f7f8

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vaddudm: 0000800000000000 @@ 00007fffffffffff  ==> 0000ffffffffffff

+	0000000000000000 @@ ffff000000000000  ==> ffff000000000000

+vaddudm: 0000800000000000 @@ 0000800000000000  ==> 0001000000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vaddudm: 0000800000000000 @@ ffffffffffffffff  ==> 00007fffffffffff

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000051

+vaddudm: ffffffffffffffff @@ 0102030405060708  ==> 0102030405060707

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e60

+vaddudm: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f7

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdff50

+vaddudm: ffffffffffffffff @@ 00007fffffffffff  ==> 00007ffffffffffe

+	0000000000000051 @@ ffff000000000000  ==> ffff000000000051

+vaddudm: ffffffffffffffff @@ 0000800000000000  ==> 00007fffffffffff

+	0000000000000051 @@ 0000000000000000  ==> 0000000000000051

+vaddudm: ffffffffffffffff @@ ffffffffffffffff  ==> fffffffffffffffe

+	0000000000000051 @@ 0000000000000051  ==> 00000000000000a2

 vsubudm: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

 vsubudm: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f10

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f10

+vsubudm: 0102030405060708 @@ 00007fffffffffff  ==> 0101830405060709

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090b0b0c0e0d0e0f

+vsubudm: 0102030405060708 @@ 0000800000000000  ==> 0101830405060708

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f

+vsubudm: 0102030405060708 @@ ffffffffffffffff  ==> 0102030405060709

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 090a0b0c0e0d0dbe

 vsubudm: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f0f0f0f0f0f0f0f0

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f0f0f0f0f0f0f0f0

 vsubudm: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vsubudm: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f273f4f5f6f7f9

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fbfbfcfefdfeff

+vsubudm: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f273f4f5f6f7f8

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff

+vsubudm: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> f1f2f3f4f5f6f7f9

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> f9fafbfcfefdfeae

+vsubudm: 00007fffffffffff @@ 0102030405060708  ==> fefe7cfbfaf9f8f7

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f4f4f3f1f2f1f1

+vsubudm: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090807

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0604040301020101

+vsubudm: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000

+	ffff000000000000 @@ ffff000000000000  ==> 0000000000000000

+vsubudm: 00007fffffffffff @@ 0000800000000000  ==> ffffffffffffffff

+	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000

+vsubudm: 00007fffffffffff @@ ffffffffffffffff  ==> 0000800000000000

+	ffff000000000000 @@ 0000000000000051  ==> fffeffffffffffaf

+vsubudm: 0000800000000000 @@ 0102030405060708  ==> fefe7cfbfaf9f8f8

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f1

+vsubudm: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090808

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0605040301020101

+vsubudm: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000001

+	0000000000000000 @@ ffff000000000000  ==> 0001000000000000

+vsubudm: 0000800000000000 @@ 0000800000000000  ==> 0000000000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vsubudm: 0000800000000000 @@ ffffffffffffffff  ==> 0000800000000001

+	0000000000000000 @@ 0000000000000051  ==> ffffffffffffffaf

+vsubudm: ffffffffffffffff @@ 0102030405060708  ==> fefdfcfbfaf9f8f7

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f242

+vsubudm: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0e0d0c0b0a090807

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 0605040301020152

+vsubudm: ffffffffffffffff @@ 00007fffffffffff  ==> ffff800000000000

+	0000000000000051 @@ ffff000000000000  ==> 0001000000000051

+vsubudm: ffffffffffffffff @@ 0000800000000000  ==> ffff7fffffffffff

+	0000000000000051 @@ 0000000000000000  ==> 0000000000000051

+vsubudm: ffffffffffffffff @@ ffffffffffffffff  ==> 0000000000000000

+	0000000000000051 @@ 0000000000000051  ==> 0000000000000000

 vmaxud: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

 vmaxud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vmaxud: 0102030405060708 @@ 00007fffffffffff  ==> 0102030405060708

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> ffff000000000000

+vmaxud: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f

+vmaxud: 0102030405060708 @@ ffffffffffffffff  ==> ffffffffffffffff

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 090a0b0c0e0d0e0f

 vmaxud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f1f2f3f4f5f6f7f8

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f9fafbfcfefdfeff

 vmaxud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vmaxud: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f2f3f4f5f6f7f8

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> ffff000000000000

+vmaxud: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff

+vmaxud: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> ffffffffffffffff

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> f9fafbfcfefdfeff

+vmaxud: 00007fffffffffff @@ 0102030405060708  ==> 0102030405060708

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ffff000000000000

+vmaxud: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffff000000000000

+vmaxud: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff

+	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000

+vmaxud: 00007fffffffffff @@ 0000800000000000  ==> 0000800000000000

+	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000

+vmaxud: 00007fffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff

+	ffff000000000000 @@ 0000000000000051  ==> ffff000000000000

+vmaxud: 0000800000000000 @@ 0102030405060708  ==> 0102030405060708

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

+vmaxud: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vmaxud: 0000800000000000 @@ 00007fffffffffff  ==> 0000800000000000

+	0000000000000000 @@ ffff000000000000  ==> ffff000000000000

+vmaxud: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vmaxud: 0000800000000000 @@ ffffffffffffffff  ==> ffffffffffffffff

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000051

+vmaxud: ffffffffffffffff @@ 0102030405060708  ==> ffffffffffffffff

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

+vmaxud: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vmaxud: ffffffffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ ffff000000000000  ==> ffff000000000000

+vmaxud: ffffffffffffffff @@ 0000800000000000  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000000  ==> 0000000000000051

+vmaxud: ffffffffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000051  ==> 0000000000000051

 vmaxsd: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

 vmaxsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0102030405060708

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 090a0b0c0e0d0e0f

+vmaxsd: 0102030405060708 @@ 00007fffffffffff  ==> 0102030405060708

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f

+vmaxsd: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f

+vmaxsd: 0102030405060708 @@ ffffffffffffffff  ==> 0102030405060708

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 090a0b0c0e0d0e0f

 vmaxsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0102030405060708

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

 vmaxsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vmaxsd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 00007fffffffffff

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> ffff000000000000

+vmaxsd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000800000000000

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000

+vmaxsd: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> ffffffffffffffff

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> 0000000000000051

+vmaxsd: 00007fffffffffff @@ 0102030405060708  ==> 0102030405060708

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

+vmaxsd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 00007fffffffffff

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffff000000000000

+vmaxsd: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff

+	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000

+vmaxsd: 00007fffffffffff @@ 0000800000000000  ==> 0000800000000000

+	ffff000000000000 @@ 0000000000000000  ==> 0000000000000000

+vmaxsd: 00007fffffffffff @@ ffffffffffffffff  ==> 00007fffffffffff

+	ffff000000000000 @@ 0000000000000051  ==> 0000000000000051

+vmaxsd: 0000800000000000 @@ 0102030405060708  ==> 0102030405060708

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

+vmaxsd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000800000000000

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vmaxsd: 0000800000000000 @@ 00007fffffffffff  ==> 0000800000000000

+	0000000000000000 @@ ffff000000000000  ==> 0000000000000000

+vmaxsd: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vmaxsd: 0000800000000000 @@ ffffffffffffffff  ==> 0000800000000000

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000051

+vmaxsd: ffffffffffffffff @@ 0102030405060708  ==> 0102030405060708

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

+vmaxsd: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 0000000000000051

+vmaxsd: ffffffffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff

+	0000000000000051 @@ ffff000000000000  ==> 0000000000000051

+vmaxsd: ffffffffffffffff @@ 0000800000000000  ==> 0000800000000000

+	0000000000000051 @@ 0000000000000000  ==> 0000000000000051

+vmaxsd: ffffffffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000051  ==> 0000000000000051

 vminud: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

 vminud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0102030405060708

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 090a0b0c0e0d0e0f

+vminud: 0102030405060708 @@ 00007fffffffffff  ==> 00007fffffffffff

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f

+vminud: 0102030405060708 @@ 0000800000000000  ==> 0000800000000000

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0000000000000000

+vminud: 0102030405060708 @@ ffffffffffffffff  ==> 0102030405060708

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 0000000000000051

 vminud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0102030405060708

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

 vminud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vminud: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 00007fffffffffff

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff

+vminud: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000800000000000

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000

+vminud: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> f1f2f3f4f5f6f7f8

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> 0000000000000051

+vminud: 00007fffffffffff @@ 0102030405060708  ==> 00007fffffffffff

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

+vminud: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 00007fffffffffff

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vminud: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff

+	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000

+vminud: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff

+	ffff000000000000 @@ 0000000000000000  ==> 0000000000000000

+vminud: 00007fffffffffff @@ ffffffffffffffff  ==> 00007fffffffffff

+	ffff000000000000 @@ 0000000000000051  ==> 0000000000000051

+vminud: 0000800000000000 @@ 0102030405060708  ==> 0000800000000000

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vminud: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000800000000000

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vminud: 0000800000000000 @@ 00007fffffffffff  ==> 00007fffffffffff

+	0000000000000000 @@ ffff000000000000  ==> 0000000000000000

+vminud: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vminud: 0000800000000000 @@ ffffffffffffffff  ==> 0000800000000000

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000000

+vminud: ffffffffffffffff @@ 0102030405060708  ==> 0102030405060708

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0000000000000051

+vminud: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 0000000000000051

+vminud: ffffffffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff

+	0000000000000051 @@ ffff000000000000  ==> 0000000000000051

+vminud: ffffffffffffffff @@ 0000800000000000  ==> 0000800000000000

+	0000000000000051 @@ 0000000000000000  ==> 0000000000000000

+vminud: ffffffffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000051  ==> 0000000000000051

 vminsd: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f

 vminsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vminsd: 0102030405060708 @@ 00007fffffffffff  ==> 00007fffffffffff

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> ffff000000000000

+vminsd: 0102030405060708 @@ 0000800000000000  ==> 0000800000000000

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0000000000000000

+vminsd: 0102030405060708 @@ ffffffffffffffff  ==> ffffffffffffffff

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 0000000000000051

 vminsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f1f2f3f4f5f6f7f8

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f9fafbfcfefdfeff

 vminsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vminsd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f2f3f4f5f6f7f8

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff

+vminsd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff

+vminsd: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> f1f2f3f4f5f6f7f8

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> f9fafbfcfefdfeff

+vminsd: 00007fffffffffff @@ 0102030405060708  ==> 00007fffffffffff

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ffff000000000000

+vminsd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vminsd: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff

+	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000

+vminsd: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff

+	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000

+vminsd: 00007fffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff

+	ffff000000000000 @@ 0000000000000051  ==> ffff000000000000

+vminsd: 0000800000000000 @@ 0102030405060708  ==> 0000800000000000

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vminsd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vminsd: 0000800000000000 @@ 00007fffffffffff  ==> 00007fffffffffff

+	0000000000000000 @@ ffff000000000000  ==> ffff000000000000

+vminsd: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vminsd: 0000800000000000 @@ ffffffffffffffff  ==> ffffffffffffffff

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000000

+vminsd: ffffffffffffffff @@ 0102030405060708  ==> ffffffffffffffff

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0000000000000051

+vminsd: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff

+vminsd: ffffffffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ ffff000000000000  ==> ffff000000000000

+vminsd: ffffffffffffffff @@ 0000800000000000  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000000  ==> 0000000000000000

+vminsd: ffffffffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000051  ==> 0000000000000051

 vcmpequd: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff

 vcmpequd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vcmpequd: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 0000000000000000

+vcmpequd: 0102030405060708 @@ 0000800000000000  ==> 0000000000000000

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0000000000000000

+vcmpequd: 0102030405060708 @@ ffffffffffffffff  ==> 0000000000000000

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 0000000000000000

 vcmpequd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0000000000000000

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

 vcmpequd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff

+vcmpequd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000000

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> 0000000000000000

+vcmpequd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000000000000000

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000

+vcmpequd: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> 0000000000000000

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> 0000000000000000

+vcmpequd: 00007fffffffffff @@ 0102030405060708  ==> 0000000000000000

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vcmpequd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vcmpequd: 00007fffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff

+	ffff000000000000 @@ ffff000000000000  ==> ffffffffffffffff

+vcmpequd: 00007fffffffffff @@ 0000800000000000  ==> 0000000000000000

+	ffff000000000000 @@ 0000000000000000  ==> 0000000000000000

+vcmpequd: 00007fffffffffff @@ ffffffffffffffff  ==> 0000000000000000

+	ffff000000000000 @@ 0000000000000051  ==> 0000000000000000

+vcmpequd: 0000800000000000 @@ 0102030405060708  ==> 0000000000000000

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vcmpequd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vcmpequd: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000

+	0000000000000000 @@ ffff000000000000  ==> 0000000000000000

+vcmpequd: 0000800000000000 @@ 0000800000000000  ==> ffffffffffffffff

+	0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff

+vcmpequd: 0000800000000000 @@ ffffffffffffffff  ==> 0000000000000000

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000000

+vcmpequd: ffffffffffffffff @@ 0102030405060708  ==> 0000000000000000

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vcmpequd: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vcmpequd: ffffffffffffffff @@ 00007fffffffffff  ==> 0000000000000000

+	0000000000000051 @@ ffff000000000000  ==> 0000000000000000

+vcmpequd: ffffffffffffffff @@ 0000800000000000  ==> 0000000000000000

+	0000000000000051 @@ 0000000000000000  ==> 0000000000000000

+vcmpequd: ffffffffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000051  ==> ffffffffffffffff

 vcmpgtud: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

 vcmpgtud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vcmpgtud: 0102030405060708 @@ 00007fffffffffff  ==> ffffffffffffffff

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 0000000000000000

+vcmpgtud: 0102030405060708 @@ 0000800000000000  ==> ffffffffffffffff

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff

+vcmpgtud: 0102030405060708 @@ ffffffffffffffff  ==> 0000000000000000

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> ffffffffffffffff

 vcmpgtud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> ffffffffffffffff

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff

 vcmpgtud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vcmpgtud: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> ffffffffffffffff

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> 0000000000000000

+vcmpgtud: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> ffffffffffffffff

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> ffffffffffffffff

+vcmpgtud: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> 0000000000000000

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> ffffffffffffffff

+vcmpgtud: 00007fffffffffff @@ 0102030405060708  ==> 0000000000000000

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff

+vcmpgtud: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff

+vcmpgtud: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000

+	ffff000000000000 @@ ffff000000000000  ==> 0000000000000000

+vcmpgtud: 00007fffffffffff @@ 0000800000000000  ==> 0000000000000000

+	ffff000000000000 @@ 0000000000000000  ==> ffffffffffffffff

+vcmpgtud: 00007fffffffffff @@ ffffffffffffffff  ==> 0000000000000000

+	ffff000000000000 @@ 0000000000000051  ==> ffffffffffffffff

+vcmpgtud: 0000800000000000 @@ 0102030405060708  ==> 0000000000000000

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vcmpgtud: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vcmpgtud: 0000800000000000 @@ 00007fffffffffff  ==> ffffffffffffffff

+	0000000000000000 @@ ffff000000000000  ==> 0000000000000000

+vcmpgtud: 0000800000000000 @@ 0000800000000000  ==> 0000000000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vcmpgtud: 0000800000000000 @@ ffffffffffffffff  ==> 0000000000000000

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000000

+vcmpgtud: ffffffffffffffff @@ 0102030405060708  ==> ffffffffffffffff

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vcmpgtud: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vcmpgtud: ffffffffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ ffff000000000000  ==> 0000000000000000

+vcmpgtud: ffffffffffffffff @@ 0000800000000000  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000000  ==> ffffffffffffffff

+vcmpgtud: ffffffffffffffff @@ ffffffffffffffff  ==> 0000000000000000

+	0000000000000051 @@ 0000000000000051  ==> 0000000000000000

 vcmpgtsd: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

 vcmpgtsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> ffffffffffffffff

+vcmpgtsd: 0102030405060708 @@ 00007fffffffffff  ==> ffffffffffffffff

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> ffffffffffffffff

+vcmpgtsd: 0102030405060708 @@ 0000800000000000  ==> ffffffffffffffff

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff

+vcmpgtsd: 0102030405060708 @@ ffffffffffffffff  ==> ffffffffffffffff

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> ffffffffffffffff

 vcmpgtsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0000000000000000

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

 vcmpgtsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vcmpgtsd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000000

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> 0000000000000000

+vcmpgtsd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000000000000000

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000

+vcmpgtsd: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> 0000000000000000

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> 0000000000000000

+vcmpgtsd: 00007fffffffffff @@ 0102030405060708  ==> 0000000000000000

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vcmpgtsd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff

+vcmpgtsd: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000

+	ffff000000000000 @@ ffff000000000000  ==> 0000000000000000

+vcmpgtsd: 00007fffffffffff @@ 0000800000000000  ==> 0000000000000000

+	ffff000000000000 @@ 0000000000000000  ==> 0000000000000000

+vcmpgtsd: 00007fffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff

+	ffff000000000000 @@ 0000000000000051  ==> 0000000000000000

+vcmpgtsd: 0000800000000000 @@ 0102030405060708  ==> 0000000000000000

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vcmpgtsd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff

+vcmpgtsd: 0000800000000000 @@ 00007fffffffffff  ==> ffffffffffffffff

+	0000000000000000 @@ ffff000000000000  ==> ffffffffffffffff

+vcmpgtsd: 0000800000000000 @@ 0000800000000000  ==> 0000000000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vcmpgtsd: 0000800000000000 @@ ffffffffffffffff  ==> ffffffffffffffff

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000000

+vcmpgtsd: ffffffffffffffff @@ 0102030405060708  ==> 0000000000000000

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vcmpgtsd: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff

+vcmpgtsd: ffffffffffffffff @@ 00007fffffffffff  ==> 0000000000000000

+	0000000000000051 @@ ffff000000000000  ==> ffffffffffffffff

+vcmpgtsd: ffffffffffffffff @@ 0000800000000000  ==> 0000000000000000

+	0000000000000051 @@ 0000000000000000  ==> ffffffffffffffff

+vcmpgtsd: ffffffffffffffff @@ ffffffffffffffff  ==> 0000000000000000

+	0000000000000051 @@ 0000000000000051  ==> 0000000000000000

 vrld: 0102030405060708 @@ 0102030405060708  ==> 0203040506070801

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0586070687078485

 vrld: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0801020304050607

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 8485058607068707

+vrld: 0102030405060708 @@ 00007fffffffffff  ==> 0081018202830384

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f

+vrld: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f

+vrld: 0102030405060708 @@ ffffffffffffffff  ==> 0081018202830384

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 16181c1a1c1e1214

 vrld: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f8f1

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 7dfe7f7eff7ffcfd

 vrld: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f8f1f2f3f4f5f6f7

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> fcfd7dfe7f7eff7f

+vrld: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 78f979fa7afb7bfc

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff

+vrld: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff

+vrld: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> 78f979fa7afb7bfc

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> f7f9fdfbfdfff3f5

+vrld: 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffff00

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 8000000000007fff

+vrld: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ff00007fffffffff

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 7fff800000000000

+vrld: 00007fffffffffff @@ 00007fffffffffff  ==> 80003fffffffffff

+	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000

+vrld: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff

+	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000

+vrld: 00007fffffffffff @@ ffffffffffffffff  ==> 80003fffffffffff

+	ffff000000000000 @@ 0000000000000051  ==> 000000000001fffe

+vrld: 0000800000000000 @@ 0102030405060708  ==> 0080000000000000

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vrld: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000008000000000

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vrld: 0000800000000000 @@ 00007fffffffffff  ==> 0000400000000000

+	0000000000000000 @@ ffff000000000000  ==> 0000000000000000

+vrld: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vrld: 0000800000000000 @@ ffffffffffffffff  ==> 0000400000000000

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000000

+vrld: ffffffffffffffff @@ 0102030405060708  ==> ffffffffffffffff

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0000000000288000

+vrld: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 8000000000000028

+vrld: ffffffffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ ffff000000000000  ==> 0000000000000051

+vrld: ffffffffffffffff @@ 0000800000000000  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000000  ==> 0000000000000051

+vrld: ffffffffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000051  ==> 0000000000a20000

 vsld: 0102030405060708 @@ 0102030405060708  ==> 0203040506070800

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0586070687078000

 vsld: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0800000000000000

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 8000000000000000

+vsld: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f

+vsld: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f

+vsld: 0102030405060708 @@ ffffffffffffffff  ==> 0000000000000000

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 16181c1a1c1e0000

 vsld: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f800

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 7dfe7f7eff7f8000

 vsld: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f800000000000000

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 8000000000000000

+vsld: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000000

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff

+vsld: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff

+vsld: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> 0000000000000000

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> f7f9fdfbfdfe0000

+vsld: 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffff00

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 8000000000000000

+vsld: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ff00000000000000

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vsld: 00007fffffffffff @@ 00007fffffffffff  ==> 8000000000000000

+	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000

+vsld: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff

+	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000

+vsld: 00007fffffffffff @@ ffffffffffffffff  ==> 8000000000000000

+	ffff000000000000 @@ 0000000000000051  ==> 0000000000000000

+vsld: 0000800000000000 @@ 0102030405060708  ==> 0080000000000000

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vsld: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vsld: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000

+	0000000000000000 @@ ffff000000000000  ==> 0000000000000000

+vsld: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vsld: 0000800000000000 @@ ffffffffffffffff  ==> 0000000000000000

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000000

+vsld: ffffffffffffffff @@ 0102030405060708  ==> ffffffffffffff00

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0000000000288000

+vsld: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> ff00000000000000

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 8000000000000000

+vsld: ffffffffffffffff @@ 00007fffffffffff  ==> 8000000000000000

+	0000000000000051 @@ ffff000000000000  ==> 0000000000000051

+vsld: ffffffffffffffff @@ 0000800000000000  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000000  ==> 0000000000000051

+vsld: ffffffffffffffff @@ ffffffffffffffff  ==> 8000000000000000

+	0000000000000051 @@ 0000000000000051  ==> 0000000000a20000

 vsrad: 0102030405060708 @@ 0102030405060708  ==> 0001020304050607

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000121416181c1a

 vsrad: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000001

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vsrad: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f

+vsrad: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f

+vsrad: 0102030405060708 @@ ffffffffffffffff  ==> 0000000000000000

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 0000048505860706

 vsrad: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> fff1f2f3f4f5f6f7

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fffff3f5f7f9fdfb

 vsrad: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> fffffffffffffff1

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff

+vsrad: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> ffffffffffffffff

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff

+vsrad: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff

+vsrad: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> ffffffffffffffff

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> fffffcfd7dfe7f7e

+vsrad: 00007fffffffffff @@ 0102030405060708  ==> 0000007fffffffff

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> fffffffe00000000

+vsrad: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff

+vsrad: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000

+	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000

+vsrad: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff

+	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000

+vsrad: 00007fffffffffff @@ ffffffffffffffff  ==> 0000000000000000

+	ffff000000000000 @@ 0000000000000051  ==> ffffffff80000000

+vsrad: 0000800000000000 @@ 0102030405060708  ==> 0000008000000000

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vsrad: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vsrad: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000

+	0000000000000000 @@ ffff000000000000  ==> 0000000000000000

+vsrad: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vsrad: 0000800000000000 @@ ffffffffffffffff  ==> 0000000000000000

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000000

+vsrad: ffffffffffffffff @@ 0102030405060708  ==> ffffffffffffffff

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vsrad: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vsrad: ffffffffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ ffff000000000000  ==> 0000000000000051

+vsrad: ffffffffffffffff @@ 0000800000000000  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000000  ==> 0000000000000051

+vsrad: ffffffffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000051  ==> 0000000000000000

 vsrd: 0102030405060708 @@ 0102030405060708  ==> 0001020304050607

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000121416181c1a

 vsrd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000001

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vsrd: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f

+vsrd: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708

+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f

+vsrd: 0102030405060708 @@ ffffffffffffffff  ==> 0000000000000000

+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 0000048505860706

 vsrd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 00f1f2f3f4f5f6f7

 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0001f3f5f7f9fdfb

 vsrd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 00000000000000f1

 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000001

+vsrd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000001

+	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff

+vsrd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8

+	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff

+vsrd: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> 0000000000000001

+	f9fafbfcfefdfeff @@ 0000000000000051  ==> 00007cfd7dfe7f7e

+vsrd: 00007fffffffffff @@ 0102030405060708  ==> 0000007fffffffff

+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0001fffe00000000

+vsrd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000001

+vsrd: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000

+	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000

+vsrd: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff

+	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000

+vsrd: 00007fffffffffff @@ ffffffffffffffff  ==> 0000000000000000

+	ffff000000000000 @@ 0000000000000051  ==> 00007fff80000000

+vsrd: 0000800000000000 @@ 0102030405060708  ==> 0000008000000000

+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vsrd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000

+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vsrd: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000

+	0000000000000000 @@ ffff000000000000  ==> 0000000000000000

+vsrd: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000

+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000

+vsrd: 0000800000000000 @@ ffffffffffffffff  ==> 0000000000000000

+	0000000000000000 @@ 0000000000000051  ==> 0000000000000000

+vsrd: ffffffffffffffff @@ 0102030405060708  ==> 00ffffffffffffff

+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000

+vsrd: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> 00000000000000ff

+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 0000000000000000

+vsrd: ffffffffffffffff @@ 00007fffffffffff  ==> 0000000000000001

+	0000000000000051 @@ ffff000000000000  ==> 0000000000000051

+vsrd: ffffffffffffffff @@ 0000800000000000  ==> ffffffffffffffff

+	0000000000000051 @@ 0000000000000000  ==> 0000000000000051

+vsrd: ffffffffffffffff @@ ffffffffffffffff  ==> 0000000000000001

+	0000000000000051 @@ 0000000000000051  ==> 0000000000000000

 vpkudum: Inputs: 05060708 0e0d0e0f 05060708 0e0d0e0f

          Output: 05060708 0e0d0e0f 05060708 0e0d0e0f

 vpkudum: Inputs: 05060708 0e0d0e0f f5f6f7f8 fefdfeff

          Output: 05060708 0e0d0e0f f5f6f7f8 fefdfeff

+vpkudum: Inputs: 05060708 0e0d0e0f ffffffff 00000000

+         Output: 05060708 0e0d0e0f ffffffff 00000000

+vpkudum: Inputs: 05060708 0e0d0e0f 00000000 00000000

+         Output: 05060708 0e0d0e0f 00000000 00000000

+vpkudum: Inputs: 05060708 0e0d0e0f ffffffff 00000051

+         Output: 05060708 0e0d0e0f ffffffff 00000051

 vpkudum: Inputs: f5f6f7f8 fefdfeff 05060708 0e0d0e0f

          Output: f5f6f7f8 fefdfeff 05060708 0e0d0e0f

 vpkudum: Inputs: f5f6f7f8 fefdfeff f5f6f7f8 fefdfeff

          Output: f5f6f7f8 fefdfeff f5f6f7f8 fefdfeff

+vpkudum: Inputs: f5f6f7f8 fefdfeff ffffffff 00000000

+         Output: f5f6f7f8 fefdfeff ffffffff 00000000

+vpkudum: Inputs: f5f6f7f8 fefdfeff 00000000 00000000

+         Output: f5f6f7f8 fefdfeff 00000000 00000000

+vpkudum: Inputs: f5f6f7f8 fefdfeff ffffffff 00000051

+         Output: f5f6f7f8 fefdfeff ffffffff 00000051

+vpkudum: Inputs: ffffffff 00000000 05060708 0e0d0e0f

+         Output: ffffffff 00000000 05060708 0e0d0e0f

+vpkudum: Inputs: ffffffff 00000000 f5f6f7f8 fefdfeff

+         Output: ffffffff 00000000 f5f6f7f8 fefdfeff

+vpkudum: Inputs: ffffffff 00000000 ffffffff 00000000

+         Output: ffffffff 00000000 ffffffff 00000000

+vpkudum: Inputs: ffffffff 00000000 00000000 00000000

+         Output: ffffffff 00000000 00000000 00000000

+vpkudum: Inputs: ffffffff 00000000 ffffffff 00000051

+         Output: ffffffff 00000000 ffffffff 00000051

+vpkudum: Inputs: 00000000 00000000 05060708 0e0d0e0f

+         Output: 00000000 00000000 05060708 0e0d0e0f

+vpkudum: Inputs: 00000000 00000000 f5f6f7f8 fefdfeff

+         Output: 00000000 00000000 f5f6f7f8 fefdfeff

+vpkudum: Inputs: 00000000 00000000 ffffffff 00000000

+         Output: 00000000 00000000 ffffffff 00000000

+vpkudum: Inputs: 00000000 00000000 00000000 00000000

+         Output: 00000000 00000000 00000000 00000000

+vpkudum: Inputs: 00000000 00000000 ffffffff 00000051

+         Output: 00000000 00000000 ffffffff 00000051

+vpkudum: Inputs: ffffffff 00000051 05060708 0e0d0e0f

+         Output: ffffffff 00000051 05060708 0e0d0e0f

+vpkudum: Inputs: ffffffff 00000051 f5f6f7f8 fefdfeff

+         Output: ffffffff 00000051 f5f6f7f8 fefdfeff

+vpkudum: Inputs: ffffffff 00000051 ffffffff 00000000

+         Output: ffffffff 00000051 ffffffff 00000000

+vpkudum: Inputs: ffffffff 00000051 00000000 00000000

+         Output: ffffffff 00000051 00000000 00000000

+vpkudum: Inputs: ffffffff 00000051 ffffffff 00000051

+         Output: ffffffff 00000051 ffffffff 00000051

 vpmsumd: 0102030405060708 @@ 0102030405060708  ==> 0040004000400040

 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0045004500410015

 vpmsumd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 07c007c006d00735

 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> a260a260a374a2c5

+vpmsumd: 0102030405060708 @@ 00007fffffffffff  ==> 07060182fc7efe7f

+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 0478fefc030202f8