Power PPC test case test_isa_2_07 steps out of array bounds.

The test none/tests/ppc64/test_isa_2_07.c steps beyond the data array in a
number of places. The issue is the array is declared to be of size N. The for
loop is: for (i=0; i<N; i=i+2). In the body of the loop the array elements
A[i] and A[i+1] are accessed. On the last iteration i=N-1 and the second array
access becomes A[N-1+1] which accesses one element past the declared array
size.

This commit fixes the array bounds by making the for loop read:

   for (i=0; i<N-1; i=i+2)

The expected output files

none/tests/ppc64/jm_int_isa_2_07.stdout.exp
none/tests/ppc64/jm_vec_isa_2_07.stdout.exp

are updated with the new expected results.

Valgrind Bugzilla 359829

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@15816

diff --git a/NEWS b/NEWS
index a851aa48e91b921e40ea9fa01d80dd6370b86c67..3164e146fa1eac91105746ccde776404384a3752 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -77,6 +77,8 @@ where XXXXXX is the bug number as listed below.
 359703  s390: wire up separate socketcalls system calls
 359724  getsockname might crash - deref_UInt should call safe_to_deref
 359733  amd64 implement ld.so strchr/index override like x86
+359829  PowerPC test none/tests/ppc64/test_isa_2_07.c uninitialized memory
+        references was fixed.
 
 n-i-bz Fix incorrect (or infinite loop) unwind on RHEL7 x86 and amd64
 n-i-bz massif --pages-as-heap=yes does not report peak caused by mmap+munmap

diff --git a/none/tests/ppc64/jm_int_isa_2_07.stdout.exp b/none/tests/ppc64/jm_int_isa_2_07.stdout.exp
index e31b9736227d64e1f18b7b9dfe4c573c1aab850e..58761286ecd1e29cf81db79b342950442b016832 100644 (file)
--- a/none/tests/ppc64/jm_int_isa_2_07.stdout.exp
+++ b/none/tests/ppc64/jm_int_isa_2_07.stdout.exp
@@ -1,17 +1,17 @@
-stq abcdef0123456789,1133557722446688,   0 => abcdef0123456789,1133557722446688)
+stq abcdef0123456789,1133557722446688,   0 => 1133557722446688,abcdef0123456789)
 
-lq (0xaaccee0011335577, 0xabcdef0123456789) =>  (reg_pair = 0xaaccee0011335577, 0xabcdef0123456789)
+lq (0xaaccee0011335577, 0xabcdef0123456789) =>  (reg_pair = 0xabcdef0123456789, 0xaaccee0011335577)
 
-lbarx (0xaaccee0011335577, 0xabcdef0123456789) =>  (reg_pair = 0x00000000000000aa, 0x0000000000000000)
+lbarx (0xaaccee0011335577, 0xabcdef0123456789) =>  (reg_pair = 0x0000000000000077, 0x0000000000000000)
 
-lharx (0xaaccee0011335577, 0xabcdef0123456789) =>  (reg_pair = 0x000000000000aacc, 0x0000000000000000)
+lharx (0xaaccee0011335577, 0xabcdef0123456789) =>  (reg_pair = 0x0000000000005577, 0x0000000000000000)
 
-lqarx (0xaaccee0011335577, 0xabcdef0123456789) =>  (reg_pair = 0xaaccee0011335577, 0xabcdef0123456789)
+lqarx (0xaaccee0011335577, 0xabcdef0123456789) =>  (reg_pair = 0xabcdef0123456789, 0xaaccee0011335577)
 
-stbcx. abefcd0145236789,1155337744226688 => 8900000000000000,0000000000000001; CR=20000000
+stbcx. abefcd0145236789,1155337744226688 => 0000000000000089,0000000000000001; CR=20000000
 
-sthcx. abefcd0145236789,1155337744226688 => 6789000000000000,0000000000000001; CR=20000000
+sthcx. abefcd0145236789,1155337744226688 => 0000000000006789,0000000000000001; CR=20000000
 
-stqcx. abefcd0145236789,1155337744226688 => abefcd0145236789,1155337744226688; CR=20000000
+stqcx. abefcd0145236789,1155337744226688 => 1155337744226688,abefcd0145236789; CR=20000000
 
 All done. Tested 8 different instructions

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 099491d55c578c6ece7c485410d0062a73c7c908..40d32d6a6adfc44525892a39e64910a4160847bb 100644 (file)
--- a/none/tests/ppc64/jm_vec_isa_2_07.stdout.exp
+++ b/none/tests/ppc64/jm_vec_isa_2_07.stdout.exp
@@ -56,8 +56,6 @@ 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
@@ -66,8 +64,6 @@ 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
@@ -76,8 +72,6 @@ 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
@@ -86,18 +80,6 @@ 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
@@ -107,8 +89,6 @@ 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
@@ -117,8 +97,6 @@ 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
@@ -127,8 +105,6 @@ 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
@@ -137,18 +113,6 @@ 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
@@ -158,8 +122,6 @@ 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
@@ -168,8 +130,6 @@ 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
@@ -178,8 +138,6 @@ 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
@@ -188,18 +146,6 @@ 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
@@ -209,8 +155,6 @@ 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
@@ -219,8 +163,6 @@ 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
@@ -229,8 +171,6 @@ 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
@@ -239,18 +179,6 @@ 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
@@ -260,8 +188,6 @@ 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
@@ -270,8 +196,6 @@ 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
@@ -280,8 +204,6 @@ 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
@@ -290,18 +212,6 @@ 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
@@ -311,8 +221,6 @@ 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
@@ -321,8 +229,6 @@ 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
@@ -331,8 +237,6 @@ 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
@@ -341,18 +245,6 @@ 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
@@ -362,8 +254,6 @@ 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
@@ -372,8 +262,6 @@ 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
@@ -382,8 +270,6 @@ 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
@@ -392,18 +278,6 @@ 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
@@ -413,8 +287,6 @@ 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
@@ -423,8 +295,6 @@ 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
@@ -433,8 +303,6 @@ 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
@@ -443,18 +311,6 @@ 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
@@ -464,8 +320,6 @@ 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
@@ -474,8 +328,6 @@ 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
@@ -484,8 +336,6 @@ 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
@@ -494,18 +344,6 @@ 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
@@ -515,8 +353,6 @@ 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
@@ -525,8 +361,6 @@ 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
@@ -535,8 +369,6 @@ 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
@@ -545,18 +377,6 @@ 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
@@ -566,8 +386,6 @@ 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
@@ -576,8 +394,6 @@ 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
@@ -586,8 +402,6 @@ 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
@@ -596,18 +410,6 @@ 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
@@ -617,8 +419,6 @@ 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
@@ -627,8 +427,6 @@ 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
@@ -637,8 +435,6 @@ 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
@@ -647,18 +443,6 @@ 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
@@ -668,8 +452,6 @@ 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
@@ -678,8 +460,6 @@ 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
@@ -688,8 +468,6 @@ 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
@@ -698,18 +476,6 @@ 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
@@ -719,8 +485,6 @@ 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
@@ -729,8 +493,6 @@ 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
@@ -739,8 +501,6 @@ 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
@@ -749,18 +509,6 @@ 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
@@ -770,8 +518,6 @@ 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
@@ -780,8 +526,6 @@ 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
@@ -790,8 +534,6 @@ 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
@@ -800,18 +542,6 @@ 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
@@ -821,8 +551,6 @@ 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
@@ -831,8 +559,6 @@ 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
@@ -841,8 +567,6 @@ 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
@@ -851,18 +575,6 @@ 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
@@ -872,8 +584,6 @@ 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
@@ -882,8 +592,6 @@ 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
@@ -892,8 +600,6 @@ 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
@@ -902,18 +608,6 @@ 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
@@ -923,8 +617,6 @@ 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
@@ -933,8 +625,6 @@ 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
@@ -943,8 +633,6 @@ 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
@@ -953,18 +641,6 @@ 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
@@ -974,8 +650,6 @@ 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
@@ -984,8 +658,6 @@ 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
@@ -994,8 +666,6 @@ 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
@@ -1004,18 +674,6 @@ 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
@@ -1025,8 +683,6 @@ 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
@@ -1035,8 +691,6 @@ 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
@@ -1045,8 +699,6 @@ 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
@@ -1055,18 +707,6 @@ 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
@@ -1076,8 +716,6 @@ 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
@@ -1086,8 +724,6 @@ 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
@@ -1096,8 +732,6 @@ 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
@@ -1106,18 +740,6 @@ 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
@@ -1127,8 +749,6 @@ 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
@@ -1137,8 +757,6 @@ 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
@@ -1147,8 +765,6 @@ 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
@@ -1157,18 +773,6 @@ 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
@@ -1222,81 +826,18 @@ 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
@@ -1320,10 +861,6 @@ vpermxor: 0102030405060708 @@ 0000800000000000 @@ 0102030405060708  ==> 01810101
        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
@@ -1340,10 +877,6 @@ vpermxor: f1f2f3f4f5f6f7f8 @@ 0000800000000000 @@ 0102030405060708  ==> f171f1f1
        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
@@ -1360,10 +893,6 @@ vpermxor: 00007fffffffffff @@ 0000800000000000 @@ 0102030405060708  ==> 00800000
        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
@@ -1380,90 +909,56 @@ vpermxor: 0000800000000000 @@ 0000800000000000 @@ 0102030405060708  ==> 00800000
        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
@@ -1481,10 +976,6 @@ vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0000418000000000 || 000000
 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
@@ -1502,10 +993,6 @@ vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 2000110000000000 || 000000
 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
@@ -1577,131 +1064,86 @@ vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==
 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
@@ -1711,8 +1153,6 @@ vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @
 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
@@ -1721,8 +1161,6 @@ vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @
 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
@@ -1731,8 +1169,6 @@ vaddecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @
 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
@@ -1741,18 +1177,6 @@ vaddecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @
 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
@@ -1762,8 +1186,6 @@ vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @
 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
@@ -1772,8 +1194,6 @@ vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @
 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
@@ -1782,8 +1202,6 @@ vaddeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @
 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
@@ -1792,18 +1210,6 @@ vaddeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @
 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
@@ -1813,8 +1219,6 @@ vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @
 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
@@ -1823,8 +1227,6 @@ vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @
 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
@@ -1833,8 +1235,6 @@ vsubecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @
 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
@@ -1843,18 +1243,6 @@ vsubecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @
 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
@@ -1864,8 +1252,6 @@ vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @
 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
@@ -1874,8 +1260,6 @@ vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @
 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
@@ -1884,8 +1268,6 @@ vsubeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @
 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
@@ -1894,17 +1276,5 @@ vsubeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @
 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 74424e8db31e70f7c3babe9e1ff27989b98e07f1..73a563ca51616806cdf4772bbb1c2b605a94b5d6 100644 (file)
--- a/none/tests/ppc64/test_isa_2_07_part1.c
+++ b/none/tests/ppc64/test_isa_2_07_part1.c
@@ -875,6 +875,7 @@ static int arg_list_size = 0;
 static unsigned long long * vdargs = NULL;
 static unsigned long long * vdargs_x = NULL;
 #define NB_VDARGS 9
+#define NB_VDARGS_X 4
 
 static void build_vdargs_table (void)
 {
@@ -890,7 +891,7 @@ static void build_vdargs_table (void)
    vdargs[7] = 0x0000000000000000ULL;
    vdargs[8] = 0xFFFFFFFFFFFFFFFFULL;
 
-   vdargs_x = memalign16(NB_VDARGS * sizeof(unsigned long long));
+   vdargs_x = memalign16(NB_VDARGS_X * sizeof(unsigned long long));
    vdargs_x[0] = 0x000000007c118a2bULL;
    vdargs_x[1] = 0x00000000f1112345ULL;
    vdargs_x[2] = 0x01F2F3F4F5F6F7F8ULL;
@@ -927,7 +928,8 @@ static unsigned long long vbcd_args[] __attribute__ ((aligned (16))) = {
    0x0ULL,                // Invalid BCD zero (no sign code)
    0x0ULL
 };
-#define NUM_VBCD_VALS (sizeof vbcd_args/sizeof vbcd_args[0])
+//#define NUM_VBCD_VALS (sizeof vbcd_args/sizeof vbcd_args[0])
+#define NUM_VBCD_VALS 8 
 
 static void build_vargs_table (void)
 {
@@ -1293,12 +1295,12 @@ static void test_av_dint_two_args (const char* name, test_func_t func,
    else
       is_vpmsumd = 0;
 
-   for (i = 0; i < NB_VDARGS; i+=2) {
+   for (i = 0; i < NB_VDARGS - 1; i+=2) {
       if (isLE && family == PPC_ALTIVECQ)
          vec_inA = (vector unsigned long long){ vdargs[i+1], vdargs[i] };
       else
          vec_inA = (vector unsigned long long){ vdargs[i], vdargs[i+1] };
-      for (j = 0; j < NB_VDARGS; j+=2) {
+      for (j = 0; j < NB_VDARGS - 1; j+=2) {
          if (isLE && family == PPC_ALTIVECQ)
             vec_inB = (vector unsigned long long){ vdargs[j+1], vdargs[j] };
          else
@@ -1358,7 +1360,7 @@ static void test_av_dint_one_arg (const char* name, test_func_t func,
    unsigned long long * dst;
    int i;
 
-   for (i = 0; i < NB_VDARGS; i+=2) {
+   for (i = 0; i < NB_VDARGS - 1; i+=2) {
       vec_inB = (vector unsigned long long){ vdargs[i], vdargs[i+1] };
       vec_out = (vector unsigned long long){ 0,0 };
 
@@ -1377,7 +1379,7 @@ static void test_av_dint_one_arg_SHA (const char* name, test_func_t func,
    unsigned long long * dst;
    int i, st, six;
 
-   for (i = 0; i < NB_VDARGS; i+=2) {
+   for (i = 0; i < NB_VDARGS - 1; i+=2) {
       vec_inA = (vector unsigned long long){ vdargs[i], vdargs[i+1] };
       vec_out = (vector unsigned long long){ 0,0 };
 
@@ -1401,14 +1403,14 @@ static void test_av_bcd (const char* name, test_func_t func,
    unsigned long long * dst;
    int i, j;
 
-   for (i = 0; i < NUM_VBCD_VALS; i+=2) {
+   for (i = 0; i < NUM_VBCD_VALS - 1; i+=2) {
       if (isLE)
-         vec_inA = (vector unsigned long long){ vbcd_args[i+1], vbcd_args[i] };
+         vec_inA = (vector unsigned long long){ vbcd_args[i+1], vbcd_args[i]};
       else
          vec_inA = (vector unsigned long long){ vbcd_args[i], vbcd_args[i+1] };
-      for (j = 0; j < NUM_VBCD_VALS; j+=2) {
+      for (j = 0; j < NUM_VBCD_VALS - 1; j+=2) {
          if (isLE)
-            vec_inB = (vector unsigned long long){ vbcd_args[j+1], vbcd_args[j] };
+            vec_inB = (vector unsigned long long){ vbcd_args[j+1] , vbcd_args[j] };
          else
             vec_inB = (vector unsigned long long){ vbcd_args[j], vbcd_args[j+1] };
          vec_out = (vector unsigned long long){ 0, 0 };
@@ -1436,9 +1438,9 @@ static void test_av_dint_to_int_two_args (const char* name, test_func_t func,
 
    unsigned int * dst_int;
    int i,j;
-   for (i = 0; i < NB_VDARGS; i+=2) {
+   for (i = 0; i < NB_VDARGS_X - 1; i+=2) {
       vec_inA = (vector unsigned long long){ vdargs_x[i], vdargs_x[i+1] };
-      for (j = 0; j < NB_VDARGS; j+=2) {
+      for (j = 0; j < NB_VDARGS_X - 1; j+=2) {
          vec_inB = (vector unsigned long long){ vdargs_x[j], vdargs_x[j+1] };
          vec_out = (vector unsigned long long){ 0,0 };
 
@@ -1676,17 +1678,17 @@ static void test_av_dint_three_args (const char* name, test_func_t func,
                                     0xf000000000000000ULL, 0xf000000000000000ULL,
                                     0xf000000000000000ULL, 0xf000000000000001ULL
    };
-   for (i = 0; i < NB_VDARGS; i+=2) {
+   for (i = 0; i < NB_VDARGS - 1; i+=2) {
       if (isLE)
          vec_inA = (vector unsigned long long){ vdargs[i+1], vdargs[i] };
       else
          vec_inA = (vector unsigned long long){ vdargs[i], vdargs[i+1] };
-      for (j = 0; j < NB_VDARGS; j+=2) {
+      for (j = 0; j < NB_VDARGS - 1; j+=2) {
          if (isLE)
             vec_inB = (vector unsigned long long){ vdargs[j+1], vdargs[j] };
          else
             vec_inB = (vector unsigned long long){ vdargs[j], vdargs[j+1] };
-         for (k = 0; k < 4; k+=2) {
+         for (k = 0; k < 4 - 1; k+=2) {
             if (family == PPC_ALTIVECQ) {
                if (isLE)
                   vec_inC = (vector unsigned long long){ cin_vals[k+1], cin_vals[k] };