From: Andreas Arnez Date: Wed, 26 Feb 2020 16:46:45 +0000 (+0100) Subject: s390x: Fix possible false positives with mul-z14 test case X-Git-Tag: VALGRIND_3_16_0~93 X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=c1f6c685b97ebdbabfc2ce18f27029f4bd4170db;p=thirdparty%2Fvalgrind.git 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 --git a/none/tests/s390x/mul-z14.stdout.exp b/none/tests/s390x/mul-z14.stdout.exp index da22b5795d..a16175b376 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 000000007FFFFFFF * 0000000000008000 = 0000000000000000000000007FFFFFFF (cc=0 msc FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFF00000000FFFFFFFFFFFFFFFF (cc=0) msc 8000000000000000 * 0000000000008000 = 80000000000000008000000000000000 (cc=0) msc 7FFFFFFFFFFFFFFF * 0000000000008000 = 7FFFFFFF000000007FFFFFFFFFFFFFFF (cc=0) -msrkc 0000000000000000 * 0000000000008000 = 00000000000000000000000000000002 (cc=0) -msrkc 0000000000000001 * 0000000000008000 = 00000000000080000000000000000002 (cc=2) -msrkc 000000000000FFFF * 0000000000008000 = 000000007FFF80000000000000000002 (cc=2) -msrkc 0000000000007FFF * 0000000000008000 = 000000003FFF80000000000000000002 (cc=2) -msrkc 0000000000008000 * 0000000000008000 = 00000000400000000000000000000002 (cc=2) -msrkc 00000000FFFFFFFF * 0000000000008000 = 00000000FFFF80000000000000000002 (cc=1) -msrkc 0000000080000000 * 0000000000008000 = 00000000000000000000000000000002 (cc=3) -msrkc 000000007FFFFFFF * 0000000000008000 = 00000000FFFF80000000000000000002 (cc=3) -msrkc FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFF80000000000000000002 (cc=1) -msrkc 8000000000000000 * 0000000000008000 = 80000000000000000000000000000002 (cc=0) -msrkc 7FFFFFFFFFFFFFFF * 0000000000008000 = 7FFFFFFFFFFF80000000000000000002 (cc=1) +msrkc 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0) +msrkc 0000000000000001 * 0000000000008000 = 00000000000080000000000000000000 (cc=2) +msrkc 000000000000FFFF * 0000000000008000 = 000000007FFF80000000000000000000 (cc=2) +msrkc 0000000000007FFF * 0000000000008000 = 000000003FFF80000000000000000000 (cc=2) +msrkc 0000000000008000 * 0000000000008000 = 00000000400000000000000000000000 (cc=2) +msrkc 00000000FFFFFFFF * 0000000000008000 = 00000000FFFF80000000000000000000 (cc=1) +msrkc 0000000080000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=3) +msrkc 000000007FFFFFFF * 0000000000008000 = 00000000FFFF80000000000000000000 (cc=3) +msrkc FFFFFFFFFFFFFFFF * 0000000000008000 = 00000000FFFF80000000000000000000 (cc=1) +msrkc 8000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0) +msrkc 7FFFFFFFFFFFFFFF * 0000000000008000 = 00000000FFFF80000000000000000000 (cc=1) msgc 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0) msgc 0000000000000001 * 0000000000008000 = 00000000000080000000000000000001 (cc=2) msgc 000000000000FFFF * 0000000000008000 = 000000007FFF8000000000000000FFFF (cc=2) @@ -988,17 +988,17 @@ msgc 000000007FFFFFFF * 0000000000008000 = 00003FFFFFFF8000000000007FFFFFFF (cc= msgc FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFF8000FFFFFFFFFFFFFFFF (cc=1) msgc 8000000000000000 * 0000000000008000 = 00000000000000008000000000000000 (cc=3) msgc 7FFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFF80007FFFFFFFFFFFFFFF (cc=3) -msgrkc 0000000000000000 * 0000000000008000 = 00000000000000000000000000000002 (cc=0) -msgrkc 0000000000000001 * 0000000000008000 = 00000000000080000000000000000002 (cc=2) -msgrkc 000000000000FFFF * 0000000000008000 = 000000007FFF80000000000000000002 (cc=2) -msgrkc 0000000000007FFF * 0000000000008000 = 000000003FFF80000000000000000002 (cc=2) -msgrkc 0000000000008000 * 0000000000008000 = 00000000400000000000000000000002 (cc=2) -msgrkc 00000000FFFFFFFF * 0000000000008000 = 00007FFFFFFF80000000000000000002 (cc=2) -msgrkc 0000000080000000 * 0000000000008000 = 00004000000000000000000000000002 (cc=2) -msgrkc 000000007FFFFFFF * 0000000000008000 = 00003FFFFFFF80000000000000000002 (cc=2) -msgrkc FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFF80000000000000000002 (cc=1) -msgrkc 8000000000000000 * 0000000000008000 = 00000000000000000000000000000002 (cc=3) -msgrkc 7FFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFF80000000000000000002 (cc=3) +msgrkc 0000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=0) +msgrkc 0000000000000001 * 0000000000008000 = 00000000000080000000000000000000 (cc=2) +msgrkc 000000000000FFFF * 0000000000008000 = 000000007FFF80000000000000000000 (cc=2) +msgrkc 0000000000007FFF * 0000000000008000 = 000000003FFF80000000000000000000 (cc=2) +msgrkc 0000000000008000 * 0000000000008000 = 00000000400000000000000000000000 (cc=2) +msgrkc 00000000FFFFFFFF * 0000000000008000 = 00007FFFFFFF80000000000000000000 (cc=2) +msgrkc 0000000080000000 * 0000000000008000 = 00004000000000000000000000000000 (cc=2) +msgrkc 000000007FFFFFFF * 0000000000008000 = 00003FFFFFFF80000000000000000000 (cc=2) +msgrkc FFFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFF80000000000000000000 (cc=1) +msgrkc 8000000000000000 * 0000000000008000 = 00000000000000000000000000000000 (cc=3) +msgrkc 7FFFFFFFFFFFFFFF * 0000000000008000 = FFFFFFFFFFFF80000000000000000000 (cc=3) mg 0000000000000000 * 000000000000FFFF = 00000000000000000000000000000000 (cc=0) mg 0000000000000001 * 000000000000FFFF = 0000000000000000000000000000FFFF (cc=0) mg 000000000000FFFF * 000000000000FFFF = 000000000000000000000000FFFE0001 (cc=0) @@ -1043,17 +1043,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) @@ -1065,14 +1065,14 @@ 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) diff --git a/none/tests/s390x/mul.h b/none/tests/s390x/mul.h index 27290b572e..578b7147c3 100644 --- a/none/tests/s390x/mul.h +++ b/none/tests/s390x/mul.h @@ -48,6 +48,8 @@ unsigned long tmp2 = m1; \ int cc; \ asm volatile( "xr %[cc],%[cc]\n" \ + "lghi 2,0\n" \ + "lghi 3,0\n" \ insn("2", "%[tmp1]", "%[m2]") \ "ipm %[cc]\n" \ "srl %[cc],28\n" \