From: Carl Love Date: Tue, 18 Oct 2016 15:56:55 +0000 (+0000) Subject: Fix PPC BE in 32-bit mode. X-Git-Tag: svn/VALGRIND_3_13_0~333 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d752f5471687f72a1b1973d8f218c04ae8f53430;p=thirdparty%2Fvalgrind.git 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 708bba1e9e..0f99fc6631 100644 --- 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 196239e0b9..c4af70715d 100644 --- 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 8ee724a953..0c27edf1ac 100644 --- 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 index 0000000000..8ee724a953 --- /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