OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 333 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
344 Isolate* isolate, | 344 Isolate* isolate, |
345 CodeStubInterfaceDescriptor* descriptor) { | 345 CodeStubInterfaceDescriptor* descriptor) { |
346 static Register registers[] = { a2, a1, a0 }; | 346 static Register registers[] = { a2, a1, a0 }; |
347 descriptor->register_param_count_ = 3; | 347 descriptor->register_param_count_ = 3; |
348 descriptor->register_params_ = registers; | 348 descriptor->register_params_ = registers; |
349 descriptor->deoptimization_handler_ = | 349 descriptor->deoptimization_handler_ = |
350 FUNCTION_ADDR(BinaryOpIC_MissWithAllocationSite); | 350 FUNCTION_ADDR(BinaryOpIC_MissWithAllocationSite); |
351 } | 351 } |
352 | 352 |
353 | 353 |
354 void NewStringAddStub::InitializeInterfaceDescriptor( | 354 void StringAddStub::InitializeInterfaceDescriptor( |
355 Isolate* isolate, | 355 Isolate* isolate, |
356 CodeStubInterfaceDescriptor* descriptor) { | 356 CodeStubInterfaceDescriptor* descriptor) { |
357 static Register registers[] = { a1, a0 }; | 357 static Register registers[] = { a1, a0 }; |
358 descriptor->register_param_count_ = 2; | 358 descriptor->register_param_count_ = 2; |
359 descriptor->register_params_ = registers; | 359 descriptor->register_params_ = registers; |
360 descriptor->deoptimization_handler_ = | 360 descriptor->deoptimization_handler_ = |
361 Runtime::FunctionForId(Runtime::kStringAdd)->entry; | 361 Runtime::FunctionForId(Runtime::kStringAdd)->entry; |
362 } | 362 } |
363 | 363 |
364 | 364 |
(...skipping 3249 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3614 __ CallRuntime(Runtime::kCharFromCode, 1); | 3614 __ CallRuntime(Runtime::kCharFromCode, 1); |
3615 __ Move(result_, v0); | 3615 __ Move(result_, v0); |
3616 | 3616 |
3617 call_helper.AfterCall(masm); | 3617 call_helper.AfterCall(masm); |
3618 __ Branch(&exit_); | 3618 __ Branch(&exit_); |
3619 | 3619 |
3620 __ Abort(kUnexpectedFallthroughFromCharFromCodeSlowCase); | 3620 __ Abort(kUnexpectedFallthroughFromCharFromCodeSlowCase); |
3621 } | 3621 } |
3622 | 3622 |
3623 | 3623 |
3624 void StringHelper::GenerateCopyCharacters(MacroAssembler* masm, | |
3625 Register dest, | |
3626 Register src, | |
3627 Register count, | |
3628 Register scratch, | |
3629 bool ascii) { | |
3630 Label loop; | |
3631 Label done; | |
3632 // This loop just copies one character at a time, as it is only used for | |
3633 // very short strings. | |
3634 if (!ascii) { | |
3635 __ addu(count, count, count); | |
3636 } | |
3637 __ Branch(&done, eq, count, Operand(zero_reg)); | |
3638 __ addu(count, dest, count); // Count now points to the last dest byte. | |
3639 | |
3640 __ bind(&loop); | |
3641 __ lbu(scratch, MemOperand(src)); | |
3642 __ addiu(src, src, 1); | |
3643 __ sb(scratch, MemOperand(dest)); | |
3644 __ addiu(dest, dest, 1); | |
3645 __ Branch(&loop, lt, dest, Operand(count)); | |
3646 | |
3647 __ bind(&done); | |
3648 } | |
3649 | |
3650 | |
3651 enum CopyCharactersFlags { | 3624 enum CopyCharactersFlags { |
3652 COPY_ASCII = 1, | 3625 COPY_ASCII = 1, |
3653 DEST_ALWAYS_ALIGNED = 2 | 3626 DEST_ALWAYS_ALIGNED = 2 |
3654 }; | 3627 }; |
3655 | 3628 |
3656 | 3629 |
3657 void StringHelper::GenerateCopyCharactersLong(MacroAssembler* masm, | 3630 void StringHelper::GenerateCopyCharactersLong(MacroAssembler* masm, |
3658 Register dest, | 3631 Register dest, |
3659 Register src, | 3632 Register src, |
3660 Register count, | 3633 Register count, |
(...skipping 98 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3759 __ lbu(scratch1, MemOperand(src)); | 3732 __ lbu(scratch1, MemOperand(src)); |
3760 __ addiu(src, src, 1); | 3733 __ addiu(src, src, 1); |
3761 __ sb(scratch1, MemOperand(dest)); | 3734 __ sb(scratch1, MemOperand(dest)); |
3762 __ addiu(dest, dest, 1); | 3735 __ addiu(dest, dest, 1); |
3763 __ Branch(&byte_loop); | 3736 __ Branch(&byte_loop); |
3764 | 3737 |
3765 __ bind(&done); | 3738 __ bind(&done); |
3766 } | 3739 } |
3767 | 3740 |
3768 | 3741 |
3769 void StringHelper::GenerateTwoCharacterStringTableProbe(MacroAssembler* masm, | |
3770 Register c1, | |
3771 Register c2, | |
3772 Register scratch1, | |
3773 Register scratch2, | |
3774 Register scratch3, | |
3775 Register scratch4, | |
3776 Register scratch5, | |
3777 Label* not_found) { | |
3778 // Register scratch3 is the general scratch register in this function. | |
3779 Register scratch = scratch3; | |
3780 | |
3781 // Make sure that both characters are not digits as such strings has a | |
3782 // different hash algorithm. Don't try to look for these in the string table. | |
3783 Label not_array_index; | |
3784 __ Subu(scratch, c1, Operand(static_cast<int>('0'))); | |
3785 __ Branch(¬_array_index, | |
3786 Ugreater, | |
3787 scratch, | |
3788 Operand(static_cast<int>('9' - '0'))); | |
3789 __ Subu(scratch, c2, Operand(static_cast<int>('0'))); | |
3790 | |
3791 // If check failed combine both characters into single halfword. | |
3792 // This is required by the contract of the method: code at the | |
3793 // not_found branch expects this combination in c1 register. | |
3794 Label tmp; | |
3795 __ sll(scratch1, c2, kBitsPerByte); | |
3796 __ Branch(&tmp, Ugreater, scratch, Operand(static_cast<int>('9' - '0'))); | |
3797 __ Or(c1, c1, scratch1); | |
3798 __ bind(&tmp); | |
3799 __ Branch( | |
3800 not_found, Uless_equal, scratch, Operand(static_cast<int>('9' - '0'))); | |
3801 | |
3802 __ bind(¬_array_index); | |
3803 // Calculate the two character string hash. | |
3804 Register hash = scratch1; | |
3805 StringHelper::GenerateHashInit(masm, hash, c1); | |
3806 StringHelper::GenerateHashAddCharacter(masm, hash, c2); | |
3807 StringHelper::GenerateHashGetHash(masm, hash); | |
3808 | |
3809 // Collect the two characters in a register. | |
3810 Register chars = c1; | |
3811 __ sll(scratch, c2, kBitsPerByte); | |
3812 __ Or(chars, chars, scratch); | |
3813 | |
3814 // chars: two character string, char 1 in byte 0 and char 2 in byte 1. | |
3815 // hash: hash of two character string. | |
3816 | |
3817 // Load string table. | |
3818 // Load address of first element of the string table. | |
3819 Register string_table = c2; | |
3820 __ LoadRoot(string_table, Heap::kStringTableRootIndex); | |
3821 | |
3822 Register undefined = scratch4; | |
3823 __ LoadRoot(undefined, Heap::kUndefinedValueRootIndex); | |
3824 | |
3825 // Calculate capacity mask from the string table capacity. | |
3826 Register mask = scratch2; | |
3827 __ lw(mask, FieldMemOperand(string_table, StringTable::kCapacityOffset)); | |
3828 __ sra(mask, mask, 1); | |
3829 __ Addu(mask, mask, -1); | |
3830 | |
3831 // Calculate untagged address of the first element of the string table. | |
3832 Register first_string_table_element = string_table; | |
3833 __ Addu(first_string_table_element, string_table, | |
3834 Operand(StringTable::kElementsStartOffset - kHeapObjectTag)); | |
3835 | |
3836 // Registers. | |
3837 // chars: two character string, char 1 in byte 0 and char 2 in byte 1. | |
3838 // hash: hash of two character string | |
3839 // mask: capacity mask | |
3840 // first_string_table_element: address of the first element of | |
3841 // the string table | |
3842 // undefined: the undefined object | |
3843 // scratch: - | |
3844 | |
3845 // Perform a number of probes in the string table. | |
3846 const int kProbes = 4; | |
3847 Label found_in_string_table; | |
3848 Label next_probe[kProbes]; | |
3849 Register candidate = scratch5; // Scratch register contains candidate. | |
3850 for (int i = 0; i < kProbes; i++) { | |
3851 // Calculate entry in string table. | |
3852 if (i > 0) { | |
3853 __ Addu(candidate, hash, Operand(StringTable::GetProbeOffset(i))); | |
3854 } else { | |
3855 __ mov(candidate, hash); | |
3856 } | |
3857 | |
3858 __ And(candidate, candidate, Operand(mask)); | |
3859 | |
3860 // Load the entry from the symble table. | |
3861 STATIC_ASSERT(StringTable::kEntrySize == 1); | |
3862 __ sll(scratch, candidate, kPointerSizeLog2); | |
3863 __ Addu(scratch, scratch, first_string_table_element); | |
3864 __ lw(candidate, MemOperand(scratch)); | |
3865 | |
3866 // If entry is undefined no string with this hash can be found. | |
3867 Label is_string; | |
3868 __ GetObjectType(candidate, scratch, scratch); | |
3869 __ Branch(&is_string, ne, scratch, Operand(ODDBALL_TYPE)); | |
3870 | |
3871 __ Branch(not_found, eq, undefined, Operand(candidate)); | |
3872 // Must be the hole (deleted entry). | |
3873 if (FLAG_debug_code) { | |
3874 __ LoadRoot(scratch, Heap::kTheHoleValueRootIndex); | |
3875 __ Assert(eq, kOddballInStringTableIsNotUndefinedOrTheHole, | |
3876 scratch, Operand(candidate)); | |
3877 } | |
3878 __ jmp(&next_probe[i]); | |
3879 | |
3880 __ bind(&is_string); | |
3881 | |
3882 // Check that the candidate is a non-external ASCII string. The instance | |
3883 // type is still in the scratch register from the CompareObjectType | |
3884 // operation. | |
3885 __ JumpIfInstanceTypeIsNotSequentialAscii(scratch, scratch, &next_probe[i]); | |
3886 | |
3887 // If length is not 2 the string is not a candidate. | |
3888 __ lw(scratch, FieldMemOperand(candidate, String::kLengthOffset)); | |
3889 __ Branch(&next_probe[i], ne, scratch, Operand(Smi::FromInt(2))); | |
3890 | |
3891 // Check if the two characters match. | |
3892 // Assumes that word load is little endian. | |
3893 __ lhu(scratch, FieldMemOperand(candidate, SeqOneByteString::kHeaderSize)); | |
3894 __ Branch(&found_in_string_table, eq, chars, Operand(scratch)); | |
3895 __ bind(&next_probe[i]); | |
3896 } | |
3897 | |
3898 // No matching 2 character string found by probing. | |
3899 __ jmp(not_found); | |
3900 | |
3901 // Scratch register contains result when we fall through to here. | |
3902 Register result = candidate; | |
3903 __ bind(&found_in_string_table); | |
3904 __ mov(v0, result); | |
3905 } | |
3906 | |
3907 | |
3908 void StringHelper::GenerateHashInit(MacroAssembler* masm, | 3742 void StringHelper::GenerateHashInit(MacroAssembler* masm, |
3909 Register hash, | 3743 Register hash, |
3910 Register character) { | 3744 Register character) { |
3911 // hash = seed + character + ((seed + character) << 10); | 3745 // hash = seed + character + ((seed + character) << 10); |
3912 __ LoadRoot(hash, Heap::kHashSeedRootIndex); | 3746 __ LoadRoot(hash, Heap::kHashSeedRootIndex); |
3913 // Untag smi seed and add the character. | 3747 // Untag smi seed and add the character. |
3914 __ SmiUntag(hash); | 3748 __ SmiUntag(hash); |
3915 __ addu(hash, hash, character); | 3749 __ addu(hash, hash, character); |
3916 __ sll(at, hash, 10); | 3750 __ sll(at, hash, 10); |
3917 __ addu(hash, hash, at); | 3751 __ addu(hash, hash, at); |
(...skipping 636 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4554 __ Assert(eq, kExpectedAllocationSite, t0, Operand(at)); | 4388 __ Assert(eq, kExpectedAllocationSite, t0, Operand(at)); |
4555 } | 4389 } |
4556 | 4390 |
4557 // Tail call into the stub that handles binary operations with allocation | 4391 // Tail call into the stub that handles binary operations with allocation |
4558 // sites. | 4392 // sites. |
4559 BinaryOpWithAllocationSiteStub stub(state_); | 4393 BinaryOpWithAllocationSiteStub stub(state_); |
4560 __ TailCallStub(&stub); | 4394 __ TailCallStub(&stub); |
4561 } | 4395 } |
4562 | 4396 |
4563 | 4397 |
4564 void StringAddStub::Generate(MacroAssembler* masm) { | |
4565 Label call_runtime, call_builtin; | |
4566 Builtins::JavaScript builtin_id = Builtins::ADD; | |
4567 | |
4568 Counters* counters = masm->isolate()->counters(); | |
4569 | |
4570 // Stack on entry: | |
4571 // sp[0]: second argument (right). | |
4572 // sp[4]: first argument (left). | |
4573 | |
4574 // Load the two arguments. | |
4575 __ lw(a0, MemOperand(sp, 1 * kPointerSize)); // First argument. | |
4576 __ lw(a1, MemOperand(sp, 0 * kPointerSize)); // Second argument. | |
4577 | |
4578 // Make sure that both arguments are strings if not known in advance. | |
4579 // Otherwise, at least one of the arguments is definitely a string, | |
4580 // and we convert the one that is not known to be a string. | |
4581 if ((flags_ & STRING_ADD_CHECK_BOTH) == STRING_ADD_CHECK_BOTH) { | |
4582 ASSERT((flags_ & STRING_ADD_CHECK_LEFT) == STRING_ADD_CHECK_LEFT); | |
4583 ASSERT((flags_ & STRING_ADD_CHECK_RIGHT) == STRING_ADD_CHECK_RIGHT); | |
4584 __ JumpIfEitherSmi(a0, a1, &call_runtime); | |
4585 // Load instance types. | |
4586 __ lw(t0, FieldMemOperand(a0, HeapObject::kMapOffset)); | |
4587 __ lw(t1, FieldMemOperand(a1, HeapObject::kMapOffset)); | |
4588 __ lbu(t0, FieldMemOperand(t0, Map::kInstanceTypeOffset)); | |
4589 __ lbu(t1, FieldMemOperand(t1, Map::kInstanceTypeOffset)); | |
4590 STATIC_ASSERT(kStringTag == 0); | |
4591 // If either is not a string, go to runtime. | |
4592 __ Or(t4, t0, Operand(t1)); | |
4593 __ And(t4, t4, Operand(kIsNotStringMask)); | |
4594 __ Branch(&call_runtime, ne, t4, Operand(zero_reg)); | |
4595 } else if ((flags_ & STRING_ADD_CHECK_LEFT) == STRING_ADD_CHECK_LEFT) { | |
4596 ASSERT((flags_ & STRING_ADD_CHECK_RIGHT) == 0); | |
4597 GenerateConvertArgument( | |
4598 masm, 1 * kPointerSize, a0, a2, a3, t0, t1, &call_builtin); | |
4599 builtin_id = Builtins::STRING_ADD_RIGHT; | |
4600 } else if ((flags_ & STRING_ADD_CHECK_RIGHT) == STRING_ADD_CHECK_RIGHT) { | |
4601 ASSERT((flags_ & STRING_ADD_CHECK_LEFT) == 0); | |
4602 GenerateConvertArgument( | |
4603 masm, 0 * kPointerSize, a1, a2, a3, t0, t1, &call_builtin); | |
4604 builtin_id = Builtins::STRING_ADD_LEFT; | |
4605 } | |
4606 | |
4607 // Both arguments are strings. | |
4608 // a0: first string | |
4609 // a1: second string | |
4610 // t0: first string instance type (if flags_ == NO_STRING_ADD_FLAGS) | |
4611 // t1: second string instance type (if flags_ == NO_STRING_ADD_FLAGS) | |
4612 { | |
4613 Label strings_not_empty; | |
4614 // Check if either of the strings are empty. In that case return the other. | |
4615 // These tests use zero-length check on string-length whch is an Smi. | |
4616 // Assert that Smi::FromInt(0) is really 0. | |
4617 STATIC_ASSERT(kSmiTag == 0); | |
4618 ASSERT(Smi::FromInt(0) == 0); | |
4619 __ lw(a2, FieldMemOperand(a0, String::kLengthOffset)); | |
4620 __ lw(a3, FieldMemOperand(a1, String::kLengthOffset)); | |
4621 __ mov(v0, a0); // Assume we'll return first string (from a0). | |
4622 __ Movz(v0, a1, a2); // If first is empty, return second (from a1). | |
4623 __ slt(t4, zero_reg, a2); // if (a2 > 0) t4 = 1. | |
4624 __ slt(t5, zero_reg, a3); // if (a3 > 0) t5 = 1. | |
4625 __ and_(t4, t4, t5); // Branch if both strings were non-empty. | |
4626 __ Branch(&strings_not_empty, ne, t4, Operand(zero_reg)); | |
4627 | |
4628 __ IncrementCounter(counters->string_add_native(), 1, a2, a3); | |
4629 __ DropAndRet(2); | |
4630 | |
4631 __ bind(&strings_not_empty); | |
4632 } | |
4633 | |
4634 // Untag both string-lengths. | |
4635 __ sra(a2, a2, kSmiTagSize); | |
4636 __ sra(a3, a3, kSmiTagSize); | |
4637 | |
4638 // Both strings are non-empty. | |
4639 // a0: first string | |
4640 // a1: second string | |
4641 // a2: length of first string | |
4642 // a3: length of second string | |
4643 // t0: first string instance type (if flags_ == NO_STRING_ADD_FLAGS) | |
4644 // t1: second string instance type (if flags_ == NO_STRING_ADD_FLAGS) | |
4645 // Look at the length of the result of adding the two strings. | |
4646 Label string_add_flat_result, longer_than_two; | |
4647 // Adding two lengths can't overflow. | |
4648 STATIC_ASSERT(String::kMaxLength < String::kMaxLength * 2); | |
4649 __ Addu(t2, a2, Operand(a3)); | |
4650 // Use the string table when adding two one character strings, as it | |
4651 // helps later optimizations to return a string here. | |
4652 __ Branch(&longer_than_two, ne, t2, Operand(2)); | |
4653 | |
4654 // Check that both strings are non-external ASCII strings. | |
4655 if ((flags_ & STRING_ADD_CHECK_BOTH) != STRING_ADD_CHECK_BOTH) { | |
4656 __ lw(t0, FieldMemOperand(a0, HeapObject::kMapOffset)); | |
4657 __ lw(t1, FieldMemOperand(a1, HeapObject::kMapOffset)); | |
4658 __ lbu(t0, FieldMemOperand(t0, Map::kInstanceTypeOffset)); | |
4659 __ lbu(t1, FieldMemOperand(t1, Map::kInstanceTypeOffset)); | |
4660 } | |
4661 __ JumpIfBothInstanceTypesAreNotSequentialAscii(t0, t1, t2, t3, | |
4662 &call_runtime); | |
4663 | |
4664 // Get the two characters forming the sub string. | |
4665 __ lbu(a2, FieldMemOperand(a0, SeqOneByteString::kHeaderSize)); | |
4666 __ lbu(a3, FieldMemOperand(a1, SeqOneByteString::kHeaderSize)); | |
4667 | |
4668 // Try to lookup two character string in string table. If it is not found | |
4669 // just allocate a new one. | |
4670 Label make_two_character_string; | |
4671 StringHelper::GenerateTwoCharacterStringTableProbe( | |
4672 masm, a2, a3, t2, t3, t0, t1, t5, &make_two_character_string); | |
4673 __ IncrementCounter(counters->string_add_native(), 1, a2, a3); | |
4674 __ DropAndRet(2); | |
4675 | |
4676 __ bind(&make_two_character_string); | |
4677 // Resulting string has length 2 and first chars of two strings | |
4678 // are combined into single halfword in a2 register. | |
4679 // So we can fill resulting string without two loops by a single | |
4680 // halfword store instruction (which assumes that processor is | |
4681 // in a little endian mode). | |
4682 __ li(t2, Operand(2)); | |
4683 __ AllocateAsciiString(v0, t2, t0, t1, t5, &call_runtime); | |
4684 __ sh(a2, FieldMemOperand(v0, SeqOneByteString::kHeaderSize)); | |
4685 __ IncrementCounter(counters->string_add_native(), 1, a2, a3); | |
4686 __ DropAndRet(2); | |
4687 | |
4688 __ bind(&longer_than_two); | |
4689 // Check if resulting string will be flat. | |
4690 __ Branch(&string_add_flat_result, lt, t2, Operand(ConsString::kMinLength)); | |
4691 // Handle exceptionally long strings in the runtime system. | |
4692 STATIC_ASSERT((String::kMaxLength & 0x80000000) == 0); | |
4693 ASSERT(IsPowerOf2(String::kMaxLength + 1)); | |
4694 // kMaxLength + 1 is representable as shifted literal, kMaxLength is not. | |
4695 __ Branch(&call_runtime, hs, t2, Operand(String::kMaxLength + 1)); | |
4696 | |
4697 // If result is not supposed to be flat, allocate a cons string object. | |
4698 // If both strings are ASCII the result is an ASCII cons string. | |
4699 if ((flags_ & STRING_ADD_CHECK_BOTH) != STRING_ADD_CHECK_BOTH) { | |
4700 __ lw(t0, FieldMemOperand(a0, HeapObject::kMapOffset)); | |
4701 __ lw(t1, FieldMemOperand(a1, HeapObject::kMapOffset)); | |
4702 __ lbu(t0, FieldMemOperand(t0, Map::kInstanceTypeOffset)); | |
4703 __ lbu(t1, FieldMemOperand(t1, Map::kInstanceTypeOffset)); | |
4704 } | |
4705 Label non_ascii, allocated, ascii_data; | |
4706 STATIC_ASSERT(kTwoByteStringTag == 0); | |
4707 // Branch to non_ascii if either string-encoding field is zero (non-ASCII). | |
4708 __ And(t4, t0, Operand(t1)); | |
4709 __ And(t4, t4, Operand(kStringEncodingMask)); | |
4710 __ Branch(&non_ascii, eq, t4, Operand(zero_reg)); | |
4711 | |
4712 // Allocate an ASCII cons string. | |
4713 __ bind(&ascii_data); | |
4714 __ AllocateAsciiConsString(v0, t2, t0, t1, &call_runtime); | |
4715 __ bind(&allocated); | |
4716 // Fill the fields of the cons string. | |
4717 Label skip_write_barrier, after_writing; | |
4718 ExternalReference high_promotion_mode = ExternalReference:: | |
4719 new_space_high_promotion_mode_active_address(masm->isolate()); | |
4720 __ li(t0, Operand(high_promotion_mode)); | |
4721 __ lw(t0, MemOperand(t0, 0)); | |
4722 __ Branch(&skip_write_barrier, eq, t0, Operand(zero_reg)); | |
4723 | |
4724 __ mov(t3, v0); | |
4725 __ sw(a0, FieldMemOperand(t3, ConsString::kFirstOffset)); | |
4726 __ RecordWriteField(t3, | |
4727 ConsString::kFirstOffset, | |
4728 a0, | |
4729 t0, | |
4730 kRAHasNotBeenSaved, | |
4731 kDontSaveFPRegs); | |
4732 __ sw(a1, FieldMemOperand(t3, ConsString::kSecondOffset)); | |
4733 __ RecordWriteField(t3, | |
4734 ConsString::kSecondOffset, | |
4735 a1, | |
4736 t0, | |
4737 kRAHasNotBeenSaved, | |
4738 kDontSaveFPRegs); | |
4739 __ jmp(&after_writing); | |
4740 | |
4741 __ bind(&skip_write_barrier); | |
4742 __ sw(a0, FieldMemOperand(v0, ConsString::kFirstOffset)); | |
4743 __ sw(a1, FieldMemOperand(v0, ConsString::kSecondOffset)); | |
4744 | |
4745 __ bind(&after_writing); | |
4746 | |
4747 __ IncrementCounter(counters->string_add_native(), 1, a2, a3); | |
4748 __ DropAndRet(2); | |
4749 | |
4750 __ bind(&non_ascii); | |
4751 // At least one of the strings is two-byte. Check whether it happens | |
4752 // to contain only one byte characters. | |
4753 // t0: first instance type. | |
4754 // t1: second instance type. | |
4755 // Branch to if _both_ instances have kOneByteDataHintMask set. | |
4756 __ And(at, t0, Operand(kOneByteDataHintMask)); | |
4757 __ and_(at, at, t1); | |
4758 __ Branch(&ascii_data, ne, at, Operand(zero_reg)); | |
4759 __ Xor(t0, t0, Operand(t1)); | |
4760 STATIC_ASSERT(kOneByteStringTag != 0 && kOneByteDataHintTag != 0); | |
4761 __ And(t0, t0, Operand(kOneByteStringTag | kOneByteDataHintTag)); | |
4762 __ Branch(&ascii_data, eq, t0, | |
4763 Operand(kOneByteStringTag | kOneByteDataHintTag)); | |
4764 | |
4765 // Allocate a two byte cons string. | |
4766 __ AllocateTwoByteConsString(v0, t2, t0, t1, &call_runtime); | |
4767 __ Branch(&allocated); | |
4768 | |
4769 // We cannot encounter sliced strings or cons strings here since: | |
4770 STATIC_ASSERT(SlicedString::kMinLength >= ConsString::kMinLength); | |
4771 // Handle creating a flat result from either external or sequential strings. | |
4772 // Locate the first characters' locations. | |
4773 // a0: first string | |
4774 // a1: second string | |
4775 // a2: length of first string | |
4776 // a3: length of second string | |
4777 // t0: first string instance type (if flags_ == NO_STRING_ADD_FLAGS) | |
4778 // t1: second string instance type (if flags_ == NO_STRING_ADD_FLAGS) | |
4779 // t2: sum of lengths. | |
4780 Label first_prepared, second_prepared; | |
4781 __ bind(&string_add_flat_result); | |
4782 if ((flags_ & STRING_ADD_CHECK_BOTH) != STRING_ADD_CHECK_BOTH) { | |
4783 __ lw(t0, FieldMemOperand(a0, HeapObject::kMapOffset)); | |
4784 __ lw(t1, FieldMemOperand(a1, HeapObject::kMapOffset)); | |
4785 __ lbu(t0, FieldMemOperand(t0, Map::kInstanceTypeOffset)); | |
4786 __ lbu(t1, FieldMemOperand(t1, Map::kInstanceTypeOffset)); | |
4787 } | |
4788 // Check whether both strings have same encoding | |
4789 __ Xor(t3, t0, Operand(t1)); | |
4790 __ And(t3, t3, Operand(kStringEncodingMask)); | |
4791 __ Branch(&call_runtime, ne, t3, Operand(zero_reg)); | |
4792 | |
4793 STATIC_ASSERT(kSeqStringTag == 0); | |
4794 __ And(t4, t0, Operand(kStringRepresentationMask)); | |
4795 | |
4796 STATIC_ASSERT(SeqOneByteString::kHeaderSize == SeqTwoByteString::kHeaderSize); | |
4797 Label skip_first_add; | |
4798 __ Branch(&skip_first_add, ne, t4, Operand(zero_reg)); | |
4799 __ Branch(USE_DELAY_SLOT, &first_prepared); | |
4800 __ addiu(t3, a0, SeqOneByteString::kHeaderSize - kHeapObjectTag); | |
4801 __ bind(&skip_first_add); | |
4802 // External string: rule out short external string and load string resource. | |
4803 STATIC_ASSERT(kShortExternalStringTag != 0); | |
4804 __ And(t4, t0, Operand(kShortExternalStringMask)); | |
4805 __ Branch(&call_runtime, ne, t4, Operand(zero_reg)); | |
4806 __ lw(t3, FieldMemOperand(a0, ExternalString::kResourceDataOffset)); | |
4807 __ bind(&first_prepared); | |
4808 | |
4809 STATIC_ASSERT(kSeqStringTag == 0); | |
4810 __ And(t4, t1, Operand(kStringRepresentationMask)); | |
4811 STATIC_ASSERT(SeqOneByteString::kHeaderSize == SeqTwoByteString::kHeaderSize); | |
4812 Label skip_second_add; | |
4813 __ Branch(&skip_second_add, ne, t4, Operand(zero_reg)); | |
4814 __ Branch(USE_DELAY_SLOT, &second_prepared); | |
4815 __ addiu(a1, a1, SeqOneByteString::kHeaderSize - kHeapObjectTag); | |
4816 __ bind(&skip_second_add); | |
4817 // External string: rule out short external string and load string resource. | |
4818 STATIC_ASSERT(kShortExternalStringTag != 0); | |
4819 __ And(t4, t1, Operand(kShortExternalStringMask)); | |
4820 __ Branch(&call_runtime, ne, t4, Operand(zero_reg)); | |
4821 __ lw(a1, FieldMemOperand(a1, ExternalString::kResourceDataOffset)); | |
4822 __ bind(&second_prepared); | |
4823 | |
4824 Label non_ascii_string_add_flat_result; | |
4825 // t3: first character of first string | |
4826 // a1: first character of second string | |
4827 // a2: length of first string | |
4828 // a3: length of second string | |
4829 // t2: sum of lengths. | |
4830 // Both strings have the same encoding. | |
4831 STATIC_ASSERT(kTwoByteStringTag == 0); | |
4832 __ And(t4, t1, Operand(kStringEncodingMask)); | |
4833 __ Branch(&non_ascii_string_add_flat_result, eq, t4, Operand(zero_reg)); | |
4834 | |
4835 __ AllocateAsciiString(v0, t2, t0, t1, t5, &call_runtime); | |
4836 __ Addu(t2, v0, Operand(SeqOneByteString::kHeaderSize - kHeapObjectTag)); | |
4837 // v0: result string. | |
4838 // t3: first character of first string. | |
4839 // a1: first character of second string | |
4840 // a2: length of first string. | |
4841 // a3: length of second string. | |
4842 // t2: first character of result. | |
4843 | |
4844 StringHelper::GenerateCopyCharacters(masm, t2, t3, a2, t0, true); | |
4845 // t2: next character of result. | |
4846 StringHelper::GenerateCopyCharacters(masm, t2, a1, a3, t0, true); | |
4847 __ IncrementCounter(counters->string_add_native(), 1, a2, a3); | |
4848 __ DropAndRet(2); | |
4849 | |
4850 __ bind(&non_ascii_string_add_flat_result); | |
4851 __ AllocateTwoByteString(v0, t2, t0, t1, t5, &call_runtime); | |
4852 __ Addu(t2, v0, Operand(SeqTwoByteString::kHeaderSize - kHeapObjectTag)); | |
4853 // v0: result string. | |
4854 // t3: first character of first string. | |
4855 // a1: first character of second string. | |
4856 // a2: length of first string. | |
4857 // a3: length of second string. | |
4858 // t2: first character of result. | |
4859 StringHelper::GenerateCopyCharacters(masm, t2, t3, a2, t0, false); | |
4860 // t2: next character of result. | |
4861 StringHelper::GenerateCopyCharacters(masm, t2, a1, a3, t0, false); | |
4862 | |
4863 __ IncrementCounter(counters->string_add_native(), 1, a2, a3); | |
4864 __ DropAndRet(2); | |
4865 | |
4866 // Just jump to runtime to add the two strings. | |
4867 __ bind(&call_runtime); | |
4868 __ TailCallRuntime(Runtime::kStringAdd, 2, 1); | |
4869 | |
4870 if (call_builtin.is_linked()) { | |
4871 __ bind(&call_builtin); | |
4872 __ InvokeBuiltin(builtin_id, JUMP_FUNCTION); | |
4873 } | |
4874 } | |
4875 | |
4876 | |
4877 void StringAddStub::GenerateRegisterArgsPush(MacroAssembler* masm) { | |
4878 __ push(a0); | |
4879 __ push(a1); | |
4880 } | |
4881 | |
4882 | |
4883 void StringAddStub::GenerateRegisterArgsPop(MacroAssembler* masm) { | |
4884 __ pop(a1); | |
4885 __ pop(a0); | |
4886 } | |
4887 | |
4888 | |
4889 void StringAddStub::GenerateConvertArgument(MacroAssembler* masm, | |
4890 int stack_offset, | |
4891 Register arg, | |
4892 Register scratch1, | |
4893 Register scratch2, | |
4894 Register scratch3, | |
4895 Register scratch4, | |
4896 Label* slow) { | |
4897 // First check if the argument is already a string. | |
4898 Label not_string, done; | |
4899 __ JumpIfSmi(arg, ¬_string); | |
4900 __ GetObjectType(arg, scratch1, scratch1); | |
4901 __ Branch(&done, lt, scratch1, Operand(FIRST_NONSTRING_TYPE)); | |
4902 | |
4903 // Check the number to string cache. | |
4904 __ bind(¬_string); | |
4905 // Puts the cached result into scratch1. | |
4906 __ LookupNumberStringCache(arg, scratch1, scratch2, scratch3, scratch4, slow); | |
4907 __ mov(arg, scratch1); | |
4908 __ sw(arg, MemOperand(sp, stack_offset)); | |
4909 __ bind(&done); | |
4910 } | |
4911 | |
4912 | |
4913 void ICCompareStub::GenerateSmis(MacroAssembler* masm) { | 4398 void ICCompareStub::GenerateSmis(MacroAssembler* masm) { |
4914 ASSERT(state_ == CompareIC::SMI); | 4399 ASSERT(state_ == CompareIC::SMI); |
4915 Label miss; | 4400 Label miss; |
4916 __ Or(a2, a1, a0); | 4401 __ Or(a2, a1, a0); |
4917 __ JumpIfNotSmi(a2, &miss); | 4402 __ JumpIfNotSmi(a2, &miss); |
4918 | 4403 |
4919 if (GetCondition() == eq) { | 4404 if (GetCondition() == eq) { |
4920 // For equality we do not care about the sign of the result. | 4405 // For equality we do not care about the sign of the result. |
4921 __ Ret(USE_DELAY_SLOT); | 4406 __ Ret(USE_DELAY_SLOT); |
4922 __ Subu(v0, a0, a1); | 4407 __ Subu(v0, a0, a1); |
(...skipping 1295 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
6218 __ bind(&fast_elements_case); | 5703 __ bind(&fast_elements_case); |
6219 GenerateCase(masm, FAST_ELEMENTS); | 5704 GenerateCase(masm, FAST_ELEMENTS); |
6220 } | 5705 } |
6221 | 5706 |
6222 | 5707 |
6223 #undef __ | 5708 #undef __ |
6224 | 5709 |
6225 } } // namespace v8::internal | 5710 } } // namespace v8::internal |
6226 | 5711 |
6227 #endif // V8_TARGET_ARCH_MIPS | 5712 #endif // V8_TARGET_ARCH_MIPS |
OLD | NEW |