Index: src/parser.cc |
diff --git a/src/parser.cc b/src/parser.cc |
index adb797d8d0c27bbb6b0f473efa83e5fa198861cc..0664e2a6a9211062bfbaccc325e2e77e562bf64e 100644 |
--- a/src/parser.cc |
+++ b/src/parser.cc |
@@ -750,7 +750,7 @@ Parser::Parser(CompilationInfo* info, ParseInfo* parse_info) |
pending_error_char_arg_(NULL), |
total_preparse_skipped_(0), |
pre_parse_timer_(NULL) { |
- DCHECK(!script().is_null()); |
+ DCHECK(!script().is_null() || info->source_stream() != NULL); |
set_allow_harmony_scoping(!info->is_native() && FLAG_harmony_scoping); |
set_allow_modules(!info->is_native() && FLAG_harmony_modules); |
set_allow_natives_syntax(FLAG_allow_natives_syntax || info->is_native()); |
@@ -798,6 +798,9 @@ FunctionLiteral* Parser::ParseProgram() { |
source = String::Flatten(source); |
FunctionLiteral* result; |
+ |
+ Scope* top_scope = NULL; |
+ Scope* eval_scope = NULL; |
if (source->IsExternalTwoByteString()) { |
// Notice that the stream is destroyed at the end of the branch block. |
// The last line of the blocks can't be moved outside, even though they're |
@@ -805,11 +808,15 @@ FunctionLiteral* Parser::ParseProgram() { |
ExternalTwoByteStringUtf16CharacterStream stream( |
Handle<ExternalTwoByteString>::cast(source), 0, source->length()); |
scanner_.Initialize(&stream); |
- result = DoParseProgram(info(), source); |
+ result = DoParseProgram(info(), &top_scope, &eval_scope); |
} else { |
GenericStringUtf16CharacterStream stream(source, 0, source->length()); |
scanner_.Initialize(&stream); |
- result = DoParseProgram(info(), source); |
+ result = DoParseProgram(info(), &top_scope, &eval_scope); |
+ } |
+ top_scope->set_end_position(source->length()); |
+ if (eval_scope != NULL) { |
+ eval_scope->set_end_position(source->length()); |
} |
HandleSourceURLComments(); |
@@ -834,51 +841,52 @@ FunctionLiteral* Parser::ParseProgram() { |
} |
-FunctionLiteral* Parser::DoParseProgram(CompilationInfo* info, |
- Handle<String> source) { |
+FunctionLiteral* Parser::DoParseProgram(CompilationInfo* info, Scope** scope, |
+ Scope** eval_scope) { |
DCHECK(scope_ == NULL); |
DCHECK(target_stack_ == NULL); |
FunctionLiteral* result = NULL; |
- { Scope* scope = NewScope(scope_, GLOBAL_SCOPE); |
- info->SetGlobalScope(scope); |
+ { |
+ *scope = NewScope(scope_, GLOBAL_SCOPE); |
+ info->SetGlobalScope(*scope); |
if (!info->context().is_null() && !info->context()->IsNativeContext()) { |
- scope = Scope::DeserializeScopeChain(*info->context(), scope, zone()); |
+ *scope = Scope::DeserializeScopeChain(*info->context(), *scope, zone()); |
// The Scope is backed up by ScopeInfo (which is in the V8 heap); this |
// means the Parser cannot operate independent of the V8 heap. Tell the |
// string table to internalize strings and values right after they're |
// created. |
ast_value_factory()->Internalize(isolate()); |
} |
- original_scope_ = scope; |
+ original_scope_ = *scope; |
if (info->is_eval()) { |
- if (!scope->is_global_scope() || info->strict_mode() == STRICT) { |
- scope = NewScope(scope, EVAL_SCOPE); |
+ if (!(*scope)->is_global_scope() || info->strict_mode() == STRICT) { |
+ *scope = NewScope(*scope, EVAL_SCOPE); |
} |
} else if (info->is_global()) { |
- scope = NewScope(scope, GLOBAL_SCOPE); |
+ *scope = NewScope(*scope, GLOBAL_SCOPE); |
} |
- scope->set_start_position(0); |
- scope->set_end_position(source->length()); |
+ (*scope)->set_start_position(0); |
+ // End position will be set by the caller. |
// Compute the parsing mode. |
Mode mode = (FLAG_lazy && allow_lazy()) ? PARSE_LAZILY : PARSE_EAGERLY; |
- if (allow_natives_syntax() || |
- extension_ != NULL || |
- scope->is_eval_scope()) { |
+ if (allow_natives_syntax() || extension_ != NULL || |
+ (*scope)->is_eval_scope()) { |
mode = PARSE_EAGERLY; |
} |
ParsingModeScope parsing_mode(this, mode); |
// Enters 'scope'. |
- FunctionState function_state(&function_state_, &scope_, scope, zone(), |
+ FunctionState function_state(&function_state_, &scope_, *scope, zone(), |
ast_value_factory(), info->ast_node_id_gen()); |
scope_->SetStrictMode(info->strict_mode()); |
ZoneList<Statement*>* body = new(zone()) ZoneList<Statement*>(16, zone()); |
bool ok = true; |
int beg_pos = scanner()->location().beg_pos; |
- ParseSourceElements(body, Token::EOS, info->is_eval(), true, &ok); |
+ ParseSourceElements(body, Token::EOS, info->is_eval(), true, eval_scope, |
+ &ok); |
if (ok && strict_mode() == STRICT) { |
CheckOctalLiteral(beg_pos, scanner()->location().end_pos, &ok); |
@@ -1023,10 +1031,8 @@ FunctionLiteral* Parser::ParseLazy(Utf16CharacterStream* source) { |
void* Parser::ParseSourceElements(ZoneList<Statement*>* processor, |
- int end_token, |
- bool is_eval, |
- bool is_global, |
- bool* ok) { |
+ int end_token, bool is_eval, bool is_global, |
+ Scope** eval_scope, bool* ok) { |
// SourceElements :: |
// (ModuleElement)* <end_token> |
@@ -1082,6 +1088,10 @@ void* Parser::ParseSourceElements(ZoneList<Statement*>* processor, |
scope->set_start_position(scope_->start_position()); |
scope->set_end_position(scope_->end_position()); |
scope_ = scope; |
+ if (eval_scope != NULL) { |
+ // Caller will correct the positions of the ad hoc eval scope. |
+ *eval_scope = scope; |
+ } |
mode_ = PARSE_EAGERLY; |
} |
scope_->SetStrictMode(STRICT); |
@@ -3722,7 +3732,7 @@ ZoneList<Statement*>* Parser::ParseEagerFunctionBody( |
yield, RelocInfo::kNoPosition), zone()); |
} |
- ParseSourceElements(body, Token::RBRACE, false, false, CHECK_OK); |
+ ParseSourceElements(body, Token::RBRACE, false, false, NULL, CHECK_OK); |
if (is_generator) { |
VariableProxy* get_proxy = factory()->NewVariableProxy( |
@@ -4839,4 +4849,46 @@ bool Parser::Parse() { |
return (result != NULL); |
} |
+ |
+void Parser::ParseOnBackground() { |
+ DCHECK(info()->function() == NULL); |
+ FunctionLiteral* result = NULL; |
+ fni_ = new (zone()) FuncNameInferrer(ast_value_factory(), zone()); |
+ |
+ CompleteParserRecorder recorder; |
+ if (compile_options() == ScriptCompiler::kProduceParserCache) { |
+ log_ = &recorder; |
+ } |
+ |
+ DCHECK(info()->source_stream() != NULL); |
+ ExternalStreamingStream stream(info()->source_stream(), |
+ info()->source_stream_encoding()); |
+ scanner_.Initialize(&stream); |
+ DCHECK(info()->context().is_null() || info()->context()->IsNativeContext()); |
+ |
+ // When streaming, we don't know the length of the source until we have parsed |
+ // it. The raw data can be UTF-8, so we wouldn't know the source length until |
+ // we have decoded it anyway even if we knew the raw data length (which we |
+ // don't). We work around this by storing all the scopes which need their end |
+ // position set at the end of the script (the top scope and possible eval |
+ // scopes) and set their end position after we know the script length. |
+ Scope* top_scope = NULL; |
+ Scope* eval_scope = NULL; |
+ result = DoParseProgram(info(), &top_scope, &eval_scope); |
+ |
+ top_scope->set_end_position(scanner()->location().end_pos); |
+ if (eval_scope != NULL) { |
+ eval_scope->set_end_position(scanner()->location().end_pos); |
+ } |
+ |
+ info()->SetFunction(result); |
+ |
+ // We cannot internalize on a background thread; a foreground task will take |
+ // care of calling Parser::Internalize just before compilation. |
+ |
+ if (compile_options() == ScriptCompiler::kProduceParserCache) { |
+ if (result != NULL) *info_->cached_data() = recorder.GetScriptData(); |
+ log_ = NULL; |
+ } |
+} |
} } // namespace v8::internal |