Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(314)

Side by Side Diff: src/parser.cc

Issue 376223002: Refactor ScriptData class for cached compile data. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Created 6 years, 5 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // Use of this source code is governed by a BSD-style license that can be 2 // Use of this source code is governed by a BSD-style license that can be
3 // found in the LICENSE file. 3 // found in the LICENSE file.
4 4
5 #include "src/v8.h" 5 #include "src/v8.h"
6 6
7 #include "src/api.h" 7 #include "src/api.h"
8 #include "src/ast.h" 8 #include "src/ast.h"
9 #include "src/base/platform/platform.h" 9 #include "src/base/platform/platform.h"
10 #include "src/bootstrapper.h" 10 #include "src/bootstrapper.h"
(...skipping 164 matching lines...) Expand 10 before | Expand all | Expand 10 after
175 // Only call immediately after adding an atom or character! 175 // Only call immediately after adding an atom or character!
176 UNREACHABLE(); 176 UNREACHABLE();
177 return; 177 return;
178 } 178 }
179 terms_.Add( 179 terms_.Add(
180 new(zone()) RegExpQuantifier(min, max, quantifier_type, atom), zone()); 180 new(zone()) RegExpQuantifier(min, max, quantifier_type, atom), zone());
181 LAST(ADD_TERM); 181 LAST(ADD_TERM);
182 } 182 }
183 183
184 184
185 ScriptData* ScriptData::New(const char* data, int length, bool owns_store) { 185 FunctionEntry ParseData::GetFunctionEntry(int start) {
186 // The length is obviously invalid.
187 if (length % sizeof(unsigned) != 0) {
188 return NULL;
189 }
190
191 int deserialized_data_length = length / sizeof(unsigned);
192 unsigned* deserialized_data;
193 owns_store =
194 owns_store || reinterpret_cast<intptr_t>(data) % sizeof(unsigned) != 0;
195 if (owns_store) {
196 // Copy the data to align it.
197 deserialized_data = i::NewArray<unsigned>(deserialized_data_length);
198 i::CopyBytes(reinterpret_cast<char*>(deserialized_data),
199 data, static_cast<size_t>(length));
200 } else {
201 // If aligned, don't create a copy of the data.
202 deserialized_data = reinterpret_cast<unsigned*>(const_cast<char*>(data));
203 }
204 return new ScriptData(
205 Vector<unsigned>(deserialized_data, deserialized_data_length),
206 owns_store);
207 }
208
209
210 FunctionEntry ScriptData::GetFunctionEntry(int start) {
211 // The current pre-data entry must be a FunctionEntry with the given 186 // The current pre-data entry must be a FunctionEntry with the given
212 // start position. 187 // start position.
213 if ((function_index_ + FunctionEntry::kSize <= store_.length()) 188 if ((function_index_ + FunctionEntry::kSize <= Length()) &&
214 && (static_cast<int>(store_[function_index_]) == start)) { 189 (static_cast<int>(Data()[function_index_]) == start)) {
215 int index = function_index_; 190 int index = function_index_;
216 function_index_ += FunctionEntry::kSize; 191 function_index_ += FunctionEntry::kSize;
217 return FunctionEntry(store_.SubVector(index, 192 Vector<unsigned> subvector(&(Data()[index]), FunctionEntry::kSize);
218 index + FunctionEntry::kSize)); 193 return FunctionEntry(subvector);
219 } 194 }
220 return FunctionEntry(); 195 return FunctionEntry();
221 } 196 }
222 197
223 198
224 int ScriptData::GetSymbolIdentifier() { 199 int ParseData::FunctionCount() {
225 return ReadNumber(&symbol_data_); 200 int functions_size = FunctionsSize();
201 if (functions_size < 0) return 0;
202 if (functions_size % FunctionEntry::kSize != 0) return 0;
203 return functions_size / FunctionEntry::kSize;
226 } 204 }
227 205
228 206
229 bool ScriptData::SanityCheck() { 207 bool ParseData::IsSane() {
230 // Check that the header data is valid and doesn't specify 208 // Check that the header data is valid and doesn't specify
231 // point to positions outside the store. 209 // point to positions outside the store.
232 if (store_.length() < PreparseDataConstants::kHeaderSize) return false; 210 int data_length = Length();
233 if (magic() != PreparseDataConstants::kMagicNumber) return false; 211 if (data_length < PreparseDataConstants::kHeaderSize) return false;
234 if (version() != PreparseDataConstants::kCurrentVersion) return false; 212 if (Magic() != PreparseDataConstants::kMagicNumber) return false;
235 if (has_error()) { 213 if (Version() != PreparseDataConstants::kCurrentVersion) return false;
236 // Extra sane sanity check for error message encoding. 214 if (HasError()) return false;
237 if (store_.length() <= PreparseDataConstants::kHeaderSize
238 + PreparseDataConstants::kMessageTextPos) {
239 return false;
240 }
241 if (Read(PreparseDataConstants::kMessageStartPos) >
242 Read(PreparseDataConstants::kMessageEndPos)) {
243 return false;
244 }
245 unsigned arg_count = Read(PreparseDataConstants::kMessageArgCountPos);
246 int pos = PreparseDataConstants::kMessageTextPos;
247 for (unsigned int i = 0; i <= arg_count; i++) {
248 if (store_.length() <= PreparseDataConstants::kHeaderSize + pos) {
249 return false;
250 }
251 int length = static_cast<int>(Read(pos));
252 if (length < 0) return false;
253 pos += 1 + length;
254 }
255 if (store_.length() < PreparseDataConstants::kHeaderSize + pos) {
256 return false;
257 }
258 return true;
259 }
260 // Check that the space allocated for function entries is sane. 215 // Check that the space allocated for function entries is sane.
261 int functions_size = 216 int functions_size = FunctionsSize();
262 static_cast<int>(store_[PreparseDataConstants::kFunctionsSizeOffset]);
263 if (functions_size < 0) return false; 217 if (functions_size < 0) return false;
264 if (functions_size % FunctionEntry::kSize != 0) return false; 218 if (functions_size % FunctionEntry::kSize != 0) return false;
265 // Check that the total size has room for header and function entries. 219 // Check that the total size has room for header and function entries.
266 int minimum_size = 220 int minimum_size =
267 PreparseDataConstants::kHeaderSize + functions_size; 221 PreparseDataConstants::kHeaderSize + functions_size;
268 if (store_.length() < minimum_size) return false; 222 if (data_length < minimum_size) return false;
269 return true; 223 return true;
270 } 224 }
271 225
272 226
273 227 void ParseData::Initialize() {
274 const char* ScriptData::ReadString(unsigned* start, int* chars) { 228 // Prepares state for use.
275 int length = start[0]; 229 int data_length = Length();
276 char* result = NewArray<char>(length + 1); 230 if (data_length >= PreparseDataConstants::kHeaderSize) {
277 for (int i = 0; i < length; i++) { 231 function_index_ = PreparseDataConstants::kHeaderSize;
278 result[i] = start[i + 1];
279 } 232 }
280 result[length] = '\0';
281 if (chars != NULL) *chars = length;
282 return result;
283 } 233 }
284 234
285 235
286 Scanner::Location ScriptData::MessageLocation() const { 236 bool ParseData::HasError() {
287 int beg_pos = Read(PreparseDataConstants::kMessageStartPos); 237 return Data()[PreparseDataConstants::kHasErrorOffset];
288 int end_pos = Read(PreparseDataConstants::kMessageEndPos);
289 return Scanner::Location(beg_pos, end_pos);
290 } 238 }
291 239
292 240
293 bool ScriptData::IsReferenceError() const { 241 unsigned ParseData::Magic() {
294 return Read(PreparseDataConstants::kIsReferenceErrorPos); 242 return Data()[PreparseDataConstants::kMagicOffset];
295 } 243 }
296 244
297 245
298 const char* ScriptData::BuildMessage() const { 246 unsigned ParseData::Version() {
299 unsigned* start = ReadAddress(PreparseDataConstants::kMessageTextPos); 247 return Data()[PreparseDataConstants::kVersionOffset];
300 return ReadString(start, NULL);
301 } 248 }
302 249
303 250
304 const char* ScriptData::BuildArg() const { 251 int ParseData::FunctionsSize() {
305 int arg_count = Read(PreparseDataConstants::kMessageArgCountPos); 252 return static_cast<int>(Data()[PreparseDataConstants::kFunctionsSizeOffset]);
306 ASSERT(arg_count == 0 || arg_count == 1);
307 if (arg_count == 0) {
308 return NULL;
309 }
310 // Position after text found by skipping past length field and
311 // length field content words.
312 int pos = PreparseDataConstants::kMessageTextPos + 1
313 + Read(PreparseDataConstants::kMessageTextPos);
314 int count = 0;
315 return ReadString(ReadAddress(pos), &count);
316 } 253 }
317 254
318 255
319 unsigned ScriptData::Read(int position) const { 256 void Parser::SetCachedData() {
320 return store_[PreparseDataConstants::kHeaderSize + position]; 257 if (cached_data_mode() == NO_CACHED_DATA) {
258 cached_parse_data_ = NULL;
259 } else {
260 ASSERT(info_->cached_data() != NULL);
261 if (cached_data_mode() == CONSUME_CACHED_DATA) {
262 cached_parse_data_ = new ParseData(*info_->cached_data());
263 }
264 }
321 } 265 }
322 266
323 267
324 unsigned* ScriptData::ReadAddress(int position) const {
325 return &store_[PreparseDataConstants::kHeaderSize + position];
326 }
327
328
329 Scope* Parser::NewScope(Scope* parent, ScopeType scope_type) { 268 Scope* Parser::NewScope(Scope* parent, ScopeType scope_type) {
330 ASSERT(ast_value_factory_); 269 ASSERT(ast_value_factory_);
331 Scope* result = 270 Scope* result =
332 new (zone()) Scope(parent, scope_type, ast_value_factory_, zone()); 271 new (zone()) Scope(parent, scope_type, ast_value_factory_, zone());
333 result->Initialize(); 272 result->Initialize();
334 return result; 273 return result;
335 } 274 }
336 275
337 276
338 // ---------------------------------------------------------------------------- 277 // ----------------------------------------------------------------------------
(...skipping 411 matching lines...) Expand 10 before | Expand all | Expand 10 after
750 return parser_->ParseFunctionLiteral(name, function_name_location, 689 return parser_->ParseFunctionLiteral(name, function_name_location,
751 name_is_strict_reserved, is_generator, 690 name_is_strict_reserved, is_generator,
752 function_token_position, type, 691 function_token_position, type,
753 arity_restriction, ok); 692 arity_restriction, ok);
754 } 693 }
755 694
756 695
757 Parser::Parser(CompilationInfo* info) 696 Parser::Parser(CompilationInfo* info)
758 : ParserBase<ParserTraits>(&scanner_, 697 : ParserBase<ParserTraits>(&scanner_,
759 info->isolate()->stack_guard()->real_climit(), 698 info->isolate()->stack_guard()->real_climit(),
760 info->extension(), 699 info->extension(), NULL, info->zone(), this),
761 NULL,
762 info->zone(),
763 this),
764 isolate_(info->isolate()), 700 isolate_(info->isolate()),
765 script_(info->script()), 701 script_(info->script()),
766 scanner_(isolate_->unicode_cache()), 702 scanner_(isolate_->unicode_cache()),
767 reusable_preparser_(NULL), 703 reusable_preparser_(NULL),
768 original_scope_(NULL), 704 original_scope_(NULL),
769 target_stack_(NULL), 705 target_stack_(NULL),
770 cached_data_(NULL), 706 cached_parse_data_(NULL),
771 cached_data_mode_(NO_CACHED_DATA),
772 ast_value_factory_(NULL), 707 ast_value_factory_(NULL),
773 info_(info), 708 info_(info),
774 has_pending_error_(false), 709 has_pending_error_(false),
775 pending_error_message_(NULL), 710 pending_error_message_(NULL),
776 pending_error_arg_(NULL), 711 pending_error_arg_(NULL),
777 pending_error_char_arg_(NULL) { 712 pending_error_char_arg_(NULL) {
778 ASSERT(!script_.is_null()); 713 ASSERT(!script_.is_null());
779 isolate_->set_ast_node_id(0); 714 isolate_->set_ast_node_id(0);
780 set_allow_harmony_scoping(!info->is_native() && FLAG_harmony_scoping); 715 set_allow_harmony_scoping(!info->is_native() && FLAG_harmony_scoping);
781 set_allow_modules(!info->is_native() && FLAG_harmony_modules); 716 set_allow_modules(!info->is_native() && FLAG_harmony_modules);
(...skipping 16 matching lines...) Expand all
798 Handle<String> source(String::cast(script_->source())); 733 Handle<String> source(String::cast(script_->source()));
799 isolate()->counters()->total_parse_size()->Increment(source->length()); 734 isolate()->counters()->total_parse_size()->Increment(source->length());
800 base::ElapsedTimer timer; 735 base::ElapsedTimer timer;
801 if (FLAG_trace_parse) { 736 if (FLAG_trace_parse) {
802 timer.Start(); 737 timer.Start();
803 } 738 }
804 fni_ = new(zone()) FuncNameInferrer(ast_value_factory_, zone()); 739 fni_ = new(zone()) FuncNameInferrer(ast_value_factory_, zone());
805 740
806 // Initialize parser state. 741 // Initialize parser state.
807 CompleteParserRecorder recorder; 742 CompleteParserRecorder recorder;
808 if (cached_data_mode_ == PRODUCE_CACHED_DATA) { 743 if (cached_data_mode() == PRODUCE_CACHED_DATA) {
809 log_ = &recorder; 744 log_ = &recorder;
810 } else if (cached_data_mode_ == CONSUME_CACHED_DATA) { 745 } else if (cached_data_mode() == CONSUME_CACHED_DATA) {
811 (*cached_data_)->Initialize(); 746 cached_parse_data_->Initialize();
812 } 747 }
813 748
814 source = String::Flatten(source); 749 source = String::Flatten(source);
815 FunctionLiteral* result; 750 FunctionLiteral* result;
816 if (source->IsExternalTwoByteString()) { 751 if (source->IsExternalTwoByteString()) {
817 // Notice that the stream is destroyed at the end of the branch block. 752 // Notice that the stream is destroyed at the end of the branch block.
818 // The last line of the blocks can't be moved outside, even though they're 753 // The last line of the blocks can't be moved outside, even though they're
819 // identical calls. 754 // identical calls.
820 ExternalTwoByteStringUtf16CharacterStream stream( 755 ExternalTwoByteStringUtf16CharacterStream stream(
821 Handle<ExternalTwoByteString>::cast(source), 0, source->length()); 756 Handle<ExternalTwoByteString>::cast(source), 0, source->length());
(...skipping 11 matching lines...) Expand all
833 PrintF("[parsing eval"); 768 PrintF("[parsing eval");
834 } else if (info()->script()->name()->IsString()) { 769 } else if (info()->script()->name()->IsString()) {
835 String* name = String::cast(info()->script()->name()); 770 String* name = String::cast(info()->script()->name());
836 SmartArrayPointer<char> name_chars = name->ToCString(); 771 SmartArrayPointer<char> name_chars = name->ToCString();
837 PrintF("[parsing script: %s", name_chars.get()); 772 PrintF("[parsing script: %s", name_chars.get());
838 } else { 773 } else {
839 PrintF("[parsing script"); 774 PrintF("[parsing script");
840 } 775 }
841 PrintF(" - took %0.3f ms]\n", ms); 776 PrintF(" - took %0.3f ms]\n", ms);
842 } 777 }
843 if (cached_data_mode_ == PRODUCE_CACHED_DATA) { 778 if (cached_data_mode() == PRODUCE_CACHED_DATA) {
844 if (result != NULL) { 779 if (result != NULL) *info_->cached_data() = recorder.GetScriptData();
845 Vector<unsigned> store = recorder.ExtractData();
846 *cached_data_ = new ScriptData(store);
847 }
848 log_ = NULL; 780 log_ = NULL;
849 } 781 }
850 return result; 782 return result;
851 } 783 }
852 784
853 785
854 FunctionLiteral* Parser::DoParseProgram(CompilationInfo* info, 786 FunctionLiteral* Parser::DoParseProgram(CompilationInfo* info,
855 Handle<String> source) { 787 Handle<String> source) {
856 ASSERT(scope_ == NULL); 788 ASSERT(scope_ == NULL);
857 ASSERT(target_stack_ == NULL); 789 ASSERT(target_stack_ == NULL);
(...skipping 2428 matching lines...) Expand 10 before | Expand all | Expand 10 after
3286 // DebuggerStatement :: 3218 // DebuggerStatement ::
3287 // 'debugger' ';' 3219 // 'debugger' ';'
3288 3220
3289 int pos = peek_position(); 3221 int pos = peek_position();
3290 Expect(Token::DEBUGGER, CHECK_OK); 3222 Expect(Token::DEBUGGER, CHECK_OK);
3291 ExpectSemicolon(CHECK_OK); 3223 ExpectSemicolon(CHECK_OK);
3292 return factory()->NewDebuggerStatement(pos); 3224 return factory()->NewDebuggerStatement(pos);
3293 } 3225 }
3294 3226
3295 3227
3296 void Parser::ReportInvalidCachedData(const AstRawString* name, bool* ok) {
3297 ParserTraits::ReportMessage("invalid_cached_data_function", name);
3298 *ok = false;
3299 }
3300
3301
3302 bool CompileTimeValue::IsCompileTimeValue(Expression* expression) { 3228 bool CompileTimeValue::IsCompileTimeValue(Expression* expression) {
3303 if (expression->IsLiteral()) return true; 3229 if (expression->IsLiteral()) return true;
3304 MaterializedLiteral* lit = expression->AsMaterializedLiteral(); 3230 MaterializedLiteral* lit = expression->AsMaterializedLiteral();
3305 return lit != NULL && lit->is_simple(); 3231 return lit != NULL && lit->is_simple();
3306 } 3232 }
3307 3233
3308 3234
3309 Handle<FixedArray> CompileTimeValue::GetValue(Isolate* isolate, 3235 Handle<FixedArray> CompileTimeValue::GetValue(Isolate* isolate,
3310 Expression* expression) { 3236 Expression* expression) {
3311 Factory* factory = isolate->factory(); 3237 Factory* factory = isolate->factory();
(...skipping 296 matching lines...) Expand 10 before | Expand all | Expand 10 after
3608 if (fni_ != NULL && should_infer_name) fni_->AddFunction(function_literal); 3534 if (fni_ != NULL && should_infer_name) fni_->AddFunction(function_literal);
3609 return function_literal; 3535 return function_literal;
3610 } 3536 }
3611 3537
3612 3538
3613 void Parser::SkipLazyFunctionBody(const AstRawString* function_name, 3539 void Parser::SkipLazyFunctionBody(const AstRawString* function_name,
3614 int* materialized_literal_count, 3540 int* materialized_literal_count,
3615 int* expected_property_count, 3541 int* expected_property_count,
3616 bool* ok) { 3542 bool* ok) {
3617 int function_block_pos = position(); 3543 int function_block_pos = position();
3618 if (cached_data_mode_ == CONSUME_CACHED_DATA) { 3544 if (cached_data_mode() == CONSUME_CACHED_DATA) {
3619 // If we have cached data, we use it to skip parsing the function body. The 3545 // If we have cached data, we use it to skip parsing the function body. The
3620 // data contains the information we need to construct the lazy function. 3546 // data contains the information we need to construct the lazy function.
3621 FunctionEntry entry = 3547 FunctionEntry entry =
3622 (*cached_data())->GetFunctionEntry(function_block_pos); 3548 cached_parse_data_->GetFunctionEntry(function_block_pos);
3623 if (entry.is_valid()) { 3549 // Check that cached data is valid.
3624 if (entry.end_pos() <= function_block_pos) { 3550 CHECK(entry.is_valid());
3625 // End position greater than end of stream is safe, and hard to check. 3551 // End position greater than end of stream is safe, and hard to check.
3626 ReportInvalidCachedData(function_name, ok); 3552 CHECK(entry.end_pos() > function_block_pos);
3627 if (!*ok) { 3553 scanner()->SeekForward(entry.end_pos() - 1);
3628 return;
3629 }
3630 }
3631 scanner()->SeekForward(entry.end_pos() - 1);
3632 3554
3633 scope_->set_end_position(entry.end_pos()); 3555 scope_->set_end_position(entry.end_pos());
3634 Expect(Token::RBRACE, ok); 3556 Expect(Token::RBRACE, ok);
3635 if (!*ok) { 3557 if (!*ok) {
3636 return;
3637 }
3638 isolate()->counters()->total_preparse_skipped()->Increment(
3639 scope_->end_position() - function_block_pos);
3640 *materialized_literal_count = entry.literal_count();
3641 *expected_property_count = entry.property_count();
3642 scope_->SetStrictMode(entry.strict_mode());
3643 } else {
3644 // This case happens when we have preparse data but it doesn't contain an
3645 // entry for the function. Fail the compilation.
3646 ReportInvalidCachedData(function_name, ok);
3647 return; 3558 return;
3648 } 3559 }
3560 isolate()->counters()->total_preparse_skipped()->Increment(
3561 scope_->end_position() - function_block_pos);
3562 *materialized_literal_count = entry.literal_count();
3563 *expected_property_count = entry.property_count();
3564 scope_->SetStrictMode(entry.strict_mode());
3649 } else { 3565 } else {
3650 // With no cached data, we partially parse the function, without building an 3566 // With no cached data, we partially parse the function, without building an
3651 // AST. This gathers the data needed to build a lazy function. 3567 // AST. This gathers the data needed to build a lazy function.
3652 SingletonLogger logger; 3568 SingletonLogger logger;
3653 PreParser::PreParseResult result = 3569 PreParser::PreParseResult result =
3654 ParseLazyFunctionBodyWithPreParser(&logger); 3570 ParseLazyFunctionBodyWithPreParser(&logger);
3655 if (result == PreParser::kPreParseStackOverflow) { 3571 if (result == PreParser::kPreParseStackOverflow) {
3656 // Propagate stack overflow. 3572 // Propagate stack overflow.
3657 set_stack_overflow(); 3573 set_stack_overflow();
3658 *ok = false; 3574 *ok = false;
3659 return; 3575 return;
3660 } 3576 }
3661 if (logger.has_error()) { 3577 if (logger.has_error()) {
3662 ParserTraits::ReportMessageAt( 3578 ParserTraits::ReportMessageAt(
3663 Scanner::Location(logger.start(), logger.end()), 3579 Scanner::Location(logger.start(), logger.end()),
3664 logger.message(), logger.argument_opt(), logger.is_reference_error()); 3580 logger.message(), logger.argument_opt(), logger.is_reference_error());
3665 *ok = false; 3581 *ok = false;
3666 return; 3582 return;
3667 } 3583 }
3668 scope_->set_end_position(logger.end()); 3584 scope_->set_end_position(logger.end());
3669 Expect(Token::RBRACE, ok); 3585 Expect(Token::RBRACE, ok);
3670 if (!*ok) { 3586 if (!*ok) {
3671 return; 3587 return;
3672 } 3588 }
3673 isolate()->counters()->total_preparse_skipped()->Increment( 3589 isolate()->counters()->total_preparse_skipped()->Increment(
3674 scope_->end_position() - function_block_pos); 3590 scope_->end_position() - function_block_pos);
3675 *materialized_literal_count = logger.literals(); 3591 *materialized_literal_count = logger.literals();
3676 *expected_property_count = logger.properties(); 3592 *expected_property_count = logger.properties();
3677 scope_->SetStrictMode(logger.strict_mode()); 3593 scope_->SetStrictMode(logger.strict_mode());
3678 if (cached_data_mode_ == PRODUCE_CACHED_DATA) { 3594 if (cached_data_mode() == PRODUCE_CACHED_DATA) {
3679 ASSERT(log_); 3595 ASSERT(log_);
3680 // Position right after terminal '}'. 3596 // Position right after terminal '}'.
3681 int body_end = scanner()->location().end_pos; 3597 int body_end = scanner()->location().end_pos;
3682 log_->LogFunction(function_block_pos, body_end, 3598 log_->LogFunction(function_block_pos, body_end,
3683 *materialized_literal_count, 3599 *materialized_literal_count,
3684 *expected_property_count, 3600 *expected_property_count,
3685 scope_->strict_mode()); 3601 scope_->strict_mode());
3686 } 3602 }
3687 } 3603 }
3688 } 3604 }
(...skipping 1071 matching lines...) Expand 10 before | Expand all | Expand 10 after
4760 ranges->Add(CharacterRange::Everything(), zone()); 4676 ranges->Add(CharacterRange::Everything(), zone());
4761 is_negated = !is_negated; 4677 is_negated = !is_negated;
4762 } 4678 }
4763 return new(zone()) RegExpCharacterClass(ranges, is_negated); 4679 return new(zone()) RegExpCharacterClass(ranges, is_negated);
4764 } 4680 }
4765 4681
4766 4682
4767 // ---------------------------------------------------------------------------- 4683 // ----------------------------------------------------------------------------
4768 // The Parser interface. 4684 // The Parser interface.
4769 4685
4770 ScriptData::~ScriptData() {
4771 if (owns_store_) store_.Dispose();
4772 }
4773
4774
4775 int ScriptData::Length() {
4776 return store_.length() * sizeof(unsigned);
4777 }
4778
4779
4780 const char* ScriptData::Data() {
4781 return reinterpret_cast<const char*>(store_.start());
4782 }
4783
4784
4785 bool ScriptData::HasError() {
4786 return has_error();
4787 }
4788
4789
4790 void ScriptData::Initialize() {
4791 // Prepares state for use.
4792 if (store_.length() >= PreparseDataConstants::kHeaderSize) {
4793 function_index_ = PreparseDataConstants::kHeaderSize;
4794 int symbol_data_offset = PreparseDataConstants::kHeaderSize
4795 + store_[PreparseDataConstants::kFunctionsSizeOffset];
4796 if (store_.length() > symbol_data_offset) {
4797 symbol_data_ = reinterpret_cast<byte*>(&store_[symbol_data_offset]);
4798 } else {
4799 // Partial preparse causes no symbol information.
4800 symbol_data_ = reinterpret_cast<byte*>(&store_[0] + store_.length());
4801 }
4802 symbol_data_end_ = reinterpret_cast<byte*>(&store_[0] + store_.length());
4803 }
4804 }
4805
4806
4807 int ScriptData::ReadNumber(byte** source) {
4808 // Reads a number from symbol_data_ in base 128. The most significant
4809 // bit marks that there are more digits.
4810 // If the first byte is 0x80 (kNumberTerminator), it would normally
4811 // represent a leading zero. Since that is useless, and therefore won't
4812 // appear as the first digit of any actual value, it is used to
4813 // mark the end of the input stream.
4814 byte* data = *source;
4815 if (data >= symbol_data_end_) return -1;
4816 byte input = *data;
4817 if (input == PreparseDataConstants::kNumberTerminator) {
4818 // End of stream marker.
4819 return -1;
4820 }
4821 int result = input & 0x7f;
4822 data++;
4823 while ((input & 0x80u) != 0) {
4824 if (data >= symbol_data_end_) return -1;
4825 input = *data;
4826 result = (result << 7) | (input & 0x7f);
4827 data++;
4828 }
4829 *source = data;
4830 return result;
4831 }
4832
4833
4834 bool RegExpParser::ParseRegExp(FlatStringReader* input, 4686 bool RegExpParser::ParseRegExp(FlatStringReader* input,
4835 bool multiline, 4687 bool multiline,
4836 RegExpCompileData* result, 4688 RegExpCompileData* result,
4837 Zone* zone) { 4689 Zone* zone) {
4838 ASSERT(result != NULL); 4690 ASSERT(result != NULL);
4839 RegExpParser parser(input, &result->error, multiline, zone); 4691 RegExpParser parser(input, &result->error, multiline, zone);
4840 RegExpTree* tree = parser.ParsePattern(); 4692 RegExpTree* tree = parser.ParsePattern();
4841 if (parser.failed()) { 4693 if (parser.failed()) {
4842 ASSERT(tree == NULL); 4694 ASSERT(tree == NULL);
4843 ASSERT(!result->error.is_null()); 4695 ASSERT(!result->error.is_null());
(...skipping 26 matching lines...) Expand all
4870 } 4722 }
4871 4723
4872 if (info()->is_lazy()) { 4724 if (info()->is_lazy()) {
4873 ASSERT(!info()->is_eval()); 4725 ASSERT(!info()->is_eval());
4874 if (info()->shared_info()->is_function()) { 4726 if (info()->shared_info()->is_function()) {
4875 result = ParseLazy(); 4727 result = ParseLazy();
4876 } else { 4728 } else {
4877 result = ParseProgram(); 4729 result = ParseProgram();
4878 } 4730 }
4879 } else { 4731 } else {
4880 SetCachedData(info()->cached_data(), info()->cached_data_mode()); 4732 SetCachedData();
4881 result = ParseProgram(); 4733 result = ParseProgram();
4882 } 4734 }
4883 info()->SetFunction(result); 4735 info()->SetFunction(result);
4884 ASSERT(ast_value_factory_->IsInternalized()); 4736 ASSERT(ast_value_factory_->IsInternalized());
4885 // info takes ownership of ast_value_factory_. 4737 // info takes ownership of ast_value_factory_.
4886 if (info()->ast_value_factory() == NULL) { 4738 if (info()->ast_value_factory() == NULL) {
4887 info()->SetAstValueFactory(ast_value_factory_); 4739 info()->SetAstValueFactory(ast_value_factory_);
4888 } 4740 }
4889 ast_value_factory_ = NULL; 4741 ast_value_factory_ = NULL;
4890 4742
4891 InternalizeUseCounts(); 4743 InternalizeUseCounts();
4892 4744
4893 return (result != NULL); 4745 return (result != NULL);
4894 } 4746 }
4895 4747
4896 } } // namespace v8::internal 4748 } } // namespace v8::internal
OLDNEW
« no previous file with comments | « src/parser.h ('k') | src/preparse-data.h » ('j') | src/preparse-data.h » ('J')

Powered by Google App Engine
This is Rietveld 408576698