You can subscribe to this list here.
| 2002 |
Jan
|
Feb
|
Mar
|
Apr
|
May
|
Jun
|
Jul
|
Aug
|
Sep
(1) |
Oct
(122) |
Nov
(152) |
Dec
(69) |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2003 |
Jan
(6) |
Feb
(25) |
Mar
(73) |
Apr
(82) |
May
(24) |
Jun
(25) |
Jul
(10) |
Aug
(11) |
Sep
(10) |
Oct
(54) |
Nov
(203) |
Dec
(182) |
| 2004 |
Jan
(307) |
Feb
(305) |
Mar
(430) |
Apr
(312) |
May
(187) |
Jun
(342) |
Jul
(487) |
Aug
(637) |
Sep
(336) |
Oct
(373) |
Nov
(441) |
Dec
(210) |
| 2005 |
Jan
(385) |
Feb
(480) |
Mar
(636) |
Apr
(544) |
May
(679) |
Jun
(625) |
Jul
(810) |
Aug
(838) |
Sep
(634) |
Oct
(521) |
Nov
(965) |
Dec
(543) |
| 2006 |
Jan
(494) |
Feb
(431) |
Mar
(546) |
Apr
(411) |
May
(406) |
Jun
(322) |
Jul
(256) |
Aug
(401) |
Sep
(345) |
Oct
(542) |
Nov
(308) |
Dec
(481) |
| 2007 |
Jan
(427) |
Feb
(326) |
Mar
(367) |
Apr
(255) |
May
(244) |
Jun
(204) |
Jul
(223) |
Aug
(231) |
Sep
(354) |
Oct
(374) |
Nov
(497) |
Dec
(362) |
| 2008 |
Jan
(322) |
Feb
(482) |
Mar
(658) |
Apr
(422) |
May
(476) |
Jun
(396) |
Jul
(455) |
Aug
(267) |
Sep
(280) |
Oct
(253) |
Nov
(232) |
Dec
(304) |
| 2009 |
Jan
(486) |
Feb
(470) |
Mar
(458) |
Apr
(423) |
May
(696) |
Jun
(461) |
Jul
(551) |
Aug
(575) |
Sep
(134) |
Oct
(110) |
Nov
(157) |
Dec
(102) |
| 2010 |
Jan
(226) |
Feb
(86) |
Mar
(147) |
Apr
(117) |
May
(107) |
Jun
(203) |
Jul
(193) |
Aug
(238) |
Sep
(300) |
Oct
(246) |
Nov
(23) |
Dec
(75) |
| 2011 |
Jan
(133) |
Feb
(195) |
Mar
(315) |
Apr
(200) |
May
(267) |
Jun
(293) |
Jul
(353) |
Aug
(237) |
Sep
(278) |
Oct
(611) |
Nov
(274) |
Dec
(260) |
| 2012 |
Jan
(303) |
Feb
(391) |
Mar
(417) |
Apr
(441) |
May
(488) |
Jun
(655) |
Jul
(590) |
Aug
(610) |
Sep
(526) |
Oct
(478) |
Nov
(359) |
Dec
(372) |
| 2013 |
Jan
(467) |
Feb
(226) |
Mar
(391) |
Apr
(281) |
May
(299) |
Jun
(252) |
Jul
(311) |
Aug
(352) |
Sep
(481) |
Oct
(571) |
Nov
(222) |
Dec
(231) |
| 2014 |
Jan
(185) |
Feb
(329) |
Mar
(245) |
Apr
(238) |
May
(281) |
Jun
(399) |
Jul
(382) |
Aug
(500) |
Sep
(579) |
Oct
(435) |
Nov
(487) |
Dec
(256) |
| 2015 |
Jan
(338) |
Feb
(357) |
Mar
(330) |
Apr
(294) |
May
(191) |
Jun
(108) |
Jul
(142) |
Aug
(261) |
Sep
(190) |
Oct
(54) |
Nov
(83) |
Dec
(22) |
| 2016 |
Jan
(49) |
Feb
(89) |
Mar
(33) |
Apr
(50) |
May
(27) |
Jun
(34) |
Jul
(53) |
Aug
(53) |
Sep
(98) |
Oct
(206) |
Nov
(93) |
Dec
(53) |
| 2017 |
Jan
(65) |
Feb
(82) |
Mar
(102) |
Apr
(86) |
May
(187) |
Jun
(67) |
Jul
(23) |
Aug
(93) |
Sep
(65) |
Oct
(45) |
Nov
(35) |
Dec
(17) |
| 2018 |
Jan
(26) |
Feb
(35) |
Mar
(38) |
Apr
(32) |
May
(8) |
Jun
(43) |
Jul
(27) |
Aug
(30) |
Sep
(43) |
Oct
(42) |
Nov
(38) |
Dec
(67) |
| 2019 |
Jan
(32) |
Feb
(37) |
Mar
(53) |
Apr
(64) |
May
(49) |
Jun
(18) |
Jul
(14) |
Aug
(53) |
Sep
(25) |
Oct
(30) |
Nov
(49) |
Dec
(31) |
| 2020 |
Jan
(87) |
Feb
(45) |
Mar
(37) |
Apr
(51) |
May
(99) |
Jun
(36) |
Jul
(11) |
Aug
(14) |
Sep
(20) |
Oct
(24) |
Nov
(40) |
Dec
(23) |
| 2021 |
Jan
(14) |
Feb
(53) |
Mar
(85) |
Apr
(15) |
May
(19) |
Jun
(3) |
Jul
(14) |
Aug
(1) |
Sep
(57) |
Oct
(73) |
Nov
(56) |
Dec
(22) |
| 2022 |
Jan
(3) |
Feb
(22) |
Mar
(6) |
Apr
(55) |
May
(46) |
Jun
(39) |
Jul
(15) |
Aug
(9) |
Sep
(11) |
Oct
(34) |
Nov
(20) |
Dec
(36) |
| 2023 |
Jan
(79) |
Feb
(41) |
Mar
(99) |
Apr
(169) |
May
(48) |
Jun
(16) |
Jul
(16) |
Aug
(57) |
Sep
(19) |
Oct
|
Nov
|
Dec
|
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
|
|
1
|
2
(2) |
3
|
4
|
5
|
|
6
|
7
(1) |
8
(2) |
9
(1) |
10
(2) |
11
(2) |
12
(1) |
|
13
|
14
(2) |
15
|
16
(2) |
17
(2) |
18
(3) |
19
(1) |
|
20
(1) |
21
|
22
|
23
|
24
|
25
|
26
|
|
27
|
28
|
|
|
|
|
|
|
From: Carl L. <ca...@so...> - 2022-02-02 01:22:37
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=ab740a1741322b6d0a02ea00499c2497e35e7022 commit ab740a1741322b6d0a02ea00499c2497e35e7022 Author: Carl Love <ce...@us...> Date: Tue Feb 1 21:22:37 2022 +0000 Powerpc test_isa_3_1_VRT fix The vcmpequq, vcmpgtsq, vcmpgtuq test cases for the dotted versions of the instructions were issuing the non-dotted instruction. This patch fixes the issues and updates the expected output. Note, the issue exposed a bug in the VEX/priv/guest_ppc_toIR.c handling of the instructions. That fix is in a separate patch. Diff: --- NEWS | 2 + none/tests/ppc64/test_isa_3_1_VRT.c | 6 +- none/tests/ppc64/test_isa_3_1_VRT.stdout.exp | 1014 +++++++++++++------------- 3 files changed, 512 insertions(+), 510 deletions(-) diff --git a/NEWS b/NEWS index d1b13c0fc8..ef3eef23dd 100644 --- a/NEWS +++ b/NEWS @@ -61,6 +61,8 @@ are not entered into bugzilla tend to get forgotten about or ignored. 446103 Memcheck: `--track-origins=yes` causes extreme slowdowns for large mmap/munmap 446823 FreeBSD - missing syscalls when using libzm4 447995 Valgrind segfault on power10 due to hwcap checking code +449483 Powerpc: vcmpgtsq., vcmpgtuq,, vcmpequq. instructions not setting the + condition code correctly. To see details of a given bug, visit https://bugs.kde.org/show_bug.cgi?id=XXXXXX diff --git a/none/tests/ppc64/test_isa_3_1_VRT.c b/none/tests/ppc64/test_isa_3_1_VRT.c index fb5d3d10f1..5df2360059 100644 --- a/none/tests/ppc64/test_isa_3_1_VRT.c +++ b/none/tests/ppc64/test_isa_3_1_VRT.c @@ -142,7 +142,7 @@ static void test_vcmpequq (void) { } static void test_dotted_vcmpequq (void) { SET_CR_ZERO; - __asm__ __volatile__ ("vcmpequq %0, %1, %2" + __asm__ __volatile__ ("vcmpequq. %0, %1, %2" : "=v" (vrt) : "v" (vra), "v" (vrb) ); GET_CR(current_cr); SET_CR_ZERO; } @@ -152,7 +152,7 @@ static void test_vcmpgtsq (void) { } static void test_dotted_vcmpgtsq (void) { SET_CR_ZERO; - __asm__ __volatile__ ("vcmpgtsq %0, %1, %2" + __asm__ __volatile__ ("vcmpgtsq. %0, %1, %2" : "=v" (vrt) : "v" (vra), "v" (vrb) ); GET_CR(current_cr); SET_CR_ZERO; } @@ -162,7 +162,7 @@ static void test_vcmpgtuq (void) { } static void test_dotted_vcmpgtuq (void) { SET_CR_ZERO; - __asm__ __volatile__ ("vcmpgtuq %0, %1, %2" + __asm__ __volatile__ ("vcmpgtuq. %0, %1, %2" : "=v" (vrt) : "v" (vra), "v" (vrb) ); GET_CR(current_cr); SET_CR_ZERO; } 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 8f04ee2cbb..fd98883ba9 100644 --- a/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp +++ b/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp @@ -20,515 +20,515 @@ 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 -vcmpequq. 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpequq. 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpequq. 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpequq. 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpequq. 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpequq. fff0000000000000,2208400000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpequq. 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpequq. 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpequq. ffff000180000001,0000000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpequq. 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpequq. 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff +vcmpequq. 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. fff0000000000000,2208400000000000 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. ffff000180000001,0000000000000000 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff +vcmpequq. 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => [00000020]6:[0010] 0,0000000000000000 +vcmpequq. 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff -vcmpgtsq. 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] 0,0000000000000000 -vcmpgtsq. 7ff0000000000000,fff00000000... [truncated message content] |
|
From: Carl L. <ca...@so...> - 2022-02-02 01:22:34
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=27fc72dfb185733fed3dfd974ad2e7c5476852f6 commit 27fc72dfb185733fed3dfd974ad2e7c5476852f6 Author: Carl Love <ce...@us...> Date: Tue Feb 1 21:29:30 2022 +0000 Fix setting condition code for Vector Compare quad word instructions. The vcmpgtsq., vcmpgtuq,, vcmpequq. instructions set the condition code field 6 to 0b1000 for true, 0b0010 for false. The condition code was being set according to the typical condition code values for equal and greater than which is incorrect for these instructions. The patch fixes the setting of the condition code as specified in the instructions. Diff: --- VEX/priv/guest_ppc_toIR.c | 25 ++++++++++++++++++------- 1 file changed, 18 insertions(+), 7 deletions(-) diff --git a/VEX/priv/guest_ppc_toIR.c b/VEX/priv/guest_ppc_toIR.c index 543fa95743..b2ff4bfe2a 100644 --- a/VEX/priv/guest_ppc_toIR.c +++ b/VEX/priv/guest_ppc_toIR.c @@ -29155,9 +29155,15 @@ static Bool dis_vx_quadword_arith ( UInt prefix, UInt theInstr ) assign ( eq, Quad_precision_int_eq( vA, vB ) ); - assign( cc, binop( Iop_Shl32, - unop( Iop_1Uto32, mkexpr( eq ) ), - mkU8( 1 ) ) ); + /* if true cc = 0b0100, if flase cc= 0b0010 */ + assign( cc, binop( Iop_Or32, + binop( Iop_Shl32, + unop( Iop_1Uto32, mkexpr( eq ) ), + mkU8( 3 ) ), + binop( Iop_Shl32, + unop( Iop_1Uto32, + unop( Iop_Not1, mkexpr( eq ) ) ), + mkU8( 1 ) ) ) ); if (Rc) putGST_field( PPC_GST_CR, mkexpr( cc ), cc_field ); @@ -29190,10 +29196,15 @@ static Bool dis_vx_quadword_arith ( UInt prefix, UInt theInstr ) assign ( gt, Quad_precision_sint_gt( vA, vB ) ); } - assign( cc, binop( Iop_Shl32, - unop( Iop_1Uto32, mkexpr( gt ) ), - mkU8( 2 ) ) ); - + /* if true cc = 0b0100, if flase cc= 0b0010 */ + assign( cc, binop( Iop_Or32, + binop( Iop_Shl32, + unop( Iop_1Uto32, mkexpr( gt ) ), + mkU8( 3 ) ), + binop( Iop_Shl32, + unop( Iop_1Uto32, + unop( Iop_Not1, mkexpr( gt ) ) ), + mkU8( 1 ) ) ) ); if (Rc) putGST_field( PPC_GST_CR, mkexpr( cc ), cc_field ); putVReg( vT_addr, binop( Iop_64HLtoV128, |