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;