Implement bigint absAdd, absSub, mulAdd, sqrAdd, estQuotientDigit intrinsics,

runtime/vm/intrinsifier_arm.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"  // Needed here to get TARGET_ARCH_ARM.
 #if defined(TARGET_ARCH_ARM)
 
 #include "vm/intrinsifier.h"
 
 #include "vm/assembler.h"
@@ skipping 907 matching lines @@
 
   // R7 = &digits[a_used >> 1], a_used is Smi.
   __ add(R7, R3, Operand(R4, LSL, 1));
 
   // R8 = &digits[used >> 1], used is Smi.
   __ add(R8, R3, Operand(R2, LSL, 1));
 
   __ adds(R0, R0, Operand(0));  // carry flag = 0
   Label add_loop;
   __ Bind(&add_loop);
-  __ ldr(R0, Address(R3, kWordSize, Address::PostIndex));
-  __ ldr(R1, Address(R5, kWordSize, Address::PostIndex));
+  // Loop a_used times, a_used > 0.
+  __ ldr(R0, Address(R3, Bigint::kBytesPerDigit, Address::PostIndex));
+  __ ldr(R1, Address(R5, Bigint::kBytesPerDigit, Address::PostIndex));
   __ adcs(R0, R0, Operand(R1));
   __ teq(R3, Operand(R7));  // Does not affect carry flag.
-  __ str(R0, Address(R6, kWordSize, Address::PostIndex));
+  __ str(R0, Address(R6, Bigint::kBytesPerDigit, Address::PostIndex));
   __ b(&add_loop, NE);
 
   Label last_carry;
   __ teq(R3, Operand(R8));  // Does not affect carry flag.
-  __ b(&last_carry, EQ);
+  __ b(&last_carry, EQ);  // If used - a_used == 0.
 
   Label carry_loop;
   __ Bind(&carry_loop);
-  __ ldr(R0, Address(R3, kWordSize, Address::PostIndex));
+  // Loop used - a_used times, used - a_used > 0.
+  __ ldr(R0, Address(R3, Bigint::kBytesPerDigit, Address::PostIndex));
   __ adcs(R0, R0, Operand(0));
   __ teq(R3, Operand(R8));  // Does not affect carry flag.
-  __ str(R0, Address(R6, kWordSize, Address::PostIndex));
+  __ str(R0, Address(R6, Bigint::kBytesPerDigit, Address::PostIndex));
   __ b(&carry_loop, NE);
 
   __ Bind(&last_carry);
   __ mov(R0, Operand(0));
   __ adc(R0, R0, Operand(0));
   __ str(R0, Address(R6, 0));
 
   // Returning Object::null() is not required, since this method is private.
   __ Ret();
 }
@@ skipping 18 matching lines @@
 
   // R7 = &digits[a_used >> 1], a_used is Smi.
   __ add(R7, R3, Operand(R4, LSL, 1));
 
   // R8 = &digits[used >> 1], used is Smi.
   __ add(R8, R3, Operand(R2, LSL, 1));
 
   __ subs(R0, R0, Operand(0));  // carry flag = 1
   Label sub_loop;
   __ Bind(&sub_loop);
-  __ ldr(R0, Address(R3, kWordSize, Address::PostIndex));
-  __ ldr(R1, Address(R5, kWordSize, Address::PostIndex));
+  // Loop a_used times, a_used > 0.
+  __ ldr(R0, Address(R3, Bigint::kBytesPerDigit, Address::PostIndex));
+  __ ldr(R1, Address(R5, Bigint::kBytesPerDigit, Address::PostIndex));
   __ sbcs(R0, R0, Operand(R1));
   __ teq(R3, Operand(R7));  // Does not affect carry flag.
-  __ str(R0, Address(R6, kWordSize, Address::PostIndex));
+  __ str(R0, Address(R6, Bigint::kBytesPerDigit, Address::PostIndex));
   __ b(&sub_loop, NE);
 
   Label done;
   __ teq(R3, Operand(R8));  // Does not affect carry flag.
-  __ b(&done, EQ);
+  __ b(&done, EQ);  // If used - a_used == 0.
 
   Label carry_loop;
   __ Bind(&carry_loop);
-  __ ldr(R0, Address(R3, kWordSize, Address::PostIndex));
+  // Loop used - a_used times, used - a_used > 0.
+  __ ldr(R0, Address(R3, Bigint::kBytesPerDigit, Address::PostIndex));
   __ sbcs(R0, R0, Operand(0));
   __ teq(R3, Operand(R8));  // Does not affect carry flag.
-  __ str(R0, Address(R6, kWordSize, Address::PostIndex));
+  __ str(R0, Address(R6, Bigint::kBytesPerDigit, Address::PostIndex));
   __ b(&carry_loop, NE);
 
   __ Bind(&done);
   // Returning Object::null() is not required, since this method is private.
   __ Ret();
 }
 
 
 void Intrinsifier::Bigint_mulAdd(Assembler* assembler) {
   if (TargetCPUFeatures::arm_version() != ARMv7) {
@@ skipping 53 matching lines @@
 
   Label muladd_loop;
   __ Bind(&muladd_loop);
   // x:   R3
   // mip: R4
   // ajp: R5
   // c:   R1
   // n:   R6
 
   // uint32_t mi = *mip++
-  __ ldr(R2, Address(R4, kWordSize, Address::PostIndex));
+  __ ldr(R2, Address(R4, Bigint::kBytesPerDigit, Address::PostIndex));
 
   // uint32_t aj = *ajp
   __ ldr(R0, Address(R5, 0));
 
   // uint64_t t = x*mi + aj + c
   __ umaal(R0, R1, R2, R3);  // R1:R0 = R2*R3 + R1 + R0.
 
   // *ajp++ = low32(t) = R0
-  __ str(R0, Address(R5, kWordSize, Address::PostIndex));
+  __ str(R0, Address(R5, Bigint::kBytesPerDigit, Address::PostIndex));
 
   // c = high32(t) = R1
 
   // while (--n > 0)
   __ subs(R6, R6, Operand(1));  // --n
   __ b(&muladd_loop, NE);
 
   __ tst(R1, Operand(R1));
   __ b(&done, EQ);
 
   // *ajp++ += c
   __ ldr(R0, Address(R5, 0));
   __ adds(R0, R0, Operand(R1));
-  __ str(R0, Address(R5, kWordSize, Address::PostIndex));
+  __ str(R0, Address(R5, Bigint::kBytesPerDigit, Address::PostIndex));
   __ b(&done, CC);
 
   Label propagate_carry_loop;
   __ Bind(&propagate_carry_loop);
   __ ldr(R0, Address(R5, 0));
   __ adds(R0, R0, Operand(1));
-  __ str(R0, Address(R5, kWordSize, Address::PostIndex));
+  __ str(R0, Address(R5, Bigint::kBytesPerDigit, Address::PostIndex));
   __ b(&propagate_carry_loop, CS);
 
   __ Bind(&done);
   // Returning Object::null() is not required, since this method is private.
   __ Ret();
 }
 
 
 void Intrinsifier::Bigint_sqrAdd(Assembler* assembler) {
   if (TargetCPUFeatures::arm_version() != ARMv7) {
@@ skipping 24 matching lines @@
   //   *ajp = high32(t);
   // }
 
   // R4 = xip = &x_digits[i >> 1]
   __ ldrd(R2, Address(SP, 2 * kWordSize));  // R2 = i as Smi, R3 = x_digits
   __ add(R3, R3, Operand(R2, LSL, 1));
   __ add(R4, R3, Operand(TypedData::data_offset() - kHeapObjectTag));
 
   // R3 = x = *xip++, return if x == 0
   Label x_zero;
-  __ ldr(R3, Address(R4, kWordSize, Address::PostIndex));
+  __ ldr(R3, Address(R4, Bigint::kBytesPerDigit, Address::PostIndex));
   __ tst(R3, Operand(R3));
   __ b(&x_zero, EQ);
 
   // R5 = ajp = &a_digits[i]
   __ ldr(R1, Address(SP, 1 * kWordSize));  // a_digits
   __ add(R1, R1, Operand(R2, LSL, 2));  // j == 2*i, i is Smi.
   __ add(R5, R1, Operand(TypedData::data_offset() - kHeapObjectTag));
 
   // R6:R0 = t = x*x + *ajp
   __ ldr(R0, Address(R5, 0));
   __ mov(R6, Operand(0));
   __ umaal(R0, R6, R3, R3);  // R6:R0 = R3*R3 + R6 + R0.
 
   // *ajp++ = low32(t) = R0
-  __ str(R0, Address(R5, kWordSize, Address::PostIndex));
+  __ str(R0, Address(R5, Bigint::kBytesPerDigit, Address::PostIndex));
 
   // R6 = low32(c) = high32(t)
   // R7 = high32(c) = 0
   __ mov(R7, Operand(0));
 
   // int n = used - i - 1
   __ ldr(R0, Address(SP, 0 * kWordSize));  // used is Smi
   __ sub(R8, R0, Operand(R2));
   __ mov(R0, Operand(2));  // while (--n >= 0)
   __ rsbs(R8, R0, Operand(R8, ASR, kSmiTagSize));
 
   Label loop, done;
   __ b(&done, MI);
 
   __ Bind(&loop);
   // x:   R3
   // xip: R4
   // ajp: R5
   // c:   R7:R6
   // t:   R2:R1:R0 (not live at loop entry)
   // n:   R8
 
   // uint32_t xi = *xip++
-  __ ldr(R2, Address(R4, kWordSize, Address::PostIndex));
+  __ ldr(R2, Address(R4, Bigint::kBytesPerDigit, Address::PostIndex));
 
   // uint32_t aj = *ajp
   __ ldr(R1, Address(R5, 0));
 
   // uint96_t t = R2:R1:R0 = 2*x*xi + aj + c
   __ mov(R0, Operand(0));
   __ umaal(R0, R1, R2, R3);  // R1:R0 = R3*R2 + R1 + R0 = x*xi + aj + 0.
   __ umlal(R6, R7, R2, R3);  // R7:R6 += R3*R2; c += x*xi.
   __ adds(R0, R0, Operand(R6));
   __ adcs(R6, R1, Operand(R7));
   __ mov(R7, Operand(0));
   __ adc(R7, R7, Operand(0));  // R7:R6:R0 = R1:R0 + R7:R6 = 2*x*xi + aj + c.
 
   // *ajp++ = low32(t) = R0
-  __ str(R0, Address(R5, kWordSize, Address::PostIndex));
+  __ str(R0, Address(R5, Bigint::kBytesPerDigit, Address::PostIndex));
 
   // while (--n >= 0)
   __ subs(R8, R8, Operand(1));  // --n
   __ b(&loop, PL);
 
   __ Bind(&done);
   // uint32_t aj = *ajp
   __ ldr(R0, Address(R5, 0));
 
   // uint64_t t = aj + c
@@ skipping 35 matching lines @@
 
   // R2 = digits[i >> 1]
   __ ldrd(R0, Address(SP, 0 * kWordSize));  // R0 = i as Smi, R1 = digits
   __ add(R1, R1, Operand(R0, LSL, 1));
   __ ldr(R2, FieldAddress(R1, TypedData::data_offset()));
 
   // R1:R0 = t = rho*d
   __ umull(R0, R1, R2, R3);
 
   // args[1] = t mod DIGIT_BASE = low32(t)
-  __ str(R0, FieldAddress(R4, TypedData::data_offset() + kWordSize));
+  __ str(R0,
+         FieldAddress(R4, TypedData::data_offset() + Bigint::kBytesPerDigit));
 
   // Returning Object::null() is not required, since this method is private.
   __ Ret();
 }
 
 
 // Check if the last argument is a double, jump to label 'is_smi' if smi
 // (easy to convert to double), otherwise jump to label 'not_double_smi',
 // Returns the last argument in R0.
 static void TestLastArgumentIsDouble(Assembler* assembler,
@@ skipping 730 matching lines @@
   Isolate* isolate = Isolate::Current();
   __ LoadImmediate(R1, reinterpret_cast<uword>(isolate));
   // Set return value to Isolate::current_tag_.
   __ ldr(R0, Address(R1, Isolate::current_tag_offset()));
   __ Ret();
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_ARM