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
+vpmsumd: 0102030405060708 @@ 0000800000000000  ==> 0000008101820283
+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0384000000000000
+vpmsumd: 0102030405060708 @@ ffffffffffffffff  ==> 00fe0103fcfdfd05
+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 242986336e9c6fc7
 vpmsumd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 07c007c006d00735
 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> a260a260a374a2c5
 vpmsumd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0040004000400040
 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0045004500410015
+vpmsumd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 575629aad456d657
+	f9fafbfcfefdfeff @@ ffff000000000000  ==> 2c50aeac535252a8
+vpmsumd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 000078f979fa7afb
+	f9fafbfcfefdfeff @@ 0000000000000000  ==> 7bfc000000000000
+vpmsumd: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> 50ae5153acadad66
+	f9fafbfcfefdfeff @@ 0000000000000051  ==> b7ba15a0fd0ffc67
+vpmsumd: 00007fffffffffff @@ 0102030405060708  ==> 07060182fc7efe7f
+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0478fefc030202f8
+vpmsumd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 575629aad456d657
+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 2c50aeac535252a8
+vpmsumd: 00007fffffffffff @@ 00007fffffffffff  ==> 5555555515555555
+	ffff000000000000 @@ ffff000000000000  ==> 5555555555555555
+vpmsumd: 00007fffffffffff @@ 0000800000000000  ==> 000000003fffffff
+	ffff000000000000 @@ 0000000000000000  ==> ffff800000000000
+vpmsumd: 00007fffffffffff @@ ffffffffffffffff  ==> 00002aaaaaaaaa9a
+	ffff000000000000 @@ 0000000000000051  ==> 0030d55555555555
+vpmsumd: 0000800000000000 @@ 0102030405060708  ==> 0000008101820283
+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0384000000000000
+vpmsumd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 000078f979fa7afb
+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 7bfc000000000000
+vpmsumd: 0000800000000000 @@ 00007fffffffffff  ==> 000000003fffffff
+	0000000000000000 @@ ffff000000000000  ==> ffff800000000000
+vpmsumd: 0000800000000000 @@ 0000800000000000  ==> 0000000040000000
+	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
+vpmsumd: 0000800000000000 @@ ffffffffffffffff  ==> 00007fffffffffff
+	0000000000000000 @@ 0000000000000051  ==> ffff800000000000
+vpmsumd: ffffffffffffffff @@ 0102030405060708  ==> 00fe0103fcfdfd05
+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 242986336e9c6fc7
+vpmsumd: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> 50ae5153acadad66
+	0000000000000051 @@ f9fafbfcfefdfeff  ==> b7ba15a0fd0ffc67
+vpmsumd: ffffffffffffffff @@ 00007fffffffffff  ==> 00002aaaaaaaaa9a
+	0000000000000051 @@ ffff000000000000  ==> 0030d55555555555
+vpmsumd: ffffffffffffffff @@ 0000800000000000  ==> 00007fffffffffff
+	0000000000000051 @@ 0000000000000000  ==> ffff800000000000
+vpmsumd: ffffffffffffffff @@ ffffffffffffffff  ==> 5555555555555555
+	0000000000000051 @@ 0000000000000051  ==> 5555555555554454
 
 vnand: 0102030405060708 @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
 vnand: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> fefdfcfbfaf9f8f7
 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f6f5f4f3f1f2f1f0
+vnand: 0102030405060708 @@ 00007fffffffffff  ==> fffffcfbfaf9f8f7
+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> f6f5ffffffffffff
+vnand: 0102030405060708 @@ 0000800000000000  ==> ffffffffffffffff
+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff
+vnand: 0102030405060708 @@ ffffffffffffffff  ==> fefdfcfbfaf9f8f7
+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> fffffffffffffffe
 vnand: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
 vnand: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0e0d0c0b0a090807
 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0605040301020100
+vnand: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> ffff8c0b0a090807
+	f9fafbfcfefdfeff @@ ffff000000000000  ==> 0605ffffffffffff
+vnand: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> ffff7fffffffffff
+	f9fafbfcfefdfeff @@ 0000000000000000  ==> ffffffffffffffff
+vnand: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> 0e0d0c0b0a090807
+	f9fafbfcfefdfeff @@ 0000000000000051  ==> ffffffffffffffae
+vnand: 00007fffffffffff @@ 0102030405060708  ==> fffffcfbfaf9f8f7
+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5ffffffffffff
+vnand: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffff8c0b0a090807
+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0605ffffffffffff
+vnand: 00007fffffffffff @@ 00007fffffffffff  ==> ffff800000000000
+	ffff000000000000 @@ ffff000000000000  ==> 0000ffffffffffff
+vnand: 00007fffffffffff @@ 0000800000000000  ==> ffffffffffffffff
+	ffff000000000000 @@ 0000000000000000  ==> ffffffffffffffff
+vnand: 00007fffffffffff @@ ffffffffffffffff  ==> ffff800000000000
+	ffff000000000000 @@ 0000000000000051  ==> ffffffffffffffff
+vnand: 0000800000000000 @@ 0102030405060708  ==> ffffffffffffffff
+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
+vnand: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> ffff7fffffffffff
+	0000000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vnand: 0000800000000000 @@ 00007fffffffffff  ==> ffffffffffffffff
+	0000000000000000 @@ ffff000000000000  ==> ffffffffffffffff
+vnand: 0000800000000000 @@ 0000800000000000  ==> ffff7fffffffffff
+	0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff
+vnand: 0000800000000000 @@ ffffffffffffffff  ==> ffff7fffffffffff
+	0000000000000000 @@ 0000000000000051  ==> ffffffffffffffff
+vnand: ffffffffffffffff @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> fffffffffffffffe
+vnand: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0e0d0c0b0a090807
+	0000000000000051 @@ f9fafbfcfefdfeff  ==> ffffffffffffffae
+vnand: ffffffffffffffff @@ 00007fffffffffff  ==> ffff800000000000
+	0000000000000051 @@ ffff000000000000  ==> ffffffffffffffff
+vnand: ffffffffffffffff @@ 0000800000000000  ==> ffff7fffffffffff
+	0000000000000051 @@ 0000000000000000  ==> ffffffffffffffff
+vnand: ffffffffffffffff @@ ffffffffffffffff  ==> 0000000000000000
+	0000000000000051 @@ 0000000000000051  ==> ffffffffffffffae
 
 vorc: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff
 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
 vorc: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f0f
 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f0f
+vorc: 0102030405060708 @@ 00007fffffffffff  ==> ffff830405060708
+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090affffffffffff
+vorc: 0102030405060708 @@ 0000800000000000  ==> ffff7fffffffffff
+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff
+vorc: 0102030405060708 @@ ffffffffffffffff  ==> 0102030405060708
+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> ffffffffffffffaf
 vorc: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> ffffffffffffffff
 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
 vorc: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vorc: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> fffff3f4f5f6f7f8
+	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9faffffffffffff
+vorc: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> ffffffffffffffff
+	f9fafbfcfefdfeff @@ 0000000000000000  ==> ffffffffffffffff
+vorc: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> f1f2f3f4f5f6f7f8
+	f9fafbfcfefdfeff @@ 0000000000000051  ==> ffffffffffffffff
+vorc: 00007fffffffffff @@ 0102030405060708  ==> fefdffffffffffff
+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> fffff4f3f1f2f1f0
+vorc: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0e0d7fffffffffff
+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffff040301020100
+vorc: 00007fffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff
+	ffff000000000000 @@ ffff000000000000  ==> ffffffffffffffff
+vorc: 00007fffffffffff @@ 0000800000000000  ==> ffff7fffffffffff
+	ffff000000000000 @@ 0000000000000000  ==> ffffffffffffffff
+vorc: 00007fffffffffff @@ ffffffffffffffff  ==> 00007fffffffffff
+	ffff000000000000 @@ 0000000000000051  ==> ffffffffffffffae
+vorc: 0000800000000000 @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
+vorc: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090807
+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0605040301020100
+vorc: 0000800000000000 @@ 00007fffffffffff  ==> ffff800000000000
+	0000000000000000 @@ ffff000000000000  ==> 0000ffffffffffff
+vorc: 0000800000000000 @@ 0000800000000000  ==> ffffffffffffffff
+	0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff
+vorc: 0000800000000000 @@ ffffffffffffffff  ==> 0000800000000000
+	0000000000000000 @@ 0000000000000051  ==> ffffffffffffffae
+vorc: ffffffffffffffff @@ 0102030405060708  ==> ffffffffffffffff
+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f1
+vorc: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 0605040301020151
+vorc: ffffffffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff
+	0000000000000051 @@ ffff000000000000  ==> 0000ffffffffffff
+vorc: ffffffffffffffff @@ 0000800000000000  ==> ffffffffffffffff
+	0000000000000051 @@ 0000000000000000  ==> ffffffffffffffff
+vorc: ffffffffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff
+	0000000000000051 @@ 0000000000000051  ==> ffffffffffffffff
 
 veqv: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff
 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
 veqv: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f0f
 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f0f
+veqv: 0102030405060708 @@ 00007fffffffffff  ==> fefd830405060708
+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090af4f3f1f2f1f0
+veqv: 0102030405060708 @@ 0000800000000000  ==> fefd7cfbfaf9f8f7
+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> f6f5f4f3f1f2f1f0
+veqv: 0102030405060708 @@ ffffffffffffffff  ==> 0102030405060708
+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> f6f5f4f3f1f2f1a1
 veqv: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0f0f0f0f0f0f0f0f
 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0f0f0f0f0f0f0f0f
 veqv: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+veqv: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0e0d73f4f5f6f7f8
+	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fa040301020100
+veqv: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0e0d8c0b0a090807
+	f9fafbfcfefdfeff @@ 0000000000000000  ==> 0605040301020100
+veqv: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> f1f2f3f4f5f6f7f8
+	f9fafbfcfefdfeff @@ 0000000000000051  ==> 0605040301020151
+veqv: 00007fffffffffff @@ 0102030405060708  ==> fefd830405060708
+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 090af4f3f1f2f1f0
+veqv: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0e0d73f4f5f6f7f8
+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9fa040301020100
+veqv: 00007fffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff
+	ffff000000000000 @@ ffff000000000000  ==> ffffffffffffffff
+veqv: 00007fffffffffff @@ 0000800000000000  ==> ffff000000000000
+	ffff000000000000 @@ 0000000000000000  ==> 0000ffffffffffff
+veqv: 00007fffffffffff @@ ffffffffffffffff  ==> 00007fffffffffff
+	ffff000000000000 @@ 0000000000000051  ==> 0000ffffffffffae
+veqv: 0000800000000000 @@ 0102030405060708  ==> fefd7cfbfaf9f8f7
+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
+veqv: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090807
+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0605040301020100
+veqv: 0000800000000000 @@ 00007fffffffffff  ==> ffff000000000000
+	0000000000000000 @@ ffff000000000000  ==> 0000ffffffffffff
+veqv: 0000800000000000 @@ 0000800000000000  ==> ffffffffffffffff
+	0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff
+veqv: 0000800000000000 @@ ffffffffffffffff  ==> 0000800000000000
+	0000000000000000 @@ 0000000000000051  ==> ffffffffffffffae
+veqv: ffffffffffffffff @@ 0102030405060708  ==> 0102030405060708
+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1a1
+veqv: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 0605040301020151
+veqv: ffffffffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff
+	0000000000000051 @@ ffff000000000000  ==> 0000ffffffffffae
+veqv: ffffffffffffffff @@ 0000800000000000  ==> 0000800000000000
+	0000000000000051 @@ 0000000000000000  ==> ffffffffffffffae
+veqv: ffffffffffffffff @@ ffffffffffffffff  ==> ffffffffffffffff
+	0000000000000051 @@ 0000000000000051  ==> ffffffffffffffff
 
 vcipher: 0102030405060708 @@ 0102030405060708  ==> 15abdc2823b74b86
 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 22037bc3e1e25abc
 vcipher: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> e55b2cd8d347bb76
 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> d2f38b331112aa4c
+vcipher: 0102030405060708 @@ 00007fffffffffff  ==> 14a9a0d3d94eb371
+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> d4f670cfefef54b3
+vcipher: 0102030405060708 @@ 0000800000000000  ==> 14a95f2c26b14c8e
+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 2b0970cfefef54b3
+vcipher: 0102030405060708 @@ ffffffffffffffff  ==> eb5620d3d94eb371
+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 2b0970cfefef54e2
 vcipher: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 8720c49da1d37bca
 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 906d1f673bb72743
 vcipher: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 77d0346d51238b3a
 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 609def97cb47d7b3
+vcipher: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 8622b8665b2a833d
+	f9fafbfcfefdfeff @@ ffff000000000000  ==> 6698146b35ba294c
+vcipher: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 86224799a4d57cc2
+	f9fafbfcfefdfeff @@ 0000000000000000  ==> 9967146b35ba294c
+vcipher: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> 79dd38665b2a833d
+	f9fafbfcfefdfeff @@ 0000000000000051  ==> 9967146b35ba291d
+vcipher: 00007fffffffffff @@ 0102030405060708  ==> fd8b1512668ffb6b
+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 44a1fbab18f18719
+vcipher: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0d7be5e2967f0b9b
+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> b4510b5be80177e9
+vcipher: 00007fffffffffff @@ 00007fffffffffff  ==> fc8969e99c76039c
+	ffff000000000000 @@ ffff000000000000  ==> b254f0a716fc8916
+vcipher: 00007fffffffffff @@ 0000800000000000  ==> fc8996166389fc63
+	ffff000000000000 @@ 0000000000000000  ==> 4dabf0a716fc8916
+vcipher: 00007fffffffffff @@ ffffffffffffffff  ==> 0376e9e99c76039c
+	ffff000000000000 @@ 0000000000000051  ==> 4dabf0a716fc8947
+vcipher: 0000800000000000 @@ 0102030405060708  ==> 626160676665646b
+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> c4802fc16d6e6d6c
+vcipher: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 929190979695949b
+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 3470df319d9e9d9c
+vcipher: 0000800000000000 @@ 00007fffffffffff  ==> 63631c9c9c9c9c9c
+	0000000000000000 @@ ffff000000000000  ==> 327524cd63636363
+vcipher: 0000800000000000 @@ 0000800000000000  ==> 6363e36363636363
+	0000000000000000 @@ 0000000000000000  ==> cd8a24cd63636363
+vcipher: 0000800000000000 @@ ffffffffffffffff  ==> 9c9c9c9c9c9c9c9c
+	0000000000000000 @@ 0000000000000051  ==> cd8a24cd63636332
+vcipher: ffffffffffffffff @@ 0102030405060708  ==> a54cadf2f9658e1e
+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 6a831df0871bf26c
+vcipher: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> 55bc5d0209957eee
+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 9a73ed0077eb029c
+vcipher: ffffffffffffffff @@ 00007fffffffffff  ==> a44ed109039c76e9
+	0000000000000051 @@ ffff000000000000  ==> 9c7616fc8916fc63
+vcipher: ffffffffffffffff @@ 0000800000000000  ==> a44e2ef6fc638916
+	0000000000000051 @@ 0000000000000000  ==> 638916fc8916fc63
+vcipher: ffffffffffffffff @@ ffffffffffffffff  ==> 5bb15109039c76e9
+	0000000000000051 @@ 0000000000000051  ==> 638916fc8916fc32
 
 vcipherlast: 0102030405060708 @@ 0102030405060708  ==> 7d6d28726e61acfa
 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 08dd703ca57acbf1
 vcipherlast: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 8d9dd8829e915c0a
 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f82d80cc558a3b01
+vcipherlast: 0102030405060708 @@ 00007fffffffffff  ==> 7c6f54899498540d
+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> fe287b30ab77c5fe
+vcipherlast: 0102030405060708 @@ 0000800000000000  ==> 7c6fab766b67abf2
+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 01d77b30ab77c5fe
+vcipherlast: 0102030405060708 @@ ffffffffffffffff  ==> 8390d4899498540d
+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 01d77b30ab77c5af
 vcipherlast: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> a0400c12e32bbcb7
 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 905e064db58466bf
 vcipherlast: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 50b0fce213db4c47
 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 60aef6bd4574964f
+vcipherlast: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> a14270e919d24440
+	f9fafbfcfefdfeff @@ ffff000000000000  ==> 66ab0d41bb8968b0
+vcipherlast: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> a1428f16e62dbbbf
+	f9fafbfcfefdfeff @@ 0000000000000000  ==> 99540d41bb8968b0
+vcipherlast: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> 5ebdf0e919d24440
+	f9fafbfcfefdfeff @@ 0000000000000051  ==> 99540d41bb8968e1
+vcipherlast: 00007fffffffffff @@ 0102030405060708  ==> 621460671310641e
+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 1f69d91a6d6e186c
+vcipherlast: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 92e49097e3e094ee
+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ef9929ea9d9ee89c
+vcipherlast: 00007fffffffffff @@ 00007fffffffffff  ==> 63161c9ce9e99ce9
+	ffff000000000000 @@ ffff000000000000  ==> e99cd21663631663
+vcipherlast: 00007fffffffffff @@ 0000800000000000  ==> 6316e36316166316
+	ffff000000000000 @@ 0000000000000000  ==> 1663d21663631663
+vcipherlast: 00007fffffffffff @@ ffffffffffffffff  ==> 9ce99c9ce9e99ce9
+	ffff000000000000 @@ 0000000000000051  ==> 1663d21663631632
+vcipherlast: 0000800000000000 @@ 0102030405060708  ==> 626160676665646b
+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 6a69c66f6d6e6d6c
+vcipherlast: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 929190979695949b
+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 9a99369f9d9e9d9c
+vcipherlast: 0000800000000000 @@ 00007fffffffffff  ==> 63631c9c9c9c9c9c
+	0000000000000000 @@ ffff000000000000  ==> 9c9ccd6363636363
+vcipherlast: 0000800000000000 @@ 0000800000000000  ==> 6363e36363636363
+	0000000000000000 @@ 0000000000000000  ==> 6363cd6363636363
+vcipherlast: 0000800000000000 @@ ffffffffffffffff  ==> 9c9c9c9c9c9c9c9c
+	0000000000000000 @@ 0000000000000051  ==> 6363cd6363636332
+vcipherlast: ffffffffffffffff @@ 0102030405060708  ==> 171460d51365641e
+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 6a691d1a6d1b186c
+vcipherlast: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> e7e49025e39594ee
+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 9a99edea9debe89c
+vcipherlast: ffffffffffffffff @@ 00007fffffffffff  ==> 16161c2ee99c9ce9
+	0000000000000051 @@ ffff000000000000  ==> 9c9c161663161663
+vcipherlast: ffffffffffffffff @@ 0000800000000000  ==> 1616e3d116636316
+	0000000000000051 @@ 0000000000000000  ==> 6363161663161663
+vcipherlast: ffffffffffffffff @@ ffffffffffffffff  ==> e9e99c2ee99c9ce9
+	0000000000000051 @@ 0000000000000051  ==> 6363161663161632
 
 vncipher: 0102030405060708 @@ 0102030405060708  ==> fe67ce881a80f569
 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 19db0b0605541639
 vncipher: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0e973e78ea700599
 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> e92bfbf6f5a4e6c9
+vncipher: 0102030405060708 @@ 00007fffffffffff  ==> de98809d822f77d0
+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 1424f3081f45082e
+vncipher: 0102030405060708 @@ 0000800000000000  ==> 0facae567dd0882f
+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 3aef223c1f45082e
+vncipher: 0102030405060708 @@ ffffffffffffffff  ==> 2aa41045822f77d0
+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 3aef223cf0f5456d
 vncipher: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 8b10c2d5607a5569
 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 581826de46277b9c
 vncipher: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 7be03225908aa599
 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> a8e8d62eb6d78b6c
+vncipher: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> abef8cc0f8d5d7d0
+	f9fafbfcfefdfeff @@ ffff000000000000  ==> 55e7ded05c36658b
+vncipher: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 7adba20b072a282f
+	f9fafbfcfefdfeff @@ 0000000000000000  ==> 7b2c0fe45c36658b
+vncipher: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> 5fd31c18f8d5d7d0
+	f9fafbfcfefdfeff @@ 0000000000000051  ==> 7b2c0fe4b38628c8
+vncipher: 00007fffffffffff @@ 0102030405060708  ==> 359e61e1b44edf06
+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ec338260e6209378
+vncipher: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> c56e911144be2ff6
+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 1cc3729016d06388
+vncipher: 00007fffffffffff @@ 00007fffffffffff  ==> 15612ff42ce15dbf
+	ffff000000000000 @@ ffff000000000000  ==> e1cc7a6efc318d6f
+vncipher: 00007fffffffffff @@ 0000800000000000  ==> c455013fd31ea240
+	ffff000000000000 @@ 0000000000000000  ==> cf07ab5afc318d6f
+vncipher: 00007fffffffffff @@ ffffffffffffffff  ==> e15dbf2c2ce15dbf
+	ffff000000000000 @@ 0000000000000051  ==> cf07ab5a1381c02c
+vncipher: 0000800000000000 @@ 0102030405060708  ==> 796e736035022f14
+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> cfb37d6d48434c45
+vncipher: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 899e8390c5f2dfe4
+	0000000000000000 @@ f9fafbfcfefdfeff  ==> 3f438d9db8b3bcb5
+vncipher: 0000800000000000 @@ 00007fffffffffff  ==> 59913d75adadadad
+	0000000000000000 @@ ffff000000000000  ==> c24c856352525252
+vncipher: 0000800000000000 @@ 0000800000000000  ==> 88a513be52525252
+	0000000000000000 @@ 0000000000000000  ==> ec87545752525252
+vncipher: 0000800000000000 @@ ffffffffffffffff  ==> adadadadadadadad
+	0000000000000000 @@ 0000000000000051  ==> ec875457bde21f11
+vncipher: ffffffffffffffff @@ 0102030405060708  ==> b4d291f3a6cf93f6
+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> ba54db13f4a1df88
+vncipher: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> 44226103563f6306
+	0000000000000051 @@ f9fafbfcfefdfeff  ==> 4aa42be304512f78
+vncipher: ffffffffffffffff @@ 00007fffffffffff  ==> 942ddfe63e60114f
+	0000000000000051 @@ ffff000000000000  ==> b7ab231deeb0c19f
+vncipher: ffffffffffffffff @@ 0000800000000000  ==> 4519f12dc19feeb0
+	0000000000000051 @@ 0000000000000000  ==> 9960f229eeb0c19f
+vncipher: ffffffffffffffff @@ ffffffffffffffff  ==> 60114f3e3e60114f
+	0000000000000051 @@ 0000000000000051  ==> 9960f22901008cdc
 
 vncipherlast: 0102030405060708 @@ 0102030405060708  ==> 08f19dbb336cd089
 	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 49afdef7d9ae363f
 vncipherlast: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f8016d4bc39c2079
 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> b95f2e07295ec6cf
+vncipherlast: 0102030405060708 @@ 00007fffffffffff  ==> 09f3e140c995287e
+	090a0b0c0e0d0e0f @@ ffff000000000000  ==> bf5ad5fbd7a33830
+vncipherlast: 0102030405060708 @@ 0000800000000000  ==> 09f31ebf366ad781
+	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 40a5d5fbd7a33830
+vncipherlast: 0102030405060708 @@ ffffffffffffffff  ==> f60c6140c995287e
+	090a0b0c0e0d0e0f @@ 0000000000000051  ==> 40a5d5fbd7a33861
 vncipherlast: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 2a2360e572020b5d
 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 60dc7571021928b5
 vncipherlast: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> dad3901582f2fbad
 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 902c8581f2e9d845
+vncipherlast: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 2b211c1e88fbf3aa
+	f9fafbfcfefdfeff @@ ffff000000000000  ==> 96297e7d0c1426ba
+vncipherlast: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 2b21e3e177040c55
+	f9fafbfcfefdfeff @@ 0000000000000000  ==> 69d67e7d0c1426ba
+vncipherlast: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff  ==> d4de9c1e88fbf3aa
+	f9fafbfcfefdfeff @@ 0000000000000051  ==> 69d67e7d0c1426eb
+vncipherlast: 00007fffffffffff @@ 0102030405060708  ==> 535051797854555a
+	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 7477605e5c707372
+vncipherlast: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> a3a0a18988a4a5aa
+	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 848790aeac808382
+vncipherlast: 00007fffffffffff @@ 00007fffffffffff  ==> 52522d8282adadad
+	ffff000000000000 @@ ffff000000000000  ==> 82826b52527d7d7d
+vncipherlast: 00007fffffffffff @@ 0000800000000000  ==> 5252d27d7d525252
+	ffff000000000000 @@ 0000000000000000  ==> 7d7d6b52527d7d7d
+vncipherlast: 00007fffffffffff @@ ffffffffffffffff  ==> adadad8282adadad
+	ffff000000000000 @@ 0000000000000051  ==> 7d7d6b52527d7d2c
+vncipherlast: 0000800000000000 @@ 0102030405060708  ==> 535051565754555a
+	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 5b58315e5c5f5c5d
+vncipherlast: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> a3a0a1a6a7a4a5aa
+	0000000000000000 @@ f9fafbfcfefdfeff  ==> aba8c1aeacafacad
+vncipherlast: 0000800000000000 @@ 00007fffffffffff  ==> 52522dadadadadad
+	0000000000000000 @@ ffff000000000000  ==> adad3a5252525252
+vncipherlast: 0000800000000000 @@ 0000800000000000  ==> 5252d25252525252
+	0000000000000000 @@ 0000000000000000  ==> 52523a5252525252
+vncipherlast: 0000800000000000 @@ ffffffffffffffff  ==> adadadadadadadad
+	0000000000000000 @@ 0000000000000051  ==> 52523a5252525203
+vncipherlast: ffffffffffffffff @@ 0102030405060708  ==> 7c505179787b555a
+	0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 5b77767c5c5f7372
+vncipherlast: ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> 8ca0a189888ba5aa
+	0000000000000051 @@ f9fafbfcfefdfeff  ==> ab87868cacaf8382
+vncipherlast: ffffffffffffffff @@ 00007fffffffffff  ==> 7d522d828282adad
+	0000000000000051 @@ ffff000000000000  ==> ad827d7052527d7d
+vncipherlast: ffffffffffffffff @@ 0000800000000000  ==> 7d52d27d7d7d5252
+	0000000000000051 @@ 0000000000000000  ==> 527d7d7052527d7d
+vncipherlast: ffffffffffffffff @@ ffffffffffffffff  ==> 82adad828282adad
+	0000000000000051 @@ 0000000000000051  ==> 527d7d7052527d2c
 
 vmulouw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 00193c6aa4917040 00c56e34124ba4e1
 vmulouw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 04d39d63184f87c0 0dfee4d8b9c6e2f1
@@ -273,18 +1222,81 @@ vpmsumw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 0010001000100050 00150015001100
 
 vpkudus: 000000007c118a2b, 00000000f1112345 @@ 000000007c118a2b, 00000000f1112345  ==> 7c118a2b f1112345 7c118a2b f1112345
 vpkudus: 000000007c118a2b, 00000000f1112345 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7c118a2b f1112345 ffffffff ffffffff
+vpkudus: 000000007c118a2b, 00000000f1112345 @@ 0000000000000000, 0000000000000000  ==> 7c118a2b f1112345 00000000 00000000
+vpkudus: 000000007c118a2b, 00000000f1112345 @@ 0000000000000000, 0000000000000000  ==> 7c118a2b f1112345 00000000 00000000
+vpkudus: 000000007c118a2b, 00000000f1112345 @@ 0000000000000000, 0000000000000031  ==> 7c118a2b f1112345 00000000 00000031
 vpkudus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 000000007c118a2b, 00000000f1112345  ==> ffffffff ffffffff 7c118a2b f1112345
 vpkudus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> ffffffff ffffffff ffffffff ffffffff
+vpkudus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 0000000000000000, 0000000000000000  ==> ffffffff ffffffff 00000000 00000000
+vpkudus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 0000000000000000, 0000000000000000  ==> ffffffff ffffffff 00000000 00000000
+vpkudus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 0000000000000000, 0000000000000031  ==> ffffffff ffffffff 00000000 00000031
+vpkudus: 0000000000000000, 0000000000000000 @@ 000000007c118a2b, 00000000f1112345  ==> 00000000 00000000 7c118a2b f1112345
+vpkudus: 0000000000000000, 0000000000000000 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 00000000 00000000 ffffffff ffffffff
+vpkudus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpkudus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpkudus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000031  ==> 00000000 00000000 00000000 00000031
+vpkudus: 0000000000000000, 0000000000000000 @@ 000000007c118a2b, 00000000f1112345  ==> 00000000 00000000 7c118a2b f1112345
+vpkudus: 0000000000000000, 0000000000000000 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 00000000 00000000 ffffffff ffffffff
+vpkudus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpkudus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpkudus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000031  ==> 00000000 00000000 00000000 00000031
+vpkudus: 0000000000000000, 0000000000000031 @@ 000000007c118a2b, 00000000f1112345  ==> 00000000 00000031 7c118a2b f1112345
+vpkudus: 0000000000000000, 0000000000000031 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 00000000 00000031 ffffffff ffffffff
+vpkudus: 0000000000000000, 0000000000000031 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000031 00000000 00000000
+vpkudus: 0000000000000000, 0000000000000031 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000031 00000000 00000000
+vpkudus: 0000000000000000, 0000000000000031 @@ 0000000000000000, 0000000000000031  ==> 00000000 00000031 00000000 00000031
 
 vpksdus: 000000007c118a2b, 00000000f1112345 @@ 000000007c118a2b, 00000000f1112345  ==> 7c118a2b f1112345 7c118a2b f1112345
 vpksdus: 000000007c118a2b, 00000000f1112345 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7c118a2b f1112345 ffffffff 00000000
+vpksdus: 000000007c118a2b, 00000000f1112345 @@ 0000000000000000, 0000000000000000  ==> 7c118a2b f1112345 00000000 00000000
+vpksdus: 000000007c118a2b, 00000000f1112345 @@ 0000000000000000, 0000000000000000  ==> 7c118a2b f1112345 00000000 00000000
+vpksdus: 000000007c118a2b, 00000000f1112345 @@ 0000000000000000, 0000000000000031  ==> 7c118a2b f1112345 00000000 00000031
 vpksdus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 000000007c118a2b, 00000000f1112345  ==> ffffffff 00000000 7c118a2b f1112345
 vpksdus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> ffffffff 00000000 ffffffff 00000000
+vpksdus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 0000000000000000, 0000000000000000  ==> ffffffff 00000000 00000000 00000000
+vpksdus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 0000000000000000, 0000000000000000  ==> ffffffff 00000000 00000000 00000000
+vpksdus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 0000000000000000, 0000000000000031  ==> ffffffff 00000000 00000000 00000031
+vpksdus: 0000000000000000, 0000000000000000 @@ 000000007c118a2b, 00000000f1112345  ==> 00000000 00000000 7c118a2b f1112345
+vpksdus: 0000000000000000, 0000000000000000 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 00000000 00000000 ffffffff 00000000
+vpksdus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpksdus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpksdus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000031  ==> 00000000 00000000 00000000 00000031
+vpksdus: 0000000000000000, 0000000000000000 @@ 000000007c118a2b, 00000000f1112345  ==> 00000000 00000000 7c118a2b f1112345
+vpksdus: 0000000000000000, 0000000000000000 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 00000000 00000000 ffffffff 00000000
+vpksdus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpksdus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpksdus: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000031  ==> 00000000 00000000 00000000 00000031
+vpksdus: 0000000000000000, 0000000000000031 @@ 000000007c118a2b, 00000000f1112345  ==> 00000000 00000031 7c118a2b f1112345
+vpksdus: 0000000000000000, 0000000000000031 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 00000000 00000031 ffffffff 00000000
+vpksdus: 0000000000000000, 0000000000000031 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000031 00000000 00000000
+vpksdus: 0000000000000000, 0000000000000031 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000031 00000000 00000000
+vpksdus: 0000000000000000, 0000000000000031 @@ 0000000000000000, 0000000000000031  ==> 00000000 00000031 00000000 00000031
 
 vpksdss: 000000007c118a2b, 00000000f1112345 @@ 000000007c118a2b, 00000000f1112345  ==> 7c118a2b 7fffffff 7c118a2b 7fffffff
 vpksdss: 000000007c118a2b, 00000000f1112345 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7c118a2b 7fffffff 7fffffff 80000000
+vpksdss: 000000007c118a2b, 00000000f1112345 @@ 0000000000000000, 0000000000000000  ==> 7c118a2b 7fffffff 00000000 00000000
+vpksdss: 000000007c118a2b, 00000000f1112345 @@ 0000000000000000, 0000000000000000  ==> 7c118a2b 7fffffff 00000000 00000000
+vpksdss: 000000007c118a2b, 00000000f1112345 @@ 0000000000000000, 0000000000000031  ==> 7c118a2b 7fffffff 00000000 00000031
 vpksdss: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 000000007c118a2b, 00000000f1112345  ==> 7fffffff 80000000 7c118a2b 7fffffff
 vpksdss: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7fffffff 80000000 7fffffff 80000000
+vpksdss: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 0000000000000000, 0000000000000000  ==> 7fffffff 80000000 00000000 00000000
+vpksdss: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 0000000000000000, 0000000000000000  ==> 7fffffff 80000000 00000000 00000000
+vpksdss: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 0000000000000000, 0000000000000031  ==> 7fffffff 80000000 00000000 00000031
+vpksdss: 0000000000000000, 0000000000000000 @@ 000000007c118a2b, 00000000f1112345  ==> 00000000 00000000 7c118a2b 7fffffff
+vpksdss: 0000000000000000, 0000000000000000 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 00000000 00000000 7fffffff 80000000
+vpksdss: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpksdss: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpksdss: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000031  ==> 00000000 00000000 00000000 00000031
+vpksdss: 0000000000000000, 0000000000000000 @@ 000000007c118a2b, 00000000f1112345  ==> 00000000 00000000 7c118a2b 7fffffff
+vpksdss: 0000000000000000, 0000000000000000 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 00000000 00000000 7fffffff 80000000
+vpksdss: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpksdss: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000000 00000000 00000000
+vpksdss: 0000000000000000, 0000000000000000 @@ 0000000000000000, 0000000000000031  ==> 00000000 00000000 00000000 00000031
+vpksdss: 0000000000000000, 0000000000000031 @@ 000000007c118a2b, 00000000f1112345  ==> 00000000 00000031 7c118a2b 7fffffff
+vpksdss: 0000000000000000, 0000000000000031 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 00000000 00000031 7fffffff 80000000
+vpksdss: 0000000000000000, 0000000000000031 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000031 00000000 00000000
+vpksdss: 0000000000000000, 0000000000000031 @@ 0000000000000000, 0000000000000000  ==> 00000000 00000031 00000000 00000000
+vpksdss: 0000000000000000, 0000000000000031 @@ 0000000000000000, 0000000000000031  ==> 00000000 00000031 00000000 00000031
 
 vupkhsw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0000000001020304 0000000005060708
 vupkhsw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> fffffffff1f2f3f4 fffffffff5f6f7f8
@@ -300,6 +1312,18 @@ vpermxor: 0102030405060708 @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f3f2f5f4
 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fbfafdfffffcfffe
 vpermxor: 0102030405060708 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> fdfcfbfaf9f8f7f6
 	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f5f4f3f1f1f2f1f0
+vpermxor: 0102030405060708 @@ 00007fffffffffff @@ 0102030405060708  ==> 017efefefefefefe
+	090a0b0c0e0d0e0f @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> fe01010101010101
+vpermxor: 0102030405060708 @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0f70f0f0f0f0f0f0
+	090a0b0c0e0d0e0f @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> f00f0f0f0f0f0f0f
+vpermxor: 0102030405060708 @@ 0000800000000000 @@ 0102030405060708  ==> 0181010101010101
+	090a0b0c0e0d0e0f @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0101010101010101
+vpermxor: 0102030405060708 @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0f8f0f0f0f0f0f0f
+	090a0b0c0e0d0e0f @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f0f
+vpermxor: 0102030405060708 @@ ffffffffffffffff @@ 0102030405060708  ==> fefefefefefefe01
+	090a0b0c0e0d0e0f @@ 0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0101010101010150
+vpermxor: 0102030405060708 @@ ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> f0f0f0f0f0f0f00f
+	090a0b0c0e0d0e0f @@ 0000000000000051 @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f5e
 vpermxor: f1f2f3f4f5f6f7f8 @@ 0102030405060708 @@ 0102030405060708  ==> f3f2f5f4f7f6f9f8
 	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> fbfafdfffffcfffe
 vpermxor: f1f2f3f4f5f6f7f8 @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> fdfcfbfaf9f8f7f6
@@ -308,36 +1332,138 @@ vpermxor: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 03020504
 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0b0a0d0f0f0c0f0e
 vpermxor: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0d0c0b0a09080706
 	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0504030101020100
+vpermxor: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff @@ 0102030405060708  ==> f18e0e0e0e0e0e0e
+	f9fafbfcfefdfeff @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0ef1f1f1f1f1f1f1
+vpermxor: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ff80000000000000
+	f9fafbfcfefdfeff @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> 00ffffffffffffff
+vpermxor: f1f2f3f4f5f6f7f8 @@ 0000800000000000 @@ 0102030405060708  ==> f171f1f1f1f1f1f1
+	f9fafbfcfefdfeff @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f1f1f1f1f1f1f1f1
+vpermxor: f1f2f3f4f5f6f7f8 @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> ff7fffffffffffff
+	f9fafbfcfefdfeff @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vpermxor: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff @@ 0102030405060708  ==> 0e0e0e0e0e0e0ef1
+	f9fafbfcfefdfeff @@ 0000000000000051 @@ 090a0b0c0e0d0e0f  ==> f1f1f1f1f1f1f1a0
+vpermxor: f1f2f3f4f5f6f7f8 @@ ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> 00000000000000ff
+	f9fafbfcfefdfeff @@ 0000000000000051 @@ f9fafbfcfefdfeff  ==> ffffffffffffffae
+vpermxor: 00007fffffffffff @@ 0102030405060708 @@ 0102030405060708  ==> 0203040506070809
+	ffff000000000000 @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0a0b0c0e0e0d0e0f
+vpermxor: 00007fffffffffff @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0203040506070809
+	ffff000000000000 @@ 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0a0b0c0e0e0d0e0f
+vpermxor: 00007fffffffffff @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f8f9
+	ffff000000000000 @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fafbfcfefefdfeff
+vpermxor: 00007fffffffffff @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f2f3f4f5f6f7f8f9
+	ffff000000000000 @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> fafbfcfefefdfeff
+vpermxor: 00007fffffffffff @@ 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffffff
+	ffff000000000000 @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ff00000000000000
+vpermxor: 00007fffffffffff @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 007fffffffffffff
+	ffff000000000000 @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> ff00000000000000
+vpermxor: 00007fffffffffff @@ 0000800000000000 @@ 0102030405060708  ==> 0080000000000000
+	ffff000000000000 @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vpermxor: 00007fffffffffff @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0080000000000000
+	ffff000000000000 @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vpermxor: 00007fffffffffff @@ ffffffffffffffff @@ 0102030405060708  ==> ffffffffffffff00
+	ffff000000000000 @@ 0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0000000000000051
+vpermxor: 00007fffffffffff @@ ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffff00
+	ffff000000000000 @@ 0000000000000051 @@ f9fafbfcfefdfeff  ==> 0000000000000051
+vpermxor: 0000800000000000 @@ 0102030405060708 @@ 0102030405060708  ==> 0203040506070809
+	0000000000000000 @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0a0b0c0e0e0d0e0f
+vpermxor: 0000800000000000 @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0203040506070809
+	0000000000000000 @@ 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0a0b0c0e0e0d0e0f
+vpermxor: 0000800000000000 @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f8f9
+	0000000000000000 @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fafbfcfefefdfeff
+vpermxor: 0000800000000000 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f2f3f4f5f6f7f8f9
+	0000000000000000 @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> fafbfcfefefdfeff
+vpermxor: 0000800000000000 @@ 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffffff
+	0000000000000000 @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ff00000000000000
+vpermxor: 0000800000000000 @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 007fffffffffffff
+	0000000000000000 @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> ff00000000000000
+vpermxor: 0000800000000000 @@ 0000800000000000 @@ 0102030405060708  ==> 0080000000000000
+	0000000000000000 @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vpermxor: 0000800000000000 @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0080000000000000
+	0000000000000000 @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vpermxor: 0000800000000000 @@ ffffffffffffffff @@ 0102030405060708  ==> ffffffffffffff00
+	0000000000000000 @@ 0000000000000051 @@ 090a0b0c0e0d0e0f  ==> 0000000000000051
+vpermxor: 0000800000000000 @@ ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffff00
+	0000000000000000 @@ 0000000000000051 @@ f9fafbfcfefdfeff  ==> 0000000000000051
+vpermxor: ffffffffffffffff @@ 0102030405060708 @@ 0102030405060708  ==> fdfcfbfaf9f8f7f6
+	0000000000000051 @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> f5f4f3f1f1f2f1f0
+vpermxor: ffffffffffffffff @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 5352555457565958
+	0000000000000051 @@ 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 5b5a5d5f5f5c5f5e
+vpermxor: ffffffffffffffff @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0d0c0b0a09080706
+	0000000000000051 @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0504030101020100
+vpermxor: ffffffffffffffff @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> a3a2a5a4a7a6a9a8
+	0000000000000051 @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> abaaadafafacafae
+vpermxor: ffffffffffffffff @@ 00007fffffffffff @@ 0102030405060708  ==> ff80000000000000
+	0000000000000051 @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 00ffffffffffffff
+vpermxor: ffffffffffffffff @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 512eaeaeaeaeaeae
+	0000000000000051 @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> ae51515151515151
+vpermxor: ffffffffffffffff @@ 0000800000000000 @@ 0102030405060708  ==> ff7fffffffffffff
+	0000000000000051 @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
+vpermxor: ffffffffffffffff @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 51d1515151515151
+	0000000000000051 @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> 5151515151515151
+vpermxor: ffffffffffffffff @@ ffffffffffffffff @@ 0102030405060708  ==> 00000000000000ff
+	0000000000000051 @@ 0000000000000051 @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffae
+vpermxor: ffffffffffffffff @@ ffffffffffffffff @@ f1f2f3f4f5f6f7f8  ==> aeaeaeaeaeaeae51
+	0000000000000051 @@ 0000000000000051 @@ f9fafbfcfefdfeff  ==> 5151515151515100
 
 vclzb: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 07060605050505040404040404040404
 vclzb: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+vclzb: 00007fffffffffff @@ ffff000000000000  ==> 08080100000000000000080808080808
+vclzb: 0000800000000000 @@ 0000000000000000  ==> 08080008080808080808080808080808
+vclzb: ffffffffffffffff @@ 0000000000000051  ==> 00000000000000000808080808080801
 
 vclzw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000007000000050000000400000004
 vclzw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+vclzw: 00007fffffffffff @@ ffff000000000000  ==> 00000011000000000000000000000020
+vclzw: 0000800000000000 @@ 0000000000000000  ==> 00000010000000200000002000000020
+vclzw: ffffffffffffffff @@ 0000000000000051  ==> 00000000000000000000002000000019
 
 vclzh: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00070006000500050004000400040004
 vclzh: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+vclzh: 00007fffffffffff @@ ffff000000000000  ==> 00100001000000000000001000100010
+vclzh: 0000800000000000 @@ 0000000000000000  ==> 00100000001000100010001000100010
+vclzh: ffffffffffffffff @@ 0000000000000051  ==> 00000000000000000010001000100009
 
 vclzd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000000000000070000000000000004
 vclzd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+vclzd: 00007fffffffffff @@ ffff000000000000  ==> 00000000000000110000000000000000
+vclzd: 0000800000000000 @@ 0000000000000000  ==> 00000000000000100000000000000040
+vclzd: ffffffffffffffff @@ 0000000000000051  ==> 00000000000000000000000000000039
 
 vpopcntb: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 01010201020203010202030203030304
 vpopcntb: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 05050605060607050606070607070708
+vpopcntb: 00007fffffffffff @@ ffff000000000000  ==> 00000708080808080808000000000000
+vpopcntb: 0000800000000000 @@ 0000000000000000  ==> 00000100000000000000000000000000
+vpopcntb: ffffffffffffffff @@ 0000000000000051  ==> 08080808080808080000000000000003
 
 vpopcnth: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00020003000400040004000500060007
 vpopcnth: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 000a000b000c000c000c000d000e000f
+vpopcnth: 00007fffffffffff @@ ffff000000000000  ==> 0000000f001000100010000000000000
+vpopcnth: 0000800000000000 @@ 0000000000000000  ==> 00000001000000000000000000000000
+vpopcnth: ffffffffffffffff @@ 0000000000000051  ==> 00100010001000100000000000000003
 
 vpopcntw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 0000000500000008000000090000000d
 vpopcntw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 0000001500000018000000190000001d
+vpopcntw: 00007fffffffffff @@ ffff000000000000  ==> 0000000f000000200000001000000000
+vpopcntw: 0000800000000000 @@ 0000000000000000  ==> 00000001000000000000000000000000
+vpopcntw: ffffffffffffffff @@ 0000000000000051  ==> 00000020000000200000000000000003
 
 vpopcntd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 000000000000000d0000000000000016
 vpopcntd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 000000000000002d0000000000000036
+vpopcntd: 00007fffffffffff @@ ffff000000000000  ==> 000000000000002f0000000000000010
+vpopcntd: 0000800000000000 @@ 0000000000000000  ==> 00000000000000010000000000000000
+vpopcntd: ffffffffffffffff @@ 0000000000000051  ==> 00000000000000400000000000000003
 
 vsbox: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 7c777bf26b6fc53001672bfeabd7ab76
 vsbox: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> a1890dbfe6426841992d0fb0bb54bb16
+vsbox: 00007fffffffffff @@ ffff000000000000  ==> 6363d216161616161616636363636363
+vsbox: 0000800000000000 @@ 0000000000000000  ==> 6363cd63636363636363636363636363
+vsbox: ffffffffffffffff @@ 0000000000000051  ==> 161616161616161663636363636363d1
 
 vgbbd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000000011e66aa00000000ff1f6ba5
 vgbbd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> ffffffff011e66aaffffffffff1f6ba5
+vgbbd: 00007fffffffffff @@ ffff000000000000  ==> 1f3f3f3f3f3f3f3fc0c0c0c0c0c0c0c0
+vgbbd: 0000800000000000 @@ 0000000000000000  ==> 20000000000000000000000000000000
+vgbbd: ffffffffffffffff @@ 0000000000000051  ==> ffffffffffffffff0001000100000001
 
 vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 088207870e8c098d || 8b9e1b9b13149015
 vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> c8f5100c7844a0fc || e9b5916d0131c581
@@ -347,6 +1473,18 @@ vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 81eb6eee67e560e4 || 02f772
 vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 52af4a56221efaa6 || 73efcb375b6b9fdb
 vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 8bf92f9ed2b06655 || 299d6bbd9e22f4c7
 vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 986700cc8f5613df || 7a3f676a2ef03935
+vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> 7f003f7fffffffff || 7eff810000000000
+vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> fffc1e000ffffff8 || fc07e3ffe0000007
+vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> fffffff03e07e0ff || 0000000fc1f03e00
+vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> fffc3ffe1f80003f || 0003c003c07fff80
+vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0000418000000000 || 0000000000000000
+vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0004020010000000 || 0000000000000000
+vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0000000000082100 || 0000000000000000
+vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0000000220000040 || 0000000000000000
+vshasigmad: ffffffffffffffff @@ 0000000000000051  ==> 01ffffffffffffff || d100000000000028
+vshasigmad: ffffffffffffffff @@ 0000000000000051  ==> 03ffffffffffffff || 000a200000000289
+vshasigmad: ffffffffffffffff @@ 0000000000000051  ==> ffffffffffffffff || 00000504e2000000
+vshasigmad: ffffffffffffffff @@ 0000000000000051  ==> ffffffffffffffff || 0150400028800000
 
 vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 88e344269168cdae || 9bf057355c5e785e
 vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 41e2c021c36443a2 || 44e5c72626c5e584
@@ -356,6 +1494,18 @@ vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 4b2087e552ab0e6d || 583394
 vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 27b89a7ba53e19f8 || 22bf9d7c409fbfde
 vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 6814e0ad5965f19e || 0a7682cfffbb77ab
 vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 54200fe9e7b2997b || 71052acc5efb57bb
+vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> e1ffcf001fffffff || de0021ff00000000
+vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> 3000601f003fffff || 603f9fc000000000
+vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> 3e07e3fcffffffff || c3f83c0700000000
+vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> 03dffe70ffffffff || fc60039f00000000
+vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 2000110000000000 || 0000000000000000
+vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 5000002000000000 || 0000000000000000
+vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 0200200400000000 || 0000000000000000
+vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 0040021000000000 || 0000000000000000
+vshasigmaw: ffffffffffffffff @@ 0000000000000051  ==> 1fffffff1fffffff || 00000000a214400a
+vshasigmaw: ffffffffffffffff @@ 0000000000000051  ==> 003fffff003fffff || 000000000022a000
+vshasigmaw: ffffffffffffffff @@ 0000000000000051  ==> ffffffffffffffff || 0000000042894414
+vshasigmaw: ffffffffffffffff @@ 0000000000000051  ==> ffffffffffffffff || 000000004e202881
 
 bcdadd.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 6090180378642006 || 002244669113354d
 bcdadd.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 6090180378642006 || 002244669113354d
@@ -425,63 +1575,336 @@ bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 00000000000
 
 vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
 vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000001
 vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
 vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000001
+vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000001
+vaddcuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vaddcuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vaddcuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vaddcuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vaddcuq: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000001
+vaddcuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vaddcuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vaddcuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vaddcuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vaddcuq: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000001
+vaddcuq: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000001
+vaddcuq: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000001
+vaddcuq: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
+vaddcuq: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000001
+vaddcuq: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000001
 
 vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 020406080a0c0e10121416181c1a1c1e
 vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> f2f4f6f8fafcff01030507090d0b0d0e
+vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 010283040506070809090b0c0e0d0e0f
+vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 0102830405060708090a0b0c0e0d0e0f
+vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 ==> 0102030405060707090a0b0c0e0d0e60
 vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> f2f4f6f8fafcff01030507090d0b0d0e
 vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdfe
+vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
+vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
+vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 ==> f1f2f3f4f5f6f7f7f9fafbfcfefdff50
+vadduqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 010283040506070809090b0c0e0d0e0f
+vadduqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
+vadduqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 0000fffffffffffffffe000000000000
+vadduqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 0000ffffffffffffffff000000000000
+vadduqm: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 ==> 00007ffffffffffeffff000000000051
+vadduqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 0102830405060708090a0b0c0e0d0e0f
+vadduqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
+vadduqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 0000ffffffffffffffff000000000000
+vadduqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00010000000000000000000000000000
+vadduqm: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 ==> 00007fffffffffff0000000000000051
+vadduqm: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f ==> 0102030405060707090a0b0c0e0d0e60
+vadduqm: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> f1f2f3f4f5f6f7f7f9fafbfcfefdff50
+vadduqm: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 ==> 00007ffffffffffeffff000000000051
+vadduqm: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 ==> 00007fffffffffff0000000000000051
+vadduqm: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 ==> fffffffffffffffe00000000000000a2
 
 vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000001
 vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
+vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000001
+vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000000
 vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000001
 vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000001
+vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
+vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000001
+vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000000
+vsubcuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vsubcuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vsubcuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
+vsubcuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vsubcuq: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000000
+vsubcuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vsubcuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vsubcuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
+vsubcuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000001
+vsubcuq: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000000
+vsubcuq: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000001
+vsubcuq: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000001
+vsubcuq: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
+vsubcuq: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000001
+vsubcuq: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000001
 
 vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
 vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f10
+vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 0101830405060708090b0b0c0e0d0e0f
+vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 0101830405060708090a0b0c0e0d0e0f
+vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 ==> 0102030405060709090a0b0c0e0d0dbe
 vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0
 vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> f1f273f4f5f6f7f8f9fbfbfcfefdfeff
+vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> f1f273f4f5f6f7f8f9fafbfcfefdfeff
+vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 ==> f1f2f3f4f5f6f7f9f9fafbfcfefdfeae
+vsubuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f1
+vsubuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 0e0d8c0b0a0908070604040301020101
+vsubuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vsubuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> ffffffffffffffffffff000000000000
+vsubuqm: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 ==> 0000800000000000fffeffffffffffaf
+vsubuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f1
+vsubuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 0e0d8c0b0a0908070605040301020101
+vsubuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000001000000000000
+vsubuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vsubuqm: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 ==> 0000800000000000ffffffffffffffaf
+vsubuqm: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f ==> fefdfcfbfaf9f8f6f6f5f4f3f1f2f242
+vsubuqm: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 0e0d0c0b0a0908060605040301020152
+vsubuqm: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 ==> ffff7fffffffffff0001000000000051
+vsubuqm: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 ==> ffff7fffffffffff0000000000000051
+vsubuqm: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000000
 
 vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 000000000000020a0000000000000000
 vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 00000000000020000000000000000000
+vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000000
 vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 000000000000e3ea0000000000000000
 vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> 000000000000e03f0000000000000000
+vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> 000000000000dfff0000000000000000
+vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 ==> 00000000000000ff0000000000000000
+vbpermq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vbpermq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vbpermq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vbpermq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vbpermq: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000000
+vbpermq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vbpermq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vbpermq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vbpermq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vbpermq: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 ==> 00000000000000000000000000000000
+vbpermq: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f ==> 000000000000ffff0000000000000000
+vbpermq: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vbpermq: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 ==> 000000000000e03f0000000000000000
+vbpermq: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 ==> 000000000000dfff0000000000000000
+vbpermq: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 ==> 00000000000000fe0000000000000000
 
 vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
 vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
 vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
 vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00000000000000000000000000000001
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00000000000000000000000000000001
 vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
 vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
 vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000001
 vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000001
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00000000000000000000000000000001
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00000000000000000000000000000001
+vaddecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00000000000000000000000000000001
+vaddecuq: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00000000000000000000000000000001
+vaddecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00000000000000000000000000000001
+vaddecuq: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00000000000000000000000000000001
+vaddecuq: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000001
+vaddecuq: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000001
+vaddecuq: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000001
+vaddecuq: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000001
+vaddecuq: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vaddecuq: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vaddecuq: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vaddecuq: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vaddecuq: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00000000000000000000000000000001
+vaddecuq: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00000000000000000000000000000001
 
 vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 020406080a0c0e10121416181c1a1c1e
 vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 020406080a0c0e10121416181c1a1c1f
 vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> f2f4f6f8fafcff01030507090d0b0d0e
 vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> f2f4f6f8fafcff01030507090d0b0d0f
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 010283040506070809090b0c0e0d0e0f
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 010283040506070809090b0c0e0d0e10
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 0102830405060708090a0b0c0e0d0e0f
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 0102830405060708090a0b0c0e0d0e10
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 0102030405060707090a0b0c0e0d0e60
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 0102030405060707090a0b0c0e0d0e61
 vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> f2f4f6f8fafcff01030507090d0b0d0e
 vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> f2f4f6f8fafcff01030507090d0b0d0f
 vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdfe
 vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdff
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> f1f373f4f5f6f7f8f9f9fbfcfefdff00
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> f1f373f4f5f6f7f8f9fafbfcfefdff00
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> f1f2f3f4f5f6f7f7f9fafbfcfefdff50
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> f1f2f3f4f5f6f7f7f9fafbfcfefdff51
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 010283040506070809090b0c0e0d0e0f
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 010283040506070809090b0c0e0d0e10
+vaddeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
+vaddeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> f1f373f4f5f6f7f8f9f9fbfcfefdff00
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 0000fffffffffffffffe000000000000
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 0000fffffffffffffffe000000000001
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 0000ffffffffffffffff000000000000
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 0000ffffffffffffffff000000000001
+vaddeuqm: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00007ffffffffffeffff000000000051
+vaddeuqm: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00007ffffffffffeffff000000000052
+vaddeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 0102830405060708090a0b0c0e0d0e0f
+vaddeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 0102830405060708090a0b0c0e0d0e10
+vaddeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
+vaddeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> f1f373f4f5f6f7f8f9fafbfcfefdff00
+vaddeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 0000ffffffffffffffff000000000000
+vaddeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 0000ffffffffffffffff000000000001
+vaddeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00010000000000000000000000000000
+vaddeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00010000000000000000000000000001
+vaddeuqm: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00007fffffffffff0000000000000051
+vaddeuqm: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00007fffffffffff0000000000000052
+vaddeuqm: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 0102030405060707090a0b0c0e0d0e60
+vaddeuqm: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 0102030405060707090a0b0c0e0d0e61
+vaddeuqm: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> f1f2f3f4f5f6f7f7f9fafbfcfefdff50
+vaddeuqm: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> f1f2f3f4f5f6f7f7f9fafbfcfefdff51
+vaddeuqm: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00007ffffffffffeffff000000000051
+vaddeuqm: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00007ffffffffffeffff000000000052
+vaddeuqm: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00007fffffffffff0000000000000051
+vaddeuqm: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00007fffffffffff0000000000000052
+vaddeuqm: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> fffffffffffffffe00000000000000a2
+vaddeuqm: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> fffffffffffffffe00000000000000a3
 
 vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
 vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000001
 vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
 vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00000000000000000000000000000000
 vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000001
 vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000001
 vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
 vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00000000000000000000000000000001
 
 vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
 vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
 vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f
 vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f10
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 0101830405060708090b0b0c0e0d0e0e
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 0101830405060708090b0b0c0e0d0e0f
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 0101830405060708090a0b0c0e0d0e0e
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 0101830405060708090a0b0c0e0d0e0f
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 0102030405060709090a0b0c0e0d0dbd
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 0102030405060709090a0b0c0e0d0dbe
 vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0ef
 vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0
 vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
 vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> f1f273f4f5f6f7f8f9fbfbfcfefdfefe
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> f1f273f4f5f6f7f8f9fbfbfcfefdfeff
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> f1f273f4f5f6f7f8f9fafbfcfefdfefe
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> f1f273f4f5f6f7f8f9fafbfcfefdfeff
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> f1f2f3f4f5f6f7f9f9fafbfcfefdfead
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> f1f2f3f4f5f6f7f9f9fafbfcfefdfeae
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f0
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f1
+vsubeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 0e0d8c0b0a0908070604040301020100
+vsubeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 0e0d8c0b0a0908070604040301020101
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> fffffffffffffffffffeffffffffffff
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> ffffffffffffffffffff000000000000
+vsubeuqm: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 0000800000000000fffeffffffffffae
+vsubeuqm: 00007fffffffffffffff000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 0000800000000000fffeffffffffffaf
+vsubeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f0
+vsubeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f1
+vsubeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 0e0d8c0b0a0908070605040301020100
+vsubeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 0e0d8c0b0a0908070605040301020101
+vsubeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000ffffffffffff
+vsubeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000001000000000000
+vsubeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
+vsubeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubeuqm: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> 0000800000000000ffffffffffffffae
+vsubeuqm: 00008000000000000000000000000000 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 0000800000000000ffffffffffffffaf
+vsubeuqm: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> fefdfcfbfaf9f8f6f6f5f4f3f1f2f241
+vsubeuqm: ffffffffffffffff0000000000000051 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> fefdfcfbfaf9f8f6f6f5f4f3f1f2f242
+vsubeuqm: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 0e0d0c0b0a0908060605040301020151
+vsubeuqm: ffffffffffffffff0000000000000051 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 0e0d0c0b0a0908060605040301020152
+vsubeuqm: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> ffff7fffffffffff0001000000000050
+vsubeuqm: ffffffffffffffff0000000000000051 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> ffff7fffffffffff0001000000000051
+vsubeuqm: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> ffff7fffffffffff0000000000000050
+vsubeuqm: ffffffffffffffff0000000000000051 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> ffff7fffffffffff0000000000000051
+vsubeuqm: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
+vsubeuqm: ffffffffffffffff0000000000000051 @@ ffffffffffffffff0000000000000051 @@ f000000000000001 ==> 00000000000000000000000000000000
 
 All done. Tested 66 different instructions
diff --git a/none/tests/ppc64/test_isa_2_07_part1.c b/none/tests/ppc64/test_isa_2_07_part1.c
index be0a5ed..74424e8 100644
--- a/none/tests/ppc64/test_isa_2_07_part1.c
+++ b/none/tests/ppc64/test_isa_2_07_part1.c
@@ -874,7 +874,7 @@ static int verbose = 0;
 static int arg_list_size = 0;
 static unsigned long long * vdargs = NULL;
 static unsigned long long * vdargs_x = NULL;
-#define NB_VDARGS 4
+#define NB_VDARGS 9
 
 static void build_vdargs_table (void)
 {
@@ -884,6 +884,11 @@ static void build_vdargs_table (void)
    vdargs[1] = 0x090A0B0C0E0D0E0FULL;
    vdargs[2] = 0xF1F2F3F4F5F6F7F8ULL;
    vdargs[3] = 0xF9FAFBFCFEFDFEFFULL;
+   vdargs[4] = 0x00007FFFFFFFFFFFULL;
+   vdargs[5] = 0xFFFF000000000000ULL;
+   vdargs[6] = 0x0000800000000000ULL;
+   vdargs[7] = 0x0000000000000000ULL;
+   vdargs[8] = 0xFFFFFFFFFFFFFFFFULL;
 
    vdargs_x = memalign16(NB_VDARGS * sizeof(unsigned long long));
    vdargs_x[0] = 0x000000007c118a2bULL;