From: Carl Love Date: Wed, 4 Nov 2020 18:23:53 +0000 (-0600) Subject: PPC64: 128-bit Binary Integer Operations, part tests. X-Git-Tag: VALGRIND_3_17_0~38 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=6daaeb0ff45af6b39f14003e392992a5ac7d51c8;p=thirdparty%2Fvalgrind.git PPC64: 128-bit Binary Integer Operations, part tests. --- diff --git a/NEWS b/NEWS index 55bf58ae8a..a20f96f0c6 100644 --- a/NEWS +++ b/NEWS @@ -126,7 +126,7 @@ where XXXXXX is the bug number as listed below. 432809 VEX should support REX.W + POPF 432861 PPC modsw and modsd give incorrect results for 1 mod 12 n-i-bz helgrind: If hg_cli__realloc fails, return NULL. - +429352 PPC ISA 3.1 support is missing, part 7 Release 3.16.1 (22 June 2020) diff --git a/none/tests/ppc64/test_isa_3_1_VRT.c b/none/tests/ppc64/test_isa_3_1_VRT.c index 5f2e7ebd35..f5f5536d8e 100644 --- a/none/tests/ppc64/test_isa_3_1_VRT.c +++ b/none/tests/ppc64/test_isa_3_1_VRT.c @@ -187,6 +187,58 @@ static void test_vsraq (void) { static void test_vsrq (void) { __asm__ __volatile__ ("vsrq %0, %1, %2" : "=v" (vrt) : "v" (vra), "v" (vrb) ); } +static void test_dcffixqq (void) { +SET_FPSCR_ZERO; + __asm__ __volatile__ ("dcffixqq 28, %0" :: "v" (vrb) ); +GET_FPSCR(current_fpscr); +} +static void test_dctfixqq (void) { + __asm__ __volatile__ ("dctfixqq %0, 26" : "=v" (vrt) ); +} +static void test_vdivesq (void) { + __asm__ __volatile__ ("vdivesq %0, %1, %2" + : "=v" (vrt) : "v" (vra), "v" (vrb) ); +} +static void test_vdiveuq (void) { + __asm__ __volatile__ ("vdiveuq %0, %1, %2" + : "=v" (vrt) : "v" (vra), "v" (vrb) ); +} +static void test_vdivsq (void) { + __asm__ __volatile__ ("vdivsq %0, %1, %2" + : "=v" (vrt) : "v" (vra), "v" (vrb) ); +} +static void test_vdivuq (void) { + __asm__ __volatile__ ("vdivuq %0, %1, %2" + : "=v" (vrt) : "v" (vra), "v" (vrb) ); +} +static void test_vmodsq (void) { + __asm__ __volatile__ ("vmodsq %0, %1, %2" + : "=v" (vrt) : "v" (vra), "v" (vrb) ); +} +static void test_vmoduq (void) { + __asm__ __volatile__ ("vmoduq %0, %1, %2" + : "=v" (vrt) : "v" (vra), "v" (vrb) ); +} +static void test_vmsumcud (void) { + __asm__ __volatile__ ("vmsumcud %0, %1, %2, %3" + : "=v" (vrt) : "v" (vra), "v" (vrb), "v" (vrc) ); +} +static void test_xscvqpsqz (void) { + __asm__ __volatile__ ("xscvqpsqz %0, %1 " : "=v" (vrt) : "v" (vrb) ); +} +static void test_xscvqpuqz (void) { + __asm__ __volatile__ ("xscvqpuqz %0, %1 " : "=v" (vrt) : "v" (vrb) ); +} +static void test_xscvsqqp (void) { +SET_FPSCR_ZERO; + __asm__ __volatile__ ("xscvsqqp %0, %1 " : "=v" (vrt) : "v" (vrb) ); +GET_FPSCR(current_fpscr); +} +static void test_xscvuqqp (void) { +SET_FPSCR_ZERO; + __asm__ __volatile__ ("xscvuqqp %0, %1 " : "=v" (vrt) : "v" (vrb) ); +GET_FPSCR(current_fpscr); +} static void test_vextdubvlx (void) { __asm__ __volatile__ ("vextdubvlx %0, %1, %2, %3" : "=v" (vrt) : "v" (vra), "v" (vrb), "r" (rc) ); @@ -385,6 +437,8 @@ static void test_xsmincqp (void) { } static test_list_t testgroup_generic[] = { + { &test_dcffixqq, "dcffixqq", "FRTp,VRB"}, /* bcs */ + { &test_dctfixqq, "dctfixqq", "VRT,FRBp"}, /* bcs */ { &test_dotted_vcmpequq, "vcmpequq.", "VRT,VRA,VRB"}, /* bcs */ { &test_dotted_vcmpgtsq, "vcmpgtsq.", "VRT,VRA,VRB"}, /* bcs */ { &test_dotted_vcmpgtuq, "vcmpgtuq.", "VRT,VRA,VRB"}, /* bcs */ @@ -401,12 +455,16 @@ static test_list_t testgroup_generic[] = { { &test_vcmpgtuq, "vcmpgtuq", "VRT,VRA,VRB"}, /* bcs */ { &test_vctzdm, "vctzdm", "VRT,VRA,VRB"}, /* bcs */ { &test_vdivesd, "vdivesd", "VRT,VRA,VRB"}, /* bcs */ + { &test_vdivesq, "vdivesq", "VRT,VRA,VRB"}, /* bcs */ { &test_vdivesw, "vdivesw", "VRT,VRA,VRB"}, /* bcs */ { &test_vdiveud, "vdiveud", "VRT,VRA,VRB"}, /* bcs */ + { &test_vdiveuq, "vdiveuq", "VRT,VRA,VRB"}, /* bcs */ { &test_vdiveuw, "vdiveuw", "VRT,VRA,VRB"}, /* bcs */ { &test_vdivsd, "vdivsd", "VRT,VRA,VRB"}, /* bcs */ + { &test_vdivsq, "vdivsq", "VRT,VRA,VRB"}, /* bcs */ { &test_vdivsw, "vdivsw", "VRT,VRA,VRB"}, /* bcs */ { &test_vdivud, "vdivud", "VRT,VRA,VRB"}, /* bcs */ + { &test_vdivuq, "vdivuq", "VRT,VRA,VRB"}, /* bcs */ { &test_vdivuw, "vdivuw", "VRT,VRA,VRB"}, /* bcs */ { &test_vextddvlx, "vextddvlx", "VRT,VRA,VRB,RC"}, /* bcs */ { &test_vextddvrx, "vextddvrx", "VRT,VRA,VRB,RC"}, /* bcs */ @@ -436,9 +494,12 @@ static test_list_t testgroup_generic[] = { { &test_vinsw_3, "vinsw 3", "VRT,RB,UIM"}, /* bcwp */ { &test_vinsw_7, "vinsw 7", "VRT,RB,UIM"}, /* bcwp */ { &test_vmodsd, "vmodsd", "VRT,VRA,VRB"}, /* bcs */ + { &test_vmodsq, "vmodsq", "VRT,VRA,VRB"}, /* bcs */ { &test_vmodsw, "vmodsw", "VRT,VRA,VRB"}, /* bcs */ { &test_vmodud, "vmodud", "VRT,VRA,VRB"}, /* bcs */ + { &test_vmoduq, "vmoduq", "VRT,VRA,VRB"}, /* bcs */ { &test_vmoduw, "vmoduw", "VRT,VRA,VRB"}, /* bcs */ + { &test_vmsumcud, "vmsumcud", "VRT,VRA,VRB,VRC"}, /* bcs */ { &test_vmulesd, "vmulesd", "VRT,VRA,VRB"}, /* bcs */ { &test_vmuleud, "vmuleud", "VRT,VRA,VRB"}, /* bcs */ { &test_vmulhsd, "vmulhsd", "VRT,VRA,VRB"}, /* bcs */ @@ -467,6 +528,10 @@ static test_list_t testgroup_generic[] = { { &test_xscmpeqqp, "xscmpeqqp", "VRT,VRA,VRB"}, /* bcs */ { &test_xscmpgeqp, "xscmpgeqp", "VRT,VRA,VRB"}, /* bcs */ { &test_xscmpgtqp, "xscmpgtqp", "VRT,VRA,VRB"}, /* bcs */ + { &test_xscvqpsqz, "xscvqpsqz", "VRT,VRB"}, /* bcs */ + { &test_xscvqpuqz, "xscvqpuqz", "VRT,VRB"}, /* bcs */ + { &test_xscvsqqp, "xscvsqqp", "VRT,VRB"}, /* bcs */ + { &test_xscvuqqp, "xscvuqqp", "VRT,VRB"}, /* bcs */ { &test_xsmaxcqp, "xsmaxcqp", "VRT,VRA,VRB"}, /* bcs */ { &test_xsmincqp, "xsmincqp", "VRT,VRA,VRB"}, /* bcs */ { NULL, NULL }, diff --git a/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp b/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp index 430604dab9..70e8feeb1f 100644 --- a/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp +++ b/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp @@ -1,3 +1,25 @@ +dcffixqq 7f800000ff800000,ff8000007f800000 => FPCC-FL -664613958433119175043064023681971 * 10^2 +dcffixqq ff8000007f800000,ff7ffffe7f7ffffe => FPCC-FL -66461411688944423124185532347989 * 10^2 +dcffixqq ff7ffffe7f7ffffe,0080000e8080000e => FPCC-FG 664615146855557174860634730633134 * 10^2 +dcffixqq 0080000e8080000e,0180055e0180077e => FPCC-FG 1993950853636931304178743957119828 * 10^3 +dcffixqq 0180055e0180077e,0000111e8000222e => FPCC-FG 347217422380172578240957306111870 * 10^0 +dcffixqq 0000111e8000222e,7ff0000000000000 => FPCC-FG 170058167107326744896308345973108 * 10^5 +dcffixqq 7ff0000000000000,fff0000000000000 => FPCC-FL -830767497365572328376195040411622 * 10^1 +dcffixqq fff0000000000000,2208400000000000 => FPCC-FG 45236588305775202510705711832996 * 10^4 +dcffixqq 2208400000000000,0000000000000009 => FPCC-FG 16847297729233377280 * 10^0 +dcffixqq 0000000000000009,ffff000180000001 => FPCC-FL -5192178162913778528032303742967 * 10^0 +dcffixqq ffff000180000001,0000000000000000 => FPCC-FG 18446462605175291905 * 10^0 +dcffixqq 0000000000000000,8000000000000000 => FPCC-FL -170141183460469231731687337158841 * 10^5 +dcffixqq 8000000000000000,7f800000ff800000 => FPCC-FG 1694765695416501938138124372817803 * 10^5 + +dctfixqq 1 * 10^0 => 0,0000000000000001 +dctfixqq - 1 * 10^2 => ffffffffffffffff,ffffffffffffff9c +dctfixqq 0 * 10^0 => 0,0000000000000000 +dctfixqq 1 * 10^-6176 => 0,0000000000000000 +dctfixqq 900000000001 * 10^6111 => 7fffffffffffffff,ffffffffffffffff +dctfixqq 9999999999999999999999999999999999 * 10^6111 => 7fffffffffffffff,ffffffffffffffff +dctfixqq 1 * 10^-6176 => 0,0000000000000000 + vcmpequq. 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff vcmpequq. 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 vcmpequq. 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 @@ -1705,6 +1727,77 @@ vdivesd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => vdivesd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => aaabdc510fae6c71,0000000000000000 vdivesd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivesq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivesq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivesq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => aaabdc510fae6cc5,8720a3d96689b826 +vdivesq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivesq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivesq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivesq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => aaabdafbbf1e5c09,04e6ad0ea8fb9661 +vdivesq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivesq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivesq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivesq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 55542daecc8a1394,ea1beda9ef588602 +vdivesq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivesq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivesq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivesq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivesq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => ffddc2ffdda0e0da,a11a7aa0f83960da +vdivesq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => ffddc3006694dfc9,1f5d450816557214 +vdivesq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => 223cfc1f398f79,588d1ed5724637ab +vdivesq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => b6981d5317b71,1ccbbd80048a0464 +vdivesq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivesq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivesq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivesq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivesq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => 2000001fe0001ee0,201ee13ffee15f9f +vdivesq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 1fffff9fe0011f80,1ca120e9fdbba1a3 +vdivesq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => e00003a01f96dd8b,88e3937f01127062 +vdivesq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => f5557b7f821bd1e5,f43956f134cf70ed +vdivesq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivesq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivesq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivesq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivesq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => ffffffffffffedbb,ef6dce337e4e337f +vdivesq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffedbb,efb6de74ebd25d2d +vdivesq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => 1244,0e6e38197312fe70 +vdivesq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => 616,9a61c42e1feaf47a +vdivesq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => 8892fc,0d89d30a1425f9ad +vdivesq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => 1fffd01fdfd02fd,fd02ffff02fceefc +vdivesq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => 1fffcf9fe091307,e4c3e455bd5ce2a4 +vdivesq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => fe00033a01a26cd2,95a8ef3c3e28c039 +vdivesq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => ff5558b7f48dc991,174e75546fc6c002 +vdivesq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => fffffffffffffe00,01fdff01fbff02fc +vdivesq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => fffffffffffffe00,0205fef9ec01133f +vdivesq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 1ff,fdc6014093d9b242 +vdivesq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => aa,a79d60963774bee5 +vdivesq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => ef42b,cf7cbc92dc8c1c33 +vdivesq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivesq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivesq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivesq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivesq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivesq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivesq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivesq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivesq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivesq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivesq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivesq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivesq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => aaabdc510fae6cc5,8720a3d96689b826 +vdivesq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 + vdivesw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 vdivesw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,00000000fefefeff vdivesw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,00000000fefefeff @@ -1847,6 +1940,77 @@ vdiveud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => vdiveud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 vdiveud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdiveuq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdiveuq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdiveuq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdiveuq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => fffffffdfeff7fbf,5f2f578c75d29512 +vdiveuq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdiveuq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdiveuq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdiveuq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => 80402e978be60a,d02e09f9e4c94989 +vdiveuq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => 80402e988ce6e8,70584d43edccd3d9 +vdiveuq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdiveuq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 55542daecc8a1394,ea1beda9ef588602 +vdiveuq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => 180c5c0e130fd7f,2f300f57c2b9014b +vdiveuq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => 180c5c0e4340a87,7c7feffac044cc73 +vdiveuq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdiveuq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdiveuq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => 11271389de92,546f09fe294c249d +vdiveuq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => 1127138a00f1,ab2e7432bb8cd0d3 +vdiveuq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => 223cfc1f398f79,588d1ed5724637ab +vdiveuq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => b6981d5317b71,1ccbbd80048a0464 +vdiveuq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 8030180bc60b118e,aa5ac74939b241cf +vdiveuq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 8030180cc6ebb1f8,ad8c080912a97cd5 +vdiveuq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdiveuq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdiveuq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdiveuq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdiveuq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdiveuq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdiveuq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 22194ca642257910,a957683b615fbda9 +vdiveuq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 22194ca6867a3cbf,9ee463bc7522793a +vdiveuq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdiveuq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdiveuq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => 9,269b8dc2526ebe40 +vdiveuq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => 9,269b8dd4a8d10b14 +vdiveuq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => 1244,0e6e38197312fe70 +vdiveuq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => 616,9a61c42e1feaf47a +vdiveuq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => 8892fc,0d89d30a1425f9ad +vdiveuq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdiveuq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdiveuq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdiveuq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdiveuq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => 1,007f3fa0d0a8f44a +vdiveuq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 1,007f3fa2d2a8734f +vdiveuq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 1ff,fdc6014093d9b242 +vdiveuq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => aa,a79d60963774bee5 +vdiveuq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => ef42b,cf7cbc92dc8c1c33 +vdiveuq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 8040200fc8041210,ec78452acb81d377 +vdiveuq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 80402010c904d292,ffebf4608b30e1ff +vdiveuq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdiveuq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdiveuq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7fbfdff0b83c0dfe,dc0c0d0530be75c5 +vdiveuq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7fbfdff1b83bcdc2,6e6cc8d06082807d +vdiveuq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdiveuq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdiveuq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdiveuq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdiveuq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdiveuq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdiveuq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdiveuq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 + vdiveuw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 vdiveuw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,7fbfdfef00000000 vdiveuw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => fe01fde6,7fbfdff000000000 @@ -1989,6 +2153,77 @@ vdivsd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => vdivsd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 0,00000000000000fe vdivsd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffffffffff886,0000000000000054 +vdivsq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vdivsq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivsq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivsq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivsq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,fffffffffffff886 +vdivsq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vdivsq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000001 +vdivsq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivsq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivsq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => ffffffffffffffff,fffffffffffff886 +vdivsq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff +vdivsq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff +vdivsq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000001 +vdivsq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivsq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => 0,000000000000077a +vdivsq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,fffffffffffffffd +vdivsq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,fffffffffffffffd +vdivsq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000003 +vdivsq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => 0,0000000000000001 +vdivsq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => 0,000000000000166e +vdivsq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivsq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivsq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivsq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivsq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => 0,0000000000000001 +vdivsq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffff01 +vdivsq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffff01 +vdivsq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,00000000000000ff +vdivsq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000055 +vdivsq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => 0,000000000007792e +vdivsq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivsq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivsq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivsq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivsq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffff11 +vdivsq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffbc +vdivsq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffbc +vdivsq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000044 +vdivsq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000016 +vdivsq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => 0,000000000001fceb +vdivsq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivsq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivsq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivsq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivsq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivsq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivsq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivsq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivsq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivsq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => ffffffffffffffff,fffffffffffffff2 +vdivsq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivsq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivsq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivsq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivsq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivsq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000100 +vdivsq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,00000000000000ff +vdivsq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffff01 +vdivsq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => ffffffffffffffff,ffffffffffffffab +vdivsq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,fffffffffff885e3 +vdivsq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffff01 +vdivsq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffff02 +vdivsq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,00000000000000fe +vdivsq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => 0,0000000000000054 +vdivsq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => 0,00000000000772a3 +vdivsq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vdivsq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivsq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivsq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivsq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,fffffffffffff886 + vdivsw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 100000001,0000000100000001 vdivsw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 1,ffffff0100000000 vdivsw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ffffffff,ffffff0200000000 @@ -2131,6 +2366,77 @@ vdivud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => vdivud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => aa,00000000000000fe vdivud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => eecc0,0000000000000054 +vdivuq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vdivuq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000001 +vdivuq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,00000000000001fe +vdivuq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 0,00000000000000aa +vdivuq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => 0,00000000000eecc0 +vdivuq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivuq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000001 +vdivuq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => 0,00000000000001fe +vdivuq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => 0,00000000000000aa +vdivuq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => 0,00000000000eecc0 +vdivuq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivuq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivuq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000001 +vdivuq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivuq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => 0,000000000000077a +vdivuq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivuq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivuq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000003 +vdivuq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => 0,0000000000000001 +vdivuq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => 0,000000000000166e +vdivuq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivuq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivuq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivuq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivuq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => 0,0000000000000001 +vdivuq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivuq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivuq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,00000000000000ff +vdivuq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000055 +vdivuq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => 0,000000000007792e +vdivuq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vdivuq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000001 +vdivuq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,00000000000001ff +vdivuq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => 0,00000000000000aa +vdivuq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => 0,00000000000ef34b +vdivuq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivuq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivuq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000044 +vdivuq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000016 +vdivuq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => 0,000000000001fceb +vdivuq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivuq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivuq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivuq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivuq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivuq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vdivuq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000001 +vdivuq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => 0,00000000000001ff +vdivuq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => 0,00000000000000aa +vdivuq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => 0,00000000000ef42b +vdivuq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivuq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivuq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vdivuq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vdivuq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vdivuq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivuq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivuq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,00000000000000ff +vdivuq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => 0,0000000000000055 +vdivuq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => 0,0000000000077a1d +vdivuq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vdivuq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vdivuq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,00000000000000fe +vdivuq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => 0,0000000000000054 +vdivuq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => 0,00000000000772a3 +vdivuq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vdivuq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000001 +vdivuq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 0,00000000000001fe +vdivuq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 0,00000000000000aa +vdivuq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => 0,00000000000eecc0 + vdivuw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 100000001,0000000100000001 vdivuw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 100000001,0000000000000002 vdivuw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 1fe00000000,0000000000000002 @@ -6801,6 +7107,77 @@ vmodsd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff vmodsd 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ff8000007f800000,007ff19d807ff21c vmodsd 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffe09807f8bec,017e3d28817d8aa8 +vmodsq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vmodsq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff8000007f800000,7f800000ff800000 +vmodsq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff8000007f800000,7f800000ff800000 +vmodsq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ff8000007f800000,7f800000ff800000 +vmodsq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffe09807f8bf7,b6a820d836b8040c +vmodsq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => fffffffdfffffffe,7fffffff80000000 +vmodsq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vmodsq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => ff7ffffe7f7ffffe,ff8000007f800000 +vmodsq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => ff7ffffe7f7ffffe,ff8000007f800000 +vmodsq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => fffffe07807f8bf6,36a820d7b6b8040c +vmodsq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => f0000000f,7effffff7efffffe +vmodsq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => d0000000d,fefffffefefffffe +vmodsq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vmodsq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 80000e8080000e,ff7ffffe7f7ffffe +vmodsq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => 2057f807417,c857df274847fbf2 +vmodsq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => 55f8000077f,7f0000117f00000e +vmodsq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => 5598000077a,ff00000fff00000e +vmodsq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => 53280000751,0200001302000014 +vmodsq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vmodsq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => b42fe816398,5b079d88dad7f3ea +vmodsq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => 111e8000222e,0180055e0180077e +vmodsq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => 111e8000222e,0180055e0180077e +vmodsq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => 111e8000222e,0180055e0180077e +vmodsq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => 111e8000222e,0180055e0180077e +vmodsq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vmodsq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 70007f0080007f,0080121d0080222e +vmodsq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 6ffe81007fff00,8080119d8080222e +vmodsq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 6ff18e007ff10f,7f80129d7f80242c +vmodsq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => 6e37c9807d8329,d5800c4dd5801d88 +vmodsq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => 20400901286,12e3a10483023b8a +vmodsq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => fff0000000000000,7ff0000000000000 +vmodsq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => fff0000000000000,7ff0000000000000 +vmodsq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => fff0000000000000,7ff0000000000000 +vmodsq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => fff0000000000000,7ff0000000000000 +vmodsq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => fffffb79801fe8f3,e67502c36686fea2 +vmodsq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 84021de000022,ddf00043de000000 +vmodsq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 83f99ddffffbc,ddf00021de000000 +vmodsq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => 83c25ddfffc05,21f0006622000088 +vmodsq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => 107c9ebdeff5b2c,f4effec0f4fffecc +vmodsq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => 3003c0d54cb,94c487ba909b1756 +vmodsq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => 9,2208400000000000 +vmodsq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => 9,2208400000000000 +vmodsq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => 9,2208400000000000 +vmodsq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => 9,2208400000000000 +vmodsq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => 9,2208400000000000 +vmodsq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => ffff000180000001,0000000000000009 +vmodsq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => ffff000180000001,0000000000000009 +vmodsq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => ffff000180000001,0000000000000009 +vmodsq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => ffff000180000001,0000000000000009 +vmodsq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => ffffefac8001de85,15004b24150068ed +vmodsq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => 0,ffff000180000001 +vmodsq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,ffff000180000001 +vmodsq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,ffff000180000001 +vmodsq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => 0,ffff000180000001 +vmodsq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => 0,ffff000180000001 +vmodsq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => ffffff807fffff80,7fffff0080000000 +vmodsq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ff80017eff8000ff,7f7fff80ff800000 +vmodsq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ff800e71ff800ef0,807ffe81007ffe02 +vmodsq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => ff81c8367f827cd6,2a8004d0aa8004a6 +vmodsq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => fffff9757f8fd66d,53a172dd6384e546 +vmodsq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 800000007f,808000fe80800000 +vmodsq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7ffe83807fff02,0100007e81000000 +vmodsq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => 7ff19d807ff11e,ff00017d7f0001fc +vmodsq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => 17e3d28817d8aa8,55fffb3dd5fffb68 +vmodsq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => 49480efb58a,6386adf9d3b31ec6 +vmodsq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vmodsq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff8000007f800000,7f800000ff800000 +vmodsq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff8000007f800000,7f800000ff800000 +vmodsq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ff8000007f800000,7f800000ff800000 +vmodsq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => fffffe09807f8bf7,b6a820d836b8040c + vmodsw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 vmodsw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff80000000000002,00000000ff800000 vmodsw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff8000000000000e,007ffe04ff800000 @@ -6943,6 +7320,77 @@ vmodud 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => vmodud 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 7c6f93807b0654,007ff19d807ff21c vmodud 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => b1e815ff580,017e3d28817d8aa8 +vmoduq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vmoduq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 200000001,8000000080000000 +vmoduq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 7fe31c807fe21f,7e8002fefe8003fc +vmoduq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 7c6f93807b0654,2a7ff65faa7ff6b4 +vmoduq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => b1e815fdf1d,0f653b1d6fae3980 +vmoduq ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => ff7ffffe7f7ffffe,ff8000007f800000 +vmoduq ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +vmoduq ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => 7fe31a807fe21d,fe8002fe7e8003fc +vmoduq ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => 7c6f91807b0652,aa7ff65f2a7ff6b4 +vmoduq ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => b1c815fdf1b,8f653b1cefae3980 +vmoduq ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => 80000e8080000e,ff7ffffe7f7ffffe +vmoduq ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => 80000e8080000e,ff7ffffe7f7ffffe +vmoduq ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +vmoduq ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => 80000e8080000e,ff7ffffe7f7ffffe +vmoduq ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => 2057f807417,c857df274847fbf2 +vmoduq 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => 180055e0180077e,0080000e8080000e +vmoduq 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => 180055e0180077e,0080000e8080000e +vmoduq 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => 53280000751,0200001302000014 +vmoduq 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +vmoduq 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => b42fe816398,5b079d88dad7f3ea +vmoduq 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => 111e8000222e,0180055e0180077e +vmoduq 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => 111e8000222e,0180055e0180077e +vmoduq 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => 111e8000222e,0180055e0180077e +vmoduq 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => 111e8000222e,0180055e0180077e +vmoduq 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +vmoduq 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 7ff0000000000000,0000111e8000222e +vmoduq 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 7ff0000000000000,0000111e8000222e +vmoduq 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 6ff18e007ff10f,7f80129d7f80242c +vmoduq 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => 6e37c9807d8329,d5800c4dd5801d88 +vmoduq 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => 20400901286,12e3a10483023b8a +vmoduq 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => 6fffff80800000,006fffff00800000 +vmoduq 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 70000180800001,806fffff80800000 +vmoduq 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 6fe30d807fe210,7f7002ff7f8003fe +vmoduq 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => ec6f9300fb0654,2aeff65eaafff6b4 +vmoduq 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => 88e81003c19,3f321d089f7d3416 +vmoduq fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 2208400000000000,fff0000000000000 +vmoduq fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 2208400000000000,fff0000000000000 +vmoduq fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => 83c25ddfffc05,21f0006622000088 +vmoduq fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => 107c9ebdeff5b2c,f4effec0f4fffecc +vmoduq fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => 3003c0d54cb,94c487ba909b1756 +vmoduq 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => 9,2208400000000000 +vmoduq 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => 9,2208400000000000 +vmoduq 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => 9,2208400000000000 +vmoduq 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => 9,2208400000000000 +vmoduq 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => 9,2208400000000000 +vmoduq 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => 7f000100800000,807fffff00800009 +vmoduq 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => 7f000300800002,007fffff80800009 +vmoduq 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => 7ee30f007fe210,ff8002ff7f800407 +vmoduq 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => fb6f9480fb0654,aafff65eaafff6bd +vmoduq 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => de000e253d8,6f3d6ac74f76a5df +vmoduq ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => 0,ffff000180000001 +vmoduq ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 0,ffff000180000001 +vmoduq ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 0,ffff000180000001 +vmoduq ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => 0,ffff000180000001 +vmoduq ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => 0,ffff000180000001 +vmoduq 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 8000000000000000,0000000000000000 +vmoduq 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 8000000000000000,0000000000000000 +vmoduq 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 7ff18e007ff10f,7f80017eff8001fe +vmoduq 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => 7e37c9807d8329,d57ffb2f557ffb5a +vmoduq 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => 68a80702992,ac5e8d229c7b1aba +vmoduq 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7f800000ff800000,8000000000000000 +vmoduq 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7f800000ff800000,8000000000000000 +vmoduq 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => 7ff19d807ff11e,ff00017d7f0001fc +vmoduq 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => 17e3d28817d8aa8,55fffb3dd5fffb68 +vmoduq 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => 49480efb58a,6386adf9d3b31ec6 +vmoduq 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +vmoduq 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 200000001,8000000080000000 +vmoduq 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 7fe31c807fe21f,7e8002fefe8003fc +vmoduq 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 7c6f93807b0654,2a7ff65faa7ff6b4 +vmoduq 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => b1e815fdf1d,0f653b1d6fae3980 + vmoduw 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 vmoduw 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 200000002,7f80000000800000 vmoduw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 7fe41c7f800000,7f80000000800004 @@ -7014,6 +7462,25 @@ vmoduw 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => vmoduw 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => 7c6f94017d8aa8,007ff21c7efffff2 vmoduw 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => 4607f800000,017e3d28007b0654 +vmsumcud 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000002 +vmsumcud 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => 0,0000000000000001 +vmsumcud 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000002 +vmsumcud 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => 0,0000000000000001 +vmsumcud 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vmsumcud 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => 0,0000000000000000 +vmsumcud 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000002 +vmsumcud 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => 0,0000000000000001 +vmsumcud 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000002 +vmsumcud 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => 0,0000000000000001 +vmsumcud 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vmsumcud 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => 0,0000000000000000 +vmsumcud 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vmsumcud 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => 0,0000000000000000 +vmsumcud 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vmsumcud 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => 0,0000000000000000 +vmsumcud 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 0,0000000000000001 +vmsumcud 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => 0,0000000000000000 + vmulesd 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => 3fffff808000,3f80400000000000 vmulesd 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => 400000807fff,41803fff01000000 vmulesd 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ffffbffff8ff8007,31ffc006f9000000 @@ -11150,6 +11617,62 @@ xscmpgtqp 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 => xscmpgtqp 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff xscmpgtqp 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => 0,0000000000000000 +xscvqpsqz 7f800000ff800000,ff8000007f800000 => 8000000000000000,0000000000000000 +xscvqpsqz ff8000007f800000,ff7ffffe7f7ffffe => 8000000000000000,0000000000000000 +xscvqpsqz ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +xscvqpsqz 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +xscvqpsqz 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +xscvqpsqz 0000111e8000222e,7ff0000000000000 => 7fffffffffffffff,ffffffffffffffff +xscvqpsqz 7ff0000000000000,fff0000000000000 => 8000000000000000,0000000000000000 +xscvqpsqz fff0000000000000,2208400000000000 => 0,0000000000000000 +xscvqpsqz 2208400000000000,0000000000000009 => 0,0000000000000000 +xscvqpsqz 0000000000000009,ffff000180000001 => 8000000000000000,0000000000000000 +xscvqpsqz ffff000180000001,0000000000000000 => 0,0000000000000000 +xscvqpsqz 0000000000000000,8000000000000000 => 0,0000000000000000 +xscvqpsqz 8000000000000000,7f800000ff800000 => 7fffffffffffffff,ffffffffffffffff + +xscvqpuqz 7f800000ff800000,ff8000007f800000 => 0,0000000000000000 +xscvqpuqz ff8000007f800000,ff7ffffe7f7ffffe => 0,0000000000000000 +xscvqpuqz ff7ffffe7f7ffffe,0080000e8080000e => 0,0000000000000000 +xscvqpuqz 0080000e8080000e,0180055e0180077e => 0,0000000000000000 +xscvqpuqz 0180055e0180077e,0000111e8000222e => 0,0000000000000000 +xscvqpuqz 0000111e8000222e,7ff0000000000000 => ffffffffffffffff,ffffffffffffffff +xscvqpuqz 7ff0000000000000,fff0000000000000 => 0,0000000000000000 +xscvqpuqz fff0000000000000,2208400000000000 => 0,0000000000000000 +xscvqpuqz 2208400000000000,0000000000000009 => 0,0000000000000000 +xscvqpuqz 0000000000000009,ffff000180000001 => 0,0000000000000000 +xscvqpuqz ffff000180000001,0000000000000000 => 0,0000000000000000 +xscvqpuqz 0000000000000000,8000000000000000 => 0,0000000000000000 +xscvqpuqz 8000000000000000,7f800000ff800000 => ffffffffffffffff,ffffffffffffffff + +xscvsqqp 7f800000ff800000,ff8000007f800000 => FPCC-FL c075fffffe01ffff,fe01fffffc020000 +xscvsqqp ff8000007f800000,ff7ffffe7f7ffffe => FPCC-FL c076000003010000,0200ffffff010000 +xscvsqqp ff7ffffe7f7ffffe,0080000e8080000e => FPCC-FG 407600001d010000,1dfefffffcff0000 +xscvsqqp 0080000e8080000e,0180055e0180077e => FPCC-FG 407780055e018007,7e0080000e808000 +xscvsqqp 0180055e0180077e,0000111e8000222e => FPCC-FG 406b11e8000222e0,180055e0180077e0 +xscvsqqp 0000111e8000222e,7ff0000000000000 => FPCC-FG 407dffc000000000,00000000447a0001 +xscvsqqp 7ff0000000000000,fff0000000000000 => FPCC-FL c072ffffffffffff,f002000000000000 +xscvsqqp fff0000000000000,2208400000000000 => FPCC-FG 407c104200000000,0007ff8000000000 +xscvsqqp 2208400000000000,0000000000000009 => FPCC-FG 4042244108000000,0000000000000000 +xscvsqqp 0000000000000009,ffff000180000001 => FPCC-FL c06efffcfffffffd,ffffffffffffffee +xscvsqqp ffff000180000001,0000000000000000 => FPCC-FG 403efffe00030000,0002000000000000 +xscvsqqp 0000000000000000,8000000000000000 => FPCC-FL c07e000000000000,0000000000000000 +xscvsqqp 8000000000000000,7f800000ff800000 => FPCC-FG 407dfe000003fe00,0002000000000000 + +xscvuqqp 7f800000ff800000,ff8000007f800000 => FPCC-FG 407eff000000ff00,0000ff000001ff00 +xscvuqqp ff8000007f800000,ff7ffffe7f7ffffe => FPCC-FG 407efefffffcfeff,fffdff000000ff00 +xscvuqqp ff7ffffe7f7ffffe,0080000e8080000e => FPCC-FG 407600001d010000,1dfefffffcff0000 +xscvuqqp 0080000e8080000e,0180055e0180077e => FPCC-FG 407780055e018007,7e0080000e808000 +xscvuqqp 0180055e0180077e,0000111e8000222e => FPCC-FG 406b11e8000222e0,180055e0180077e0 +xscvuqqp 0000111e8000222e,7ff0000000000000 => FPCC-FG 407dffc000000000,00000000447a0001 +xscvuqqp 7ff0000000000000,fff0000000000000 => FPCC-FG 407effe000000000,0000ffe000000000 +xscvuqqp fff0000000000000,2208400000000000 => FPCC-FG 407c104200000000,0007ff8000000000 +xscvuqqp 2208400000000000,0000000000000009 => FPCC-FG 4042244108000000,0000000000000000 +xscvuqqp 0000000000000009,ffff000180000001 => FPCC-FG 407efffe00030000,0002000000000000 +xscvuqqp ffff000180000001,0000000000000000 => FPCC-FG 403efffe00030000,0002000000000000 +xscvuqqp 0000000000000000,8000000000000000 => FPCC-FG 407e000000000000,0000000000000000 +xscvuqqp 8000000000000000,7f800000ff800000 => FPCC-FG 407dfe000003fe00,0002000000000000 + xsmaxcqp 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000 xsmaxcqp 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000 xsmaxcqp 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => 80000e8080000e,ff7ffffe7f7ffffe @@ -11490,4 +12013,4 @@ xsmincqp 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 => xsmincqp 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000 xsmincqp 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000 -All done. Tested 84 different instruction groups +All done. Tested 97 different instruction groups