VSX Scalar Min/Max/Compare Quad-Precision operation tests

diff --git a/none/tests/ppc64/test_isa_3_1_VRT.c b/none/tests/ppc64/test_isa_3_1_VRT.c
index a72ea26263550cd627d25af95b7c6d0f4bb7d08d..a801d403cb3dcecc7de9526abcd20c36cc8b5152 100644 (file)
--- a/none/tests/ppc64/test_isa_3_1_VRT.c
+++ b/none/tests/ppc64/test_isa_3_1_VRT.c
@@ -233,6 +233,26 @@ static void test_vsrdbi_4 (void) {
   __asm__ __volatile__ ("vsrdbi %0, %1, %2, 4"
                                : "=v" (vrt) : "v" (vra), "v" (vrb) );
 }
+static void test_xscmpeqqp (void) {
+  __asm__ __volatile__ ("xscmpeqqp %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_xscmpgeqp (void) {
+  __asm__ __volatile__ ("xscmpgeqp %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_xscmpgtqp (void) {
+  __asm__ __volatile__ ("xscmpgtqp %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_xsmaxcqp (void) {
+  __asm__ __volatile__ ("xsmaxcqp %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
+static void test_xsmincqp (void) {
+  __asm__ __volatile__ ("xsmincqp %0, %1, %2"
+                               : "=v" (vrt) : "v" (vra), "v" (vrb) );
+}
 
 static test_list_t testgroup_generic[] = {
   { &test_vdivesd, "vdivesd", "VRT,VRA,VRB"}, /* bcs */
@@ -282,6 +302,11 @@ static test_list_t testgroup_generic[] = {
   { &test_vsldbi_4, "vsldbi 4", "VRT,VRA,VRB,SH"}, /* bcwp */
   { &test_vsrdbi_0, "vsrdbi 0", "VRT,VRA,VRB,SH"}, /* bcwp */
   { &test_vsrdbi_4, "vsrdbi 4", "VRT,VRA,VRB,SH"}, /* bcwp */
+  { &test_xscmpeqqp, "xscmpeqqp", "VRT,VRA,VRB"}, /* bcs */
+  { &test_xscmpgeqp, "xscmpgeqp", "VRT,VRA,VRB"}, /* bcs */
+  { &test_xscmpgtqp, "xscmpgtqp", "VRT,VRA,VRB"}, /* bcs */
+  { &test_xsmaxcqp, "xsmaxcqp", "VRT,VRA,VRB"}, /* bcs */
+  { &test_xsmincqp, "xsmincqp", "VRT,VRA,VRB"}, /* bcs */
        { NULL,             NULL },
 };
 

diff --git a/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp b/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp
index 5b2e41b01d7f1912236eb28783b111badad993bc..579dcdcc09ca2f2c3bdeef81f9d9e85f4606adf0 100644 (file)
--- a/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp
+++ b/none/tests/ppc64/test_isa_3_1_VRT.stdout.exp
@@ -6894,4 +6894,854 @@ vsrdbi 4 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 =>
 vsrdbi 4 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 =>  800000000000000,0000000000000000
 vsrdbi 4 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 =>  7f800000ff80000,0800000000000000
 
-All done. Tested 47 different instruction groups
+xscmpeqqp 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpeqqp 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffffff
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => ffffffffffffffff,ffffffffffffffff
+xscmpeqqp 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpeqqp 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpeqqp 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpeqqp 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpeqqp fff0000000000000,2208400000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpeqqp 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpeqqp ffff000180000001,0000000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpeqqp 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpeqqp 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => ffffffffffffffff,ffffffffffffffff
+
+xscmpgeqp 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpgeqp 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgeqp 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgeqp 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgeqp 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgeqp 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgeqp 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpgeqp 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpgeqp 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpgeqp ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgeqp 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgeqp 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgeqp 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgeqp 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgeqp 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgeqp 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgeqp 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpgeqp 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpgeqp 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgeqp 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgeqp 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgeqp 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgeqp 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgeqp 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpgeqp 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpgeqp 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgeqp fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp fff0000000000000,2208400000000000 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgeqp 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgeqp 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgeqp 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgeqp 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgeqp 2208400000000000,0000000000000009 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 2208400000000000,0000000000000009 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpgeqp 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgeqp ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgeqp ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgeqp ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgeqp ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgeqp ffff000180000001,0000000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgeqp ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ffff000180000001,0000000000000000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgeqp 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgeqp 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgeqp 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgeqp 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgeqp 0000000000000000,8000000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgeqp 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpgeqp 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgeqp 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgeqp 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgeqp 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgeqp 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => ffffffffffffffff,ffffffffffffffff
+
+xscmpgtqp 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpgtqp 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpgtqp 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgtqp 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgtqp 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgtqp 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgtqp 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgtqp 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpgtqp 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpgtqp 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpgtqp ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgtqp 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgtqp 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgtqp 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgtqp 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgtqp 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgtqp 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgtqp 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgtqp 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgtqp 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpgtqp 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgtqp fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgtqp fff0000000000000,2208400000000000 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgtqp 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgtqp 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgtqp 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgtqp 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgtqp 2208400000000000,0000000000000009 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgtqp 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 2208400000000000,0000000000000009 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpgtqp 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgtqp ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgtqp ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgtqp ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgtqp ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgtqp ffff000180000001,0000000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgtqp ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpgtqp ffff000180000001,0000000000000000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgtqp 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,0000000000000000
+xscmpgtqp 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>                0,0000000000000000
+xscmpgtqp 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>                0,0000000000000000
+xscmpgtqp 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 =>                0,0000000000000000
+xscmpgtqp 0000000000000000,8000000000000000 2208400000000000,0000000000000009 =>                0,0000000000000000
+xscmpgtqp 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 =>                0,0000000000000000
+xscmpgtqp 0000000000000000,8000000000000000 0000000000000000,8000000000000000 =>                0,0000000000000000
+xscmpgtqp 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+xscmpgtqp 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 =>                0,0000000000000000
+xscmpgtqp 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 =>                0,0000000000000000
+xscmpgtqp 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => ffffffffffffffff,ffffffffffffffff
+xscmpgtqp 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 =>                0,0000000000000000
+
+xsmaxcqp 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmaxcqp 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmaxcqp 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmaxcqp 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => ff8000007f800000,7f800000ff800000
+xsmaxcqp 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmaxcqp 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmaxcqp 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmaxcqp 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => ff7ffffe7f7ffffe,ff8000007f800000
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => ff7ffffe7f7ffffe,ff8000007f800000
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmaxcqp ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 =>     111e8000222e,0180055e0180077e
+xsmaxcqp 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe =>     111e8000222e,0180055e0180077e
+xsmaxcqp 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmaxcqp 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 =>     111e8000222e,0180055e0180077e
+xsmaxcqp 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 =>     111e8000222e,0180055e0180077e
+xsmaxcqp 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 =>     111e8000222e,0180055e0180077e
+xsmaxcqp 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 =>     111e8000222e,0180055e0180077e
+xsmaxcqp 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmaxcqp 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmaxcqp 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmaxcqp 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmaxcqp 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmaxcqp 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmaxcqp 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmaxcqp 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => 2208400000000000,fff0000000000000
+xsmaxcqp fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => 2208400000000000,fff0000000000000
+xsmaxcqp fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e => 2208400000000000,fff0000000000000
+xsmaxcqp fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e => 2208400000000000,fff0000000000000
+xsmaxcqp fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e => 2208400000000000,fff0000000000000
+xsmaxcqp fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp fff0000000000000,2208400000000000 2208400000000000,0000000000000009 => 2208400000000000,fff0000000000000
+xsmaxcqp fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 =>                9,2208400000000000
+xsmaxcqp 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe =>                9,2208400000000000
+xsmaxcqp 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmaxcqp 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 =>                9,2208400000000000
+xsmaxcqp 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp 2208400000000000,0000000000000009 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmaxcqp 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 =>                9,2208400000000000
+xsmaxcqp 2208400000000000,0000000000000009 0000000000000000,8000000000000000 =>                9,2208400000000000
+xsmaxcqp 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmaxcqp 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmaxcqp 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmaxcqp 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmaxcqp 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmaxcqp 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmaxcqp 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmaxcqp 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 =>                0,ffff000180000001
+xsmaxcqp ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe =>                0,ffff000180000001
+xsmaxcqp ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmaxcqp ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 =>                0,ffff000180000001
+xsmaxcqp ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp ffff000180000001,0000000000000000 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmaxcqp ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmaxcqp ffff000180000001,0000000000000000 0000000000000000,8000000000000000 =>                0,ffff000180000001
+xsmaxcqp ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => 8000000000000000,0000000000000000
+xsmaxcqp 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => 8000000000000000,0000000000000000
+xsmaxcqp 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmaxcqp 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmaxcqp 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmaxcqp 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => 8000000000000000,0000000000000000
+xsmaxcqp 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmaxcqp 0000000000000000,8000000000000000 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmaxcqp 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmaxcqp 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmaxcqp 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => 7f800000ff800000,8000000000000000
+xsmaxcqp 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e => 7f800000ff800000,8000000000000000
+xsmaxcqp 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e => 7f800000ff800000,8000000000000000
+xsmaxcqp 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e => 7f800000ff800000,8000000000000000
+xsmaxcqp 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmaxcqp 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 => 7f800000ff800000,8000000000000000
+xsmaxcqp 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmaxcqp 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => 7f800000ff800000,8000000000000000
+xsmaxcqp 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+
+xsmincqp 7f800000ff800000,ff8000007f800000 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp 7f800000ff800000,ff8000007f800000 ff8000007f800000,ff7ffffe7f7ffffe => ff8000007f800000,7f800000ff800000
+xsmincqp 7f800000ff800000,ff8000007f800000 ff7ffffe7f7ffffe,0080000e8080000e => ff8000007f800000,7f800000ff800000
+xsmincqp 7f800000ff800000,ff8000007f800000 0080000e8080000e,0180055e0180077e => ff8000007f800000,7f800000ff800000
+xsmincqp 7f800000ff800000,ff8000007f800000 0180055e0180077e,0000111e8000222e => ff8000007f800000,7f800000ff800000
+xsmincqp 7f800000ff800000,ff8000007f800000 0000111e8000222e,7ff0000000000000 => ff8000007f800000,7f800000ff800000
+xsmincqp 7f800000ff800000,ff8000007f800000 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 7f800000ff800000,ff8000007f800000 fff0000000000000,2208400000000000 => ff8000007f800000,7f800000ff800000
+xsmincqp 7f800000ff800000,ff8000007f800000 2208400000000000,0000000000000009 => ff8000007f800000,7f800000ff800000
+xsmincqp 7f800000ff800000,ff8000007f800000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp 7f800000ff800000,ff8000007f800000 ffff000180000001,0000000000000000 => ff8000007f800000,7f800000ff800000
+xsmincqp 7f800000ff800000,ff8000007f800000 0000000000000000,8000000000000000 => ff8000007f800000,7f800000ff800000
+xsmincqp 7f800000ff800000,ff8000007f800000 8000000000000000,7f800000ff800000 => ff8000007f800000,7f800000ff800000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe ff7ffffe7f7ffffe,0080000e8080000e => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe 0080000e8080000e,0180055e0180077e => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe 0180055e0180077e,0000111e8000222e => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe 0000111e8000222e,7ff0000000000000 => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe fff0000000000000,2208400000000000 => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe 2208400000000000,0000000000000009 => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe ffff000180000001,0000000000000000 => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe 0000000000000000,8000000000000000 => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ff8000007f800000,ff7ffffe7f7ffffe 8000000000000000,7f800000ff800000 => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e 0080000e8080000e,0180055e0180077e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e 0000111e8000222e,7ff0000000000000 =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e fff0000000000000,2208400000000000 =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmincqp ff7ffffe7f7ffffe,0080000e8080000e 8000000000000000,7f800000ff800000 =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmincqp 0080000e8080000e,0180055e0180077e 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp 0080000e8080000e,0180055e0180077e ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp 0080000e8080000e,0180055e0180077e ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmincqp 0080000e8080000e,0180055e0180077e 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmincqp 0080000e8080000e,0180055e0180077e 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmincqp 0080000e8080000e,0180055e0180077e 0000111e8000222e,7ff0000000000000 =>  180055e0180077e,0080000e8080000e
+xsmincqp 0080000e8080000e,0180055e0180077e 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 0080000e8080000e,0180055e0180077e fff0000000000000,2208400000000000 =>  180055e0180077e,0080000e8080000e
+xsmincqp 0080000e8080000e,0180055e0180077e 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmincqp 0080000e8080000e,0180055e0180077e 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp 0080000e8080000e,0180055e0180077e ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmincqp 0080000e8080000e,0180055e0180077e 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmincqp 0080000e8080000e,0180055e0180077e 8000000000000000,7f800000ff800000 =>  180055e0180077e,0080000e8080000e
+xsmincqp 0180055e0180077e,0000111e8000222e 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp 0180055e0180077e,0000111e8000222e ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp 0180055e0180077e,0000111e8000222e ff7ffffe7f7ffffe,0080000e8080000e =>     111e8000222e,0180055e0180077e
+xsmincqp 0180055e0180077e,0000111e8000222e 0080000e8080000e,0180055e0180077e =>     111e8000222e,0180055e0180077e
+xsmincqp 0180055e0180077e,0000111e8000222e 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmincqp 0180055e0180077e,0000111e8000222e 0000111e8000222e,7ff0000000000000 =>     111e8000222e,0180055e0180077e
+xsmincqp 0180055e0180077e,0000111e8000222e 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 0180055e0180077e,0000111e8000222e fff0000000000000,2208400000000000 =>     111e8000222e,0180055e0180077e
+xsmincqp 0180055e0180077e,0000111e8000222e 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmincqp 0180055e0180077e,0000111e8000222e 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp 0180055e0180077e,0000111e8000222e ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmincqp 0180055e0180077e,0000111e8000222e 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmincqp 0180055e0180077e,0000111e8000222e 8000000000000000,7f800000ff800000 =>     111e8000222e,0180055e0180077e
+xsmincqp 0000111e8000222e,7ff0000000000000 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp 0000111e8000222e,7ff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp 0000111e8000222e,7ff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmincqp 0000111e8000222e,7ff0000000000000 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmincqp 0000111e8000222e,7ff0000000000000 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmincqp 0000111e8000222e,7ff0000000000000 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmincqp 0000111e8000222e,7ff0000000000000 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 0000111e8000222e,7ff0000000000000 fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmincqp 0000111e8000222e,7ff0000000000000 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmincqp 0000111e8000222e,7ff0000000000000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp 0000111e8000222e,7ff0000000000000 ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmincqp 0000111e8000222e,7ff0000000000000 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmincqp 0000111e8000222e,7ff0000000000000 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 7f800000ff800000,ff8000007f800000 => fff0000000000000,7ff0000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 ff8000007f800000,ff7ffffe7f7ffffe => fff0000000000000,7ff0000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 ff7ffffe7f7ffffe,0080000e8080000e => fff0000000000000,7ff0000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 0080000e8080000e,0180055e0180077e => fff0000000000000,7ff0000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 0180055e0180077e,0000111e8000222e => fff0000000000000,7ff0000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 0000111e8000222e,7ff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 fff0000000000000,2208400000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 2208400000000000,0000000000000009 => fff0000000000000,7ff0000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp 7ff0000000000000,fff0000000000000 ffff000180000001,0000000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 0000000000000000,8000000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 7ff0000000000000,fff0000000000000 8000000000000000,7f800000ff800000 => fff0000000000000,7ff0000000000000
+xsmincqp fff0000000000000,2208400000000000 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp fff0000000000000,2208400000000000 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp fff0000000000000,2208400000000000 ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmincqp fff0000000000000,2208400000000000 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmincqp fff0000000000000,2208400000000000 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmincqp fff0000000000000,2208400000000000 0000111e8000222e,7ff0000000000000 => 2208400000000000,fff0000000000000
+xsmincqp fff0000000000000,2208400000000000 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp fff0000000000000,2208400000000000 fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmincqp fff0000000000000,2208400000000000 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmincqp fff0000000000000,2208400000000000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp fff0000000000000,2208400000000000 ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmincqp fff0000000000000,2208400000000000 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmincqp fff0000000000000,2208400000000000 8000000000000000,7f800000ff800000 => 2208400000000000,fff0000000000000
+xsmincqp 2208400000000000,0000000000000009 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp 2208400000000000,0000000000000009 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp 2208400000000000,0000000000000009 ff7ffffe7f7ffffe,0080000e8080000e =>                9,2208400000000000
+xsmincqp 2208400000000000,0000000000000009 0080000e8080000e,0180055e0180077e =>                9,2208400000000000
+xsmincqp 2208400000000000,0000000000000009 0180055e0180077e,0000111e8000222e =>                9,2208400000000000
+xsmincqp 2208400000000000,0000000000000009 0000111e8000222e,7ff0000000000000 =>                9,2208400000000000
+xsmincqp 2208400000000000,0000000000000009 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 2208400000000000,0000000000000009 fff0000000000000,2208400000000000 =>                9,2208400000000000
+xsmincqp 2208400000000000,0000000000000009 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmincqp 2208400000000000,0000000000000009 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp 2208400000000000,0000000000000009 ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmincqp 2208400000000000,0000000000000009 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmincqp 2208400000000000,0000000000000009 8000000000000000,7f800000ff800000 =>                9,2208400000000000
+xsmincqp 0000000000000009,ffff000180000001 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp 0000000000000009,ffff000180000001 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp 0000000000000009,ffff000180000001 ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmincqp 0000000000000009,ffff000180000001 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmincqp 0000000000000009,ffff000180000001 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmincqp 0000000000000009,ffff000180000001 0000111e8000222e,7ff0000000000000 => 7ff0000000000000,0000111e8000222e
+xsmincqp 0000000000000009,ffff000180000001 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 0000000000000009,ffff000180000001 fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmincqp 0000000000000009,ffff000180000001 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmincqp 0000000000000009,ffff000180000001 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp 0000000000000009,ffff000180000001 ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmincqp 0000000000000009,ffff000180000001 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmincqp 0000000000000009,ffff000180000001 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+xsmincqp ffff000180000001,0000000000000000 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp ffff000180000001,0000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp ffff000180000001,0000000000000000 ff7ffffe7f7ffffe,0080000e8080000e =>                0,ffff000180000001
+xsmincqp ffff000180000001,0000000000000000 0080000e8080000e,0180055e0180077e =>                0,ffff000180000001
+xsmincqp ffff000180000001,0000000000000000 0180055e0180077e,0000111e8000222e =>                0,ffff000180000001
+xsmincqp ffff000180000001,0000000000000000 0000111e8000222e,7ff0000000000000 =>                0,ffff000180000001
+xsmincqp ffff000180000001,0000000000000000 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp ffff000180000001,0000000000000000 fff0000000000000,2208400000000000 =>                0,ffff000180000001
+xsmincqp ffff000180000001,0000000000000000 2208400000000000,0000000000000009 =>                0,ffff000180000001
+xsmincqp ffff000180000001,0000000000000000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp ffff000180000001,0000000000000000 ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmincqp ffff000180000001,0000000000000000 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmincqp ffff000180000001,0000000000000000 8000000000000000,7f800000ff800000 =>                0,ffff000180000001
+xsmincqp 0000000000000000,8000000000000000 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp 0000000000000000,8000000000000000 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp 0000000000000000,8000000000000000 ff7ffffe7f7ffffe,0080000e8080000e => 8000000000000000,0000000000000000
+xsmincqp 0000000000000000,8000000000000000 0080000e8080000e,0180055e0180077e => 8000000000000000,0000000000000000
+xsmincqp 0000000000000000,8000000000000000 0180055e0180077e,0000111e8000222e => 8000000000000000,0000000000000000
+xsmincqp 0000000000000000,8000000000000000 0000111e8000222e,7ff0000000000000 => 8000000000000000,0000000000000000
+xsmincqp 0000000000000000,8000000000000000 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 0000000000000000,8000000000000000 fff0000000000000,2208400000000000 => 8000000000000000,0000000000000000
+xsmincqp 0000000000000000,8000000000000000 2208400000000000,0000000000000009 => 8000000000000000,0000000000000000
+xsmincqp 0000000000000000,8000000000000000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp 0000000000000000,8000000000000000 ffff000180000001,0000000000000000 => 8000000000000000,0000000000000000
+xsmincqp 0000000000000000,8000000000000000 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmincqp 0000000000000000,8000000000000000 8000000000000000,7f800000ff800000 => 8000000000000000,0000000000000000
+xsmincqp 8000000000000000,7f800000ff800000 7f800000ff800000,ff8000007f800000 => ff8000007f800000,7f800000ff800000
+xsmincqp 8000000000000000,7f800000ff800000 ff8000007f800000,ff7ffffe7f7ffffe => ff7ffffe7f7ffffe,ff8000007f800000
+xsmincqp 8000000000000000,7f800000ff800000 ff7ffffe7f7ffffe,0080000e8080000e =>   80000e8080000e,ff7ffffe7f7ffffe
+xsmincqp 8000000000000000,7f800000ff800000 0080000e8080000e,0180055e0180077e =>  180055e0180077e,0080000e8080000e
+xsmincqp 8000000000000000,7f800000ff800000 0180055e0180077e,0000111e8000222e =>     111e8000222e,0180055e0180077e
+xsmincqp 8000000000000000,7f800000ff800000 0000111e8000222e,7ff0000000000000 => 7f800000ff800000,8000000000000000
+xsmincqp 8000000000000000,7f800000ff800000 7ff0000000000000,fff0000000000000 => fff0000000000000,7ff0000000000000
+xsmincqp 8000000000000000,7f800000ff800000 fff0000000000000,2208400000000000 => 2208400000000000,fff0000000000000
+xsmincqp 8000000000000000,7f800000ff800000 2208400000000000,0000000000000009 =>                9,2208400000000000
+xsmincqp 8000000000000000,7f800000ff800000 0000000000000009,ffff000180000001 => ffff000180000001,0000000000000009
+xsmincqp 8000000000000000,7f800000ff800000 ffff000180000001,0000000000000000 =>                0,ffff000180000001
+xsmincqp 8000000000000000,7f800000ff800000 0000000000000000,8000000000000000 => 8000000000000000,0000000000000000
+xsmincqp 8000000000000000,7f800000ff800000 8000000000000000,7f800000ff800000 => 7f800000ff800000,8000000000000000
+
+All done. Tested 52 different instruction groups