PPC64: 128-bit Binary Integer Operations, part tests.

diff --git a/NEWS b/NEWS
index 55bf58ae8ac65217bf99b4f903f5ebde823aee59..a20f96f0c632bf9cb5166eb0de2ce064491c1a4a 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -126,7 +126,7 @@ where XXXXXX is the bug number as listed below.
 432809  VEX should support REX.W + POPF
 432861  PPC modsw and modsd give incorrect results for 1 mod 12
 n-i-bz  helgrind: If hg_cli__realloc fails, return NULL.
-
+429352  PPC ISA 3.1 support is missing, part 7
 
 
 Release 3.16.1 (22 June 2020)

diff --git a/none/tests/ppc64/test_isa_3_1_VRT.c b/none/tests/ppc64/test_isa_3_1_VRT.c
index 5f2e7ebd35b6ef871219b5bd1aea67b45d8ea622..f5f5536d8e2b23cfc72bc56a9736aed8a10e99f4 100644 (file)
--- a/none/tests/ppc64/test_isa_3_1_VRT.c
+++ b/none/tests/ppc64/test_isa_3_1_VRT.c
@@ -187,6 +187,58 @@ static void test_vsraq (void) {
 static void test_vsrq (void) {
   __asm__ __volatile__ ("vsrq %0, %1, %2" : "=v" (vrt) : "v" (vra), "v" (vrb) );
 }
+static void test_dcffixqq (void) {
+SET_FPSCR_ZERO; 
+  __asm__ __volatile__ ("dcffixqq 28, %0" :: "v" (vrb) );
+GET_FPSCR(current_fpscr); 
+}
+static void test_dctfixqq (void) {
+  __asm__ __volatile__ ("dctfixqq %0, 26" : "=v" (vrt) );
+}
+static void test_vdivesq (void) {
+  __asm__ __volatile__ ("vdivesq %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vdiveuq (void) {
+  __asm__ __volatile__ ("vdiveuq %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vdivsq (void) {
+  __asm__ __volatile__ ("vdivsq %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vdivuq (void) {
+  __asm__ __volatile__ ("vdivuq %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vmodsq (void) {
+  __asm__ __volatile__ ("vmodsq %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vmoduq (void) {
+  __asm__ __volatile__ ("vmoduq %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vmsumcud (void) {
+  __asm__ __volatile__ ("vmsumcud %0, %1, %2, %3"
+                       : "=v" (vrt) : "v" (vra), "v" (vrb), "v" (vrc) );
+}
+static void test_xscvqpsqz (void) {
+  __asm__ __volatile__ ("xscvqpsqz %0, %1 " : "=v" (vrt) : "v" (vrb) );
+}
+static void test_xscvqpuqz (void) {
+  __asm__ __volatile__ ("xscvqpuqz %0, %1 " : "=v" (vrt) : "v" (vrb) );
+}
+static void test_xscvsqqp (void) {
+SET_FPSCR_ZERO; 
+  __asm__ __volatile__ ("xscvsqqp %0, %1 " : "=v" (vrt) : "v" (vrb) );
+GET_FPSCR(current_fpscr); 
+}
+static void test_xscvuqqp (void) {
+SET_FPSCR_ZERO; 
+  __asm__ __volatile__ ("xscvuqqp %0, %1 " : "=v" (vrt) : "v" (vrb) );
+GET_FPSCR(current_fpscr); 
+}
 static void test_vextdubvlx (void) {
   __asm__ __volatile__ ("vextdubvlx %0, %1, %2, %3"
                        : "=v" (vrt) : "v" (vra), "v" (vrb), "r" (rc) );
@@ -385,6 +437,8 @@ static void test_xsmincqp (void) {
 }
 
 static test_list_t testgroup_generic[] = {
+  { &test_dcffixqq, "dcffixqq", "FRTp,VRB"}, /* bcs */
+  { &test_dctfixqq, "dctfixqq", "VRT,FRBp"}, /* bcs */
   { &test_dotted_vcmpequq, "vcmpequq.", "VRT,VRA,VRB"}, /* bcs */
   { &test_dotted_vcmpgtsq, "vcmpgtsq.", "VRT,VRA,VRB"}, /* bcs */
   { &test_dotted_vcmpgtuq, "vcmpgtuq.", "VRT,VRA,VRB"}, /* bcs */
@@ -401,12 +455,16 @@ static test_list_t testgroup_generic[] = {
   { &test_vcmpgtuq, "vcmpgtuq", "VRT,VRA,VRB"}, /* bcs */
   { &test_vctzdm, "vctzdm", "VRT,VRA,VRB"}, /* bcs */
   { &test_vdivesd, "vdivesd", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vdivesq, "vdivesq", "VRT,VRA,VRB"}, /* bcs */
   { &test_vdivesw, "vdivesw", "VRT,VRA,VRB"}, /* bcs */
   { &test_vdiveud, "vdiveud", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vdiveuq, "vdiveuq", "VRT,VRA,VRB"}, /* bcs */
   { &test_vdiveuw, "vdiveuw", "VRT,VRA,VRB"}, /* bcs */
   { &test_vdivsd, "vdivsd", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vdivsq, "vdivsq", "VRT,VRA,VRB"}, /* bcs */
   { &test_vdivsw, "vdivsw", "VRT,VRA,VRB"}, /* bcs */
   { &test_vdivud, "vdivud", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vdivuq, "vdivuq", "VRT,VRA,VRB"}, /* bcs */
   { &test_vdivuw, "vdivuw", "VRT,VRA,VRB"}, /* bcs */
   { &test_vextddvlx, "vextddvlx", "VRT,VRA,VRB,RC"}, /* bcs */
   { &test_vextddvrx, "vextddvrx", "VRT,VRA,VRB,RC"}, /* bcs */
@@ -436,9 +494,12 @@ static test_list_t testgroup_generic[] = {
   { &test_vinsw_3, "vinsw 3", "VRT,RB,UIM"}, /* bcwp */
   { &test_vinsw_7, "vinsw 7", "VRT,RB,UIM"}, /* bcwp */
   { &test_vmodsd, "vmodsd", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmodsq, "vmodsq", "VRT,VRA,VRB"}, /* bcs */
   { &test_vmodsw, "vmodsw", "VRT,VRA,VRB"}, /* bcs */
   { &test_vmodud, "vmodud", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmoduq, "vmoduq", "VRT,VRA,VRB"}, /* bcs */
   { &test_vmoduw, "vmoduw", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmsumcud, "vmsumcud", "VRT,VRA,VRB,VRC"}, /* bcs */
   { &test_vmulesd, "vmulesd", "VRT,VRA,VRB"}, /* bcs */
   { &test_vmuleud, "vmuleud", "VRT,VRA,VRB"}, /* bcs */
   { &test_vmulhsd, "vmulhsd", "VRT,VRA,VRB"}, /* bcs */
@@ -467,6 +528,10 @@ static test_list_t testgroup_generic[] = {
   { &test_xscmpeqqp, "xscmpeqqp", "VRT,VRA,VRB"}, /* bcs */
   { &test_xscmpgeqp, "xscmpgeqp", "VRT,VRA,VRB"}, /* bcs */
   { &test_xscmpgtqp, "xscmpgtqp", "VRT,VRA,VRB"}, /* bcs */
+  { &test_xscvqpsqz, "xscvqpsqz", "VRT,VRB"}, /* bcs */
+  { &test_xscvqpuqz, "xscvqpuqz", "VRT,VRB"}, /* bcs */
+  { &test_xscvsqqp, "xscvsqqp", "VRT,VRB"}, /* bcs */
+  { &test_xscvuqqp, "xscvuqqp", "VRT,VRB"}, /* bcs */
   { &test_xsmaxcqp, "xsmaxcqp", "VRT,VRA,VRB"}, /* bcs */
   { &test_xsmincqp, "xsmincqp", "VRT,VRA,VRB"}, /* bcs */
        { NULL,             NULL },

diff --git a/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp b/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp
index 430604dab968cf18cff9e935a2e8f4202dbf1bd2..70e8feeb1fcd13b7b9c2dcbfdff5dff6d79ac6f6 100644 (file)
--- a/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp
+++ b/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp
@@ -1,3 +1,25 @@
+dcffixqq 7f800000ff800000,ff8000007f800000 => FPCC-FL -664613958433119175043064023681971 * 10^2
+dcffixqq ff8000007f800000,ff7ffffe7f7ffffe => FPCC-FL -66461411688944423124185532347989 * 10^2
+dcffixqq ff7ffffe7f7ffffe,0080000e8080000e => FPCC-FG  664615146855557174860634730633134 * 10^2
+dcffixqq 0080000e8080000e,0180055e0180077e => FPCC-FG  1993950853636931304178743957119828 * 10^3
+dcffixqq 0180055e0180077e,0000111e8000222e => FPCC-FG   347217422380172578240957306111870 * 10^0
+dcffixqq 0000111e8000222e,7ff0000000000000 => FPCC-FG  170058167107326744896308345973108 * 10^5
+dcffixqq 7ff0000000000000,fff0000000000000 => FPCC-FL -830767497365572328376195040411622 * 10^1
+dcffixqq fff0000000000000,2208400000000000 => FPCC-FG  45236588305775202510705711832996 * 10^4
+dcffixqq 2208400000000000,0000000000000009 => FPCC-FG       16847297729233377280 * 10^0
+dcffixqq 0000000000000009,ffff000180000001 => FPCC-FL -5192178162913778528032303742967 * 10^0
+dcffixqq ffff000180000001,0000000000000000 => FPCC-FG       18446462605175291905 * 10^0
+dcffixqq 0000000000000000,8000000000000000 => FPCC-FL -170141183460469231731687337158841 * 10^5
+dcffixqq 8000000000000000,7f800000ff800000 => FPCC-FG  1694765695416501938138124372817803 * 10^5
+
+dctfixqq             1 * 10^0 =>                0,0000000000000001
+dctfixqq -           1 * 10^2 => ffffffffffffffff,ffffffffffffff9c
+dctfixqq             0 * 10^0 =>                0,0000000000000000
+dctfixqq             1 * 10^-6176 =>                0,0000000000000000
+dctfixqq  900000000001 * 10^6111 => 7fffffffffffffff,ffffffffffffffff
+dctfixqq  9999999999999999999999999999999999 * 10^6111 => 7fffffffffffffff,ffffffffffffffff
+dctfixqq             1 * 10^-6176 =>                0,0000000000000000
+
 vcmpequq. 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
 vcmpequq. 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
 vcmpequq. 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000]                0,0000000000000000
@@ -1705,6 +1727,77 @@ vdivesd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>
 vdivesd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => aaabdc510fae6c71,0000000000000000
 vdivesd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
 
+vdivesq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => aaabdc510fae6cc5,8720a3d96689b826
+vdivesq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => aaabdafbbf1e5c09,04e6ad0ea8fb9661
+vdivesq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 55542daecc8a1394,ea1beda9ef588602
+vdivesq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivesq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => ffddc2ffdda0e0da,a11a7aa0f83960da
+vdivesq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => ffddc3006694dfc9,1f5d450816557214
+vdivesq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>   223cfc1f398f79,588d1ed5724637ab
+vdivesq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>    b6981d5317b71,1ccbbd80048a0464
+vdivesq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivesq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => 2000001fe0001ee0,201ee13ffee15f9f
+vdivesq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 1fffff9fe0011f80,1ca120e9fdbba1a3
+vdivesq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => e00003a01f96dd8b,88e3937f01127062
+vdivesq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => f5557b7f821bd1e5,f43956f134cf70ed
+vdivesq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivesq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => ffffffffffffedbb,ef6dce337e4e337f
+vdivesq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffedbb,efb6de74ebd25d2d
+vdivesq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>             1244,0e6e38197312fe70
+vdivesq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>              616,9a61c42e1feaf47a
+vdivesq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>           8892fc,0d89d30a1425f9ad
+vdivesq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>  1fffd01fdfd02fd,fd02ffff02fceefc
+vdivesq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>  1fffcf9fe091307,e4c3e455bd5ce2a4
+vdivesq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => fe00033a01a26cd2,95a8ef3c3e28c039
+vdivesq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => ff5558b7f48dc991,174e75546fc6c002
+vdivesq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => fffffffffffffe00,01fdff01fbff02fc
+vdivesq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => fffffffffffffe00,0205fef9ec01133f
+vdivesq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>              1ff,fdc6014093d9b242
+vdivesq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>               aa,a79d60963774bee5
+vdivesq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>            ef42b,cf7cbc92dc8c1c33
+vdivesq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivesq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivesq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => aaabdc510fae6cc5,8720a3d96689b826
+vdivesq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+
 vdivesw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
 vdivesw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,00000000fefefeff
 vdivesw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000fefefeff
@@ -1847,6 +1940,77 @@ vdiveud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>
 vdiveud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
 vdiveud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
 
+vdiveuq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdiveuq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdiveuq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => fffffffdfeff7fbf,5f2f578c75d29512
+vdiveuq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdiveuq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>   80402e978be60a,d02e09f9e4c94989
+vdiveuq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>   80402e988ce6e8,70584d43edccd3d9
+vdiveuq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 55542daecc8a1394,ea1beda9ef588602
+vdiveuq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>  180c5c0e130fd7f,2f300f57c2b9014b
+vdiveuq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>  180c5c0e4340a87,7c7feffac044cc73
+vdiveuq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     11271389de92,546f09fe294c249d
+vdiveuq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     1127138a00f1,ab2e7432bb8cd0d3
+vdiveuq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>   223cfc1f398f79,588d1ed5724637ab
+vdiveuq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>    b6981d5317b71,1ccbbd80048a0464
+vdiveuq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 8030180bc60b118e,aa5ac74939b241cf
+vdiveuq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 8030180cc6ebb1f8,ad8c080912a97cd5
+vdiveuq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdiveuq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdiveuq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 22194ca642257910,a957683b615fbda9
+vdiveuq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 22194ca6867a3cbf,9ee463bc7522793a
+vdiveuq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                9,269b8dc2526ebe40
+vdiveuq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                9,269b8dd4a8d10b14
+vdiveuq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>             1244,0e6e38197312fe70
+vdiveuq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>              616,9a61c42e1feaf47a
+vdiveuq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>           8892fc,0d89d30a1425f9ad
+vdiveuq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdiveuq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdiveuq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                1,007f3fa0d0a8f44a
+vdiveuq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                1,007f3fa2d2a8734f
+vdiveuq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>              1ff,fdc6014093d9b242
+vdiveuq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>               aa,a79d60963774bee5
+vdiveuq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>            ef42b,cf7cbc92dc8c1c33
+vdiveuq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 8040200fc8041210,ec78452acb81d377
+vdiveuq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 80402010c904d292,ffebf4608b30e1ff
+vdiveuq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7fbfdff0b83c0dfe,dc0c0d0530be75c5
+vdiveuq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7fbfdff1b83bcdc2,6e6cc8d06082807d
+vdiveuq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdiveuq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdiveuq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+
 vdiveuw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
 vdiveuw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,7fbfdfef00000000
 vdiveuw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>         fe01fde6,7fbfdff000000000
@@ -1989,6 +2153,77 @@ vdivsd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>
 vdivsd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,00000000000000fe
 vdivsd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffffffffff886,0000000000000054
 
+vdivsq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vdivsq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivsq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivsq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,fffffffffffff886
+vdivsq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vdivsq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000001
+vdivsq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivsq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => ffffffffffffffff,fffffffffffff886
+vdivsq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+vdivsq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+vdivsq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000001
+vdivsq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>                0,000000000000077a
+vdivsq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,fffffffffffffffd
+vdivsq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,fffffffffffffffd
+vdivsq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000003
+vdivsq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000001
+vdivsq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>                0,000000000000166e
+vdivsq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivsq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivsq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivsq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000001
+vdivsq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffff01
+vdivsq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffff01
+vdivsq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000000000ff
+vdivsq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000055
+vdivsq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>                0,000000000007792e
+vdivsq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivsq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivsq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivsq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffff11
+vdivsq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffbc
+vdivsq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffbc
+vdivsq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000044
+vdivsq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000016
+vdivsq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>                0,000000000001fceb
+vdivsq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivsq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivsq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivsq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivsq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivsq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivsq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivsq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => ffffffffffffffff,fffffffffffffff2
+vdivsq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivsq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivsq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivsq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivsq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000100
+vdivsq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,00000000000000ff
+vdivsq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffff01
+vdivsq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => ffffffffffffffff,ffffffffffffffab
+vdivsq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,fffffffffff885e3
+vdivsq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffff01
+vdivsq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffff02
+vdivsq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000000000fe
+vdivsq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000054
+vdivsq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>                0,00000000000772a3
+vdivsq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vdivsq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivsq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivsq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,fffffffffffff886
+
 vdivsw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>        100000001,0000000100000001
 vdivsw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                1,ffffff0100000000
 vdivsw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>         ffffffff,ffffff0200000000
@@ -2131,6 +2366,77 @@ vdivud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>
 vdivud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>               aa,00000000000000fe
 vdivud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>            eecc0,0000000000000054
 
+vdivuq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vdivuq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000001
+vdivuq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000000001fe
+vdivuq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,00000000000000aa
+vdivuq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,00000000000eecc0
+vdivuq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000001
+vdivuq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000000001fe
+vdivuq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>                0,00000000000000aa
+vdivuq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>                0,00000000000eecc0
+vdivuq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivuq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000001
+vdivuq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivuq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>                0,000000000000077a
+vdivuq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivuq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000003
+vdivuq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000001
+vdivuq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>                0,000000000000166e
+vdivuq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivuq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivuq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivuq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000001
+vdivuq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivuq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000000000ff
+vdivuq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000055
+vdivuq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>                0,000000000007792e
+vdivuq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vdivuq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000001
+vdivuq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000000001ff
+vdivuq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>                0,00000000000000aa
+vdivuq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>                0,00000000000ef34b
+vdivuq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivuq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000044
+vdivuq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000016
+vdivuq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>                0,000000000001fceb
+vdivuq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivuq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivuq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivuq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivuq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vdivuq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000001
+vdivuq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000000001ff
+vdivuq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>                0,00000000000000aa
+vdivuq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>                0,00000000000ef42b
+vdivuq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivuq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivuq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivuq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivuq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivuq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000000000ff
+vdivuq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000055
+vdivuq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000077a1d
+vdivuq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivuq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000000000fe
+vdivuq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000054
+vdivuq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>                0,00000000000772a3
+vdivuq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vdivuq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000001
+vdivuq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000000001fe
+vdivuq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,00000000000000aa
+vdivuq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,00000000000eecc0
+
 vdivuw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>        100000001,0000000100000001
 vdivuw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>        100000001,0000000000000002
 vdivuw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>      1fe00000000,0000000000000002
@@ -6801,6 +7107,77 @@ vmodsd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff
 vmodsd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ff8000007f800000,007ff19d807ff21c
 vmodsd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffe09807f8bec,017e3d28817d8aa8
 
+vmodsq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmodsq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff8000007f800000,7f800000ff800000
+vmodsq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff8000007f800000,7f800000ff800000
+vmodsq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ff8000007f800000,7f800000ff800000
+vmodsq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffe09807f8bf7,b6a820d836b8040c
+vmodsq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => fffffffdfffffffe,7fffffff80000000
+vmodsq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vmodsq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => ff7ffffe7f7ffffe,ff8000007f800000
+vmodsq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => ff7ffffe7f7ffffe,ff8000007f800000
+vmodsq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => fffffe07807f8bf6,36a820d7b6b8040c
+vmodsq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>        f0000000f,7effffff7efffffe
+vmodsq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>        d0000000d,fefffffefefffffe
+vmodsq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vmodsq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>   80000e8080000e,ff7ffffe7f7ffffe
+vmodsq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>      2057f807417,c857df274847fbf2
+vmodsq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>      55f8000077f,7f0000117f00000e
+vmodsq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>      5598000077a,ff00000fff00000e
+vmodsq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>      53280000751,0200001302000014
+vmodsq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vmodsq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>      b42fe816398,5b079d88dad7f3ea
+vmodsq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     111e8000222e,0180055e0180077e
+vmodsq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     111e8000222e,0180055e0180077e
+vmodsq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>     111e8000222e,0180055e0180077e
+vmodsq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>     111e8000222e,0180055e0180077e
+vmodsq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vmodsq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 =>   70007f0080007f,0080121d0080222e
+vmodsq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>   6ffe81007fff00,8080119d8080222e
+vmodsq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   6ff18e007ff10f,7f80129d7f80242c
+vmodsq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>   6e37c9807d8329,d5800c4dd5801d88
+vmodsq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>      20400901286,12e3a10483023b8a
+vmodsq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => fff0000000000000,7ff0000000000000
+vmodsq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => fff0000000000000,7ff0000000000000
+vmodsq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => fff0000000000000,7ff0000000000000
+vmodsq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => fff0000000000000,7ff0000000000000
+vmodsq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => fffffb79801fe8f3,e67502c36686fea2
+vmodsq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 =>    84021de000022,ddf00043de000000
+vmodsq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe =>    83f99ddffffbc,ddf00021de000000
+vmodsq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>    83c25ddfffc05,21f0006622000088
+vmodsq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>  107c9ebdeff5b2c,f4effec0f4fffecc
+vmodsq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>      3003c0d54cb,94c487ba909b1756
+vmodsq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                9,2208400000000000
+vmodsq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                9,2208400000000000
+vmodsq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                9,2208400000000000
+vmodsq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                9,2208400000000000
+vmodsq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                9,2208400000000000
+vmodsq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => ffff000180000001,0000000000000009
+vmodsq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => ffff000180000001,0000000000000009
+vmodsq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => ffff000180000001,0000000000000009
+vmodsq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => ffff000180000001,0000000000000009
+vmodsq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => ffffefac8001de85,15004b24150068ed
+vmodsq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,ffff000180000001
+vmodsq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffff000180000001
+vmodsq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffff000180000001
+vmodsq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,ffff000180000001
+vmodsq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,ffff000180000001
+vmodsq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => ffffff807fffff80,7fffff0080000000
+vmodsq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ff80017eff8000ff,7f7fff80ff800000
+vmodsq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ff800e71ff800ef0,807ffe81007ffe02
+vmodsq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => ff81c8367f827cd6,2a8004d0aa8004a6
+vmodsq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => fffff9757f8fd66d,53a172dd6384e546
+vmodsq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>       800000007f,808000fe80800000
+vmodsq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe =>   7ffe83807fff02,0100007e81000000
+vmodsq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7ff19d807ff11e,ff00017d7f0001fc
+vmodsq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>  17e3d28817d8aa8,55fffb3dd5fffb68
+vmodsq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>      49480efb58a,6386adf9d3b31ec6
+vmodsq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmodsq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff8000007f800000,7f800000ff800000
+vmodsq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff8000007f800000,7f800000ff800000
+vmodsq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ff8000007f800000,7f800000ff800000
+vmodsq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffe09807f8bf7,b6a820d836b8040c
+
 vmodsw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
 vmodsw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff80000000000002,00000000ff800000
 vmodsw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff8000000000000e,007ffe04ff800000
@@ -6943,6 +7320,77 @@ vmodud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>
 vmodud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>   7c6f93807b0654,007ff19d807ff21c
 vmodud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>      b1e815ff580,017e3d28817d8aa8
 
+vmoduq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmoduq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>        200000001,8000000080000000
+vmoduq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7fe31c807fe21f,7e8002fefe8003fc
+vmoduq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>   7c6f93807b0654,2a7ff65faa7ff6b4
+vmoduq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>      b1e815fdf1d,0f653b1d6fae3980
+vmoduq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => ff7ffffe7f7ffffe,ff8000007f800000
+vmoduq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vmoduq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>   7fe31a807fe21d,fe8002fe7e8003fc
+vmoduq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>   7c6f91807b0652,aa7ff65f2a7ff6b4
+vmoduq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>      b1c815fdf1b,8f653b1cefae3980
+vmoduq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>   80000e8080000e,ff7ffffe7f7ffffe
+vmoduq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>   80000e8080000e,ff7ffffe7f7ffffe
+vmoduq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vmoduq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>   80000e8080000e,ff7ffffe7f7ffffe
+vmoduq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>      2057f807417,c857df274847fbf2
+vmoduq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>  180055e0180077e,0080000e8080000e
+vmoduq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>  180055e0180077e,0080000e8080000e
+vmoduq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>      53280000751,0200001302000014
+vmoduq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vmoduq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>      b42fe816398,5b079d88dad7f3ea
+vmoduq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     111e8000222e,0180055e0180077e
+vmoduq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     111e8000222e,0180055e0180077e
+vmoduq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>     111e8000222e,0180055e0180077e
+vmoduq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>     111e8000222e,0180055e0180077e
+vmoduq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vmoduq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 7ff0000000000000,0000111e8000222e
+vmoduq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 7ff0000000000000,0000111e8000222e
+vmoduq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   6ff18e007ff10f,7f80129d7f80242c
+vmoduq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>   6e37c9807d8329,d5800c4dd5801d88
+vmoduq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>      20400901286,12e3a10483023b8a
+vmoduq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>   6fffff80800000,006fffff00800000
+vmoduq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>   70000180800001,806fffff80800000
+vmoduq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   6fe30d807fe210,7f7002ff7f8003fe
+vmoduq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>   ec6f9300fb0654,2aeff65eaafff6b4
+vmoduq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>      88e81003c19,3f321d089f7d3416
+vmoduq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 2208400000000000,fff0000000000000
+vmoduq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 2208400000000000,fff0000000000000
+vmoduq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>    83c25ddfffc05,21f0006622000088
+vmoduq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>  107c9ebdeff5b2c,f4effec0f4fffecc
+vmoduq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>      3003c0d54cb,94c487ba909b1756
+vmoduq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                9,2208400000000000
+vmoduq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                9,2208400000000000
+vmoduq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                9,2208400000000000
+vmoduq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                9,2208400000000000
+vmoduq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                9,2208400000000000
+vmoduq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>   7f000100800000,807fffff00800009
+vmoduq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>   7f000300800002,007fffff80800009
+vmoduq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>   7ee30f007fe210,ff8002ff7f800407
+vmoduq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>   fb6f9480fb0654,aafff65eaafff6bd
+vmoduq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>      de000e253d8,6f3d6ac74f76a5df
+vmoduq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,ffff000180000001
+vmoduq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffff000180000001
+vmoduq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffff000180000001
+vmoduq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,ffff000180000001
+vmoduq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,ffff000180000001
+vmoduq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 8000000000000000,0000000000000000
+vmoduq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 8000000000000000,0000000000000000
+vmoduq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   7ff18e007ff10f,7f80017eff8001fe
+vmoduq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>   7e37c9807d8329,d57ffb2f557ffb5a
+vmoduq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>      68a80702992,ac5e8d229c7b1aba
+vmoduq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7f800000ff800000,8000000000000000
+vmoduq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7f800000ff800000,8000000000000000
+vmoduq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7ff19d807ff11e,ff00017d7f0001fc
+vmoduq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>  17e3d28817d8aa8,55fffb3dd5fffb68
+vmoduq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>      49480efb58a,6386adf9d3b31ec6
+vmoduq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmoduq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>        200000001,8000000080000000
+vmoduq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7fe31c807fe21f,7e8002fefe8003fc
+vmoduq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>   7c6f93807b0654,2a7ff65faa7ff6b4
+vmoduq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>      b1e815fdf1d,0f653b1d6fae3980
+
 vmoduw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
 vmoduw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>        200000002,7f80000000800000
 vmoduw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7fe41c7f800000,7f80000000800004
@@ -7014,6 +7462,25 @@ vmoduw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>
 vmoduw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>   7c6f94017d8aa8,007ff21c7efffff2
 vmoduw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>      4607f800000,017e3d28007b0654
 
+vmsumcud 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000002
+vmsumcud 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 =>                0,0000000000000001
+vmsumcud 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000002
+vmsumcud 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000001
+vmsumcud 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vmsumcud 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+vmsumcud 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000002
+vmsumcud 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 =>                0,0000000000000001
+vmsumcud 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000002
+vmsumcud 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000001
+vmsumcud 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vmsumcud 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+vmsumcud 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vmsumcud 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+vmsumcud 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vmsumcud 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+vmsumcud 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vmsumcud 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+
 vmulesd 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>     3fffff808000,3f80400000000000
 vmulesd 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>     400000807fff,41803fff01000000
 vmulesd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ffffbffff8ff8007,31ffc006f9000000
@@ -11150,6 +11617,62 @@ xscmpgtqp 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 =>
 xscmpgtqp 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
 xscmpgtqp 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
 
+xscvqpsqz 7f800000ff800000,ff8000007f800000 => 8000000000000000,0000000000000000
+xscvqpsqz ff8000007f800000,ff7ffffe7f7ffffe => 8000000000000000,0000000000000000
+xscvqpsqz ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscvqpsqz 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscvqpsqz 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscvqpsqz 0000111e8000222e,7ff0000000000000 => 7fffffffffffffff,ffffffffffffffff
+xscvqpsqz 7ff0000000000000,fff0000000000000 => 8000000000000000,0000000000000000
+xscvqpsqz fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscvqpsqz 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscvqpsqz 0000000000000009,ffff000180000001 => 8000000000000000,0000000000000000
+xscvqpsqz ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscvqpsqz 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscvqpsqz 8000000000000000,7f800000ff800000 => 7fffffffffffffff,ffffffffffffffff
+
+xscvqpuqz 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscvqpuqz ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscvqpuqz ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscvqpuqz 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscvqpuqz 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscvqpuqz 0000111e8000222e,7ff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscvqpuqz 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscvqpuqz fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscvqpuqz 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscvqpuqz 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscvqpuqz ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscvqpuqz 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscvqpuqz 8000000000000000,7f800000ff800000 => ffffffffffffffff,ffffffffffffffff
+
+xscvsqqp 7f800000ff800000,ff8000007f800000 => FPCC-FL c075fffffe01ffff,fe01fffffc020000
+xscvsqqp ff8000007f800000,ff7ffffe7f7ffffe => FPCC-FL c076000003010000,0200ffffff010000
+xscvsqqp ff7ffffe7f7ffffe,0080000e8080000e => FPCC-FG 407600001d010000,1dfefffffcff0000
+xscvsqqp 0080000e8080000e,0180055e0180077e => FPCC-FG 407780055e018007,7e0080000e808000
+xscvsqqp 0180055e0180077e,0000111e8000222e => FPCC-FG 406b11e8000222e0,180055e0180077e0
+xscvsqqp 0000111e8000222e,7ff0000000000000 => FPCC-FG 407dffc000000000,00000000447a0001
+xscvsqqp 7ff0000000000000,fff0000000000000 => FPCC-FL c072ffffffffffff,f002000000000000
+xscvsqqp fff0000000000000,2208400000000000 => FPCC-FG 407c104200000000,0007ff8000000000
+xscvsqqp 2208400000000000,0000000000000009 => FPCC-FG 4042244108000000,0000000000000000
+xscvsqqp 0000000000000009,ffff000180000001 => FPCC-FL c06efffcfffffffd,ffffffffffffffee
+xscvsqqp ffff000180000001,0000000000000000 => FPCC-FG 403efffe00030000,0002000000000000
+xscvsqqp 0000000000000000,8000000000000000 => FPCC-FL c07e000000000000,0000000000000000
+xscvsqqp 8000000000000000,7f800000ff800000 => FPCC-FG 407dfe000003fe00,0002000000000000
+
+xscvuqqp 7f800000ff800000,ff8000007f800000 => FPCC-FG 407eff000000ff00,0000ff000001ff00
+xscvuqqp ff8000007f800000,ff7ffffe7f7ffffe => FPCC-FG 407efefffffcfeff,fffdff000000ff00
+xscvuqqp ff7ffffe7f7ffffe,0080000e8080000e => FPCC-FG 407600001d010000,1dfefffffcff0000
+xscvuqqp 0080000e8080000e,0180055e0180077e => FPCC-FG 407780055e018007,7e0080000e808000
+xscvuqqp 0180055e0180077e,0000111e8000222e => FPCC-FG 406b11e8000222e0,180055e0180077e0
+xscvuqqp 0000111e8000222e,7ff0000000000000 => FPCC-FG 407dffc000000000,00000000447a0001
+xscvuqqp 7ff0000000000000,fff0000000000000 => FPCC-FG 407effe000000000,0000ffe000000000
+xscvuqqp fff0000000000000,2208400000000000 => FPCC-FG 407c104200000000,0007ff8000000000
+xscvuqqp 2208400000000000,0000000000000009 => FPCC-FG 4042244108000000,0000000000000000
+xscvuqqp 0000000000000009,ffff000180000001 => FPCC-FG 407efffe00030000,0002000000000000
+xscvuqqp ffff000180000001,0000000000000000 => FPCC-FG 403efffe00030000,0002000000000000
+xscvuqqp 0000000000000000,8000000000000000 => FPCC-FG 407e000000000000,0000000000000000
+xscvuqqp 8000000000000000,7f800000ff800000 => FPCC-FG 407dfe000003fe00,0002000000000000
+
 xsmaxcqp 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
 xsmaxcqp 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
 xsmaxcqp 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
@@ -11490,4 +12013,4 @@ xsmincqp 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 =>
 xsmincqp 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
 xsmincqp 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
 
-All done. Tested 84 different instruction groups
+All done. Tested 97 different instruction groups