|
From: Andreas A. <ar...@so...> - 2020-02-26 17:22:29
|
https://sourceware.org/git/gitweb.cgi?p=valgrind.git;h=c1f6c685b97ebdbabfc2ce18f27029f4bd4170db commit c1f6c685b97ebdbabfc2ce18f27029f4bd4170db Author: Andreas Arnez <ar...@li...> Date: Wed Feb 26 17:46:45 2020 +0100 s390x: Fix possible false positives with mul-z14 test case The output of the tests for msrkc and msgrkc in "none/tests/s390x/mul-z14" can differ from the expected output, because it depends on undetermined data. The test always prints the register pair r2/r3, but the instructions msrkc and msgrkc only write to r2, and msrkc even affects only its lowest half. Fix the undetermined output by initializing r2 and r3 with zero first. Diff: --- none/tests/s390x/mul-z14.stdout.exp | 616 ++++++++++++++++++------------------ none/tests/s390x/mul.h | 2 + 2 files changed, 310 insertions(+), 308 deletions(-) diff --git a/none/tests/s390x/mul-z14.stdout.exp b/none/tests/s390x/mul-z14.stdout.exp index da22b57..a16175b 100644 --- a/none/tests/s390x/mul-z14.stdout.exp +++ b/none/tests/s390x/mul-z14.stdout.exp @@ -42,17 +42,17 @@ msc 000000007FFFFFFF * 0000000000000000 = 0000000000000000000000007FFFFFFF (cc=0 msc FFFFFFFFFFFFFFFF * 0000000000000000 = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0) msc 8000000000000000 * 0000000000000000 = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * 0000000000000000 = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0) -msrkc 0000000000000000 * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 000000000000FFFF * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000007FFF * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000008000 * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 00000000FFFFFFFF * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000080000000 * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 000000007FFFFFFF * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc FFFFFFFFFFFFFFFF * 0000000000000000 = FFFFFFFF000000000000000000000002 (cc=0) -msrkc 8000000000000000 * 0000000000000000 = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * 0000000000000000 = 7FFFFFFF000000000000000000000002 (cc=0) +msrkc 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 000000000000FFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000007FFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000008000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 00000000FFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000080000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 000000007FFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc FFFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 8000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * 0000000000000000 = 00000000000000000000000000000001 (cc=0) msgc 000000000000FFFF * 0000000000000000 = 0000000000000000000000000000FFFF (cc=0) @@ -64,17 +64,17 @@ msgc 000000007FFFFFFF * 0000000000000000 = 0000000000000000000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * 0000000000000000 = 0000000000000000FFFFFFFFFFFFFFFF (cc=0) msgc 8000000000000000 * 0000000000000000 = 00000000000000008000000000000000 (cc=0) msgc 7FFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000007FFFFFFFFFFFFFFF (cc=0) -msgrkc 0000000000000000 * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 000000000000FFFF * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000007FFF * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000008000 * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 00000000FFFFFFFF * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000080000000 * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 000000007FFFFFFF * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc FFFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 8000000000000000 * 0000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 7FFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000002 (cc=0) +msgrkc 0000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 000000000000FFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000007FFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000008000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 00000000FFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000080000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 000000007FFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc FFFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 8000000000000000 * 0000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 7FFFFFFFFFFFFFFF * 0000000000000000 = 00000000000000000000000000000000 (cc=0) mg 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * 7FFFFFFFFFFFFFFF = 00000000000000007FFFFFFFFFFFFFFF (cc=0) mg 000000000000FFFF * 7FFFFFFFFFFFFFFF = 0000000000007FFF7FFFFFFFFFFF0001 (cc=0) @@ -119,17 +119,17 @@ msc 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 0000000000000001000000007FFFFFFF (cc=3 msc FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = FFFFFFFF80000001FFFFFFFFFFFFFFFF (cc=1) msc 8000000000000000 * 7FFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF800000017FFFFFFFFFFFFFFF (cc=1) -msrkc 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * 7FFFFFFFFFFFFFFF = 00000000FFFFFFFF0000000000000002 (cc=1) -msrkc 000000000000FFFF * 7FFFFFFFFFFFFFFF = 00000000FFFF00010000000000000002 (cc=1) -msrkc 0000000000007FFF * 7FFFFFFFFFFFFFFF = 00000000FFFF80010000000000000002 (cc=1) -msrkc 0000000000008000 * 7FFFFFFFFFFFFFFF = 00000000FFFF80000000000000000002 (cc=1) -msrkc 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000010000000000000002 (cc=2) -msrkc 0000000080000000 * 7FFFFFFFFFFFFFFF = 00000000800000000000000000000002 (cc=3) -msrkc 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 00000000800000010000000000000002 (cc=1) -msrkc FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = FFFFFFFF000000010000000000000002 (cc=2) -msrkc 8000000000000000 * 7FFFFFFFFFFFFFFF = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF000000010000000000000002 (cc=2) +msrkc 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * 7FFFFFFFFFFFFFFF = 00000000FFFFFFFF0000000000000000 (cc=1) +msrkc 000000000000FFFF * 7FFFFFFFFFFFFFFF = 00000000FFFF00010000000000000000 (cc=1) +msrkc 0000000000007FFF * 7FFFFFFFFFFFFFFF = 00000000FFFF80010000000000000000 (cc=1) +msrkc 0000000000008000 * 7FFFFFFFFFFFFFFF = 00000000FFFF80000000000000000000 (cc=1) +msrkc 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2) +msrkc 0000000080000000 * 7FFFFFFFFFFFFFFF = 00000000800000000000000000000000 (cc=3) +msrkc 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 00000000800000010000000000000000 (cc=1) +msrkc FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2) +msrkc 8000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2) msgc 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF0000000000000001 (cc=2) msgc 000000000000FFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFF0001000000000000FFFF (cc=3) @@ -141,17 +141,17 @@ msgc 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF80000001000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 8000000000000001FFFFFFFFFFFFFFFF (cc=1) msgc 8000000000000000 * 7FFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000017FFFFFFFFFFFFFFF (cc=3) -msgrkc 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF0000000000000002 (cc=2) -msgrkc 000000000000FFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFF00010000000000000002 (cc=3) -msgrkc 0000000000007FFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFF80010000000000000002 (cc=3) -msgrkc 0000000000008000 * 7FFFFFFFFFFFFFFF = FFFFFFFFFFFF80000000000000000002 (cc=3) -msgrkc 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF000000010000000000000002 (cc=3) -msgrkc 0000000080000000 * 7FFFFFFFFFFFFFFF = FFFFFFFF800000000000000000000002 (cc=3) -msgrkc 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF800000010000000000000002 (cc=3) -msgrkc FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 80000000000000010000000000000002 (cc=1) -msgrkc 8000000000000000 * 7FFFFFFFFFFFFFFF = 80000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000010000000000000002 (cc=3) +msgrkc 0000000000000000 * 7FFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFFFFFF0000000000000000 (cc=2) +msgrkc 000000000000FFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFF00010000000000000000 (cc=3) +msgrkc 0000000000007FFF * 7FFFFFFFFFFFFFFF = 7FFFFFFFFFFF80010000000000000000 (cc=3) +msgrkc 0000000000008000 * 7FFFFFFFFFFFFFFF = FFFFFFFFFFFF80000000000000000000 (cc=3) +msgrkc 00000000FFFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF000000010000000000000000 (cc=3) +msgrkc 0000000080000000 * 7FFFFFFFFFFFFFFF = FFFFFFFF800000000000000000000000 (cc=3) +msgrkc 000000007FFFFFFF * 7FFFFFFFFFFFFFFF = 7FFFFFFF800000010000000000000000 (cc=3) +msgrkc FFFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 80000000000000010000000000000000 (cc=1) +msgrkc 8000000000000000 * 7FFFFFFFFFFFFFFF = 80000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * 7FFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=3) mg 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * 8000000000000000 = FFFFFFFFFFFFFFFF8000000000000000 (cc=0) mg 000000000000FFFF * 8000000000000000 = FFFFFFFFFFFF80008000000000000000 (cc=0) @@ -196,17 +196,17 @@ msc 000000007FFFFFFF * 8000000000000000 = 0000000080000000000000007FFFFFFF (cc=3 msc FFFFFFFFFFFFFFFF * 8000000000000000 = FFFFFFFF80000000FFFFFFFFFFFFFFFF (cc=3) msc 8000000000000000 * 8000000000000000 = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * 8000000000000000 = 7FFFFFFF800000007FFFFFFFFFFFFFFF (cc=3) -msrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 000000000000FFFF * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000007FFF * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 00000000FFFFFFFF * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 000000007FFFFFFF * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc FFFFFFFFFFFFFFFF * 8000000000000000 = FFFFFFFF000000000000000000000002 (cc=0) -msrkc 8000000000000000 * 8000000000000000 = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 7FFFFFFF000000000000000000000002 (cc=0) +msrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 000000000000FFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000007FFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 00000000FFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 000000007FFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc FFFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 8000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * 8000000000000000 = 80000000000000000000000000000001 (cc=1) msgc 000000000000FFFF * 8000000000000000 = 8000000000000000000000000000FFFF (cc=3) @@ -218,17 +218,17 @@ msgc 000000007FFFFFFF * 8000000000000000 = 8000000000000000000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * 8000000000000000 = 8000000000000000FFFFFFFFFFFFFFFF (cc=3) msgc 8000000000000000 * 8000000000000000 = 00000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000007FFFFFFFFFFFFFFF (cc=3) -msgrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * 8000000000000000 = 80000000000000000000000000000002 (cc=1) -msgrkc 000000000000FFFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) -msgrkc 0000000000007FFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) -msgrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000002 (cc=3) -msgrkc 00000000FFFFFFFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) -msgrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000002 (cc=3) -msgrkc 000000007FFFFFFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) -msgrkc FFFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) -msgrkc 8000000000000000 * 8000000000000000 = 00000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) +msgrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * 8000000000000000 = 80000000000000000000000000000000 (cc=1) +msgrkc 000000000000FFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) +msgrkc 0000000000007FFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) +msgrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3) +msgrkc 00000000FFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) +msgrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3) +msgrkc 000000007FFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) +msgrkc FFFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) +msgrkc 8000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) mg 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF (cc=0) mg 000000000000FFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFFFFFFFFFFFFFF0001 (cc=0) @@ -273,17 +273,17 @@ msc 000000007FFFFFFF * FFFFFFFFFFFFFFFF = 0000000080000001000000007FFFFFFF (cc=1 msc FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF00000001FFFFFFFFFFFFFFFF (cc=2) msc 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 7FFFFFFF000000017FFFFFFFFFFFFFFF (cc=2) -msrkc 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * FFFFFFFFFFFFFFFF = 00000000FFFFFFFF0000000000000002 (cc=1) -msrkc 000000000000FFFF * FFFFFFFFFFFFFFFF = 00000000FFFF00010000000000000002 (cc=1) -msrkc 0000000000007FFF * FFFFFFFFFFFFFFFF = 00000000FFFF80010000000000000002 (cc=1) -msrkc 0000000000008000 * FFFFFFFFFFFFFFFF = 00000000FFFF80000000000000000002 (cc=1) -msrkc 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000010000000000000002 (cc=2) -msrkc 0000000080000000 * FFFFFFFFFFFFFFFF = 00000000800000000000000000000002 (cc=3) -msrkc 000000007FFFFFFF * FFFFFFFFFFFFFFFF = 00000000800000010000000000000002 (cc=1) -msrkc FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF000000010000000000000002 (cc=2) -msrkc 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 7FFFFFFF000000010000000000000002 (cc=2) +msrkc 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * FFFFFFFFFFFFFFFF = 00000000FFFFFFFF0000000000000000 (cc=1) +msrkc 000000000000FFFF * FFFFFFFFFFFFFFFF = 00000000FFFF00010000000000000000 (cc=1) +msrkc 0000000000007FFF * FFFFFFFFFFFFFFFF = 00000000FFFF80010000000000000000 (cc=1) +msrkc 0000000000008000 * FFFFFFFFFFFFFFFF = 00000000FFFF80000000000000000000 (cc=1) +msrkc 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2) +msrkc 0000000080000000 * FFFFFFFFFFFFFFFF = 00000000800000000000000000000000 (cc=3) +msrkc 000000007FFFFFFF * FFFFFFFFFFFFFFFF = 00000000800000010000000000000000 (cc=1) +msrkc FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2) +msrkc 8000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2) msgc 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF0000000000000001 (cc=1) msgc 000000000000FFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF0001000000000000FFFF (cc=1) @@ -295,17 +295,17 @@ msgc 000000007FFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF80000001000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 0000000000000001FFFFFFFFFFFFFFFF (cc=2) msgc 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 80000000000000017FFFFFFFFFFFFFFF (cc=1) -msgrkc 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF0000000000000002 (cc=1) -msgrkc 000000000000FFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF00010000000000000002 (cc=1) -msgrkc 0000000000007FFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80010000000000000002 (cc=1) -msgrkc 0000000000008000 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80000000000000000002 (cc=1) -msgrkc 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF000000010000000000000002 (cc=1) -msgrkc 0000000080000000 * FFFFFFFFFFFFFFFF = FFFFFFFF800000000000000000000002 (cc=1) -msgrkc 000000007FFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF800000010000000000000002 (cc=1) -msgrkc FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000010000000000000002 (cc=2) -msgrkc 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 80000000000000010000000000000002 (cc=1) +msgrkc 0000000000000000 * FFFFFFFFFFFFFFFF = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFFFFFF0000000000000000 (cc=1) +msgrkc 000000000000FFFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF00010000000000000000 (cc=1) +msgrkc 0000000000007FFF * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80010000000000000000 (cc=1) +msgrkc 0000000000008000 * FFFFFFFFFFFFFFFF = FFFFFFFFFFFF80000000000000000000 (cc=1) +msgrkc 00000000FFFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF000000010000000000000000 (cc=1) +msgrkc 0000000080000000 * FFFFFFFFFFFFFFFF = FFFFFFFF800000000000000000000000 (cc=1) +msgrkc 000000007FFFFFFF * FFFFFFFFFFFFFFFF = FFFFFFFF800000010000000000000000 (cc=1) +msgrkc FFFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 00000000000000010000000000000000 (cc=2) +msgrkc 8000000000000000 * FFFFFFFFFFFFFFFF = 80000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * FFFFFFFFFFFFFFFF = 80000000000000010000000000000000 (cc=1) mg 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * 7FFFFFFF00000000 = 00000000000000007FFFFFFF00000000 (cc=0) mg 000000000000FFFF * 7FFFFFFF00000000 = 0000000000007FFF7FFF000100000000 (cc=0) @@ -350,17 +350,17 @@ msc 000000007FFFFFFF * 7FFFFFFF00000000 = 0000000000000001000000007FFFFFFF (cc=3 msc FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = FFFFFFFF80000001FFFFFFFFFFFFFFFF (cc=1) msc 8000000000000000 * 7FFFFFFF00000000 = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 7FFFFFFF800000017FFFFFFFFFFFFFFF (cc=1) -msrkc 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * 7FFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 000000000000FFFF * 7FFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000007FFF * 7FFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000008000 * 7FFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 00000000FFFFFFFF * 7FFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000080000000 * 7FFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 000000007FFFFFFF * 7FFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = FFFFFFFF000000000000000000000002 (cc=0) -msrkc 8000000000000000 * 7FFFFFFF00000000 = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 7FFFFFFF000000000000000000000002 (cc=0) +msrkc 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 000000000000FFFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000007FFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000008000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 00000000FFFFFFFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000080000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 000000007FFFFFFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 8000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * 7FFFFFFF00000000 = 7FFFFFFF000000000000000000000001 (cc=2) msgc 000000000000FFFF * 7FFFFFFF00000000 = 7FFF000100000000000000000000FFFF (cc=3) @@ -372,17 +372,17 @@ msgc 000000007FFFFFFF * 7FFFFFFF00000000 = 0000000100000000000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 8000000100000000FFFFFFFFFFFFFFFF (cc=1) msgc 8000000000000000 * 7FFFFFFF00000000 = 00000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 80000001000000007FFFFFFFFFFFFFFF (cc=3) -msgrkc 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * 7FFFFFFF00000000 = 7FFFFFFF000000000000000000000002 (cc=2) -msgrkc 000000000000FFFF * 7FFFFFFF00000000 = 7FFF0001000000000000000000000002 (cc=3) -msgrkc 0000000000007FFF * 7FFFFFFF00000000 = 7FFF8001000000000000000000000002 (cc=3) -msgrkc 0000000000008000 * 7FFFFFFF00000000 = FFFF8000000000000000000000000002 (cc=3) -msgrkc 00000000FFFFFFFF * 7FFFFFFF00000000 = 80000001000000000000000000000002 (cc=3) -msgrkc 0000000080000000 * 7FFFFFFF00000000 = 80000000000000000000000000000002 (cc=3) -msgrkc 000000007FFFFFFF * 7FFFFFFF00000000 = 00000001000000000000000000000002 (cc=3) -msgrkc FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 80000001000000000000000000000002 (cc=1) -msgrkc 8000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 80000001000000000000000000000002 (cc=3) +msgrkc 0000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * 7FFFFFFF00000000 = 7FFFFFFF000000000000000000000000 (cc=2) +msgrkc 000000000000FFFF * 7FFFFFFF00000000 = 7FFF0001000000000000000000000000 (cc=3) +msgrkc 0000000000007FFF * 7FFFFFFF00000000 = 7FFF8001000000000000000000000000 (cc=3) +msgrkc 0000000000008000 * 7FFFFFFF00000000 = FFFF8000000000000000000000000000 (cc=3) +msgrkc 00000000FFFFFFFF * 7FFFFFFF00000000 = 80000001000000000000000000000000 (cc=3) +msgrkc 0000000080000000 * 7FFFFFFF00000000 = 80000000000000000000000000000000 (cc=3) +msgrkc 000000007FFFFFFF * 7FFFFFFF00000000 = 00000001000000000000000000000000 (cc=3) +msgrkc FFFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 80000001000000000000000000000000 (cc=1) +msgrkc 8000000000000000 * 7FFFFFFF00000000 = 00000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * 7FFFFFFF00000000 = 80000001000000000000000000000000 (cc=3) mg 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * 8000000000000000 = FFFFFFFFFFFFFFFF8000000000000000 (cc=0) mg 000000000000FFFF * 8000000000000000 = FFFFFFFFFFFF80008000000000000000 (cc=0) @@ -427,17 +427,17 @@ msc 000000007FFFFFFF * 8000000000000000 = 0000000080000000000000007FFFFFFF (cc=3 msc FFFFFFFFFFFFFFFF * 8000000000000000 = FFFFFFFF80000000FFFFFFFFFFFFFFFF (cc=3) msc 8000000000000000 * 8000000000000000 = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * 8000000000000000 = 7FFFFFFF800000007FFFFFFFFFFFFFFF (cc=3) -msrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 000000000000FFFF * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000007FFF * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 00000000FFFFFFFF * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc 000000007FFFFFFF * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msrkc FFFFFFFFFFFFFFFF * 8000000000000000 = FFFFFFFF000000000000000000000002 (cc=0) -msrkc 8000000000000000 * 8000000000000000 = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 7FFFFFFF000000000000000000000002 (cc=0) +msrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 000000000000FFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000007FFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 00000000FFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 000000007FFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc FFFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 8000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * 8000000000000000 = 80000000000000000000000000000001 (cc=1) msgc 000000000000FFFF * 8000000000000000 = 8000000000000000000000000000FFFF (cc=3) @@ -449,17 +449,17 @@ msgc 000000007FFFFFFF * 8000000000000000 = 8000000000000000000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * 8000000000000000 = 8000000000000000FFFFFFFFFFFFFFFF (cc=3) msgc 8000000000000000 * 8000000000000000 = 00000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000007FFFFFFFFFFFFFFF (cc=3) -msgrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * 8000000000000000 = 80000000000000000000000000000002 (cc=1) -msgrkc 000000000000FFFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) -msgrkc 0000000000007FFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) -msgrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000002 (cc=3) -msgrkc 00000000FFFFFFFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) -msgrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000002 (cc=3) -msgrkc 000000007FFFFFFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) -msgrkc FFFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) -msgrkc 8000000000000000 * 8000000000000000 = 00000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000002 (cc=3) +msgrkc 0000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * 8000000000000000 = 80000000000000000000000000000000 (cc=1) +msgrkc 000000000000FFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) +msgrkc 0000000000007FFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) +msgrkc 0000000000008000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3) +msgrkc 00000000FFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) +msgrkc 0000000080000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3) +msgrkc 000000007FFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) +msgrkc FFFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) +msgrkc 8000000000000000 * 8000000000000000 = 00000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * 8000000000000000 = 80000000000000000000000000000000 (cc=3) mg 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * FFFFFFFF00000000 = FFFFFFFFFFFFFFFFFFFFFFFF00000000 (cc=0) mg 000000000000FFFF * FFFFFFFF00000000 = FFFFFFFFFFFFFFFFFFFF000100000000 (cc=0) @@ -504,17 +504,17 @@ msc 000000007FFFFFFF * FFFFFFFF00000000 = 0000000080000001000000007FFFFFFF (cc=1 msc FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = FFFFFFFF00000001FFFFFFFFFFFFFFFF (cc=2) msc 8000000000000000 * FFFFFFFF00000000 = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 7FFFFFFF000000017FFFFFFFFFFFFFFF (cc=2) -msrkc 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * FFFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 000000000000FFFF * FFFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000007FFF * FFFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000008000 * FFFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 00000000FFFFFFFF * FFFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000080000000 * FFFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc 000000007FFFFFFF * FFFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msrkc FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = FFFFFFFF000000000000000000000002 (cc=0) -msrkc 8000000000000000 * FFFFFFFF00000000 = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 7FFFFFFF000000000000000000000002 (cc=0) +msrkc 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 000000000000FFFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000007FFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000008000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 00000000FFFFFFFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000080000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 000000007FFFFFFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 8000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * FFFFFFFF00000000 = FFFFFFFF000000000000000000000001 (cc=1) msgc 000000000000FFFF * FFFFFFFF00000000 = FFFF000100000000000000000000FFFF (cc=1) @@ -526,17 +526,17 @@ msgc 000000007FFFFFFF * FFFFFFFF00000000 = 8000000100000000000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = 0000000100000000FFFFFFFFFFFFFFFF (cc=2) msgc 8000000000000000 * FFFFFFFF00000000 = 00000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000001000000007FFFFFFFFFFFFFFF (cc=3) -msgrkc 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * FFFFFFFF00000000 = FFFFFFFF000000000000000000000002 (cc=1) -msgrkc 000000000000FFFF * FFFFFFFF00000000 = FFFF0001000000000000000000000002 (cc=1) -msgrkc 0000000000007FFF * FFFFFFFF00000000 = FFFF8001000000000000000000000002 (cc=1) -msgrkc 0000000000008000 * FFFFFFFF00000000 = FFFF8000000000000000000000000002 (cc=1) -msgrkc 00000000FFFFFFFF * FFFFFFFF00000000 = 00000001000000000000000000000002 (cc=3) -msgrkc 0000000080000000 * FFFFFFFF00000000 = 80000000000000000000000000000002 (cc=1) -msgrkc 000000007FFFFFFF * FFFFFFFF00000000 = 80000001000000000000000000000002 (cc=1) -msgrkc FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000001000000000000000000000002 (cc=2) -msgrkc 8000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000001000000000000000000000002 (cc=3) +msgrkc 0000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * FFFFFFFF00000000 = FFFFFFFF000000000000000000000000 (cc=1) +msgrkc 000000000000FFFF * FFFFFFFF00000000 = FFFF0001000000000000000000000000 (cc=1) +msgrkc 0000000000007FFF * FFFFFFFF00000000 = FFFF8001000000000000000000000000 (cc=1) +msgrkc 0000000000008000 * FFFFFFFF00000000 = FFFF8000000000000000000000000000 (cc=1) +msgrkc 00000000FFFFFFFF * FFFFFFFF00000000 = 00000001000000000000000000000000 (cc=3) +msgrkc 0000000080000000 * FFFFFFFF00000000 = 80000000000000000000000000000000 (cc=1) +msgrkc 000000007FFFFFFF * FFFFFFFF00000000 = 80000001000000000000000000000000 (cc=1) +msgrkc FFFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000001000000000000000000000000 (cc=2) +msgrkc 8000000000000000 * FFFFFFFF00000000 = 00000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * FFFFFFFF00000000 = 00000001000000000000000000000000 (cc=3) mg 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * 000000007FFFFFFF = 0000000000000000000000007FFFFFFF (cc=0) mg 000000000000FFFF * 000000007FFFFFFF = 000000000000000000007FFF7FFF0001 (cc=0) @@ -581,17 +581,17 @@ msc 000000007FFFFFFF * 000000007FFFFFFF = 0000000000000000000000007FFFFFFF (cc=0 msc FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0) msc 8000000000000000 * 000000007FFFFFFF = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0) -msrkc 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * 000000007FFFFFFF = 000000007FFFFFFF0000000000000002 (cc=2) -msrkc 000000000000FFFF * 000000007FFFFFFF = 000000007FFF00010000000000000002 (cc=3) -msrkc 0000000000007FFF * 000000007FFFFFFF = 000000007FFF80010000000000000002 (cc=3) -msrkc 0000000000008000 * 000000007FFFFFFF = 00000000FFFF80000000000000000002 (cc=3) -msrkc 00000000FFFFFFFF * 000000007FFFFFFF = 00000000800000010000000000000002 (cc=1) -msrkc 0000000080000000 * 000000007FFFFFFF = 00000000800000000000000000000002 (cc=3) -msrkc 000000007FFFFFFF * 000000007FFFFFFF = 00000000000000010000000000000002 (cc=3) -msrkc FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF800000010000000000000002 (cc=1) -msrkc 8000000000000000 * 000000007FFFFFFF = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF800000010000000000000002 (cc=1) +msrkc 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * 000000007FFFFFFF = 000000007FFFFFFF0000000000000000 (cc=2) +msrkc 000000000000FFFF * 000000007FFFFFFF = 000000007FFF00010000000000000000 (cc=3) +msrkc 0000000000007FFF * 000000007FFFFFFF = 000000007FFF80010000000000000000 (cc=3) +msrkc 0000000000008000 * 000000007FFFFFFF = 00000000FFFF80000000000000000000 (cc=3) +msrkc 00000000FFFFFFFF * 000000007FFFFFFF = 00000000800000010000000000000000 (cc=1) +msrkc 0000000080000000 * 000000007FFFFFFF = 00000000800000000000000000000000 (cc=3) +msrkc 000000007FFFFFFF * 000000007FFFFFFF = 00000000000000010000000000000000 (cc=3) +msrkc FFFFFFFFFFFFFFFF * 000000007FFFFFFF = 00000000800000010000000000000000 (cc=1) +msrkc 8000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 00000000800000010000000000000000 (cc=1) msgc 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * 000000007FFFFFFF = 000000007FFFFFFF0000000000000001 (cc=2) msgc 000000000000FFFF * 000000007FFFFFFF = 00007FFF7FFF0001000000000000FFFF (cc=2) @@ -603,17 +603,17 @@ msgc 000000007FFFFFFF * 000000007FFFFFFF = 3FFFFFFF00000001000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF80000001FFFFFFFFFFFFFFFF (cc=1) msgc 8000000000000000 * 000000007FFFFFFF = 80000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF800000017FFFFFFFFFFFFFFF (cc=3) -msgrkc 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * 000000007FFFFFFF = 000000007FFFFFFF0000000000000002 (cc=2) -msgrkc 000000000000FFFF * 000000007FFFFFFF = 00007FFF7FFF00010000000000000002 (cc=2) -msgrkc 0000000000007FFF * 000000007FFFFFFF = 00003FFF7FFF80010000000000000002 (cc=2) -msgrkc 0000000000008000 * 000000007FFFFFFF = 00003FFFFFFF80000000000000000002 (cc=2) -msgrkc 00000000FFFFFFFF * 000000007FFFFFFF = 7FFFFFFE800000010000000000000002 (cc=2) -msgrkc 0000000080000000 * 000000007FFFFFFF = 3FFFFFFF800000000000000000000002 (cc=2) -msgrkc 000000007FFFFFFF * 000000007FFFFFFF = 3FFFFFFF000000010000000000000002 (cc=2) -msgrkc FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF800000010000000000000002 (cc=1) -msgrkc 8000000000000000 * 000000007FFFFFFF = 80000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF800000010000000000000002 (cc=3) +msgrkc 0000000000000000 * 000000007FFFFFFF = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * 000000007FFFFFFF = 000000007FFFFFFF0000000000000000 (cc=2) +msgrkc 000000000000FFFF * 000000007FFFFFFF = 00007FFF7FFF00010000000000000000 (cc=2) +msgrkc 0000000000007FFF * 000000007FFFFFFF = 00003FFF7FFF80010000000000000000 (cc=2) +msgrkc 0000000000008000 * 000000007FFFFFFF = 00003FFFFFFF80000000000000000000 (cc=2) +msgrkc 00000000FFFFFFFF * 000000007FFFFFFF = 7FFFFFFE800000010000000000000000 (cc=2) +msgrkc 0000000080000000 * 000000007FFFFFFF = 3FFFFFFF800000000000000000000000 (cc=2) +msgrkc 000000007FFFFFFF * 000000007FFFFFFF = 3FFFFFFF000000010000000000000000 (cc=2) +msgrkc FFFFFFFFFFFFFFFF * 000000007FFFFFFF = FFFFFFFF800000010000000000000000 (cc=1) +msgrkc 8000000000000000 * 000000007FFFFFFF = 80000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * 000000007FFFFFFF = 7FFFFFFF800000010000000000000000 (cc=3) mg 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * 0000000080000000 = 00000000000000000000000080000000 (cc=0) mg 000000000000FFFF * 0000000080000000 = 000000000000000000007FFF80000000 (cc=0) @@ -658,17 +658,17 @@ msc 000000007FFFFFFF * 0000000080000000 = 0000000000000000000000007FFFFFFF (cc=0 msc FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0) msc 8000000000000000 * 0000000080000000 = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * 0000000080000000 = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0) -msrkc 0000000000000000 * 0000000080000000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * 0000000080000000 = 00000000800000000000000000000002 (cc=1) -msrkc 000000000000FFFF * 0000000080000000 = 00000000800000000000000000000002 (cc=3) -msrkc 0000000000007FFF * 0000000080000000 = 00000000800000000000000000000002 (cc=3) -msrkc 0000000000008000 * 0000000080000000 = 00000000000000000000000000000002 (cc=3) -msrkc 00000000FFFFFFFF * 0000000080000000 = 00000000800000000000000000000002 (cc=3) -msrkc 0000000080000000 * 0000000080000000 = 00000000000000000000000000000002 (cc=3) -msrkc 000000007FFFFFFF * 0000000080000000 = 00000000800000000000000000000002 (cc=3) -msrkc FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF800000000000000000000002 (cc=3) -msrkc 8000000000000000 * 0000000080000000 = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * 0000000080000000 = 7FFFFFFF800000000000000000000002 (cc=3) +msrkc 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * 0000000080000000 = 00000000800000000000000000000000 (cc=1) +msrkc 000000000000FFFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3) +msrkc 0000000000007FFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3) +msrkc 0000000000008000 * 0000000080000000 = 00000000000000000000000000000000 (cc=3) +msrkc 00000000FFFFFFFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3) +msrkc 0000000080000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=3) +msrkc 000000007FFFFFFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3) +msrkc FFFFFFFFFFFFFFFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3) +msrkc 8000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * 0000000080000000 = 00000000800000000000000000000000 (cc=3) msgc 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * 0000000080000000 = 00000000800000000000000000000001 (cc=2) msgc 000000000000FFFF * 0000000080000000 = 00007FFF80000000000000000000FFFF (cc=2) @@ -680,17 +680,17 @@ msgc 000000007FFFFFFF * 0000000080000000 = 3FFFFFFF80000000000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF80000000FFFFFFFFFFFFFFFF (cc=1) msgc 8000000000000000 * 0000000080000000 = 00000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF800000007FFFFFFFFFFFFFFF (cc=3) -msgrkc 0000000000000000 * 0000000080000000 = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * 0000000080000000 = 00000000800000000000000000000002 (cc=2) -msgrkc 000000000000FFFF * 0000000080000000 = 00007FFF800000000000000000000002 (cc=2) -msgrkc 0000000000007FFF * 0000000080000000 = 00003FFF800000000000000000000002 (cc=2) -msgrkc 0000000000008000 * 0000000080000000 = 00004000000000000000000000000002 (cc=2) -msgrkc 00000000FFFFFFFF * 0000000080000000 = 7FFFFFFF800000000000000000000002 (cc=2) -msgrkc 0000000080000000 * 0000000080000000 = 40000000000000000000000000000002 (cc=2) -msgrkc 000000007FFFFFFF * 0000000080000000 = 3FFFFFFF800000000000000000000002 (cc=2) -msgrkc FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF800000000000000000000002 (cc=1) -msgrkc 8000000000000000 * 0000000080000000 = 00000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF800000000000000000000002 (cc=3) +msgrkc 0000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * 0000000080000000 = 00000000800000000000000000000000 (cc=2) +msgrkc 000000000000FFFF * 0000000080000000 = 00007FFF800000000000000000000000 (cc=2) +msgrkc 0000000000007FFF * 0000000080000000 = 00003FFF800000000000000000000000 (cc=2) +msgrkc 0000000000008000 * 0000000080000000 = 00004000000000000000000000000000 (cc=2) +msgrkc 00000000FFFFFFFF * 0000000080000000 = 7FFFFFFF800000000000000000000000 (cc=2) +msgrkc 0000000080000000 * 0000000080000000 = 40000000000000000000000000000000 (cc=2) +msgrkc 000000007FFFFFFF * 0000000080000000 = 3FFFFFFF800000000000000000000000 (cc=2) +msgrkc FFFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF800000000000000000000000 (cc=1) +msgrkc 8000000000000000 * 0000000080000000 = 00000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * 0000000080000000 = FFFFFFFF800000000000000000000000 (cc=3) mg 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * 00000000FFFFFFFF = 000000000000000000000000FFFFFFFF (cc=0) mg 000000000000FFFF * 00000000FFFFFFFF = 00000000000000000000FFFEFFFF0001 (cc=0) @@ -735,17 +735,17 @@ msc 000000007FFFFFFF * 00000000FFFFFFFF = 0000000000000000000000007FFFFFFF (cc=0 msc FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0) msc 8000000000000000 * 00000000FFFFFFFF = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0) -msrkc 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * 00000000FFFFFFFF = 00000000FFFFFFFF0000000000000002 (cc=1) -msrkc 000000000000FFFF * 00000000FFFFFFFF = 00000000FFFF00010000000000000002 (cc=1) -msrkc 0000000000007FFF * 00000000FFFFFFFF = 00000000FFFF80010000000000000002 (cc=1) -msrkc 0000000000008000 * 00000000FFFFFFFF = 00000000FFFF80000000000000000002 (cc=1) -msrkc 00000000FFFFFFFF * 00000000FFFFFFFF = 00000000000000010000000000000002 (cc=2) -msrkc 0000000080000000 * 00000000FFFFFFFF = 00000000800000000000000000000002 (cc=3) -msrkc 000000007FFFFFFF * 00000000FFFFFFFF = 00000000800000010000000000000002 (cc=1) -msrkc FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFF000000010000000000000002 (cc=2) -msrkc 8000000000000000 * 00000000FFFFFFFF = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 7FFFFFFF000000010000000000000002 (cc=2) +msrkc 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * 00000000FFFFFFFF = 00000000FFFFFFFF0000000000000000 (cc=1) +msrkc 000000000000FFFF * 00000000FFFFFFFF = 00000000FFFF00010000000000000000 (cc=1) +msrkc 0000000000007FFF * 00000000FFFFFFFF = 00000000FFFF80010000000000000000 (cc=1) +msrkc 0000000000008000 * 00000000FFFFFFFF = 00000000FFFF80000000000000000000 (cc=1) +msrkc 00000000FFFFFFFF * 00000000FFFFFFFF = 00000000000000010000000000000000 (cc=2) +msrkc 0000000080000000 * 00000000FFFFFFFF = 00000000800000000000000000000000 (cc=3) +msrkc 000000007FFFFFFF * 00000000FFFFFFFF = 00000000800000010000000000000000 (cc=1) +msrkc FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = 00000000000000010000000000000000 (cc=2) +msrkc 8000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 00000000000000010000000000000000 (cc=2) msgc 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * 00000000FFFFFFFF = 00000000FFFFFFFF0000000000000001 (cc=2) msgc 000000000000FFFF * 00000000FFFFFFFF = 0000FFFEFFFF0001000000000000FFFF (cc=2) @@ -757,17 +757,17 @@ msgc 000000007FFFFFFF * 00000000FFFFFFFF = 7FFFFFFE80000001000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFF00000001FFFFFFFFFFFFFFFF (cc=1) msgc 8000000000000000 * 00000000FFFFFFFF = 80000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 7FFFFFFF000000017FFFFFFFFFFFFFFF (cc=3) -msgrkc 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * 00000000FFFFFFFF = 00000000FFFFFFFF0000000000000002 (cc=2) -msgrkc 000000000000FFFF * 00000000FFFFFFFF = 0000FFFEFFFF00010000000000000002 (cc=2) -msgrkc 0000000000007FFF * 00000000FFFFFFFF = 00007FFEFFFF80010000000000000002 (cc=2) -msgrkc 0000000000008000 * 00000000FFFFFFFF = 00007FFFFFFF80000000000000000002 (cc=2) -msgrkc 00000000FFFFFFFF * 00000000FFFFFFFF = FFFFFFFE000000010000000000000002 (cc=3) -msgrkc 0000000080000000 * 00000000FFFFFFFF = 7FFFFFFF800000000000000000000002 (cc=2) -msgrkc 000000007FFFFFFF * 00000000FFFFFFFF = 7FFFFFFE800000010000000000000002 (cc=2) -msgrkc FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFF000000010000000000000002 (cc=1) -msgrkc 8000000000000000 * 00000000FFFFFFFF = 80000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 7FFFFFFF000000010000000000000002 (cc=3) +msgrkc 0000000000000000 * 00000000FFFFFFFF = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * 00000000FFFFFFFF = 00000000FFFFFFFF0000000000000000 (cc=2) +msgrkc 000000000000FFFF * 00000000FFFFFFFF = 0000FFFEFFFF00010000000000000000 (cc=2) +msgrkc 0000000000007FFF * 00000000FFFFFFFF = 00007FFEFFFF80010000000000000000 (cc=2) +msgrkc 0000000000008000 * 00000000FFFFFFFF = 00007FFFFFFF80000000000000000000 (cc=2) +msgrkc 00000000FFFFFFFF * 00000000FFFFFFFF = FFFFFFFE000000010000000000000000 (cc=3) +msgrkc 0000000080000000 * 00000000FFFFFFFF = 7FFFFFFF800000000000000000000000 (cc=2) +msgrkc 000000007FFFFFFF * 00000000FFFFFFFF = 7FFFFFFE800000010000000000000000 (cc=2) +msgrkc FFFFFFFFFFFFFFFF * 00000000FFFFFFFF = FFFFFFFF000000010000000000000000 (cc=1) +msgrkc 8000000000000000 * 00000000FFFFFFFF = 80000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * 00000000FFFFFFFF = 7FFFFFFF000000010000000000000000 (cc=3) mg 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0) mg 000000000000FFFF * 000000000000FFFF = 000000000000000000000000FFFE0001 (cc=0) @@ -812,17 +812,17 @@ msc 000000007FFFFFFF * 000000000000FFFF = 0000000000000000000000007FFFFFFF (cc=0 msc FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0) msc 8000000000000000 * 000000000000FFFF = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0) -msrkc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * 000000000000FFFF = 000000000000FFFF0000000000000002 (cc=2) -msrkc 000000000000FFFF * 000000000000FFFF = 00000000FFFE00010000000000000002 (cc=3) -msrkc 0000000000007FFF * 000000000000FFFF = 000000007FFE80010000000000000002 (cc=2) -msrkc 0000000000008000 * 000000000000FFFF = 000000007FFF80000000000000000002 (cc=2) -msrkc 00000000FFFFFFFF * 000000000000FFFF = 00000000FFFF00010000000000000002 (cc=1) -msrkc 0000000080000000 * 000000000000FFFF = 00000000800000000000000000000002 (cc=3) -msrkc 000000007FFFFFFF * 000000000000FFFF = 000000007FFF00010000000000000002 (cc=3) -msrkc FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFF00010000000000000002 (cc=1) -msrkc 8000000000000000 * 000000000000FFFF = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFFFFFF00010000000000000002 (cc=1) +msrkc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * 000000000000FFFF = 000000000000FFFF0000000000000000 (cc=2) +msrkc 000000000000FFFF * 000000000000FFFF = 00000000FFFE00010000000000000000 (cc=3) +msrkc 0000000000007FFF * 000000000000FFFF = 000000007FFE80010000000000000000 (cc=2) +msrkc 0000000000008000 * 000000000000FFFF = 000000007FFF80000000000000000000 (cc=2) +msrkc 00000000FFFFFFFF * 000000000000FFFF = 00000000FFFF00010000000000000000 (cc=1) +msrkc 0000000080000000 * 000000000000FFFF = 00000000800000000000000000000000 (cc=3) +msrkc 000000007FFFFFFF * 000000000000FFFF = 000000007FFF00010000000000000000 (cc=3) +msrkc FFFFFFFFFFFFFFFF * 000000000000FFFF = 00000000FFFF00010000000000000000 (cc=1) +msrkc 8000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 00000000FFFF00010000000000000000 (cc=1) msgc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * 000000000000FFFF = 000000000000FFFF0000000000000001 (cc=2) msgc 000000000000FFFF * 000000000000FFFF = 00000000FFFE0001000000000000FFFF (cc=2) @@ -834,17 +834,17 @@ msgc 000000007FFFFFFF * 000000000000FFFF = 00007FFF7FFF0001000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFF0001FFFFFFFFFFFFFFFF (cc=1) msgc 8000000000000000 * 000000000000FFFF = 80000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFFFFFF00017FFFFFFFFFFFFFFF (cc=3) -msgrkc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * 000000000000FFFF = 000000000000FFFF0000000000000002 (cc=2) -msgrkc 000000000000FFFF * 000000000000FFFF = 00000000FFFE00010000000000000002 (cc=2) -msgrkc 0000000000007FFF * 000000000000FFFF = 000000007FFE80010000000000000002 (cc=2) -msgrkc 0000000000008000 * 000000000000FFFF = 000000007FFF80000000000000000002 (cc=2) -msgrkc 00000000FFFFFFFF * 000000000000FFFF = 0000FFFEFFFF00010000000000000002 (cc=2) -msgrkc 0000000080000000 * 000000000000FFFF = 00007FFF800000000000000000000002 (cc=2) -msgrkc 000000007FFFFFFF * 000000000000FFFF = 00007FFF7FFF00010000000000000002 (cc=2) -msgrkc FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFF00010000000000000002 (cc=1) -msgrkc 8000000000000000 * 000000000000FFFF = 80000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFFFFFF00010000000000000002 (cc=3) +msgrkc 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * 000000000000FFFF = 000000000000FFFF0000000000000000 (cc=2) +msgrkc 000000000000FFFF * 000000000000FFFF = 00000000FFFE00010000000000000000 (cc=2) +msgrkc 0000000000007FFF * 000000000000FFFF = 000000007FFE80010000000000000000 (cc=2) +msgrkc 0000000000008000 * 000000000000FFFF = 000000007FFF80000000000000000000 (cc=2) +msgrkc 00000000FFFFFFFF * 000000000000FFFF = 0000FFFEFFFF00010000000000000000 (cc=2) +msgrkc 0000000080000000 * 000000000000FFFF = 00007FFF800000000000000000000000 (cc=2) +msgrkc 000000007FFFFFFF * 000000000000FFFF = 00007FFF7FFF00010000000000000000 (cc=2) +msgrkc FFFFFFFFFFFFFFFF * 000000000000FFFF = FFFFFFFFFFFF00010000000000000000 (cc=1) +msgrkc 8000000000000000 * 000000000000FFFF = 80000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * 000000000000FFFF = 7FFFFFFFFFFF00010000000000000000 (cc=3) mg 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * 0000000000007FFF = 00000000000000000000000000007FFF (cc=0) mg 000000000000FFFF * 0000000000007FFF = 0000000000000000000000007FFE8001 (cc=0) @@ -889,17 +889,17 @@ msc 000000007FFFFFFF * 0000000000007FFF = 0000000000000000000000007FFFFFFF (cc=0 msc FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0) msc 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0) -msrkc 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000002 (cc=2) -msrkc 000000000000FFFF * 0000000000007FFF = 000000007FFE80010000000000000002 (cc=2) -msrkc 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000000002 (cc=2) -msrkc 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000000002 (cc=2) -msrkc 00000000FFFFFFFF * 0000000000007FFF = 00000000FFFF80010000000000000002 (cc=1) -msrkc 0000000080000000 * 0000000000007FFF = 00000000800000000000000000000002 (cc=3) -msrkc 000000007FFFFFFF * 0000000000007FFF = 000000007FFF80010000000000000002 (cc=3) -msrkc FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF80010000000000000002 (cc=1) -msrkc 8000000000000000 * 0000000000007FFF = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80010000000000000002 (cc=1) +msrkc 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000000 (cc=2) +msrkc 000000000000FFFF * 0000000000007FFF = 000000007FFE80010000000000000000 (cc=2) +msrkc 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000000000 (cc=2) +msrkc 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000000000 (cc=2) +msrkc 00000000FFFFFFFF * 0000000000007FFF = 00000000FFFF80010000000000000000 (cc=1) +msrkc 0000000080000000 * 0000000000007FFF = 00000000800000000000000000000000 (cc=3) +msrkc 000000007FFFFFFF * 0000000000007FFF = 000000007FFF80010000000000000000 (cc=3) +msrkc FFFFFFFFFFFFFFFF * 0000000000007FFF = 00000000FFFF80010000000000000000 (cc=1) +msrkc 8000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * 0000000000007FFF = 00000000FFFF80010000000000000000 (cc=1) msgc 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000001 (cc=2) msgc 000000000000FFFF * 0000000000007FFF = 000000007FFE8001000000000000FFFF (cc=2) @@ -911,17 +911,17 @@ msgc 000000007FFFFFFF * 0000000000007FFF = 00003FFF7FFF8001000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF8001FFFFFFFFFFFFFFFF (cc=1) msgc 8000000000000000 * 0000000000007FFF = 80000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80017FFFFFFFFFFFFFFF (cc=3) -msgrkc 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000002 (cc=2) -msgrkc 000000000000FFFF * 0000000000007FFF = 000000007FFE80010000000000000002 (cc=2) -msgrkc 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000000002 (cc=2) -msgrkc 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000000002 (cc=2) -msgrkc 00000000FFFFFFFF * 0000000000007FFF = 00007FFEFFFF80010000000000000002 (cc=2) -msgrkc 0000000080000000 * 0000000000007FFF = 00003FFF800000000000000000000002 (cc=2) -msgrkc 000000007FFFFFFF * 0000000000007FFF = 00003FFF7FFF80010000000000000002 (cc=2) -msgrkc FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF80010000000000000002 (cc=1) -msgrkc 8000000000000000 * 0000000000007FFF = 80000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80010000000000000002 (cc=3) +msgrkc 0000000000000000 * 0000000000007FFF = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * 0000000000007FFF = 0000000000007FFF0000000000000000 (cc=2) +msgrkc 000000000000FFFF * 0000000000007FFF = 000000007FFE80010000000000000000 (cc=2) +msgrkc 0000000000007FFF * 0000000000007FFF = 000000003FFF00010000000000000000 (cc=2) +msgrkc 0000000000008000 * 0000000000007FFF = 000000003FFF80000000000000000000 (cc=2) +msgrkc 00000000FFFFFFFF * 0000000000007FFF = 00007FFEFFFF80010000000000000000 (cc=2) +msgrkc 0000000080000000 * 0000000000007FFF = 00003FFF800000000000000000000000 (cc=2) +msgrkc 000000007FFFFFFF * 0000000000007FFF = 00003FFF7FFF80010000000000000000 (cc=2) +msgrkc FFFFFFFFFFFFFFFF * 0000000000007FFF = FFFFFFFFFFFF80010000000000000000 (cc=1) +msgrkc 8000000000000000 * 0000000000007FFF = 80000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * 0000000000007FFF = 7FFFFFFFFFFF80010000000000000000 (cc=3) mg 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * 0000000000008000 = 00000000000000000000000000008000 (cc=0) mg 000000000000FFFF * 0000000000008000 = 0000000000000000000000007FFF8000 (cc=0) @@ -966,17 +966,17 @@ msc 00... [truncated message content] |