Implement bigint absAdd, bigint absSub, and Montgomery mulMod intrinsics on ARM.

runtime/vm/intrinsifier_ia32.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.
 //
 // The intrinsic code below is executed before a method has built its frame.
 // The return address is on the stack and the arguments below it.
 // Registers EDX (arguments descriptor) and ECX (function) must be preserved.
 // Each intrinsification method returns true if the corresponding
 // Dart method was intrinsified.
 
@@ skipping 911 matching lines @@
   ASSERT(CTX == ESI);
 
   __ movl(EDI, Address(ESP, 6 * kWordSize));  // digits
   __ movl(EAX, Address(ESP, 5 * kWordSize));  // used is Smi
   __ SmiUntag(EAX);  // used > 0.
   __ movl(ESI, Address(ESP, 4 * kWordSize));  // a_digits
   __ movl(ECX, Address(ESP, 3 * kWordSize));  // a_used is Smi
   __ SmiUntag(ECX);  // a_used > 0.
   __ movl(EBX, Address(ESP, 2 * kWordSize));  // r_digits
 
-  // Precompute 'used - a_used' now so that CF is not lost later.
+  // Precompute 'used - a_used' now so that carry flag is not lost later.
   __ subl(EAX, ECX);
   __ incl(EAX);  // To account for the extra test between loops.
   __ pushl(EAX);
 
-  __ xorl(EDX, EDX);  // EDX = 0, CF = 0.
+  __ xorl(EDX, EDX);  // EDX = 0, carry flag = 0.
   Label add_loop;
   __ Bind(&add_loop);
   __ movl(EAX, FieldAddress(EDI, EDX, TIMES_4, TypedData::data_offset()));
   __ adcl(EAX, FieldAddress(ESI, EDX, TIMES_4, TypedData::data_offset()));
   __ movl(FieldAddress(EBX, EDX, TIMES_4, TypedData::data_offset()), EAX);
-  __ incl(EDX);  // Does not affect CF.
-  __ decl(ECX);  // Does not affect CF.
+  __ incl(EDX);  // Does not affect carry flag.
+  __ decl(ECX);  // Does not affect carry flag.
   __ j(NOT_ZERO, &add_loop, Assembler::kNearJump);
 
   Label last_carry;
   __ popl(ECX);
-  __ decl(ECX);  // Does not affect CF.
+  __ decl(ECX);  // Does not affect carry flag.
   __ j(ZERO, &last_carry, Assembler::kNearJump);
 
   Label carry_loop;
   __ Bind(&carry_loop);
   __ movl(EAX, FieldAddress(EDI, EDX, TIMES_4, TypedData::data_offset()));
   __ adcl(EAX, Immediate(0));
   __ movl(FieldAddress(EBX, EDX, TIMES_4, TypedData::data_offset()), EAX);
-  __ incl(EDX);  // Does not affect CF.
-  __ decl(ECX);  // Does not affect CF.
+  __ incl(EDX);  // Does not affect carry flag.
+  __ decl(ECX);  // Does not affect carry flag.
   __ j(NOT_ZERO, &carry_loop, Assembler::kNearJump);
 
   __ Bind(&last_carry);
   __ movl(EAX, Immediate(0));
   __ adcl(EAX, Immediate(0));
   __ movl(FieldAddress(EBX, EDX, TIMES_4, TypedData::data_offset()), EAX);
 
   // Restore CTX and return.
   __ popl(CTX);
   // Returning Object::null() is not required, since this method is private.
@@ skipping 11 matching lines @@
   ASSERT(CTX == ESI);
 
   __ movl(EDI, Address(ESP, 6 * kWordSize));  // digits
   __ movl(EAX, Address(ESP, 5 * kWordSize));  // used is Smi
   __ SmiUntag(EAX);  // used > 0.
   __ movl(ESI, Address(ESP, 4 * kWordSize));  // a_digits
   __ movl(ECX, Address(ESP, 3 * kWordSize));  // a_used is Smi
   __ SmiUntag(ECX);  // a_used > 0.
   __ movl(EBX, Address(ESP, 2 * kWordSize));  // r_digits
 
-  // Precompute 'used - a_used' now so that CF is not lost later.
+  // Precompute 'used - a_used' now so that carry flag is not lost later.
   __ subl(EAX, ECX);
   __ incl(EAX);  // To account for the extra test between loops.
   __ pushl(EAX);
 
-  __ xorl(EDX, EDX);  // EDX = 0, CF = 0.
+  __ xorl(EDX, EDX);  // EDX = 0, carry flag = 0.
   Label sub_loop;
   __ Bind(&sub_loop);
   __ movl(EAX, FieldAddress(EDI, EDX, TIMES_4, TypedData::data_offset()));
   __ sbbl(EAX, FieldAddress(ESI, EDX, TIMES_4, TypedData::data_offset()));
   __ movl(FieldAddress(EBX, EDX, TIMES_4, TypedData::data_offset()), EAX);
-  __ incl(EDX);  // Does not affect CF.
-  __ decl(ECX);  // Does not affect CF.
+  __ incl(EDX);  // Does not affect carry flag.
+  __ decl(ECX);  // Does not affect carry flag.
   __ j(NOT_ZERO, &sub_loop, Assembler::kNearJump);
 
   Label done;
   __ popl(ECX);
-  __ decl(ECX);  // Does not affect CF.
+  __ decl(ECX);  // Does not affect carry flag.
   __ j(ZERO, &done, Assembler::kNearJump);
 
   Label carry_loop;
   __ Bind(&carry_loop);
   __ movl(EAX, FieldAddress(EDI, EDX, TIMES_4, TypedData::data_offset()));
   __ sbbl(EAX, Immediate(0));
   __ movl(FieldAddress(EBX, EDX, TIMES_4, TypedData::data_offset()), EAX);
-  __ incl(EDX);  // Does not affect CF.
-  __ decl(ECX);  // Does not affect CF.
+  __ incl(EDX);  // Does not affect carry flag.
+  __ decl(ECX);  // Does not affect carry flag.
   __ j(NOT_ZERO, &carry_loop, Assembler::kNearJump);
 
   __ Bind(&done);
   // Restore CTX and return.
   __ popl(CTX);
   // Returning Object::null() is not required, since this method is private.
   __ ret();
 }
 
 
@@ skipping 1060 matching lines @@
                         Isolate::current_tag_offset());
   // Set return value to Isolate::current_tag_.
   __ movl(EAX, current_tag_addr);
   __ ret();
 }
 
 #undef __
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_IA32