From: Carl Love Date: Tue, 6 Oct 2020 16:52:34 +0000 (-0500) Subject: Vector Integer Multiply/Divide/Modulo Instruction tests X-Git-Tag: VALGRIND_3_17_0~140 X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=e3d32554219b53481fe91c68a756e63e62925e92;p=thirdparty%2Fvalgrind.git Vector Integer Multiply/Divide/Modulo Instruction tests --- diff --git a/NEWS b/NEWS index 13bfe4fa1e..780f2f3243 100644 --- 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 4ca4ffc86c..3490c5eb60 100644 --- 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 index 0000000000..72025b9bf2 --- /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 + * + * 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 +#ifdef HAS_ISA_3_1 +#include +#include +#include +#include +#include +#include +#include + +#include +#include +#include + +/* 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 : limit number of a-iterations to \n" + "\t-b : limit number of b-iterations to \n" + "\t-c : limit number of c-iterations to \n" + "\t-n : limit to this number of tests.\n" + "\t-r : run only test # \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 : skip tests \n" + "\t-c : stop after running # 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 #. + 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 index 0000000000..139597f9cb --- /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 index 0000000000..5b35d4f9ba --- /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