Implement bigint shift 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 1371 matching lines @@
     __ 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);
   }
 
+  {
+    Label donetest15c;
+    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, RCX);
+    // RDX = high64(0xfc00000000000000:0xffffffffffffffff << 2)
+    //     == 0xf000000000000003
+    __ cmpq(RDX, Immediate(shifted));
+    __ j(EQUAL, &donetest15c);
+    __ int3();
+    __ Bind(&donetest15c);
+  }
+
+  {
+    Label donetest15d;
+    const int64_t left = 0xff00000000000000;
+    const int64_t right = 0xffffffffffffffff;
+    const int64_t shifted = 0xcff0000000000000;
+    __ movq(RDX, Immediate(left));
+    __ movq(RAX, Immediate(right));
+    __ movq(RCX, Immediate(2));
+    __ shrq(RDX, RCX);  // RDX = 0xff00000000000000 >> 2 == 0x3fc0000000000000
+    __ shrdq(RDX, RAX, RCX);
+    // RDX = low64(0xffffffffffffffff:0x3fc0000000000000 >> 2)
+    //     == 0xcff0000000000000
+    __ cmpq(RDX, Immediate(shifted));
+    __ j(EQUAL, &donetest15d);
+    __ int3();
+    __ Bind(&donetest15d);
+  }
+
   __ movl(RAX, Immediate(0));
   __ ret();
 }
 
 
 ASSEMBLER_TEST_RUN(LogicalOps, test) {
   typedef int (*LogicalOpsCode)();
   EXPECT_EQ(0, reinterpret_cast<LogicalOpsCode>(test->entry())());
 }
 
@@ skipping 2201 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