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

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

Issue 2368313002: Don't use different function scopes when parsing with temp zones (Closed)
Patch Set: Make sure arguments_ is properly analyzed as well, since it's used as a signal for optimization Created 4 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
« no previous file with comments | « no previous file | src/ast/scopes.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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_AST_SCOPES_H_ 5 #ifndef V8_AST_SCOPES_H_
6 #define V8_AST_SCOPES_H_ 6 #define V8_AST_SCOPES_H_
7 7
8 #include "src/base/hashmap.h" 8 #include "src/base/hashmap.h"
9 #include "src/globals.h" 9 #include "src/globals.h"
10 #include "src/objects.h" 10 #include "src/objects.h"
(...skipping 56 matching lines...) Expand 10 before | Expand all | Expand 10 after
67 // --------------------------------------------------------------------------- 67 // ---------------------------------------------------------------------------
68 // Construction 68 // Construction
69 69
70 Scope(Zone* zone, Scope* outer_scope, ScopeType scope_type); 70 Scope(Zone* zone, Scope* outer_scope, ScopeType scope_type);
71 71
72 #ifdef DEBUG 72 #ifdef DEBUG
73 // The scope name is only used for printing/debugging. 73 // The scope name is only used for printing/debugging.
74 void SetScopeName(const AstRawString* scope_name) { 74 void SetScopeName(const AstRawString* scope_name) {
75 scope_name_ = scope_name; 75 scope_name_ = scope_name;
76 } 76 }
77 void set_needs_migration() { needs_migration_ = true; }
77 #endif 78 #endif
78 79
79 // TODO(verwaest): Is this needed on Scope? 80 // TODO(verwaest): Is this needed on Scope?
80 int num_parameters() const; 81 int num_parameters() const;
81 82
82 DeclarationScope* AsDeclarationScope(); 83 DeclarationScope* AsDeclarationScope();
83 const DeclarationScope* AsDeclarationScope() const; 84 const DeclarationScope* AsDeclarationScope() const;
84 ModuleScope* AsModuleScope(); 85 ModuleScope* AsModuleScope();
85 const ModuleScope* AsModuleScope() const; 86 const ModuleScope* AsModuleScope() const;
86 87
(...skipping 321 matching lines...) Expand 10 before | Expand all | Expand 10 after
408 409
409 // Check that all Scopes in the scope tree use the same Zone. 410 // Check that all Scopes in the scope tree use the same Zone.
410 void CheckZones(); 411 void CheckZones();
411 #endif 412 #endif
412 413
413 // Retrieve `IsSimpleParameterList` of current or outer function. 414 // Retrieve `IsSimpleParameterList` of current or outer function.
414 bool HasSimpleParameters(); 415 bool HasSimpleParameters();
415 void set_is_debug_evaluate_scope() { is_debug_evaluate_scope_ = true; } 416 void set_is_debug_evaluate_scope() { is_debug_evaluate_scope_ = true; }
416 bool is_debug_evaluate_scope() const { return is_debug_evaluate_scope_; } 417 bool is_debug_evaluate_scope() const { return is_debug_evaluate_scope_; }
417 418
418 void set_is_lazily_parsed(bool is_lazily_parsed) { 419 bool is_lazily_parsed() const { return is_lazily_parsed_; }
419 is_lazily_parsed_ = is_lazily_parsed;
420 }
421 420
422 protected: 421 protected:
423 explicit Scope(Zone* zone); 422 explicit Scope(Zone* zone);
424 423
425 void set_language_mode(LanguageMode language_mode) { 424 void set_language_mode(LanguageMode language_mode) {
426 is_strict_ = is_strict(language_mode); 425 is_strict_ = is_strict(language_mode);
427 } 426 }
428 427
429 private: 428 private:
430 Variable* Declare(Zone* zone, Scope* scope, const AstRawString* name, 429 Variable* Declare(Zone* zone, Scope* scope, const AstRawString* name,
(...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after
478 ZoneList<Declaration*> decls_; 477 ZoneList<Declaration*> decls_;
479 478
480 // Serialized scope info support. 479 // Serialized scope info support.
481 Handle<ScopeInfo> scope_info_; 480 Handle<ScopeInfo> scope_info_;
482 // Debugging support. 481 // Debugging support.
483 #ifdef DEBUG 482 #ifdef DEBUG
484 const AstRawString* scope_name_; 483 const AstRawString* scope_name_;
485 484
486 // True if it doesn't need scope resolution (e.g., if the scope was 485 // True if it doesn't need scope resolution (e.g., if the scope was
487 // constructed based on a serialized scope info or a catch context). 486 // constructed based on a serialized scope info or a catch context).
488 bool already_resolved_ : 1; 487 bool already_resolved_;
488 // True if this scope may contain objects from a temp zone that needs to be
489 // fixed up.
490 bool needs_migration_;
489 #endif 491 #endif
490 492
491 // Source positions. 493 // Source positions.
492 int start_position_; 494 int start_position_;
493 int end_position_; 495 int end_position_;
494 496
495 // Computed via AllocateVariables. 497 // Computed via AllocateVariables.
496 int num_stack_slots_; 498 int num_stack_slots_;
497 int num_heap_slots_; 499 int num_heap_slots_;
498 500
(...skipping 60 matching lines...) Expand 10 before | Expand all | Expand 10 after
559 MaybeHandle<ScopeInfo> outer_scope); 561 MaybeHandle<ScopeInfo> outer_scope);
560 562
561 // Construct a scope based on the scope info. 563 // Construct a scope based on the scope info.
562 Scope(Zone* zone, ScopeType type, Handle<ScopeInfo> scope_info); 564 Scope(Zone* zone, ScopeType type, Handle<ScopeInfo> scope_info);
563 565
564 // Construct a catch scope with a binding for the name. 566 // Construct a catch scope with a binding for the name.
565 Scope(Zone* zone, const AstRawString* catch_variable_name, 567 Scope(Zone* zone, const AstRawString* catch_variable_name,
566 Handle<ScopeInfo> scope_info); 568 Handle<ScopeInfo> scope_info);
567 569
568 void AddInnerScope(Scope* inner_scope) { 570 void AddInnerScope(Scope* inner_scope) {
571 DCHECK_EQ(!needs_migration_, inner_scope->zone() == zone());
569 inner_scope->sibling_ = inner_scope_; 572 inner_scope->sibling_ = inner_scope_;
570 inner_scope_ = inner_scope; 573 inner_scope_ = inner_scope;
571 inner_scope->outer_scope_ = this; 574 inner_scope->outer_scope_ = this;
572 } 575 }
573 576
574 void RemoveInnerScope(Scope* inner_scope) { 577 void RemoveInnerScope(Scope* inner_scope) {
575 DCHECK_NOT_NULL(inner_scope); 578 DCHECK_NOT_NULL(inner_scope);
576 if (inner_scope == inner_scope_) { 579 if (inner_scope == inner_scope_) {
577 inner_scope_ = inner_scope_->sibling_; 580 inner_scope_ = inner_scope_->sibling_;
578 return; 581 return;
(...skipping 193 matching lines...) Expand 10 before | Expand all | Expand 10 after
772 // Compute top scope and allocate variables. For lazy compilation the top 775 // Compute top scope and allocate variables. For lazy compilation the top
773 // scope only contains the single lazily compiled function, so this 776 // scope only contains the single lazily compiled function, so this
774 // doesn't re-allocate variables repeatedly. 777 // doesn't re-allocate variables repeatedly.
775 static void Analyze(ParseInfo* info, AnalyzeMode mode); 778 static void Analyze(ParseInfo* info, AnalyzeMode mode);
776 779
777 // To be called during parsing. Do just enough scope analysis that we can 780 // To be called during parsing. Do just enough scope analysis that we can
778 // discard the Scope for lazily compiled functions. In particular, this 781 // discard the Scope for lazily compiled functions. In particular, this
779 // records variables which cannot be resolved inside the Scope (we don't yet 782 // records variables which cannot be resolved inside the Scope (we don't yet
780 // know what they will resolve to since the outer Scopes are incomplete) and 783 // know what they will resolve to since the outer Scopes are incomplete) and
781 // migrates them into migrate_to. 784 // migrates them into migrate_to.
782 void AnalyzePartially(DeclarationScope* migrate_to, 785 void AnalyzePartially(AstNodeFactory* ast_node_factory);
783 AstNodeFactory* ast_node_factory);
784 786
785 Handle<StringSet> CollectNonLocals(ParseInfo* info, 787 Handle<StringSet> CollectNonLocals(ParseInfo* info,
786 Handle<StringSet> non_locals); 788 Handle<StringSet> non_locals);
787 789
788 // Determine if we can use lazy compilation for this scope. 790 // Determine if we can use lazy compilation for this scope.
789 bool AllowsLazyCompilation() const; 791 bool AllowsLazyCompilation() const;
790 792
791 // Determine if we can use lazy compilation for this scope without a context. 793 // Determine if we can use lazy compilation for this scope without a context.
792 bool AllowsLazyCompilationWithoutContext() const; 794 bool AllowsLazyCompilationWithoutContext() const;
793 795
(...skipping 87 matching lines...) Expand 10 before | Expand all | Expand 10 after
881 void AllocateModuleVariables(); 883 void AllocateModuleVariables();
882 884
883 private: 885 private:
884 ModuleDescriptor* module_descriptor_; 886 ModuleDescriptor* module_descriptor_;
885 }; 887 };
886 888
887 } // namespace internal 889 } // namespace internal
888 } // namespace v8 890 } // namespace v8
889 891
890 #endif // V8_AST_SCOPES_H_ 892 #endif // V8_AST_SCOPES_H_
OLDNEW
« no previous file with comments | « no previous file | src/ast/scopes.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698