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

Side by Side Diff: src/preparser.h

Issue 636403003: Assign bailout and type feedback IDs in a post-pass (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Created 6 years, 2 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 #ifndef V8_PREPARSER_H 5 #ifndef V8_PREPARSER_H
6 #define V8_PREPARSER_H 6 #define V8_PREPARSER_H
7 7
8 #include "src/v8.h" 8 #include "src/v8.h"
9 9
10 #include "src/bailout-reason.h" 10 #include "src/bailout-reason.h"
(...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after
63 public: 63 public:
64 // Shorten type names defined by Traits. 64 // Shorten type names defined by Traits.
65 typedef typename Traits::Type::Expression ExpressionT; 65 typedef typename Traits::Type::Expression ExpressionT;
66 typedef typename Traits::Type::Identifier IdentifierT; 66 typedef typename Traits::Type::Identifier IdentifierT;
67 typedef typename Traits::Type::FunctionLiteral FunctionLiteralT; 67 typedef typename Traits::Type::FunctionLiteral FunctionLiteralT;
68 typedef typename Traits::Type::Literal LiteralT; 68 typedef typename Traits::Type::Literal LiteralT;
69 typedef typename Traits::Type::ObjectLiteralProperty ObjectLiteralPropertyT; 69 typedef typename Traits::Type::ObjectLiteralProperty ObjectLiteralPropertyT;
70 70
71 ParserBase(Scanner* scanner, uintptr_t stack_limit, v8::Extension* extension, 71 ParserBase(Scanner* scanner, uintptr_t stack_limit, v8::Extension* extension,
72 ParserRecorder* log, typename Traits::Type::Zone* zone, 72 ParserRecorder* log, typename Traits::Type::Zone* zone,
73 AstNode::IdGen* ast_node_id_gen,
74 typename Traits::Type::Parser this_object) 73 typename Traits::Type::Parser this_object)
75 : Traits(this_object), 74 : Traits(this_object),
76 parenthesized_function_(false), 75 parenthesized_function_(false),
77 scope_(NULL), 76 scope_(NULL),
78 function_state_(NULL), 77 function_state_(NULL),
79 extension_(extension), 78 extension_(extension),
80 fni_(NULL), 79 fni_(NULL),
81 log_(log), 80 log_(log),
82 mode_(PARSE_EAGERLY), // Lazy mode must be set explicitly. 81 mode_(PARSE_EAGERLY), // Lazy mode must be set explicitly.
83 stack_limit_(stack_limit), 82 stack_limit_(stack_limit),
84 scanner_(scanner), 83 scanner_(scanner),
85 stack_overflow_(false), 84 stack_overflow_(false),
86 allow_lazy_(false), 85 allow_lazy_(false),
87 allow_natives_syntax_(false), 86 allow_natives_syntax_(false),
88 allow_arrow_functions_(false), 87 allow_arrow_functions_(false),
89 allow_harmony_object_literals_(false), 88 allow_harmony_object_literals_(false),
90 zone_(zone), 89 zone_(zone) {}
91 ast_node_id_gen_(ast_node_id_gen) {}
92 90
93 // Getters that indicate whether certain syntactical constructs are 91 // Getters that indicate whether certain syntactical constructs are
94 // allowed to be parsed by this instance of the parser. 92 // allowed to be parsed by this instance of the parser.
95 bool allow_lazy() const { return allow_lazy_; } 93 bool allow_lazy() const { return allow_lazy_; }
96 bool allow_natives_syntax() const { return allow_natives_syntax_; } 94 bool allow_natives_syntax() const { return allow_natives_syntax_; }
97 bool allow_arrow_functions() const { return allow_arrow_functions_; } 95 bool allow_arrow_functions() const { return allow_arrow_functions_; }
98 bool allow_modules() const { return scanner()->HarmonyModules(); } 96 bool allow_modules() const { return scanner()->HarmonyModules(); }
99 bool allow_harmony_scoping() const { return scanner()->HarmonyScoping(); } 97 bool allow_harmony_scoping() const { return scanner()->HarmonyScoping(); }
100 bool allow_harmony_numeric_literals() const { 98 bool allow_harmony_numeric_literals() const {
101 return scanner()->HarmonyNumericLiterals(); 99 return scanner()->HarmonyNumericLiterals();
(...skipping 168 matching lines...) Expand 10 before | Expand all | Expand 10 after
270 Mode old_mode_; 268 Mode old_mode_;
271 }; 269 };
272 270
273 Scanner* scanner() const { return scanner_; } 271 Scanner* scanner() const { return scanner_; }
274 int position() { return scanner_->location().beg_pos; } 272 int position() { return scanner_->location().beg_pos; }
275 int peek_position() { return scanner_->peek_location().beg_pos; } 273 int peek_position() { return scanner_->peek_location().beg_pos; }
276 bool stack_overflow() const { return stack_overflow_; } 274 bool stack_overflow() const { return stack_overflow_; }
277 void set_stack_overflow() { stack_overflow_ = true; } 275 void set_stack_overflow() { stack_overflow_ = true; }
278 Mode mode() const { return mode_; } 276 Mode mode() const { return mode_; }
279 typename Traits::Type::Zone* zone() const { return zone_; } 277 typename Traits::Type::Zone* zone() const { return zone_; }
280 AstNode::IdGen* ast_node_id_gen() const { return ast_node_id_gen_; }
281 278
282 INLINE(Token::Value peek()) { 279 INLINE(Token::Value peek()) {
283 if (stack_overflow_) return Token::ILLEGAL; 280 if (stack_overflow_) return Token::ILLEGAL;
284 return scanner()->peek(); 281 return scanner()->peek();
285 } 282 }
286 283
287 INLINE(Token::Value Next()) { 284 INLINE(Token::Value Next()) {
288 if (stack_overflow_) return Token::ILLEGAL; 285 if (stack_overflow_) return Token::ILLEGAL;
289 { 286 {
290 if (GetCurrentStackPosition() < stack_limit_) { 287 if (GetCurrentStackPosition() < stack_limit_) {
(...skipping 282 matching lines...) Expand 10 before | Expand all | Expand 10 after
573 private: 570 private:
574 Scanner* scanner_; 571 Scanner* scanner_;
575 bool stack_overflow_; 572 bool stack_overflow_;
576 573
577 bool allow_lazy_; 574 bool allow_lazy_;
578 bool allow_natives_syntax_; 575 bool allow_natives_syntax_;
579 bool allow_arrow_functions_; 576 bool allow_arrow_functions_;
580 bool allow_harmony_object_literals_; 577 bool allow_harmony_object_literals_;
581 578
582 typename Traits::Type::Zone* zone_; // Only used by Parser. 579 typename Traits::Type::Zone* zone_; // Only used by Parser.
583 AstNode::IdGen* ast_node_id_gen_;
584 }; 580 };
585 581
586 582
587 class PreParserIdentifier { 583 class PreParserIdentifier {
588 public: 584 public:
589 PreParserIdentifier() : type_(kUnknownIdentifier) {} 585 PreParserIdentifier() : type_(kUnknownIdentifier) {}
590 static PreParserIdentifier Default() { 586 static PreParserIdentifier Default() {
591 return PreParserIdentifier(kUnknownIdentifier); 587 return PreParserIdentifier(kUnknownIdentifier);
592 } 588 }
593 static PreParserIdentifier Eval() { 589 static PreParserIdentifier Eval() {
(...skipping 367 matching lines...) Expand 10 before | Expand all | Expand 10 after
961 PreParserScope* operator->() { return this; } 957 PreParserScope* operator->() { return this; }
962 958
963 private: 959 private:
964 ScopeType scope_type_; 960 ScopeType scope_type_;
965 StrictMode strict_mode_; 961 StrictMode strict_mode_;
966 }; 962 };
967 963
968 964
969 class PreParserFactory { 965 class PreParserFactory {
970 public: 966 public:
971 PreParserFactory(void*, void*, void*) {} 967 PreParserFactory(void*, void*) {}
972 PreParserExpression NewStringLiteral(PreParserIdentifier identifier, 968 PreParserExpression NewStringLiteral(PreParserIdentifier identifier,
973 int pos) { 969 int pos) {
974 return PreParserExpression::Default(); 970 return PreParserExpression::Default();
975 } 971 }
976 PreParserExpression NewNumberLiteral(double number, 972 PreParserExpression NewNumberLiteral(double number,
977 int pos) { 973 int pos) {
978 return PreParserExpression::Default(); 974 return PreParserExpression::Default();
979 } 975 }
980 PreParserExpression NewRegExpLiteral(PreParserIdentifier js_pattern, 976 PreParserExpression NewRegExpLiteral(PreParserIdentifier js_pattern,
981 PreParserIdentifier js_flags, 977 PreParserIdentifier js_flags,
(...skipping 424 matching lines...) Expand 10 before | Expand all | Expand 10 after
1406 typedef PreParserIdentifier Identifier; 1402 typedef PreParserIdentifier Identifier;
1407 typedef PreParserExpression Expression; 1403 typedef PreParserExpression Expression;
1408 typedef PreParserStatement Statement; 1404 typedef PreParserStatement Statement;
1409 1405
1410 enum PreParseResult { 1406 enum PreParseResult {
1411 kPreParseStackOverflow, 1407 kPreParseStackOverflow,
1412 kPreParseSuccess 1408 kPreParseSuccess
1413 }; 1409 };
1414 1410
1415 PreParser(Scanner* scanner, ParserRecorder* log, uintptr_t stack_limit) 1411 PreParser(Scanner* scanner, ParserRecorder* log, uintptr_t stack_limit)
1416 : ParserBase<PreParserTraits>(scanner, stack_limit, NULL, log, NULL, NULL, 1412 : ParserBase<PreParserTraits>(scanner, stack_limit, NULL, log, NULL,
1417 this) {} 1413 this) {}
1418 1414
1419 // Pre-parse the program from the character stream; returns true on 1415 // Pre-parse the program from the character stream; returns true on
1420 // success (even if parsing failed, the pre-parse data successfully 1416 // success (even if parsing failed, the pre-parse data successfully
1421 // captured the syntax error), and false if a stack-overflow happened 1417 // captured the syntax error), and false if a stack-overflow happened
1422 // during parsing. 1418 // during parsing.
1423 PreParseResult PreParseProgram() { 1419 PreParseResult PreParseProgram() {
1424 PreParserScope scope(scope_, GLOBAL_SCOPE); 1420 PreParserScope scope(scope_, GLOBAL_SCOPE);
1425 PreParserFactory factory(NULL, NULL, NULL); 1421 PreParserFactory factory(NULL, NULL);
1426 FunctionState top_scope(&function_state_, &scope_, &scope, &factory); 1422 FunctionState top_scope(&function_state_, &scope_, &scope, &factory);
1427 bool ok = true; 1423 bool ok = true;
1428 int start_position = scanner()->peek_location().beg_pos; 1424 int start_position = scanner()->peek_location().beg_pos;
1429 ParseSourceElements(Token::EOS, &ok); 1425 ParseSourceElements(Token::EOS, &ok);
1430 if (stack_overflow()) return kPreParseStackOverflow; 1426 if (stack_overflow()) return kPreParseStackOverflow;
1431 if (!ok) { 1427 if (!ok) {
1432 ReportUnexpectedToken(scanner()->current_token()); 1428 ReportUnexpectedToken(scanner()->current_token());
1433 } else if (scope_->strict_mode() == STRICT) { 1429 } else if (scope_->strict_mode() == STRICT) {
1434 CheckOctalLiteral(start_position, scanner()->location().end_pos, &ok); 1430 CheckOctalLiteral(start_position, scanner()->location().end_pos, &ok);
1435 } 1431 }
(...skipping 1160 matching lines...) Expand 10 before | Expand all | Expand 10 after
2596 this->NewScope(scope_, FUNCTION_SCOPE); 2592 this->NewScope(scope_, FUNCTION_SCOPE);
2597 typename Traits::Type::StatementList body; 2593 typename Traits::Type::StatementList body;
2598 typename Traits::Type::AstProperties ast_properties; 2594 typename Traits::Type::AstProperties ast_properties;
2599 BailoutReason dont_optimize_reason = kNoReason; 2595 BailoutReason dont_optimize_reason = kNoReason;
2600 int num_parameters = -1; 2596 int num_parameters = -1;
2601 int materialized_literal_count = -1; 2597 int materialized_literal_count = -1;
2602 int expected_property_count = -1; 2598 int expected_property_count = -1;
2603 int handler_count = 0; 2599 int handler_count = 0;
2604 2600
2605 { 2601 {
2606 typename Traits::Type::Factory function_factory( 2602 typename Traits::Type::Factory function_factory(zone(),
2607 zone(), this->ast_value_factory(), ast_node_id_gen_); 2603 this->ast_value_factory());
2608 FunctionState function_state(&function_state_, &scope_, 2604 FunctionState function_state(&function_state_, &scope_,
2609 Traits::Type::ptr_to_scope(scope), 2605 Traits::Type::ptr_to_scope(scope),
2610 &function_factory); 2606 &function_factory);
2611 Scanner::Location dupe_error_loc = Scanner::Location::invalid(); 2607 Scanner::Location dupe_error_loc = Scanner::Location::invalid();
2612 num_parameters = Traits::DeclareArrowParametersFromExpression( 2608 num_parameters = Traits::DeclareArrowParametersFromExpression(
2613 params_ast, scope_, &dupe_error_loc, ok); 2609 params_ast, scope_, &dupe_error_loc, ok);
2614 if (!*ok) { 2610 if (!*ok) {
2615 ReportMessageAt( 2611 ReportMessageAt(
2616 Scanner::Location(start_pos, scanner()->location().beg_pos), 2612 Scanner::Location(start_pos, scanner()->location().beg_pos),
2617 "malformed_arrow_function_parameter_list"); 2613 "malformed_arrow_function_parameter_list");
(...skipping 201 matching lines...) Expand 10 before | Expand all | Expand 10 after
2819 DCHECK(IsAccessorAccessorConflict(old_type, type)); 2815 DCHECK(IsAccessorAccessorConflict(old_type, type));
2820 // Both accessors of the same type. 2816 // Both accessors of the same type.
2821 parser()->ReportMessage("accessor_get_set"); 2817 parser()->ReportMessage("accessor_get_set");
2822 } 2818 }
2823 *ok = false; 2819 *ok = false;
2824 } 2820 }
2825 } 2821 }
2826 } } // v8::internal 2822 } } // v8::internal
2827 2823
2828 #endif // V8_PREPARSER_H 2824 #endif // V8_PREPARSER_H
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698