Improve performance of String.fromCharCodes by implementing it in Dart. Add tow internal natives to…

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 1554 matching lines @@
   __ incl(EAX);
   __ Bind(&set_hash_code);
   __ SmiTag(EAX);
   __ movl(FieldAddress(EBX, String::hash_offset()), EAX);
   __ ret();
   return true;
 }
 
 
 // Allocates one-byte string of length 'end - start'. The content is not
-// initialized.
+// initialized. 'length-reg' contains tagged length.
+// Returns new string as tagged pointer in EAX.
 static void TryAllocateOnebyteString(Assembler* assembler,
+                                     Label* ok,
                                      Label* failure,
-                                     intptr_t start_index_offset,
-                                     intptr_t end_index_offset) {
-  __ movl(EDI, Address(ESP, + end_index_offset));
-  __ subl(EDI, Address(ESP, + start_index_offset));
+                                     Register length_reg) {
+  if (length_reg != EDI) {
+    __ movl(EDI, length_reg);
+  }
+  Label pop_and_fail;
+  __ pushl(EDI);  // Preserve length.
+  __ SmiUntag(EDI);
   const intptr_t fixed_size = sizeof(RawString) + kObjectAlignment - 1;
-  __ SmiUntag(EDI);
   __ leal(EDI, Address(EDI, TIMES_1, fixed_size));  // EDI is a Smi.
   __ andl(EDI, Immediate(-kObjectAlignment));
 
   Isolate* isolate = Isolate::Current();
   Heap* heap = isolate->heap();
 
   __ movl(EAX, Address::Absolute(heap->TopAddress()));
   __ movl(EBX, EAX);
 
   // EDI: allocation size.
   __ addl(EBX, EDI);
-  __ j(CARRY, failure);
+  __ j(CARRY, &pop_and_fail, Assembler::kNearJump);
 
   // Check if the allocation fits into the remaining space.
   // EAX: potential new object start.
   // EBX: potential next object start.
   // EDI: allocation size.
   __ cmpl(EBX, Address::Absolute(heap->EndAddress()));
-  __ j(ABOVE_EQUAL, failure);
+  __ j(ABOVE_EQUAL, &pop_and_fail, Assembler::kNearJump);
 
   // Successfully allocated the object(s), now update top to point to
   // next object start and initialize the object.
   __ movl(Address::Absolute(heap->TopAddress()), EBX);
   __ addl(EAX, Immediate(kHeapObjectTag));
 
   // Initialize the tags.
   // EAX: new object start as a tagged pointer.
   // EBX: new object end address.
   // EDI: allocation size.
   {
     Label size_tag_overflow, done;
     __ cmpl(EDI, Immediate(RawObject::SizeTag::kMaxSizeTag));
     __ j(ABOVE, &size_tag_overflow, Assembler::kNearJump);
     __ shll(EDI, Immediate(RawObject::kSizeTagBit - kObjectAlignmentLog2));
     __ jmp(&done, Assembler::kNearJump);
 
     __ Bind(&size_tag_overflow);
     __ xorl(EDI, EDI);
     __ Bind(&done);
 
     // Get the class index and insert it into the tags.
     const Class& cls =
         Class::Handle(isolate->object_store()->one_byte_string_class());
     __ orl(EDI, Immediate(RawObject::ClassIdTag::encode(cls.id())));
     __ movl(FieldAddress(EAX, String::tags_offset()), EDI);  // Tags.
   }
 
   // Set the length field.
-  __ movl(EDI, Address(ESP, + end_index_offset));
-  __ subl(EDI, Address(ESP, + start_index_offset));  // Length.
+  __ popl(EDI);
   __ StoreIntoObjectNoBarrier(EAX,
                               FieldAddress(EAX, String::length_offset()),
                               EDI);
   // Clear hash.
   __ movl(FieldAddress(EAX, String::hash_offset()), Immediate(0));
+  __ jmp(ok, Assembler::kNearJump);
+
+  __ Bind(&pop_and_fail);
+  __ popl(EDI);
+  __ jmp(failure);
 }
 
 
 // Arg0: Onebyte String
 // Arg1: Start index as Smi.
 // Arg2: End index as Smi.
 // The indexes must be valid.
 bool Intrinsifier::OneByteString_substringUnchecked(Assembler* assembler) {
   const intptr_t kStringOffset = 3 * kWordSize;
   const intptr_t kStartIndexOffset = 2 * kWordSize;
   const intptr_t kEndIndexOffset = 1 * kWordSize;
-  Label fall_through;
-  TryAllocateOnebyteString(
-      assembler, &fall_through, kStartIndexOffset, kEndIndexOffset);
+  Label fall_through, ok;
+  __ movl(EDI, Address(ESP, + kEndIndexOffset));
+  __ subl(EDI, Address(ESP, + kStartIndexOffset));
+  TryAllocateOnebyteString(assembler, &ok, &fall_through, EDI);
+  __ Bind(&ok);
   // EAX: new string as tagged pointer.
   // Copy string.
   __ movl(EDI, Address(ESP, + kStringOffset));
   __ movl(EBX, Address(ESP, + kStartIndexOffset));
   __ SmiUntag(EBX);
   __ leal(EDI, FieldAddress(EDI, EBX, TIMES_1, OneByteString::data_offset()));
   // EDI: Start address to copy from (untagged).
   // EBX: Untagged start index.
   __ movl(ECX, Address(ESP, + kEndIndexOffset));
   __ SmiUntag(ECX);
@@ skipping 11 matching lines @@
   __ movb(FieldAddress(EAX, EDX, TIMES_1, OneByteString::data_offset()), BL);
   __ incl(EDX);
   __ Bind(&check);
   __ cmpl(EDX, ECX);
   __ j(LESS, &loop, Assembler::kNearJump);
   __ ret();
   __ Bind(&fall_through);
   return false;
 }
 
+
+bool Intrinsifier::OneByteString_setAt(Assembler* assembler) {
+  __ movl(ECX, Address(ESP, + 1 * kWordSize));  // Value.
+  __ movl(EBX, Address(ESP, + 2 * kWordSize));  // Index.
+  __ movl(EAX, Address(ESP, + 3 * kWordSize));  // OneByteString.
+  __ SmiUntag(EBX);
+  __ SmiUntag(ECX);
+  __ movb(FieldAddress(EAX, EBX, TIMES_1, OneByteString::data_offset()), CL);
+  __ ret();
+  return true;
+}
+
+
+bool Intrinsifier::OneByteString_allocate(Assembler* assembler) {
+  __ movl(EDI, Address(ESP, + 1 * kWordSize));  // Length.
+  Label fall_through, ok;
+  TryAllocateOnebyteString(assembler, &ok, &fall_through, EDI);
+  // EDI: Start address to copy from (untagged).
+
+  __ Bind(&ok);
+  __ ret();
+
+  __ Bind(&fall_through);
+  return false;
+}
+
 #undef __
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_IA32