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 da22b5795dc69919db2e9883f7e6ebc8f40c20df..a16175b3769dc098c5b7706729bc558aa96e608c 100644 (file)
--- 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 27290b572e869288d209e031ea7f0fc46a9eb16e..578b7147c31267ebc0c9ed076ea1cab26c172a73 100644 (file)
--- 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"                \