Commit a10e877c authored by rossberg's avatar rossberg Committed by Commit bot

[es6] Fix and clean up recognition of simple parameter lists

Gets rid of IsSimpleParameterList predicate.

R=mstarzinger@chromium.org, caitpotter88@gmail.com
BUG=

Review URL: https://codereview.chromium.org/1251603004

Cr-Commit-Position: refs/heads/master@{#29815}
parent 7877c4e0
...@@ -3883,7 +3883,13 @@ void ParserTraits::ParseArrowFunctionFormalParameters( ...@@ -3883,7 +3883,13 @@ void ParserTraits::ParseArrowFunctionFormalParameters(
DCHECK(!parameters->has_rest); DCHECK(!parameters->has_rest);
bool is_rest = expr->IsSpread(); bool is_rest = expr->IsSpread();
if (is_rest) expr = expr->AsSpread()->expression(); if (is_rest) {
expr = expr->AsSpread()->expression();
parameters->has_rest = true;
}
if (parameters->is_simple) {
parameters->is_simple = !is_rest && expr->IsVariableProxy();
}
if (expr->IsVariableProxy()) { if (expr->IsVariableProxy()) {
// When the formal parameter was originally seen, it was parsed as a // When the formal parameter was originally seen, it was parsed as a
...@@ -4299,17 +4305,9 @@ Statement* Parser::BuildAssertIsCoercible(Variable* var) { ...@@ -4299,17 +4305,9 @@ Statement* Parser::BuildAssertIsCoercible(Variable* var) {
} }
bool Parser::IsSimpleParameterList(const ParserFormalParameters& parameters) {
for (auto parameter : parameters.params) {
if (parameter.pattern != nullptr) return false;
}
return true;
}
Block* Parser::BuildParameterInitializationBlock( Block* Parser::BuildParameterInitializationBlock(
const ParserFormalParameters& parameters, bool* ok) { const ParserFormalParameters& parameters, bool* ok) {
DCHECK(!IsSimpleParameterList(parameters)); DCHECK(!parameters.is_simple);
DCHECK(scope_->is_function_scope()); DCHECK(scope_->is_function_scope());
Block* init_block = Block* init_block =
factory()->NewBlock(NULL, 1, true, RelocInfo::kNoPosition); factory()->NewBlock(NULL, 1, true, RelocInfo::kNoPosition);
...@@ -4340,7 +4338,6 @@ ZoneList<Statement*>* Parser::ParseEagerFunctionBody( ...@@ -4340,7 +4338,6 @@ ZoneList<Statement*>* Parser::ParseEagerFunctionBody(
const AstRawString* function_name, int pos, const AstRawString* function_name, int pos,
const ParserFormalParameters& parameters, Variable* fvar, const ParserFormalParameters& parameters, Variable* fvar,
Token::Value fvar_init_op, FunctionKind kind, bool* ok) { Token::Value fvar_init_op, FunctionKind kind, bool* ok) {
bool is_simple_parameter_list = IsSimpleParameterList(parameters);
// Everything inside an eagerly parsed function will be parsed eagerly // Everything inside an eagerly parsed function will be parsed eagerly
// (see comment above). // (see comment above).
ParsingModeScope parsing_mode(this, PARSE_EAGERLY); ParsingModeScope parsing_mode(this, PARSE_EAGERLY);
...@@ -4366,7 +4363,7 @@ ZoneList<Statement*>* Parser::ParseEagerFunctionBody( ...@@ -4366,7 +4363,7 @@ ZoneList<Statement*>* Parser::ParseEagerFunctionBody(
ZoneList<Statement*>* body = result; ZoneList<Statement*>* body = result;
Scope* inner_scope = nullptr; Scope* inner_scope = nullptr;
Block* inner_block = nullptr; Block* inner_block = nullptr;
if (!is_simple_parameter_list) { if (!parameters.is_simple) {
inner_scope = NewScope(scope_, BLOCK_SCOPE); inner_scope = NewScope(scope_, BLOCK_SCOPE);
inner_scope->set_is_declaration_scope(); inner_scope->set_is_declaration_scope();
inner_scope->set_start_position(scanner()->location().beg_pos); inner_scope->set_start_position(scanner()->location().beg_pos);
...@@ -4423,7 +4420,7 @@ ZoneList<Statement*>* Parser::ParseEagerFunctionBody( ...@@ -4423,7 +4420,7 @@ ZoneList<Statement*>* Parser::ParseEagerFunctionBody(
Expect(Token::RBRACE, CHECK_OK); Expect(Token::RBRACE, CHECK_OK);
scope_->set_end_position(scanner()->location().end_pos); scope_->set_end_position(scanner()->location().end_pos);
if (!is_simple_parameter_list) { if (!parameters.is_simple) {
DCHECK_NOT_NULL(inner_scope); DCHECK_NOT_NULL(inner_scope);
DCHECK_EQ(body, inner_block->statements()); DCHECK_EQ(body, inner_block->statements());
scope_->SetLanguageMode(inner_scope->language_mode()); scope_->SetLanguageMode(inner_scope->language_mode());
......
...@@ -1154,7 +1154,6 @@ class Parser : public ParserBase<ParserTraits> { ...@@ -1154,7 +1154,6 @@ class Parser : public ParserBase<ParserTraits> {
PreParser::PreParseResult ParseLazyFunctionBodyWithPreParser( PreParser::PreParseResult ParseLazyFunctionBodyWithPreParser(
SingletonLogger* logger, Scanner::BookmarkScope* bookmark = nullptr); SingletonLogger* logger, Scanner::BookmarkScope* bookmark = nullptr);
bool IsSimpleParameterList(const ParserFormalParameters& parameters);
Block* BuildParameterInitializationBlock( Block* BuildParameterInitializationBlock(
const ParserFormalParameters& parameters, bool* ok); const ParserFormalParameters& parameters, bool* ok);
...@@ -1338,7 +1337,7 @@ void ParserTraits::DeclareFormalParameter( ...@@ -1338,7 +1337,7 @@ void ParserTraits::DeclareFormalParameter(
void ParserTraits::AddParameterInitializationBlock( void ParserTraits::AddParameterInitializationBlock(
const ParserFormalParameters& parameters, const ParserFormalParameters& parameters,
ZoneList<v8::internal::Statement*>* body, bool* ok) { ZoneList<v8::internal::Statement*>* body, bool* ok) {
if (!parser_->IsSimpleParameterList(parameters)) { if (!parameters.is_simple) {
auto* init_block = auto* init_block =
parser_->BuildParameterInitializationBlock(parameters, ok); parser_->BuildParameterInitializationBlock(parameters, ok);
if (!*ok) return; if (!*ok) return;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment