From 1f54a53f19c656b95713509d19680387cd76014b Mon Sep 17 00:00:00 2001 From: Mark Wielaard Date: Apr 03 2016 19:21:54 +0000 Subject: Add valgrind-3.11.0-ppc64-128bit-mod-carry.patch --- diff --git a/valgrind-3.11.0-ppc64-128bit-mod-carry.patch b/valgrind-3.11.0-ppc64-128bit-mod-carry.patch new file mode 100644 index 0000000..3d986e5 --- /dev/null +++ b/valgrind-3.11.0-ppc64-128bit-mod-carry.patch @@ -0,0 +1,1923 @@ +commit e92c94c87913d9c257d1577493fdfd6b346b1a67 +Author: carll +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 +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; diff --git a/valgrind.spec b/valgrind.spec index 1bfa619..baef49f 100644 --- a/valgrind.spec +++ b/valgrind.spec @@ -139,6 +139,9 @@ Patch29: valgrind-3.11.0-ppc64-separate-socketcalls.patch # KDE#356393 - valgrind (vex) crashes because isZeroU happened Patch30: valgrind-3.11.0-isZeroU.patch +# KDE#359472 - PPC vsubuqm instruction doesn't always give the correct result +Patch31: valgrind-3.11.0-ppc64-128bit-mod-carry.patch + %if %{build_multilib} # Ensure glibc{,-devel} is installed for both multilib arches BuildRequires: /lib/libc.so.6 /usr/lib/libc.so /lib64/libc.so.6 /usr/lib64/libc.so @@ -277,6 +280,7 @@ chmod 755 memcheck/tests/arm64-linux/filter_stderr %patch28 -p1 %patch29 -p1 %patch30 -p1 +%patch31 -p1 %build # We need to use the software collection compiler and binutils if available. @@ -474,6 +478,7 @@ echo ===============END TESTING=============== - Add valgrind-3.11.0-ppc64-separate-socketcalls.patch - Add valgrind-3.11.0-isZeroU.patch - Replace valgrind-3.11.0-arm64-ldpsw.patch with upstream version +- Add valgrind-3.11.0-ppc64-128bit-mod-carry.patch * Mon Mar 14 2016 Mark Wielaard - 3.11.0-18 - Update valgrind-3.11.0-libstdc++-supp.patch.