Vector Integer Multiply/Divide/Modulo Instruction tests

diff --git a/NEWS b/NEWS
index 13bfe4fa1eb1b5a2e7d29d851cd2c210e754b28d..780f2f324359866248a94a34b09547996e8fabc6 100644 (file)
--- a/NEWS
+++ b/NEWS
@@ -49,7 +49,8 @@ n-i-bz  helgrind: If hg_cli__realloc fails, return NULL.
 423021  PPC:  Add missing ISA 3.0 documentation link and HWCAPS test.
 424298  amd64: Implement RDSEED
 426144  Fix "condition variable has not been initialized" on Fedora 33.
-
+423195  PPC ISA 3.1 support is missing, part 1
+425232  PPC ISA 3.1 support is missing, part 2
 
 Release 3.16.1 (?? June 2020)
 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~

diff --git a/none/tests/ppc64/Makefile.am b/none/tests/ppc64/Makefile.am
index 4ca4ffc86c5a923a83c367cddaa80ac0c42e4945..3490c5eb60ce4afa2e7efd3f1b3a92c7e6282dcd 100644 (file)
--- a/none/tests/ppc64/Makefile.am
+++ b/none/tests/ppc64/Makefile.am
@@ -51,12 +51,11 @@ EXTRA_DIST = \
        test_isa_3_0_other.stdout.exp-LE test_isa_3_0_other.vgtest \
        test_isa_3_1_RT.vgtest test_isa_3_1_RT.stderr.exp test_isa_3_1_RT.stdout.exp \
        test_isa_3_1_XT.vgtest test_isa_3_1_XT.stderr.exp test_isa_3_1_XT.stdout.exp \
-       test_isa_3_1_VRT.vgtest \
+       test_isa_3_1_VRT.vgtest test_isa_3_1_VRT.stderr.exp test_isa_3_1_VRT.stdout.exp \
        test_isa_3_1_Misc.vgtest \
        test_isa_3_1_AT.vgtest \
        subnormal_test.stderr.exp  subnormal_test.stdout.exp \
        subnormal_test.vgtest
-#      test_isa_3_1_VRT.vgtest test_isa_3_1_VRT.stderr.exp test_isa_3_1_VRT.stdout.exp
 #      test_isa_3_1_Misc.vgtest test_isa_3_1_Misc.stderr.exp test_isa_3_1_Misc.stdout.exp
 #      test_isa_3_1_AT.vgtest test_isa_3_1_AT.stderr.exp test_isa_3_1_AT.stdout.exp
 
@@ -67,12 +66,12 @@ check_PROGRAMS = \
        test_dfp1 test_dfp2 test_dfp3 test_dfp4 test_dfp5 \
        test_isa_2_07_part1 test_isa_2_07_part2 \
        test_isa_3_0 \
-       test_isa_3_1_RT test_isa_3_1_XT \
+       test_isa_3_1_RT test_isa_3_1_XT test_isa_3_1_VRT \
        subnormal_test \
        test_tm test_touch_tm ldst_multiple data-cache-instructions \
        power6_mf_gpr std_reg_imm \
        twi_tdi tw_td power6_bcmp
-#      test_isa_3_1_Misc test_isa_3_1_VRT test_isa_3_1_AT
+#      test_isa_3_1_Misc test_isa_3_1_AT
 
 AM_CFLAGS    += @FLAG_M64@
 AM_CXXFLAGS  += @FLAG_M64@
@@ -82,8 +81,8 @@ allexec_CFLAGS                = $(AM_CFLAGS) @FLAG_W_NO_NONNULL@
 
 test_isa_3_1_XT_SOURCES = test_isa_3_1_XT.c test_isa_3_1_common.c
 test_isa_3_1_RT_SOURCES = test_isa_3_1_RT.c test_isa_3_1_common.c
+test_isa_3_1_VRT_SOURCES = test_isa_3_1_VRT.c test_isa_3_1_common.c
 
-#test_isa_3_1_VRT_SOURCES = test_isa_3_1_VRT.c test_isa_3_1_common.c
 #test_isa_3_1_AT_SOURCES = test_isa_3_1_AT.c test_isa_3_1_common.c
 #test_isa_3_1_Misc_SOURCES = test_isa_3_1_Misc.c test_isa_3_1_common.c
 
@@ -189,6 +188,7 @@ test_isa_3_1_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames  $(ISA_3_1_FL
                        @FLAG_M64@ $(BUILD_FLAGS_ISA_3_1)
 test_isa_3_1_RT_CFLAGS = $(test_isa_3_1_CFLAGS)
 test_isa_3_1_XT_CFLAGS = $(test_isa_3_1_CFLAGS)
+test_isa_3_1_VRT_CFLAGS = $(test_isa_3_1_CFLAGS)
 
 subnormal_test_CFLAGS = $(AM_CFLAGS) -Winline -Wall -O -g -mregnames $(VSX_FLAG) $(ISA_2_06_FLAG) \
                        @FLAG_M64@ $(ALTIVEC_FLAG) $(BUILD_FLAG_VSX) $(BUILD_FLAGS_ISA_2_06)

diff --git a/none/tests/ppc64/test_isa_3_1_VRT.c b/none/tests/ppc64/test_isa_3_1_VRT.c
new file mode 100644 (file)
index 0000000..72025b9
--- /dev/null
+++ b/none/tests/ppc64/test_isa_3_1_VRT.c
@@ -0,0 +1,346 @@
+/*
+ * Valgrind testcase for PowerPC ISA 3.1
+ *
+ * Copyright (C) 2019-2020 Will Schmidt <will_schmidt@vnet.ibm.com>
+ *
+ * 64bit build:
+ *    gcc -Winline -Wall -g -O -mregnames -maltivec -m64
+ */
+
+/*
+ *   This program is free software; you can redistribute it and/or
+ *   modify it under the terms of the GNU General Public License as
+ *   published by the Free Software Foundation; either version 2 of the
+ *   License, or (at your option) any later version.
+ *
+ *   This program is distributed in the hope that it will be useful,
+ *   but WITHOUT ANY WARRANTY; without even the implied warranty of
+ *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ *   GNU General Public License for more details.
+ *
+ *   You should have received a copy of the GNU General Public License
+ *   along with this program; if not, write to the Free Software
+ *   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
+ */
+
+#include <stdio.h>
+#ifdef HAS_ISA_3_1
+#include <stdint.h>
+#include <assert.h>
+#include <stdlib.h>
+#include <string.h>
+#include <unistd.h>
+#include <altivec.h>
+#include <malloc.h>
+
+#include <string.h>
+#include <signal.h>
+#include <setjmp.h>
+
+/* Condition Register fields.
+   These are used to capture the condition register values immediately after
+   the instruction under test is executed. This is done to help prevent other
+   test overhead (switch statements, result compares, etc) from disturbing
+   the test case results.  */
+unsigned long current_cr;
+unsigned long current_fpscr;
+
+struct test_list_t current_test;
+
+#include "isa_3_1_helpers.h"
+
+static void test_vmulhsw (void) {
+  __asm__ __volatile__ ("vmulhsw %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vmulhuw (void) {
+  __asm__ __volatile__ ("vmulhuw %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vmulhsd (void) {
+  __asm__ __volatile__ ("vmulhsd %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vmulhud (void) {
+  __asm__ __volatile__ ("vmulhud %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vmulld (void) {
+  __asm__ __volatile__ ("vmulld %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vdivsw (void) {
+  __asm__ __volatile__ ("vdivsw %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vdivuw (void) {
+  __asm__ __volatile__ ("vdivuw %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vdivesw (void) {
+  __asm__ __volatile__ ("vdivesw %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vdiveuw (void) {
+  __asm__ __volatile__ ("vdiveuw %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vdivsd (void) {
+  __asm__ __volatile__ ("vdivsd %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vdivud (void) {
+  __asm__ __volatile__ ("vdivud %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vdivesd (void) {
+  __asm__ __volatile__ ("vdivesd %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vdiveud (void) {
+  __asm__ __volatile__ ("vdiveud %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vmodsw (void) {
+  __asm__ __volatile__ ("vmodsw %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vmoduw (void) {
+  __asm__ __volatile__ ("vmoduw %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vmodsd (void) {
+  __asm__ __volatile__ ("vmodsd %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_vmodud (void) {
+  __asm__ __volatile__ ("vmodud %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+
+static test_list_t testgroup_generic[] = {
+  { &test_vdivesd, "vdivesd", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vdivesw, "vdivesw", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vdiveud, "vdiveud", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vdiveuw, "vdiveuw", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vdivsd, "vdivsd", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vdivsw, "vdivsw", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vdivud, "vdivud", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vdivuw, "vdivuw", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmodsd, "vmodsd", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmodsw, "vmodsw", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmodud, "vmodud", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmoduw, "vmoduw", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmulhsd, "vmulhsd", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmulhsw, "vmulhsw", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmulhud, "vmulhud", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmulhuw, "vmulhuw", "VRT,VRA,VRB"}, /* bcs */
+  { &test_vmulld, "vmulld", "VRT,VRA,VRB"}, /* bcs */
+       { NULL,             NULL },
+};
+
+/*  Allow skipping of tests. */
+unsigned long test_count=0xffff;
+unsigned long skip_count=0;
+unsigned long setup_only=0;
+
+/*  Set up a setjmp/longjmp to gently handle our SIGILLs and SIGSEGVs.  */
+static jmp_buf mybuf;
+
+/* This (testfunction_generic) is meant to handle all of the instruction
+   variations.  The helpers set up the register and iterator values
+   as is appropriate for the instruction being tested.  */
+static void testfunction_generic (const char* instruction_name,
+                                 test_func_t test_function,
+                                 unsigned int ignore_flags,
+                                 char * cur_form) {
+
+   identify_form_components (instruction_name , cur_form);
+   debug_show_form (instruction_name, cur_form);
+   set_up_iterators ();
+   debug_show_iter_ranges ();
+   initialize_buffer (0);
+   debug_dump_buffer ();
+
+   for (vrai = a_start; vrai < a_iters ; vrai+=a_inc) {
+      for (vrbi = b_start; vrbi < b_iters ; vrbi+=b_inc) {
+        for (vrci = c_start; vrci < c_iters ; vrci+=c_inc) {
+           for (vrmi = m_start; (vrmi < m_iters) ; vrmi+=m_inc) {
+               CHECK_OVERRIDES
+               debug_show_current_iteration ();
+               // Be sure to initialize the target registers first.
+               initialize_target_registers ();
+               initialize_source_registers ();
+               printf ("%s", instruction_name);
+               print_register_header ();
+               printf( " =>"); fflush (stdout);
+               if (!setup_only) {
+                 if (enable_setjmp) {
+                  if ( setjmp ( mybuf ) ) {
+                    printf("signal tripped. (FIXME)\n");
+                    continue;
+                  }
+                 }
+                 (*test_function) ();
+               }
+               print_register_footer ();
+               print_result_buffer ();
+               printf ("\n");
+           }
+        }
+      }
+   }
+}
+
+void mykillhandler ( int x ) { longjmp (mybuf, 1); }
+void mysegvhandler ( int x ) { longjmp (mybuf, 1); }
+
+static void do_tests ( void )
+{
+   int groupcount;
+   char * cur_form;
+   test_group_t group_function = &testfunction_generic;
+   test_list_t *tests = testgroup_generic;
+
+   struct sigaction kill_action, segv_action;
+   struct sigaction old_kill_action, old_segv_action;
+   if (enable_setjmp) {
+      kill_action.sa_handler = mykillhandler;
+      segv_action.sa_handler = mysegvhandler;
+      sigemptyset ( &kill_action.sa_mask );
+      sigemptyset ( &segv_action.sa_mask );
+      kill_action.sa_flags = SA_NODEFER;
+      segv_action.sa_flags = SA_NODEFER;
+      sigaction ( SIGILL, &kill_action, &old_kill_action);
+      sigaction ( SIGSEGV, &segv_action, &old_segv_action);
+   }
+
+   for (groupcount = 0; tests[groupcount].name != NULL; groupcount++) {
+       cur_form = strdup(tests[groupcount].form);
+       current_test = tests[groupcount];
+       if (groupcount < skip_count) continue;
+       if (verbose) printf("Test #%d ,", groupcount);
+       if (verbose > 1) printf(" instruction %s (v=%d)", current_test.name, verbose);
+       (*group_function) (current_test.name, current_test.func, 0, cur_form );
+       printf ("\n");
+       if (groupcount >= (skip_count+test_count)) break;
+   }
+   if (debug_show_labels) printf("\n");
+   printf ("All done. Tested %d different instruction groups\n", groupcount);
+}
+
+static void usage (void)
+{
+   fprintf(stderr,
+      "Usage: test_isa_XXX [OPTIONS]\n"
+      "\t-h: display this help and exit\n"
+      "\t-v: increase verbosity\n"
+      "\t-a <foo> : limit number of a-iterations to <foo>\n"
+      "\t-b <foo> : limit number of b-iterations to <foo>\n"
+      "\t-c <foo> : limit number of c-iterations to <foo>\n"
+      "\t-n <foo> : limit to this number of tests.\n"
+      "\t-r <foo>: run only test # <foo> \n"
+      "\t\n"
+      "\t-j :enable setjmp to recover from illegal insns. \n"
+      "\t-m :(dev only?) lock VRM value to zero.\n"
+      "\t-z :(dev only?) lock MC value to zero.\n"
+      "\t-p :(dev only?) disable prefix instructions\n"
+      "\t-s <foo>: skip <foo> tests \n"
+      "\t-c <foo>: stop after running <foo> # of tests \n"
+      "\t-f : Do the test setup but do not actually execute the test instruction. \n"
+   );
+}
+
+int main (int argc, char **argv)
+{
+   int c;
+   while ((c = getopt(argc, argv, "dhjvmpfzs:a:b:c:n:r:")) != -1) {
+      switch (c) {
+        case 'h':
+           usage();
+           return 0;
+
+        case 'v':
+           verbose++;
+           break;
+
+        /* Options related to limiting the test iterations.  */
+        case 'a':
+           a_limit=atoi (optarg);
+           printf ("limiting a-iters to %ld.\n", a_limit);
+           break;
+        case 'b':
+           b_limit=atoi (optarg);
+           printf ("limiting b-iters to %ld.\n", b_limit);
+           break;
+        case 'c':
+           c_limit=atoi (optarg);
+           printf ("limiting c-iters to %ld.\n", c_limit);
+           break;
+        case 'n': // run this number of tests.
+           test_count=atoi (optarg);
+           printf ("limiting to %ld tests\n", test_count);
+           break;
+        case 'r': // run just test #<foo>.
+           skip_count=atoi (optarg);
+           test_count=0;
+           if (verbose) printf("Running only test number %ld\n", skip_count);
+           break;
+        case 's': // skip this number of tests.
+           skip_count=atoi (optarg);
+           printf ("skipping %ld tests\n", skip_count);
+           break;
+
+        /* debug options.  */
+        case 'd':
+           dump_tables=1;
+           printf("DEBUG:dump_tables.\n");
+           break;
+        case 'f':
+           setup_only=1;
+           printf("DEBUG:setup_only.\n");
+           break;
+        case 'j':
+           enable_setjmp=1;
+           printf ("DEBUG:setjmp enabled.\n");
+           break;
+        case 'm':
+           vrm_override=1;
+           printf ("DEBUG:vrm override enabled.\n");
+           break;
+        case 'p':
+           prefix_override=1;
+           printf ("DEBUG:prefix override enabled.\n");
+           break;
+        case 'z':
+           mc_override=1;
+           printf ("DEBUG:MC override enabled.\n");
+           break;
+        default:
+           usage();
+           fprintf(stderr, "Unknown argument: '%c'\n", c);
+          }
+       }
+
+       generic_prologue ();
+       build_vsx_table ();
+       build_args_table ();
+       build_float_vsx_tables ();
+
+       if (dump_tables) {
+          dump_float_vsx_tables ();
+          dump_vsxargs ();
+       }
+
+       do_tests ();
+
+       return 0;
+}
+
+#else     // HAS_ISA_3_1
+int main (int argc, char **argv)
+{
+   printf("NO ISA 3.1 SUPPORT\n");
+   return 0;
+}
+#endif

diff --git a/none/tests/ppc64/test_isa_3_1_VRT.stderr.exp b/none/tests/ppc64/test_isa_3_1_VRT.stderr.exp
new file mode 100644 (file)
index 0000000..139597f
--- /dev/null
+++ b/none/tests/ppc64/test_isa_3_1_VRT.stderr.exp
@@ -0,0 +1,2 @@
+
+

diff --git a/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp b/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp
new file mode 100644 (file)
index 0000000..5b35d4f
--- /dev/null
+++ b/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp
@@ -0,0 +1,1703 @@
+vdivesd 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesd 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => aaabdc510fae6c71,0000000000000000
+vdivesd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesd ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>                0,fefeff0001020302
+vdivesd ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesd ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesd ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => aaabdafbbf1e5b5f,0000000000000000
+vdivesd ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>                0,aaabdc510fae6c71
+vdivesd ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>                0,fefefefbfcfdff03
+vdivesd ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesd ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesd ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 55542daecc8a12ea,0000000000000000
+vdivesd ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>                0,aaabdafbbf1e5b5f
+vdivesd 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>                0,0101011e1d1c1afb
+vdivesd 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesd 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesd 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivesd 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>                0,55542daecc8a12ea
+vdivesd 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => ffddc2ffdda0e0de,03030dc9c6c3ba30
+vdivesd 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => ffddc3006694dfcd,0000000000000000
+vdivesd 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>   223cfc1f398f76,0000000000000000
+vdivesd 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>    b6981d5317b70,0000000000000000
+vdivesd 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesd 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000225f5f5f5f1e
+vdivesd 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffddc2ffdda0e0de
+vdivesd 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffddc3006694dfcd
+vdivesd 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>                0,00223cfc1f398f76
+vdivesd 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>                0,000b6981d5317b70
+vdivesd 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => 2000001fe0001fc0,0000000000000000
+vdivesd 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 1fffff9fe0012040,0000000000000000
+vdivesd 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => e00003a01f96dc4c,0000000000000000
+vdivesd 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => f5557b7f821bd191,0000000000000000
+vdivesd 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesd fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 =>                0,ffdfdfdfe0204061
+vdivesd fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,2000001fe0001fc0
+vdivesd fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,1fffff9fe0012040
+vdivesd fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>                0,e00003a01f96dc4c
+vdivesd fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>                0,f5557b7f821bd191
+vdivesd 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => ffffffffffffee00,4454d4d44be691bd
+vdivesd 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffee01,0000000000000000
+vdivesd 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>             11ff,0000000000000000
+vdivesd 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>              5ff,0000000000000000
+vdivesd 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>           869610,0000000000000000
+vdivesd 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>  1fffd01fdfd02fb,0000000000000012
+vdivesd 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>  1fffcf9fe091303,ffffffffffffee00
+vdivesd 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => fe00033a01a26ccf,ffffffffffffee01
+vdivesd 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => ff5558b7f48dc992,00000000000011ff
+vdivesd 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>                0,00000000000005ff
+vdivesd ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,fffdfe0101050706
+vdivesd ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,01fffd01fdfd02fb
+vdivesd ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,01fffcf9fe091303
+vdivesd ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,fe00033a01a26ccf
+vdivesd ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,ff5558b7f48dc992
+vdivesd 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesd 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesd 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesd 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivesd 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesd 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesd 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesd 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesd 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivesd 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesd 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesd 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => aaabdc510fae6c71,0000000000000000
+vdivesd 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
+vdivesw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => aaabdbfc00000000,0000000001010101
+vdivesw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,00000000aaac54dc
+vdivesw ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>                0,fefefeff00000000
+vdivesw ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesw ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesw ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => aaabdaa700000000,0000000000000000
+vdivesw ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>                0,aaabdbfc00000000
+vdivesw ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>                0,fefefefb00000000
+vdivesw ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesw ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesw ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 55542d5900000000,0000000000000000
+vdivesw ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>                0,aaabdaa700000000
+vdivesw 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>          303120e,0101011d00000000
+vdivesw 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>          303120e,0000000000000000
+vdivesw 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>         fcfcedf2,0000000000000000
+vdivesw 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivesw 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>         fcfff037,55542d5900000000
+vdivesw 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => ffddc40000000000,03030dc900000000
+vdivesw 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => ffddc40100000000,000000000303120e
+vdivesw 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>   223bfc00000000,000000000303120e
+vdivesw 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>    b692c00000000,00000000fcfcedf2
+vdivesw 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesw 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000225e00000000
+vdivesw 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffddc40000000000
+vdivesw 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffddc40100000000
+vdivesw 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>                0,00223bfc00000000
+vdivesw 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>                0,000b692c00000000
+vdivesw 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => 2000000000000000,0000000000000000
+vdivesw 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 1fffff8000000000,0000000000000000
+vdivesw 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => e000038000000000,0000000000000000
+vdivesw 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => f5557b8000000000,0000000000000000
+vdivesw 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesw fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 =>                0,ffdfdfe000000000
+vdivesw fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,2000000000000000
+vdivesw fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,1fffff8000000000
+vdivesw fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>                0,e000038000000000
+vdivesw fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>                0,f5557b8000000000
+vdivesw 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>               12,4454d4d400000000
+vdivesw 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>               12,0000000000000000
+vdivesw 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>         ffffffee,0000000000000000
+vdivesw 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>              5ff,0000000000000000
+vdivesw 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>         ffffffee,0000000000000000
+vdivesw 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>  1fffe0000000000,00000000ffffee00
+vdivesw 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>  1fffdf800000000,0000000000000012
+vdivesw 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => fe00023800000000,0000000000000012
+vdivesw 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => ff55586300000000,00000000ffffffee
+vdivesw 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>                0,00000000000005ff
+vdivesw ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,fffdfe0000000000
+vdivesw ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,01fffe0000000000
+vdivesw ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,01fffdf800000000
+vdivesw ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,fe00023800000000
+vdivesw ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,ff55586300000000
+vdivesw 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesw 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivesw 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivesw 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivesw 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivesw 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>         fefefeff,0000000000000000
+vdivesw 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe =>         fefefeff,0000000000000000
+vdivesw 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>          1010101,0000000000000000
+vdivesw 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>         aaac54dc,0000000000000000
+vdivesw 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>          1000044,0000000000000000
+vdivesw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivesw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,00000000fefefeff
+vdivesw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000fefefeff
+vdivesw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => aaabdbfc00000000,0000000001010101
+vdivesw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,00000000aaac54dc
+
+vdiveud 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdiveud 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,7fbfdff0b83c0dfe
+vdiveud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,7fbfdff1b83bcdc2
+vdiveud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveud ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => fffffffdfeff7fbe,0000000000000000
+vdiveud ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdiveud ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveud ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveud ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveud ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>   80402e978be609,0000000000000000
+vdiveud ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>   80402e988ce6e7,fffffffdfeff7fbe
+vdiveud ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveud ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 55542daecc8a12ea,0000000000000000
+vdiveud ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveud 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>  180c5c0e130fd7f,0101011e1d1c1afb
+vdiveud 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>  180c5c0e4340a87,0080402e978be609
+vdiveud 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0080402e988ce6e7
+vdiveud 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveud 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>                0,55542daecc8a12ea
+vdiveud 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     11271389de92,03030dc9c6c3ba30
+vdiveud 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     1127138a00f1,0180c5c0e130fd7f
+vdiveud 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>   223cfc1f398f76,0180c5c0e4340a87
+vdiveud 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>    b6981d5317b70,0000000000000000
+vdiveud 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveud 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 8030180bc60b118e,0000225f5f5f5f1e
+vdiveud 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 8030180cc6ebb1f9,000011271389de92
+vdiveud 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00001127138a00f1
+vdiveud 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>                0,00223cfc1f398f76
+vdiveud 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>                0,000b6981d5317b70
+vdiveud 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdiveud 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,8030180bc60b118e
+vdiveud 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,8030180cc6ebb1f9
+vdiveud 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveud 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveud fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 22194ca64225790f,0000000000000000
+vdiveud fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 22194ca6867a3cbe,0000000000000000
+vdiveud fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveud fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveud fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveud 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                9,4454d4d44be691bd
+vdiveud 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                9,22194ca64225790f
+vdiveud 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>             11ff,22194ca6867a3cbe
+vdiveud 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>              5ff,0000000000000000
+vdiveud 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>           869610,0000000000000000
+vdiveud 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>                0,0000000000000012
+vdiveud 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000009
+vdiveud 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000009
+vdiveud 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>                0,00000000000011ff
+vdiveud 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>                0,00000000000005ff
+vdiveud ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdiveud ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdiveud ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveud ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveud ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveud 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 8040200fc8041211,0000000000000000
+vdiveud 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 80402010c904d293,0000000000000000
+vdiveud 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveud 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveud 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveud 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7fbfdff0b83c0dfe,0000000000000000
+vdiveud 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7fbfdff1b83bcdc2,8040200fc8041211
+vdiveud 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,80402010c904d293
+vdiveud 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveud 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveud 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdiveud 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,7fbfdff0b83c0dfe
+vdiveud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,7fbfdff1b83bcdc2
+vdiveud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveud 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
+vdiveuw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>         feffbbe8,0000000000000000
+vdiveuw ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => fffffffdfffffffb,000000007fbfdfef
+vdiveuw ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdiveuw ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>         fe01fde2,0000000000000000
+vdiveuw ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>                0,00000000fe01fde6
+vdiveuw ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>         feffbbe4,0000000000000000
+vdiveuw ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>   80402e00000000,000000007fbfdfed
+vdiveuw ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>   80402e00000000,fffffffdfffffffb
+vdiveuw ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuw ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 55542d5900000000,00000000fe01fde2
+vdiveuw ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuw 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>  180c5c00303120e,0101011d80c0603e
+vdiveuw 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>  180c5c00303120e,0080402e00000000
+vdiveuw 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>          2fd11e9,0080402e00000000
+vdiveuw 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuw 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>          3000e2e,55542d5900000000
+vdiveuw 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     112600000000,03030dc90180c7e1
+vdiveuw 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     112600000000,0180c5c00303120e
+vdiveuw 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>   223bfcff0142fd,0180c5c00303120e
+vdiveuw 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>    b692c00000000,0000000002fd11e9
+vdiveuw 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuw 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 8030180c00000000,0000225e8040424f
+vdiveuw 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 8030180d00000000,0000112600000000
+vdiveuw 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000112600000000
+vdiveuw 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>                0,00223bfcff0142fd
+vdiveuw 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>                0,000b692c00000000
+vdiveuw 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdiveuw 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,8030180c00000000
+vdiveuw 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,8030180d00000000
+vdiveuw 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuw 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuw fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 22194ca600000000,0000000000000000
+vdiveuw fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 22194ca600000000,0000000000000000
+vdiveuw fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuw fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuw fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuw 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>               12,4454d4d400000000
+vdiveuw 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>               12,22194ca600000000
+vdiveuw 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>               11,22194ca600000000
+vdiveuw 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>              5ff,0000000000000000
+vdiveuw 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>               11,0000000000000000
+vdiveuw 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>                0,0000000000000009
+vdiveuw 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000012
+vdiveuw 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>         ff00fee7,0000000000000012
+vdiveuw 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>                0,0000000000000011
+vdiveuw 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>         ffffbba6,00000000000005ff
+vdiveuw ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000080402011
+vdiveuw ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdiveuw ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuw ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,00000000ff00fee7
+vdiveuw ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuw 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 8040201000000000,0000000000000000
+vdiveuw 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 8040201100000000,0000000000000000
+vdiveuw 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdiveuw 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuw 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdiveuw 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7fbfdfef00000000,0000000000000000
+vdiveuw 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7fbfdff000000000,8040201000000000
+vdiveuw 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,8040201100000000
+vdiveuw 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuw 8000000000000000,7f800000ff800000 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
+vdiveuw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdiveuw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>         feffbbe8,0000000000000000
+
+vdivsd 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                1,0000000000000001
+vdivsd 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffffffffffffff01
+vdivsd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffffffffffffff02
+vdivsd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,00000000000000fe
+vdivsd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffffffffff886,0000000000000054
+vdivsd ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>                1,0000000000000000
+vdivsd ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                1,0000000000000001
+vdivsd ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivsd ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsd ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => fffffffffffff886,0000000000000000
+vdivsd ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,0000000000000000
+vdivsd ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,0000000000000001
+vdivsd ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                1,0000000000000001
+vdivsd ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsd ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>              77a,0000000000000000
+vdivsd 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => fffffffffffffffd,0000000000000000
+vdivsd 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => fffffffffffffffd,ffffffffffffffff
+vdivsd 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>                3,ffffffffffffffff
+vdivsd 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                1,0000000000000001
+vdivsd 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>             166e,0000000000000000
+vdivsd 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivsd 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>                0,fffffffffffffffd
+vdivsd 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>                0,fffffffffffffffd
+vdivsd 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>                0,0000000000000003
+vdivsd 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                1,0000000000000001
+vdivsd 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffff01,0000000000000000
+vdivsd 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffff01,0000000000000000
+vdivsd 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>               ff,0000000000000000
+vdivsd 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>               55,0000000000000000
+vdivsd 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>            7792e,0000000000000000
+vdivsd 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vdivsd 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffffffffffffff01
+vdivsd 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffffffffffffff01
+vdivsd 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>                0,00000000000000ff
+vdivsd 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => ffffffffffffff11,0000000000000055
+vdivsd fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffbc,0000000000000000
+vdivsd fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffbc,0000000000000000
+vdivsd fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>               44,0000000000000000
+vdivsd fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>               16,0000000000000000
+vdivsd fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>            1fceb,0000000000000000
+vdivsd 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivsd 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffffffffffffffbc
+vdivsd 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffffffffffffffbc
+vdivsd 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,0000000000000044
+vdivsd 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                0,0000000000000016
+vdivsd 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivsd 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivsd 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivsd 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsd 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => fffffffffffffff2,0000000000000000
+vdivsd ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivsd ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivsd ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivsd ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vdivsd ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vdivsd 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>              100,0000000000000000
+vdivsd 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>               ff,0000000000000000
+vdivsd 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffff01,0000000000000000
+vdivsd 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => ffffffffffffffab,0000000000000000
+vdivsd 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => fffffffffff885e3,0000000000000000
+vdivsd 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => ffffffffffffff01,ffffffffffffffff
+vdivsd 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffff02,0000000000000100
+vdivsd 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>               fe,00000000000000ff
+vdivsd 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>               54,ffffffffffffff01
+vdivsd 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>            772a3,ffffffffffffffab
+vdivsd 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                1,0000000000000001
+vdivsd 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffffffffffffff01
+vdivsd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffffffffffffff02
+vdivsd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,00000000000000fe
+vdivsd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffffffffff886,0000000000000054
+
+vdivsw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>        100000001,0000000100000001
+vdivsw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                1,ffffff0100000000
+vdivsw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>         ffffffff,ffffff0200000000
+vdivsw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>               54,000000fe00000000
+vdivsw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffff88600000000,0000005400000000
+vdivsw ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>        100000000,00000000ffffff01
+vdivsw ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>        100000001,0000000100000001
+vdivsw ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>         ffffffff,0000000000000001
+vdivsw ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>               54,00000000ffffffff
+vdivsw ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => fffff88600000000,0000000000000054
+vdivsw ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => ffffffff00000000,00000000ffffff02
+vdivsw ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => ffffffff00000000,0000000100000000
+vdivsw ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>        100000001,0000000100000001
+vdivsw ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>         ffffffac,00000000ffffffff
+vdivsw ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>      77a00000000,0000000000000054
+vdivsw 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => fffffffd00000000,00000000000000fe
+vdivsw 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => fffffffd00000000,ffffffff00000000
+vdivsw 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>        300000000,ffffffff00000000
+vdivsw 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>        100000001,0000000100000001
+vdivsw 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>     166f00000000,00000000ffffffac
+vdivsw 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>         ffffffff,00000000fffffffd
+vdivsw 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>         ffffffff,fffffffd00000000
+vdivsw 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>                1,fffffffd00000000
+vdivsw 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>         ffffffab,0000000300000000
+vdivsw 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>        100000001,0000000100000001
+vdivsw 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => ffffff0100000000,00000000000000ff
+vdivsw 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffff0100000000,00000000ffffffff
+vdivsw 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>       ff00000000,00000000ffffffff
+vdivsw 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>       5500000000,0000000000000001
+vdivsw 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>    7796600000000,00000000ffffffab
+vdivsw 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000100000000
+vdivsw 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffffff0100000000
+vdivsw 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffffff0100000000
+vdivsw 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>                0,000000ff00000000
+vdivsw 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => ffffff1100000000,0000005500000000
+vdivsw fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => ffffffbc00000000,0000000000000000
+vdivsw fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffbc00000000,0000000000000000
+vdivsw fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>       4400000000,0000000000000000
+vdivsw fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>       1600000000,0000000000000000
+vdivsw fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>    1fcfa00000000,0000000000000000
+vdivsw 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivsw 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffffffbc00000000
+vdivsw 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffffffbc00000000
+vdivsw 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,0000004400000000
+vdivsw 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                0,0000001600000000
+vdivsw 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>         ffffffff,0000000000000000
+vdivsw 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>         ffffffff,0000000000000000
+vdivsw 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>                1,0000000000000000
+vdivsw 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>         ffffffab,0000000000000000
+vdivsw 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => fffffff200000001,0000000000000000
+vdivsw ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,00000000000000ff
+vdivsw ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,00000000ffffffff
+vdivsw ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,00000000ffffffff
+vdivsw ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000001
+vdivsw ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,00000000ffffffab
+vdivsw 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>      10000000000,0000000000000000
+vdivsw 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>       ff00000000,0000000000000000
+vdivsw 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ffffff0100000000,0000000000000000
+vdivsw 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => ffffffab00000000,0000000000000000
+vdivsw 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => fff885ab00000000,0000000000000000
+vdivsw 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => ffffff0100000000,ffffffff00000000
+vdivsw 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => ffffff0200000000,0000010000000000
+vdivsw 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>       fe00000000,000000ff00000000
+vdivsw 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>       5400000000,ffffff0100000000
+vdivsw 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>    772da00000000,ffffffab00000000
+vdivsw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>        100000001,0000000100000001
+vdivsw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                1,ffffff0100000000
+vdivsw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>         ffffffff,ffffff0200000000
+vdivsw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>               54,000000fe00000000
+vdivsw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffff88600000000,0000005400000000
+
+vdivud 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                1,0000000000000001
+vdivud 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                1,0000000000000000
+vdivud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>              1fe,0000000000000000
+vdivud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>               aa,00000000000000fe
+vdivud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>            eecc0,0000000000000054
+vdivud ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>                0,0000000000000002
+vdivud ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                1,0000000000000001
+vdivud ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>              1fe,0000000000000001
+vdivud ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>               aa,00000000000001fe
+vdivud ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>            eecc0,00000000000000aa
+vdivud ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000002
+vdivud ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivud ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                1,0000000000000001
+vdivud ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>                0,00000000000001fe
+vdivud ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>              77a,00000000000000aa
+vdivud 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivud 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivud 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>                3,0000000000000000
+vdivud 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                1,0000000000000001
+vdivud 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>             166e,0000000000000000
+vdivud 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivud 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivud 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivud 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>                0,0000000000000003
+vdivud 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                1,0000000000000001
+vdivud 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivud 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivud 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>               ff,0000000000000000
+vdivud 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>               55,0000000000000000
+vdivud 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>            7792e,0000000000000000
+vdivud 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                1,0000000000000001
+vdivud 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                1,0000000000000000
+vdivud 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>              1ff,0000000000000000
+vdivud 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>               aa,00000000000000ff
+vdivud 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>            ef34b,0000000000000055
+vdivud fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000002
+vdivud fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000001
+vdivud fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>               44,0000000000000001
+vdivud fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>               16,00000000000001ff
+vdivud fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>            1fceb,00000000000000aa
+vdivud 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivud 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivud 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivud 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,0000000000000044
+vdivud 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                0,0000000000000016
+vdivud 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>                1,0000000000000000
+vdivud 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>                1,0000000000000000
+vdivud 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>              1ff,0000000000000000
+vdivud 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>               aa,0000000000000000
+vdivud 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>            ef42b,0000000000000000
+vdivud ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000002
+vdivud ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000001
+vdivud ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000001
+vdivud ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,00000000000001ff
+vdivud ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,00000000000000aa
+vdivud 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivud 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivud 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>               ff,0000000000000000
+vdivud 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>               55,0000000000000000
+vdivud 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>            77a1d,0000000000000000
+vdivud 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000001
+vdivud 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivud 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>               fe,0000000000000000
+vdivud 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>               54,00000000000000ff
+vdivud 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>            772a3,0000000000000055
+vdivud 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                1,0000000000000001
+vdivud 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                1,0000000000000000
+vdivud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>              1fe,0000000000000000
+vdivud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>               aa,00000000000000fe
+vdivud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>            eecc0,0000000000000054
+
+vdivuw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>        100000001,0000000100000001
+vdivuw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>        100000001,0000000000000002
+vdivuw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>      1fe00000000,0000000000000002
+vdivuw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>       aa00000054,000000fe00000001
+vdivuw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>    eed3000000000,00000054000000aa
+vdivuw ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>                0,0000000200000000
+vdivuw ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>        100000001,0000000100000001
+vdivuw ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>      1fe00000000,0000000100000001
+vdivuw ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>       aa00000054,000001fe00000000
+vdivuw ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>    eed3000000000,000000aa00000054
+vdivuw ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>                1,0000000200000000
+vdivuw ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>                1,0000000000000000
+vdivuw ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>        100000001,0000000100000001
+vdivuw ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>               55,000001fe00000000
+vdivuw ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>      77a00000001,000000aa00000054
+vdivuw 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuw 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000001
+vdivuw 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>        300000000,0000000000000001
+vdivuw 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>        100000001,0000000100000001
+vdivuw 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>     166f00000000,0000000000000055
+vdivuw 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>                1,0000000000000000
+vdivuw 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>                1,0000000000000000
+vdivuw 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivuw 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>               55,0000000300000000
+vdivuw 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>        100000001,0000000100000001
+vdivuw 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuw 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000001
+vdivuw 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>       ff00000000,0000000000000001
+vdivuw 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>       5500000000,0000000000000000
+vdivuw 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>    7796600000000,0000000000000055
+vdivuw 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>        100000000,0000000100000000
+vdivuw 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>        100000000,0000000000000000
+vdivuw 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>      1ff00000000,0000000000000000
+vdivuw 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>       aa00000000,000000ff00000000
+vdivuw 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>    ef3bb00000000,0000005500000000
+vdivuw fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000200000000
+vdivuw fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000100000000
+vdivuw fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>       4400000000,0000000100000000
+vdivuw fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>       1600000000,000001ff00000000
+vdivuw fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>    1fcfa00000000,000000aa00000000
+vdivuw 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuw 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivuw 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vdivuw 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,0000004400000000
+vdivuw 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                0,0000001600000000
+vdivuw 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>        100000001,0000000000000000
+vdivuw 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>        100000001,0000000000000000
+vdivuw 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>      1ff00000000,0000000000000000
+vdivuw 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>       aa00000055,0000000000000000
+vdivuw 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>    ef49b00000000,0000000000000000
+vdivuw ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000200000000
+vdivuw ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000100000001
+vdivuw ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000100000001
+vdivuw ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,000001ff00000000
+vdivuw ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,000000aa00000055
+vdivuw 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vdivuw 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vdivuw 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>       ff00000000,0000000000000000
+vdivuw 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>       5500000000,0000000000000000
+vdivuw 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>    77a5500000000,0000000000000000
+vdivuw 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>                2,0000000100000000
+vdivuw 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe =>                2,0000000000000000
+vdivuw 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>       fe00000001,0000000000000000
+vdivuw 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>       54000000aa,000000ff00000000
+vdivuw 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>    772da00000001,0000005500000000
+vdivuw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>        100000001,0000000100000001
+vdivuw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>        100000001,0000000000000002
+vdivuw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>      1fe00000000,0000000000000002
+vdivuw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>       aa00000054,000000fe00000001
+vdivuw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>    eed3000000000,00000054000000aa
+
+vmodsd 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmodsd 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff8000007f800000,0000008000000000
+vmodsd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff8000007f800000,007ffe83807ffe04
+vmodsd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ff8000007f800000,007ff19d807ff21c
+vmodsd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffe09807f8bec,017e3d28817d8aa8
+vmodsd ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => fffffffdfffffffe,ff8000007f800000
+vmodsd ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vmodsd ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => ff7ffffe7f7ffffe,ff8000007f800000
+vmodsd ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => ff7ffffe7f7ffffe,ff8000007f800000
+vmodsd ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => fffffe07807f8bea,ff8000007f800000
+vmodsd ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>        f0000000e,ff7ffffe7f7ffffe
+vmodsd ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>        d0000000c,fffffffdfffffffe
+vmodsd ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vmodsd ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>   80000e8080000e,ff7ffffe7f7ffffe
+vmodsd ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>      2057f807422,ff7ffffe7f7ffffe
+vmodsd 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>      55f8000077e,0080000e8080000e
+vmodsd 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>      55980000778,0000000f0000000e
+vmodsd 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>      53280000754,0000000d0000000c
+vmodsd 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vmodsd 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>      b42fe8163ba,0080000e8080000e
+vmodsd 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     111e8000222e,0180055e0180077e
+vmodsd 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     111e8000222e,0000055f8000077e
+vmodsd 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>     111e8000222e,0000055980000778
+vmodsd 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>     111e8000222e,0000053280000754
+vmodsd 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vmodsd 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 =>   70007f00800000,0000111e8000222e
+vmodsd 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>   6ffe81007ffe02,0000111e8000222e
+vmodsd 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   6ff18e007ff20e,0000111e8000222e
+vmodsd 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>   6e37c9807d832a,0000111e8000222e
+vmodsd 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>      20400901dbc,0000111e8000222e
+vmodsd 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => fff0000000000000,006fffff00800000
+vmodsd 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => fff0000000000000,0070007f00800000
+vmodsd 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => fff0000000000000,006ffe81007ffe02
+vmodsd 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => fff0000000000000,006ff18e007ff20e
+vmodsd 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => fffffb79801fe8f2,006e37c9807d832a
+vmodsd fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 =>    84021de000000,fff0000000000000
+vmodsd fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe =>    83f99ddffff78,fff0000000000000
+vmodsd fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>    83c25ddfffc48,fff0000000000000
+vmodsd fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>  107c9ebdeff5b2c,fff0000000000000
+vmodsd fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>      3003c0d57c6,fff0000000000000
+vmodsd 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                9,2208400000000000
+vmodsd 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                9,00084021de000000
+vmodsd 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                9,00083f99ddffff78
+vmodsd 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                9,00083c25ddfffc48
+vmodsd 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                9,0107c9ebdeff5b2c
+vmodsd 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => ffff000180000001,0000000000000009
+vmodsd 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => ffff000180000001,0000000000000009
+vmodsd 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => ffff000180000001,0000000000000009
+vmodsd 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => ffff000180000001,0000000000000009
+vmodsd 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => ffffefac8001de85,0000000000000009
+vmodsd ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,ffff000180000001
+vmodsd ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffff000180000001
+vmodsd ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffff000180000001
+vmodsd ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,ffff000180000001
+vmodsd ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,ffff000180000001
+vmodsd 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => ffffff8080000000,0000000000000000
+vmodsd 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ff80017eff8001fe,0000000000000000
+vmodsd 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ff800e71ff800df2,0000000000000000
+vmodsd 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => ff81c8367f827cd6,0000000000000000
+vmodsd 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => fffff9757f8fcb36,0000000000000000
+vmodsd 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>       8000000000,ff800000ff800000
+vmodsd 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe =>   7ffe83807ffe04,ffffff8080000000
+vmodsd 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7ff19d807ff21c,ff80017eff8001fe
+vmodsd 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>  17e3d28817d8aa8,ff800e71ff800df2
+vmodsd 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>      49480efc0b6,ff81c8367f827cd6
+vmodsd 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmodsd 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff8000007f800000,0000008000000000
+vmodsd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff8000007f800000,007ffe83807ffe04
+vmodsd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ff8000007f800000,007ff19d807ff21c
+vmodsd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffe09807f8bec,017e3d28817d8aa8
+
+vmodsw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmodsw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff80000000000002,00000000ff800000
+vmodsw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff8000000000000e,007ffe04ff800000
+vmodsw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ff800000017d8aa8,007ff21cff800000
+vmodsw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffa4c7f800000,017e3d28ff800000
+vmodsw ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => fffffffe7f7ffffe,ff80000000000000
+vmodsw ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vmodsw ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => ff7ffffe0000000c,ff80000000000002
+vmodsw ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => ff7ffffe017d8aa6,ff8000000000000e
+vmodsw ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => fffffa4a7f7ffffe,ff800000017d8aa8
+vmodsw ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>        e8080000e,ff7ffffe007ffffe
+vmodsw ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>        c8080000e,fffffffe7f7ffffe
+vmodsw ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vmodsw ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>   80000efe827566,ff7ffffe0000000c
+vmodsw ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>      5c28080000e,ff7ffffe017d8aa6
+vmodsw 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>      55e0180077e,0080000eff80000e
+vmodsw 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>      5580180077e,0000000e8080000e
+vmodsw 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>      5340180077e,0000000c8080000e
+vmodsw 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vmodsw 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>      55c0180077e,0080000efe827566
+vmodsw 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     111eff80222e,0180055e0000077e
+vmodsw 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     111eff80222c,0000055e0180077e
+vmodsw 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>     111eff802220,000005580180077e
+vmodsw 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>     111eff829f04,000005340180077e
+vmodsw 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vmodsw 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 =>   70000000000000,0000111eff80222e
+vmodsw 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>   6ffe0200000000,0000111eff80222e
+vmodsw 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   6ff20e00000000,0000111eff80222c
+vmodsw 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>   6e37ca00000000,0000111eff802220
+vmodsw 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>        c00000000,0000111eff829f04
+vmodsw 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => fff0000000000000,0070000000000000
+vmodsw 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => fff0000000000000,0070000000000000
+vmodsw 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => fff0000000000000,006ffe0200000000
+vmodsw 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => fff0000000000000,006ff20e00000000
+vmodsw 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => fffffb0200000000,006e37ca00000000
+vmodsw fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 =>    8400000000000,fff0000000000000
+vmodsw fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe =>    83f7800000000,fff0000000000000
+vmodsw fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>    83c4800000000,fff0000000000000
+vmodsw fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>  107c9ec00000000,fff0000000000000
+vmodsw fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>       b400000000,fff0000000000000
+vmodsw 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                9,2208400000000000
+vmodsw 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                9,0008400000000000
+vmodsw 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                9,00083f7800000000
+vmodsw 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                9,00083c4800000000
+vmodsw 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                9,0107c9ec00000000
+vmodsw 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => ffff0001ff800001,0000000000000009
+vmodsw 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => ffff0001ff7fffff,0000000000000009
+vmodsw 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => ffff0001ff7ffff3,0000000000000009
+vmodsw 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => ffff0001ff827cd7,0000000000000009
+vmodsw 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => ffffefa5ffffddd3,0000000000000009
+vmodsw ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,ffff0001ff800001
+vmodsw ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffff0001ff800001
+vmodsw ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffff0001ff7fffff
+vmodsw ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,ffff0001ff7ffff3
+vmodsw ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,ffff0001ff827cd7
+vmodsw 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmodsw 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ff8001fe00000000,0000000000000000
+vmodsw 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ff800df200000000,0000000000000000
+vmodsw 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => ff81c83600000000,0000000000000000
+vmodsw 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => fffffaf600000000,0000000000000000
+vmodsw 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>         ff800000,ff80000000000000
+vmodsw 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe =>   7ffe04ff800000,0000000000000000
+vmodsw 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7ff21cff800000,ff8001fe00000000
+vmodsw 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>  17e3d28ff800000,ff800df200000000
+vmodsw 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>     1074ff800000,ff81c83600000000
+vmodsw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmodsw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff80000000000002,00000000ff800000
+vmodsw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff8000000000000e,007ffe04ff800000
+vmodsw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ff800000017d8aa8,007ff21cff800000
+vmodsw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffa4c7f800000,017e3d28ff800000
+
+vmodud 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmodud 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>        200000002,7f800000ff800000
+vmodud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7fe31c807fe41c,7f800000ff800000
+vmodud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>   7c6f93807b0654,007ff19d807ff21c
+vmodud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>      b1e815ff580,017e3d28817d8aa8
+vmodud ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => ff7ffffe7f7ffffe,007ffffe80800000
+vmodud ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vmodud ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>   7fe31a807fe41a,0000000200000002
+vmodud ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>   7c6f91807b0652,007fe31c807fe41c
+vmodud ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>      b1c815ff57e,007c6f93807b0654
+vmodud ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>   80000e8080000e,007ffffc807ffffe
+vmodud ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>   80000e8080000e,ff7ffffe7f7ffffe
+vmodud ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vmodud ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>   80000e8080000e,007fe31a807fe41a
+vmodud ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>      2057f807422,007c6f91807b0652
+vmodud 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>  180055e0180077e,0080000e8080000e
+vmodud 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>  180055e0180077e,0080000e8080000e
+vmodud 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>      53280000754,0080000e8080000e
+vmodud 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vmodud 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>      b42fe8163ba,0080000e8080000e
+vmodud 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     111e8000222e,0180055e0180077e
+vmodud 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     111e8000222e,0180055e0180077e
+vmodud 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>     111e8000222e,0180055e0180077e
+vmodud 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>     111e8000222e,0000053280000754
+vmodud 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vmodud 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 7ff0000000000000,0000111e8000222e
+vmodud 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 7ff0000000000000,0000111e8000222e
+vmodud 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   6ff18e007ff20e,0000111e8000222e
+vmodud 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>   6e37c9807d832a,0000111e8000222e
+vmodud 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>      20400901dbc,0000111e8000222e
+vmodud 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>   6fffff80800000,006fffff00800000
+vmodud 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>   70000180800002,7ff0000000000000
+vmodud 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   6fe30d807fe40e,7ff0000000000000
+vmodud 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>   ec6f9300fb0654,006ff18e007ff20e
+vmodud 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>      88e81005286,006e37c9807d832a
+vmodud fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 2208400000000000,00effffe01000000
+vmodud fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 2208400000000000,006fffff80800000
+vmodud fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>    83c25ddfffc48,0070000180800002
+vmodud fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>  107c9ebdeff5b2c,006fe30d807fe40e
+vmodud fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>      3003c0d57c6,00ec6f9300fb0654
+vmodud 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                9,2208400000000000
+vmodud 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                9,2208400000000000
+vmodud 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                9,2208400000000000
+vmodud 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                9,00083c25ddfffc48
+vmodud 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                9,0107c9ebdeff5b2c
+vmodud 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>   7f000100800001,0000000000000009
+vmodud 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>   7f000300800003,0000000000000009
+vmodud 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>   7ee30f007fe40f,0000000000000009
+vmodud 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>   fb6f9480fb0655,0000000000000009
+vmodud 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>      de000e26a47,0000000000000009
+vmodud ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,00feffff81000001
+vmodud ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,007f000100800001
+vmodud ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,007f000300800003
+vmodud ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,007ee30f007fe40f
+vmodud ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,00fb6f9480fb0655
+vmodud 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 8000000000000000,0000000000000000
+vmodud 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 8000000000000000,0000000000000000
+vmodud 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   7ff18e007ff20e,0000000000000000
+vmodud 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>   7e37c9807d832a,0000000000000000
+vmodud 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>      68a807034ca,0000000000000000
+vmodud 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7f800000ff800000,007fffff00800000
+vmodud 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7f800000ff800000,8000000000000000
+vmodud 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7ff19d807ff21c,8000000000000000
+vmodud 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>  17e3d28817d8aa8,007ff18e007ff20e
+vmodud 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>      49480efc0b6,007e37c9807d832a
+vmodud 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmodud 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>        200000002,7f800000ff800000
+vmodud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7fe31c807fe41c,7f800000ff800000
+vmodud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>   7c6f93807b0654,007ff19d807ff21c
+vmodud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>      b1e815ff580,017e3d28817d8aa8
+
+vmoduw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmoduw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>        200000002,7f80000000800000
+vmoduw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7fe41c7f800000,7f80000000800004
+vmoduw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>   7c6f94017d8aa8,007ff21c7efffff2
+vmoduw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>      4607f800000,017e3d28007b0654
+vmoduw ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => ff7ffffe7f7ffffe,008000007f800000
+vmoduw ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vmoduw ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>   7fe41a7f7ffffe,0000000200000002
+vmoduw ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>   7c6f92017d8aa6,007fe41c7f800000
+vmoduw ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>      45e7f7ffffe,007c6f94017d8aa8
+vmoduw ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>   80000e0100000e,007ffffe7f7ffffe
+vmoduw ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>   80000e01000010,ff7ffffe7f7ffffe
+vmoduw ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vmoduw ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>   80000e00fd8338,007fe41a7f7ffffe
+vmoduw ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>      5c2007fdde0,007c6f92017d8aa6
+vmoduw 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>  180055e0180077e,0080000e8080000e
+vmoduw 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>  180055e0180077e,0080000e0100000e
+vmoduw 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>      5340180077e,0080000e01000010
+vmoduw 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vmoduw 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>      55c0180077e,0080000e00fd8338
+vmoduw 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     111e0080222e,0180055e0180077e
+vmoduw 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     111e00802230,0180055e0180077e
+vmoduw 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>     111e8000222e,0180055e0180077e
+vmoduw 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>     111e007da558,000005340180077e
+vmoduw 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vmoduw 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 7ff0000000000000,0000111e8000222e
+vmoduw 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 7ff0000000000000,0000111e0080222e
+vmoduw 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   6ff20e00000000,0000111e00802230
+vmoduw 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>   6e37ca00000000,0000111e8000222e
+vmoduw 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>        c00000000,0000111e007da558
+vmoduw 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>   70000000000000,0070000000000000
+vmoduw 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>   70000200000000,7ff0000000000000
+vmoduw 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   6fe40e00000000,7ff0000000000000
+vmoduw 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>   ec6f9400000000,006ff20e00000000
+vmoduw 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>      51600000000,006e37ca00000000
+vmoduw fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 2208400000000000,00f0000000000000
+vmoduw fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 2208400000000000,0070000000000000
+vmoduw fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>    83c4800000000,0070000200000000
+vmoduw fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>  107c9ec00000000,006fe40e00000000
+vmoduw fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>       b400000000,00ec6f9400000000
+vmoduw 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                9,2208400000000000
+vmoduw 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                9,2208400000000000
+vmoduw 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                9,2208400000000000
+vmoduw 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                9,00083c4800000000
+vmoduw 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                9,0107c9ec00000000
+vmoduw 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>   7f000100800001,0000000000000009
+vmoduw 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>   7f000300800003,0000000000000009
+vmoduw 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>   7ee40f80000001,0000000000000009
+vmoduw 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>   fb6f95007d832b,0000000000000009
+vmoduw 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>      ad780000001,0000000000000009
+vmoduw ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,00ff000180000001
+vmoduw ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,007f000100800001
+vmoduw ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,007f000300800003
+vmoduw ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,007ee40f80000001
+vmoduw ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,00fb6f95007d832b
+vmoduw 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 8000000000000000,0000000000000000
+vmoduw 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 8000000000000000,0000000000000000
+vmoduw 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   7ff20e00000000,0000000000000000
+vmoduw 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>   7e37ca00000000,0000000000000000
+vmoduw 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>      50a00000000,0000000000000000
+vmoduw 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7f80000000800000,0080000000000000
+vmoduw 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7f80000000800004,8000000000000000
+vmoduw 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7ff21c7efffff2,8000000000000000
+vmoduw 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>  17e3d28007b0654,007ff20e00000000
+vmoduw 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>     10747f7fddd2,007e37ca00000000
+vmoduw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmoduw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>        200000002,7f80000000800000
+vmoduw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7fe41c7f800000,7f80000000800004
+vmoduw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>   7c6f94017d8aa8,007ff21c7efffff2
+vmoduw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>      4607f800000,017e3d28007b0654
+
+vmulhsd 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>     3fffff808000,3f804000fe808000
+vmulhsd 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>     400000807fff,ffc040003f008000
+vmulhsd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ffffbffff8ff8007,ffc03fff40007ffd
+vmulhsd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ffff3ffd51be82a8,003fc007397f8015
+vmulhsd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffff770c00875,00bf42ac533e8916
+vmulhsd 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => ffc008003fb80800,00000886b0c0221b
+vmulhsd 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 =>      7fffff80800,3fb808007fb00800
+vmulhsd 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => ffeefbe010f31be0,fff807fffff00800
+vmulhsd 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 => ffffffffffffffff,10f31be021f73be0
+vmulhsd 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 =>       7fff3f8080,0000000000000004
+vmulhsd 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 =>                0,ffff8080bf3f0081
+vmulhsd 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 =>   3fffffc0400000,0000000000000000
+vmulhsd 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => ffc040003f008000,c03fffff80400000
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>     400000807fff,ffc040003f008000
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>     400001808002,00003fffff808000
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => ffffbffff7ff7fea,0000400000807fff
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => ffff3ffd4ebe77ec,ffffbffff8ff8007
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => fffffff770bfe638,ffff3ffd51be82a8
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => ffc007ff3fd807ff,fffffff770c00875
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 =>      80000180800,ffc008003fb80800
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => ffeefbdfcce29bdf,000007fffff80800
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 => ffffffffffffffff,ffeefbe010f31be0
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 =>       7fff41807d,ffffffffffffffff
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 =>                0,0000007fff3f8080
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 =>   400000c0400001,0000000000000000
+vmulhsd ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => ffc03fff40007ffd,003fffffc0400000
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => ffffbffff8ff8007,ffc03fff40007ffd
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => ffffbffff7ff7fea,0000400000807fff
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>     40000e8080d2,0000400001808002
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>     c002c4c1cdd9,ffffbffff7ff7fea
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>        88f40f853,ffff3ffd4ebe77ec
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 =>   3ff8073f57f806,fffffff770bfe638
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => fffff7ffff17f7ff,ffc007ff3fd807ff
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 =>   110421ed88a421,0000080000180800
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 =>                0,ffeefbdfcce29bdf
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 => ffffff8000b17f95,ffffffffffffffff
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 =>                0,0000007fff41807d
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 => ffbffff8bfbffff9,0000000000000000
+vmulhsd ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 =>   3fc007397f8015,00400000c0400001
+vmulhsd 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => ffff3ffd51be82a8,003fc007397f8015
+vmulhsd 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => ffff3ffd4ebe77ec,ffffbffff8ff8007
+vmulhsd 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>     c002c4c1cdd9,ffffbffff7ff7fea
+vmulhsd 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>    240101a214eaa,000040000e8080d2
+vmulhsd 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>       19ae1be1ff,0000c002c4c1cdd9
+vmulhsd 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 =>   bfeaaeaadfebbe,000000088f40f853
+vmulhsd 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => ffffe7ffaa1fe7ff,003ff8073f57f806
+vmulhsd 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 =>   330d16a87a8d5e,fffff7ffff17f7ff
+vmulhsd 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 =>                0,00110421ed88a421
+vmulhsd 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 => fffffe7ffce2068c,0000000000000000
+vmulhsd 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 =>                0,ffffff8000b17f95
+vmulhsd 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 => ff3ffd50ff3ffc41,0000000000000000
+vmulhsd 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 =>   bf42ac533e8916,ffbffff8bfbffff9
+vmulhsd 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => fffffff770c00875,00bf42ac533e8916
+vmulhsd 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => fffffff770bfe638,ffff3ffd51be82a8
+vmulhsd 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>        88f40f853,ffff3ffd4ebe77ec
+vmulhsd 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>       19ae1be1ff,0000c002c4c1cdd9
+vmulhsd 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>          12510a2,000240101a214eaa
+vmulhsd 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 =>      88e2e181114,00000019ae1be1ff
+vmulhsd 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => fffffffeee17fffd,00bfeaaeaadfebbe
+vmulhsd 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 =>      2469a3ba48b,ffffe7ffaa1fe7ff
+vmulhsd 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 =>                0,00330d16a87a8d5e
+vmulhsd 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 => ffffffffeee199ad,0000000000000000
+vmulhsd 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 =>                0,fffffe7ffce2068c
+vmulhsd 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 => fffff770bfffeee9,0000000000000000
+vmulhsd 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 =>      886b0c0221b,ff3ffd50ff3ffc41
+vmulhsd 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => ffc008003fb80800,00000886b0c0221b
+vmulhsd 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffc007ff3fd807ff,fffffff770c00875
+vmulhsd 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   3ff8073f57f806,fffffff770bfe638
+vmulhsd 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>   bfeaaeaadfebbe,000000088f40f853
+vmulhsd 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>      88e2e181114,00000019ae1be1ff
+vmulhsd 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => 3ff0010000000000,00000000012510a2
+vmulhsd 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => fff8010000000000,0000088e2e181114
+vmulhsd 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => 1101ff7c00000000,fffffffeee17fffd
+vmulhsd 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 =>                4,000002469a3ba48b
+vmulhsd 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => ffff8010bfe80000,0000000000000000
+vmulhsd 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 =>                0,ffffffffeee199ad
+vmulhsd 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => c008000000000000,0000000000000000
+vmulhsd 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => 3fb808007fb00800,fffff770bfffeee9
+vmulhsd 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>      7fffff80800,3fb808007fb00800
+vmulhsd 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>      80000180800,ffc008003fb80800
+vmulhsd 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => fffff7ffff17f7ff,ffc007ff3fd807ff
+vmulhsd 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => ffffe7ffaa1fe7ff,003ff8073f57f806
+vmulhsd 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => fffffffeee17fffd,00bfeaaeaadfebbe
+vmulhsd 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => fff8010000000000,0000088e2e181114
+vmulhsd 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 =>      10000000000,3ff0010000000000
+vmulhsd 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => fffddf7c00000000,fff8010000000000
+vmulhsd 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 => ffffffffffffffff,1101ff7c00000000
+vmulhsd 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 =>        fffe7ffff,0000000000000004
+vmulhsd 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 =>                0,ffff8010bfe80000
+vmulhsd 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 =>    8000000000000,0000000000000000
+vmulhsd 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => fff807fffff00800,c008000000000000
+vmulhsd fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => ffeefbe010f31be0,fff807fffff00800
+vmulhsd fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffeefbdfcce29bdf,000007fffff80800
+vmulhsd fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   110421ed88a421,0000080000180800
+vmulhsd fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>   330d16a87a8d5e,fffff7ffff17f7ff
+vmulhsd fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>      2469a3ba48b,ffffe7ffaa1fe7ff
+vmulhsd fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => 1101ff7c00000000,fffffffeee17fffd
+vmulhsd fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => fffddf7c00000000,fff8010000000000
+vmulhsd fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 =>  486314410000000,0000010000000000
+vmulhsd fff0000000000000,2208400000000000 2208400000000000,0000000000000009 =>                1,fffddf7c00000000
+vmulhsd fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => ffffddf7f30c6000,ffffffffffffffff
+vmulhsd fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 =>                0,0000000fffe7ffff
+vmulhsd fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => eefbe00000000000,0000000000000000
+vmulhsd fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => 10f31be021f73be0,0008000000000000
+vmulhsd 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,10f31be021f73be0
+vmulhsd 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffeefbe010f31be0
+vmulhsd 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffeefbdfcce29bdf
+vmulhsd 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,00110421ed88a421
+vmulhsd 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                0,00330d16a87a8d5e
+vmulhsd 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 =>                4,000002469a3ba48b
+vmulhsd 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 => ffffffffffffffff,1101ff7c00000000
+vmulhsd 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 =>                1,fffddf7c00000000
+vmulhsd 2208400000000000,0000000000000009 2208400000000000,0000000000000009 =>                0,0486314410000000
+vmulhsd 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 => ffffffffffffffff,0000000000000001
+vmulhsd 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 =>                0,ffffddf7f30c6000
+vmulhsd 2208400000000000,0000000000000009 0000000000000000,8000000000000000 => fffffffffffffffb,0000000000000000
+vmulhsd 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 =>                4,eefbe00000000000
+vmulhsd 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>       7fff3f8080,0000000000000004
+vmulhsd 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>       7fff41807d,ffffffffffffffff
+vmulhsd 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => ffffff8000b17f95,ffffffffffffffff
+vmulhsd 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => fffffe7ffce2068c,0000000000000000
+vmulhsd 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => ffffffffeee199ad,0000000000000000
+vmulhsd 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => ffff8010bfe80000,0000000000000000
+vmulhsd 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 =>        fffe7ffff,0000000000000004
+vmulhsd 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => ffffddf7f30c6000,ffffffffffffffff
+vmulhsd 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 => ffffffffffffffff,0000000000000001
+vmulhsd 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 =>         fffd0002,0000000000000000
+vmulhsd 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 =>                0,ffffffffffffffff
+vmulhsd 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 =>     7fff3fffffff,0000000000000000
+vmulhsd 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => ffff8080bf3f0081,fffffffffffffffb
+vmulhsd ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,ffff8080bf3f0081
+vmulhsd ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000007fff3f8080
+vmulhsd ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000007fff41807d
+vmulhsd ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,ffffff8000b17f95
+vmulhsd ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,fffffe7ffce2068c
+vmulhsd ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 =>                0,ffffffffeee199ad
+vmulhsd ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 =>                0,ffff8010bfe80000
+vmulhsd ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 =>                0,0000000fffe7ffff
+vmulhsd ffff000180000001,0000000000000000 2208400000000000,0000000000000009 =>                0,ffffddf7f30c6000
+vmulhsd ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 =>                0,ffffffffffffffff
+vmulhsd ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 =>                0,00000000fffd0002
+vmulhsd ffff000180000001,0000000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulhsd ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 =>                0,00007fff3fffffff
+vmulhsd 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>   3fffffc0400000,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>   400000c0400001,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ffbffff8bfbffff9,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => ff3ffd50ff3ffc41,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => fffff770bfffeee9,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => c008000000000000,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 =>    8000000000000,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => eefbe00000000000,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 2208400000000000,0000000000000009 => fffffffffffffffb,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 =>     7fff3fffffff,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => 4000000000000000,0000000000000000
+vmulhsd 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => c03fffff80400000,0000000000000000
+vmulhsd 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => ffc040003f008000,c03fffff80400000
+vmulhsd 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => ffc03fff40007ffd,003fffffc0400000
+vmulhsd 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>   3fc007397f8015,00400000c0400001
+vmulhsd 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>   bf42ac533e8916,ffbffff8bfbffff9
+vmulhsd 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>      886b0c0221b,ff3ffd50ff3ffc41
+vmulhsd 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => 3fb808007fb00800,fffff770bfffeee9
+vmulhsd 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => fff807fffff00800,c008000000000000
+vmulhsd 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => 10f31be021f73be0,0008000000000000
+vmulhsd 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 =>                4,eefbe00000000000
+vmulhsd 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => ffff8080bf3f0081,fffffffffffffffb
+vmulhsd 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 =>                0,00007fff3fffffff
+vmulhsd 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => c03fffff80400000,0000000000000000
+vmulhsd 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => 3f804000fe808000,4000000000000000
+
+vmulhsw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>     40003f804000,3f80400000004000
+vmulhsw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>     40003f803fff,ffc04000ffc04000
+vmulhsw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ffffbfffc07fc006,ffc03fffffc04000
+vmulhsw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ffff3ffd00bf43bb,003fc006003fbfff
+vmulhsw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffff7c0401105,00bf42acffff3ffc
+vmulhsw 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => ffc0080000000000,00000886003fffee
+vmulhsw 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 =>      80000000000,3fb8080000000000
+vmulhsw 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => ffeefbe000000000,fff8080000000000
+vmulhsw 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 =>                4,10f31be000000000
+vmulhsw 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 =>       7fc0400000,00000000ffffffff
+vmulhsw 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 =>                0,ffff8080003fffff
+vmulhsw 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 =>   40000000000000,0000000000000000
+vmulhsw 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => ffc04000ffc04000,c040000000000000
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>     40003f803fff,ffc04000ffc04000
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>     40003f803ffe,000040003f804000
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => ffffbfffc07fc007,000040003f803fff
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => ffff3ffd00bf43bb,ffffbfffc07fc006
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => fffffff7c0401106,ffff3ffd00bf43bb
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => ffc007ff00000000,fffffff7c0401105
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 =>      80000000000,ffc0080000000000
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => ffeefbdf00000000,0000080000000000
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 =>                4,ffeefbe000000000
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 =>       7fc0400001,0000000000000004
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 =>                0,0000007fc0400000
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 =>   40000100000000,0000000000000000
+vmulhsw ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => ffc03fffffc04000,0040000000000000
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => ffffbfffc07fc006,ffc03fffffc04000
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => ffffbfffc07fc007,000040003f803fff
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>     40003f803ff2,000040003f803ffe
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>     c002ff40bc44,ffffbfffc07fc007
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>        83fbfeef3,ffff3ffd00bf43bb
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 =>   3ff80600000000,fffffff7c0401106
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => fffff7ff00000000,ffc007ff00000000
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 =>   11042100000000,0000080000000000
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 =>         fffffffb,ffeefbdf00000000
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 => ffffff803fbffff8,0000000000000004
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 =>                0,0000007fc0400001
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 => ffbffff900000000,0000000000000000
+vmulhsw ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 =>   3fc006003fbfff,0040000100000000
+vmulhsw 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => ffff3ffd00bf43bb,003fc006003fbfff
+vmulhsw 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => ffff3ffd00bf43bb,ffffbfffc07fc006
+vmulhsw 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>     c002ff40bc44,ffffbfffc07fc007
+vmulhsw 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>    2401000024016,000040003f803ff2
+vmulhsw 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>       19ff3ffc74,0000c002ff40bc44
+vmulhsw 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 =>   bfeaae00000000,000000083fbfeef3
+vmulhsw 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => ffffe7ff00000000,003ff80600000000
+vmulhsw 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 =>   330d1600000000,fffff7ff00000000
+vmulhsw 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 =>                0,0011042100000000
+vmulhsw 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 => fffffe7fff3ffc41,00000000fffffffb
+vmulhsw 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 =>                0,ffffff803fbffff8
+vmulhsw 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 => ff3ffd5100000000,0000000000000000
+vmulhsw 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 =>   bf42acffff3ffc,ffbffff900000000
+vmulhsw 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => fffffff7c0401105,00bf42acffff3ffc
+vmulhsw 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => fffffff7c0401106,ffff3ffd00bf43bb
+vmulhsw 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>        83fbfeef3,ffff3ffd00bf43bb
+vmulhsw 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>       19ff3ffc74,0000c002ff40bc44
+vmulhsw 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>         3fffddd2,0002401000024016
+vmulhsw 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 =>      88d00000000,00000019ff3ffc74
+vmulhsw 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => fffffffe00000000,00bfeaae00000000
+vmulhsw 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 =>      24600000000,ffffe7ff00000000
+vmulhsw 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 =>         fffffffb,00330d1600000000
+vmulhsw 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 => ffffffff3fffeee8,0000000000000000
+vmulhsw 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 =>                0,fffffe7fff3ffc41
+vmulhsw 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 => fffff77100000000,0000000000000000
+vmulhsw 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 =>      886003fffee,ff3ffd5100000000
+vmulhsw 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => ffc0080000000000,00000886003fffee
+vmulhsw 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffc007ff00000000,fffffff7c0401105
+vmulhsw 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   3ff80600000000,fffffff7c0401106
+vmulhsw 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>   bfeaae00000000,000000083fbfeef3
+vmulhsw 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>      88d00000000,00000019ff3ffc74
+vmulhsw 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => 3ff0010000000000,000000003fffddd2
+vmulhsw 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => fff8010000000000,0000088d00000000
+vmulhsw 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => 1101ff7c00000000,fffffffe00000000
+vmulhsw 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 =>                0,0000024600000000
+vmulhsw 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => ffff801000000000,00000000fffffffb
+vmulhsw 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 =>                0,ffffffff3fffeee8
+vmulhsw 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => c008000000000000,0000000000000000
+vmulhsw 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => 3fb8080000000000,fffff77100000000
+vmulhsw 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>      80000000000,3fb8080000000000
+vmulhsw 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>      80000000000,ffc0080000000000
+vmulhsw 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => fffff7ff00000000,ffc007ff00000000
+vmulhsw 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => ffffe7ff00000000,003ff80600000000
+vmulhsw 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => fffffffe00000000,00bfeaae00000000
+vmulhsw 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => fff8010000000000,0000088d00000000
+vmulhsw 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 =>      10000000000,3ff0010000000000
+vmulhsw 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => fffddf7c00000000,fff8010000000000
+vmulhsw 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 =>                0,1101ff7c00000000
+vmulhsw 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 =>        f00000000,0000000000000000
+vmulhsw 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 =>                0,ffff801000000000
+vmulhsw 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 =>    8000000000000,0000000000000000
+vmulhsw 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => fff8080000000000,c008000000000000
+vmulhsw fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => ffeefbe000000000,fff8080000000000
+vmulhsw fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffeefbdf00000000,0000080000000000
+vmulhsw fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   11042100000000,0000080000000000
+vmulhsw fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>   330d1600000000,fffff7ff00000000
+vmulhsw fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>      24600000000,ffffe7ff00000000
+vmulhsw fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => 1101ff7c00000000,fffffffe00000000
+vmulhsw fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => fffddf7c00000000,fff8010000000000
+vmulhsw fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 =>  486314400000000,0000010000000000
+vmulhsw fff0000000000000,2208400000000000 2208400000000000,0000000000000009 =>                0,fffddf7c00000000
+vmulhsw fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => ffffddf700000000,0000000000000000
+vmulhsw fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 =>                0,0000000f00000000
+vmulhsw fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => eefbe00000000000,0000000000000000
+vmulhsw fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => 10f31be000000000,0008000000000000
+vmulhsw 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                4,10f31be000000000
+vmulhsw 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                4,ffeefbe000000000
+vmulhsw 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>         fffffffb,ffeefbdf00000000
+vmulhsw 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,0011042100000000
+vmulhsw 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>         fffffffb,00330d1600000000
+vmulhsw 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 =>                0,0000024600000000
+vmulhsw 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 =>                0,1101ff7c00000000
+vmulhsw 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 =>                0,fffddf7c00000000
+vmulhsw 2208400000000000,0000000000000009 2208400000000000,0000000000000009 =>                0,0486314400000000
+vmulhsw 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 =>         fffffffb,0000000000000000
+vmulhsw 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 =>                0,ffffddf700000000
+vmulhsw 2208400000000000,0000000000000009 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulhsw 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 =>         ffffffff,eefbe00000000000
+vmulhsw 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>       7fc0400000,00000000ffffffff
+vmulhsw 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>       7fc0400001,0000000000000004
+vmulhsw 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => ffffff803fbffff8,0000000000000004
+vmulhsw 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => fffffe7fff3ffc41,00000000fffffffb
+vmulhsw 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => ffffffff3fffeee8,0000000000000000
+vmulhsw 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => ffff801000000000,00000000fffffffb
+vmulhsw 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 =>        f00000000,0000000000000000
+vmulhsw 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => ffffddf700000000,0000000000000000
+vmulhsw 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 =>         fffffffb,0000000000000000
+vmulhsw 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 =>         3fffffff,0000000000000000
+vmulhsw 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 =>                0,00000000fffffffb
+vmulhsw 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 =>     7fff00000000,0000000000000000
+vmulhsw 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => ffff8080003fffff,0000000000000000
+vmulhsw ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,ffff8080003fffff
+vmulhsw ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000007fc0400000
+vmulhsw ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000007fc0400001
+vmulhsw ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,ffffff803fbffff8
+vmulhsw ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,fffffe7fff3ffc41
+vmulhsw ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 =>                0,ffffffff3fffeee8
+vmulhsw ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 =>                0,ffff801000000000
+vmulhsw ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 =>                0,0000000f00000000
+vmulhsw ffff000180000001,0000000000000000 2208400000000000,0000000000000009 =>                0,ffffddf700000000
+vmulhsw ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 =>                0,00000000fffffffb
+vmulhsw ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 =>                0,000000003fffffff
+vmulhsw ffff000180000001,0000000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulhsw ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 =>                0,00007fff00000000
+vmulhsw 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>   40000000000000,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>   40000100000000,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ffbffff900000000,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => ff3ffd5100000000,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => fffff77100000000,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => c008000000000000,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 =>    8000000000000,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => eefbe00000000000,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 =>     7fff00000000,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => 4000000000000000,0000000000000000
+vmulhsw 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => c040000000000000,0000000000000000
+vmulhsw 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => ffc04000ffc04000,c040000000000000
+vmulhsw 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => ffc03fffffc04000,0040000000000000
+vmulhsw 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>   3fc006003fbfff,0040000100000000
+vmulhsw 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>   bf42acffff3ffc,ffbffff900000000
+vmulhsw 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>      886003fffee,ff3ffd5100000000
+vmulhsw 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => 3fb8080000000000,fffff77100000000
+vmulhsw 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => fff8080000000000,c008000000000000
+vmulhsw 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => 10f31be000000000,0008000000000000
+vmulhsw 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 =>         ffffffff,eefbe00000000000
+vmulhsw 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => ffff8080003fffff,0000000000000000
+vmulhsw 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 =>                0,00007fff00000000
+vmulhsw 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => c040000000000000,0000000000000000
+vmulhsw 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => 3f80400000004000,4000000000000000
+
+vmulhud 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => ff004000fe808000,3f804000fe808000
+vmulhud 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff003ffeff807ffd,7f4040013e808000
+vmulhud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7fc00e797f8015,7f4040003f807ffd
+vmulhud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>  17f455b533e8a26,003fc007397f8015
+vmulhud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>     1115f0c02aa3,00bf42ac533e8916
+vmulhud 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => 7fb008003fb80800,00000886b0c0221b
+vmulhud 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => ff7008007f780800,3fb808007fb00800
+vmulhud 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => 21f73be010f31be0,7f780800ff700800
+vmulhud 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 =>                8,10f31be021f73be0
+vmulhud 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 => ff7f0081febf8081,0000000000000004
+vmulhud 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 =>                0,7f7f8081bebf0081
+vmulhud 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 => 7fc000003fc00000,0000000000000000
+vmulhud 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => 7f4040013e808000,3fc000007fc00000
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => ff003ffeff807ffd,7f4040013e808000
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => ff003ffd00807ffe,ff004000fe808000
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>   7fc00e787f7ff8,ff003ffeff807ffd
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>  17f455b503e7f6a,007fc00e797f8015
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>     1115f0c00866,017f455b533e8a26
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => 7fb007ff3fd807ff,00001115f0c02aa3
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => ff7007fe7f9807fe,7fb008003fb80800
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => 21f73bdfcce29bdf,ff7008007f780800
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 =>                8,21f73be010f31be0
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 => ff7f007ffec1807c,0000000000000008
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 =>                0,ff7f0081febf8081
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 => 7fbfffff3fbfffff,0000000000000000
+vmulhud ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => 7f4040003f807ffd,7fc000003fc00000
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>   7fc00e797f8015,7f4040003f807ffd
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>   7fc00e787f7ff8,ff003ffeff807ffd
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>     40000e8080d2,ff003ffd00807ffe
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>     c002c4c1cdd9,007fc00e787f7ff8
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>        88f40f853,017f455b503e7f6a
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 =>   3ff8073f57f806,00001115f0c00866
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 =>   7ff80e7f97f80d,7fb007ff3fd807ff
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 =>   110421ed88a421,ff7007fe7f9807fe
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 =>                0,21f73bdfcce29bdf
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 =>   7fff8e81317fa3,0000000000000008
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 =>                0,ff7f007ffec1807c
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 =>   40000740400007,0000000000000000
+vmulhud ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 =>   3fc007397f8015,7fbfffff3fbfffff
+vmulhud 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>  17f455b533e8a26,003fc007397f8015
+vmulhud 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>  17f455b503e7f6a,007fc00e797f8015
+vmulhud 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>     c002c4c1cdd9,007fc00e787f7ff8
+vmulhud 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>    240101a214eaa,000040000e8080d2
+vmulhud 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>       19ae1be1ff,0000c002c4c1cdd9
+vmulhud 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 =>   bfeaaeaadfebbe,000000088f40f853
+vmulhud 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 =>  17fed5dab9fef7d,003ff8073f57f806
+vmulhud 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 =>   330d16a87a8d5e,007ff80e7f97f80d
+vmulhud 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 =>                0,00110421ed88a421
+vmulhud 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 =>  18003ddfe620e0a,0000000000000000
+vmulhud 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 =>                0,007fff8e81317fa3
+vmulhud 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 =>   c002af00c003bf,0000000000000000
+vmulhud 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 =>   bf42ac533e8916,0040000740400007
+vmulhud 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     1115f0c02aa3,00bf42ac533e8916
+vmulhud 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     1115f0c00866,017f455b533e8a26
+vmulhud 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>        88f40f853,017f455b503e7f6a
+vmulhud 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>       19ae1be1ff,0000c002c4c1cdd9
+vmulhud 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>          12510a2,000240101a214eaa
+vmulhud 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 =>      88e2e181114,00000019ae1be1ff
+vmulhud 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 =>     111d6e18222b,00bfeaaeaadfebbe
+vmulhud 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 =>      2469a3ba48b,017fed5dab9fef7d
+vmulhud 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 =>                0,00330d16a87a8d5e
+vmulhud 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 =>     111e6ee1bbdb,0000000000000000
+vmulhud 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 =>                0,018003ddfe620e0a
+vmulhud 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 =>      88f40001117,0000000000000000
+vmulhud 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 =>      886b0c0221b,00c002af00c003bf
+vmulhud 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 7fb008003fb80800,00000886b0c0221b
+vmulhud 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 7fb007ff3fd807ff,00001115f0c02aa3
+vmulhud 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   3ff8073f57f806,00001115f0c00866
+vmulhud 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>   bfeaaeaadfebbe,000000088f40f853
+vmulhud 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>      88e2e181114,00000019ae1be1ff
+vmulhud 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => 3ff0010000000000,00000000012510a2
+vmulhud 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => 7fe8010000000000,0000088e2e181114
+vmulhud 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => 1101ff7c00000000,0000111d6e18222b
+vmulhud 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 =>                4,000002469a3ba48b
+vmulhud 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => 7fef8010bfe80000,0000000000000000
+vmulhud 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 =>                0,0000111e6ee1bbdb
+vmulhud 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => 3ff8000000000000,0000000000000000
+vmulhud 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => 3fb808007fb00800,0000088f40001117
+vmulhud 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => ff7008007f780800,3fb808007fb00800
+vmulhud 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ff7007fe7f9807fe,7fb008003fb80800
+vmulhud 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   7ff80e7f97f80d,7fb007ff3fd807ff
+vmulhud 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>  17fed5dab9fef7d,003ff8073f57f806
+vmulhud 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>     111d6e18222b,00bfeaaeaadfebbe
+vmulhud 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => 7fe8010000000000,0000088e2e181114
+vmulhud 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => ffe0010000000000,3ff0010000000000
+vmulhud 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => 22061f7c00000000,7fe8010000000000
+vmulhud 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 =>                8,1101ff7c00000000
+vmulhud 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 => ffef00117fe80000,0000000000000004
+vmulhud 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 =>                0,7fef8010bfe80000
+vmulhud 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 => 7ff8000000000000,0000000000000000
+vmulhud 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => 7f780800ff700800,3ff8000000000000
+vmulhud fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 21f73be010f31be0,7f780800ff700800
+vmulhud fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 21f73bdfcce29bdf,ff7008007f780800
+vmulhud fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   110421ed88a421,ff7007fe7f9807fe
+vmulhud fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>   330d16a87a8d5e,007ff80e7f97f80d
+vmulhud fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>      2469a3ba48b,017fed5dab9fef7d
+vmulhud fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => 1101ff7c00000000,0000111d6e18222b
+vmulhud fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => 22061f7c00000000,7fe8010000000000
+vmulhud fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 =>  486314410000000,ffe0010000000000
+vmulhud fff0000000000000,2208400000000000 2208400000000000,0000000000000009 =>                1,22061f7c00000000
+vmulhud fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => 22081df7f30c6000,0000000000000008
+vmulhud fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 =>                0,ffef00117fe80000
+vmulhud fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => 1104200000000000,0000000000000000
+vmulhud fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => 10f31be021f73be0,7ff8000000000000
+vmulhud 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                8,10f31be021f73be0
+vmulhud 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                8,21f73be010f31be0
+vmulhud 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                0,21f73bdfcce29bdf
+vmulhud 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,00110421ed88a421
+vmulhud 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                0,00330d16a87a8d5e
+vmulhud 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 =>                4,000002469a3ba48b
+vmulhud 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 =>                8,1101ff7c00000000
+vmulhud 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 =>                1,22061f7c00000000
+vmulhud 2208400000000000,0000000000000009 2208400000000000,0000000000000009 =>                0,0486314410000000
+vmulhud 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 =>                8,0000000000000001
+vmulhud 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 =>                0,22081df7f30c6000
+vmulhud 2208400000000000,0000000000000009 0000000000000000,8000000000000000 =>                4,0000000000000000
+vmulhud 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 =>                4,1104200000000000
+vmulhud 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => ff7f0081febf8081,0000000000000004
+vmulhud 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => ff7f007ffec1807c,0000000000000008
+vmulhud 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>   7fff8e81317fa3,0000000000000008
+vmulhud 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>  18003ddfe620e0a,0000000000000000
+vmulhud 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>     111e6ee1bbdb,0000000000000000
+vmulhud 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => 7fef8010bfe80000,0000000000000000
+vmulhud 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 => ffef00117fe80000,0000000000000004
+vmulhud 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => 22081df7f30c6000,0000000000000008
+vmulhud 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 =>                8,0000000000000001
+vmulhud 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 => fffe0003fffd0004,0000000000000000
+vmulhud 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 =>                0,0000000000000008
+vmulhud 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 => 7fff8000c0000000,0000000000000000
+vmulhud 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => 7f7f8081bebf0081,0000000000000004
+vmulhud ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,7f7f8081bebf0081
+vmulhud ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ff7f0081febf8081
+vmulhud ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ff7f007ffec1807c
+vmulhud ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,007fff8e81317fa3
+vmulhud ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,018003ddfe620e0a
+vmulhud ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000111e6ee1bbdb
+vmulhud ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 =>                0,7fef8010bfe80000
+vmulhud ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 =>                0,ffef00117fe80000
+vmulhud ffff000180000001,0000000000000000 2208400000000000,0000000000000009 =>                0,22081df7f30c6000
+vmulhud ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000008
+vmulhud ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 =>                0,fffe0003fffd0004
+vmulhud ffff000180000001,0000000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulhud ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 =>                0,7fff8000c0000000
+vmulhud 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 7fc000003fc00000,0000000000000000
+vmulhud 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 7fbfffff3fbfffff,0000000000000000
+vmulhud 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   40000740400007,0000000000000000
+vmulhud 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>   c002af00c003bf,0000000000000000
+vmulhud 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>      88f40001117,0000000000000000
+vmulhud 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => 3ff8000000000000,0000000000000000
+vmulhud 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => 7ff8000000000000,0000000000000000
+vmulhud 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => 1104200000000000,0000000000000000
+vmulhud 0000000000000000,8000000000000000 2208400000000000,0000000000000009 =>                4,0000000000000000
+vmulhud 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 => 7fff8000c0000000,0000000000000000
+vmulhud 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+vmulhud 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => 4000000000000000,0000000000000000
+vmulhud 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => 3fc000007fc00000,0000000000000000
+vmulhud 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7f4040013e808000,3fc000007fc00000
+vmulhud 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7f4040003f807ffd,7fc000003fc00000
+vmulhud 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>   3fc007397f8015,7fbfffff3fbfffff
+vmulhud 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>   bf42ac533e8916,0040000740400007
+vmulhud 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>      886b0c0221b,00c002af00c003bf
+vmulhud 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => 3fb808007fb00800,0000088f40001117
+vmulhud 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => 7f780800ff700800,3ff8000000000000
+vmulhud 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => 10f31be021f73be0,7ff8000000000000
+vmulhud 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 =>                4,1104200000000000
+vmulhud 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => 7f7f8081bebf0081,0000000000000004
+vmulhud 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 =>                0,7fff8000c0000000
+vmulhud 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => 3fc000007fc00000,0000000000000000
+vmulhud 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => 3f804000fe808000,4000000000000000
+
+vmulhuw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => ff0040003f804000,3f804000ff004000
+vmulhuw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff003ffe3f803fff,7f4040007f404000
+vmulhuw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>   7fc00d3fffc006,7f403fff7f403ffe
+vmulhuw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>  17f455b00bf43bb,003fc006803fc00d
+vmulhuw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>     11153fc01105,00bf42ac017f477a
+vmulhuw 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => 7fb0080000000000,000008867fc0221c
+vmulhuw 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => ff70080000000000,3fb8080000000000
+vmulhuw 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => 21f73be000000000,7f78080000000000
+vmulhuw 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 =>                4,10f31be000000000
+vmulhuw 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 => ff7f00803fc00000,0000000000000008
+vmulhuw 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 =>                0,7f7f80807fc00000
+vmulhuw 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 => 7fc0000000000000,0000000000000000
+vmulhuw 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => 7f4040007f404000,3fc0000000000000
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => ff003ffe3f803fff,7f4040007f404000
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => ff003ffc3f803ffe,ff0040003f804000
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>   7fc00d3fffc005,ff003ffe3f803fff
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>  17f455b00bf43bb,007fc00d3fffc006
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>     11153fc01104,017f455b00bf43bb
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => 7fb007ff00000000,000011153fc01105
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => ff7007fe00000000,7fb0080000000000
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => 21f73bdf00000000,ff70080000000000
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 =>                4,21f73be000000000
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 => ff7f007e3fbfffff,0000000000000004
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 =>                0,ff7f00803fc00000
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 => 7fbfffff00000000,0000000000000000
+vmulhuw ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => 7f403fff7f403ffe,7fc0000000000000
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>   7fc00d3fffc006,7f403fff7f403ffe
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>   7fc00d3fffc005,ff003ffe3f803fff
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>     40004080400e,ff003ffc3f803ffe
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>     c00200c0c3c2,007fc00d3fffc005
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>        84040112f,017f455b00bf43bb
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 =>   3ff80600000000,000011153fc01104
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 =>   7ff80d00000000,7fb007ff00000000
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 =>   11042100000000,ff7007fe00000000
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 =>                4,21f73bdf00000000
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 =>   7fff8e40400007,0000000000000004
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 =>                0,ff7f007e3fbfffff
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 =>   40000700000000,0000000000000000
+vmulhuw ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 =>   3fc006803fc00d,7fbfffff00000000
+vmulhuw 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>  17f455b00bf43bb,003fc006803fc00d
+vmulhuw 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>  17f455b00bf43bb,007fc00d3fffc006
+vmulhuw 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>     c00200c0c3c2,007fc00d3fffc005
+vmulhuw 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>    2401000024016,000040004080400e
+vmulhuw 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>       1900c003f2,0000c00200c0c3c2
+vmulhuw 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 =>   bfeaae00000000,000000084040112f
+vmulhuw 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 =>  17fed5d00000000,003ff80600000000
+vmulhuw 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 =>   330d1600000000,007ff80d00000000
+vmulhuw 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 =>                0,0011042100000000
+vmulhuw 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 =>  18003dd00c003bf,0000000000000004
+vmulhuw 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 =>                0,007fff8e40400007
+vmulhuw 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 =>   c002af00000000,0000000000000000
+vmulhuw 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 =>   bf42ac017f477a,0040000700000000
+vmulhuw 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     11153fc01105,00bf42ac017f477a
+vmulhuw 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     11153fc01104,017f455b00bf43bb
+vmulhuw 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>        84040112f,017f455b00bf43bb
+vmulhuw 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>       1900c003f2,0000c00200c0c3c2
+vmulhuw 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>         4000222e,0002401000024016
+vmulhuw 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 =>      88d00000000,0000001900c003f2
+vmulhuw 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 =>     111c00000000,00bfeaae00000000
+vmulhuw 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 =>      24600000000,017fed5d00000000
+vmulhuw 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 =>                4,00330d1600000000
+vmulhuw 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 =>     111d40001117,0000000000000000
+vmulhuw 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 =>                0,018003dd00c003bf
+vmulhuw 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 =>      88f00000000,0000000000000000
+vmulhuw 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 =>      8867fc0221c,00c002af00000000
+vmulhuw 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 7fb0080000000000,000008867fc0221c
+vmulhuw 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 7fb007ff00000000,000011153fc01105
+vmulhuw 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   3ff80600000000,000011153fc01104
+vmulhuw 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>   bfeaae00000000,000000084040112f
+vmulhuw 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>      88d00000000,0000001900c003f2
+vmulhuw 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => 3ff0010000000000,000000004000222e
+vmulhuw 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => 7fe8010000000000,0000088d00000000
+vmulhuw 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => 1101ff7c00000000,0000111c00000000
+vmulhuw 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 =>                0,0000024600000000
+vmulhuw 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => 7fef801000000000,0000000000000004
+vmulhuw 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 =>                0,0000111d40001117
+vmulhuw 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => 3ff8000000000000,0000000000000000
+vmulhuw 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => 3fb8080000000000,0000088f00000000
+vmulhuw 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => ff70080000000000,3fb8080000000000
+vmulhuw 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ff7007fe00000000,7fb0080000000000
+vmulhuw 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   7ff80d00000000,7fb007ff00000000
+vmulhuw 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>  17fed5d00000000,003ff80600000000
+vmulhuw 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>     111c00000000,00bfeaae00000000
+vmulhuw 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => 7fe8010000000000,0000088d00000000
+vmulhuw 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => ffe0010000000000,3ff0010000000000
+vmulhuw 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => 22061f7c00000000,7fe8010000000000
+vmulhuw 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 =>                0,1101ff7c00000000
+vmulhuw 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 => ffef001000000000,0000000000000000
+vmulhuw 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 =>                0,7fef801000000000
+vmulhuw 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 => 7ff8000000000000,0000000000000000
+vmulhuw 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => 7f78080000000000,3ff8000000000000
+vmulhuw fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 21f73be000000000,7f78080000000000
+vmulhuw fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 21f73bdf00000000,ff70080000000000
+vmulhuw fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   11042100000000,ff7007fe00000000
+vmulhuw fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>   330d1600000000,007ff80d00000000
+vmulhuw fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>      24600000000,017fed5d00000000
+vmulhuw fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => 1101ff7c00000000,0000111c00000000
+vmulhuw fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => 22061f7c00000000,7fe8010000000000
+vmulhuw fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 =>  486314400000000,ffe0010000000000
+vmulhuw fff0000000000000,2208400000000000 2208400000000000,0000000000000009 =>                0,22061f7c00000000
+vmulhuw fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => 22081df700000000,0000000000000000
+vmulhuw fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 =>                0,ffef001000000000
+vmulhuw fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => 1104200000000000,0000000000000000
+vmulhuw fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => 10f31be000000000,7ff8000000000000
+vmulhuw 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                4,10f31be000000000
+vmulhuw 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                4,21f73be000000000
+vmulhuw 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                4,21f73bdf00000000
+vmulhuw 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,0011042100000000
+vmulhuw 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                4,00330d1600000000
+vmulhuw 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 =>                0,0000024600000000
+vmulhuw 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 =>                0,1101ff7c00000000
+vmulhuw 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 =>                0,22061f7c00000000
+vmulhuw 2208400000000000,0000000000000009 2208400000000000,0000000000000009 =>                0,0486314400000000
+vmulhuw 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 =>                4,0000000000000000
+vmulhuw 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 =>                0,22081df700000000
+vmulhuw 2208400000000000,0000000000000009 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulhuw 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 =>                8,1104200000000000
+vmulhuw 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => ff7f00803fc00000,0000000000000008
+vmulhuw 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => ff7f007e3fbfffff,0000000000000004
+vmulhuw 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>   7fff8e40400007,0000000000000004
+vmulhuw 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>  18003dd00c003bf,0000000000000004
+vmulhuw 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>     111d40001117,0000000000000000
+vmulhuw 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => 7fef801000000000,0000000000000004
+vmulhuw 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 => ffef001000000000,0000000000000000
+vmulhuw 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => 22081df700000000,0000000000000000
+vmulhuw 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 =>                4,0000000000000000
+vmulhuw 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 => fffe000240000001,0000000000000000
+vmulhuw 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 =>                0,0000000000000004
+vmulhuw 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 => 7fff800000000000,0000000000000000
+vmulhuw 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => 7f7f80807fc00000,0000000000000000
+vmulhuw ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,7f7f80807fc00000
+vmulhuw ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ff7f00803fc00000
+vmulhuw ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ff7f007e3fbfffff
+vmulhuw ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,007fff8e40400007
+vmulhuw ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,018003dd00c003bf
+vmulhuw ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000111d40001117
+vmulhuw ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 =>                0,7fef801000000000
+vmulhuw ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 =>                0,ffef001000000000
+vmulhuw ffff000180000001,0000000000000000 2208400000000000,0000000000000009 =>                0,22081df700000000
+vmulhuw ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000004
+vmulhuw ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 =>                0,fffe000240000001
+vmulhuw ffff000180000001,0000000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulhuw ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 =>                0,7fff800000000000
+vmulhuw 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 7fc0000000000000,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 7fbfffff00000000,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   40000700000000,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>   c002af00000000,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>      88f00000000,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => 3ff8000000000000,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => 7ff8000000000000,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => 1104200000000000,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 => 7fff800000000000,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => 4000000000000000,0000000000000000
+vmulhuw 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => 3fc0000000000000,0000000000000000
+vmulhuw 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7f4040007f404000,3fc0000000000000
+vmulhuw 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7f403fff7f403ffe,7fc0000000000000
+vmulhuw 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>   3fc006803fc00d,7fbfffff00000000
+vmulhuw 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>   bf42ac017f477a,0040000700000000
+vmulhuw 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>      8867fc0221c,00c002af00000000
+vmulhuw 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => 3fb8080000000000,0000088f00000000
+vmulhuw 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => 7f78080000000000,3ff8000000000000
+vmulhuw 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => 10f31be000000000,7ff8000000000000
+vmulhuw 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 =>                8,1104200000000000
+vmulhuw 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => 7f7f80807fc00000,0000000000000000
+vmulhuw 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 =>                0,7fff800000000000
+vmulhuw 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => 3fc0000000000000,0000000000000000
+vmulhuw 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => 3f804000ff004000,4000000000000000
+
+vmulld 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 3f80400000000000,ff00400000000000
+vmulld 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 41803fff01000000,7f40400000000000
+vmulld 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 31ffc006f9000000,81403ffe01000000
+vmulld 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 92bf43bb41000000,723fc00df9000000
+vmulld 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => 99c01105e9000000,937f477a41000000
+vmulld 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 =>                0,d9c0221ce9000000
+vmulld 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+vmulld 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+vmulld 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 => fb8000047b800000,0000000000000000
+vmulld 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 => bec000007f800000,7b800008fb800000
+vmulld 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 =>                0,fec00000ff800000
+vmulld 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulld 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => 7f40400000000000,0000000000000000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => 41803fff01000000,7f40400000000000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => 4380400602000004,3f80400000000000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => 2fffbfcdf7ffffe4,41803fff01000000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => 8cbf2a033dfff104,31ffc006f9000000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => 99bfaa6ce8ffbba4,92bf43bb41000000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 =>   20000000000000,99c01105e9000000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 =>   20000000000000,0000000000000000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => bbef800000000000,0000000000000000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 => fb7ffff27b7fffee,0000000000000000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 => bec1fffb7f7ffffe,fb8000047b800000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 =>                0,bec000007f800000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulld ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => 81403ffe01000000,0000000000000000
+vmulld ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => 31ffc006f9000000,81403ffe01000000
+vmulld ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => 2fffbfcdf7ffffe4,41803fff01000000
+vmulld ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => 5c8041960e0000c4,4380400602000004
+vmulld ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 98c177cad40068e4,2fffbfcdf7ffffe4
+vmulld ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => e642df571701de84,8cbf2a033dfff104
+vmulld ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 => ff20000000000000,99bfaa6ce8ffbba4
+vmulld ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => ff20000000000000,0020000000000000
+vmulld ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 => dc73800000000000,0020000000000000
+vmulld ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 =>  48000828480007e,bbef800000000000
+vmulld ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 => c13200238080000e,fb7ffff27b7fffee
+vmulld ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 =>                0,bec1fffb7f7ffffe
+vmulld ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulld ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 => 723fc00df9000000,0000000000000000
+vmulld 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => 92bf43bb41000000,723fc00df9000000
+vmulld 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => 8cbf2a033dfff104,31ffc006f9000000
+vmulld 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => 98c177cad40068e4,2fffbfcdf7ffffe4
+vmulld 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => 9452ac9e7a382204,5c8041960e0000c4
+vmulld 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => f3f7b59a460014a4,98c177cad40068e4
+vmulld 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 => 8820000000000000,e642df571701de84
+vmulld 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => 8820000000000000,ff20000000000000
+vmulld 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 => f9cf800000000000,ff20000000000000
+vmulld 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 =>  d80304e0d80436e,dc73800000000000
+vmulld 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 => fc42109b0180077e,048000828480007e
+vmulld 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 =>                0,c13200238080000e
+vmulld 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulld 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 => 937f477a41000000,0000000000000000
+vmulld 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => 99c01105e9000000,937f477a41000000
+vmulld 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => 99bfaa6ce8ffbba4,92bf43bb41000000
+vmulld 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => e642df571701de84,8cbf2a033dfff104
+vmulld 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => f3f7b59a460014a4,98c177cad40068e4
+vmulld 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => 449240f604904044,9452ac9e7a382204
+vmulld 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 => dd20000000000000,f3f7b59a460014a4
+vmulld 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => dd20000000000000,8820000000000000
+vmulld 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 => 35fb800000000000,8820000000000000
+vmulld 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 =>     9a128001339e,f9cf800000000000
+vmulld 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 => 9dd244638000222e,0d80304e0d80436e
+vmulld 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 =>                0,fc42109b0180077e
+vmulld 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulld 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 => d9c0221ce9000000,0000000000000000
+vmulld 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,d9c0221ce9000000
+vmulld 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>   20000000000000,99c01105e9000000
+vmulld 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ff20000000000000,99bfaa6ce8ffbba4
+vmulld 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => 8820000000000000,e642df571701de84
+vmulld 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => dd20000000000000,f3f7b59a460014a4
+vmulld 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 =>                0,449240f604904044
+vmulld 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 =>                0,dd20000000000000
+vmulld 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 =>                0,dd20000000000000
+vmulld 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 => 7f70000000000000,35fb800000000000
+vmulld 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => 7ff0000000000000,00009a128001339e
+vmulld 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 =>                0,9dd244638000222e
+vmulld 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulld 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+vmulld 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmulld 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>   20000000000000,0000000000000000
+vmulld 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ff20000000000000,0020000000000000
+vmulld 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => 8820000000000000,ff20000000000000
+vmulld 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => dd20000000000000,8820000000000000
+vmulld 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 =>                0,dd20000000000000
+vmulld 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+vmulld 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+vmulld 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 => ff70000000000000,0000000000000000
+vmulld 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 => fff0000000000000,7f70000000000000
+vmulld 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 =>                0,7ff0000000000000
+vmulld 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulld 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+vmulld fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmulld fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => bbef800000000000,0000000000000000
+vmulld fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => dc73800000000000,0020000000000000
+vmulld fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => f9cf800000000000,ff20000000000000
+vmulld fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => 35fb800000000000,8820000000000000
+vmulld fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 =>                0,dd20000000000000
+vmulld fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+vmulld fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+vmulld fff0000000000000,2208400000000000 2208400000000000,0000000000000009 => 324a400000000000,0000000000000000
+vmulld fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => 2208400000000000,ff70000000000000
+vmulld fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 =>                0,fff0000000000000
+vmulld fff0000000000000,2208400000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulld fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+vmulld 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => fb8000047b800000,0000000000000000
+vmulld 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => fb7ffff27b7fffee,0000000000000000
+vmulld 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>  48000828480007e,bbef800000000000
+vmulld 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>  d80304e0d80436e,dc73800000000000
+vmulld 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>     9a128001339e,f9cf800000000000
+vmulld 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 => 7f70000000000000,35fb800000000000
+vmulld 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 => ff70000000000000,0000000000000000
+vmulld 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 => 324a400000000000,0000000000000000
+vmulld 2208400000000000,0000000000000009 2208400000000000,0000000000000009 =>               51,0000000000000000
+vmulld 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 => fff7000d80000009,324a400000000000
+vmulld 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 =>                0,2208400000000000
+vmulld 2208400000000000,0000000000000009 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+vmulld 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 => 7b800008fb800000,0000000000000000
+vmulld 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => bec000007f800000,7b800008fb800000
+vmulld 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => bec1fffb7f7ffffe,fb8000047b800000
+vmulld 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => c13200238080000e,fb7ffff27b7fffee
+vmulld 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => fc42109b0180077e,048000828480007e
+vmulld 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => 9dd244638000222e,0d80304e0d80436e
+vmulld 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,00009a128001339e
+vmulld 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 => fff0000000000000,7f70000000000000
+vmulld 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => 2208400000000000,ff70000000000000
+vmulld 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 => fff7000d80000009,324a400000000000
+vmulld 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 => 3ffe000300000001,0000000000000051
+vmulld 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 =>                0,fff7000d80000009
+vmulld 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+vmulld 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => fec00000ff800000,8000000000000000
+vmulld ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,fec00000ff800000
+vmulld ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,bec000007f800000
+vmulld ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,bec1fffb7f7ffffe
+vmulld ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,c13200238080000e
+vmulld ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,fc42109b0180077e
+vmulld ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 =>                0,9dd244638000222e
+vmulld ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 =>                0,7ff0000000000000
+vmulld ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 =>                0,fff0000000000000
+vmulld ffff000180000001,0000000000000000 2208400000000000,0000000000000009 =>                0,2208400000000000
+vmulld ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 =>                0,fff7000d80000009
+vmulld ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 =>                0,3ffe000300000001
+vmulld ffff000180000001,0000000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulld ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 =>                0,8000000000000000
+vmulld 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+vmulld 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+vmulld 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+vmulld 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+vmulld 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+vmulld 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+vmulld 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+vmulld 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+vmulld 0000000000000000,8000000000000000 2208400000000000,0000000000000009 => 8000000000000000,0000000000000000
+vmulld 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 => 8000000000000000,0000000000000000
+vmulld 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+vmulld 0000000000000000,8000000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulld 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+vmulld 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7f40400000000000,0000000000000000
+vmulld 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 81403ffe01000000,0000000000000000
+vmulld 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => 723fc00df9000000,0000000000000000
+vmulld 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => 937f477a41000000,0000000000000000
+vmulld 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => d9c0221ce9000000,0000000000000000
+vmulld 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+vmulld 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+vmulld 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+vmulld 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 => 7b800008fb800000,0000000000000000
+vmulld 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => fec00000ff800000,8000000000000000
+vmulld 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 =>                0,8000000000000000
+vmulld 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 =>                0,0000000000000000
+vmulld 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => ff00400000000000,0000000000000000
+
+All done. Tested 17 different instruction groups