Implements intrinsics for MIPS.

runtime/vm/simulator_mips.cc

 // Copyright (c) 2013, 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 <math.h>  // for isnan.
 #include <setjmp.h>
 #include <stdlib.h>
 
 #include "vm/globals.h"
 #if defined(TARGET_ARCH_MIPS)
@@ skipping 1049 matching lines @@
       // Format(instr, "divu 'rs, 'rt");
       uint32_t rs_val = get_register(instr->RsField());
       uint32_t rt_val = get_register(instr->RtField());
       if (rt_val == 0) {
         // Results are unpredictable.
         set_hi_register(0);
         set_lo_register(0);
         // TODO(zra): Drop into the debugger here.
         break;
       }
-
       set_lo_register(rs_val / rt_val);
       set_hi_register(rs_val % rt_val);
       break;
     }
     case JALR: {
       ASSERT(instr->RtField() == R0);
       ASSERT(instr->RsField() != instr->RdField());
       ASSERT(!delay_slot_);
       // Format(instr, "jalr'hint 'rd, rs");
       set_register(instr->RdField(), pc_ + 2*Instr::kInstrSize);
@@ skipping 42 matching lines @@
     case MOVZ: {
       ASSERT(instr->SaField() == 0);
       // Format(instr, "movz 'rd, 'rs, 'rt");
       int32_t rt_val = get_register(instr->RtField());
       int32_t rs_val = get_register(instr->RsField());
       if (rt_val == 0) {
         set_register(instr->RdField(), rs_val);
       }
       break;
     }
+    case MTHI: {
+      ASSERT(instr->RtField() == 0);
+      ASSERT(instr->RdField() == 0);
+      ASSERT(instr->SaField() == 0);
+      // Format(instr, "mthi 'rd");
+      set_hi_register(get_register(instr->RsField()));
+      break;
+    }
+    case MTLO: {
+      ASSERT(instr->RtField() == 0);
+      ASSERT(instr->RdField() == 0);
+      ASSERT(instr->SaField() == 0);
+      // Format(instr, "mflo 'rd");
+      set_lo_register(get_register(instr->RsField()));
+      break;
+    }
     case MULT: {
       ASSERT(instr->RdField() == 0);
       ASSERT(instr->SaField() == 0);
       // Format(instr, "mult 'rs, 'rt");
       int64_t rs = static_cast<int64_t>(get_register(instr->RsField()));
       int64_t rt = static_cast<int64_t>(get_register(instr->RtField()));
       int64_t res = rs * rt;
       set_hi_register(Utils::High32Bits(res));
       set_lo_register(Utils::Low32Bits(res));
       break;
@@ skipping 116 matching lines @@
       UnimplementedInstruction(instr);
       break;
     }
   }
 }
 
 
 void Simulator::DecodeSpecial2(Instr* instr) {
   ASSERT(instr->OpcodeField() == SPECIAL2);
   switch (instr->FunctionField()) {
+    case MADD: {
+      ASSERT(instr->RdField() == 0);
+      ASSERT(instr->SaField() == 0);
+      // Format(instr, "madd 'rs, 'rt");
+      uint32_t lo = get_lo_register();
+      int32_t hi = get_hi_register();
+      int64_t accum = Utils::LowHighTo64Bits(lo, hi);
+      int64_t rs = static_cast<int64_t>(get_register(instr->RsField()));
+      int64_t rt = static_cast<int64_t>(get_register(instr->RtField()));
+      int64_t res = accum + rs * rt;
+      set_hi_register(Utils::High32Bits(res));
+      set_lo_register(Utils::Low32Bits(res));
+      break;
+    }
+    case MADDU: {
+      ASSERT(instr->RdField() == 0);
+      ASSERT(instr->SaField() == 0);
+      // Format(instr, "maddu 'rs, 'rt");
+      uint32_t lo = get_lo_register();
+      uint32_t hi = get_hi_register();
+      uint64_t accum = Utils::LowHighTo64Bits(lo, hi);
+      uint64_t rs = static_cast<int64_t>(get_register(instr->RsField()));
+      uint64_t rt = static_cast<int64_t>(get_register(instr->RtField()));
+      uint64_t res = accum + rs * rt;
+      set_hi_register(Utils::High32Bits(res));
+      set_lo_register(Utils::Low32Bits(res));
+      break;
+    }
     case CLO: {
       ASSERT(instr->SaField() == 0);
       ASSERT(instr->RtField() == instr->RdField());
       // Format(instr, "clo 'rd, 'rs");
       int32_t rs_val = get_register(instr->RsField());
       int32_t bitcount = 0;
       while (rs_val < 0) {
         bitcount++;
         rs_val <<= 1;
       }
@@ skipping 730 matching lines @@
     set_register(kStackTraceObjectReg, bit_cast<int32_t>(raw_stacktrace));
   }
   buf->Longjmp();
 }
 
 }  // namespace dart
 
 #endif  // !defined(HOST_ARCH_MIPS)
 
 #endif  // defined TARGET_ARCH_MIPS