| 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 1728 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1739 // length of a string, i.e. it is always a Smi. We check anyway for security. | 1739 // length of a string, i.e. it is always a Smi. We check anyway for security. |
| 1740 CONVERT_SMI_ARG_CHECKED(index, 2); | 1740 CONVERT_SMI_ARG_CHECKED(index, 2); |
| 1741 CONVERT_ARG_HANDLE_CHECKED(JSArray, last_match_info, 3); | 1741 CONVERT_ARG_HANDLE_CHECKED(JSArray, last_match_info, 3); |
| 1742 RUNTIME_ASSERT(last_match_info->HasFastObjectElements()); | 1742 RUNTIME_ASSERT(last_match_info->HasFastObjectElements()); |
| 1743 RUNTIME_ASSERT(index >= 0); | 1743 RUNTIME_ASSERT(index >= 0); |
| 1744 RUNTIME_ASSERT(index <= subject->length()); | 1744 RUNTIME_ASSERT(index <= subject->length()); |
| 1745 isolate->counters()->regexp_entry_runtime()->Increment(); | 1745 isolate->counters()->regexp_entry_runtime()->Increment(); |
| 1746 Handle<Object> result = RegExpImpl::Exec(regexp, | 1746 Handle<Object> result = RegExpImpl::Exec(regexp, |
| 1747 subject, | 1747 subject, |
| 1748 index, | 1748 index, |
| 1749 last_match_info); | 1749 last_match_info, |
| 1750 isolate->zone()); |
| 1750 if (result.is_null()) return Failure::Exception(); | 1751 if (result.is_null()) return Failure::Exception(); |
| 1751 return *result; | 1752 return *result; |
| 1752 } | 1753 } |
| 1753 | 1754 |
| 1754 | 1755 |
| 1755 RUNTIME_FUNCTION(MaybeObject*, Runtime_RegExpConstructResult) { | 1756 RUNTIME_FUNCTION(MaybeObject*, Runtime_RegExpConstructResult) { |
| 1756 ASSERT(args.length() == 3); | 1757 ASSERT(args.length() == 3); |
| 1757 CONVERT_SMI_ARG_CHECKED(elements_count, 0); | 1758 CONVERT_SMI_ARG_CHECKED(elements_count, 0); |
| 1758 if (elements_count < 0 || | 1759 if (elements_count < 0 || |
| 1759 elements_count > FixedArray::kMaxLength || | 1760 elements_count > FixedArray::kMaxLength || |
| (...skipping 1287 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3047 HandleScope handles(isolate); | 3048 HandleScope handles(isolate); |
| 3048 | 3049 |
| 3049 int length = subject->length(); | 3050 int length = subject->length(); |
| 3050 Handle<String> subject_handle(subject); | 3051 Handle<String> subject_handle(subject); |
| 3051 Handle<JSRegExp> regexp_handle(regexp); | 3052 Handle<JSRegExp> regexp_handle(regexp); |
| 3052 Handle<String> replacement_handle(replacement); | 3053 Handle<String> replacement_handle(replacement); |
| 3053 Handle<JSArray> last_match_info_handle(last_match_info); | 3054 Handle<JSArray> last_match_info_handle(last_match_info); |
| 3054 Handle<Object> match = RegExpImpl::Exec(regexp_handle, | 3055 Handle<Object> match = RegExpImpl::Exec(regexp_handle, |
| 3055 subject_handle, | 3056 subject_handle, |
| 3056 0, | 3057 0, |
| 3057 last_match_info_handle); | 3058 last_match_info_handle, |
| 3059 isolate->zone()); |
| 3058 if (match.is_null()) { | 3060 if (match.is_null()) { |
| 3059 return Failure::Exception(); | 3061 return Failure::Exception(); |
| 3060 } | 3062 } |
| 3061 if (match->IsNull()) { | 3063 if (match->IsNull()) { |
| 3062 return *subject_handle; | 3064 return *subject_handle; |
| 3063 } | 3065 } |
| 3064 | 3066 |
| 3065 int capture_count = regexp_handle->CaptureCount(); | 3067 int capture_count = regexp_handle->CaptureCount(); |
| 3066 | 3068 |
| 3067 // CompiledReplacement uses zone allocation. | 3069 // CompiledReplacement uses zone allocation. |
| (...skipping 78 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3146 // Continue from where the match ended, unless it was an empty match. | 3148 // Continue from where the match ended, unless it was an empty match. |
| 3147 int next = end; | 3149 int next = end; |
| 3148 if (start == end) { | 3150 if (start == end) { |
| 3149 next = end + 1; | 3151 next = end + 1; |
| 3150 if (next > length) break; | 3152 if (next > length) break; |
| 3151 } | 3153 } |
| 3152 | 3154 |
| 3153 match = RegExpImpl::Exec(regexp_handle, | 3155 match = RegExpImpl::Exec(regexp_handle, |
| 3154 subject_handle, | 3156 subject_handle, |
| 3155 next, | 3157 next, |
| 3156 last_match_info_handle); | 3158 last_match_info_handle, |
| 3159 isolate->zone()); |
| 3157 if (match.is_null()) { | 3160 if (match.is_null()) { |
| 3158 return Failure::Exception(); | 3161 return Failure::Exception(); |
| 3159 } | 3162 } |
| 3160 matched = !match->IsNull(); | 3163 matched = !match->IsNull(); |
| 3161 } while (matched); | 3164 } while (matched); |
| 3162 | 3165 |
| 3163 if (prev < length) { | 3166 if (prev < length) { |
| 3164 builder.AddSubjectSlice(prev, length); | 3167 builder.AddSubjectSlice(prev, length); |
| 3165 } | 3168 } |
| 3166 | 3169 |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3199 subject_handle, | 3202 subject_handle, |
| 3200 regexp_handle, | 3203 regexp_handle, |
| 3201 empty_string_handle, | 3204 empty_string_handle, |
| 3202 last_match_info_handle); | 3205 last_match_info_handle); |
| 3203 } | 3206 } |
| 3204 } | 3207 } |
| 3205 | 3208 |
| 3206 Handle<Object> match = RegExpImpl::Exec(regexp_handle, | 3209 Handle<Object> match = RegExpImpl::Exec(regexp_handle, |
| 3207 subject_handle, | 3210 subject_handle, |
| 3208 0, | 3211 0, |
| 3209 last_match_info_handle); | 3212 last_match_info_handle, |
| 3213 isolate->zone()); |
| 3210 if (match.is_null()) return Failure::Exception(); | 3214 if (match.is_null()) return Failure::Exception(); |
| 3211 if (match->IsNull()) return *subject_handle; | 3215 if (match->IsNull()) return *subject_handle; |
| 3212 | 3216 |
| 3213 ASSERT(last_match_info_handle->HasFastObjectElements()); | 3217 ASSERT(last_match_info_handle->HasFastObjectElements()); |
| 3214 | 3218 |
| 3215 int start, end; | 3219 int start, end; |
| 3216 { | 3220 { |
| 3217 AssertNoAllocation match_info_array_is_not_in_a_handle; | 3221 AssertNoAllocation match_info_array_is_not_in_a_handle; |
| 3218 FixedArray* match_info_array = | 3222 FixedArray* match_info_array = |
| 3219 FixedArray::cast(last_match_info_handle->elements()); | 3223 FixedArray::cast(last_match_info_handle->elements()); |
| (...skipping 53 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3273 prev = end; | 3277 prev = end; |
| 3274 next = end; | 3278 next = end; |
| 3275 // Continue from where the match ended, unless it was an empty match. | 3279 // Continue from where the match ended, unless it was an empty match. |
| 3276 if (start == end) { | 3280 if (start == end) { |
| 3277 next++; | 3281 next++; |
| 3278 if (next > length) break; | 3282 if (next > length) break; |
| 3279 } | 3283 } |
| 3280 match = RegExpImpl::Exec(regexp_handle, | 3284 match = RegExpImpl::Exec(regexp_handle, |
| 3281 subject_handle, | 3285 subject_handle, |
| 3282 next, | 3286 next, |
| 3283 last_match_info_handle); | 3287 last_match_info_handle, |
| 3288 isolate->zone()); |
| 3284 if (match.is_null()) return Failure::Exception(); | 3289 if (match.is_null()) return Failure::Exception(); |
| 3285 if (match->IsNull()) break; | 3290 if (match->IsNull()) break; |
| 3286 | 3291 |
| 3287 ASSERT(last_match_info_handle->HasFastObjectElements()); | 3292 ASSERT(last_match_info_handle->HasFastObjectElements()); |
| 3288 HandleScope loop_scope(isolate); | 3293 HandleScope loop_scope(isolate); |
| 3289 { | 3294 { |
| 3290 AssertNoAllocation match_info_array_is_not_in_a_handle; | 3295 AssertNoAllocation match_info_array_is_not_in_a_handle; |
| 3291 FixedArray* match_info_array = | 3296 FixedArray* match_info_array = |
| 3292 FixedArray::cast(last_match_info_handle->elements()); | 3297 FixedArray::cast(last_match_info_handle->elements()); |
| 3293 start = RegExpImpl::GetCapture(match_info_array, 0); | 3298 start = RegExpImpl::GetCapture(match_info_array, 0); |
| (...skipping 392 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3686 | 3691 |
| 3687 | 3692 |
| 3688 RUNTIME_FUNCTION(MaybeObject*, Runtime_StringMatch) { | 3693 RUNTIME_FUNCTION(MaybeObject*, Runtime_StringMatch) { |
| 3689 ASSERT_EQ(3, args.length()); | 3694 ASSERT_EQ(3, args.length()); |
| 3690 | 3695 |
| 3691 CONVERT_ARG_HANDLE_CHECKED(String, subject, 0); | 3696 CONVERT_ARG_HANDLE_CHECKED(String, subject, 0); |
| 3692 CONVERT_ARG_HANDLE_CHECKED(JSRegExp, regexp, 1); | 3697 CONVERT_ARG_HANDLE_CHECKED(JSRegExp, regexp, 1); |
| 3693 CONVERT_ARG_HANDLE_CHECKED(JSArray, regexp_info, 2); | 3698 CONVERT_ARG_HANDLE_CHECKED(JSArray, regexp_info, 2); |
| 3694 HandleScope handles; | 3699 HandleScope handles; |
| 3695 | 3700 |
| 3696 Handle<Object> match = RegExpImpl::Exec(regexp, subject, 0, regexp_info); | 3701 Handle<Object> match = RegExpImpl::Exec(regexp, subject, 0, regexp_info, |
| 3702 isolate->zone()); |
| 3697 | 3703 |
| 3698 if (match.is_null()) { | 3704 if (match.is_null()) { |
| 3699 return Failure::Exception(); | 3705 return Failure::Exception(); |
| 3700 } | 3706 } |
| 3701 if (match->IsNull()) { | 3707 if (match->IsNull()) { |
| 3702 return isolate->heap()->null_value(); | 3708 return isolate->heap()->null_value(); |
| 3703 } | 3709 } |
| 3704 int length = subject->length(); | 3710 int length = subject->length(); |
| 3705 | 3711 |
| 3706 ZoneScope zone_space(isolate, DELETE_ON_EXIT); | 3712 ZoneScope zone_space(isolate, DELETE_ON_EXIT); |
| 3707 ZoneList<int> offsets(8); | 3713 ZoneList<int> offsets(8); |
| 3708 int start; | 3714 int start; |
| 3709 int end; | 3715 int end; |
| 3710 do { | 3716 do { |
| 3711 { | 3717 { |
| 3712 AssertNoAllocation no_alloc; | 3718 AssertNoAllocation no_alloc; |
| 3713 FixedArray* elements = FixedArray::cast(regexp_info->elements()); | 3719 FixedArray* elements = FixedArray::cast(regexp_info->elements()); |
| 3714 start = Smi::cast(elements->get(RegExpImpl::kFirstCapture))->value(); | 3720 start = Smi::cast(elements->get(RegExpImpl::kFirstCapture))->value(); |
| 3715 end = Smi::cast(elements->get(RegExpImpl::kFirstCapture + 1))->value(); | 3721 end = Smi::cast(elements->get(RegExpImpl::kFirstCapture + 1))->value(); |
| 3716 } | 3722 } |
| 3717 offsets.Add(start); | 3723 offsets.Add(start); |
| 3718 offsets.Add(end); | 3724 offsets.Add(end); |
| 3719 if (start == end) if (++end > length) break; | 3725 if (start == end) if (++end > length) break; |
| 3720 match = RegExpImpl::Exec(regexp, subject, end, regexp_info); | 3726 match = RegExpImpl::Exec(regexp, subject, end, regexp_info, |
| 3727 isolate->zone()); |
| 3721 if (match.is_null()) { | 3728 if (match.is_null()) { |
| 3722 return Failure::Exception(); | 3729 return Failure::Exception(); |
| 3723 } | 3730 } |
| 3724 } while (!match->IsNull()); | 3731 } while (!match->IsNull()); |
| 3725 int matches = offsets.length() / 2; | 3732 int matches = offsets.length() / 2; |
| 3726 Handle<FixedArray> elements = isolate->factory()->NewFixedArray(matches); | 3733 Handle<FixedArray> elements = isolate->factory()->NewFixedArray(matches); |
| 3727 Handle<String> substring = isolate->factory()-> | 3734 Handle<String> substring = isolate->factory()-> |
| 3728 NewSubString(subject, offsets.at(0), offsets.at(1)); | 3735 NewSubString(subject, offsets.at(0), offsets.at(1)); |
| 3729 elements->set(0, *substring); | 3736 elements->set(0, *substring); |
| 3730 for (int i = 1; i < matches ; i++) { | 3737 for (int i = 1; i < matches ; i++) { |
| (...skipping 77 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3808 Isolate* isolate, | 3815 Isolate* isolate, |
| 3809 Handle<String> subject, | 3816 Handle<String> subject, |
| 3810 Handle<JSRegExp> regexp, | 3817 Handle<JSRegExp> regexp, |
| 3811 Handle<JSArray> last_match_array, | 3818 Handle<JSArray> last_match_array, |
| 3812 FixedArrayBuilder* builder) { | 3819 FixedArrayBuilder* builder) { |
| 3813 ASSERT(subject->IsFlat()); | 3820 ASSERT(subject->IsFlat()); |
| 3814 ASSERT(regexp->CaptureCount() == 0); | 3821 ASSERT(regexp->CaptureCount() == 0); |
| 3815 int match_start = -1; | 3822 int match_start = -1; |
| 3816 int match_end = 0; | 3823 int match_end = 0; |
| 3817 int pos = 0; | 3824 int pos = 0; |
| 3818 int registers_per_match = RegExpImpl::IrregexpPrepare(regexp, subject); | 3825 int registers_per_match = RegExpImpl::IrregexpPrepare(regexp, subject, |
| 3826 isolate->zone()); |
| 3819 if (registers_per_match < 0) return RegExpImpl::RE_EXCEPTION; | 3827 if (registers_per_match < 0) return RegExpImpl::RE_EXCEPTION; |
| 3820 | 3828 |
| 3821 int max_matches; | 3829 int max_matches; |
| 3822 int num_registers = RegExpImpl::GlobalOffsetsVectorSize(regexp, | 3830 int num_registers = RegExpImpl::GlobalOffsetsVectorSize(regexp, |
| 3823 registers_per_match, | 3831 registers_per_match, |
| 3824 &max_matches); | 3832 &max_matches); |
| 3825 OffsetsVector registers(num_registers, isolate); | 3833 OffsetsVector registers(num_registers, isolate); |
| 3826 Vector<int32_t> register_vector(registers.vector(), registers.length()); | 3834 Vector<int32_t> register_vector(registers.vector(), registers.length()); |
| 3827 int subject_length = subject->length(); | 3835 int subject_length = subject->length(); |
| 3828 bool first = true; | 3836 bool first = true; |
| 3829 for (;;) { // Break on failure, return on exception. | 3837 for (;;) { // Break on failure, return on exception. |
| 3830 int num_matches = RegExpImpl::IrregexpExecRaw(regexp, | 3838 int num_matches = RegExpImpl::IrregexpExecRaw(regexp, |
| 3831 subject, | 3839 subject, |
| 3832 pos, | 3840 pos, |
| 3833 register_vector); | 3841 register_vector, |
| 3842 isolate->zone()); |
| 3834 if (num_matches > 0) { | 3843 if (num_matches > 0) { |
| 3835 for (int match_index = 0; match_index < num_matches; match_index++) { | 3844 for (int match_index = 0; match_index < num_matches; match_index++) { |
| 3836 int32_t* current_match = ®ister_vector[match_index * 2]; | 3845 int32_t* current_match = ®ister_vector[match_index * 2]; |
| 3837 match_start = current_match[0]; | 3846 match_start = current_match[0]; |
| 3838 builder->EnsureCapacity(kMaxBuilderEntriesPerRegExpMatch); | 3847 builder->EnsureCapacity(kMaxBuilderEntriesPerRegExpMatch); |
| 3839 if (match_end < match_start) { | 3848 if (match_end < match_start) { |
| 3840 ReplacementStringBuilder::AddSubjectSlice(builder, | 3849 ReplacementStringBuilder::AddSubjectSlice(builder, |
| 3841 match_end, | 3850 match_end, |
| 3842 match_start); | 3851 match_start); |
| 3843 } | 3852 } |
| (...skipping 49 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3893 // Only called from Runtime_RegExpExecMultiple so it doesn't need to maintain | 3902 // Only called from Runtime_RegExpExecMultiple so it doesn't need to maintain |
| 3894 // separate last match info. See comment on that function. | 3903 // separate last match info. See comment on that function. |
| 3895 static int SearchRegExpMultiple( | 3904 static int SearchRegExpMultiple( |
| 3896 Isolate* isolate, | 3905 Isolate* isolate, |
| 3897 Handle<String> subject, | 3906 Handle<String> subject, |
| 3898 Handle<JSRegExp> regexp, | 3907 Handle<JSRegExp> regexp, |
| 3899 Handle<JSArray> last_match_array, | 3908 Handle<JSArray> last_match_array, |
| 3900 FixedArrayBuilder* builder) { | 3909 FixedArrayBuilder* builder) { |
| 3901 | 3910 |
| 3902 ASSERT(subject->IsFlat()); | 3911 ASSERT(subject->IsFlat()); |
| 3903 int registers_per_match = RegExpImpl::IrregexpPrepare(regexp, subject); | 3912 int registers_per_match = RegExpImpl::IrregexpPrepare(regexp, subject, |
| 3913 isolate->zone()); |
| 3904 if (registers_per_match < 0) return RegExpImpl::RE_EXCEPTION; | 3914 if (registers_per_match < 0) return RegExpImpl::RE_EXCEPTION; |
| 3905 | 3915 |
| 3906 int max_matches; | 3916 int max_matches; |
| 3907 int num_registers = RegExpImpl::GlobalOffsetsVectorSize(regexp, | 3917 int num_registers = RegExpImpl::GlobalOffsetsVectorSize(regexp, |
| 3908 registers_per_match, | 3918 registers_per_match, |
| 3909 &max_matches); | 3919 &max_matches); |
| 3910 OffsetsVector registers(num_registers, isolate); | 3920 OffsetsVector registers(num_registers, isolate); |
| 3911 Vector<int32_t> register_vector(registers.vector(), registers.length()); | 3921 Vector<int32_t> register_vector(registers.vector(), registers.length()); |
| 3912 | 3922 |
| 3913 int num_matches = RegExpImpl::IrregexpExecRaw(regexp, | 3923 int num_matches = RegExpImpl::IrregexpExecRaw(regexp, |
| 3914 subject, | 3924 subject, |
| 3915 0, | 3925 0, |
| 3916 register_vector); | 3926 register_vector, |
| 3927 isolate->zone()); |
| 3917 | 3928 |
| 3918 int capture_count = regexp->CaptureCount(); | 3929 int capture_count = regexp->CaptureCount(); |
| 3919 int subject_length = subject->length(); | 3930 int subject_length = subject->length(); |
| 3920 | 3931 |
| 3921 // Position to search from. | 3932 // Position to search from. |
| 3922 int pos = 0; | 3933 int pos = 0; |
| 3923 // End of previous match. Differs from pos if match was empty. | 3934 // End of previous match. Differs from pos if match was empty. |
| 3924 int match_end = 0; | 3935 int match_end = 0; |
| 3925 bool first = true; | 3936 bool first = true; |
| 3926 | 3937 |
| (...skipping 65 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3992 } else { | 4003 } else { |
| 3993 pos = match_end + 1; | 4004 pos = match_end + 1; |
| 3994 if (pos > subject_length) { | 4005 if (pos > subject_length) { |
| 3995 break; | 4006 break; |
| 3996 } | 4007 } |
| 3997 } | 4008 } |
| 3998 | 4009 |
| 3999 num_matches = RegExpImpl::IrregexpExecRaw(regexp, | 4010 num_matches = RegExpImpl::IrregexpExecRaw(regexp, |
| 4000 subject, | 4011 subject, |
| 4001 pos, | 4012 pos, |
| 4002 register_vector); | 4013 register_vector, |
| 4014 isolate->zone()); |
| 4003 } while (num_matches > 0); | 4015 } while (num_matches > 0); |
| 4004 | 4016 |
| 4005 if (num_matches != RegExpImpl::RE_EXCEPTION) { | 4017 if (num_matches != RegExpImpl::RE_EXCEPTION) { |
| 4006 // Finished matching, with at least one match. | 4018 // Finished matching, with at least one match. |
| 4007 if (match_end < subject_length) { | 4019 if (match_end < subject_length) { |
| 4008 ReplacementStringBuilder::AddSubjectSlice(builder, | 4020 ReplacementStringBuilder::AddSubjectSlice(builder, |
| 4009 match_end, | 4021 match_end, |
| 4010 subject_length); | 4022 subject_length); |
| 4011 } | 4023 } |
| 4012 | 4024 |
| (...skipping 9532 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 13545 // Handle last resort GC and make sure to allow future allocations | 13557 // Handle last resort GC and make sure to allow future allocations |
| 13546 // to grow the heap without causing GCs (if possible). | 13558 // to grow the heap without causing GCs (if possible). |
| 13547 isolate->counters()->gc_last_resort_from_js()->Increment(); | 13559 isolate->counters()->gc_last_resort_from_js()->Increment(); |
| 13548 isolate->heap()->CollectAllGarbage(Heap::kNoGCFlags, | 13560 isolate->heap()->CollectAllGarbage(Heap::kNoGCFlags, |
| 13549 "Runtime::PerformGC"); | 13561 "Runtime::PerformGC"); |
| 13550 } | 13562 } |
| 13551 } | 13563 } |
| 13552 | 13564 |
| 13553 | 13565 |
| 13554 } } // namespace v8::internal | 13566 } } // namespace v8::internal |
| OLD | NEW |