Adds a few MIPS arithmetic instructions to the simulator, assembler, disassembler

runtime/vm/assembler_mips_test.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 "vm/globals.h"
 #if defined(TARGET_ARCH_MIPS)
 
 #include "vm/assembler.h"
 #include "vm/os.h"
 #include "vm/unit_test.h"
 #include "vm/virtual_memory.h"
 
 namespace dart {
 
 #define __ assembler->
 
 
+ASSEMBLER_TEST_GENERATE(Addi, assembler) {
+  __ addi(V0, ZR, Immediate(42));
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Addi, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(42, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Addi_overflow, assembler) {
+  __ LoadImmediate(V0, 0x7fffffff);
+  __ addi(V0, V0, Immediate(1));  // V0 not set on overflow
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Addi_overflow, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(static_cast<int32_t>(0x7fffffff),
+            EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Addiu, assembler) {
+  __ addiu(V0, ZR, Immediate(42));
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Addiu, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(42, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Addiu_overflow, assembler) {
+  __ LoadImmediate(V0, 0x7fffffff);
+  __ addiu(V0, V0, Immediate(1));  // V0 is set on overflow
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Addiu_overflow, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(static_cast<int32_t>(0x80000000),
+            EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Addu, assembler) {
+  __ addi(R2, ZR, Immediate(21));
+  __ addi(R3, ZR, Immediate(21));
+  __ addu(V0, R2, R3);
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Addu, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(42, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Addu_overflow, assembler) {
+  __ LoadImmediate(R2, 0x7fffffff);
+  __ addi(R3, R0, Immediate(1));
+  __ addu(V0, R2, R3);
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Addu_overflow, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(static_cast<int32_t>(0x80000000),
+            EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(And, assembler) {
+  __ addi(R2, ZR, Immediate(42));
+  __ addi(R3, ZR, Immediate(2));
+  __ and_(V0, R2, R3);
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(And, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(2, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Andi, assembler) {
+  __ addi(R1, ZR, Immediate(42));
+  __ andi(V0, R1, Immediate(2));
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Andi, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(2, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Clo, assembler) {
+  __ addi(R1, ZR, Immediate(0xffff));
+  __ clo(V0, R1);
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Clo, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(32, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Clz, assembler) {
+  __ addi(R1, ZR, Immediate(0x7fff));
+  __ clz(V0, R1);
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Clz, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(17, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Divu, assembler) {
+  __ addi(R1, ZR, Immediate(27));
+  __ addi(R2, ZR, Immediate(9));
+  __ divu(R1, R2);
+  // Move lo into V0

[regis, 2013/03/08 21:09:03]

We like periods at the end of comments.
But this comment is not really necessary.

+  __ mflo(V0);
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Divu, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(3, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Div, assembler) {
+  __ addi(R1, ZR, Immediate(27));
+  __ addi(R2, ZR, Immediate(9));
+  __ div(R1, R2);
+  // Move lo into V0

[regis, 2013/03/08 21:09:03]

ditto

+  __ mflo(V0);
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Div, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(3, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Divu_zero, assembler) {
+  __ addi(R1, ZR, Immediate(27));
+  __ addi(R2, ZR, Immediate(0));
+  __ divu(R1, R2);
+  // Move lo into V0

[regis, 2013/03/08 21:09:03]

ditto

+  __ mflo(V0);
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Divu_zero, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(0, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Div_zero, assembler) {
+  __ addi(R1, ZR, Immediate(27));
+  __ addi(R2, ZR, Immediate(0));
+  __ div(R1, R2);
+  // Move lo into V0

[regis, 2013/03/08 21:09:03]

ditto

+  __ mflo(V0);
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Div_zero, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(0, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Divu_corner, assembler) {
+  __ LoadImmediate(R1, 0x80000000);
+  __ LoadImmediate(R2, 0xffffffff);
+  __ divu(R1, R2);
+  __ mflo(V0);
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Divu_corner, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(0, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Div_corner, assembler) {
+  __ LoadImmediate(R1, 0x80000000);
+  __ LoadImmediate(R2, 0xffffffff);
+  __ div(R1, R2);
+  __ mflo(V0);
+  __ jr(RA);
+}
+
+
+ASSEMBLER_TEST_RUN(Div_corner, test) {
+  typedef int (*SimpleCode)();
+  EXPECT_EQ(static_cast<int32_t>(0x80000000),
+            EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
+}
+
+
 ASSEMBLER_TEST_GENERATE(Simple, assembler) {
   __ jr(RA);
   __ delay_slot()->ori(V0, ZR, Immediate(42));
 }
 
 
 ASSEMBLER_TEST_RUN(Simple, test) {
   typedef int (*SimpleCode)();
   EXPECT_EQ(42, EXECUTE_TEST_CODE_INT32(SimpleCode, test->entry()));
 }
 
+

[regis, 2013/03/08 21:09:03]

No extra blank line needed here.

 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_MIPS