Process two 32-bit digits as one 64-bit digit in all bigint intrinsics on x64.

runtime/vm/assembler_x64_test.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/globals.h"
 #if defined(TARGET_ARCH_X64)
 
 #include "vm/assembler.h"
 #include "vm/os.h"
 #include "vm/unit_test.h"
@@ skipping 489 matching lines @@
   __ ret();
 }
 
 
 ASSEMBLER_TEST_RUN(SignedMultiply2, test) {
   typedef int (*SignedMultiply2)();
   EXPECT_EQ(2000, reinterpret_cast<SignedMultiply2>(test->entry())());
 }
 
 
+ASSEMBLER_TEST_GENERATE(UnsignedMultiplyLong, assembler) {
+  __ movq(RAX, Immediate(-1));  // RAX = 0xFFFFFFFFFFFFFFFF
+  __ movq(RCX, Immediate(16));  // RCX = 0x10
+  __ mulq(RCX);  // RDX:RAX = RAX * RCX = 0x0FFFFFFFFFFFFFFFF0
+  __ movq(RAX, RDX);  // Return high64(0x0FFFFFFFFFFFFFFFF0) == 0x0F
+  __ ret();
+}
+
+
+ASSEMBLER_TEST_RUN(UnsignedMultiplyLong, test) {
+  typedef int64_t (*UnsignedMultiplyLong)();
+  EXPECT_EQ(15, reinterpret_cast<UnsignedMultiplyLong>(test->entry())());
+}
+
+
 ASSEMBLER_TEST_GENERATE(SignedDivide, assembler) {
   __ movl(RAX, Immediate(-87));
   __ movl(RDX, Immediate(123));
   __ cdq();
   __ movl(RCX, Immediate(42));
   __ idivl(RCX);
   __ ret();
 }
 
 
@@ skipping 32 matching lines @@
 }
 
 
 ASSEMBLER_TEST_RUN(SignedDivideLong, test) {
   typedef int64_t (*SignedDivideLong)();
   EXPECT_EQ(kLargeConstant / 42,
             reinterpret_cast<SignedDivideLong>(test->entry())());
 }
 
 
+ASSEMBLER_TEST_GENERATE(UnsignedDivideLong, assembler) {
+  const int64_t low = 0;
+  const int64_t high = 0xf000000000000000;
+  const int64_t divisor = 0xffffffffffffffff;
+  __ movq(RAX, Immediate(low));
+  __ movq(RDX, Immediate(high));
+  __ movq(RCX, Immediate(divisor));
+  __ divq(RCX);  // RAX = RDX:RAX / RCX =
+                 //     = 0xf0000000000000000000000000000000 /
+                 //       0xffffffffffffffff = 0xf000000000000000
+  __ ret();
+}
+
+
+ASSEMBLER_TEST_RUN(UnsignedDivideLong, test) {
+  typedef uint64_t (*UnsignedDivideLong)();
+  EXPECT_EQ(0xf000000000000000,
+            reinterpret_cast<UnsignedDivideLong>(test->entry())());
+}
+
+
 ASSEMBLER_TEST_GENERATE(Negate, assembler) {
   __ movl(RCX, Immediate(42));
   __ negl(RCX);
   __ movl(RAX, RCX);
   __ ret();
 }
 
 
 ASSEMBLER_TEST_RUN(Negate, test) {
   typedef int (*Negate)();
@@ skipping 692 matching lines @@
   __ movl(RCX, Immediate(3));
   __ shlq(RAX, Immediate(31));
   __ sarl(RAX, RCX);
   __ cmpl(RAX, Immediate(0xfffffffff0000000));
   __ j(EQUAL, &donetest13a);
   // Be sure to skip this crashing code.
   __ movl(RAX, Immediate(0));
   __ movl(Address(RAX, 0), RAX);
   __ Bind(&donetest13a);
 
-  Label donetest15a;
-  const int32_t left = 0xff000000;
-  const int32_t right = 0xffffffff;
-  const int32_t shifted = 0xf0000003;
-  __ movl(RDX, Immediate(left));
-  __ movl(RAX, Immediate(right));
-  __ movl(RCX, Immediate(2));
-  __ shll(RDX, RCX);  // RDX = 0xff000000 << 2 == 0xfc000000
-  __ shldl(RDX, RAX, Immediate(2));  // RDX = high32(0xfc000000:0xffffffff << 2)
-                                     //     = 0xf0000003
-  __ cmpl(RDX, Immediate(shifted));
-  __ j(EQUAL, &donetest15a);
-  __ int3();
-  __ Bind(&donetest15a);
+  {
+    Label donetest15a;
+    const int32_t left = 0xff000000;
+    const int32_t right = 0xffffffff;
+    const int32_t shifted = 0xf0000003;
+    __ movl(RDX, Immediate(left));
+    __ movl(RAX, Immediate(right));
+    __ movl(RCX, Immediate(2));
+    __ shll(RDX, RCX);  // RDX = 0xff000000 << 2 == 0xfc000000
+    __ shldl(RDX, RAX, Immediate(2));
+    // RDX = high32(0xfc000000:0xffffffff << 2) == 0xf0000003
+    __ cmpl(RDX, Immediate(shifted));
+    __ j(EQUAL, &donetest15a);
+    __ int3();
+    __ Bind(&donetest15a);
+  }
+
+  {
+    Label donetest15b;
+    const int64_t left = 0xff00000000000000;
+    const int64_t right = 0xffffffffffffffff;
+    const int64_t shifted = 0xf000000000000003;
+    __ movq(RDX, Immediate(left));
+    __ movq(RAX, Immediate(right));
+    __ movq(RCX, Immediate(2));
+    __ shlq(RDX, RCX);  // RDX = 0xff00000000000000 << 2 == 0xfc00000000000000
+    __ shldq(RDX, RAX, Immediate(2));
+    // RDX = high64(0xfc00000000000000:0xffffffffffffffff << 2)
+    //     == 0xf000000000000003
+    __ cmpq(RDX, Immediate(shifted));
+    __ j(EQUAL, &donetest15b);
+    __ int3();
+    __ Bind(&donetest15b);
+  }
 
   __ movl(RAX, Immediate(0));
   __ ret();
 }
 
 
 ASSEMBLER_TEST_RUN(LogicalOps, test) {
   typedef int (*LogicalOpsCode)();
   EXPECT_EQ(0, reinterpret_cast<LogicalOpsCode>(test->entry())());
 }
@@ skipping 2158 matching lines @@
   EXPECT_EQ(ICData::kInt64RangeBit, range_of(Integer::New(kMaxInt64)));
   EXPECT_EQ(ICData::kInt64RangeBit, range_of(Integer::New(kMinInt64)));
 
   EXPECT_EQ(0, range_of(Bool::True().raw()));
 }
 
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_X64