Fix PPC BE in 32-bit mode.

The 64-bit compares are not supported in 32-bit mode.  Change the 64-bit
compares to 32-bit compares when doing byte compares.  Add routine for
doing V128 GT compare using 32-bit compares.

The clean caller support was missing for 32-bit mode

Update the expected output file jm_vec_isa_2_07.stdout.exp

Bugzilla 371128      VEX commit 3271

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

diff --git a/NEWS b/NEWS
index 708bba1e9e59de9ecb636044d73fb5cad5d0e1a8..0f99fc6631e899c7b3ed561ee5584dff07116a80 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -196,6 +196,7 @@ where XXXXXX is the bug number as listed below.
 369468  Remove quadratic metapool alg. using VG_(HT_remove_at_Iter)
         (VgHashTable *table)
 370265  ISA 3.0 HW cap stuff needs updating
+371128  BCD add and subtract instructions on Power BE in 32-bit mode do not work
 
 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/ppc32/Makefile.am b/none/tests/ppc32/Makefile.am
index 196239e0b9f2014b3ef2f6ae8f7a8dc47e559e03..c4af70715d8b9c960d53aed98ab51fd0f927ac38 100644 (file)
--- a/none/tests/ppc32/Makefile.am
+++ b/none/tests/ppc32/Makefile.am
@@ -38,7 +38,8 @@ EXTRA_DIST = \
        test_dfp3.stderr.exp test_dfp3.stdout.exp test_dfp3.vgtest \
        test_dfp4.stderr.exp test_dfp4.stdout.exp test_dfp4.vgtest \
        test_dfp5.stderr.exp test_dfp5.stdout.exp test_dfp5.vgtest \
-       jm_vec_isa_2_07.stderr.exp jm_vec_isa_2_07.stdout.exp jm_vec_isa_2_07.vgtest \
+       jm_vec_isa_2_07.stderr.exp jm_vec_isa_2_07.vgtest \
+       jm_vec_isa_2_07.stdout.exp jm_vec_isa_2_07.stdout.exp-LE \
        jm_fp_isa_2_07.stderr.exp jm_fp_isa_2_07.stdout.exp jm_fp_isa_2_07.vgtest \
        jm_int_isa_2_07.stderr.exp jm_int_isa_2_07.vgtest \
        jm_int_isa_2_07.stdout.exp \

diff --git a/none/tests/ppc32/jm_vec_isa_2_07.stdout.exp b/none/tests/ppc32/jm_vec_isa_2_07.stdout.exp
index 8ee724a953684e849a3ccb44f9bb69796d51e346..0c27edf1acdd3e884838b47f3f8ac85a8f5595fc 100644 (file)
--- a/none/tests/ppc32/jm_vec_isa_2_07.stdout.exp
+++ b/none/tests/ppc32/jm_vec_isa_2_07.stdout.exp
@@ -2,224 +2,777 @@ mfvsrd: 0102030405060708 => 0000000005060708
 mfvsrd: 090a0b0c0e0d0e0f => 000000000e0d0e0f
 mfvsrd: f1f2f3f4f5f6f7f8 => 00000000f5f6f7f8
 mfvsrd: f9fafbfcfefdfeff => 00000000fefdfeff
+mfvsrd: 00007fffffffffff => 00000000ffffffff
+mfvsrd: ffff000000000000 => 0000000000000000
+mfvsrd: 0000800000000000 => 0000000000000000
+mfvsrd: 0000000000000000 => 0000000000000000
+mfvsrd: ffffffffffffffff => 00000000ffffffff
 
 mfvsrwz: 0102030405060708 => 0000000005060708
 mfvsrwz: 090a0b0c0e0d0e0f => 000000000e0d0e0f
 mfvsrwz: f1f2f3f4f5f6f7f8 => 00000000f5f6f7f8
 mfvsrwz: f9fafbfcfefdfeff => 00000000fefdfeff
+mfvsrwz: 00007fffffffffff => 00000000ffffffff
+mfvsrwz: ffff000000000000 => 0000000000000000
+mfvsrwz: 0000800000000000 => 0000000000000000
+mfvsrwz: 0000000000000000 => 0000000000000000
+mfvsrwz: ffffffffffffffff => 00000000ffffffff
 
 mtvsrd: 0102030405060708 => 0000000005060708
 mtvsrd: 090a0b0c0e0d0e0f => 000000000e0d0e0f
 mtvsrd: f1f2f3f4f5f6f7f8 => 00000000f5f6f7f8
 mtvsrd: f9fafbfcfefdfeff => 00000000fefdfeff
+mtvsrd: 00007fffffffffff => 00000000ffffffff
+mtvsrd: ffff000000000000 => 0000000000000000
+mtvsrd: 0000800000000000 => 0000000000000000
+mtvsrd: 0000000000000000 => 0000000000000000
+mtvsrd: ffffffffffffffff => 00000000ffffffff
 
 mtvsrwz: 05060708 => 0000000005060708
 mtvsrwz: 0e0d0e0f => 000000000e0d0e0f
 mtvsrwz: f5f6f7f8 => 00000000f5f6f7f8
 mtvsrwz: fefdfeff => 00000000fefdfeff
+mtvsrwz: ffffffff => 00000000ffffffff
+mtvsrwz: 00000000 => 0000000000000000
+mtvsrwz: 00000000 => 0000000000000000
+mtvsrwz: 00000000 => 0000000000000000
+mtvsrwz: ffffffff => 00000000ffffffff
 
 mtfprwa: 05060708 => 0000000005060708
 mtfprwa: 0e0d0e0f => 000000000e0d0e0f
 mtfprwa: f5f6f7f8 => fffffffff5f6f7f8
 mtfprwa: fefdfeff => fffffffffefdfeff
+mtfprwa: ffffffff => ffffffffffffffff
+mtfprwa: 00000000 => 0000000000000000
+mtfprwa: 00000000 => 0000000000000000
+mtfprwa: 00000000 => 0000000000000000
+mtfprwa: ffffffff => ffffffffffffffff
 
 vaddudm: 0102030405060708 @@ 0102030405060708  ==> 020406080a0c0e10
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 121416181c1a1c1e
 vaddudm: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f2f4f6f8fafcff00
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 030507090d0b0d0e
+vaddudm: 0102030405060708 @@ 00007fffffffffff  ==> 0102830405060707
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 09090b0c0e0d0e0f
+vaddudm: 0102030405060708 @@ 0000800000000000  ==> 0102830405060708
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
 vaddudm: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f4f6f8fafcff00
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 030507090d0b0d0e
 vaddudm: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> e3e5e7e9ebedeff0
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f3f5f7f9fdfbfdfe
+vaddudm: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f373f4f5f6f7f7
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> f9f9fbfcfefdfeff
+vaddudm: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f373f4f5f6f7f8
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
+vaddudm: 00007fffffffffff @@ 0102030405060708  ==> 0102830405060707
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 09090b0c0e0d0e0f
+vaddudm: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f373f4f5f6f7f7
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9f9fbfcfefdfeff
+vaddudm: 00007fffffffffff @@ 00007fffffffffff  ==> 0000fffffffffffe
+       ffff000000000000 @@ ffff000000000000  ==> fffe000000000000
+vaddudm: 00007fffffffffff @@ 0000800000000000  ==> 0000ffffffffffff
+       ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
+vaddudm: 0000800000000000 @@ 0102030405060708  ==> 0102830405060708
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
+vaddudm: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> f1f373f4f5f6f7f8
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vaddudm: 0000800000000000 @@ 00007fffffffffff  ==> 0000ffffffffffff
+       0000000000000000 @@ ffff000000000000  ==> ffff000000000000
+vaddudm: 0000800000000000 @@ 0000800000000000  ==> 0001000000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vsubudm: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
 vsubudm: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f10
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f10
+vsubudm: 0102030405060708 @@ 00007fffffffffff  ==> 0101830405060709
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090b0b0c0e0d0e0f
+vsubudm: 0102030405060708 @@ 0000800000000000  ==> 0101830405060708
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
 vsubudm: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f0f0f0f0f0f0f0f0
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f0f0f0f0f0f0f0f0
 vsubudm: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vsubudm: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f273f4f5f6f7f9
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fbfbfcfefdfeff
+vsubudm: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f273f4f5f6f7f8
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
+vsubudm: 00007fffffffffff @@ 0102030405060708  ==> fefe7cfbfaf9f8f7
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f4f4f3f1f2f1f1
+vsubudm: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090807
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0604040301020101
+vsubudm: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000
+       ffff000000000000 @@ ffff000000000000  ==> 0000000000000000
+vsubudm: 00007fffffffffff @@ 0000800000000000  ==> ffffffffffffffff
+       ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
+vsubudm: 0000800000000000 @@ 0102030405060708  ==> fefe7cfbfaf9f8f8
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f1
+vsubudm: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090808
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 0605040301020101
+vsubudm: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000001
+       0000000000000000 @@ ffff000000000000  ==> 0001000000000000
+vsubudm: 0000800000000000 @@ 0000800000000000  ==> 0000000000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vmaxud: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
 vmaxud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vmaxud: 0102030405060708 @@ 00007fffffffffff  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> ffff000000000000
+vmaxud: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
 vmaxud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f1f2f3f4f5f6f7f8
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f9fafbfcfefdfeff
 vmaxud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vmaxud: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> ffff000000000000
+vmaxud: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
+vmaxud: 00007fffffffffff @@ 0102030405060708  ==> 0102030405060708
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ffff000000000000
+vmaxud: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffff000000000000
+vmaxud: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff
+       ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
+vmaxud: 00007fffffffffff @@ 0000800000000000  ==> 0000800000000000
+       ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
+vmaxud: 0000800000000000 @@ 0102030405060708  ==> 0102030405060708
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
+vmaxud: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vmaxud: 0000800000000000 @@ 00007fffffffffff  ==> 0000800000000000
+       0000000000000000 @@ ffff000000000000  ==> ffff000000000000
+vmaxud: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vmaxsd: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
 vmaxsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0102030405060708
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 090a0b0c0e0d0e0f
+vmaxsd: 0102030405060708 @@ 00007fffffffffff  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
+vmaxsd: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
 vmaxsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0102030405060708
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
 vmaxsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vmaxsd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 00007fffffffffff
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> ffff000000000000
+vmaxsd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000800000000000
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000
+vmaxsd: 00007fffffffffff @@ 0102030405060708  ==> 0102030405060708
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
+vmaxsd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 00007fffffffffff
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffff000000000000
+vmaxsd: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff
+       ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
+vmaxsd: 00007fffffffffff @@ 0000800000000000  ==> 0000800000000000
+       ffff000000000000 @@ 0000000000000000  ==> 0000000000000000
+vmaxsd: 0000800000000000 @@ 0102030405060708  ==> 0102030405060708
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
+vmaxsd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000800000000000
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vmaxsd: 0000800000000000 @@ 00007fffffffffff  ==> 0000800000000000
+       0000000000000000 @@ ffff000000000000  ==> 0000000000000000
+vmaxsd: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vminud: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
 vminud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0102030405060708
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 090a0b0c0e0d0e0f
+vminud: 0102030405060708 @@ 00007fffffffffff  ==> 00007fffffffffff
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
+vminud: 0102030405060708 @@ 0000800000000000  ==> 0000800000000000
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0000000000000000
 vminud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0102030405060708
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
 vminud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vminud: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 00007fffffffffff
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
+vminud: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000800000000000
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000
+vminud: 00007fffffffffff @@ 0102030405060708  ==> 00007fffffffffff
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
+vminud: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 00007fffffffffff
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vminud: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff
+       ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
+vminud: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
+       ffff000000000000 @@ 0000000000000000  ==> 0000000000000000
+vminud: 0000800000000000 @@ 0102030405060708  ==> 0000800000000000
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vminud: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000800000000000
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vminud: 0000800000000000 @@ 00007fffffffffff  ==> 00007fffffffffff
+       0000000000000000 @@ ffff000000000000  ==> 0000000000000000
+vminud: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vminsd: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
 vminsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vminsd: 0102030405060708 @@ 00007fffffffffff  ==> 00007fffffffffff
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> ffff000000000000
+vminsd: 0102030405060708 @@ 0000800000000000  ==> 0000800000000000
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0000000000000000
 vminsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f1f2f3f4f5f6f7f8
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f9fafbfcfefdfeff
 vminsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vminsd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
+vminsd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
+vminsd: 00007fffffffffff @@ 0102030405060708  ==> 00007fffffffffff
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ffff000000000000
+vminsd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vminsd: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff
+       ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
+vminsd: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
+       ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
+vminsd: 0000800000000000 @@ 0102030405060708  ==> 0000800000000000
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vminsd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vminsd: 0000800000000000 @@ 00007fffffffffff  ==> 00007fffffffffff
+       0000000000000000 @@ ffff000000000000  ==> ffff000000000000
+vminsd: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vcmpequd: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
 vcmpequd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vcmpequd: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 0000000000000000
+vcmpequd: 0102030405060708 @@ 0000800000000000  ==> 0000000000000000
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0000000000000000
 vcmpequd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0000000000000000
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
 vcmpequd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vcmpequd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000000
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> 0000000000000000
+vcmpequd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000000000000000
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000
+vcmpequd: 00007fffffffffff @@ 0102030405060708  ==> 0000000000000000
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vcmpequd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vcmpequd: 00007fffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff
+       ffff000000000000 @@ ffff000000000000  ==> ffffffffffffffff
+vcmpequd: 00007fffffffffff @@ 0000800000000000  ==> 0000000000000000
+       ffff000000000000 @@ 0000000000000000  ==> 0000000000000000
+vcmpequd: 0000800000000000 @@ 0102030405060708  ==> 0000000000000000
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vcmpequd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vcmpequd: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000
+       0000000000000000 @@ ffff000000000000  ==> 0000000000000000
+vcmpequd: 0000800000000000 @@ 0000800000000000  ==> ffffffffffffffff
+       0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff
 
 vcmpgtud: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
 vcmpgtud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vcmpgtud: 0102030405060708 @@ 00007fffffffffff  ==> ffffffffffffffff
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 0000000000000000
+vcmpgtud: 0102030405060708 @@ 0000800000000000  ==> ffffffffffffffff
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff
 vcmpgtud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> ffffffffffffffff
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
 vcmpgtud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vcmpgtud: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> ffffffffffffffff
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> 0000000000000000
+vcmpgtud: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> ffffffffffffffff
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> ffffffffffffffff
+vcmpgtud: 00007fffffffffff @@ 0102030405060708  ==> 0000000000000000
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
+vcmpgtud: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vcmpgtud: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000
+       ffff000000000000 @@ ffff000000000000  ==> 0000000000000000
+vcmpgtud: 00007fffffffffff @@ 0000800000000000  ==> 0000000000000000
+       ffff000000000000 @@ 0000000000000000  ==> ffffffffffffffff
+vcmpgtud: 0000800000000000 @@ 0102030405060708  ==> 0000000000000000
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vcmpgtud: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vcmpgtud: 0000800000000000 @@ 00007fffffffffff  ==> ffffffffffffffff
+       0000000000000000 @@ ffff000000000000  ==> 0000000000000000
+vcmpgtud: 0000800000000000 @@ 0000800000000000  ==> 0000000000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vcmpgtsd: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
 vcmpgtsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vcmpgtsd: 0102030405060708 @@ 00007fffffffffff  ==> ffffffffffffffff
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> ffffffffffffffff
+vcmpgtsd: 0102030405060708 @@ 0000800000000000  ==> ffffffffffffffff
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff
 vcmpgtsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0000000000000000
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
 vcmpgtsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vcmpgtsd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000000
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> 0000000000000000
+vcmpgtsd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000000000000000
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000
+vcmpgtsd: 00007fffffffffff @@ 0102030405060708  ==> 0000000000000000
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vcmpgtsd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vcmpgtsd: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000
+       ffff000000000000 @@ ffff000000000000  ==> 0000000000000000
+vcmpgtsd: 00007fffffffffff @@ 0000800000000000  ==> 0000000000000000
+       ffff000000000000 @@ 0000000000000000  ==> 0000000000000000
+vcmpgtsd: 0000800000000000 @@ 0102030405060708  ==> 0000000000000000
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vcmpgtsd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vcmpgtsd: 0000800000000000 @@ 00007fffffffffff  ==> ffffffffffffffff
+       0000000000000000 @@ ffff000000000000  ==> ffffffffffffffff
+vcmpgtsd: 0000800000000000 @@ 0000800000000000  ==> 0000000000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vrld: 0102030405060708 @@ 0102030405060708  ==> 0203040506070801
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0586070687078485
 vrld: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0801020304050607
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 8485058607068707
+vrld: 0102030405060708 @@ 00007fffffffffff  ==> 0081018202830384
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
+vrld: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
 vrld: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f8f1
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 7dfe7f7eff7ffcfd
 vrld: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f8f1f2f3f4f5f6f7
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> fcfd7dfe7f7eff7f
+vrld: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 78f979fa7afb7bfc
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
+vrld: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
+vrld: 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffff00
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 8000000000007fff
+vrld: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ff00007fffffffff
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> 7fff800000000000
+vrld: 00007fffffffffff @@ 00007fffffffffff  ==> 80003fffffffffff
+       ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
+vrld: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
+       ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
+vrld: 0000800000000000 @@ 0102030405060708  ==> 0080000000000000
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vrld: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000008000000000
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vrld: 0000800000000000 @@ 00007fffffffffff  ==> 0000400000000000
+       0000000000000000 @@ ffff000000000000  ==> 0000000000000000
+vrld: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vsld: 0102030405060708 @@ 0102030405060708  ==> 0203040506070800
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0586070687078000
 vsld: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0800000000000000
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 8000000000000000
+vsld: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
+vsld: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
 vsld: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f800
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 7dfe7f7eff7f8000
 vsld: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f800000000000000
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 8000000000000000
+vsld: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000000
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
+vsld: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
+vsld: 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffff00
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 8000000000000000
+vsld: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ff00000000000000
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vsld: 00007fffffffffff @@ 00007fffffffffff  ==> 8000000000000000
+       ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
+vsld: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
+       ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
+vsld: 0000800000000000 @@ 0102030405060708  ==> 0080000000000000
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vsld: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vsld: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000
+       0000000000000000 @@ ffff000000000000  ==> 0000000000000000
+vsld: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vsrad: 0102030405060708 @@ 0102030405060708  ==> 0001020304050607
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000121416181c1a
 vsrad: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000001
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vsrad: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
+vsrad: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
 vsrad: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> fff1f2f3f4f5f6f7
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fffff3f5f7f9fdfb
 vsrad: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> fffffffffffffff1
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vsrad: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> ffffffffffffffff
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
+vsrad: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
+vsrad: 00007fffffffffff @@ 0102030405060708  ==> 0000007fffffffff
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> fffffffe00000000
+vsrad: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vsrad: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000
+       ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
+vsrad: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
+       ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
+vsrad: 0000800000000000 @@ 0102030405060708  ==> 0000008000000000
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vsrad: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vsrad: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000
+       0000000000000000 @@ ffff000000000000  ==> 0000000000000000
+vsrad: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vsrd: 0102030405060708 @@ 0102030405060708  ==> 0001020304050607
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000121416181c1a
 vsrd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000001
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vsrd: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
+vsrd: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
 vsrd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 00f1f2f3f4f5f6f7
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0001f3f5f7f9fdfb
 vsrd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 00000000000000f1
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000001
+vsrd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000001
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
+vsrd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
+vsrd: 00007fffffffffff @@ 0102030405060708  ==> 0000007fffffffff
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0001fffe00000000
+vsrd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000001
+vsrd: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000
+       ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
+vsrd: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
+       ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
+vsrd: 0000800000000000 @@ 0102030405060708  ==> 0000008000000000
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vsrd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vsrd: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000
+       0000000000000000 @@ ffff000000000000  ==> 0000000000000000
+vsrd: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vpkudum: Inputs: 05060708 0e0d0e0f 05060708 0e0d0e0f
          Output: 05060708 0e0d0e0f 05060708 0e0d0e0f
 vpkudum: Inputs: 05060708 0e0d0e0f f5f6f7f8 fefdfeff
          Output: 05060708 0e0d0e0f f5f6f7f8 fefdfeff
+vpkudum: Inputs: 05060708 0e0d0e0f ffffffff 00000000
+         Output: 05060708 0e0d0e0f ffffffff 00000000
+vpkudum: Inputs: 05060708 0e0d0e0f 00000000 00000000
+         Output: 05060708 0e0d0e0f 00000000 00000000
 vpkudum: Inputs: f5f6f7f8 fefdfeff 05060708 0e0d0e0f
          Output: f5f6f7f8 fefdfeff 05060708 0e0d0e0f
 vpkudum: Inputs: f5f6f7f8 fefdfeff f5f6f7f8 fefdfeff
          Output: f5f6f7f8 fefdfeff f5f6f7f8 fefdfeff
+vpkudum: Inputs: f5f6f7f8 fefdfeff ffffffff 00000000
+         Output: f5f6f7f8 fefdfeff ffffffff 00000000
+vpkudum: Inputs: f5f6f7f8 fefdfeff 00000000 00000000
+         Output: f5f6f7f8 fefdfeff 00000000 00000000
+vpkudum: Inputs: ffffffff 00000000 05060708 0e0d0e0f
+         Output: ffffffff 00000000 05060708 0e0d0e0f
+vpkudum: Inputs: ffffffff 00000000 f5f6f7f8 fefdfeff
+         Output: ffffffff 00000000 f5f6f7f8 fefdfeff
+vpkudum: Inputs: ffffffff 00000000 ffffffff 00000000
+         Output: ffffffff 00000000 ffffffff 00000000
+vpkudum: Inputs: ffffffff 00000000 00000000 00000000
+         Output: ffffffff 00000000 00000000 00000000
+vpkudum: Inputs: 00000000 00000000 05060708 0e0d0e0f
+         Output: 00000000 00000000 05060708 0e0d0e0f
+vpkudum: Inputs: 00000000 00000000 f5f6f7f8 fefdfeff
+         Output: 00000000 00000000 f5f6f7f8 fefdfeff
+vpkudum: Inputs: 00000000 00000000 ffffffff 00000000
+         Output: 00000000 00000000 ffffffff 00000000
+vpkudum: Inputs: 00000000 00000000 00000000 00000000
+         Output: 00000000 00000000 00000000 00000000
 
 vpmsumd: 0102030405060708 @@ 0102030405060708  ==> 0040004000400040
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0045004500410015
 vpmsumd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 07c007c006d00735
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> a260a260a374a2c5
+vpmsumd: 0102030405060708 @@ 00007fffffffffff  ==> 07060182fc7efe7f
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 0478fefc030202f8
+vpmsumd: 0102030405060708 @@ 0000800000000000  ==> 0000008101820283
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0384000000000000
 vpmsumd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 07c007c006d00735
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> a260a260a374a2c5
 vpmsumd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0040004000400040
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0045004500410015
+vpmsumd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 575629aad456d657
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> 2c50aeac535252a8
+vpmsumd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 000078f979fa7afb
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> 7bfc000000000000
+vpmsumd: 00007fffffffffff @@ 0102030405060708  ==> 07060182fc7efe7f
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0478fefc030202f8
+vpmsumd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 575629aad456d657
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> 2c50aeac535252a8
+vpmsumd: 00007fffffffffff @@ 00007fffffffffff  ==> 5555555515555555
+       ffff000000000000 @@ ffff000000000000  ==> 5555555555555555
+vpmsumd: 00007fffffffffff @@ 0000800000000000  ==> 000000003fffffff
+       ffff000000000000 @@ 0000000000000000  ==> ffff800000000000
+vpmsumd: 0000800000000000 @@ 0102030405060708  ==> 0000008101820283
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0384000000000000
+vpmsumd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 000078f979fa7afb
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 7bfc000000000000
+vpmsumd: 0000800000000000 @@ 00007fffffffffff  ==> 000000003fffffff
+       0000000000000000 @@ ffff000000000000  ==> ffff800000000000
+vpmsumd: 0000800000000000 @@ 0000800000000000  ==> 0000000040000000
+       0000000000000000 @@ 0000000000000000  ==> 0000000000000000
 
 vnand: 0102030405060708 @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
 vnand: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> fefdfcfbfaf9f8f7
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f6f5f4f3f1f2f1f0
+vnand: 0102030405060708 @@ 00007fffffffffff  ==> fffffcfbfaf9f8f7
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> f6f5ffffffffffff
+vnand: 0102030405060708 @@ 0000800000000000  ==> ffffffffffffffff
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff
 vnand: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
 vnand: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0e0d0c0b0a090807
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0605040301020100
+vnand: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> ffff8c0b0a090807
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> 0605ffffffffffff
+vnand: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> ffff7fffffffffff
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> ffffffffffffffff
+vnand: 00007fffffffffff @@ 0102030405060708  ==> fffffcfbfaf9f8f7
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5ffffffffffff
+vnand: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffff8c0b0a090807
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0605ffffffffffff
+vnand: 00007fffffffffff @@ 00007fffffffffff  ==> ffff800000000000
+       ffff000000000000 @@ ffff000000000000  ==> 0000ffffffffffff
+vnand: 00007fffffffffff @@ 0000800000000000  ==> ffffffffffffffff
+       ffff000000000000 @@ 0000000000000000  ==> ffffffffffffffff
+vnand: 0000800000000000 @@ 0102030405060708  ==> ffffffffffffffff
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
+vnand: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> ffff7fffffffffff
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vnand: 0000800000000000 @@ 00007fffffffffff  ==> ffffffffffffffff
+       0000000000000000 @@ ffff000000000000  ==> ffffffffffffffff
+vnand: 0000800000000000 @@ 0000800000000000  ==> ffff7fffffffffff
+       0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff
 
 vorc: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
 vorc: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f0f
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f0f
+vorc: 0102030405060708 @@ 00007fffffffffff  ==> ffff830405060708
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090affffffffffff
+vorc: 0102030405060708 @@ 0000800000000000  ==> ffff7fffffffffff
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff
 vorc: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> ffffffffffffffff
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
 vorc: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vorc: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> fffff3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> f9faffffffffffff
+vorc: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> ffffffffffffffff
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> ffffffffffffffff
+vorc: 00007fffffffffff @@ 0102030405060708  ==> fefdffffffffffff
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> fffff4f3f1f2f1f0
+vorc: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0e0d7fffffffffff
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffff040301020100
+vorc: 00007fffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff
+       ffff000000000000 @@ ffff000000000000  ==> ffffffffffffffff
+vorc: 00007fffffffffff @@ 0000800000000000  ==> ffff7fffffffffff
+       ffff000000000000 @@ 0000000000000000  ==> ffffffffffffffff
+vorc: 0000800000000000 @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
+vorc: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090807
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 0605040301020100
+vorc: 0000800000000000 @@ 00007fffffffffff  ==> ffff800000000000
+       0000000000000000 @@ ffff000000000000  ==> 0000ffffffffffff
+vorc: 0000800000000000 @@ 0000800000000000  ==> ffffffffffffffff
+       0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff
 
 veqv: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
 veqv: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f0f
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f0f
+veqv: 0102030405060708 @@ 00007fffffffffff  ==> fefd830405060708
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090af4f3f1f2f1f0
+veqv: 0102030405060708 @@ 0000800000000000  ==> fefd7cfbfaf9f8f7
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> f6f5f4f3f1f2f1f0
 veqv: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0f0f0f0f0f0f0f0f
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0f0f0f0f0f0f0f0f
 veqv: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+veqv: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0e0d73f4f5f6f7f8
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fa040301020100
+veqv: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0e0d8c0b0a090807
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> 0605040301020100
+veqv: 00007fffffffffff @@ 0102030405060708  ==> fefd830405060708
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 090af4f3f1f2f1f0
+veqv: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0e0d73f4f5f6f7f8
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9fa040301020100
+veqv: 00007fffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff
+       ffff000000000000 @@ ffff000000000000  ==> ffffffffffffffff
+veqv: 00007fffffffffff @@ 0000800000000000  ==> ffff000000000000
+       ffff000000000000 @@ 0000000000000000  ==> 0000ffffffffffff
+veqv: 0000800000000000 @@ 0102030405060708  ==> fefd7cfbfaf9f8f7
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
+veqv: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090807
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 0605040301020100
+veqv: 0000800000000000 @@ 00007fffffffffff  ==> ffff000000000000
+       0000000000000000 @@ ffff000000000000  ==> 0000ffffffffffff
+veqv: 0000800000000000 @@ 0000800000000000  ==> ffffffffffffffff
+       0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff
 
 vcipher: 0102030405060708 @@ 0102030405060708  ==> 15abdc2823b74b86
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 22037bc3e1e25abc
 vcipher: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> e55b2cd8d347bb76
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> d2f38b331112aa4c
+vcipher: 0102030405060708 @@ 00007fffffffffff  ==> 14a9a0d3d94eb371
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> d4f670cfefef54b3
+vcipher: 0102030405060708 @@ 0000800000000000  ==> 14a95f2c26b14c8e
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 2b0970cfefef54b3
 vcipher: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 8720c49da1d37bca
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 906d1f673bb72743
 vcipher: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 77d0346d51238b3a
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 609def97cb47d7b3
+vcipher: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 8622b8665b2a833d
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> 6698146b35ba294c
+vcipher: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 86224799a4d57cc2
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> 9967146b35ba294c
+vcipher: 00007fffffffffff @@ 0102030405060708  ==> fd8b1512668ffb6b
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 44a1fbab18f18719
+vcipher: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0d7be5e2967f0b9b
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> b4510b5be80177e9
+vcipher: 00007fffffffffff @@ 00007fffffffffff  ==> fc8969e99c76039c
+       ffff000000000000 @@ ffff000000000000  ==> b254f0a716fc8916
+vcipher: 00007fffffffffff @@ 0000800000000000  ==> fc8996166389fc63
+       ffff000000000000 @@ 0000000000000000  ==> 4dabf0a716fc8916
+vcipher: 0000800000000000 @@ 0102030405060708  ==> 626160676665646b
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> c4802fc16d6e6d6c
+vcipher: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 929190979695949b
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 3470df319d9e9d9c
+vcipher: 0000800000000000 @@ 00007fffffffffff  ==> 63631c9c9c9c9c9c
+       0000000000000000 @@ ffff000000000000  ==> 327524cd63636363
+vcipher: 0000800000000000 @@ 0000800000000000  ==> 6363e36363636363
+       0000000000000000 @@ 0000000000000000  ==> cd8a24cd63636363
 
 vcipherlast: 0102030405060708 @@ 0102030405060708  ==> 7d6d28726e61acfa
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 08dd703ca57acbf1
 vcipherlast: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 8d9dd8829e915c0a
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f82d80cc558a3b01
+vcipherlast: 0102030405060708 @@ 00007fffffffffff  ==> 7c6f54899498540d
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> fe287b30ab77c5fe
+vcipherlast: 0102030405060708 @@ 0000800000000000  ==> 7c6fab766b67abf2
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 01d77b30ab77c5fe
 vcipherlast: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> a0400c12e32bbcb7
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 905e064db58466bf
 vcipherlast: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 50b0fce213db4c47
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 60aef6bd4574964f
+vcipherlast: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> a14270e919d24440
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> 66ab0d41bb8968b0
+vcipherlast: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> a1428f16e62dbbbf
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> 99540d41bb8968b0
+vcipherlast: 00007fffffffffff @@ 0102030405060708  ==> 621460671310641e
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 1f69d91a6d6e186c
+vcipherlast: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 92e49097e3e094ee
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> ef9929ea9d9ee89c
+vcipherlast: 00007fffffffffff @@ 00007fffffffffff  ==> 63161c9ce9e99ce9
+       ffff000000000000 @@ ffff000000000000  ==> e99cd21663631663
+vcipherlast: 00007fffffffffff @@ 0000800000000000  ==> 6316e36316166316
+       ffff000000000000 @@ 0000000000000000  ==> 1663d21663631663
+vcipherlast: 0000800000000000 @@ 0102030405060708  ==> 626160676665646b
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 6a69c66f6d6e6d6c
+vcipherlast: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 929190979695949b
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 9a99369f9d9e9d9c
+vcipherlast: 0000800000000000 @@ 00007fffffffffff  ==> 63631c9c9c9c9c9c
+       0000000000000000 @@ ffff000000000000  ==> 9c9ccd6363636363
+vcipherlast: 0000800000000000 @@ 0000800000000000  ==> 6363e36363636363
+       0000000000000000 @@ 0000000000000000  ==> 6363cd6363636363
 
 vncipher: 0102030405060708 @@ 0102030405060708  ==> fe67ce881a80f569
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 19db0b0605541639
 vncipher: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0e973e78ea700599
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> e92bfbf6f5a4e6c9
+vncipher: 0102030405060708 @@ 00007fffffffffff  ==> de98809d822f77d0
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> 1424f3081f45082e
+vncipher: 0102030405060708 @@ 0000800000000000  ==> 0facae567dd0882f
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 3aef223c1f45082e
 vncipher: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 8b10c2d5607a5569
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 581826de46277b9c
 vncipher: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 7be03225908aa599
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> a8e8d62eb6d78b6c
+vncipher: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> abef8cc0f8d5d7d0
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> 55e7ded05c36658b
+vncipher: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 7adba20b072a282f
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> 7b2c0fe45c36658b
+vncipher: 00007fffffffffff @@ 0102030405060708  ==> 359e61e1b44edf06
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ec338260e6209378
+vncipher: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> c56e911144be2ff6
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> 1cc3729016d06388
+vncipher: 00007fffffffffff @@ 00007fffffffffff  ==> 15612ff42ce15dbf
+       ffff000000000000 @@ ffff000000000000  ==> e1cc7a6efc318d6f
+vncipher: 00007fffffffffff @@ 0000800000000000  ==> c455013fd31ea240
+       ffff000000000000 @@ 0000000000000000  ==> cf07ab5afc318d6f
+vncipher: 0000800000000000 @@ 0102030405060708  ==> 796e736035022f14
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> cfb37d6d48434c45
+vncipher: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 899e8390c5f2dfe4
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> 3f438d9db8b3bcb5
+vncipher: 0000800000000000 @@ 00007fffffffffff  ==> 59913d75adadadad
+       0000000000000000 @@ ffff000000000000  ==> c24c856352525252
+vncipher: 0000800000000000 @@ 0000800000000000  ==> 88a513be52525252
+       0000000000000000 @@ 0000000000000000  ==> ec87545752525252
 
 vncipherlast: 0102030405060708 @@ 0102030405060708  ==> 08f19dbb336cd089
        090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 49afdef7d9ae363f
 vncipherlast: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f8016d4bc39c2079
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> b95f2e07295ec6cf
+vncipherlast: 0102030405060708 @@ 00007fffffffffff  ==> 09f3e140c995287e
+       090a0b0c0e0d0e0f @@ ffff000000000000  ==> bf5ad5fbd7a33830
+vncipherlast: 0102030405060708 @@ 0000800000000000  ==> 09f31ebf366ad781
+       090a0b0c0e0d0e0f @@ 0000000000000000  ==> 40a5d5fbd7a33830
 vncipherlast: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 2a2360e572020b5d
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 60dc7571021928b5
 vncipherlast: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> dad3901582f2fbad
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 902c8581f2e9d845
+vncipherlast: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 2b211c1e88fbf3aa
+       f9fafbfcfefdfeff @@ ffff000000000000  ==> 96297e7d0c1426ba
+vncipherlast: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 2b21e3e177040c55
+       f9fafbfcfefdfeff @@ 0000000000000000  ==> 69d67e7d0c1426ba
+vncipherlast: 00007fffffffffff @@ 0102030405060708  ==> 535051797854555a
+       ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 7477605e5c707372
+vncipherlast: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> a3a0a18988a4a5aa
+       ffff000000000000 @@ f9fafbfcfefdfeff  ==> 848790aeac808382
+vncipherlast: 00007fffffffffff @@ 00007fffffffffff  ==> 52522d8282adadad
+       ffff000000000000 @@ ffff000000000000  ==> 82826b52527d7d7d
+vncipherlast: 00007fffffffffff @@ 0000800000000000  ==> 5252d27d7d525252
+       ffff000000000000 @@ 0000000000000000  ==> 7d7d6b52527d7d7d
+vncipherlast: 0000800000000000 @@ 0102030405060708  ==> 535051565754555a
+       0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 5b58315e5c5f5c5d
+vncipherlast: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> a3a0a1a6a7a4a5aa
+       0000000000000000 @@ f9fafbfcfefdfeff  ==> aba8c1aeacafacad
+vncipherlast: 0000800000000000 @@ 00007fffffffffff  ==> 52522dadadadadad
+       0000000000000000 @@ ffff000000000000  ==> adad3a5252525252
+vncipherlast: 0000800000000000 @@ 0000800000000000  ==> 5252d25252525252
+       0000000000000000 @@ 0000000000000000  ==> 52523a5252525252
 
 vmulouw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 00193c6aa4917040 00c56e34124ba4e1
 vmulouw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 04d39d63184f87c0 0dfee4d8b9c6e2f1
@@ -300,6 +853,14 @@ vpermxor: 0102030405060708 @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f3f2f5f4
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fbfafdfffffcfffe
 vpermxor: 0102030405060708 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> fdfcfbfaf9f8f7f6
        090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f5f4f3f1f1f2f1f0
+vpermxor: 0102030405060708 @@ 00007fffffffffff @@ 0102030405060708  ==> 017efefefefefefe
+       090a0b0c0e0d0e0f @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> fe01010101010101
+vpermxor: 0102030405060708 @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0f70f0f0f0f0f0f0
+       090a0b0c0e0d0e0f @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> f00f0f0f0f0f0f0f
+vpermxor: 0102030405060708 @@ 0000800000000000 @@ 0102030405060708  ==> 0181010101010101
+       090a0b0c0e0d0e0f @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0101010101010101
+vpermxor: 0102030405060708 @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0f8f0f0f0f0f0f0f
+       090a0b0c0e0d0e0f @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f0f
 vpermxor: f1f2f3f4f5f6f7f8 @@ 0102030405060708 @@ 0102030405060708  ==> f3f2f5f4f7f6f9f8
        f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> fbfafdfffffcfffe
 vpermxor: f1f2f3f4f5f6f7f8 @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> fdfcfbfaf9f8f7f6
@@ -308,36 +869,96 @@ vpermxor: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 03020504
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0b0a0d0f0f0c0f0e
 vpermxor: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0d0c0b0a09080706
        f9fafbfcfefdfeff @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0504030101020100
+vpermxor: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff @@ 0102030405060708  ==> f18e0e0e0e0e0e0e
+       f9fafbfcfefdfeff @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0ef1f1f1f1f1f1f1
+vpermxor: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ff80000000000000
+       f9fafbfcfefdfeff @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> 00ffffffffffffff
+vpermxor: f1f2f3f4f5f6f7f8 @@ 0000800000000000 @@ 0102030405060708  ==> f171f1f1f1f1f1f1
+       f9fafbfcfefdfeff @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f1f1f1f1f1f1f1f1
+vpermxor: f1f2f3f4f5f6f7f8 @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> ff7fffffffffffff
+       f9fafbfcfefdfeff @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vpermxor: 00007fffffffffff @@ 0102030405060708 @@ 0102030405060708  ==> 0203040506070809
+       ffff000000000000 @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0a0b0c0e0e0d0e0f
+vpermxor: 00007fffffffffff @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0203040506070809
+       ffff000000000000 @@ 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0a0b0c0e0e0d0e0f
+vpermxor: 00007fffffffffff @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f8f9
+       ffff000000000000 @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fafbfcfefefdfeff
+vpermxor: 00007fffffffffff @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f2f3f4f5f6f7f8f9
+       ffff000000000000 @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> fafbfcfefefdfeff
+vpermxor: 00007fffffffffff @@ 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffffff
+       ffff000000000000 @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ff00000000000000
+vpermxor: 00007fffffffffff @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 007fffffffffffff
+       ffff000000000000 @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> ff00000000000000
+vpermxor: 00007fffffffffff @@ 0000800000000000 @@ 0102030405060708  ==> 0080000000000000
+       ffff000000000000 @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vpermxor: 00007fffffffffff @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0080000000000000
+       ffff000000000000 @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vpermxor: 0000800000000000 @@ 0102030405060708 @@ 0102030405060708  ==> 0203040506070809
+       0000000000000000 @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0a0b0c0e0e0d0e0f
+vpermxor: 0000800000000000 @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0203040506070809
+       0000000000000000 @@ 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0a0b0c0e0e0d0e0f
+vpermxor: 0000800000000000 @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f8f9
+       0000000000000000 @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fafbfcfefefdfeff
+vpermxor: 0000800000000000 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f2f3f4f5f6f7f8f9
+       0000000000000000 @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> fafbfcfefefdfeff
+vpermxor: 0000800000000000 @@ 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffffff
+       0000000000000000 @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ff00000000000000
+vpermxor: 0000800000000000 @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 007fffffffffffff
+       0000000000000000 @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> ff00000000000000
+vpermxor: 0000800000000000 @@ 0000800000000000 @@ 0102030405060708  ==> 0080000000000000
+       0000000000000000 @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vpermxor: 0000800000000000 @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0080000000000000
+       0000000000000000 @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
 
 vclzb: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 07060605050505040404040404040404
 vclzb: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+vclzb: 00007fffffffffff @@ ffff000000000000  ==> 08080100000000000000080808080808
+vclzb: 0000800000000000 @@ 0000000000000000  ==> 08080008080808080808080808080808
 
 vclzw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000007000000050000000400000004
 vclzw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+vclzw: 00007fffffffffff @@ ffff000000000000  ==> 00000011000000000000000000000020
+vclzw: 0000800000000000 @@ 0000000000000000  ==> 00000010000000200000002000000020
 
 vclzh: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00070006000500050004000400040004
 vclzh: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+vclzh: 00007fffffffffff @@ ffff000000000000  ==> 00100001000000000000001000100010
+vclzh: 0000800000000000 @@ 0000000000000000  ==> 00100000001000100010001000100010
 
 vclzd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000000000000070000000000000004
 vclzd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+vclzd: 00007fffffffffff @@ ffff000000000000  ==> 00000000000000110000000000000000
+vclzd: 0000800000000000 @@ 0000000000000000  ==> 00000000000000100000000000000040
 
 vpopcntb: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 01010201020203010202030203030304
 vpopcntb: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 05050605060607050606070607070708
+vpopcntb: 00007fffffffffff @@ ffff000000000000  ==> 00000708080808080808000000000000
+vpopcntb: 0000800000000000 @@ 0000000000000000  ==> 00000100000000000000000000000000
 
 vpopcnth: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00020003000400040004000500060007
 vpopcnth: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 000a000b000c000c000c000d000e000f
+vpopcnth: 00007fffffffffff @@ ffff000000000000  ==> 0000000f001000100010000000000000
+vpopcnth: 0000800000000000 @@ 0000000000000000  ==> 00000001000000000000000000000000
 
 vpopcntw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 0000000500000008000000090000000d
 vpopcntw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 0000001500000018000000190000001d
+vpopcntw: 00007fffffffffff @@ ffff000000000000  ==> 0000000f000000200000001000000000
+vpopcntw: 0000800000000000 @@ 0000000000000000  ==> 00000001000000000000000000000000
 
 vpopcntd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 000000000000000d0000000000000016
 vpopcntd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 000000000000002d0000000000000036
+vpopcntd: 00007fffffffffff @@ ffff000000000000  ==> 000000000000002f0000000000000010
+vpopcntd: 0000800000000000 @@ 0000000000000000  ==> 00000000000000010000000000000000
 
 vsbox: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 7c777bf26b6fc53001672bfeabd7ab76
 vsbox: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> a1890dbfe6426841992d0fb0bb54bb16
+vsbox: 00007fffffffffff @@ ffff000000000000  ==> 6363d216161616161616636363636363
+vsbox: 0000800000000000 @@ 0000000000000000  ==> 6363cd63636363636363636363636363
 
 vgbbd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000000011e66aa00000000ff1f6ba5
 vgbbd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> ffffffff011e66aaffffffffff1f6ba5
+vgbbd: 00007fffffffffff @@ ffff000000000000  ==> 1f3f3f3f3f3f3f3fc0c0c0c0c0c0c0c0
+vgbbd: 0000800000000000 @@ 0000000000000000  ==> 20000000000000000000000000000000
 
 vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 088207870e8c098d || 8b9e1b9b13149015
 vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> c8f5100c7844a0fc || e9b5916d0131c581
@@ -347,6 +968,14 @@ vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 81eb6eee67e560e4 || 02f772
 vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 52af4a56221efaa6 || 73efcb375b6b9fdb
 vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 8bf92f9ed2b06655 || 299d6bbd9e22f4c7
 vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 986700cc8f5613df || 7a3f676a2ef03935
+vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> 7f003f7fffffffff || 7eff810000000000
+vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> fffc1e000ffffff8 || fc07e3ffe0000007
+vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> fffffff03e07e0ff || 0000000fc1f03e00
+vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> fffc3ffe1f80003f || 0003c003c07fff80
+vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0000418000000000 || 0000000000000000
+vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0004020010000000 || 0000000000000000
+vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0000000000082100 || 0000000000000000
+vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0000000220000040 || 0000000000000000
 
 vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 88e344269168cdae || 9bf057355c5e785e
 vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 41e2c021c36443a2 || 44e5c72626c5e584
@@ -356,6 +985,14 @@ vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 4b2087e552ab0e6d || 583394
 vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 27b89a7ba53e19f8 || 22bf9d7c409fbfde
 vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 6814e0ad5965f19e || 0a7682cfffbb77ab
 vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 54200fe9e7b2997b || 71052acc5efb57bb
+vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> e1ffcf001fffffff || de0021ff00000000
+vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> 3000601f003fffff || 603f9fc000000000
+vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> 3e07e3fcffffffff || c3f83c0700000000
+vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> 03dffe70ffffffff || fc60039f00000000
+vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 2000110000000000 || 0000000000000000
+vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 5000002000000000 || 0000000000000000
+vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 0200200400000000 || 0000000000000000
+vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 0040021000000000 || 0000000000000000
 
 bcdadd.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 6090180378642006 || 002244669113354d
 bcdadd.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 6090180378642006 || 002244669113354d
@@ -425,63 +1062,219 @@ bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 00000000000
 
 vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
 vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
 vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
 vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000001
+vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vaddcuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vaddcuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vaddcuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vaddcuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vaddcuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vaddcuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vaddcuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vaddcuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
 
 vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 020406080a0c0e10121416181c1a1c1e
 vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> f2f4f6f8fafcff01030507090d0b0d0e
+vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 010283040506070809090b0c0e0d0e0f
+vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 0102830405060708090a0b0c0e0d0e0f
 vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> f2f4f6f8fafcff01030507090d0b0d0e
 vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdfe
+vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
+vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
+vadduqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 010283040506070809090b0c0e0d0e0f
+vadduqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
+vadduqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 0000fffffffffffffffe000000000000
+vadduqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 0000ffffffffffffffff000000000000
+vadduqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 0102830405060708090a0b0c0e0d0e0f
+vadduqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
+vadduqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 0000ffffffffffffffff000000000000
+vadduqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00010000000000000000000000000000
 
 vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000001
 vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
+vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000001
 vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000001
 vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000001
+vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
+vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000001
+vsubcuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vsubcuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vsubcuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
+vsubcuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vsubcuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vsubcuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vsubcuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
+vsubcuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000001
 
 vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
 vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f10
+vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 0101830405060708090b0b0c0e0d0e0f
+vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 0101830405060708090a0b0c0e0d0e0f
 vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0
 vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> f1f273f4f5f6f7f8f9fbfbfcfefdfeff
+vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> f1f273f4f5f6f7f8f9fafbfcfefdfeff
+vsubuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f1
+vsubuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 0e0d8c0b0a0908070604040301020101
+vsubuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vsubuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> ffffffffffffffffffff000000000000
+vsubuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f1
+vsubuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 0e0d8c0b0a0908070605040301020101
+vsubuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000001000000000000
+vsubuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
 
 vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 000000000000020a0000000000000000
 vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 00000000000020000000000000000000
+vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
 vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 000000000000e3ea0000000000000000
 vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> 000000000000e03f0000000000000000
+vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> 000000000000dfff0000000000000000
+vbpermq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vbpermq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vbpermq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vbpermq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
+vbpermq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vbpermq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vbpermq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
+vbpermq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
 
 vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
 vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
 vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
 vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
 vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
 vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
 vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000001
 vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000001
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
 
 vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 020406080a0c0e10121416181c1a1c1e
 vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 020406080a0c0e10121416181c1a1c1f
 vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> f2f4f6f8fafcff01030507090d0b0d0e
 vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> f2f4f6f8fafcff01030507090d0b0d0f
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 010283040506070809090b0c0e0d0e0f
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 010283040506070809090b0c0e0d0e10
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 0102830405060708090a0b0c0e0d0e0f
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 0102830405060708090a0b0c0e0d0e10
 vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> f2f4f6f8fafcff01030507090d0b0d0e
 vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> f2f4f6f8fafcff01030507090d0b0d0f
 vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdfe
 vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdff
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> f1f373f4f5f6f7f8f9f9fbfcfefdff00
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> f1f373f4f5f6f7f8f9fafbfcfefdff00
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 010283040506070809090b0c0e0d0e0f
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 010283040506070809090b0c0e0d0e10
+vaddeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
+vaddeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> f1f373f4f5f6f7f8f9f9fbfcfefdff00
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 0000fffffffffffffffe000000000000
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 0000fffffffffffffffe000000000001
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 0000ffffffffffffffff000000000000
+vaddeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 0000ffffffffffffffff000000000001
+vaddeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 0102830405060708090a0b0c0e0d0e0f
+vaddeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 0102830405060708090a0b0c0e0d0e10
+vaddeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
+vaddeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> f1f373f4f5f6f7f8f9fafbfcfefdff00
+vaddeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 0000ffffffffffffffff000000000000
+vaddeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 0000ffffffffffffffff000000000001
+vaddeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00010000000000000000000000000000
+vaddeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00010000000000000000000000000001
 
 vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
 vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000001
 vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
 vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
 vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000001
 vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000001
 vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
 vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
 
 vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
 vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
 vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f
 vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f10
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 0101830405060708090b0b0c0e0d0e0e
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 0101830405060708090b0b0c0e0d0e0f
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 0101830405060708090a0b0c0e0d0e0e
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 0101830405060708090a0b0c0e0d0e0f
 vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0ef
 vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0
 vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
 vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> f1f273f4f5f6f7f8f9fbfbfcfefdfefe
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> f1f273f4f5f6f7f8f9fbfbfcfefdfeff
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> f1f273f4f5f6f7f8f9fafbfcfefdfefe
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> f1f273f4f5f6f7f8f9fafbfcfefdfeff
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f0
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f1
+vsubeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 0e0d8c0b0a0908070604040301020100
+vsubeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 0e0d8c0b0a0908070604040301020101
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> fffffffffffffffffffeffffffffffff
+vsubeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> ffffffffffffffffffff000000000000
+vsubeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f0
+vsubeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f1
+vsubeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 0e0d8c0b0a0908070605040301020100
+vsubeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 0e0d8c0b0a0908070605040301020101
+vsubeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000ffffffffffff
+vsubeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000001000000000000
+vsubeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
+vsubeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
 
 All done. Tested 66 different instructions

diff --git a/none/tests/ppc32/jm_vec_isa_2_07.stdout.exp-LE b/none/tests/ppc32/jm_vec_isa_2_07.stdout.exp-LE
new file mode 100644 (file)
index 0000000..8ee724a
--- /dev/null
+++ b/none/tests/ppc32/jm_vec_isa_2_07.stdout.exp-LE
@@ -0,0 +1,487 @@
+mfvsrd: 0102030405060708 => 0000000005060708
+mfvsrd: 090a0b0c0e0d0e0f => 000000000e0d0e0f
+mfvsrd: f1f2f3f4f5f6f7f8 => 00000000f5f6f7f8
+mfvsrd: f9fafbfcfefdfeff => 00000000fefdfeff
+
+mfvsrwz: 0102030405060708 => 0000000005060708
+mfvsrwz: 090a0b0c0e0d0e0f => 000000000e0d0e0f
+mfvsrwz: f1f2f3f4f5f6f7f8 => 00000000f5f6f7f8
+mfvsrwz: f9fafbfcfefdfeff => 00000000fefdfeff
+
+mtvsrd: 0102030405060708 => 0000000005060708
+mtvsrd: 090a0b0c0e0d0e0f => 000000000e0d0e0f
+mtvsrd: f1f2f3f4f5f6f7f8 => 00000000f5f6f7f8
+mtvsrd: f9fafbfcfefdfeff => 00000000fefdfeff
+
+mtvsrwz: 05060708 => 0000000005060708
+mtvsrwz: 0e0d0e0f => 000000000e0d0e0f
+mtvsrwz: f5f6f7f8 => 00000000f5f6f7f8
+mtvsrwz: fefdfeff => 00000000fefdfeff
+
+mtfprwa: 05060708 => 0000000005060708
+mtfprwa: 0e0d0e0f => 000000000e0d0e0f
+mtfprwa: f5f6f7f8 => fffffffff5f6f7f8
+mtfprwa: fefdfeff => fffffffffefdfeff
+
+vaddudm: 0102030405060708 @@ 0102030405060708  ==> 020406080a0c0e10
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 121416181c1a1c1e
+vaddudm: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f2f4f6f8fafcff00
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 030507090d0b0d0e
+vaddudm: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f4f6f8fafcff00
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 030507090d0b0d0e
+vaddudm: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> e3e5e7e9ebedeff0
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f3f5f7f9fdfbfdfe
+
+vsubudm: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vsubudm: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f10
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f10
+vsubudm: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f0f0f0f0f0f0f0f0
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f0f0f0f0f0f0f0f0
+vsubudm: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000
+
+vmaxud: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
+vmaxud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vmaxud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f9fafbfcfefdfeff
+vmaxud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+
+vmaxsd: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
+vmaxsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 090a0b0c0e0d0e0f
+vmaxsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0102030405060708
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
+vmaxsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+
+vminud: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
+vminud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 090a0b0c0e0d0e0f
+vminud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0102030405060708
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
+vminud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+
+vminsd: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
+vminsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+vminsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f9fafbfcfefdfeff
+vminsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
+
+vcmpequd: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
+vcmpequd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vcmpequd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0000000000000000
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vcmpequd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+
+vcmpgtud: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vcmpgtud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vcmpgtud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> ffffffffffffffff
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
+vcmpgtud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000
+
+vcmpgtsd: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vcmpgtsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+vcmpgtsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0000000000000000
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
+vcmpgtsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000
+
+vrld: 0102030405060708 @@ 0102030405060708  ==> 0203040506070801
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0586070687078485
+vrld: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0801020304050607
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 8485058607068707
+vrld: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f8f1
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 7dfe7f7eff7ffcfd
+vrld: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f8f1f2f3f4f5f6f7
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> fcfd7dfe7f7eff7f
+
+vsld: 0102030405060708 @@ 0102030405060708  ==> 0203040506070800
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0586070687078000
+vsld: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0800000000000000
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 8000000000000000
+vsld: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f800
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 7dfe7f7eff7f8000
+vsld: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f800000000000000
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 8000000000000000
+
+vsrad: 0102030405060708 @@ 0102030405060708  ==> 0001020304050607
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000121416181c1a
+vsrad: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000001
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vsrad: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> fff1f2f3f4f5f6f7
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fffff3f5f7f9fdfb
+vsrad: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> fffffffffffffff1
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+
+vsrd: 0102030405060708 @@ 0102030405060708  ==> 0001020304050607
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000121416181c1a
+vsrd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000001
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
+vsrd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 00f1f2f3f4f5f6f7
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0001f3f5f7f9fdfb
+vsrd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 00000000000000f1
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000001
+
+vpkudum: Inputs: 05060708 0e0d0e0f 05060708 0e0d0e0f
+         Output: 05060708 0e0d0e0f 05060708 0e0d0e0f
+vpkudum: Inputs: 05060708 0e0d0e0f f5f6f7f8 fefdfeff
+         Output: 05060708 0e0d0e0f f5f6f7f8 fefdfeff
+vpkudum: Inputs: f5f6f7f8 fefdfeff 05060708 0e0d0e0f
+         Output: f5f6f7f8 fefdfeff 05060708 0e0d0e0f
+vpkudum: Inputs: f5f6f7f8 fefdfeff f5f6f7f8 fefdfeff
+         Output: f5f6f7f8 fefdfeff f5f6f7f8 fefdfeff
+
+vpmsumd: 0102030405060708 @@ 0102030405060708  ==> 0040004000400040
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0045004500410015
+vpmsumd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 07c007c006d00735
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> a260a260a374a2c5
+vpmsumd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 07c007c006d00735
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> a260a260a374a2c5
+vpmsumd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0040004000400040
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0045004500410015
+
+vnand: 0102030405060708 @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
+vnand: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> fefdfcfbfaf9f8f7
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f6f5f4f3f1f2f1f0
+vnand: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
+vnand: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0e0d0c0b0a090807
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0605040301020100
+
+vorc: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
+vorc: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f0f
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f0f
+vorc: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> ffffffffffffffff
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
+vorc: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+
+veqv: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
+veqv: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f0f
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f0f
+veqv: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0f0f0f0f0f0f0f0f
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0f0f0f0f0f0f0f0f
+veqv: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
+
+vcipher: 0102030405060708 @@ 0102030405060708  ==> 15abdc2823b74b86
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 22037bc3e1e25abc
+vcipher: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> e55b2cd8d347bb76
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> d2f38b331112aa4c
+vcipher: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 8720c49da1d37bca
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 906d1f673bb72743
+vcipher: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 77d0346d51238b3a
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 609def97cb47d7b3
+
+vcipherlast: 0102030405060708 @@ 0102030405060708  ==> 7d6d28726e61acfa
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 08dd703ca57acbf1
+vcipherlast: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 8d9dd8829e915c0a
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f82d80cc558a3b01
+vcipherlast: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> a0400c12e32bbcb7
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 905e064db58466bf
+vcipherlast: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 50b0fce213db4c47
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 60aef6bd4574964f
+
+vncipher: 0102030405060708 @@ 0102030405060708  ==> fe67ce881a80f569
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 19db0b0605541639
+vncipher: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0e973e78ea700599
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> e92bfbf6f5a4e6c9
+vncipher: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 8b10c2d5607a5569
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 581826de46277b9c
+vncipher: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 7be03225908aa599
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> a8e8d62eb6d78b6c
+
+vncipherlast: 0102030405060708 @@ 0102030405060708  ==> 08f19dbb336cd089
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 49afdef7d9ae363f
+vncipherlast: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f8016d4bc39c2079
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> b95f2e07295ec6cf
+vncipherlast: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 2a2360e572020b5d
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 60dc7571021928b5
+vncipherlast: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> dad3901582f2fbad
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 902c8581f2e9d845
+
+vmulouw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 00193c6aa4917040 00c56e34124ba4e1
+vmulouw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 04d39d63184f87c0 0dfee4d8b9c6e2f1
+vmulouw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 04d39d63184f87c0 0dfee4d8b9c6e2f1
+vmulouw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> ec52a4e230d08040 fdfd020406050201
+
+vmuluwm: 01020304 05060708 090a0b0c 0e0d0e0f ==> 14191810a4917040 b56a0890124ba4e1
+vmuluwm: 01020304 05060708 090a0b0c 0e0d0e0f ==> 7c8fabd0184f87c0 346fa3d0b9c6e2f1
+vmuluwm: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 7c8fabd0184f87c0 346fa3d0b9c6e2f1
+vmuluwm: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 89c9209030d08040 5838201006050201
+
+vmulosw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 00193c6aa4917040 00c56e34124ba4e1
+vmulosw: 01020304 05060708 090a0b0c 0e0d0e0f ==> ffcd965b184f87c0 fff1d6c9b9c6e2f1
+vmulosw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> ffcd965b184f87c0 fff1d6c9b9c6e2f1
+vmulosw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 0064b4f230d08040 0001040606050201
+
+vmuleuw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0001040a14191810 0051b52bb56a0890
+vmuleuw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 00f3d9b37c8fabd0 08d3a173346fa3d0
+vmuleuw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 00f3d9b37c8fabd0 08d3a173346fa3d0
+vmuleuw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> e4ab55e389c92090 f41a344158382010
+
+vmulesw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0001040a14191810 0051b52bb56a0890
+vmulesw: 01020304 05060708 090a0b0c 0e0d0e0f ==> fff1d6af7c8fabd0 ffc99667346fa3d0
+vmulesw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> fff1d6af7c8fabd0 ffc99667346fa3d0
+vmulesw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 00c56dfb89c92090 00243c4958382010
+
+vmrgew: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0102030401020304 090a0b0c090a0b0c
+vmrgew: 01020304 05060708 090a0b0c 0e0d0e0f ==> 01020304f1f2f3f4 090a0b0cf9fafbfc
+vmrgew: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> f1f2f3f401020304 f9fafbfc090a0b0c
+vmrgew: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> f1f2f3f4f1f2f3f4 f9fafbfcf9fafbfc
+
+vmrgow: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0506070805060708 0e0d0e0f0e0d0e0f
+vmrgow: 01020304 05060708 090a0b0c 0e0d0e0f ==> 05060708f5f6f7f8 0e0d0e0ffefdfeff
+vmrgow: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> f5f6f7f805060708 fefdfeff0e0d0e0f
+vmrgow: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> f5f6f7f8f5f6f7f8 fefdfefffefdfeff
+
+vpmsumb: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0005001500050055 0005001500050001
+vpmsumb: 01020304 05060708 090a0b0c 0e0d0e0f ==> 011502c501150505 011502c5011500f1
+vpmsumb: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 011502c501150505 011502c5011500f1
+vpmsumb: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 0005001500050055 0005001500050001
+
+vpmsumh: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0004001400040054 0004001400000004
+vpmsumh: 01020304 05060708 090a0b0c 0e0d0e0f ==> 01e7c23401e045f4 01e7c2340001e1e4
+vpmsumh: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 01e7c23401e045f4 01e7c2340001e1e4
+vpmsumh: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 0004001400040054 0004001400000004
+
+vpmsumw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0010001000100050 0015001500110005
+vpmsumw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 03d003d784578410 02c5032720e32115
+vpmsumw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 03d003d784578410 02c5032720e32115
+vpmsumw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 0010001000100050 0015001500110005
+
+vpkudus: 000000007c118a2b, 00000000f1112345 @@ 000000007c118a2b, 00000000f1112345  ==> 7c118a2b f1112345 7c118a2b f1112345
+vpkudus: 000000007c118a2b, 00000000f1112345 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7c118a2b f1112345 ffffffff ffffffff
+vpkudus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 000000007c118a2b, 00000000f1112345  ==> ffffffff ffffffff 7c118a2b f1112345
+vpkudus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> ffffffff ffffffff ffffffff ffffffff
+
+vpksdus: 000000007c118a2b, 00000000f1112345 @@ 000000007c118a2b, 00000000f1112345  ==> 7c118a2b f1112345 7c118a2b f1112345
+vpksdus: 000000007c118a2b, 00000000f1112345 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7c118a2b f1112345 ffffffff 00000000
+vpksdus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 000000007c118a2b, 00000000f1112345  ==> ffffffff 00000000 7c118a2b f1112345
+vpksdus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> ffffffff 00000000 ffffffff 00000000
+
+vpksdss: 000000007c118a2b, 00000000f1112345 @@ 000000007c118a2b, 00000000f1112345  ==> 7c118a2b 7fffffff 7c118a2b 7fffffff
+vpksdss: 000000007c118a2b, 00000000f1112345 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7c118a2b 7fffffff 7fffffff 80000000
+vpksdss: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 000000007c118a2b, 00000000f1112345  ==> 7fffffff 80000000 7c118a2b 7fffffff
+vpksdss: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7fffffff 80000000 7fffffff 80000000
+
+vupkhsw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0000000001020304 0000000005060708
+vupkhsw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> fffffffff1f2f3f4 fffffffff5f6f7f8
+
+vupklsw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 00000000090a0b0c 000000000e0d0e0f
+vupklsw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> fffffffff9fafbfc fffffffffefdfeff
+
+vpermxor: 0102030405060708 @@ 0102030405060708 @@ 0102030405060708  ==> 0302050407060908
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0b0a0d0f0f0c0f0e
+vpermxor: 0102030405060708 @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0d0c0b0a09080706
+       090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0504030101020100
+vpermxor: 0102030405060708 @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f3f2f5f4f7f6f9f8
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fbfafdfffffcfffe
+vpermxor: 0102030405060708 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> fdfcfbfaf9f8f7f6
+       090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f5f4f3f1f1f2f1f0
+vpermxor: f1f2f3f4f5f6f7f8 @@ 0102030405060708 @@ 0102030405060708  ==> f3f2f5f4f7f6f9f8
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> fbfafdfffffcfffe
+vpermxor: f1f2f3f4f5f6f7f8 @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> fdfcfbfaf9f8f7f6
+       f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f5f4f3f1f1f2f1f0
+vpermxor: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0302050407060908
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0b0a0d0f0f0c0f0e
+vpermxor: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0d0c0b0a09080706
+       f9fafbfcfefdfeff @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0504030101020100
+
+vclzb: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 07060605050505040404040404040404
+vclzb: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+
+vclzw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000007000000050000000400000004
+vclzw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+
+vclzh: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00070006000500050004000400040004
+vclzh: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+
+vclzd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000000000000070000000000000004
+vclzd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
+
+vpopcntb: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 01010201020203010202030203030304
+vpopcntb: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 05050605060607050606070607070708
+
+vpopcnth: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00020003000400040004000500060007
+vpopcnth: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 000a000b000c000c000c000d000e000f
+
+vpopcntw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 0000000500000008000000090000000d
+vpopcntw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 0000001500000018000000190000001d
+
+vpopcntd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 000000000000000d0000000000000016
+vpopcntd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 000000000000002d0000000000000036
+
+vsbox: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 7c777bf26b6fc53001672bfeabd7ab76
+vsbox: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> a1890dbfe6426841992d0fb0bb54bb16
+
+vgbbd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000000011e66aa00000000ff1f6ba5
+vgbbd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> ffffffff011e66aaffffffffff1f6ba5
+
+vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 088207870e8c098d || 8b9e1b9b13149015
+vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> c8f5100c7844a0fc || e9b5916d0131c581
+vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 592bfd4c0062b487 || fb4fb96f4cf02615
+vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 1fe0874b08d19458 || fdb8e0eda977beb2
+vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 81eb6eee67e560e4 || 02f772f27a7df97c
+vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 52af4a56221efaa6 || 73efcb375b6b9fdb
+vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 8bf92f9ed2b06655 || 299d6bbd9e22f4c7
+vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 986700cc8f5613df || 7a3f676a2ef03935
+
+vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 88e344269168cdae || 9bf057355c5e785e
+vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 41e2c021c36443a2 || 44e5c72626c5e584
+vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 106c98d5211d89e6 || 720efab787c30fd3
+vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> f185aa4c42173cde || d4a08f69fb5ef21e
+vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 4b2087e552ab0e6d || 583394f69f9dbb9d
+vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 27b89a7ba53e19f8 || 22bf9d7c409fbfde
+vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 6814e0ad5965f19e || 0a7682cfffbb77ab
+vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 54200fe9e7b2997b || 71052acc5efb57bb
+
+bcdadd.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 6090180378642006 || 002244669113354d
+bcdadd.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 6090180378642006 || 002244669113354d
+bcdadd.: 8045090189321003 || 001122334556677d @@ 0000107600000001 || 319293945142031a ==> 8044982589321001 || 681828389414646d
+bcdadd.: 8045090189321003 || 001122334556677d @@ 0000107600000001 || 319293945142031a ==> 8044982589321001 || 681828389414646d
+bcdadd.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 000000000000000a ==> 8045090189321003 || 001122334556677d
+bcdadd.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 000000000000000a ==> 8045090189321003 || 001122334556677d
+bcdadd.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 0000000000000000 ==> 8045090189321003 || 001122334556677d
+bcdadd.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 0000000000000000 ==> 8045090189321003 || 001122334556677d
+bcdadd.: 0000107600000001 || 319293945142031a @@ 8045090189321003 || 001122334556677d ==> 8044982589321001 || 681828389414646d
+bcdadd.: 0000107600000001 || 319293945142031a @@ 8045090189321003 || 001122334556677d ==> 8044982589321001 || 681828389414646d
+bcdadd.: 0000107600000001 || 319293945142031a @@ 0000107600000001 || 319293945142031a ==> 0000215200000002 || 638587890284062c
+bcdadd.: 0000107600000001 || 319293945142031a @@ 0000107600000001 || 319293945142031a ==> 0000215200000002 || 638587890284062f
+bcdadd.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 000000000000000a ==> 0000107600000001 || 319293945142031c
+bcdadd.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 000000000000000a ==> 0000107600000001 || 319293945142031f
+bcdadd.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 0000000000000000 ==> 0000107600000001 || 319293945142031c
+bcdadd.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 0000000000000000 ==> 0000107600000001 || 319293945142031f
+bcdadd.: 0000000000000000 || 000000000000000a @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677d
+bcdadd.: 0000000000000000 || 000000000000000a @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677d
+bcdadd.: 0000000000000000 || 000000000000000a @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031c
+bcdadd.: 0000000000000000 || 000000000000000a @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031f
+bcdadd.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000c
+bcdadd.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000f
+bcdadd.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000c
+bcdadd.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000f
+bcdadd.: 0000000000000000 || 0000000000000000 @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677d
+bcdadd.: 0000000000000000 || 0000000000000000 @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677d
+bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031c
+bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031f
+bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000c
+bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000f
+bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000c
+bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000f
+
+bcdsub.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 0000000000000000 || 000000000000000c
+bcdsub.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 0000000000000000 || 000000000000000f
+bcdsub.: 8045090189321003 || 001122334556677d @@ 0000107600000001 || 319293945142031a ==> 8045197789321004 || 320416279698708d
+bcdsub.: 8045090189321003 || 001122334556677d @@ 0000107600000001 || 319293945142031a ==> 8045197789321004 || 320416279698708d
+bcdsub.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 000000000000000a ==> 8045090189321003 || 001122334556677d
+bcdsub.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 000000000000000a ==> 8045090189321003 || 001122334556677d
+bcdsub.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 0000000000000000 ==> 8045090189321003 || 001122334556677d
+bcdsub.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 0000000000000000 ==> 8045090189321003 || 001122334556677d
+bcdsub.: 0000107600000001 || 319293945142031a @@ 8045090189321003 || 001122334556677d ==> 8045197789321004 || 320416279698708c
+bcdsub.: 0000107600000001 || 319293945142031a @@ 8045090189321003 || 001122334556677d ==> 8045197789321004 || 320416279698708f
+bcdsub.: 0000107600000001 || 319293945142031a @@ 0000107600000001 || 319293945142031a ==> 0000000000000000 || 000000000000000c
+bcdsub.: 0000107600000001 || 319293945142031a @@ 0000107600000001 || 319293945142031a ==> 0000000000000000 || 000000000000000f
+bcdsub.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 000000000000000a ==> 0000107600000001 || 319293945142031c
+bcdsub.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 000000000000000a ==> 0000107600000001 || 319293945142031f
+bcdsub.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 0000000000000000 ==> 0000107600000001 || 319293945142031c
+bcdsub.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 0000000000000000 ==> 0000107600000001 || 319293945142031f
+bcdsub.: 0000000000000000 || 000000000000000a @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677c
+bcdsub.: 0000000000000000 || 000000000000000a @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677f
+bcdsub.: 0000000000000000 || 000000000000000a @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031d
+bcdsub.: 0000000000000000 || 000000000000000a @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031d
+bcdsub.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000c
+bcdsub.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000f
+bcdsub.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000c
+bcdsub.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000f
+bcdsub.: 0000000000000000 || 0000000000000000 @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677c
+bcdsub.: 0000000000000000 || 0000000000000000 @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677f
+bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031d
+bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031d
+bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000c
+bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000f
+bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000c
+bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000f
+
+vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000001
+
+vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 020406080a0c0e10121416181c1a1c1e
+vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> f2f4f6f8fafcff01030507090d0b0d0e
+vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> f2f4f6f8fafcff01030507090d0b0d0e
+vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdfe
+
+vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000001
+vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000001
+vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000001
+
+vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
+vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f10
+vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0
+vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+
+vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 000000000000020a0000000000000000
+vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 000000000000e3ea0000000000000000
+vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
+
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000001
+vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000001
+
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 020406080a0c0e10121416181c1a1c1e
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 020406080a0c0e10121416181c1a1c1f
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> f2f4f6f8fafcff01030507090d0b0d0e
+vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> f2f4f6f8fafcff01030507090d0b0d0f
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> f2f4f6f8fafcff01030507090d0b0d0e
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> f2f4f6f8fafcff01030507090d0b0d0f
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdfe
+vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdff
+
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000001
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000001
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
+vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000001
+
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f
+vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f10
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0ef
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
+vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
+
+All done. Tested 66 different instructions