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

Side by Side Diff: src/ast/scopes.cc

Issue 2274133002: Add function-var to variables_ so LookupRecursive doesn't need to special-case it (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Update comments Created 4 years, 3 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
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/ast/scopes.h" 5 #include "src/ast/scopes.h"
6 6
7 #include <set> 7 #include <set>
8 8
9 #include "src/accessors.h" 9 #include "src/accessors.h"
10 #include "src/ast/ast.h" 10 #include "src/ast/ast.h"
(...skipping 582 matching lines...) Expand 10 before | Expand all | Expand 10 after
593 IsAccessorFunction(function_kind_)) { 593 IsAccessorFunction(function_kind_)) {
594 this_function_ = 594 this_function_ =
595 Declare(zone(), this, ast_value_factory->this_function_string(), CONST, 595 Declare(zone(), this, ast_value_factory->this_function_string(), CONST,
596 NORMAL_VARIABLE, kCreatedInitialized); 596 NORMAL_VARIABLE, kCreatedInitialized);
597 } 597 }
598 } 598 }
599 599
600 Variable* DeclarationScope::DeclareFunctionVar(const AstRawString* name) { 600 Variable* DeclarationScope::DeclareFunctionVar(const AstRawString* name) {
601 DCHECK(is_function_scope()); 601 DCHECK(is_function_scope());
602 DCHECK_NULL(function_); 602 DCHECK_NULL(function_);
603 DCHECK_NULL(variables_.Lookup(name));
603 VariableKind kind = is_sloppy(language_mode()) ? SLOPPY_FUNCTION_NAME_VARIABLE 604 VariableKind kind = is_sloppy(language_mode()) ? SLOPPY_FUNCTION_NAME_VARIABLE
604 : NORMAL_VARIABLE; 605 : NORMAL_VARIABLE;
605 function_ = 606 function_ =
606 new (zone()) Variable(this, name, CONST, kind, kCreatedInitialized); 607 new (zone()) Variable(this, name, CONST, kind, kCreatedInitialized);
608 if (calls_sloppy_eval()) {
609 NonLocal(name, DYNAMIC);
610 } else {
611 variables_.Add(zone(), function_);
612 }
607 return function_; 613 return function_;
608 } 614 }
609 615
610 Scope* Scope::FinalizeBlockScope() { 616 Scope* Scope::FinalizeBlockScope() {
611 DCHECK(is_block_scope()); 617 DCHECK(is_block_scope());
612 618
613 if (variables_.occupancy() > 0 || 619 if (variables_.occupancy() > 0 ||
614 (is_declaration_scope() && calls_sloppy_eval())) { 620 (is_declaration_scope() && calls_sloppy_eval())) {
615 return this; 621 return this;
616 } 622 }
(...skipping 118 matching lines...) Expand 10 before | Expand all | Expand 10 after
735 MaybeAssignedFlag maybe_assigned_flag; 741 MaybeAssignedFlag maybe_assigned_flag;
736 742
737 VariableLocation location = VariableLocation::CONTEXT; 743 VariableLocation location = VariableLocation::CONTEXT;
738 int index = ScopeInfo::ContextSlotIndex(scope_info_, name_handle, &mode, 744 int index = ScopeInfo::ContextSlotIndex(scope_info_, name_handle, &mode,
739 &init_flag, &maybe_assigned_flag); 745 &init_flag, &maybe_assigned_flag);
740 if (index < 0 && scope_type() == MODULE_SCOPE) { 746 if (index < 0 && scope_type() == MODULE_SCOPE) {
741 location = VariableLocation::MODULE; 747 location = VariableLocation::MODULE;
742 index = scope_info_->ModuleIndex(name_handle, &mode, &init_flag, 748 index = scope_info_->ModuleIndex(name_handle, &mode, &init_flag,
743 &maybe_assigned_flag); 749 &maybe_assigned_flag);
744 } 750 }
745 if (index < 0) return nullptr; // Nowhere found. 751
752 if (index < 0) {
753 index = scope_info_->FunctionContextSlotIndex(*name_handle);
754 if (index < 0) return nullptr; // Nowhere found.
755 Variable* var = AsDeclarationScope()->DeclareFunctionVar(name);
756 DCHECK_EQ(CONST, var->mode());
757 var->AllocateTo(VariableLocation::CONTEXT, index);
758 return variables_.Lookup(name);
759 }
746 760
747 VariableKind kind = NORMAL_VARIABLE; 761 VariableKind kind = NORMAL_VARIABLE;
748 if (location == VariableLocation::CONTEXT && 762 if (location == VariableLocation::CONTEXT &&
749 index == scope_info_->ReceiverContextSlotIndex()) { 763 index == scope_info_->ReceiverContextSlotIndex()) {
750 kind = THIS_VARIABLE; 764 kind = THIS_VARIABLE;
751 } 765 }
752 // TODO(marja, rossberg): Correctly declare FUNCTION, CLASS, NEW_TARGET, and 766 // TODO(marja, rossberg): Correctly declare FUNCTION, CLASS, NEW_TARGET, and
753 // ARGUMENTS bindings as their corresponding VariableKind. 767 // ARGUMENTS bindings as their corresponding VariableKind.
754 768
755 Variable* var = variables_.Declare(zone(), this, name, mode, kind, init_flag, 769 Variable* var = variables_.Declare(zone(), this, name, mode, kind, init_flag,
756 maybe_assigned_flag); 770 maybe_assigned_flag);
757 var->AllocateTo(location, index); 771 var->AllocateTo(location, index);
758 return var; 772 return var;
759 } 773 }
760 774
761 Variable* DeclarationScope::LookupFunctionVar(const AstRawString* name) {
762 if (function_ != nullptr && function_->raw_name() == name) {
763 return function_;
764 } else if (!scope_info_.is_null()) {
765 // If we are backed by a scope info, try to lookup the variable there.
766 int index = scope_info_->FunctionContextSlotIndex(*(name->string()));
767 if (index < 0) return nullptr;
768 Variable* var = DeclareFunctionVar(name);
769 var->AllocateTo(VariableLocation::CONTEXT, index);
770 return var;
771 } else {
772 return nullptr;
773 }
774 }
775
776
777 Variable* Scope::Lookup(const AstRawString* name) { 775 Variable* Scope::Lookup(const AstRawString* name) {
778 for (Scope* scope = this; 776 for (Scope* scope = this;
779 scope != NULL; 777 scope != NULL;
780 scope = scope->outer_scope()) { 778 scope = scope->outer_scope()) {
781 Variable* var = scope->LookupLocal(name); 779 Variable* var = scope->LookupLocal(name);
782 if (var != NULL) return var; 780 if (var != NULL) return var;
783 } 781 }
784 return NULL; 782 return NULL;
785 } 783 }
786 784
(...skipping 626 matching lines...) Expand 10 before | Expand all | Expand 10 after
1413 } 1411 }
1414 1412
1415 // Try to find the variable in this scope. 1413 // Try to find the variable in this scope.
1416 Variable* var = LookupLocal(proxy->raw_name()); 1414 Variable* var = LookupLocal(proxy->raw_name());
1417 1415
1418 // We found a variable and we are done. (Even if there is an 'eval' in this 1416 // We found a variable and we are done. (Even if there is an 'eval' in this
1419 // scope which introduces the same variable again, the resulting variable 1417 // scope which introduces the same variable again, the resulting variable
1420 // remains the same.) 1418 // remains the same.)
1421 if (var != nullptr) return var; 1419 if (var != nullptr) return var;
1422 1420
1423 // We did not find a variable locally. Check against the function variable, if
1424 // any.
1425 if (is_function_scope()) {
1426 var = AsDeclarationScope()->LookupFunctionVar(proxy->raw_name());
1427 if (var != nullptr) {
1428 if (calls_sloppy_eval()) return NonLocal(proxy->raw_name(), DYNAMIC);
1429 return var;
1430 }
1431 }
1432
1433 if (outer_scope_ == outer_scope_end) { 1421 if (outer_scope_ == outer_scope_end) {
1434 if (!declare_free) return nullptr; 1422 if (!declare_free) return nullptr;
1435 DCHECK(is_script_scope()); 1423 DCHECK(is_script_scope());
1436 // No binding has been found. Declare a variable on the global object. 1424 // No binding has been found. Declare a variable on the global object.
1437 return AsDeclarationScope()->DeclareDynamicGlobal(proxy->raw_name(), 1425 return AsDeclarationScope()->DeclareDynamicGlobal(proxy->raw_name(),
1438 NORMAL_VARIABLE); 1426 NORMAL_VARIABLE);
1439 } 1427 }
1440 1428
1441 DCHECK(!is_script_scope()); 1429 DCHECK(!is_script_scope());
1442 1430
(...skipping 373 matching lines...) Expand 10 before | Expand all | Expand 10 after
1816 Variable* function = 1804 Variable* function =
1817 is_function_scope() ? AsDeclarationScope()->function_var() : nullptr; 1805 is_function_scope() ? AsDeclarationScope()->function_var() : nullptr;
1818 bool is_function_var_in_context = 1806 bool is_function_var_in_context =
1819 function != nullptr && function->IsContextSlot(); 1807 function != nullptr && function->IsContextSlot();
1820 return num_heap_slots() - Context::MIN_CONTEXT_SLOTS - 1808 return num_heap_slots() - Context::MIN_CONTEXT_SLOTS -
1821 (is_function_var_in_context ? 1 : 0); 1809 (is_function_var_in_context ? 1 : 0);
1822 } 1810 }
1823 1811
1824 } // namespace internal 1812 } // namespace internal
1825 } // namespace v8 1813 } // namespace v8
OLDNEW
« no previous file with comments | « src/ast/scopes.h ('k') | src/parsing/parser.cc » ('j') | src/parsing/parser.cc » ('J')

Powered by Google App Engine
This is Rietveld 408576698