Fix 32-bit and 64-bit carry out calculation in arm64 simulator.

runtime/vm/assembler_arm64_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_ARM64)
 
 #include "vm/assembler.h"
 #include "vm/cpu.h"
 #include "vm/os.h"
@@ skipping 268 matching lines @@
   __ ret();
 }
 
 
 ASSEMBLER_TEST_RUN(AddExtReg, test) {
   typedef int64_t (*Int64Return)() DART_UNUSED;
   EXPECT_EQ(42, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
 }
 
 
+ASSEMBLER_TEST_GENERATE(AddCarryInOut, assembler) {
+  __ LoadImmediate(R2, -1, kNoPP);
+  __ LoadImmediate(R1, 1, kNoPP);
+  __ LoadImmediate(R0, 0, kNoPP);
+  __ adds(IP0, R2, Operand(R1));  // c_out = 1.
+  __ adcs(IP0, R2, R0);  // c_in = 1, c_out = 1.
+  __ adc(R0, R0, R0);  // c_in = 1.
+  __ ret();
+}
+
+
+ASSEMBLER_TEST_RUN(AddCarryInOut, test) {
+  typedef int64_t (*Int64Return)() DART_UNUSED;
+  EXPECT_EQ(1, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(SubCarryInOut, assembler) {
+  __ LoadImmediate(R1, 1, kNoPP);
+  __ LoadImmediate(R0, 0, kNoPP);
+  __ subs(IP0, R0, Operand(R1));  // c_out = 1.
+  __ sbcs(IP0, R0, R0);  // c_in = 1, c_out = 1.
+  __ sbc(R0, R0, R0);  // c_in = 1.
+  __ ret();
+}
+
+
+ASSEMBLER_TEST_RUN(SubCarryInOut, test) {
+  typedef int64_t (*Int64Return)() DART_UNUSED;
+  EXPECT_EQ(-1, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(Overflow, assembler) {
+  __ LoadImmediate(R0, 0, kNoPP);
+  __ LoadImmediate(R1, 1, kNoPP);
+  __ LoadImmediate(R2, 0xFFFFFFFFFFFFFFFF, kNoPP);
+  __ LoadImmediate(R3, 0x7FFFFFFFFFFFFFFF, kNoPP);
+  __ adds(IP0, R2, Operand(R1));  // c_out = 1.
+  __ adcs(IP0, R3, R0);  // c_in = 1, c_out = 1, v = 1.
+  __ csinc(R0, R0, R0, VS);  // R0 = v ? R0 : R0 + 1.
+  __ ret();
+}
+
+
+ASSEMBLER_TEST_RUN(Overflow, test) {
+  typedef int64_t (*Int64Return)() DART_UNUSED;
+  EXPECT_EQ(0, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(WordAddCarryInOut, assembler) {
+  __ LoadImmediate(R2, -1, kNoPP);
+  __ LoadImmediate(R1, 1, kNoPP);
+  __ LoadImmediate(R0, 0, kNoPP);
+  __ addsw(IP0, R2, Operand(R1));  // c_out = 1.
+  __ adcsw(IP0, R2, R0);  // c_in = 1, c_out = 1.
+  __ adcw(R0, R0, R0);  // c_in = 1.
+  __ ret();
+}
+
+
+ASSEMBLER_TEST_RUN(WordAddCarryInOut, test) {
+  typedef int64_t (*Int64Return)() DART_UNUSED;
+  EXPECT_EQ(1, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(WordSubCarryInOut, assembler) {
+  __ LoadImmediate(R1, 1, kNoPP);
+  __ LoadImmediate(R0, 0, kNoPP);
+  __ subsw(IP0, R0, Operand(R1));  // c_out = 1.
+  __ sbcsw(IP0, R0, R0);  // c_in = 1, c_out = 1.
+  __ sbcw(R0, R0, R0);  // c_in = 1.
+  __ ret();
+}
+
+
+ASSEMBLER_TEST_RUN(WordSubCarryInOut, test) {
+  typedef int64_t (*Int64Return)() DART_UNUSED;
+  EXPECT_EQ(0x0FFFFFFFF, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
+}
+
+
+ASSEMBLER_TEST_GENERATE(WordOverflow, assembler) {
+  __ LoadImmediate(R0, 0, kNoPP);
+  __ LoadImmediate(R1, 1, kNoPP);
+  __ LoadImmediate(R2, 0xFFFFFFFF, kNoPP);
+  __ LoadImmediate(R3, 0x7FFFFFFF, kNoPP);
+  __ addsw(IP0, R2, Operand(R1));  // c_out = 1.
+  __ adcsw(IP0, R3, R0);  // c_in = 1, c_out = 1, v = 1.
+  __ csinc(R0, R0, R0, VS);  // R0 = v ? R0 : R0 + 1.
+  __ ret();
+}
+
+
+ASSEMBLER_TEST_RUN(WordOverflow, test) {
+  typedef int64_t (*Int64Return)() DART_UNUSED;
+  EXPECT_EQ(0, EXECUTE_TEST_CODE_INT64(Int64Return, test->entry()));
+}
+
+
 // Loads and Stores.
 ASSEMBLER_TEST_GENERATE(SimpleLoadStore, assembler) {
   __ SetupDartSP(kTestStackSpace);
   __ movz(R0, Immediate(43), 0);
   __ movz(R1, Immediate(42), 0);
   __ str(R1, Address(SP, -1*kWordSize, Address::PreIndex));
   __ ldr(R0, Address(SP, 1*kWordSize, Address::PostIndex));
   __ mov(CSP, SP);
   __ ret();
 }
@@ skipping 2975 matching lines @@
   __ Pop(LR);
   __ Pop(CTX);
   __ PopAndUntagPP();
   __ mov(CSP, SP);
   __ ret();
 }
 
 }  // namespace dart
 
 #endif  // defined(TARGET_ARCH_ARM64)