s390: Add another testcase for DFP insns.

Patch by Maran Pakkirisamy (maranp@linux.vnet.ibm.com).
Part of fixing BZ 307113.

git-svn-id: svn://svn.valgrind.org/valgrind/trunk@13254

diff --git a/none/tests/s390x/Makefile.am b/none/tests/s390x/Makefile.am
index 189fb9f942b18fbfec98c8f9f3dc99d753d4dac3..2bbb6343d3dabf9cb7a9864ef8959c39bc6546b0 100644 (file)
--- a/none/tests/s390x/Makefile.am
+++ b/none/tests/s390x/Makefile.am
@@ -19,7 +19,7 @@ INSN_TESTS = clc clcle cvb cvd icm lpr tcxb lam_stam xc mvst add sub mul \
             spechelper-icm-1  spechelper-icm-2 spechelper-tmll \
             spechelper-tm laa
 if BUILD_DFP_TESTS
-  INSN_TESTS += dfp-1 dfp-2 dfp-3 dfp-4 dfptest
+  INSN_TESTS += dfp-1 dfp-2 dfp-3 dfp-4 dfptest dfpext
 endif
 
 check_PROGRAMS = $(INSN_TESTS) \
@@ -39,7 +39,8 @@ EXTRA_DIST = \
        dfp-2.stderr.exp dfp-2.stdout.exp dfp-2.vgtest \
        dfp-3.stderr.exp dfp-3.stdout.exp dfp-3.vgtest \
        dfp-4.stderr.exp dfp-4.stdout.exp dfp-4.vgtest \
-       dfptest.stderr.exp dfptest.stdout.exp dfptest.vgtest
+       dfptest.stderr.exp dfptest.stdout.exp dfptest.vgtest \
+       dfpext.stderr.exp dfpext.stdout.exp dfpext.vgtest
 
 AM_CFLAGS    += @FLAG_M64@
 AM_CXXFLAGS  += @FLAG_M64@

diff --git a/none/tests/s390x/dfpext.c b/none/tests/s390x/dfpext.c
new file mode 100644 (file)
index 0000000..d9a62d2
--- /dev/null
+++ b/none/tests/s390x/dfpext.c
@@ -0,0 +1,247 @@
+#include <stdio.h>
+#include "opcodes.h"
+#include "dfp_utils.h"
+#define __STDC_WANT_DEC_FP__ 1
+#include <float.h>
+
+#define L2D(insn,  initial, target,round)                               \
+  ({                                                                    \
+    register unsigned long source asm("2") =  initial;                  \
+    register typeof(target) _t asm("f0");                               \
+    asm volatile(insn(round,0,0,2) :"=f" (_t):"d"(source));             \
+    _t;                                                                 \
+  })
+
+#define I2D(insn,  initial, target,round)                               \
+  ({                                                                    \
+    register int source asm("2") =  initial;                            \
+    register typeof(target) _t asm("f0");                               \
+    asm volatile(insn(round,0,0,2) :"=f" (_t):"d"(source));             \
+    _t;                                                                 \
+})
+
+#define D2L(insn, initial, type, round, cc)                             \
+  ({                                                                    \
+    register type source asm("f0") =  initial;                          \
+    register unsigned long target asm ("2") = 0;                        \
+    asm volatile(insn(round,0,2,0)                                      \
+                 "ipm %1\n\t"                                           \
+                 "srl %1,28\n\t"                                        \
+                 :"=d" (target), "=d" (cc) :"f"(source):"cc");          \
+    target;                                                             \
+  })
+
+#define D2I(insn, initial, type, round, cc)                             \
+  ({                                                                    \
+    register type source asm("f0") =  initial;                          \
+    register int target asm ("2") = 0;                                  \
+    asm volatile(insn(round,0,2,0)                                      \
+                 "ipm %1\n\t"                                           \
+                 "srl %1,28\n\t"                                        \
+                 :"=d" (target), "=d" (cc) :"f"(source):"cc");          \
+    target;                                                             \
+})
+
+
+#define DO_PRINT_L2D(insn, l, d, round)                                 \
+  ({                                                                    \
+    printf(#insn " round=%d %lu -> ", 0x##round, l);                    \
+    d = L2D(insn, l, d, round);                                         \
+    DFP_VAL_PRINT(d, typeof(d));                                        \
+    printf("\n");                                                       \
+  })
+
+#define DO_INSN_L2D(insn, round, type)                                  \
+  ({                                                                    \
+    type d;                                                             \
+    DO_PRINT_L2D(insn, 0UL, d, round);                                  \
+    DO_PRINT_L2D(insn, 1UL, d, round);                                  \
+    DO_PRINT_L2D(insn, 0xffffffffUL, d, round);                         \
+    DO_PRINT_L2D(insn, 0x80000000UL, d, round);                         \
+    DO_PRINT_L2D(insn, 0x7fffffffUL, d, round);                         \
+    DO_PRINT_L2D(insn, 0x100000000UL, d, round);                        \
+    DO_PRINT_L2D(insn, 0xffffffffffffffffUL, d, round);                 \
+    DO_PRINT_L2D(insn, 0x8000000000000000UL, d, round);                 \
+    DO_PRINT_L2D(insn, 0x7fffffffffffffffUL, d, round);                 \
+  })
+
+#define DO_PRINT_I2D(insn, l, d, round)                                 \
+  ({                                                                    \
+    printf(#insn " round=%d %d -> ", 0x##round, l);                     \
+    d = I2D(insn, l, d, round);                                         \
+    DFP_VAL_PRINT(d, typeof(d));                                        \
+    printf("\n");                                                       \
+  })
+
+#define DO_INSN_I2D(insn, round, type)                                  \
+  ({                                                                    \
+    type d;                                                             \
+    DO_PRINT_I2D(insn, 0, d, round);                                    \
+    DO_PRINT_I2D(insn, 1, d, round);                                    \
+    DO_PRINT_I2D(insn, 0xffffffff, d, round);                           \
+    DO_PRINT_I2D(insn, 0x80000000, d, round);                           \
+    DO_PRINT_I2D(insn, 0x7fffffff, d, round);                           \
+   })
+
+#define DO_PRINT_D2L(insn, d, type, round, cc)                          \
+  ({                                                                    \
+    printf(#insn " round=%d ", 0x##round);                              \
+    DFP_VAL_PRINT(d, type);                                             \
+    printf(" -> %lu ", D2L(insn, d, type, round, cc));                  \
+    printf("cc=%d\n", cc);                                              \
+  })
+
+#define DO_INSN_D2L(insn, round, type)                                  \
+  ({                                                                    \
+    int cc;                                                             \
+    type d;                                                             \
+    d = -1.1DD;                                                         \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 0.DD;                                                           \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 1.DD;                                                           \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 1.4DD;                                                          \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 1.5DD;                                                          \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 1.6DD;                                                          \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 1.6E+4DD;                                                       \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 1.6E+8DD;                                                       \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 1.6E+4DD;                                                       \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 1.6E+12DD;                                                      \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 1.6E+20DD;                                                      \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 1.6E+200DD;                                                     \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = 1.6E-4DD;                                                       \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = DEC32_MIN;                                                      \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = DEC32_MAX;                                                      \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = DEC64_MIN;                                                      \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+    d = DEC64_MAX;                                                      \
+    DO_PRINT_D2L(insn, d, type, round, cc);                             \
+  })
+
+#define DO_PRINT_D2I(insn, d, type, round, cc)                          \
+  ({                                                                    \
+    printf(#insn " round=%d ", 0x##round);                              \
+    DFP_VAL_PRINT(d, type);                                             \
+    printf(" -> %d ", D2I(insn, d, type, round, cc));                   \
+    printf("cc=%d\n", cc);                                              \
+  })
+
+#define DO_INSN_D2I(insn, round, type)                                  \
+  ({                                                                    \
+    int cc;                                                             \
+    type d;                                                             \
+    d = -1.1DD;                                                         \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 0.DD;                                                           \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 1.DD;                                                           \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 1.4DD;                                                          \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 1.5DD;                                                          \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 1.6DD;                                                          \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 1.6E+4DD;                                                       \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 1.6E+8DD;                                                       \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 1.6E+4DD;                                                       \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 1.6E+12DD;                                                      \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 1.6E+20DD;                                                      \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 1.6E+200DD;                                                     \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = 1.6E-4DD;                                                       \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = DEC32_MIN;                                                      \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = DEC32_MAX;                                                      \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = DEC64_MIN;                                                      \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+    d = DEC64_MAX;                                                      \
+    DO_PRINT_D2I(insn, d, type, round, cc);                             \
+  })
+
+#define DO_D2L(round)                                                   \
+  ({                                                                    \
+    DO_INSN_D2L(CLFDTR, round, _Decimal64);                             \
+    DO_INSN_D2L(CLGDTR, round, _Decimal64);                             \
+    DO_INSN_D2I(CFDTR,  round, _Decimal64);                             \
+    DO_INSN_D2L(CLFXTR, round, _Decimal128);                            \
+    DO_INSN_D2L(CLGXTR, round, _Decimal128);                            \
+    DO_INSN_D2I(CFXTR,  round, _Decimal128);                            \
+  })
+
+
+int main()
+{
+  /* rounding mode is not used for the following insns */
+  DO_INSN_I2D(CDFTR,  0, _Decimal64);
+  DO_INSN_I2D(CXFTR,  0, _Decimal128);
+  DO_INSN_L2D(CDLFTR, 0, _Decimal64);
+  DO_INSN_L2D(CXLFTR, 0, _Decimal128);
+  DO_INSN_L2D(CXLGTR, 0, _Decimal128);
+
+  /* Omit rounding mode value 0 and 2 as the current DFP rounding
+     mode is chosen for these values. */
+  DO_INSN_L2D(CDLGTR, 1, _Decimal64);
+  DO_D2L(1);
+
+  DO_INSN_L2D(CDLGTR, 3, _Decimal64);
+  DO_D2L(3);
+
+  DO_INSN_L2D(CDLGTR, 4, _Decimal64);
+  DO_D2L(4);
+
+  DO_INSN_L2D(CDLGTR, 5, _Decimal64);
+  DO_D2L(5);
+
+  DO_INSN_L2D(CDLGTR, 6, _Decimal64);
+  DO_D2L(6);
+
+  DO_INSN_L2D(CDLGTR, 7, _Decimal64);
+  DO_D2L(7);
+
+  DO_INSN_L2D(CDLGTR, 8, _Decimal64);
+  DO_D2L(8);
+
+  DO_INSN_L2D(CDLGTR, 9, _Decimal64);
+  DO_D2L(9);
+
+  DO_INSN_L2D(CDLGTR, a, _Decimal64);
+  DO_D2L(a);
+
+  DO_INSN_L2D(CDLGTR, b, _Decimal64);
+  DO_D2L(b);
+
+  DO_INSN_L2D(CDLGTR, c, _Decimal64);
+  DO_D2L(c);
+
+  DO_INSN_L2D(CDLGTR, d, _Decimal64);
+  DO_D2L(d);
+
+  DO_INSN_L2D(CDLGTR, e, _Decimal64);
+  DO_D2L(e);
+
+  DO_INSN_L2D(CDLGTR, f, _Decimal64);
+  DO_D2L(f);
+
+  return 0;
+}

diff --git a/none/tests/s390x/dfpext.stderr.exp b/none/tests/s390x/dfpext.stderr.exp
new file mode 100644 (file)
index 0000000..139597f
--- /dev/null
+++ b/none/tests/s390x/dfpext.stderr.exp
@@ -0,0 +1,2 @@
+
+

diff --git a/none/tests/s390x/dfpext.stdout.exp b/none/tests/s390x/dfpext.stdout.exp
new file mode 100644 (file)
index 0000000..74d760a
--- /dev/null
+++ b/none/tests/s390x/dfpext.stdout.exp
@@ -0,0 +1,1591 @@
+CDFTR round=0 0 -> 2238000000000000
+CDFTR round=0 1 -> 2238000000000001
+CDFTR round=0 -1 -> a238000000000001
+CDFTR round=0 -2147483648 -> a23800008c78af48
+CDFTR round=0 2147483647 -> 223800008c78af47
+CXFTR round=0 0 -> 220800000000000000000000
+CXFTR round=0 1 -> 220800000000000000000001
+CXFTR round=0 -1 -> a20800000000000000000001
+CXFTR round=0 -2147483648 -> a2080000000000008c78af48
+CXFTR round=0 2147483647 -> 22080000000000008c78af47
+CDLFTR round=0 0 -> 2238000000000000
+CDLFTR round=0 1 -> 2238000000000001
+CDLFTR round=0 4294967295 -> 2238000115afb55b
+CDLFTR round=0 2147483648 -> 223800008c78af48
+CDLFTR round=0 2147483647 -> 223800008c78af47
+CDLFTR round=0 4294967296 -> 2238000000000000
+CDLFTR round=0 18446744073709551615 -> 2238000115afb55b
+CDLFTR round=0 9223372036854775808 -> 2238000000000000
+CDLFTR round=0 9223372036854775807 -> 2238000115afb55b
+CXLFTR round=0 0 -> 220800000000000000000000
+CXLFTR round=0 1 -> 220800000000000000000001
+CXLFTR round=0 4294967295 -> 2208000000000000115afb55b
+CXLFTR round=0 2147483648 -> 22080000000000008c78af48
+CXLFTR round=0 2147483647 -> 22080000000000008c78af47
+CXLFTR round=0 4294967296 -> 220800000000000000000000
+CXLFTR round=0 18446744073709551615 -> 2208000000000000115afb55b
+CXLFTR round=0 9223372036854775808 -> 220800000000000000000000
+CXLFTR round=0 9223372036854775807 -> 2208000000000000115afb55b
+CXLGTR round=0 0 -> 220800000000000000000000
+CXLGTR round=0 1 -> 220800000000000000000001
+CXLGTR round=0 4294967295 -> 2208000000000000115afb55b
+CXLGTR round=0 2147483648 -> 22080000000000008c78af48
+CXLGTR round=0 2147483647 -> 22080000000000008c78af47
+CXLGTR round=0 4294967296 -> 2208000000000000115afb57a
+CXLGTR round=0 18446744073709551615 -> 2208000000000001891bc41cf89b4715
+CXLGTR round=0 9223372036854775808 -> 2208000000000000948df20da5cfd42e
+CXLGTR round=0 9223372036854775807 -> 2208000000000000948df20da5cfd70d
+CDLGTR round=1 0 -> 2238000000000000
+CDLGTR round=1 1 -> 2238000000000001
+CDLGTR round=1 4294967295 -> 2238000115afb55b
+CDLGTR round=1 2147483648 -> 223800008c78af48
+CDLGTR round=1 2147483647 -> 223800008c78af47
+CDLGTR round=1 4294967296 -> 2238000115afb57a
+CDLGTR round=1 18446744073709551615 -> 264a4cdd2077c2dd
+CDLGTR round=1 9223372036854775808 -> 6e45237c836973f6
+CDLGTR round=1 9223372036854775807 -> 6e45237c836973f6
+CLFDTR round=1 a234000000000011 -> 0 cc=3
+CLFDTR round=1 2238000000000000 -> 0 cc=0
+CLFDTR round=1 2238000000000001 -> 1 cc=2
+CLFDTR round=1 2234000000000014 -> 1 cc=2
+CLFDTR round=1 2234000000000015 -> 2 cc=2
+CLFDTR round=1 2234000000000016 -> 2 cc=2
+CLFDTR round=1 2244000000000016 -> 16000 cc=2
+CLFDTR round=1 2254000000000016 -> 160000000 cc=2
+CLFDTR round=1 2244000000000016 -> 16000 cc=2
+CLFDTR round=1 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=1 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=1 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=1 2224000000000016 -> 0 cc=2
+CLFDTR round=1 20bc000000000001 -> 0 cc=2
+CLFDTR round=1 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=1 3c000000000001 -> 0 cc=2
+CLFDTR round=1 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=1 a234000000000011 -> 0 cc=3
+CLGDTR round=1 2238000000000000 -> 0 cc=0
+CLGDTR round=1 2238000000000001 -> 1 cc=2
+CLGDTR round=1 2234000000000014 -> 1 cc=2
+CLGDTR round=1 2234000000000015 -> 2 cc=2
+CLGDTR round=1 2234000000000016 -> 2 cc=2
+CLGDTR round=1 2244000000000016 -> 16000 cc=2
+CLGDTR round=1 2254000000000016 -> 160000000 cc=2
+CLGDTR round=1 2244000000000016 -> 16000 cc=2
+CLGDTR round=1 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=1 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=1 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=1 2224000000000016 -> 0 cc=2
+CLGDTR round=1 20bc000000000001 -> 0 cc=2
+CLGDTR round=1 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=1 3c000000000001 -> 0 cc=2
+CLGDTR round=1 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=1 a234000000000011 -> -1 cc=1
+CFDTR round=1 2238000000000000 -> 0 cc=0
+CFDTR round=1 2238000000000001 -> 1 cc=2
+CFDTR round=1 2234000000000014 -> 1 cc=2
+CFDTR round=1 2234000000000015 -> 2 cc=2
+CFDTR round=1 2234000000000016 -> 2 cc=2
+CFDTR round=1 2244000000000016 -> 16000 cc=2
+CFDTR round=1 2254000000000016 -> 160000000 cc=2
+CFDTR round=1 2244000000000016 -> 16000 cc=2
+CFDTR round=1 2264000000000016 -> 2147483647 cc=3
+CFDTR round=1 2284000000000016 -> 2147483647 cc=3
+CFDTR round=1 4154000000000016 -> 2147483647 cc=3
+CFDTR round=1 2224000000000016 -> 0 cc=2
+CFDTR round=1 20bc000000000001 -> 0 cc=2
+CFDTR round=1 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=1 3c000000000001 -> 0 cc=2
+CFDTR round=1 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=1 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=1 220800000000000000000000 -> 0 cc=0
+CLFXTR round=1 220800000000000000000001 -> 1 cc=2
+CLFXTR round=1 2207c0000000000000000014 -> 1 cc=2
+CLFXTR round=1 2207c0000000000000000015 -> 2 cc=2
+CLFXTR round=1 2207c0000000000000000016 -> 2 cc=2
+CLFXTR round=1 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=1 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=1 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=1 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=1 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=1 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=1 2206c0000000000000000016 -> 0 cc=2
+CLFXTR round=1 21f040000000000000000001 -> 0 cc=2
+CLFXTR round=1 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=1 21a840000000000000000001 -> 0 cc=2
+CLFXTR round=1 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=1 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=1 220800000000000000000000 -> 0 cc=0
+CLGXTR round=1 220800000000000000000001 -> 1 cc=2
+CLGXTR round=1 2207c0000000000000000014 -> 1 cc=2
+CLGXTR round=1 2207c0000000000000000015 -> 2 cc=2
+CLGXTR round=1 2207c0000000000000000016 -> 2 cc=2
+CLGXTR round=1 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=1 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=1 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=1 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=1 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=1 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=1 2206c0000000000000000016 -> 0 cc=2
+CLGXTR round=1 21f040000000000000000001 -> 0 cc=2
+CLGXTR round=1 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=1 21a840000000000000000001 -> 0 cc=2
+CLGXTR round=1 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=1 a207c0000000000000000011 -> -1 cc=1
+CFXTR round=1 220800000000000000000000 -> 0 cc=0
+CFXTR round=1 220800000000000000000001 -> 1 cc=2
+CFXTR round=1 2207c0000000000000000014 -> 1 cc=2
+CFXTR round=1 2207c0000000000000000015 -> 2 cc=2
+CFXTR round=1 2207c0000000000000000016 -> 2 cc=2
+CFXTR round=1 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=1 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=1 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=1 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=1 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=1 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=1 2206c0000000000000000016 -> 0 cc=2
+CFXTR round=1 21f040000000000000000001 -> 0 cc=2
+CFXTR round=1 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=1 21a840000000000000000001 -> 0 cc=2
+CFXTR round=1 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=3 0 -> 2238000000000000
+CDLGTR round=3 1 -> 2238000000000001
+CDLGTR round=3 4294967295 -> 2238000115afb55b
+CDLGTR round=3 2147483648 -> 223800008c78af48
+CDLGTR round=3 2147483647 -> 223800008c78af47
+CDLGTR round=3 4294967296 -> 2238000115afb57a
+CDLGTR round=3 18446744073709551615 -> 264a4cdd2077c3dc
+CDLGTR round=3 9223372036854775808 -> 6e45237c836973f6
+CDLGTR round=3 9223372036854775807 -> 6e45237c836973f6
+CLFDTR round=3 a234000000000011 -> 0 cc=3
+CLFDTR round=3 2238000000000000 -> 0 cc=0
+CLFDTR round=3 2238000000000001 -> 1 cc=2
+CLFDTR round=3 2234000000000014 -> 1 cc=2
+CLFDTR round=3 2234000000000015 -> 1 cc=2
+CLFDTR round=3 2234000000000016 -> 1 cc=2
+CLFDTR round=3 2244000000000016 -> 16000 cc=2
+CLFDTR round=3 2254000000000016 -> 160000000 cc=2
+CLFDTR round=3 2244000000000016 -> 16000 cc=2
+CLFDTR round=3 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=3 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=3 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=3 2224000000000016 -> 1 cc=2
+CLFDTR round=3 20bc000000000001 -> 1 cc=2
+CLFDTR round=3 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=3 3c000000000001 -> 1 cc=2
+CLFDTR round=3 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=3 a234000000000011 -> 0 cc=3
+CLGDTR round=3 2238000000000000 -> 0 cc=0
+CLGDTR round=3 2238000000000001 -> 1 cc=2
+CLGDTR round=3 2234000000000014 -> 1 cc=2
+CLGDTR round=3 2234000000000015 -> 1 cc=2
+CLGDTR round=3 2234000000000016 -> 1 cc=2
+CLGDTR round=3 2244000000000016 -> 16000 cc=2
+CLGDTR round=3 2254000000000016 -> 160000000 cc=2
+CLGDTR round=3 2244000000000016 -> 16000 cc=2
+CLGDTR round=3 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=3 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=3 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=3 2224000000000016 -> 1 cc=2
+CLGDTR round=3 20bc000000000001 -> 1 cc=2
+CLGDTR round=3 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=3 3c000000000001 -> 1 cc=2
+CLGDTR round=3 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=3 a234000000000011 -> -1 cc=1
+CFDTR round=3 2238000000000000 -> 0 cc=0
+CFDTR round=3 2238000000000001 -> 1 cc=2
+CFDTR round=3 2234000000000014 -> 1 cc=2
+CFDTR round=3 2234000000000015 -> 1 cc=2
+CFDTR round=3 2234000000000016 -> 1 cc=2
+CFDTR round=3 2244000000000016 -> 16000 cc=2
+CFDTR round=3 2254000000000016 -> 160000000 cc=2
+CFDTR round=3 2244000000000016 -> 16000 cc=2
+CFDTR round=3 2264000000000016 -> 2147483647 cc=3
+CFDTR round=3 2284000000000016 -> 2147483647 cc=3
+CFDTR round=3 4154000000000016 -> 2147483647 cc=3
+CFDTR round=3 2224000000000016 -> 1 cc=2
+CFDTR round=3 20bc000000000001 -> 1 cc=2
+CFDTR round=3 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=3 3c000000000001 -> 1 cc=2
+CFDTR round=3 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=3 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=3 220800000000000000000000 -> 0 cc=0
+CLFXTR round=3 220800000000000000000001 -> 1 cc=2
+CLFXTR round=3 2207c0000000000000000014 -> 1 cc=2
+CLFXTR round=3 2207c0000000000000000015 -> 1 cc=2
+CLFXTR round=3 2207c0000000000000000016 -> 1 cc=2
+CLFXTR round=3 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=3 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=3 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=3 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=3 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=3 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=3 2206c0000000000000000016 -> 1 cc=2
+CLFXTR round=3 21f040000000000000000001 -> 1 cc=2
+CLFXTR round=3 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=3 21a840000000000000000001 -> 1 cc=2
+CLFXTR round=3 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=3 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=3 220800000000000000000000 -> 0 cc=0
+CLGXTR round=3 220800000000000000000001 -> 1 cc=2
+CLGXTR round=3 2207c0000000000000000014 -> 1 cc=2
+CLGXTR round=3 2207c0000000000000000015 -> 1 cc=2
+CLGXTR round=3 2207c0000000000000000016 -> 1 cc=2
+CLGXTR round=3 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=3 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=3 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=3 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=3 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=3 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=3 2206c0000000000000000016 -> 1 cc=2
+CLGXTR round=3 21f040000000000000000001 -> 1 cc=2
+CLGXTR round=3 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=3 21a840000000000000000001 -> 1 cc=2
+CLGXTR round=3 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=3 a207c0000000000000000011 -> -1 cc=1
+CFXTR round=3 220800000000000000000000 -> 0 cc=0
+CFXTR round=3 220800000000000000000001 -> 1 cc=2
+CFXTR round=3 2207c0000000000000000014 -> 1 cc=2
+CFXTR round=3 2207c0000000000000000015 -> 1 cc=2
+CFXTR round=3 2207c0000000000000000016 -> 1 cc=2
+CFXTR round=3 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=3 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=3 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=3 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=3 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=3 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=3 2206c0000000000000000016 -> 1 cc=2
+CFXTR round=3 21f040000000000000000001 -> 1 cc=2
+CFXTR round=3 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=3 21a840000000000000000001 -> 1 cc=2
+CFXTR round=3 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=4 0 -> 2238000000000000
+CDLGTR round=4 1 -> 2238000000000001
+CDLGTR round=4 4294967295 -> 2238000115afb55b
+CDLGTR round=4 2147483648 -> 223800008c78af48
+CDLGTR round=4 2147483647 -> 223800008c78af47
+CDLGTR round=4 4294967296 -> 2238000115afb57a
+CDLGTR round=4 18446744073709551615 -> 264a4cdd2077c2dd
+CDLGTR round=4 9223372036854775808 -> 6e45237c836973f6
+CDLGTR round=4 9223372036854775807 -> 6e45237c836973f6
+CLFDTR round=4 a234000000000011 -> 0 cc=3
+CLFDTR round=4 2238000000000000 -> 0 cc=0
+CLFDTR round=4 2238000000000001 -> 1 cc=2
+CLFDTR round=4 2234000000000014 -> 1 cc=2
+CLFDTR round=4 2234000000000015 -> 2 cc=2
+CLFDTR round=4 2234000000000016 -> 2 cc=2
+CLFDTR round=4 2244000000000016 -> 16000 cc=2
+CLFDTR round=4 2254000000000016 -> 160000000 cc=2
+CLFDTR round=4 2244000000000016 -> 16000 cc=2
+CLFDTR round=4 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=4 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=4 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=4 2224000000000016 -> 0 cc=2
+CLFDTR round=4 20bc000000000001 -> 0 cc=2
+CLFDTR round=4 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=4 3c000000000001 -> 0 cc=2
+CLFDTR round=4 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=4 a234000000000011 -> 0 cc=3
+CLGDTR round=4 2238000000000000 -> 0 cc=0
+CLGDTR round=4 2238000000000001 -> 1 cc=2
+CLGDTR round=4 2234000000000014 -> 1 cc=2
+CLGDTR round=4 2234000000000015 -> 2 cc=2
+CLGDTR round=4 2234000000000016 -> 2 cc=2
+CLGDTR round=4 2244000000000016 -> 16000 cc=2
+CLGDTR round=4 2254000000000016 -> 160000000 cc=2
+CLGDTR round=4 2244000000000016 -> 16000 cc=2
+CLGDTR round=4 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=4 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=4 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=4 2224000000000016 -> 0 cc=2
+CLGDTR round=4 20bc000000000001 -> 0 cc=2
+CLGDTR round=4 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=4 3c000000000001 -> 0 cc=2
+CLGDTR round=4 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=4 a234000000000011 -> -1 cc=1
+CFDTR round=4 2238000000000000 -> 0 cc=0
+CFDTR round=4 2238000000000001 -> 1 cc=2
+CFDTR round=4 2234000000000014 -> 1 cc=2
+CFDTR round=4 2234000000000015 -> 2 cc=2
+CFDTR round=4 2234000000000016 -> 2 cc=2
+CFDTR round=4 2244000000000016 -> 16000 cc=2
+CFDTR round=4 2254000000000016 -> 160000000 cc=2
+CFDTR round=4 2244000000000016 -> 16000 cc=2
+CFDTR round=4 2264000000000016 -> 2147483647 cc=3
+CFDTR round=4 2284000000000016 -> 2147483647 cc=3
+CFDTR round=4 4154000000000016 -> 2147483647 cc=3
+CFDTR round=4 2224000000000016 -> 0 cc=2
+CFDTR round=4 20bc000000000001 -> 0 cc=2
+CFDTR round=4 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=4 3c000000000001 -> 0 cc=2
+CFDTR round=4 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=4 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=4 220800000000000000000000 -> 0 cc=0
+CLFXTR round=4 220800000000000000000001 -> 1 cc=2
+CLFXTR round=4 2207c0000000000000000014 -> 1 cc=2
+CLFXTR round=4 2207c0000000000000000015 -> 2 cc=2
+CLFXTR round=4 2207c0000000000000000016 -> 2 cc=2
+CLFXTR round=4 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=4 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=4 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=4 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=4 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=4 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=4 2206c0000000000000000016 -> 0 cc=2
+CLFXTR round=4 21f040000000000000000001 -> 0 cc=2
+CLFXTR round=4 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=4 21a840000000000000000001 -> 0 cc=2
+CLFXTR round=4 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=4 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=4 220800000000000000000000 -> 0 cc=0
+CLGXTR round=4 220800000000000000000001 -> 1 cc=2
+CLGXTR round=4 2207c0000000000000000014 -> 1 cc=2
+CLGXTR round=4 2207c0000000000000000015 -> 2 cc=2
+CLGXTR round=4 2207c0000000000000000016 -> 2 cc=2
+CLGXTR round=4 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=4 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=4 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=4 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=4 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=4 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=4 2206c0000000000000000016 -> 0 cc=2
+CLGXTR round=4 21f040000000000000000001 -> 0 cc=2
+CLGXTR round=4 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=4 21a840000000000000000001 -> 0 cc=2
+CLGXTR round=4 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=4 a207c0000000000000000011 -> -1 cc=1
+CFXTR round=4 220800000000000000000000 -> 0 cc=0
+CFXTR round=4 220800000000000000000001 -> 1 cc=2
+CFXTR round=4 2207c0000000000000000014 -> 1 cc=2
+CFXTR round=4 2207c0000000000000000015 -> 2 cc=2
+CFXTR round=4 2207c0000000000000000016 -> 2 cc=2
+CFXTR round=4 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=4 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=4 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=4 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=4 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=4 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=4 2206c0000000000000000016 -> 0 cc=2
+CFXTR round=4 21f040000000000000000001 -> 0 cc=2
+CFXTR round=4 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=4 21a840000000000000000001 -> 0 cc=2
+CFXTR round=4 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=5 0 -> 2238000000000000
+CDLGTR round=5 1 -> 2238000000000001
+CDLGTR round=5 4294967295 -> 2238000115afb55b
+CDLGTR round=5 2147483648 -> 223800008c78af48
+CDLGTR round=5 2147483647 -> 223800008c78af47
+CDLGTR round=5 4294967296 -> 2238000115afb57a
+CDLGTR round=5 18446744073709551615 -> 264a4cdd2077c2dd
+CDLGTR round=5 9223372036854775808 -> 6e45237c836973f5
+CDLGTR round=5 9223372036854775807 -> 6e45237c836973f5
+CLFDTR round=5 a234000000000011 -> 0 cc=3
+CLFDTR round=5 2238000000000000 -> 0 cc=0
+CLFDTR round=5 2238000000000001 -> 1 cc=2
+CLFDTR round=5 2234000000000014 -> 1 cc=2
+CLFDTR round=5 2234000000000015 -> 1 cc=2
+CLFDTR round=5 2234000000000016 -> 1 cc=2
+CLFDTR round=5 2244000000000016 -> 16000 cc=2
+CLFDTR round=5 2254000000000016 -> 160000000 cc=2
+CLFDTR round=5 2244000000000016 -> 16000 cc=2
+CLFDTR round=5 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=5 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=5 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=5 2224000000000016 -> 0 cc=2
+CLFDTR round=5 20bc000000000001 -> 0 cc=2
+CLFDTR round=5 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=5 3c000000000001 -> 0 cc=2
+CLFDTR round=5 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=5 a234000000000011 -> 0 cc=3
+CLGDTR round=5 2238000000000000 -> 0 cc=0
+CLGDTR round=5 2238000000000001 -> 1 cc=2
+CLGDTR round=5 2234000000000014 -> 1 cc=2
+CLGDTR round=5 2234000000000015 -> 1 cc=2
+CLGDTR round=5 2234000000000016 -> 1 cc=2
+CLGDTR round=5 2244000000000016 -> 16000 cc=2
+CLGDTR round=5 2254000000000016 -> 160000000 cc=2
+CLGDTR round=5 2244000000000016 -> 16000 cc=2
+CLGDTR round=5 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=5 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=5 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=5 2224000000000016 -> 0 cc=2
+CLGDTR round=5 20bc000000000001 -> 0 cc=2
+CLGDTR round=5 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=5 3c000000000001 -> 0 cc=2
+CLGDTR round=5 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=5 a234000000000011 -> -1 cc=1
+CFDTR round=5 2238000000000000 -> 0 cc=0
+CFDTR round=5 2238000000000001 -> 1 cc=2
+CFDTR round=5 2234000000000014 -> 1 cc=2
+CFDTR round=5 2234000000000015 -> 1 cc=2
+CFDTR round=5 2234000000000016 -> 1 cc=2
+CFDTR round=5 2244000000000016 -> 16000 cc=2
+CFDTR round=5 2254000000000016 -> 160000000 cc=2
+CFDTR round=5 2244000000000016 -> 16000 cc=2
+CFDTR round=5 2264000000000016 -> 2147483647 cc=3
+CFDTR round=5 2284000000000016 -> 2147483647 cc=3
+CFDTR round=5 4154000000000016 -> 2147483647 cc=3
+CFDTR round=5 2224000000000016 -> 0 cc=2
+CFDTR round=5 20bc000000000001 -> 0 cc=2
+CFDTR round=5 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=5 3c000000000001 -> 0 cc=2
+CFDTR round=5 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=5 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=5 220800000000000000000000 -> 0 cc=0
+CLFXTR round=5 220800000000000000000001 -> 1 cc=2
+CLFXTR round=5 2207c0000000000000000014 -> 1 cc=2
+CLFXTR round=5 2207c0000000000000000015 -> 1 cc=2
+CLFXTR round=5 2207c0000000000000000016 -> 1 cc=2
+CLFXTR round=5 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=5 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=5 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=5 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=5 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=5 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=5 2206c0000000000000000016 -> 0 cc=2
+CLFXTR round=5 21f040000000000000000001 -> 0 cc=2
+CLFXTR round=5 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=5 21a840000000000000000001 -> 0 cc=2
+CLFXTR round=5 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=5 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=5 220800000000000000000000 -> 0 cc=0
+CLGXTR round=5 220800000000000000000001 -> 1 cc=2
+CLGXTR round=5 2207c0000000000000000014 -> 1 cc=2
+CLGXTR round=5 2207c0000000000000000015 -> 1 cc=2
+CLGXTR round=5 2207c0000000000000000016 -> 1 cc=2
+CLGXTR round=5 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=5 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=5 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=5 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=5 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=5 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=5 2206c0000000000000000016 -> 0 cc=2
+CLGXTR round=5 21f040000000000000000001 -> 0 cc=2
+CLGXTR round=5 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=5 21a840000000000000000001 -> 0 cc=2
+CLGXTR round=5 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=5 a207c0000000000000000011 -> -1 cc=1
+CFXTR round=5 220800000000000000000000 -> 0 cc=0
+CFXTR round=5 220800000000000000000001 -> 1 cc=2
+CFXTR round=5 2207c0000000000000000014 -> 1 cc=2
+CFXTR round=5 2207c0000000000000000015 -> 1 cc=2
+CFXTR round=5 2207c0000000000000000016 -> 1 cc=2
+CFXTR round=5 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=5 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=5 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=5 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=5 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=5 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=5 2206c0000000000000000016 -> 0 cc=2
+CFXTR round=5 21f040000000000000000001 -> 0 cc=2
+CFXTR round=5 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=5 21a840000000000000000001 -> 0 cc=2
+CFXTR round=5 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=6 0 -> 2238000000000000
+CDLGTR round=6 1 -> 2238000000000001
+CDLGTR round=6 4294967295 -> 2238000115afb55b
+CDLGTR round=6 2147483648 -> 223800008c78af48
+CDLGTR round=6 2147483647 -> 223800008c78af47
+CDLGTR round=6 4294967296 -> 2238000115afb57a
+CDLGTR round=6 18446744073709551615 -> 264a4cdd2077c3dc
+CDLGTR round=6 9223372036854775808 -> 6e45237c836973f6
+CDLGTR round=6 9223372036854775807 -> 6e45237c836973f6
+CLFDTR round=6 a234000000000011 -> 0 cc=3
+CLFDTR round=6 2238000000000000 -> 0 cc=0
+CLFDTR round=6 2238000000000001 -> 1 cc=2
+CLFDTR round=6 2234000000000014 -> 2 cc=2
+CLFDTR round=6 2234000000000015 -> 2 cc=2
+CLFDTR round=6 2234000000000016 -> 2 cc=2
+CLFDTR round=6 2244000000000016 -> 16000 cc=2
+CLFDTR round=6 2254000000000016 -> 160000000 cc=2
+CLFDTR round=6 2244000000000016 -> 16000 cc=2
+CLFDTR round=6 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=6 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=6 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=6 2224000000000016 -> 1 cc=2
+CLFDTR round=6 20bc000000000001 -> 1 cc=2
+CLFDTR round=6 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=6 3c000000000001 -> 1 cc=2
+CLFDTR round=6 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=6 a234000000000011 -> 0 cc=3
+CLGDTR round=6 2238000000000000 -> 0 cc=0
+CLGDTR round=6 2238000000000001 -> 1 cc=2
+CLGDTR round=6 2234000000000014 -> 2 cc=2
+CLGDTR round=6 2234000000000015 -> 2 cc=2
+CLGDTR round=6 2234000000000016 -> 2 cc=2
+CLGDTR round=6 2244000000000016 -> 16000 cc=2
+CLGDTR round=6 2254000000000016 -> 160000000 cc=2
+CLGDTR round=6 2244000000000016 -> 16000 cc=2
+CLGDTR round=6 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=6 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=6 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=6 2224000000000016 -> 1 cc=2
+CLGDTR round=6 20bc000000000001 -> 1 cc=2
+CLGDTR round=6 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=6 3c000000000001 -> 1 cc=2
+CLGDTR round=6 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=6 a234000000000011 -> -1 cc=1
+CFDTR round=6 2238000000000000 -> 0 cc=0
+CFDTR round=6 2238000000000001 -> 1 cc=2
+CFDTR round=6 2234000000000014 -> 2 cc=2
+CFDTR round=6 2234000000000015 -> 2 cc=2
+CFDTR round=6 2234000000000016 -> 2 cc=2
+CFDTR round=6 2244000000000016 -> 16000 cc=2
+CFDTR round=6 2254000000000016 -> 160000000 cc=2
+CFDTR round=6 2244000000000016 -> 16000 cc=2
+CFDTR round=6 2264000000000016 -> 2147483647 cc=3
+CFDTR round=6 2284000000000016 -> 2147483647 cc=3
+CFDTR round=6 4154000000000016 -> 2147483647 cc=3
+CFDTR round=6 2224000000000016 -> 1 cc=2
+CFDTR round=6 20bc000000000001 -> 1 cc=2
+CFDTR round=6 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=6 3c000000000001 -> 1 cc=2
+CFDTR round=6 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=6 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=6 220800000000000000000000 -> 0 cc=0
+CLFXTR round=6 220800000000000000000001 -> 1 cc=2
+CLFXTR round=6 2207c0000000000000000014 -> 2 cc=2
+CLFXTR round=6 2207c0000000000000000015 -> 2 cc=2
+CLFXTR round=6 2207c0000000000000000016 -> 2 cc=2
+CLFXTR round=6 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=6 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=6 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=6 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=6 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=6 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=6 2206c0000000000000000016 -> 1 cc=2
+CLFXTR round=6 21f040000000000000000001 -> 1 cc=2
+CLFXTR round=6 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=6 21a840000000000000000001 -> 1 cc=2
+CLFXTR round=6 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=6 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=6 220800000000000000000000 -> 0 cc=0
+CLGXTR round=6 220800000000000000000001 -> 1 cc=2
+CLGXTR round=6 2207c0000000000000000014 -> 2 cc=2
+CLGXTR round=6 2207c0000000000000000015 -> 2 cc=2
+CLGXTR round=6 2207c0000000000000000016 -> 2 cc=2
+CLGXTR round=6 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=6 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=6 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=6 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=6 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=6 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=6 2206c0000000000000000016 -> 1 cc=2
+CLGXTR round=6 21f040000000000000000001 -> 1 cc=2
+CLGXTR round=6 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=6 21a840000000000000000001 -> 1 cc=2
+CLGXTR round=6 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=6 a207c0000000000000000011 -> -1 cc=1
+CFXTR round=6 220800000000000000000000 -> 0 cc=0
+CFXTR round=6 220800000000000000000001 -> 1 cc=2
+CFXTR round=6 2207c0000000000000000014 -> 2 cc=2
+CFXTR round=6 2207c0000000000000000015 -> 2 cc=2
+CFXTR round=6 2207c0000000000000000016 -> 2 cc=2
+CFXTR round=6 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=6 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=6 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=6 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=6 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=6 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=6 2206c0000000000000000016 -> 1 cc=2
+CFXTR round=6 21f040000000000000000001 -> 1 cc=2
+CFXTR round=6 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=6 21a840000000000000000001 -> 1 cc=2
+CFXTR round=6 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=7 0 -> 2238000000000000
+CDLGTR round=7 1 -> 2238000000000001
+CDLGTR round=7 4294967295 -> 2238000115afb55b
+CDLGTR round=7 2147483648 -> 223800008c78af48
+CDLGTR round=7 2147483647 -> 223800008c78af47
+CDLGTR round=7 4294967296 -> 2238000115afb57a
+CDLGTR round=7 18446744073709551615 -> 264a4cdd2077c2dd
+CDLGTR round=7 9223372036854775808 -> 6e45237c836973f5
+CDLGTR round=7 9223372036854775807 -> 6e45237c836973f5
+CLFDTR round=7 a234000000000011 -> 0 cc=3
+CLFDTR round=7 2238000000000000 -> 0 cc=0
+CLFDTR round=7 2238000000000001 -> 1 cc=2
+CLFDTR round=7 2234000000000014 -> 1 cc=2
+CLFDTR round=7 2234000000000015 -> 1 cc=2
+CLFDTR round=7 2234000000000016 -> 1 cc=2
+CLFDTR round=7 2244000000000016 -> 16000 cc=2
+CLFDTR round=7 2254000000000016 -> 160000000 cc=2
+CLFDTR round=7 2244000000000016 -> 16000 cc=2
+CLFDTR round=7 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=7 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=7 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=7 2224000000000016 -> 0 cc=2
+CLFDTR round=7 20bc000000000001 -> 0 cc=2
+CLFDTR round=7 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=7 3c000000000001 -> 0 cc=2
+CLFDTR round=7 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=7 a234000000000011 -> 0 cc=3
+CLGDTR round=7 2238000000000000 -> 0 cc=0
+CLGDTR round=7 2238000000000001 -> 1 cc=2
+CLGDTR round=7 2234000000000014 -> 1 cc=2
+CLGDTR round=7 2234000000000015 -> 1 cc=2
+CLGDTR round=7 2234000000000016 -> 1 cc=2
+CLGDTR round=7 2244000000000016 -> 16000 cc=2
+CLGDTR round=7 2254000000000016 -> 160000000 cc=2
+CLGDTR round=7 2244000000000016 -> 16000 cc=2
+CLGDTR round=7 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=7 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=7 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=7 2224000000000016 -> 0 cc=2
+CLGDTR round=7 20bc000000000001 -> 0 cc=2
+CLGDTR round=7 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=7 3c000000000001 -> 0 cc=2
+CLGDTR round=7 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=7 a234000000000011 -> -2 cc=1
+CFDTR round=7 2238000000000000 -> 0 cc=0
+CFDTR round=7 2238000000000001 -> 1 cc=2
+CFDTR round=7 2234000000000014 -> 1 cc=2
+CFDTR round=7 2234000000000015 -> 1 cc=2
+CFDTR round=7 2234000000000016 -> 1 cc=2
+CFDTR round=7 2244000000000016 -> 16000 cc=2
+CFDTR round=7 2254000000000016 -> 160000000 cc=2
+CFDTR round=7 2244000000000016 -> 16000 cc=2
+CFDTR round=7 2264000000000016 -> 2147483647 cc=3
+CFDTR round=7 2284000000000016 -> 2147483647 cc=3
+CFDTR round=7 4154000000000016 -> 2147483647 cc=3
+CFDTR round=7 2224000000000016 -> 0 cc=2
+CFDTR round=7 20bc000000000001 -> 0 cc=2
+CFDTR round=7 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=7 3c000000000001 -> 0 cc=2
+CFDTR round=7 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=7 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=7 220800000000000000000000 -> 0 cc=0
+CLFXTR round=7 220800000000000000000001 -> 1 cc=2
+CLFXTR round=7 2207c0000000000000000014 -> 1 cc=2
+CLFXTR round=7 2207c0000000000000000015 -> 1 cc=2
+CLFXTR round=7 2207c0000000000000000016 -> 1 cc=2
+CLFXTR round=7 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=7 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=7 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=7 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=7 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=7 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=7 2206c0000000000000000016 -> 0 cc=2
+CLFXTR round=7 21f040000000000000000001 -> 0 cc=2
+CLFXTR round=7 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=7 21a840000000000000000001 -> 0 cc=2
+CLFXTR round=7 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=7 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=7 220800000000000000000000 -> 0 cc=0
+CLGXTR round=7 220800000000000000000001 -> 1 cc=2
+CLGXTR round=7 2207c0000000000000000014 -> 1 cc=2
+CLGXTR round=7 2207c0000000000000000015 -> 1 cc=2
+CLGXTR round=7 2207c0000000000000000016 -> 1 cc=2
+CLGXTR round=7 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=7 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=7 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=7 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=7 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=7 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=7 2206c0000000000000000016 -> 0 cc=2
+CLGXTR round=7 21f040000000000000000001 -> 0 cc=2
+CLGXTR round=7 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=7 21a840000000000000000001 -> 0 cc=2
+CLGXTR round=7 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=7 a207c0000000000000000011 -> -2 cc=1
+CFXTR round=7 220800000000000000000000 -> 0 cc=0
+CFXTR round=7 220800000000000000000001 -> 1 cc=2
+CFXTR round=7 2207c0000000000000000014 -> 1 cc=2
+CFXTR round=7 2207c0000000000000000015 -> 1 cc=2
+CFXTR round=7 2207c0000000000000000016 -> 1 cc=2
+CFXTR round=7 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=7 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=7 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=7 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=7 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=7 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=7 2206c0000000000000000016 -> 0 cc=2
+CFXTR round=7 21f040000000000000000001 -> 0 cc=2
+CFXTR round=7 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=7 21a840000000000000000001 -> 0 cc=2
+CFXTR round=7 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=8 0 -> 2238000000000000
+CDLGTR round=8 1 -> 2238000000000001
+CDLGTR round=8 4294967295 -> 2238000115afb55b
+CDLGTR round=8 2147483648 -> 223800008c78af48
+CDLGTR round=8 2147483647 -> 223800008c78af47
+CDLGTR round=8 4294967296 -> 2238000115afb57a
+CDLGTR round=8 18446744073709551615 -> 264a4cdd2077c2dd
+CDLGTR round=8 9223372036854775808 -> 6e45237c836973f6
+CDLGTR round=8 9223372036854775807 -> 6e45237c836973f6
+CLFDTR round=8 a234000000000011 -> 0 cc=3
+CLFDTR round=8 2238000000000000 -> 0 cc=0
+CLFDTR round=8 2238000000000001 -> 1 cc=2
+CLFDTR round=8 2234000000000014 -> 1 cc=2
+CLFDTR round=8 2234000000000015 -> 2 cc=2
+CLFDTR round=8 2234000000000016 -> 2 cc=2
+CLFDTR round=8 2244000000000016 -> 16000 cc=2
+CLFDTR round=8 2254000000000016 -> 160000000 cc=2
+CLFDTR round=8 2244000000000016 -> 16000 cc=2
+CLFDTR round=8 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=8 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=8 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=8 2224000000000016 -> 0 cc=2
+CLFDTR round=8 20bc000000000001 -> 0 cc=2
+CLFDTR round=8 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=8 3c000000000001 -> 0 cc=2
+CLFDTR round=8 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=8 a234000000000011 -> 0 cc=3
+CLGDTR round=8 2238000000000000 -> 0 cc=0
+CLGDTR round=8 2238000000000001 -> 1 cc=2
+CLGDTR round=8 2234000000000014 -> 1 cc=2
+CLGDTR round=8 2234000000000015 -> 2 cc=2
+CLGDTR round=8 2234000000000016 -> 2 cc=2
+CLGDTR round=8 2244000000000016 -> 16000 cc=2
+CLGDTR round=8 2254000000000016 -> 160000000 cc=2
+CLGDTR round=8 2244000000000016 -> 16000 cc=2
+CLGDTR round=8 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=8 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=8 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=8 2224000000000016 -> 0 cc=2
+CLGDTR round=8 20bc000000000001 -> 0 cc=2
+CLGDTR round=8 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=8 3c000000000001 -> 0 cc=2
+CLGDTR round=8 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=8 a234000000000011 -> -1 cc=1
+CFDTR round=8 2238000000000000 -> 0 cc=0
+CFDTR round=8 2238000000000001 -> 1 cc=2
+CFDTR round=8 2234000000000014 -> 1 cc=2
+CFDTR round=8 2234000000000015 -> 2 cc=2
+CFDTR round=8 2234000000000016 -> 2 cc=2
+CFDTR round=8 2244000000000016 -> 16000 cc=2
+CFDTR round=8 2254000000000016 -> 160000000 cc=2
+CFDTR round=8 2244000000000016 -> 16000 cc=2
+CFDTR round=8 2264000000000016 -> 2147483647 cc=3
+CFDTR round=8 2284000000000016 -> 2147483647 cc=3
+CFDTR round=8 4154000000000016 -> 2147483647 cc=3
+CFDTR round=8 2224000000000016 -> 0 cc=2
+CFDTR round=8 20bc000000000001 -> 0 cc=2
+CFDTR round=8 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=8 3c000000000001 -> 0 cc=2
+CFDTR round=8 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=8 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=8 220800000000000000000000 -> 0 cc=0
+CLFXTR round=8 220800000000000000000001 -> 1 cc=2
+CLFXTR round=8 2207c0000000000000000014 -> 1 cc=2
+CLFXTR round=8 2207c0000000000000000015 -> 2 cc=2
+CLFXTR round=8 2207c0000000000000000016 -> 2 cc=2
+CLFXTR round=8 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=8 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=8 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=8 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=8 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=8 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=8 2206c0000000000000000016 -> 0 cc=2
+CLFXTR round=8 21f040000000000000000001 -> 0 cc=2
+CLFXTR round=8 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=8 21a840000000000000000001 -> 0 cc=2
+CLFXTR round=8 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=8 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=8 220800000000000000000000 -> 0 cc=0
+CLGXTR round=8 220800000000000000000001 -> 1 cc=2
+CLGXTR round=8 2207c0000000000000000014 -> 1 cc=2
+CLGXTR round=8 2207c0000000000000000015 -> 2 cc=2
+CLGXTR round=8 2207c0000000000000000016 -> 2 cc=2
+CLGXTR round=8 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=8 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=8 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=8 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=8 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=8 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=8 2206c0000000000000000016 -> 0 cc=2
+CLGXTR round=8 21f040000000000000000001 -> 0 cc=2
+CLGXTR round=8 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=8 21a840000000000000000001 -> 0 cc=2
+CLGXTR round=8 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=8 a207c0000000000000000011 -> -1 cc=1
+CFXTR round=8 220800000000000000000000 -> 0 cc=0
+CFXTR round=8 220800000000000000000001 -> 1 cc=2
+CFXTR round=8 2207c0000000000000000014 -> 1 cc=2
+CFXTR round=8 2207c0000000000000000015 -> 2 cc=2
+CFXTR round=8 2207c0000000000000000016 -> 2 cc=2
+CFXTR round=8 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=8 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=8 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=8 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=8 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=8 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=8 2206c0000000000000000016 -> 0 cc=2
+CFXTR round=8 21f040000000000000000001 -> 0 cc=2
+CFXTR round=8 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=8 21a840000000000000000001 -> 0 cc=2
+CFXTR round=8 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=9 0 -> 2238000000000000
+CDLGTR round=9 1 -> 2238000000000001
+CDLGTR round=9 4294967295 -> 2238000115afb55b
+CDLGTR round=9 2147483648 -> 223800008c78af48
+CDLGTR round=9 2147483647 -> 223800008c78af47
+CDLGTR round=9 4294967296 -> 2238000115afb57a
+CDLGTR round=9 18446744073709551615 -> 264a4cdd2077c2dd
+CDLGTR round=9 9223372036854775808 -> 6e45237c836973f5
+CDLGTR round=9 9223372036854775807 -> 6e45237c836973f5
+CLFDTR round=9 a234000000000011 -> 0 cc=3
+CLFDTR round=9 2238000000000000 -> 0 cc=0
+CLFDTR round=9 2238000000000001 -> 1 cc=2
+CLFDTR round=9 2234000000000014 -> 1 cc=2
+CLFDTR round=9 2234000000000015 -> 1 cc=2
+CLFDTR round=9 2234000000000016 -> 1 cc=2
+CLFDTR round=9 2244000000000016 -> 16000 cc=2
+CLFDTR round=9 2254000000000016 -> 160000000 cc=2
+CLFDTR round=9 2244000000000016 -> 16000 cc=2
+CLFDTR round=9 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=9 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=9 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=9 2224000000000016 -> 0 cc=2
+CLFDTR round=9 20bc000000000001 -> 0 cc=2
+CLFDTR round=9 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=9 3c000000000001 -> 0 cc=2
+CLFDTR round=9 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=9 a234000000000011 -> 0 cc=3
+CLGDTR round=9 2238000000000000 -> 0 cc=0
+CLGDTR round=9 2238000000000001 -> 1 cc=2
+CLGDTR round=9 2234000000000014 -> 1 cc=2
+CLGDTR round=9 2234000000000015 -> 1 cc=2
+CLGDTR round=9 2234000000000016 -> 1 cc=2
+CLGDTR round=9 2244000000000016 -> 16000 cc=2
+CLGDTR round=9 2254000000000016 -> 160000000 cc=2
+CLGDTR round=9 2244000000000016 -> 16000 cc=2
+CLGDTR round=9 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=9 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=9 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=9 2224000000000016 -> 0 cc=2
+CLGDTR round=9 20bc000000000001 -> 0 cc=2
+CLGDTR round=9 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=9 3c000000000001 -> 0 cc=2
+CLGDTR round=9 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=9 a234000000000011 -> -1 cc=1
+CFDTR round=9 2238000000000000 -> 0 cc=0
+CFDTR round=9 2238000000000001 -> 1 cc=2
+CFDTR round=9 2234000000000014 -> 1 cc=2
+CFDTR round=9 2234000000000015 -> 1 cc=2
+CFDTR round=9 2234000000000016 -> 1 cc=2
+CFDTR round=9 2244000000000016 -> 16000 cc=2
+CFDTR round=9 2254000000000016 -> 160000000 cc=2
+CFDTR round=9 2244000000000016 -> 16000 cc=2
+CFDTR round=9 2264000000000016 -> 2147483647 cc=3
+CFDTR round=9 2284000000000016 -> 2147483647 cc=3
+CFDTR round=9 4154000000000016 -> 2147483647 cc=3
+CFDTR round=9 2224000000000016 -> 0 cc=2
+CFDTR round=9 20bc000000000001 -> 0 cc=2
+CFDTR round=9 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=9 3c000000000001 -> 0 cc=2
+CFDTR round=9 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=9 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=9 220800000000000000000000 -> 0 cc=0
+CLFXTR round=9 220800000000000000000001 -> 1 cc=2
+CLFXTR round=9 2207c0000000000000000014 -> 1 cc=2
+CLFXTR round=9 2207c0000000000000000015 -> 1 cc=2
+CLFXTR round=9 2207c0000000000000000016 -> 1 cc=2
+CLFXTR round=9 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=9 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=9 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=9 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=9 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=9 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=9 2206c0000000000000000016 -> 0 cc=2
+CLFXTR round=9 21f040000000000000000001 -> 0 cc=2
+CLFXTR round=9 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=9 21a840000000000000000001 -> 0 cc=2
+CLFXTR round=9 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=9 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=9 220800000000000000000000 -> 0 cc=0
+CLGXTR round=9 220800000000000000000001 -> 1 cc=2
+CLGXTR round=9 2207c0000000000000000014 -> 1 cc=2
+CLGXTR round=9 2207c0000000000000000015 -> 1 cc=2
+CLGXTR round=9 2207c0000000000000000016 -> 1 cc=2
+CLGXTR round=9 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=9 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=9 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=9 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=9 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=9 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=9 2206c0000000000000000016 -> 0 cc=2
+CLGXTR round=9 21f040000000000000000001 -> 0 cc=2
+CLGXTR round=9 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=9 21a840000000000000000001 -> 0 cc=2
+CLGXTR round=9 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=9 a207c0000000000000000011 -> -1 cc=1
+CFXTR round=9 220800000000000000000000 -> 0 cc=0
+CFXTR round=9 220800000000000000000001 -> 1 cc=2
+CFXTR round=9 2207c0000000000000000014 -> 1 cc=2
+CFXTR round=9 2207c0000000000000000015 -> 1 cc=2
+CFXTR round=9 2207c0000000000000000016 -> 1 cc=2
+CFXTR round=9 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=9 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=9 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=9 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=9 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=9 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=9 2206c0000000000000000016 -> 0 cc=2
+CFXTR round=9 21f040000000000000000001 -> 0 cc=2
+CFXTR round=9 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=9 21a840000000000000000001 -> 0 cc=2
+CFXTR round=9 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=10 0 -> 2238000000000000
+CDLGTR round=10 1 -> 2238000000000001
+CDLGTR round=10 4294967295 -> 2238000115afb55b
+CDLGTR round=10 2147483648 -> 223800008c78af48
+CDLGTR round=10 2147483647 -> 223800008c78af47
+CDLGTR round=10 4294967296 -> 2238000115afb57a
+CDLGTR round=10 18446744073709551615 -> 264a4cdd2077c3dc
+CDLGTR round=10 9223372036854775808 -> 6e45237c836973f6
+CDLGTR round=10 9223372036854775807 -> 6e45237c836973f6
+CLFDTR round=10 a234000000000011 -> 0 cc=3
+CLFDTR round=10 2238000000000000 -> 0 cc=0
+CLFDTR round=10 2238000000000001 -> 1 cc=2
+CLFDTR round=10 2234000000000014 -> 2 cc=2
+CLFDTR round=10 2234000000000015 -> 2 cc=2
+CLFDTR round=10 2234000000000016 -> 2 cc=2
+CLFDTR round=10 2244000000000016 -> 16000 cc=2
+CLFDTR round=10 2254000000000016 -> 160000000 cc=2
+CLFDTR round=10 2244000000000016 -> 16000 cc=2
+CLFDTR round=10 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=10 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=10 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=10 2224000000000016 -> 1 cc=2
+CLFDTR round=10 20bc000000000001 -> 1 cc=2
+CLFDTR round=10 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=10 3c000000000001 -> 1 cc=2
+CLFDTR round=10 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=10 a234000000000011 -> 0 cc=3
+CLGDTR round=10 2238000000000000 -> 0 cc=0
+CLGDTR round=10 2238000000000001 -> 1 cc=2
+CLGDTR round=10 2234000000000014 -> 2 cc=2
+CLGDTR round=10 2234000000000015 -> 2 cc=2
+CLGDTR round=10 2234000000000016 -> 2 cc=2
+CLGDTR round=10 2244000000000016 -> 16000 cc=2
+CLGDTR round=10 2254000000000016 -> 160000000 cc=2
+CLGDTR round=10 2244000000000016 -> 16000 cc=2
+CLGDTR round=10 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=10 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=10 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=10 2224000000000016 -> 1 cc=2
+CLGDTR round=10 20bc000000000001 -> 1 cc=2
+CLGDTR round=10 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=10 3c000000000001 -> 1 cc=2
+CLGDTR round=10 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=10 a234000000000011 -> -1 cc=1
+CFDTR round=10 2238000000000000 -> 0 cc=0
+CFDTR round=10 2238000000000001 -> 1 cc=2
+CFDTR round=10 2234000000000014 -> 2 cc=2
+CFDTR round=10 2234000000000015 -> 2 cc=2
+CFDTR round=10 2234000000000016 -> 2 cc=2
+CFDTR round=10 2244000000000016 -> 16000 cc=2
+CFDTR round=10 2254000000000016 -> 160000000 cc=2
+CFDTR round=10 2244000000000016 -> 16000 cc=2
+CFDTR round=10 2264000000000016 -> 2147483647 cc=3
+CFDTR round=10 2284000000000016 -> 2147483647 cc=3
+CFDTR round=10 4154000000000016 -> 2147483647 cc=3
+CFDTR round=10 2224000000000016 -> 1 cc=2
+CFDTR round=10 20bc000000000001 -> 1 cc=2
+CFDTR round=10 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=10 3c000000000001 -> 1 cc=2
+CFDTR round=10 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=10 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=10 220800000000000000000000 -> 0 cc=0
+CLFXTR round=10 220800000000000000000001 -> 1 cc=2
+CLFXTR round=10 2207c0000000000000000014 -> 2 cc=2
+CLFXTR round=10 2207c0000000000000000015 -> 2 cc=2
+CLFXTR round=10 2207c0000000000000000016 -> 2 cc=2
+CLFXTR round=10 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=10 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=10 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=10 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=10 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=10 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=10 2206c0000000000000000016 -> 1 cc=2
+CLFXTR round=10 21f040000000000000000001 -> 1 cc=2
+CLFXTR round=10 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=10 21a840000000000000000001 -> 1 cc=2
+CLFXTR round=10 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=10 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=10 220800000000000000000000 -> 0 cc=0
+CLGXTR round=10 220800000000000000000001 -> 1 cc=2
+CLGXTR round=10 2207c0000000000000000014 -> 2 cc=2
+CLGXTR round=10 2207c0000000000000000015 -> 2 cc=2
+CLGXTR round=10 2207c0000000000000000016 -> 2 cc=2
+CLGXTR round=10 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=10 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=10 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=10 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=10 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=10 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=10 2206c0000000000000000016 -> 1 cc=2
+CLGXTR round=10 21f040000000000000000001 -> 1 cc=2
+CLGXTR round=10 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=10 21a840000000000000000001 -> 1 cc=2
+CLGXTR round=10 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=10 a207c0000000000000000011 -> -1 cc=1
+CFXTR round=10 220800000000000000000000 -> 0 cc=0
+CFXTR round=10 220800000000000000000001 -> 1 cc=2
+CFXTR round=10 2207c0000000000000000014 -> 2 cc=2
+CFXTR round=10 2207c0000000000000000015 -> 2 cc=2
+CFXTR round=10 2207c0000000000000000016 -> 2 cc=2
+CFXTR round=10 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=10 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=10 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=10 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=10 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=10 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=10 2206c0000000000000000016 -> 1 cc=2
+CFXTR round=10 21f040000000000000000001 -> 1 cc=2
+CFXTR round=10 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=10 21a840000000000000000001 -> 1 cc=2
+CFXTR round=10 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=11 0 -> 2238000000000000
+CDLGTR round=11 1 -> 2238000000000001
+CDLGTR round=11 4294967295 -> 2238000115afb55b
+CDLGTR round=11 2147483648 -> 223800008c78af48
+CDLGTR round=11 2147483647 -> 223800008c78af47
+CDLGTR round=11 4294967296 -> 2238000115afb57a
+CDLGTR round=11 18446744073709551615 -> 264a4cdd2077c2dd
+CDLGTR round=11 9223372036854775808 -> 6e45237c836973f5
+CDLGTR round=11 9223372036854775807 -> 6e45237c836973f5
+CLFDTR round=11 a234000000000011 -> 0 cc=3
+CLFDTR round=11 2238000000000000 -> 0 cc=0
+CLFDTR round=11 2238000000000001 -> 1 cc=2
+CLFDTR round=11 2234000000000014 -> 1 cc=2
+CLFDTR round=11 2234000000000015 -> 1 cc=2
+CLFDTR round=11 2234000000000016 -> 1 cc=2
+CLFDTR round=11 2244000000000016 -> 16000 cc=2
+CLFDTR round=11 2254000000000016 -> 160000000 cc=2
+CLFDTR round=11 2244000000000016 -> 16000 cc=2
+CLFDTR round=11 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=11 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=11 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=11 2224000000000016 -> 0 cc=2
+CLFDTR round=11 20bc000000000001 -> 0 cc=2
+CLFDTR round=11 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=11 3c000000000001 -> 0 cc=2
+CLFDTR round=11 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=11 a234000000000011 -> 0 cc=3
+CLGDTR round=11 2238000000000000 -> 0 cc=0
+CLGDTR round=11 2238000000000001 -> 1 cc=2
+CLGDTR round=11 2234000000000014 -> 1 cc=2
+CLGDTR round=11 2234000000000015 -> 1 cc=2
+CLGDTR round=11 2234000000000016 -> 1 cc=2
+CLGDTR round=11 2244000000000016 -> 16000 cc=2
+CLGDTR round=11 2254000000000016 -> 160000000 cc=2
+CLGDTR round=11 2244000000000016 -> 16000 cc=2
+CLGDTR round=11 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=11 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=11 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=11 2224000000000016 -> 0 cc=2
+CLGDTR round=11 20bc000000000001 -> 0 cc=2
+CLGDTR round=11 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=11 3c000000000001 -> 0 cc=2
+CLGDTR round=11 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=11 a234000000000011 -> -2 cc=1
+CFDTR round=11 2238000000000000 -> 0 cc=0
+CFDTR round=11 2238000000000001 -> 1 cc=2
+CFDTR round=11 2234000000000014 -> 1 cc=2
+CFDTR round=11 2234000000000015 -> 1 cc=2
+CFDTR round=11 2234000000000016 -> 1 cc=2
+CFDTR round=11 2244000000000016 -> 16000 cc=2
+CFDTR round=11 2254000000000016 -> 160000000 cc=2
+CFDTR round=11 2244000000000016 -> 16000 cc=2
+CFDTR round=11 2264000000000016 -> 2147483647 cc=3
+CFDTR round=11 2284000000000016 -> 2147483647 cc=3
+CFDTR round=11 4154000000000016 -> 2147483647 cc=3
+CFDTR round=11 2224000000000016 -> 0 cc=2
+CFDTR round=11 20bc000000000001 -> 0 cc=2
+CFDTR round=11 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=11 3c000000000001 -> 0 cc=2
+CFDTR round=11 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=11 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=11 220800000000000000000000 -> 0 cc=0
+CLFXTR round=11 220800000000000000000001 -> 1 cc=2
+CLFXTR round=11 2207c0000000000000000014 -> 1 cc=2
+CLFXTR round=11 2207c0000000000000000015 -> 1 cc=2
+CLFXTR round=11 2207c0000000000000000016 -> 1 cc=2
+CLFXTR round=11 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=11 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=11 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=11 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=11 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=11 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=11 2206c0000000000000000016 -> 0 cc=2
+CLFXTR round=11 21f040000000000000000001 -> 0 cc=2
+CLFXTR round=11 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=11 21a840000000000000000001 -> 0 cc=2
+CLFXTR round=11 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=11 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=11 220800000000000000000000 -> 0 cc=0
+CLGXTR round=11 220800000000000000000001 -> 1 cc=2
+CLGXTR round=11 2207c0000000000000000014 -> 1 cc=2
+CLGXTR round=11 2207c0000000000000000015 -> 1 cc=2
+CLGXTR round=11 2207c0000000000000000016 -> 1 cc=2
+CLGXTR round=11 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=11 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=11 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=11 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=11 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=11 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=11 2206c0000000000000000016 -> 0 cc=2
+CLGXTR round=11 21f040000000000000000001 -> 0 cc=2
+CLGXTR round=11 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=11 21a840000000000000000001 -> 0 cc=2
+CLGXTR round=11 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=11 a207c0000000000000000011 -> -2 cc=1
+CFXTR round=11 220800000000000000000000 -> 0 cc=0
+CFXTR round=11 220800000000000000000001 -> 1 cc=2
+CFXTR round=11 2207c0000000000000000014 -> 1 cc=2
+CFXTR round=11 2207c0000000000000000015 -> 1 cc=2
+CFXTR round=11 2207c0000000000000000016 -> 1 cc=2
+CFXTR round=11 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=11 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=11 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=11 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=11 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=11 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=11 2206c0000000000000000016 -> 0 cc=2
+CFXTR round=11 21f040000000000000000001 -> 0 cc=2
+CFXTR round=11 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=11 21a840000000000000000001 -> 0 cc=2
+CFXTR round=11 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=12 0 -> 2238000000000000
+CDLGTR round=12 1 -> 2238000000000001
+CDLGTR round=12 4294967295 -> 2238000115afb55b
+CDLGTR round=12 2147483648 -> 223800008c78af48
+CDLGTR round=12 2147483647 -> 223800008c78af47
+CDLGTR round=12 4294967296 -> 2238000115afb57a
+CDLGTR round=12 18446744073709551615 -> 264a4cdd2077c2dd
+CDLGTR round=12 9223372036854775808 -> 6e45237c836973f6
+CDLGTR round=12 9223372036854775807 -> 6e45237c836973f6
+CLFDTR round=12 a234000000000011 -> 0 cc=3
+CLFDTR round=12 2238000000000000 -> 0 cc=0
+CLFDTR round=12 2238000000000001 -> 1 cc=2
+CLFDTR round=12 2234000000000014 -> 1 cc=2
+CLFDTR round=12 2234000000000015 -> 2 cc=2
+CLFDTR round=12 2234000000000016 -> 2 cc=2
+CLFDTR round=12 2244000000000016 -> 16000 cc=2
+CLFDTR round=12 2254000000000016 -> 160000000 cc=2
+CLFDTR round=12 2244000000000016 -> 16000 cc=2
+CLFDTR round=12 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=12 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=12 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=12 2224000000000016 -> 0 cc=2
+CLFDTR round=12 20bc000000000001 -> 0 cc=2
+CLFDTR round=12 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=12 3c000000000001 -> 0 cc=2
+CLFDTR round=12 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=12 a234000000000011 -> 0 cc=3
+CLGDTR round=12 2238000000000000 -> 0 cc=0
+CLGDTR round=12 2238000000000001 -> 1 cc=2
+CLGDTR round=12 2234000000000014 -> 1 cc=2
+CLGDTR round=12 2234000000000015 -> 2 cc=2
+CLGDTR round=12 2234000000000016 -> 2 cc=2
+CLGDTR round=12 2244000000000016 -> 16000 cc=2
+CLGDTR round=12 2254000000000016 -> 160000000 cc=2
+CLGDTR round=12 2244000000000016 -> 16000 cc=2
+CLGDTR round=12 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=12 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=12 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=12 2224000000000016 -> 0 cc=2
+CLGDTR round=12 20bc000000000001 -> 0 cc=2
+CLGDTR round=12 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=12 3c000000000001 -> 0 cc=2
+CLGDTR round=12 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=12 a234000000000011 -> -1 cc=1
+CFDTR round=12 2238000000000000 -> 0 cc=0
+CFDTR round=12 2238000000000001 -> 1 cc=2
+CFDTR round=12 2234000000000014 -> 1 cc=2
+CFDTR round=12 2234000000000015 -> 2 cc=2
+CFDTR round=12 2234000000000016 -> 2 cc=2
+CFDTR round=12 2244000000000016 -> 16000 cc=2
+CFDTR round=12 2254000000000016 -> 160000000 cc=2
+CFDTR round=12 2244000000000016 -> 16000 cc=2
+CFDTR round=12 2264000000000016 -> 2147483647 cc=3
+CFDTR round=12 2284000000000016 -> 2147483647 cc=3
+CFDTR round=12 4154000000000016 -> 2147483647 cc=3
+CFDTR round=12 2224000000000016 -> 0 cc=2
+CFDTR round=12 20bc000000000001 -> 0 cc=2
+CFDTR round=12 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=12 3c000000000001 -> 0 cc=2
+CFDTR round=12 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=12 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=12 220800000000000000000000 -> 0 cc=0
+CLFXTR round=12 220800000000000000000001 -> 1 cc=2
+CLFXTR round=12 2207c0000000000000000014 -> 1 cc=2
+CLFXTR round=12 2207c0000000000000000015 -> 2 cc=2
+CLFXTR round=12 2207c0000000000000000016 -> 2 cc=2
+CLFXTR round=12 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=12 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=12 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=12 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=12 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=12 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=12 2206c0000000000000000016 -> 0 cc=2
+CLFXTR round=12 21f040000000000000000001 -> 0 cc=2
+CLFXTR round=12 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=12 21a840000000000000000001 -> 0 cc=2
+CLFXTR round=12 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=12 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=12 220800000000000000000000 -> 0 cc=0
+CLGXTR round=12 220800000000000000000001 -> 1 cc=2
+CLGXTR round=12 2207c0000000000000000014 -> 1 cc=2
+CLGXTR round=12 2207c0000000000000000015 -> 2 cc=2
+CLGXTR round=12 2207c0000000000000000016 -> 2 cc=2
+CLGXTR round=12 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=12 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=12 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=12 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=12 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=12 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=12 2206c0000000000000000016 -> 0 cc=2
+CLGXTR round=12 21f040000000000000000001 -> 0 cc=2
+CLGXTR round=12 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=12 21a840000000000000000001 -> 0 cc=2
+CLGXTR round=12 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=12 a207c0000000000000000011 -> -1 cc=1
+CFXTR round=12 220800000000000000000000 -> 0 cc=0
+CFXTR round=12 220800000000000000000001 -> 1 cc=2
+CFXTR round=12 2207c0000000000000000014 -> 1 cc=2
+CFXTR round=12 2207c0000000000000000015 -> 2 cc=2
+CFXTR round=12 2207c0000000000000000016 -> 2 cc=2
+CFXTR round=12 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=12 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=12 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=12 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=12 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=12 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=12 2206c0000000000000000016 -> 0 cc=2
+CFXTR round=12 21f040000000000000000001 -> 0 cc=2
+CFXTR round=12 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=12 21a840000000000000000001 -> 0 cc=2
+CFXTR round=12 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=13 0 -> 2238000000000000
+CDLGTR round=13 1 -> 2238000000000001
+CDLGTR round=13 4294967295 -> 2238000115afb55b
+CDLGTR round=13 2147483648 -> 223800008c78af48
+CDLGTR round=13 2147483647 -> 223800008c78af47
+CDLGTR round=13 4294967296 -> 2238000115afb57a
+CDLGTR round=13 18446744073709551615 -> 264a4cdd2077c2dd
+CDLGTR round=13 9223372036854775808 -> 6e45237c836973f6
+CDLGTR round=13 9223372036854775807 -> 6e45237c836973f6
+CLFDTR round=13 a234000000000011 -> 0 cc=3
+CLFDTR round=13 2238000000000000 -> 0 cc=0
+CLFDTR round=13 2238000000000001 -> 1 cc=2
+CLFDTR round=13 2234000000000014 -> 1 cc=2
+CLFDTR round=13 2234000000000015 -> 1 cc=2
+CLFDTR round=13 2234000000000016 -> 2 cc=2
+CLFDTR round=13 2244000000000016 -> 16000 cc=2
+CLFDTR round=13 2254000000000016 -> 160000000 cc=2
+CLFDTR round=13 2244000000000016 -> 16000 cc=2
+CLFDTR round=13 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=13 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=13 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=13 2224000000000016 -> 0 cc=2
+CLFDTR round=13 20bc000000000001 -> 0 cc=2
+CLFDTR round=13 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=13 3c000000000001 -> 0 cc=2
+CLFDTR round=13 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=13 a234000000000011 -> 0 cc=3
+CLGDTR round=13 2238000000000000 -> 0 cc=0
+CLGDTR round=13 2238000000000001 -> 1 cc=2
+CLGDTR round=13 2234000000000014 -> 1 cc=2
+CLGDTR round=13 2234000000000015 -> 1 cc=2
+CLGDTR round=13 2234000000000016 -> 2 cc=2
+CLGDTR round=13 2244000000000016 -> 16000 cc=2
+CLGDTR round=13 2254000000000016 -> 160000000 cc=2
+CLGDTR round=13 2244000000000016 -> 16000 cc=2
+CLGDTR round=13 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=13 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=13 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=13 2224000000000016 -> 0 cc=2
+CLGDTR round=13 20bc000000000001 -> 0 cc=2
+CLGDTR round=13 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=13 3c000000000001 -> 0 cc=2
+CLGDTR round=13 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=13 a234000000000011 -> -1 cc=1
+CFDTR round=13 2238000000000000 -> 0 cc=0
+CFDTR round=13 2238000000000001 -> 1 cc=2
+CFDTR round=13 2234000000000014 -> 1 cc=2
+CFDTR round=13 2234000000000015 -> 1 cc=2
+CFDTR round=13 2234000000000016 -> 2 cc=2
+CFDTR round=13 2244000000000016 -> 16000 cc=2
+CFDTR round=13 2254000000000016 -> 160000000 cc=2
+CFDTR round=13 2244000000000016 -> 16000 cc=2
+CFDTR round=13 2264000000000016 -> 2147483647 cc=3
+CFDTR round=13 2284000000000016 -> 2147483647 cc=3
+CFDTR round=13 4154000000000016 -> 2147483647 cc=3
+CFDTR round=13 2224000000000016 -> 0 cc=2
+CFDTR round=13 20bc000000000001 -> 0 cc=2
+CFDTR round=13 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=13 3c000000000001 -> 0 cc=2
+CFDTR round=13 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=13 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=13 220800000000000000000000 -> 0 cc=0
+CLFXTR round=13 220800000000000000000001 -> 1 cc=2
+CLFXTR round=13 2207c0000000000000000014 -> 1 cc=2
+CLFXTR round=13 2207c0000000000000000015 -> 1 cc=2
+CLFXTR round=13 2207c0000000000000000016 -> 2 cc=2
+CLFXTR round=13 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=13 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=13 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=13 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=13 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=13 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=13 2206c0000000000000000016 -> 0 cc=2
+CLFXTR round=13 21f040000000000000000001 -> 0 cc=2
+CLFXTR round=13 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=13 21a840000000000000000001 -> 0 cc=2
+CLFXTR round=13 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=13 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=13 220800000000000000000000 -> 0 cc=0
+CLGXTR round=13 220800000000000000000001 -> 1 cc=2
+CLGXTR round=13 2207c0000000000000000014 -> 1 cc=2
+CLGXTR round=13 2207c0000000000000000015 -> 1 cc=2
+CLGXTR round=13 2207c0000000000000000016 -> 2 cc=2
+CLGXTR round=13 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=13 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=13 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=13 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=13 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=13 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=13 2206c0000000000000000016 -> 0 cc=2
+CLGXTR round=13 21f040000000000000000001 -> 0 cc=2
+CLGXTR round=13 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=13 21a840000000000000000001 -> 0 cc=2
+CLGXTR round=13 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=13 a207c0000000000000000011 -> -1 cc=1
+CFXTR round=13 220800000000000000000000 -> 0 cc=0
+CFXTR round=13 220800000000000000000001 -> 1 cc=2
+CFXTR round=13 2207c0000000000000000014 -> 1 cc=2
+CFXTR round=13 2207c0000000000000000015 -> 1 cc=2
+CFXTR round=13 2207c0000000000000000016 -> 2 cc=2
+CFXTR round=13 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=13 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=13 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=13 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=13 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=13 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=13 2206c0000000000000000016 -> 0 cc=2
+CFXTR round=13 21f040000000000000000001 -> 0 cc=2
+CFXTR round=13 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=13 21a840000000000000000001 -> 0 cc=2
+CFXTR round=13 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=14 0 -> 2238000000000000
+CDLGTR round=14 1 -> 2238000000000001
+CDLGTR round=14 4294967295 -> 2238000115afb55b
+CDLGTR round=14 2147483648 -> 223800008c78af48
+CDLGTR round=14 2147483647 -> 223800008c78af47
+CDLGTR round=14 4294967296 -> 2238000115afb57a
+CDLGTR round=14 18446744073709551615 -> 264a4cdd2077c3dc
+CDLGTR round=14 9223372036854775808 -> 6e45237c836973f6
+CDLGTR round=14 9223372036854775807 -> 6e45237c836973f6
+CLFDTR round=14 a234000000000011 -> 0 cc=3
+CLFDTR round=14 2238000000000000 -> 0 cc=0
+CLFDTR round=14 2238000000000001 -> 1 cc=2
+CLFDTR round=14 2234000000000014 -> 2 cc=2
+CLFDTR round=14 2234000000000015 -> 2 cc=2
+CLFDTR round=14 2234000000000016 -> 2 cc=2
+CLFDTR round=14 2244000000000016 -> 16000 cc=2
+CLFDTR round=14 2254000000000016 -> 160000000 cc=2
+CLFDTR round=14 2244000000000016 -> 16000 cc=2
+CLFDTR round=14 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=14 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=14 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=14 2224000000000016 -> 1 cc=2
+CLFDTR round=14 20bc000000000001 -> 1 cc=2
+CLFDTR round=14 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=14 3c000000000001 -> 1 cc=2
+CLFDTR round=14 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=14 a234000000000011 -> 0 cc=3
+CLGDTR round=14 2238000000000000 -> 0 cc=0
+CLGDTR round=14 2238000000000001 -> 1 cc=2
+CLGDTR round=14 2234000000000014 -> 2 cc=2
+CLGDTR round=14 2234000000000015 -> 2 cc=2
+CLGDTR round=14 2234000000000016 -> 2 cc=2
+CLGDTR round=14 2244000000000016 -> 16000 cc=2
+CLGDTR round=14 2254000000000016 -> 160000000 cc=2
+CLGDTR round=14 2244000000000016 -> 16000 cc=2
+CLGDTR round=14 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=14 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=14 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=14 2224000000000016 -> 1 cc=2
+CLGDTR round=14 20bc000000000001 -> 1 cc=2
+CLGDTR round=14 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=14 3c000000000001 -> 1 cc=2
+CLGDTR round=14 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=14 a234000000000011 -> -2 cc=1
+CFDTR round=14 2238000000000000 -> 0 cc=0
+CFDTR round=14 2238000000000001 -> 1 cc=2
+CFDTR round=14 2234000000000014 -> 2 cc=2
+CFDTR round=14 2234000000000015 -> 2 cc=2
+CFDTR round=14 2234000000000016 -> 2 cc=2
+CFDTR round=14 2244000000000016 -> 16000 cc=2
+CFDTR round=14 2254000000000016 -> 160000000 cc=2
+CFDTR round=14 2244000000000016 -> 16000 cc=2
+CFDTR round=14 2264000000000016 -> 2147483647 cc=3
+CFDTR round=14 2284000000000016 -> 2147483647 cc=3
+CFDTR round=14 4154000000000016 -> 2147483647 cc=3
+CFDTR round=14 2224000000000016 -> 1 cc=2
+CFDTR round=14 20bc000000000001 -> 1 cc=2
+CFDTR round=14 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=14 3c000000000001 -> 1 cc=2
+CFDTR round=14 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=14 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=14 220800000000000000000000 -> 0 cc=0
+CLFXTR round=14 220800000000000000000001 -> 1 cc=2
+CLFXTR round=14 2207c0000000000000000014 -> 2 cc=2
+CLFXTR round=14 2207c0000000000000000015 -> 2 cc=2
+CLFXTR round=14 2207c0000000000000000016 -> 2 cc=2
+CLFXTR round=14 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=14 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=14 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=14 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=14 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=14 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=14 2206c0000000000000000016 -> 1 cc=2
+CLFXTR round=14 21f040000000000000000001 -> 1 cc=2
+CLFXTR round=14 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=14 21a840000000000000000001 -> 1 cc=2
+CLFXTR round=14 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=14 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=14 220800000000000000000000 -> 0 cc=0
+CLGXTR round=14 220800000000000000000001 -> 1 cc=2
+CLGXTR round=14 2207c0000000000000000014 -> 2 cc=2
+CLGXTR round=14 2207c0000000000000000015 -> 2 cc=2
+CLGXTR round=14 2207c0000000000000000016 -> 2 cc=2
+CLGXTR round=14 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=14 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=14 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=14 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=14 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=14 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=14 2206c0000000000000000016 -> 1 cc=2
+CLGXTR round=14 21f040000000000000000001 -> 1 cc=2
+CLGXTR round=14 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=14 21a840000000000000000001 -> 1 cc=2
+CLGXTR round=14 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=14 a207c0000000000000000011 -> -2 cc=1
+CFXTR round=14 220800000000000000000000 -> 0 cc=0
+CFXTR round=14 220800000000000000000001 -> 1 cc=2
+CFXTR round=14 2207c0000000000000000014 -> 2 cc=2
+CFXTR round=14 2207c0000000000000000015 -> 2 cc=2
+CFXTR round=14 2207c0000000000000000016 -> 2 cc=2
+CFXTR round=14 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=14 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=14 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=14 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=14 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=14 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=14 2206c0000000000000000016 -> 1 cc=2
+CFXTR round=14 21f040000000000000000001 -> 1 cc=2
+CFXTR round=14 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=14 21a840000000000000000001 -> 1 cc=2
+CFXTR round=14 226440000000000024ff3fcff3fcff -> 2147483647 cc=3
+CDLGTR round=15 0 -> 2238000000000000
+CDLGTR round=15 1 -> 2238000000000001
+CDLGTR round=15 4294967295 -> 2238000115afb55b
+CDLGTR round=15 2147483648 -> 223800008c78af48
+CDLGTR round=15 2147483647 -> 223800008c78af47
+CDLGTR round=15 4294967296 -> 2238000115afb57a
+CDLGTR round=15 18446744073709551615 -> 264a4cdd2077c3dc
+CDLGTR round=15 9223372036854775808 -> 6e45237c836973f6
+CDLGTR round=15 9223372036854775807 -> 6e45237c836973f6
+CLFDTR round=15 a234000000000011 -> 0 cc=3
+CLFDTR round=15 2238000000000000 -> 0 cc=0
+CLFDTR round=15 2238000000000001 -> 1 cc=2
+CLFDTR round=15 2234000000000014 -> 1 cc=2
+CLFDTR round=15 2234000000000015 -> 1 cc=2
+CLFDTR round=15 2234000000000016 -> 1 cc=2
+CLFDTR round=15 2244000000000016 -> 16000 cc=2
+CLFDTR round=15 2254000000000016 -> 160000000 cc=2
+CLFDTR round=15 2244000000000016 -> 16000 cc=2
+CLFDTR round=15 2264000000000016 -> 4294967295 cc=3
+CLFDTR round=15 2284000000000016 -> 4294967295 cc=3
+CLFDTR round=15 4154000000000016 -> 4294967295 cc=3
+CLFDTR round=15 2224000000000016 -> 1 cc=2
+CLFDTR round=15 20bc000000000001 -> 1 cc=2
+CLFDTR round=15 23a000000093fcff -> 4294967295 cc=3
+CLFDTR round=15 3c000000000001 -> 1 cc=2
+CLFDTR round=15 77fcff3fcff3fcff -> 4294967295 cc=3
+CLGDTR round=15 a234000000000011 -> 0 cc=3
+CLGDTR round=15 2238000000000000 -> 0 cc=0
+CLGDTR round=15 2238000000000001 -> 1 cc=2
+CLGDTR round=15 2234000000000014 -> 1 cc=2
+CLGDTR round=15 2234000000000015 -> 1 cc=2
+CLGDTR round=15 2234000000000016 -> 1 cc=2
+CLGDTR round=15 2244000000000016 -> 16000 cc=2
+CLGDTR round=15 2254000000000016 -> 160000000 cc=2
+CLGDTR round=15 2244000000000016 -> 16000 cc=2
+CLGDTR round=15 2264000000000016 -> 1600000000000 cc=2
+CLGDTR round=15 2284000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=15 4154000000000016 -> 18446744073709551615 cc=3
+CLGDTR round=15 2224000000000016 -> 1 cc=2
+CLGDTR round=15 20bc000000000001 -> 1 cc=2
+CLGDTR round=15 23a000000093fcff -> 18446744073709551615 cc=3
+CLGDTR round=15 3c000000000001 -> 1 cc=2
+CLGDTR round=15 77fcff3fcff3fcff -> 18446744073709551615 cc=3
+CFDTR round=15 a234000000000011 -> -1 cc=1
+CFDTR round=15 2238000000000000 -> 0 cc=0
+CFDTR round=15 2238000000000001 -> 1 cc=2
+CFDTR round=15 2234000000000014 -> 1 cc=2
+CFDTR round=15 2234000000000015 -> 1 cc=2
+CFDTR round=15 2234000000000016 -> 1 cc=2
+CFDTR round=15 2244000000000016 -> 16000 cc=2
+CFDTR round=15 2254000000000016 -> 160000000 cc=2
+CFDTR round=15 2244000000000016 -> 16000 cc=2
+CFDTR round=15 2264000000000016 -> 2147483647 cc=3
+CFDTR round=15 2284000000000016 -> 2147483647 cc=3
+CFDTR round=15 4154000000000016 -> 2147483647 cc=3
+CFDTR round=15 2224000000000016 -> 1 cc=2
+CFDTR round=15 20bc000000000001 -> 1 cc=2
+CFDTR round=15 23a000000093fcff -> 2147483647 cc=3
+CFDTR round=15 3c000000000001 -> 1 cc=2
+CFDTR round=15 77fcff3fcff3fcff -> 2147483647 cc=3
+CLFXTR round=15 a207c0000000000000000011 -> 0 cc=3
+CLFXTR round=15 220800000000000000000000 -> 0 cc=0
+CLFXTR round=15 220800000000000000000001 -> 1 cc=2
+CLFXTR round=15 2207c0000000000000000014 -> 1 cc=2
+CLFXTR round=15 2207c0000000000000000015 -> 1 cc=2
+CLFXTR round=15 2207c0000000000000000016 -> 1 cc=2
+CLFXTR round=15 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=15 2209c0000000000000000016 -> 160000000 cc=2
+CLFXTR round=15 2208c0000000000000000016 -> 16000 cc=2
+CLFXTR round=15 220ac0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=15 220cc0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=15 2239c0000000000000000016 -> 4294967295 cc=3
+CLFXTR round=15 2206c0000000000000000016 -> 1 cc=2
+CLFXTR round=15 21f040000000000000000001 -> 1 cc=2
+CLFXTR round=15 221e8000000000000093fcff -> 4294967295 cc=3
+CLFXTR round=15 21a840000000000000000001 -> 1 cc=2
+CLFXTR round=15 226440000000000024ff3fcff3fcff -> 4294967295 cc=3
+CLGXTR round=15 a207c0000000000000000011 -> 0 cc=3
+CLGXTR round=15 220800000000000000000000 -> 0 cc=0
+CLGXTR round=15 220800000000000000000001 -> 1 cc=2
+CLGXTR round=15 2207c0000000000000000014 -> 1 cc=2
+CLGXTR round=15 2207c0000000000000000015 -> 1 cc=2
+CLGXTR round=15 2207c0000000000000000016 -> 1 cc=2
+CLGXTR round=15 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=15 2209c0000000000000000016 -> 160000000 cc=2
+CLGXTR round=15 2208c0000000000000000016 -> 16000 cc=2
+CLGXTR round=15 220ac0000000000000000016 -> 1600000000000 cc=2
+CLGXTR round=15 220cc0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=15 2239c0000000000000000016 -> 18446744073709551615 cc=3
+CLGXTR round=15 2206c0000000000000000016 -> 1 cc=2
+CLGXTR round=15 21f040000000000000000001 -> 1 cc=2
+CLGXTR round=15 221e8000000000000093fcff -> 18446744073709551615 cc=3
+CLGXTR round=15 21a840000000000000000001 -> 1 cc=2
+CLGXTR round=15 226440000000000024ff3fcff3fcff -> 18446744073709551615 cc=3
+CFXTR round=15 a207c0000000000000000011 -> -1 cc=1
+CFXTR round=15 220800000000000000000000 -> 0 cc=0
+CFXTR round=15 220800000000000000000001 -> 1 cc=2
+CFXTR round=15 2207c0000000000000000014 -> 1 cc=2
+CFXTR round=15 2207c0000000000000000015 -> 1 cc=2
+CFXTR round=15 2207c0000000000000000016 -> 1 cc=2
+CFXTR round=15 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=15 2209c0000000000000000016 -> 160000000 cc=2
+CFXTR round=15 2208c0000000000000000016 -> 16000 cc=2
+CFXTR round=15 220ac0000000000000000016 -> 2147483647 cc=3
+CFXTR round=15 220cc0000000000000000016 -> 2147483647 cc=3
+CFXTR round=15 2239c0000000000000000016 -> 2147483647 cc=3
+CFXTR round=15 2206c0000000000000000016 -> 1 cc=2
+CFXTR round=15 21f040000000000000000001 -> 1 cc=2
+CFXTR round=15 221e8000000000000093fcff -> 2147483647 cc=3
+CFXTR round=15 21a840000000000000000001 -> 1 cc=2
+CFXTR round=15 226440000000000024ff3fcff3fcff -> 2147483647 cc=3

diff --git a/none/tests/s390x/dfpext.vgtest b/none/tests/s390x/dfpext.vgtest
new file mode 100644 (file)
index 0000000..ced73e5
--- /dev/null
+++ b/none/tests/s390x/dfpext.vgtest
@@ -0,0 +1,2 @@
+prog: dfpext
+prereq: test -e dfpext && ../../../tests/s390x_features s390x-dfp && ../../../tests/s390x_features s390x-fpext

diff --git a/none/tests/s390x/opcodes.h b/none/tests/s390x/opcodes.h
index a3d73469ba032c62104354f8d0c73163af3a77c3..ce2b76d2f9f848e4a3d502cee93851d5808cb872 100644 (file)
--- a/none/tests/s390x/opcodes.h
+++ b/none/tests/s390x/opcodes.h
@@ -130,9 +130,12 @@
 #define AXTRA(r3,m4,r1,r2)              RRF_FUFF2(b3da,r3,m4,r1,r2)
 #define AY(r1,x2,b2,dl2,dh2)            RXY_RRRD(e3,r1,x2,b2,dl2,dh2,5a)
 #define CDFBRA(m3,m4,r1,r2)             RRF_UUFR(b395,m3,m4,r1,r2)
+#define CDFTR(m3,m4,r1,r2)              RRF_UUFR(b951,m3,m4,r1,r2)
 #define CDGBRA(m3,m4,r1,r2)             RRF_UUFR(b3a5,m3,m4,r1,r2)
 #define CDLFBR(m3,m4,r1,r2)             RRF_UUFR(b391,m3,m4,r1,r2)
+#define CDLFTR(m3,m4,r1,r2)             RRF_UUFR(b953,m3,m4,r1,r2)
 #define CDLGBR(m3,m4,r1,r2)             RRF_UUFR(b3a1,m3,m4,r1,r2)
+#define CDLGTR(m3,m4,r1,r2)             RRF_UUFR(b952,m3,m4,r1,r2)
 #define CDTR(r1,r2)                     RRE_RERE(b3e4,r1,r2)
 #define CEDTR(r1,r2)                    RRE_RERE(b3f4,r1,r2)
 #define CEFBRA(m3,m4,r1,r2)             RRF_UUFR(b394,m3,m4,r1,r2)
@@ -142,8 +145,10 @@
 #define CEXTR(r1,r2)                    RRE_RERE(b3fc,r1,r2)
 #define CFEBRA(m3,m4,r1,r2)             RRF_UURF(b398,m3,m4,r1,r2)
 #define CFDBRA(m3,m4,r1,r2)             RRF_UURF(b399,m3,m4,r1,r2)
+#define CFDTR(m3,m4,r1,r2)              RRF_UURF(b941,m3,m4,r1,r2)
 #define CFI(r1,i2)                      RIL_RI(c2,r1,d,i2)
 #define CFXBRA(m3,m4,r1,r2)             RRF_UURF(b39a,m3,m4,r1,r2)
+#define CFXTR(m3,m4,r1,r2)              RRF_UURF(b949,m3,m4,r1,r2)
 #define CGDBRA(m3,m4,r1,r2)             RRF_UURF(b3a9,m3,m4,r1,r2)
 #define CGEBRA(m3,m4,r1,r2)             RRF_UURF(b3a8,m3,m4,r1,r2)
 #define CGFI(r1,i2)                     RIL_RI(c2,r1,c,i2)
@@ -169,10 +174,13 @@
 #define CIJ(r1,m3,i4,i2)                RIE_RUPI(ec,r1,m3,i4,i2,7e)
 #define CLFEBR(m3,m4,r1,r2)             RRF_UURF(b39c,m3,m4,r1,r2)
 #define CLFDBR(m3,m4,r1,r2)             RRF_UURF(b39d,m3,m4,r1,r2)
+#define CLFDTR(m3,m4,r1,r2)             RRF_UURF(b943,m3,m4,r1,r2)
 #define CLFXBR(m3,m4,r1,r2)             RRF_UURF(b39e,m3,m4,r1,r2)
+#define CLFXTR(m3,m4,r1,r2)             RRF_UURF(b94b,m3,m4,r1,r2)
 #define CLFHSI(b1,d1,i2)                SIL_RDU(e55d,b1,d1,i2)
 #define CLFI(r1,i2)                     RIL_RU(c2,r1,f,i2)
 #define CLGDBR(m3,m4,r1,r2)             RRF_UURF(b3ad,m3,m4,r1,r2)
+#define CLGDTR(m3,m4,r1,r2)             RRF_UURF(b942,m3,m4,r1,r2)
 #define CLGEBR(m3,m4,r1,r2)             RRF_UURF(b3ac,m3,m4,r1,r2)
 #define CLGFI(r1,i2)                    RIL_RU(c2,r1,e,i2)
 #define CLGFRL(r1,i2)                   RIL_RP(c6,r1,e,i2)
@@ -184,6 +192,7 @@
 #define CLGRJ(r1,r2,i4,m3)              RIE_RRPU(ec,r1,r2,i4,m3,0,65)
 #define CLGRL(r1,i2)                    RIL_RP(c6,r1,a,i2)
 #define CLGXBR(m3,m4,r1,r2)             RRF_UURF(b3ae,m3,m4,r1,r2)
+#define CLGXTR(m3,m4,r1,r2)             RRF_UURF(b94a,m3,m4,r1,r2)
 #define CLHF(r1,x2,b2,dl2,dh2)          RXY_RRRD(e3,r1,x2,b2,dl2,dh2,cf)
 #define CLHHR(r1,r2)                    RRE_RR(b9cf,00,r1,r2)
 #define CLHHSI(b1,d1,i2)                SIL_RDU(e555,b1,d1,i2)
@@ -212,9 +221,12 @@
 #define CVBY(r1,x2,b2,dl2,dh2)          RXY_RRRD(e3,r1,x2,b2,dl2,dh2,06)
 #define CVDY(r1,x2,b2,dl2,dh2)          RXY_RRRD(e3,r1,x2,b2,dl2,dh2,26)
 #define CXFBRA(m3,m4,r1,r2)             RRF_UUFR(b396,m3,m4,r1,r2)
+#define CXFTR(m3,m4,r1,r2)              RRF_UUFR(b959,m3,m4,r1,r2)
 #define CXGBRA(m3,m4,r1,r2)             RRF_UUFR(b3a6,m3,m4,r1,r2)
 #define CXLFBR(m3,m4,r1,r2)             RRF_UUFR(b392,m3,m4,r1,r2)
+#define CXLFTR(m3,m4,r1,r2)             RRF_UUFR(b95b,m3,m4,r1,r2)
 #define CXLGBR(m3,m4,r1,r2)             RRF_UUFR(b3a2,m3,m4,r1,r2)
+#define CXLGTR(m3,m4,r1,r2)             RRF_UUFR(b95a,m3,m4,r1,r2)
 #define CXTR(r1,r2)                     RRE_RERE(b3ec,r1,r2)
 #define CY(r1,x2,b2,dl2,dh2)            RXY_RRRD(e3,r1,x2,b2,dl2,dh2,59)
 #define DDTRA(r3,m4,r1,r2)              RRF_FUFF2(b3d1,r3,m4,r1,r2)