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 --git a/NEWS b/NEWS
index d1b13c0fc8c402f6dffca0a0d64abd4ad8949613..ef3eef23dd3ed241a748bc61db5d4b02358ea41a 100644 (file)
--- 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 fb5d3d10f13608b39575911ecbacd93695b6dadc..5df2360059c4c030556fa15e6bac8d985d8d61d2 100644 (file)
--- 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 8f04ee2cbb95f191d0a2c178d4ac0f8326ce2038..fd98883ba9aed962e056ef9a3e9274b43fc00b9e 100644 (file)
--- 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,fff0000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. fff0000000000000,2208400000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 2208400000000000,0000000000000009 2208400000000000,0000000000000009 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 2208400000000000,0000000000000009 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. ffff000180000001,0000000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. ffff000180000001,0000000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtsq. 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtsq. 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. fff0000000000000,2208400000000000 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 2208400000000000,0000000000000009 2208400000000000,0000000000000009 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 2208400000000000,0000000000000009 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ffff000180000001,0000000000000000 2208400000000000,0000000000000009 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. ffff000180000001,0000000000000000 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 2208400000000000,0000000000000009 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtsq. 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtsq. 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
 
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. fff0000000000000,2208400000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 2208400000000000,0000000000000009 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 2208400000000000,0000000000000009 0000000000000000,8000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000000,8000000000000000 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 => [00000000]6:[0000] ffffffffffffffff,ffffffffffffffff
-vcmpgtuq. 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => [00000000]6:[0000]                0,0000000000000000
-vcmpgtuq. 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => [00000000]6:[0000]                0,0000000000000000
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. fff0000000000000,2208400000000000 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 2208400000000000,0000000000000009 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 2208400000000000,0000000000000009 0000000000000000,8000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 2208400000000000,0000000000000009 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 0000000000000000,8000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000000,8000000000000000 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 => [00000080]6:[1000] ffffffffffffffff,ffffffffffffffff
+vcmpgtuq. 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => [00000020]6:[0010]                0,0000000000000000
+vcmpgtuq. 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => [00000020]6:[0010]                0,0000000000000000
 
 vstribl. 7f800000ff800000,ff8000007f800000 => [00000020]6:[0010] ff80000000000000,0000000000000000
 vstribl. ff8000007f800000,ff7ffffe7f7ffffe => [00000020]6:[0010] ff7ffffe7f7ffffe,ff80000000000000