Expand ia32 intrinsic for integer modulo, implement it for x64. Next step will be to emit it direct…

runtime/vm/intrinsifier_x64.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"  // Needed here to get TARGET_ARCH_X64.
 #if defined(TARGET_ARCH_X64)
 
 #include "vm/intrinsifier.h"
 
 #include "vm/assembler.h"
@@ skipping 292 matching lines @@
                             RBX,
                             TIMES_2,
                             Uint32Array::data_offset()));
   __ SmiTag(RAX);
   __ ret();
   __ Bind(&fall_through);
   return false;
 }
 
 
+// Tests if two top most arguments are smis, jumps to label not_smi if not.
+// Topmost argument is in RAX.
+static void TestBothArgumentsSmis(Assembler* assembler, Label* not_smi) {
+  __ movq(RAX, Address(RSP, + 1 * kWordSize));
+  __ movq(RCX, Address(RSP, + 2 * kWordSize));
+  __ orq(RCX, RAX);
+  __ testq(RCX, Immediate(kSmiTagMask));
+  __ j(NOT_ZERO, not_smi, Assembler::kNearJump);
+}
+
+
 bool Intrinsifier::Integer_addFromInteger(Assembler* assembler) {
   return false;
 }
 
 
 bool Intrinsifier::Integer_add(Assembler* assembler) {
   return false;
 }
 
 
@@ skipping 12 matching lines @@
   return false;
 }
 
 
 bool Intrinsifier::Integer_mul(Assembler* assembler) {
   return false;
 }
 
 
 bool Intrinsifier::Integer_modulo(Assembler* assembler) {
+  Label fall_through, return_zero, try_modulo;
+  TestBothArgumentsSmis(assembler, &fall_through);
+  // RAX: right argument (divisor)
+  // Check if modulo by zero -> exception thrown in main function.
+  __ cmpq(RAX, Immediate(0));
+  __ j(EQUAL, &fall_through,  Assembler::kNearJump);
+  __ movq(RCX, Address(RSP, + 2 * kWordSize));  // Left argument (dividend).
+  __ cmpq(RCX, Immediate(0));
+  __ j(LESS, &fall_through, Assembler::kNearJump);
+  __ cmpq(RCX, RAX);
+  __ j(EQUAL, &return_zero, Assembler::kNearJump);
+  __ j(GREATER, &try_modulo, Assembler::kNearJump);
+  __ movq(RAX, RCX);  // Return dividend as it is smaller than divisor.
+  __ ret();
+  __ Bind(&return_zero);
+  __ xorq(RAX, RAX);  // Return zero.
+  __ ret();
+  __ Bind(&try_modulo);
+  // RAX: right (non-null divisor).
+  __ movq(RCX, RAX);
+  __ SmiUntag(RCX);
+  __ movq(RAX, Address(RSP, + 2 * kWordSize));  // Left argument (dividend).
+  __ SmiUntag(RAX);
+  __ cqo();
+  __ idivq(RCX);
+  __ movq(RAX, RDX);
+  __ SmiTag(RAX);
+  __ ret();
+  __ Bind(&fall_through);
   return false;
 }
 
 
 bool Intrinsifier::Integer_truncDivide(Assembler* assembler) {
   return false;
 }
 
 
 bool Intrinsifier::Integer_negate(Assembler* assembler) {
@@ skipping 214 matching lines @@
 
 bool Intrinsifier::String_isEmpty(Assembler* assembler) {
   return false;
 }
 
 #undef __
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_X64