| OLD | NEW |
| 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_H_ | 5 #ifndef V8_AST_H_ |
| 6 #define V8_AST_H_ | 6 #define V8_AST_H_ |
| 7 | 7 |
| 8 #include "src/v8.h" | 8 #include "src/v8.h" |
| 9 | 9 |
| 10 #include "src/assembler.h" | 10 #include "src/assembler.h" |
| (...skipping 123 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 134 AST_NODE_LIST(DEF_FORWARD_DECLARATION) | 134 AST_NODE_LIST(DEF_FORWARD_DECLARATION) |
| 135 #undef DEF_FORWARD_DECLARATION | 135 #undef DEF_FORWARD_DECLARATION |
| 136 | 136 |
| 137 | 137 |
| 138 // Typedef only introduced to avoid unreadable code. | 138 // Typedef only introduced to avoid unreadable code. |
| 139 // Please do appreciate the required space in "> >". | 139 // Please do appreciate the required space in "> >". |
| 140 typedef ZoneList<Handle<String> > ZoneStringList; | 140 typedef ZoneList<Handle<String> > ZoneStringList; |
| 141 typedef ZoneList<Handle<Object> > ZoneObjectList; | 141 typedef ZoneList<Handle<Object> > ZoneObjectList; |
| 142 | 142 |
| 143 | 143 |
| 144 #define DECLARE_NODE_TYPE(type) \ | 144 #define DECLARE_NODE_TYPE(type) \ |
| 145 virtual void Accept(AstVisitor* v) OVERRIDE; \ | 145 void Accept(AstVisitor* v) OVERRIDE; \ |
| 146 virtual AstNode::NodeType node_type() const FINAL OVERRIDE { \ | 146 AstNode::NodeType node_type() const FINAL { return AstNode::k##type; } \ |
| 147 return AstNode::k##type; \ | |
| 148 } \ | |
| 149 friend class AstNodeFactory; | 147 friend class AstNodeFactory; |
| 150 | 148 |
| 151 | 149 |
| 152 enum AstPropertiesFlag { | 150 enum AstPropertiesFlag { |
| 153 kDontSelfOptimize, | 151 kDontSelfOptimize, |
| 154 kDontSoftInline, | 152 kDontSoftInline, |
| 155 kDontCache | 153 kDontCache |
| 156 }; | 154 }; |
| 157 | 155 |
| 158 | 156 |
| (...skipping 280 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 439 enum BreakableType { | 437 enum BreakableType { |
| 440 TARGET_FOR_ANONYMOUS, | 438 TARGET_FOR_ANONYMOUS, |
| 441 TARGET_FOR_NAMED_ONLY | 439 TARGET_FOR_NAMED_ONLY |
| 442 }; | 440 }; |
| 443 | 441 |
| 444 // The labels associated with this statement. May be NULL; | 442 // The labels associated with this statement. May be NULL; |
| 445 // if it is != NULL, guaranteed to contain at least one entry. | 443 // if it is != NULL, guaranteed to contain at least one entry. |
| 446 ZoneList<const AstRawString*>* labels() const { return labels_; } | 444 ZoneList<const AstRawString*>* labels() const { return labels_; } |
| 447 | 445 |
| 448 // Type testing & conversion. | 446 // Type testing & conversion. |
| 449 virtual BreakableStatement* AsBreakableStatement() FINAL OVERRIDE { | 447 BreakableStatement* AsBreakableStatement() FINAL { return this; } |
| 450 return this; | |
| 451 } | |
| 452 | 448 |
| 453 // Code generation | 449 // Code generation |
| 454 Label* break_target() { return &break_target_; } | 450 Label* break_target() { return &break_target_; } |
| 455 | 451 |
| 456 // Testers. | 452 // Testers. |
| 457 bool is_target_for_anonymous() const { | 453 bool is_target_for_anonymous() const { |
| 458 return breakable_type_ == TARGET_FOR_ANONYMOUS; | 454 return breakable_type_ == TARGET_FOR_ANONYMOUS; |
| 459 } | 455 } |
| 460 | 456 |
| 461 void set_base_id(int id) { base_id_ = id; } | 457 void set_base_id(int id) { base_id_ = id; } |
| (...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 496 void AddStatement(Statement* statement, Zone* zone) { | 492 void AddStatement(Statement* statement, Zone* zone) { |
| 497 statements_.Add(statement, zone); | 493 statements_.Add(statement, zone); |
| 498 } | 494 } |
| 499 | 495 |
| 500 ZoneList<Statement*>* statements() { return &statements_; } | 496 ZoneList<Statement*>* statements() { return &statements_; } |
| 501 bool is_initializer_block() const { return is_initializer_block_; } | 497 bool is_initializer_block() const { return is_initializer_block_; } |
| 502 | 498 |
| 503 static int num_ids() { return parent_num_ids() + 1; } | 499 static int num_ids() { return parent_num_ids() + 1; } |
| 504 BailoutId DeclsId() const { return BailoutId(local_id(0)); } | 500 BailoutId DeclsId() const { return BailoutId(local_id(0)); } |
| 505 | 501 |
| 506 virtual bool IsJump() const OVERRIDE { | 502 bool IsJump() const OVERRIDE { |
| 507 return !statements_.is_empty() && statements_.last()->IsJump() | 503 return !statements_.is_empty() && statements_.last()->IsJump() |
| 508 && labels() == NULL; // Good enough as an approximation... | 504 && labels() == NULL; // Good enough as an approximation... |
| 509 } | 505 } |
| 510 | 506 |
| 511 Scope* scope() const { return scope_; } | 507 Scope* scope() const { return scope_; } |
| 512 void set_scope(Scope* scope) { scope_ = scope; } | 508 void set_scope(Scope* scope) { scope_ = scope; } |
| 513 | 509 |
| 514 protected: | 510 protected: |
| 515 Block(Zone* zone, ZoneList<const AstRawString*>* labels, int capacity, | 511 Block(Zone* zone, ZoneList<const AstRawString*>* labels, int capacity, |
| 516 bool is_initializer_block, int pos) | 512 bool is_initializer_block, int pos) |
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 550 | 546 |
| 551 // Nested scope from which the declaration originated. | 547 // Nested scope from which the declaration originated. |
| 552 Scope* scope_; | 548 Scope* scope_; |
| 553 }; | 549 }; |
| 554 | 550 |
| 555 | 551 |
| 556 class VariableDeclaration FINAL : public Declaration { | 552 class VariableDeclaration FINAL : public Declaration { |
| 557 public: | 553 public: |
| 558 DECLARE_NODE_TYPE(VariableDeclaration) | 554 DECLARE_NODE_TYPE(VariableDeclaration) |
| 559 | 555 |
| 560 virtual InitializationFlag initialization() const OVERRIDE { | 556 InitializationFlag initialization() const OVERRIDE { |
| 561 return mode() == VAR ? kCreatedInitialized : kNeedsInitialization; | 557 return mode() == VAR ? kCreatedInitialized : kNeedsInitialization; |
| 562 } | 558 } |
| 563 | 559 |
| 564 protected: | 560 protected: |
| 565 VariableDeclaration(Zone* zone, | 561 VariableDeclaration(Zone* zone, |
| 566 VariableProxy* proxy, | 562 VariableProxy* proxy, |
| 567 VariableMode mode, | 563 VariableMode mode, |
| 568 Scope* scope, | 564 Scope* scope, |
| 569 int pos) | 565 int pos) |
| 570 : Declaration(zone, proxy, mode, scope, pos) { | 566 : Declaration(zone, proxy, mode, scope, pos) { |
| 571 } | 567 } |
| 572 }; | 568 }; |
| 573 | 569 |
| 574 | 570 |
| 575 class FunctionDeclaration FINAL : public Declaration { | 571 class FunctionDeclaration FINAL : public Declaration { |
| 576 public: | 572 public: |
| 577 DECLARE_NODE_TYPE(FunctionDeclaration) | 573 DECLARE_NODE_TYPE(FunctionDeclaration) |
| 578 | 574 |
| 579 FunctionLiteral* fun() const { return fun_; } | 575 FunctionLiteral* fun() const { return fun_; } |
| 580 virtual InitializationFlag initialization() const OVERRIDE { | 576 InitializationFlag initialization() const OVERRIDE { |
| 581 return kCreatedInitialized; | 577 return kCreatedInitialized; |
| 582 } | 578 } |
| 583 virtual bool IsInlineable() const OVERRIDE; | 579 bool IsInlineable() const OVERRIDE; |
| 584 | 580 |
| 585 protected: | 581 protected: |
| 586 FunctionDeclaration(Zone* zone, | 582 FunctionDeclaration(Zone* zone, |
| 587 VariableProxy* proxy, | 583 VariableProxy* proxy, |
| 588 VariableMode mode, | 584 VariableMode mode, |
| 589 FunctionLiteral* fun, | 585 FunctionLiteral* fun, |
| 590 Scope* scope, | 586 Scope* scope, |
| 591 int pos) | 587 int pos) |
| 592 : Declaration(zone, proxy, mode, scope, pos), | 588 : Declaration(zone, proxy, mode, scope, pos), |
| 593 fun_(fun) { | 589 fun_(fun) { |
| 594 // At the moment there are no "const functions" in JavaScript... | 590 // At the moment there are no "const functions" in JavaScript... |
| 595 DCHECK(mode == VAR || mode == LET); | 591 DCHECK(mode == VAR || mode == LET); |
| 596 DCHECK(fun != NULL); | 592 DCHECK(fun != NULL); |
| 597 } | 593 } |
| 598 | 594 |
| 599 private: | 595 private: |
| 600 FunctionLiteral* fun_; | 596 FunctionLiteral* fun_; |
| 601 }; | 597 }; |
| 602 | 598 |
| 603 | 599 |
| 604 class ModuleDeclaration FINAL : public Declaration { | 600 class ModuleDeclaration FINAL : public Declaration { |
| 605 public: | 601 public: |
| 606 DECLARE_NODE_TYPE(ModuleDeclaration) | 602 DECLARE_NODE_TYPE(ModuleDeclaration) |
| 607 | 603 |
| 608 Module* module() const { return module_; } | 604 Module* module() const { return module_; } |
| 609 virtual InitializationFlag initialization() const OVERRIDE { | 605 InitializationFlag initialization() const OVERRIDE { |
| 610 return kCreatedInitialized; | 606 return kCreatedInitialized; |
| 611 } | 607 } |
| 612 | 608 |
| 613 protected: | 609 protected: |
| 614 ModuleDeclaration(Zone* zone, | 610 ModuleDeclaration(Zone* zone, |
| 615 VariableProxy* proxy, | 611 VariableProxy* proxy, |
| 616 Module* module, | 612 Module* module, |
| 617 Scope* scope, | 613 Scope* scope, |
| 618 int pos) | 614 int pos) |
| 619 : Declaration(zone, proxy, MODULE, scope, pos), | 615 : Declaration(zone, proxy, MODULE, scope, pos), |
| 620 module_(module) { | 616 module_(module) { |
| 621 } | 617 } |
| 622 | 618 |
| 623 private: | 619 private: |
| 624 Module* module_; | 620 Module* module_; |
| 625 }; | 621 }; |
| 626 | 622 |
| 627 | 623 |
| 628 class ImportDeclaration FINAL : public Declaration { | 624 class ImportDeclaration FINAL : public Declaration { |
| 629 public: | 625 public: |
| 630 DECLARE_NODE_TYPE(ImportDeclaration) | 626 DECLARE_NODE_TYPE(ImportDeclaration) |
| 631 | 627 |
| 632 Module* module() const { return module_; } | 628 Module* module() const { return module_; } |
| 633 virtual InitializationFlag initialization() const OVERRIDE { | 629 InitializationFlag initialization() const OVERRIDE { |
| 634 return kCreatedInitialized; | 630 return kCreatedInitialized; |
| 635 } | 631 } |
| 636 | 632 |
| 637 protected: | 633 protected: |
| 638 ImportDeclaration(Zone* zone, | 634 ImportDeclaration(Zone* zone, |
| 639 VariableProxy* proxy, | 635 VariableProxy* proxy, |
| 640 Module* module, | 636 Module* module, |
| 641 Scope* scope, | 637 Scope* scope, |
| 642 int pos) | 638 int pos) |
| 643 : Declaration(zone, proxy, LET, scope, pos), | 639 : Declaration(zone, proxy, LET, scope, pos), |
| 644 module_(module) { | 640 module_(module) { |
| 645 } | 641 } |
| 646 | 642 |
| 647 private: | 643 private: |
| 648 Module* module_; | 644 Module* module_; |
| 649 }; | 645 }; |
| 650 | 646 |
| 651 | 647 |
| 652 class ExportDeclaration FINAL : public Declaration { | 648 class ExportDeclaration FINAL : public Declaration { |
| 653 public: | 649 public: |
| 654 DECLARE_NODE_TYPE(ExportDeclaration) | 650 DECLARE_NODE_TYPE(ExportDeclaration) |
| 655 | 651 |
| 656 virtual InitializationFlag initialization() const OVERRIDE { | 652 InitializationFlag initialization() const OVERRIDE { |
| 657 return kCreatedInitialized; | 653 return kCreatedInitialized; |
| 658 } | 654 } |
| 659 | 655 |
| 660 protected: | 656 protected: |
| 661 ExportDeclaration(Zone* zone, VariableProxy* proxy, Scope* scope, int pos) | 657 ExportDeclaration(Zone* zone, VariableProxy* proxy, Scope* scope, int pos) |
| 662 : Declaration(zone, proxy, LET, scope, pos) {} | 658 : Declaration(zone, proxy, LET, scope, pos) {} |
| 663 }; | 659 }; |
| 664 | 660 |
| 665 | 661 |
| 666 class Module : public AstNode { | 662 class Module : public AstNode { |
| (...skipping 90 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 757 | 753 |
| 758 private: | 754 private: |
| 759 VariableProxy* proxy_; | 755 VariableProxy* proxy_; |
| 760 Block* body_; | 756 Block* body_; |
| 761 }; | 757 }; |
| 762 | 758 |
| 763 | 759 |
| 764 class IterationStatement : public BreakableStatement { | 760 class IterationStatement : public BreakableStatement { |
| 765 public: | 761 public: |
| 766 // Type testing & conversion. | 762 // Type testing & conversion. |
| 767 virtual IterationStatement* AsIterationStatement() FINAL OVERRIDE { | 763 IterationStatement* AsIterationStatement() FINAL { return this; } |
| 768 return this; | |
| 769 } | |
| 770 | 764 |
| 771 Statement* body() const { return body_; } | 765 Statement* body() const { return body_; } |
| 772 | 766 |
| 773 static int num_ids() { return parent_num_ids() + 1; } | 767 static int num_ids() { return parent_num_ids() + 1; } |
| 774 BailoutId OsrEntryId() const { return BailoutId(local_id(0)); } | 768 BailoutId OsrEntryId() const { return BailoutId(local_id(0)); } |
| 775 virtual BailoutId ContinueId() const = 0; | 769 virtual BailoutId ContinueId() const = 0; |
| 776 virtual BailoutId StackCheckId() const = 0; | 770 virtual BailoutId StackCheckId() const = 0; |
| 777 | 771 |
| 778 // Code generation | 772 // Code generation |
| 779 Label* continue_target() { return &continue_target_; } | 773 Label* continue_target() { return &continue_target_; } |
| (...skipping 18 matching lines...) Expand all Loading... |
| 798 DECLARE_NODE_TYPE(DoWhileStatement) | 792 DECLARE_NODE_TYPE(DoWhileStatement) |
| 799 | 793 |
| 800 void Initialize(Expression* cond, Statement* body) { | 794 void Initialize(Expression* cond, Statement* body) { |
| 801 IterationStatement::Initialize(body); | 795 IterationStatement::Initialize(body); |
| 802 cond_ = cond; | 796 cond_ = cond; |
| 803 } | 797 } |
| 804 | 798 |
| 805 Expression* cond() const { return cond_; } | 799 Expression* cond() const { return cond_; } |
| 806 | 800 |
| 807 static int num_ids() { return parent_num_ids() + 2; } | 801 static int num_ids() { return parent_num_ids() + 2; } |
| 808 virtual BailoutId ContinueId() const OVERRIDE { | 802 BailoutId ContinueId() const OVERRIDE { return BailoutId(local_id(0)); } |
| 809 return BailoutId(local_id(0)); | 803 BailoutId StackCheckId() const OVERRIDE { return BackEdgeId(); } |
| 810 } | |
| 811 virtual BailoutId StackCheckId() const OVERRIDE { return BackEdgeId(); } | |
| 812 BailoutId BackEdgeId() const { return BailoutId(local_id(1)); } | 804 BailoutId BackEdgeId() const { return BailoutId(local_id(1)); } |
| 813 | 805 |
| 814 protected: | 806 protected: |
| 815 DoWhileStatement(Zone* zone, ZoneList<const AstRawString*>* labels, int pos) | 807 DoWhileStatement(Zone* zone, ZoneList<const AstRawString*>* labels, int pos) |
| 816 : IterationStatement(zone, labels, pos), cond_(NULL) {} | 808 : IterationStatement(zone, labels, pos), cond_(NULL) {} |
| 817 static int parent_num_ids() { return IterationStatement::num_ids(); } | 809 static int parent_num_ids() { return IterationStatement::num_ids(); } |
| 818 | 810 |
| 819 private: | 811 private: |
| 820 int local_id(int n) const { return base_id() + parent_num_ids() + n; } | 812 int local_id(int n) const { return base_id() + parent_num_ids() + n; } |
| 821 | 813 |
| 822 Expression* cond_; | 814 Expression* cond_; |
| 823 }; | 815 }; |
| 824 | 816 |
| 825 | 817 |
| 826 class WhileStatement FINAL : public IterationStatement { | 818 class WhileStatement FINAL : public IterationStatement { |
| 827 public: | 819 public: |
| 828 DECLARE_NODE_TYPE(WhileStatement) | 820 DECLARE_NODE_TYPE(WhileStatement) |
| 829 | 821 |
| 830 void Initialize(Expression* cond, Statement* body) { | 822 void Initialize(Expression* cond, Statement* body) { |
| 831 IterationStatement::Initialize(body); | 823 IterationStatement::Initialize(body); |
| 832 cond_ = cond; | 824 cond_ = cond; |
| 833 } | 825 } |
| 834 | 826 |
| 835 Expression* cond() const { return cond_; } | 827 Expression* cond() const { return cond_; } |
| 836 | 828 |
| 837 static int num_ids() { return parent_num_ids() + 1; } | 829 static int num_ids() { return parent_num_ids() + 1; } |
| 838 virtual BailoutId ContinueId() const OVERRIDE { return EntryId(); } | 830 BailoutId ContinueId() const OVERRIDE { return EntryId(); } |
| 839 virtual BailoutId StackCheckId() const OVERRIDE { return BodyId(); } | 831 BailoutId StackCheckId() const OVERRIDE { return BodyId(); } |
| 840 BailoutId BodyId() const { return BailoutId(local_id(0)); } | 832 BailoutId BodyId() const { return BailoutId(local_id(0)); } |
| 841 | 833 |
| 842 protected: | 834 protected: |
| 843 WhileStatement(Zone* zone, ZoneList<const AstRawString*>* labels, int pos) | 835 WhileStatement(Zone* zone, ZoneList<const AstRawString*>* labels, int pos) |
| 844 : IterationStatement(zone, labels, pos), cond_(NULL) {} | 836 : IterationStatement(zone, labels, pos), cond_(NULL) {} |
| 845 static int parent_num_ids() { return IterationStatement::num_ids(); } | 837 static int parent_num_ids() { return IterationStatement::num_ids(); } |
| 846 | 838 |
| 847 private: | 839 private: |
| 848 int local_id(int n) const { return base_id() + parent_num_ids() + n; } | 840 int local_id(int n) const { return base_id() + parent_num_ids() + n; } |
| 849 | 841 |
| (...skipping 13 matching lines...) Expand all Loading... |
| 863 init_ = init; | 855 init_ = init; |
| 864 cond_ = cond; | 856 cond_ = cond; |
| 865 next_ = next; | 857 next_ = next; |
| 866 } | 858 } |
| 867 | 859 |
| 868 Statement* init() const { return init_; } | 860 Statement* init() const { return init_; } |
| 869 Expression* cond() const { return cond_; } | 861 Expression* cond() const { return cond_; } |
| 870 Statement* next() const { return next_; } | 862 Statement* next() const { return next_; } |
| 871 | 863 |
| 872 static int num_ids() { return parent_num_ids() + 2; } | 864 static int num_ids() { return parent_num_ids() + 2; } |
| 873 virtual BailoutId ContinueId() const OVERRIDE { | 865 BailoutId ContinueId() const OVERRIDE { return BailoutId(local_id(0)); } |
| 874 return BailoutId(local_id(0)); | 866 BailoutId StackCheckId() const OVERRIDE { return BodyId(); } |
| 875 } | |
| 876 virtual BailoutId StackCheckId() const OVERRIDE { return BodyId(); } | |
| 877 BailoutId BodyId() const { return BailoutId(local_id(1)); } | 867 BailoutId BodyId() const { return BailoutId(local_id(1)); } |
| 878 | 868 |
| 879 protected: | 869 protected: |
| 880 ForStatement(Zone* zone, ZoneList<const AstRawString*>* labels, int pos) | 870 ForStatement(Zone* zone, ZoneList<const AstRawString*>* labels, int pos) |
| 881 : IterationStatement(zone, labels, pos), | 871 : IterationStatement(zone, labels, pos), |
| 882 init_(NULL), | 872 init_(NULL), |
| 883 cond_(NULL), | 873 cond_(NULL), |
| 884 next_(NULL) {} | 874 next_(NULL) {} |
| 885 static int parent_num_ids() { return IterationStatement::num_ids(); } | 875 static int parent_num_ids() { return IterationStatement::num_ids(); } |
| 886 | 876 |
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 925 | 915 |
| 926 Expression* enumerable() const { | 916 Expression* enumerable() const { |
| 927 return subject(); | 917 return subject(); |
| 928 } | 918 } |
| 929 | 919 |
| 930 // Type feedback information. | 920 // Type feedback information. |
| 931 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( | 921 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( |
| 932 Isolate* isolate) OVERRIDE { | 922 Isolate* isolate) OVERRIDE { |
| 933 return FeedbackVectorRequirements(1, 0); | 923 return FeedbackVectorRequirements(1, 0); |
| 934 } | 924 } |
| 935 virtual void SetFirstFeedbackSlot(FeedbackVectorSlot slot) OVERRIDE { | 925 void SetFirstFeedbackSlot(FeedbackVectorSlot slot) OVERRIDE { |
| 936 for_in_feedback_slot_ = slot; | 926 for_in_feedback_slot_ = slot; |
| 937 } | 927 } |
| 938 | 928 |
| 939 FeedbackVectorSlot ForInFeedbackSlot() { | 929 FeedbackVectorSlot ForInFeedbackSlot() { |
| 940 DCHECK(!for_in_feedback_slot_.IsInvalid()); | 930 DCHECK(!for_in_feedback_slot_.IsInvalid()); |
| 941 return for_in_feedback_slot_; | 931 return for_in_feedback_slot_; |
| 942 } | 932 } |
| 943 | 933 |
| 944 enum ForInType { FAST_FOR_IN, SLOW_FOR_IN }; | 934 enum ForInType { FAST_FOR_IN, SLOW_FOR_IN }; |
| 945 ForInType for_in_type() const { return for_in_type_; } | 935 ForInType for_in_type() const { return for_in_type_; } |
| 946 void set_for_in_type(ForInType type) { for_in_type_ = type; } | 936 void set_for_in_type(ForInType type) { for_in_type_ = type; } |
| 947 | 937 |
| 948 static int num_ids() { return parent_num_ids() + 4; } | 938 static int num_ids() { return parent_num_ids() + 4; } |
| 949 BailoutId BodyId() const { return BailoutId(local_id(0)); } | 939 BailoutId BodyId() const { return BailoutId(local_id(0)); } |
| 950 BailoutId PrepareId() const { return BailoutId(local_id(1)); } | 940 BailoutId PrepareId() const { return BailoutId(local_id(1)); } |
| 951 BailoutId EnumId() const { return BailoutId(local_id(2)); } | 941 BailoutId EnumId() const { return BailoutId(local_id(2)); } |
| 952 BailoutId ToObjectId() const { return BailoutId(local_id(3)); } | 942 BailoutId ToObjectId() const { return BailoutId(local_id(3)); } |
| 953 virtual BailoutId ContinueId() const OVERRIDE { return EntryId(); } | 943 BailoutId ContinueId() const OVERRIDE { return EntryId(); } |
| 954 virtual BailoutId StackCheckId() const OVERRIDE { return BodyId(); } | 944 BailoutId StackCheckId() const OVERRIDE { return BodyId(); } |
| 955 | 945 |
| 956 protected: | 946 protected: |
| 957 ForInStatement(Zone* zone, ZoneList<const AstRawString*>* labels, int pos) | 947 ForInStatement(Zone* zone, ZoneList<const AstRawString*>* labels, int pos) |
| 958 : ForEachStatement(zone, labels, pos), | 948 : ForEachStatement(zone, labels, pos), |
| 959 for_in_type_(SLOW_FOR_IN), | 949 for_in_type_(SLOW_FOR_IN), |
| 960 for_in_feedback_slot_(FeedbackVectorSlot::Invalid()) {} | 950 for_in_feedback_slot_(FeedbackVectorSlot::Invalid()) {} |
| 961 static int parent_num_ids() { return ForEachStatement::num_ids(); } | 951 static int parent_num_ids() { return ForEachStatement::num_ids(); } |
| 962 | 952 |
| 963 private: | 953 private: |
| 964 int local_id(int n) const { return base_id() + parent_num_ids() + n; } | 954 int local_id(int n) const { return base_id() + parent_num_ids() + n; } |
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1003 // result.done | 993 // result.done |
| 1004 Expression* result_done() const { | 994 Expression* result_done() const { |
| 1005 return result_done_; | 995 return result_done_; |
| 1006 } | 996 } |
| 1007 | 997 |
| 1008 // each = result.value | 998 // each = result.value |
| 1009 Expression* assign_each() const { | 999 Expression* assign_each() const { |
| 1010 return assign_each_; | 1000 return assign_each_; |
| 1011 } | 1001 } |
| 1012 | 1002 |
| 1013 virtual BailoutId ContinueId() const OVERRIDE { return EntryId(); } | 1003 BailoutId ContinueId() const OVERRIDE { return EntryId(); } |
| 1014 virtual BailoutId StackCheckId() const OVERRIDE { return BackEdgeId(); } | 1004 BailoutId StackCheckId() const OVERRIDE { return BackEdgeId(); } |
| 1015 | 1005 |
| 1016 static int num_ids() { return parent_num_ids() + 1; } | 1006 static int num_ids() { return parent_num_ids() + 1; } |
| 1017 BailoutId BackEdgeId() const { return BailoutId(local_id(0)); } | 1007 BailoutId BackEdgeId() const { return BailoutId(local_id(0)); } |
| 1018 | 1008 |
| 1019 protected: | 1009 protected: |
| 1020 ForOfStatement(Zone* zone, ZoneList<const AstRawString*>* labels, int pos) | 1010 ForOfStatement(Zone* zone, ZoneList<const AstRawString*>* labels, int pos) |
| 1021 : ForEachStatement(zone, labels, pos), | 1011 : ForEachStatement(zone, labels, pos), |
| 1022 assign_iterator_(NULL), | 1012 assign_iterator_(NULL), |
| 1023 next_result_(NULL), | 1013 next_result_(NULL), |
| 1024 result_done_(NULL), | 1014 result_done_(NULL), |
| 1025 assign_each_(NULL) {} | 1015 assign_each_(NULL) {} |
| 1026 static int parent_num_ids() { return ForEachStatement::num_ids(); } | 1016 static int parent_num_ids() { return ForEachStatement::num_ids(); } |
| 1027 | 1017 |
| 1028 private: | 1018 private: |
| 1029 int local_id(int n) const { return base_id() + parent_num_ids() + n; } | 1019 int local_id(int n) const { return base_id() + parent_num_ids() + n; } |
| 1030 | 1020 |
| 1031 Expression* assign_iterator_; | 1021 Expression* assign_iterator_; |
| 1032 Expression* next_result_; | 1022 Expression* next_result_; |
| 1033 Expression* result_done_; | 1023 Expression* result_done_; |
| 1034 Expression* assign_each_; | 1024 Expression* assign_each_; |
| 1035 }; | 1025 }; |
| 1036 | 1026 |
| 1037 | 1027 |
| 1038 class ExpressionStatement FINAL : public Statement { | 1028 class ExpressionStatement FINAL : public Statement { |
| 1039 public: | 1029 public: |
| 1040 DECLARE_NODE_TYPE(ExpressionStatement) | 1030 DECLARE_NODE_TYPE(ExpressionStatement) |
| 1041 | 1031 |
| 1042 void set_expression(Expression* e) { expression_ = e; } | 1032 void set_expression(Expression* e) { expression_ = e; } |
| 1043 Expression* expression() const { return expression_; } | 1033 Expression* expression() const { return expression_; } |
| 1044 virtual bool IsJump() const OVERRIDE { return expression_->IsThrow(); } | 1034 bool IsJump() const OVERRIDE { return expression_->IsThrow(); } |
| 1045 | 1035 |
| 1046 protected: | 1036 protected: |
| 1047 ExpressionStatement(Zone* zone, Expression* expression, int pos) | 1037 ExpressionStatement(Zone* zone, Expression* expression, int pos) |
| 1048 : Statement(zone, pos), expression_(expression) { } | 1038 : Statement(zone, pos), expression_(expression) { } |
| 1049 | 1039 |
| 1050 private: | 1040 private: |
| 1051 Expression* expression_; | 1041 Expression* expression_; |
| 1052 }; | 1042 }; |
| 1053 | 1043 |
| 1054 | 1044 |
| 1055 class JumpStatement : public Statement { | 1045 class JumpStatement : public Statement { |
| 1056 public: | 1046 public: |
| 1057 virtual bool IsJump() const FINAL OVERRIDE { return true; } | 1047 bool IsJump() const FINAL { return true; } |
| 1058 | 1048 |
| 1059 protected: | 1049 protected: |
| 1060 explicit JumpStatement(Zone* zone, int pos) : Statement(zone, pos) {} | 1050 explicit JumpStatement(Zone* zone, int pos) : Statement(zone, pos) {} |
| 1061 }; | 1051 }; |
| 1062 | 1052 |
| 1063 | 1053 |
| 1064 class ContinueStatement FINAL : public JumpStatement { | 1054 class ContinueStatement FINAL : public JumpStatement { |
| 1065 public: | 1055 public: |
| 1066 DECLARE_NODE_TYPE(ContinueStatement) | 1056 DECLARE_NODE_TYPE(ContinueStatement) |
| 1067 | 1057 |
| (...skipping 129 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1197 public: | 1187 public: |
| 1198 DECLARE_NODE_TYPE(IfStatement) | 1188 DECLARE_NODE_TYPE(IfStatement) |
| 1199 | 1189 |
| 1200 bool HasThenStatement() const { return !then_statement()->IsEmpty(); } | 1190 bool HasThenStatement() const { return !then_statement()->IsEmpty(); } |
| 1201 bool HasElseStatement() const { return !else_statement()->IsEmpty(); } | 1191 bool HasElseStatement() const { return !else_statement()->IsEmpty(); } |
| 1202 | 1192 |
| 1203 Expression* condition() const { return condition_; } | 1193 Expression* condition() const { return condition_; } |
| 1204 Statement* then_statement() const { return then_statement_; } | 1194 Statement* then_statement() const { return then_statement_; } |
| 1205 Statement* else_statement() const { return else_statement_; } | 1195 Statement* else_statement() const { return else_statement_; } |
| 1206 | 1196 |
| 1207 virtual bool IsJump() const OVERRIDE { | 1197 bool IsJump() const OVERRIDE { |
| 1208 return HasThenStatement() && then_statement()->IsJump() | 1198 return HasThenStatement() && then_statement()->IsJump() |
| 1209 && HasElseStatement() && else_statement()->IsJump(); | 1199 && HasElseStatement() && else_statement()->IsJump(); |
| 1210 } | 1200 } |
| 1211 | 1201 |
| 1212 void set_base_id(int id) { base_id_ = id; } | 1202 void set_base_id(int id) { base_id_ = id; } |
| 1213 static int num_ids() { return parent_num_ids() + 3; } | 1203 static int num_ids() { return parent_num_ids() + 3; } |
| 1214 BailoutId IfId() const { return BailoutId(local_id(0)); } | 1204 BailoutId IfId() const { return BailoutId(local_id(0)); } |
| 1215 BailoutId ThenId() const { return BailoutId(local_id(1)); } | 1205 BailoutId ThenId() const { return BailoutId(local_id(1)); } |
| 1216 BailoutId ElseId() const { return BailoutId(local_id(2)); } | 1206 BailoutId ElseId() const { return BailoutId(local_id(2)); } |
| 1217 | 1207 |
| (...skipping 28 matching lines...) Expand all Loading... |
| 1246 public: | 1236 public: |
| 1247 explicit TargetCollector(Zone* zone) | 1237 explicit TargetCollector(Zone* zone) |
| 1248 : AstNode(RelocInfo::kNoPosition), targets_(0, zone) { } | 1238 : AstNode(RelocInfo::kNoPosition), targets_(0, zone) { } |
| 1249 | 1239 |
| 1250 // Adds a jump target to the collector. The collector stores a pointer not | 1240 // Adds a jump target to the collector. The collector stores a pointer not |
| 1251 // a copy of the target to make binding work, so make sure not to pass in | 1241 // a copy of the target to make binding work, so make sure not to pass in |
| 1252 // references to something on the stack. | 1242 // references to something on the stack. |
| 1253 void AddTarget(Label* target, Zone* zone); | 1243 void AddTarget(Label* target, Zone* zone); |
| 1254 | 1244 |
| 1255 // Virtual behaviour. TargetCollectors are never part of the AST. | 1245 // Virtual behaviour. TargetCollectors are never part of the AST. |
| 1256 virtual void Accept(AstVisitor* v) OVERRIDE { UNREACHABLE(); } | 1246 void Accept(AstVisitor* v) OVERRIDE { UNREACHABLE(); } |
| 1257 virtual NodeType node_type() const OVERRIDE { return kInvalid; } | 1247 NodeType node_type() const OVERRIDE { return kInvalid; } |
| 1258 virtual TargetCollector* AsTargetCollector() OVERRIDE { return this; } | 1248 TargetCollector* AsTargetCollector() OVERRIDE { return this; } |
| 1259 | 1249 |
| 1260 ZoneList<Label*>* targets() { return &targets_; } | 1250 ZoneList<Label*>* targets() { return &targets_; } |
| 1261 | 1251 |
| 1262 private: | 1252 private: |
| 1263 ZoneList<Label*> targets_; | 1253 ZoneList<Label*> targets_; |
| 1264 }; | 1254 }; |
| 1265 | 1255 |
| 1266 | 1256 |
| 1267 class TryStatement : public Statement { | 1257 class TryStatement : public Statement { |
| 1268 public: | 1258 public: |
| (...skipping 98 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1367 | 1357 |
| 1368 protected: | 1358 protected: |
| 1369 explicit EmptyStatement(Zone* zone, int pos): Statement(zone, pos) {} | 1359 explicit EmptyStatement(Zone* zone, int pos): Statement(zone, pos) {} |
| 1370 }; | 1360 }; |
| 1371 | 1361 |
| 1372 | 1362 |
| 1373 class Literal FINAL : public Expression { | 1363 class Literal FINAL : public Expression { |
| 1374 public: | 1364 public: |
| 1375 DECLARE_NODE_TYPE(Literal) | 1365 DECLARE_NODE_TYPE(Literal) |
| 1376 | 1366 |
| 1377 virtual bool IsPropertyName() const OVERRIDE { | 1367 bool IsPropertyName() const OVERRIDE { return value_->IsPropertyName(); } |
| 1378 return value_->IsPropertyName(); | |
| 1379 } | |
| 1380 | 1368 |
| 1381 Handle<String> AsPropertyName() { | 1369 Handle<String> AsPropertyName() { |
| 1382 DCHECK(IsPropertyName()); | 1370 DCHECK(IsPropertyName()); |
| 1383 return Handle<String>::cast(value()); | 1371 return Handle<String>::cast(value()); |
| 1384 } | 1372 } |
| 1385 | 1373 |
| 1386 const AstRawString* AsRawPropertyName() { | 1374 const AstRawString* AsRawPropertyName() { |
| 1387 DCHECK(IsPropertyName()); | 1375 DCHECK(IsPropertyName()); |
| 1388 return value_->AsString(); | 1376 return value_->AsString(); |
| 1389 } | 1377 } |
| 1390 | 1378 |
| 1391 virtual bool ToBooleanIsTrue() const OVERRIDE { | 1379 bool ToBooleanIsTrue() const OVERRIDE { return value()->BooleanValue(); } |
| 1392 return value()->BooleanValue(); | 1380 bool ToBooleanIsFalse() const OVERRIDE { return !value()->BooleanValue(); } |
| 1393 } | |
| 1394 virtual bool ToBooleanIsFalse() const OVERRIDE { | |
| 1395 return !value()->BooleanValue(); | |
| 1396 } | |
| 1397 | 1381 |
| 1398 Handle<Object> value() const { return value_->value(); } | 1382 Handle<Object> value() const { return value_->value(); } |
| 1399 const AstValue* raw_value() const { return value_; } | 1383 const AstValue* raw_value() const { return value_; } |
| 1400 | 1384 |
| 1401 // Support for using Literal as a HashMap key. NOTE: Currently, this works | 1385 // Support for using Literal as a HashMap key. NOTE: Currently, this works |
| 1402 // only for string and number literals! | 1386 // only for string and number literals! |
| 1403 uint32_t Hash(); | 1387 uint32_t Hash(); |
| 1404 static bool Match(void* literal1, void* literal2); | 1388 static bool Match(void* literal1, void* literal2); |
| 1405 | 1389 |
| 1406 static int num_ids() { return parent_num_ids() + 1; } | 1390 static int num_ids() { return parent_num_ids() + 1; } |
| (...skipping 250 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1657 | 1641 |
| 1658 Handle<FixedArray> constant_elements_; | 1642 Handle<FixedArray> constant_elements_; |
| 1659 ZoneList<Expression*>* values_; | 1643 ZoneList<Expression*>* values_; |
| 1660 }; | 1644 }; |
| 1661 | 1645 |
| 1662 | 1646 |
| 1663 class VariableProxy FINAL : public Expression { | 1647 class VariableProxy FINAL : public Expression { |
| 1664 public: | 1648 public: |
| 1665 DECLARE_NODE_TYPE(VariableProxy) | 1649 DECLARE_NODE_TYPE(VariableProxy) |
| 1666 | 1650 |
| 1667 virtual bool IsValidReferenceExpression() const OVERRIDE { | 1651 bool IsValidReferenceExpression() const OVERRIDE { |
| 1668 return !is_resolved() || var()->IsValidReference(); | 1652 return !is_resolved() || var()->IsValidReference(); |
| 1669 } | 1653 } |
| 1670 | 1654 |
| 1671 bool IsArguments() const { return is_resolved() && var()->is_arguments(); } | 1655 bool IsArguments() const { return is_resolved() && var()->is_arguments(); } |
| 1672 | 1656 |
| 1673 Handle<String> name() const { return raw_name()->string(); } | 1657 Handle<String> name() const { return raw_name()->string(); } |
| 1674 const AstRawString* raw_name() const { | 1658 const AstRawString* raw_name() const { |
| 1675 return is_resolved() ? var_->raw_name() : raw_name_; | 1659 return is_resolved() ? var_->raw_name() : raw_name_; |
| 1676 } | 1660 } |
| 1677 | 1661 |
| (...skipping 26 matching lines...) Expand all Loading... |
| 1704 | 1688 |
| 1705 bool UsesVariableFeedbackSlot() const { | 1689 bool UsesVariableFeedbackSlot() const { |
| 1706 return FLAG_vector_ics && (var()->IsUnallocated() || var()->IsLookupSlot()); | 1690 return FLAG_vector_ics && (var()->IsUnallocated() || var()->IsLookupSlot()); |
| 1707 } | 1691 } |
| 1708 | 1692 |
| 1709 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( | 1693 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( |
| 1710 Isolate* isolate) OVERRIDE { | 1694 Isolate* isolate) OVERRIDE { |
| 1711 return FeedbackVectorRequirements(0, UsesVariableFeedbackSlot() ? 1 : 0); | 1695 return FeedbackVectorRequirements(0, UsesVariableFeedbackSlot() ? 1 : 0); |
| 1712 } | 1696 } |
| 1713 | 1697 |
| 1714 virtual void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { | 1698 void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { |
| 1715 variable_feedback_slot_ = slot; | 1699 variable_feedback_slot_ = slot; |
| 1716 } | 1700 } |
| 1717 virtual Code::Kind FeedbackICSlotKind(int index) OVERRIDE { | 1701 Code::Kind FeedbackICSlotKind(int index) OVERRIDE { return Code::LOAD_IC; } |
| 1718 return Code::LOAD_IC; | |
| 1719 } | |
| 1720 FeedbackVectorICSlot VariableFeedbackSlot() { | 1702 FeedbackVectorICSlot VariableFeedbackSlot() { |
| 1721 DCHECK(!UsesVariableFeedbackSlot() || !variable_feedback_slot_.IsInvalid()); | 1703 DCHECK(!UsesVariableFeedbackSlot() || !variable_feedback_slot_.IsInvalid()); |
| 1722 return variable_feedback_slot_; | 1704 return variable_feedback_slot_; |
| 1723 } | 1705 } |
| 1724 | 1706 |
| 1725 protected: | 1707 protected: |
| 1726 VariableProxy(Zone* zone, Variable* var, int position); | 1708 VariableProxy(Zone* zone, Variable* var, int position); |
| 1727 | 1709 |
| 1728 VariableProxy(Zone* zone, const AstRawString* name, bool is_this, | 1710 VariableProxy(Zone* zone, const AstRawString* name, bool is_this, |
| 1729 Interface* interface, int position); | 1711 Interface* interface, int position); |
| (...skipping 11 matching lines...) Expand all Loading... |
| 1741 Variable* var_; // if is_resolved_ | 1723 Variable* var_; // if is_resolved_ |
| 1742 }; | 1724 }; |
| 1743 Interface* interface_; | 1725 Interface* interface_; |
| 1744 }; | 1726 }; |
| 1745 | 1727 |
| 1746 | 1728 |
| 1747 class Property FINAL : public Expression { | 1729 class Property FINAL : public Expression { |
| 1748 public: | 1730 public: |
| 1749 DECLARE_NODE_TYPE(Property) | 1731 DECLARE_NODE_TYPE(Property) |
| 1750 | 1732 |
| 1751 virtual bool IsValidReferenceExpression() const OVERRIDE { return true; } | 1733 bool IsValidReferenceExpression() const OVERRIDE { return true; } |
| 1752 | 1734 |
| 1753 Expression* obj() const { return obj_; } | 1735 Expression* obj() const { return obj_; } |
| 1754 Expression* key() const { return key_; } | 1736 Expression* key() const { return key_; } |
| 1755 | 1737 |
| 1756 static int num_ids() { return parent_num_ids() + 2; } | 1738 static int num_ids() { return parent_num_ids() + 2; } |
| 1757 BailoutId LoadId() const { return BailoutId(local_id(0)); } | 1739 BailoutId LoadId() const { return BailoutId(local_id(0)); } |
| 1758 TypeFeedbackId PropertyFeedbackId() { return TypeFeedbackId(local_id(1)); } | 1740 TypeFeedbackId PropertyFeedbackId() { return TypeFeedbackId(local_id(1)); } |
| 1759 | 1741 |
| 1760 bool IsStringAccess() const { | 1742 bool IsStringAccess() const { |
| 1761 return IsStringAccessField::decode(bit_field_); | 1743 return IsStringAccessField::decode(bit_field_); |
| 1762 } | 1744 } |
| 1763 | 1745 |
| 1764 // Type feedback information. | 1746 // Type feedback information. |
| 1765 virtual bool IsMonomorphic() OVERRIDE { | 1747 bool IsMonomorphic() OVERRIDE { return receiver_types_.length() == 1; } |
| 1766 return receiver_types_.length() == 1; | 1748 SmallMapList* GetReceiverTypes() OVERRIDE { return &receiver_types_; } |
| 1767 } | 1749 KeyedAccessStoreMode GetStoreMode() const OVERRIDE { return STANDARD_STORE; } |
| 1768 virtual SmallMapList* GetReceiverTypes() OVERRIDE { | 1750 IcCheckType GetKeyType() const OVERRIDE { |
| 1769 return &receiver_types_; | |
| 1770 } | |
| 1771 virtual KeyedAccessStoreMode GetStoreMode() const OVERRIDE { | |
| 1772 return STANDARD_STORE; | |
| 1773 } | |
| 1774 virtual IcCheckType GetKeyType() const OVERRIDE { | |
| 1775 // PROPERTY key types currently aren't implemented for KeyedLoadICs. | 1751 // PROPERTY key types currently aren't implemented for KeyedLoadICs. |
| 1776 return ELEMENT; | 1752 return ELEMENT; |
| 1777 } | 1753 } |
| 1778 bool IsUninitialized() const { | 1754 bool IsUninitialized() const { |
| 1779 return !is_for_call() && HasNoTypeInformation(); | 1755 return !is_for_call() && HasNoTypeInformation(); |
| 1780 } | 1756 } |
| 1781 bool HasNoTypeInformation() const { | 1757 bool HasNoTypeInformation() const { |
| 1782 return IsUninitializedField::decode(bit_field_); | 1758 return IsUninitializedField::decode(bit_field_); |
| 1783 } | 1759 } |
| 1784 void set_is_uninitialized(bool b) { | 1760 void set_is_uninitialized(bool b) { |
| 1785 bit_field_ = IsUninitializedField::update(bit_field_, b); | 1761 bit_field_ = IsUninitializedField::update(bit_field_, b); |
| 1786 } | 1762 } |
| 1787 void set_is_string_access(bool b) { | 1763 void set_is_string_access(bool b) { |
| 1788 bit_field_ = IsStringAccessField::update(bit_field_, b); | 1764 bit_field_ = IsStringAccessField::update(bit_field_, b); |
| 1789 } | 1765 } |
| 1790 void mark_for_call() { | 1766 void mark_for_call() { |
| 1791 bit_field_ = IsForCallField::update(bit_field_, true); | 1767 bit_field_ = IsForCallField::update(bit_field_, true); |
| 1792 } | 1768 } |
| 1793 bool is_for_call() const { return IsForCallField::decode(bit_field_); } | 1769 bool is_for_call() const { return IsForCallField::decode(bit_field_); } |
| 1794 | 1770 |
| 1795 bool IsSuperAccess() { | 1771 bool IsSuperAccess() { |
| 1796 return obj()->IsSuperReference(); | 1772 return obj()->IsSuperReference(); |
| 1797 } | 1773 } |
| 1798 | 1774 |
| 1799 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( | 1775 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( |
| 1800 Isolate* isolate) OVERRIDE { | 1776 Isolate* isolate) OVERRIDE { |
| 1801 return FeedbackVectorRequirements(0, FLAG_vector_ics ? 1 : 0); | 1777 return FeedbackVectorRequirements(0, FLAG_vector_ics ? 1 : 0); |
| 1802 } | 1778 } |
| 1803 virtual void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { | 1779 void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { |
| 1804 property_feedback_slot_ = slot; | 1780 property_feedback_slot_ = slot; |
| 1805 } | 1781 } |
| 1806 virtual Code::Kind FeedbackICSlotKind(int index) OVERRIDE { | 1782 Code::Kind FeedbackICSlotKind(int index) OVERRIDE { |
| 1807 return key()->IsPropertyName() ? Code::LOAD_IC : Code::KEYED_LOAD_IC; | 1783 return key()->IsPropertyName() ? Code::LOAD_IC : Code::KEYED_LOAD_IC; |
| 1808 } | 1784 } |
| 1809 | 1785 |
| 1810 FeedbackVectorICSlot PropertyFeedbackSlot() const { | 1786 FeedbackVectorICSlot PropertyFeedbackSlot() const { |
| 1811 DCHECK(!FLAG_vector_ics || !property_feedback_slot_.IsInvalid()); | 1787 DCHECK(!FLAG_vector_ics || !property_feedback_slot_.IsInvalid()); |
| 1812 return property_feedback_slot_; | 1788 return property_feedback_slot_; |
| 1813 } | 1789 } |
| 1814 | 1790 |
| 1815 protected: | 1791 protected: |
| 1816 Property(Zone* zone, Expression* obj, Expression* key, int pos) | 1792 Property(Zone* zone, Expression* obj, Expression* key, int pos) |
| (...skipping 23 matching lines...) Expand all Loading... |
| 1840 class Call FINAL : public Expression { | 1816 class Call FINAL : public Expression { |
| 1841 public: | 1817 public: |
| 1842 DECLARE_NODE_TYPE(Call) | 1818 DECLARE_NODE_TYPE(Call) |
| 1843 | 1819 |
| 1844 Expression* expression() const { return expression_; } | 1820 Expression* expression() const { return expression_; } |
| 1845 ZoneList<Expression*>* arguments() const { return arguments_; } | 1821 ZoneList<Expression*>* arguments() const { return arguments_; } |
| 1846 | 1822 |
| 1847 // Type feedback information. | 1823 // Type feedback information. |
| 1848 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( | 1824 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( |
| 1849 Isolate* isolate) OVERRIDE; | 1825 Isolate* isolate) OVERRIDE; |
| 1850 virtual void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { | 1826 void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { |
| 1851 call_feedback_slot_ = slot; | 1827 call_feedback_slot_ = slot; |
| 1852 } | 1828 } |
| 1853 virtual Code::Kind FeedbackICSlotKind(int index) OVERRIDE { | 1829 Code::Kind FeedbackICSlotKind(int index) OVERRIDE { return Code::CALL_IC; } |
| 1854 return Code::CALL_IC; | |
| 1855 } | |
| 1856 | 1830 |
| 1857 bool HasCallFeedbackSlot() const { return !call_feedback_slot_.IsInvalid(); } | 1831 bool HasCallFeedbackSlot() const { return !call_feedback_slot_.IsInvalid(); } |
| 1858 FeedbackVectorICSlot CallFeedbackSlot() const { | 1832 FeedbackVectorICSlot CallFeedbackSlot() const { |
| 1859 DCHECK(!call_feedback_slot_.IsInvalid()); | 1833 DCHECK(!call_feedback_slot_.IsInvalid()); |
| 1860 return call_feedback_slot_; | 1834 return call_feedback_slot_; |
| 1861 } | 1835 } |
| 1862 | 1836 |
| 1863 virtual SmallMapList* GetReceiverTypes() OVERRIDE { | 1837 SmallMapList* GetReceiverTypes() OVERRIDE { |
| 1864 if (expression()->IsProperty()) { | 1838 if (expression()->IsProperty()) { |
| 1865 return expression()->AsProperty()->GetReceiverTypes(); | 1839 return expression()->AsProperty()->GetReceiverTypes(); |
| 1866 } | 1840 } |
| 1867 return NULL; | 1841 return NULL; |
| 1868 } | 1842 } |
| 1869 | 1843 |
| 1870 virtual bool IsMonomorphic() OVERRIDE { | 1844 bool IsMonomorphic() OVERRIDE { |
| 1871 if (expression()->IsProperty()) { | 1845 if (expression()->IsProperty()) { |
| 1872 return expression()->AsProperty()->IsMonomorphic(); | 1846 return expression()->AsProperty()->IsMonomorphic(); |
| 1873 } | 1847 } |
| 1874 return !target_.is_null(); | 1848 return !target_.is_null(); |
| 1875 } | 1849 } |
| 1876 | 1850 |
| 1877 bool global_call() const { | 1851 bool global_call() const { |
| 1878 VariableProxy* proxy = expression_->AsVariableProxy(); | 1852 VariableProxy* proxy = expression_->AsVariableProxy(); |
| 1879 return proxy != NULL && proxy->var()->IsUnallocated(); | 1853 return proxy != NULL && proxy->var()->IsUnallocated(); |
| 1880 } | 1854 } |
| (...skipping 76 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1957 DECLARE_NODE_TYPE(CallNew) | 1931 DECLARE_NODE_TYPE(CallNew) |
| 1958 | 1932 |
| 1959 Expression* expression() const { return expression_; } | 1933 Expression* expression() const { return expression_; } |
| 1960 ZoneList<Expression*>* arguments() const { return arguments_; } | 1934 ZoneList<Expression*>* arguments() const { return arguments_; } |
| 1961 | 1935 |
| 1962 // Type feedback information. | 1936 // Type feedback information. |
| 1963 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( | 1937 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( |
| 1964 Isolate* isolate) OVERRIDE { | 1938 Isolate* isolate) OVERRIDE { |
| 1965 return FeedbackVectorRequirements(FLAG_pretenuring_call_new ? 2 : 1, 0); | 1939 return FeedbackVectorRequirements(FLAG_pretenuring_call_new ? 2 : 1, 0); |
| 1966 } | 1940 } |
| 1967 virtual void SetFirstFeedbackSlot(FeedbackVectorSlot slot) OVERRIDE { | 1941 void SetFirstFeedbackSlot(FeedbackVectorSlot slot) OVERRIDE { |
| 1968 callnew_feedback_slot_ = slot; | 1942 callnew_feedback_slot_ = slot; |
| 1969 } | 1943 } |
| 1970 | 1944 |
| 1971 FeedbackVectorSlot CallNewFeedbackSlot() { | 1945 FeedbackVectorSlot CallNewFeedbackSlot() { |
| 1972 DCHECK(!callnew_feedback_slot_.IsInvalid()); | 1946 DCHECK(!callnew_feedback_slot_.IsInvalid()); |
| 1973 return callnew_feedback_slot_; | 1947 return callnew_feedback_slot_; |
| 1974 } | 1948 } |
| 1975 FeedbackVectorSlot AllocationSiteFeedbackSlot() { | 1949 FeedbackVectorSlot AllocationSiteFeedbackSlot() { |
| 1976 DCHECK(FLAG_pretenuring_call_new); | 1950 DCHECK(FLAG_pretenuring_call_new); |
| 1977 return CallNewFeedbackSlot().next(); | 1951 return CallNewFeedbackSlot().next(); |
| 1978 } | 1952 } |
| 1979 | 1953 |
| 1980 void RecordTypeFeedback(TypeFeedbackOracle* oracle); | 1954 void RecordTypeFeedback(TypeFeedbackOracle* oracle); |
| 1981 virtual bool IsMonomorphic() OVERRIDE { return is_monomorphic_; } | 1955 bool IsMonomorphic() OVERRIDE { return is_monomorphic_; } |
| 1982 Handle<JSFunction> target() const { return target_; } | 1956 Handle<JSFunction> target() const { return target_; } |
| 1983 Handle<AllocationSite> allocation_site() const { | 1957 Handle<AllocationSite> allocation_site() const { |
| 1984 return allocation_site_; | 1958 return allocation_site_; |
| 1985 } | 1959 } |
| 1986 | 1960 |
| 1987 static int num_ids() { return parent_num_ids() + 1; } | 1961 static int num_ids() { return parent_num_ids() + 1; } |
| 1988 static int feedback_slots() { return 1; } | 1962 static int feedback_slots() { return 1; } |
| 1989 BailoutId ReturnId() const { return BailoutId(local_id(0)); } | 1963 BailoutId ReturnId() const { return BailoutId(local_id(0)); } |
| 1990 | 1964 |
| 1991 protected: | 1965 protected: |
| (...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2026 bool is_jsruntime() const { return function_ == NULL; } | 2000 bool is_jsruntime() const { return function_ == NULL; } |
| 2027 | 2001 |
| 2028 // Type feedback information. | 2002 // Type feedback information. |
| 2029 bool HasCallRuntimeFeedbackSlot() const { | 2003 bool HasCallRuntimeFeedbackSlot() const { |
| 2030 return FLAG_vector_ics && is_jsruntime(); | 2004 return FLAG_vector_ics && is_jsruntime(); |
| 2031 } | 2005 } |
| 2032 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( | 2006 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( |
| 2033 Isolate* isolate) OVERRIDE { | 2007 Isolate* isolate) OVERRIDE { |
| 2034 return FeedbackVectorRequirements(0, HasCallRuntimeFeedbackSlot() ? 1 : 0); | 2008 return FeedbackVectorRequirements(0, HasCallRuntimeFeedbackSlot() ? 1 : 0); |
| 2035 } | 2009 } |
| 2036 virtual void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { | 2010 void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { |
| 2037 callruntime_feedback_slot_ = slot; | 2011 callruntime_feedback_slot_ = slot; |
| 2038 } | 2012 } |
| 2039 virtual Code::Kind FeedbackICSlotKind(int index) OVERRIDE { | 2013 Code::Kind FeedbackICSlotKind(int index) OVERRIDE { return Code::LOAD_IC; } |
| 2040 return Code::LOAD_IC; | |
| 2041 } | |
| 2042 | 2014 |
| 2043 FeedbackVectorICSlot CallRuntimeFeedbackSlot() { | 2015 FeedbackVectorICSlot CallRuntimeFeedbackSlot() { |
| 2044 DCHECK(!HasCallRuntimeFeedbackSlot() || | 2016 DCHECK(!HasCallRuntimeFeedbackSlot() || |
| 2045 !callruntime_feedback_slot_.IsInvalid()); | 2017 !callruntime_feedback_slot_.IsInvalid()); |
| 2046 return callruntime_feedback_slot_; | 2018 return callruntime_feedback_slot_; |
| 2047 } | 2019 } |
| 2048 | 2020 |
| 2049 static int num_ids() { return parent_num_ids() + 1; } | 2021 static int num_ids() { return parent_num_ids() + 1; } |
| 2050 TypeFeedbackId CallRuntimeFeedbackId() const { | 2022 TypeFeedbackId CallRuntimeFeedbackId() const { |
| 2051 return TypeFeedbackId(local_id(0)); | 2023 return TypeFeedbackId(local_id(0)); |
| (...skipping 48 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2100 | 2072 |
| 2101 Token::Value op_; | 2073 Token::Value op_; |
| 2102 Expression* expression_; | 2074 Expression* expression_; |
| 2103 }; | 2075 }; |
| 2104 | 2076 |
| 2105 | 2077 |
| 2106 class BinaryOperation FINAL : public Expression { | 2078 class BinaryOperation FINAL : public Expression { |
| 2107 public: | 2079 public: |
| 2108 DECLARE_NODE_TYPE(BinaryOperation) | 2080 DECLARE_NODE_TYPE(BinaryOperation) |
| 2109 | 2081 |
| 2110 virtual bool ResultOverwriteAllowed() const OVERRIDE; | 2082 bool ResultOverwriteAllowed() const OVERRIDE; |
| 2111 | 2083 |
| 2112 Token::Value op() const { return static_cast<Token::Value>(op_); } | 2084 Token::Value op() const { return static_cast<Token::Value>(op_); } |
| 2113 Expression* left() const { return left_; } | 2085 Expression* left() const { return left_; } |
| 2114 Expression* right() const { return right_; } | 2086 Expression* right() const { return right_; } |
| 2115 Handle<AllocationSite> allocation_site() const { return allocation_site_; } | 2087 Handle<AllocationSite> allocation_site() const { return allocation_site_; } |
| 2116 void set_allocation_site(Handle<AllocationSite> allocation_site) { | 2088 void set_allocation_site(Handle<AllocationSite> allocation_site) { |
| 2117 allocation_site_ = allocation_site; | 2089 allocation_site_ = allocation_site; |
| 2118 } | 2090 } |
| 2119 | 2091 |
| 2120 // The short-circuit logical operations need an AST ID for their | 2092 // The short-circuit logical operations need an AST ID for their |
| (...skipping 50 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2171 bool is_prefix() const { return IsPrefixField::decode(bit_field_); } | 2143 bool is_prefix() const { return IsPrefixField::decode(bit_field_); } |
| 2172 bool is_postfix() const { return !is_prefix(); } | 2144 bool is_postfix() const { return !is_prefix(); } |
| 2173 | 2145 |
| 2174 Token::Value op() const { return TokenField::decode(bit_field_); } | 2146 Token::Value op() const { return TokenField::decode(bit_field_); } |
| 2175 Token::Value binary_op() { | 2147 Token::Value binary_op() { |
| 2176 return (op() == Token::INC) ? Token::ADD : Token::SUB; | 2148 return (op() == Token::INC) ? Token::ADD : Token::SUB; |
| 2177 } | 2149 } |
| 2178 | 2150 |
| 2179 Expression* expression() const { return expression_; } | 2151 Expression* expression() const { return expression_; } |
| 2180 | 2152 |
| 2181 virtual bool IsMonomorphic() OVERRIDE { | 2153 bool IsMonomorphic() OVERRIDE { return receiver_types_.length() == 1; } |
| 2182 return receiver_types_.length() == 1; | 2154 SmallMapList* GetReceiverTypes() OVERRIDE { return &receiver_types_; } |
| 2183 } | 2155 IcCheckType GetKeyType() const OVERRIDE { |
| 2184 virtual SmallMapList* GetReceiverTypes() OVERRIDE { | |
| 2185 return &receiver_types_; | |
| 2186 } | |
| 2187 virtual IcCheckType GetKeyType() const OVERRIDE { | |
| 2188 return KeyTypeField::decode(bit_field_); | 2156 return KeyTypeField::decode(bit_field_); |
| 2189 } | 2157 } |
| 2190 virtual KeyedAccessStoreMode GetStoreMode() const OVERRIDE { | 2158 KeyedAccessStoreMode GetStoreMode() const OVERRIDE { |
| 2191 return StoreModeField::decode(bit_field_); | 2159 return StoreModeField::decode(bit_field_); |
| 2192 } | 2160 } |
| 2193 Type* type() const { return type_; } | 2161 Type* type() const { return type_; } |
| 2194 void set_key_type(IcCheckType type) { | 2162 void set_key_type(IcCheckType type) { |
| 2195 bit_field_ = KeyTypeField::update(bit_field_, type); | 2163 bit_field_ = KeyTypeField::update(bit_field_, type); |
| 2196 } | 2164 } |
| 2197 void set_store_mode(KeyedAccessStoreMode mode) { | 2165 void set_store_mode(KeyedAccessStoreMode mode) { |
| 2198 bit_field_ = StoreModeField::update(bit_field_, mode); | 2166 bit_field_ = StoreModeField::update(bit_field_, mode); |
| 2199 } | 2167 } |
| 2200 void set_type(Type* type) { type_ = type; } | 2168 void set_type(Type* type) { type_ = type; } |
| (...skipping 124 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2325 BinaryOperation* binary_operation() const { return binary_operation_; } | 2293 BinaryOperation* binary_operation() const { return binary_operation_; } |
| 2326 | 2294 |
| 2327 // This check relies on the definition order of token in token.h. | 2295 // This check relies on the definition order of token in token.h. |
| 2328 bool is_compound() const { return op() > Token::ASSIGN; } | 2296 bool is_compound() const { return op() > Token::ASSIGN; } |
| 2329 | 2297 |
| 2330 static int num_ids() { return parent_num_ids() + 2; } | 2298 static int num_ids() { return parent_num_ids() + 2; } |
| 2331 BailoutId AssignmentId() const { return BailoutId(local_id(0)); } | 2299 BailoutId AssignmentId() const { return BailoutId(local_id(0)); } |
| 2332 | 2300 |
| 2333 // Type feedback information. | 2301 // Type feedback information. |
| 2334 TypeFeedbackId AssignmentFeedbackId() { return TypeFeedbackId(local_id(1)); } | 2302 TypeFeedbackId AssignmentFeedbackId() { return TypeFeedbackId(local_id(1)); } |
| 2335 virtual bool IsMonomorphic() OVERRIDE { | 2303 bool IsMonomorphic() OVERRIDE { return receiver_types_.length() == 1; } |
| 2336 return receiver_types_.length() == 1; | |
| 2337 } | |
| 2338 bool IsUninitialized() const { | 2304 bool IsUninitialized() const { |
| 2339 return IsUninitializedField::decode(bit_field_); | 2305 return IsUninitializedField::decode(bit_field_); |
| 2340 } | 2306 } |
| 2341 bool HasNoTypeInformation() { | 2307 bool HasNoTypeInformation() { |
| 2342 return IsUninitializedField::decode(bit_field_); | 2308 return IsUninitializedField::decode(bit_field_); |
| 2343 } | 2309 } |
| 2344 virtual SmallMapList* GetReceiverTypes() OVERRIDE { | 2310 SmallMapList* GetReceiverTypes() OVERRIDE { return &receiver_types_; } |
| 2345 return &receiver_types_; | 2311 IcCheckType GetKeyType() const OVERRIDE { |
| 2346 } | |
| 2347 virtual IcCheckType GetKeyType() const OVERRIDE { | |
| 2348 return KeyTypeField::decode(bit_field_); | 2312 return KeyTypeField::decode(bit_field_); |
| 2349 } | 2313 } |
| 2350 virtual KeyedAccessStoreMode GetStoreMode() const OVERRIDE { | 2314 KeyedAccessStoreMode GetStoreMode() const OVERRIDE { |
| 2351 return StoreModeField::decode(bit_field_); | 2315 return StoreModeField::decode(bit_field_); |
| 2352 } | 2316 } |
| 2353 void set_is_uninitialized(bool b) { | 2317 void set_is_uninitialized(bool b) { |
| 2354 bit_field_ = IsUninitializedField::update(bit_field_, b); | 2318 bit_field_ = IsUninitializedField::update(bit_field_, b); |
| 2355 } | 2319 } |
| 2356 void set_key_type(IcCheckType key_type) { | 2320 void set_key_type(IcCheckType key_type) { |
| 2357 bit_field_ = KeyTypeField::update(bit_field_, key_type); | 2321 bit_field_ = KeyTypeField::update(bit_field_, key_type); |
| 2358 } | 2322 } |
| 2359 void set_store_mode(KeyedAccessStoreMode mode) { | 2323 void set_store_mode(KeyedAccessStoreMode mode) { |
| 2360 bit_field_ = StoreModeField::update(bit_field_, mode); | 2324 bit_field_ = StoreModeField::update(bit_field_, mode); |
| (...skipping 50 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2411 } | 2375 } |
| 2412 | 2376 |
| 2413 // Type feedback information. | 2377 // Type feedback information. |
| 2414 bool HasFeedbackSlots() const { | 2378 bool HasFeedbackSlots() const { |
| 2415 return FLAG_vector_ics && (yield_kind() == kDelegating); | 2379 return FLAG_vector_ics && (yield_kind() == kDelegating); |
| 2416 } | 2380 } |
| 2417 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( | 2381 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( |
| 2418 Isolate* isolate) OVERRIDE { | 2382 Isolate* isolate) OVERRIDE { |
| 2419 return FeedbackVectorRequirements(0, HasFeedbackSlots() ? 3 : 0); | 2383 return FeedbackVectorRequirements(0, HasFeedbackSlots() ? 3 : 0); |
| 2420 } | 2384 } |
| 2421 virtual void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { | 2385 void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { |
| 2422 yield_first_feedback_slot_ = slot; | 2386 yield_first_feedback_slot_ = slot; |
| 2423 } | 2387 } |
| 2424 virtual Code::Kind FeedbackICSlotKind(int index) OVERRIDE { | 2388 Code::Kind FeedbackICSlotKind(int index) OVERRIDE { |
| 2425 return index == 0 ? Code::KEYED_LOAD_IC : Code::LOAD_IC; | 2389 return index == 0 ? Code::KEYED_LOAD_IC : Code::LOAD_IC; |
| 2426 } | 2390 } |
| 2427 | 2391 |
| 2428 FeedbackVectorICSlot KeyedLoadFeedbackSlot() { | 2392 FeedbackVectorICSlot KeyedLoadFeedbackSlot() { |
| 2429 DCHECK(!HasFeedbackSlots() || !yield_first_feedback_slot_.IsInvalid()); | 2393 DCHECK(!HasFeedbackSlots() || !yield_first_feedback_slot_.IsInvalid()); |
| 2430 return yield_first_feedback_slot_; | 2394 return yield_first_feedback_slot_; |
| 2431 } | 2395 } |
| 2432 | 2396 |
| 2433 FeedbackVectorICSlot DoneFeedbackSlot() { | 2397 FeedbackVectorICSlot DoneFeedbackSlot() { |
| 2434 return KeyedLoadFeedbackSlot().next(); | 2398 return KeyedLoadFeedbackSlot().next(); |
| (...skipping 316 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2751 VariableProxy* this_var() const { return this_var_; } | 2715 VariableProxy* this_var() const { return this_var_; } |
| 2752 | 2716 |
| 2753 static int num_ids() { return parent_num_ids() + 1; } | 2717 static int num_ids() { return parent_num_ids() + 1; } |
| 2754 TypeFeedbackId HomeObjectFeedbackId() { return TypeFeedbackId(local_id(0)); } | 2718 TypeFeedbackId HomeObjectFeedbackId() { return TypeFeedbackId(local_id(0)); } |
| 2755 | 2719 |
| 2756 // Type feedback information. | 2720 // Type feedback information. |
| 2757 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( | 2721 virtual FeedbackVectorRequirements ComputeFeedbackRequirements( |
| 2758 Isolate* isolate) OVERRIDE { | 2722 Isolate* isolate) OVERRIDE { |
| 2759 return FeedbackVectorRequirements(0, FLAG_vector_ics ? 1 : 0); | 2723 return FeedbackVectorRequirements(0, FLAG_vector_ics ? 1 : 0); |
| 2760 } | 2724 } |
| 2761 virtual void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { | 2725 void SetFirstFeedbackICSlot(FeedbackVectorICSlot slot) OVERRIDE { |
| 2762 homeobject_feedback_slot_ = slot; | 2726 homeobject_feedback_slot_ = slot; |
| 2763 } | 2727 } |
| 2764 virtual Code::Kind FeedbackICSlotKind(int index) OVERRIDE { | 2728 Code::Kind FeedbackICSlotKind(int index) OVERRIDE { return Code::LOAD_IC; } |
| 2765 return Code::LOAD_IC; | |
| 2766 } | |
| 2767 | 2729 |
| 2768 FeedbackVectorICSlot HomeObjectFeedbackSlot() { | 2730 FeedbackVectorICSlot HomeObjectFeedbackSlot() { |
| 2769 DCHECK(!FLAG_vector_ics || !homeobject_feedback_slot_.IsInvalid()); | 2731 DCHECK(!FLAG_vector_ics || !homeobject_feedback_slot_.IsInvalid()); |
| 2770 return homeobject_feedback_slot_; | 2732 return homeobject_feedback_slot_; |
| 2771 } | 2733 } |
| 2772 | 2734 |
| 2773 protected: | 2735 protected: |
| 2774 SuperReference(Zone* zone, VariableProxy* this_var, int pos) | 2736 SuperReference(Zone* zone, VariableProxy* this_var, int pos) |
| 2775 : Expression(zone, pos), | 2737 : Expression(zone, pos), |
| 2776 this_var_(this_var), | 2738 this_var_(this_var), |
| (...skipping 48 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2825 virtual RegExp##Name* As##Name(); \ | 2787 virtual RegExp##Name* As##Name(); \ |
| 2826 virtual bool Is##Name(); | 2788 virtual bool Is##Name(); |
| 2827 FOR_EACH_REG_EXP_TREE_TYPE(MAKE_ASTYPE) | 2789 FOR_EACH_REG_EXP_TREE_TYPE(MAKE_ASTYPE) |
| 2828 #undef MAKE_ASTYPE | 2790 #undef MAKE_ASTYPE |
| 2829 }; | 2791 }; |
| 2830 | 2792 |
| 2831 | 2793 |
| 2832 class RegExpDisjunction FINAL : public RegExpTree { | 2794 class RegExpDisjunction FINAL : public RegExpTree { |
| 2833 public: | 2795 public: |
| 2834 explicit RegExpDisjunction(ZoneList<RegExpTree*>* alternatives); | 2796 explicit RegExpDisjunction(ZoneList<RegExpTree*>* alternatives); |
| 2835 virtual void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; | 2797 void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; |
| 2836 virtual RegExpNode* ToNode(RegExpCompiler* compiler, | 2798 virtual RegExpNode* ToNode(RegExpCompiler* compiler, |
| 2837 RegExpNode* on_success) OVERRIDE; | 2799 RegExpNode* on_success) OVERRIDE; |
| 2838 virtual RegExpDisjunction* AsDisjunction() OVERRIDE; | 2800 RegExpDisjunction* AsDisjunction() OVERRIDE; |
| 2839 virtual Interval CaptureRegisters() OVERRIDE; | 2801 Interval CaptureRegisters() OVERRIDE; |
| 2840 virtual bool IsDisjunction() OVERRIDE; | 2802 bool IsDisjunction() OVERRIDE; |
| 2841 virtual bool IsAnchoredAtStart() OVERRIDE; | 2803 bool IsAnchoredAtStart() OVERRIDE; |
| 2842 virtual bool IsAnchoredAtEnd() OVERRIDE; | 2804 bool IsAnchoredAtEnd() OVERRIDE; |
| 2843 virtual int min_match() OVERRIDE { return min_match_; } | 2805 int min_match() OVERRIDE { return min_match_; } |
| 2844 virtual int max_match() OVERRIDE { return max_match_; } | 2806 int max_match() OVERRIDE { return max_match_; } |
| 2845 ZoneList<RegExpTree*>* alternatives() { return alternatives_; } | 2807 ZoneList<RegExpTree*>* alternatives() { return alternatives_; } |
| 2846 private: | 2808 private: |
| 2847 ZoneList<RegExpTree*>* alternatives_; | 2809 ZoneList<RegExpTree*>* alternatives_; |
| 2848 int min_match_; | 2810 int min_match_; |
| 2849 int max_match_; | 2811 int max_match_; |
| 2850 }; | 2812 }; |
| 2851 | 2813 |
| 2852 | 2814 |
| 2853 class RegExpAlternative FINAL : public RegExpTree { | 2815 class RegExpAlternative FINAL : public RegExpTree { |
| 2854 public: | 2816 public: |
| 2855 explicit RegExpAlternative(ZoneList<RegExpTree*>* nodes); | 2817 explicit RegExpAlternative(ZoneList<RegExpTree*>* nodes); |
| 2856 virtual void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; | 2818 void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; |
| 2857 virtual RegExpNode* ToNode(RegExpCompiler* compiler, | 2819 virtual RegExpNode* ToNode(RegExpCompiler* compiler, |
| 2858 RegExpNode* on_success) OVERRIDE; | 2820 RegExpNode* on_success) OVERRIDE; |
| 2859 virtual RegExpAlternative* AsAlternative() OVERRIDE; | 2821 RegExpAlternative* AsAlternative() OVERRIDE; |
| 2860 virtual Interval CaptureRegisters() OVERRIDE; | 2822 Interval CaptureRegisters() OVERRIDE; |
| 2861 virtual bool IsAlternative() OVERRIDE; | 2823 bool IsAlternative() OVERRIDE; |
| 2862 virtual bool IsAnchoredAtStart() OVERRIDE; | 2824 bool IsAnchoredAtStart() OVERRIDE; |
| 2863 virtual bool IsAnchoredAtEnd() OVERRIDE; | 2825 bool IsAnchoredAtEnd() OVERRIDE; |
| 2864 virtual int min_match() OVERRIDE { return min_match_; } | 2826 int min_match() OVERRIDE { return min_match_; } |
| 2865 virtual int max_match() OVERRIDE { return max_match_; } | 2827 int max_match() OVERRIDE { return max_match_; } |
| 2866 ZoneList<RegExpTree*>* nodes() { return nodes_; } | 2828 ZoneList<RegExpTree*>* nodes() { return nodes_; } |
| 2867 private: | 2829 private: |
| 2868 ZoneList<RegExpTree*>* nodes_; | 2830 ZoneList<RegExpTree*>* nodes_; |
| 2869 int min_match_; | 2831 int min_match_; |
| 2870 int max_match_; | 2832 int max_match_; |
| 2871 }; | 2833 }; |
| 2872 | 2834 |
| 2873 | 2835 |
| 2874 class RegExpAssertion FINAL : public RegExpTree { | 2836 class RegExpAssertion FINAL : public RegExpTree { |
| 2875 public: | 2837 public: |
| 2876 enum AssertionType { | 2838 enum AssertionType { |
| 2877 START_OF_LINE, | 2839 START_OF_LINE, |
| 2878 START_OF_INPUT, | 2840 START_OF_INPUT, |
| 2879 END_OF_LINE, | 2841 END_OF_LINE, |
| 2880 END_OF_INPUT, | 2842 END_OF_INPUT, |
| 2881 BOUNDARY, | 2843 BOUNDARY, |
| 2882 NON_BOUNDARY | 2844 NON_BOUNDARY |
| 2883 }; | 2845 }; |
| 2884 explicit RegExpAssertion(AssertionType type) : assertion_type_(type) { } | 2846 explicit RegExpAssertion(AssertionType type) : assertion_type_(type) { } |
| 2885 virtual void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; | 2847 void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; |
| 2886 virtual RegExpNode* ToNode(RegExpCompiler* compiler, | 2848 virtual RegExpNode* ToNode(RegExpCompiler* compiler, |
| 2887 RegExpNode* on_success) OVERRIDE; | 2849 RegExpNode* on_success) OVERRIDE; |
| 2888 virtual RegExpAssertion* AsAssertion() OVERRIDE; | 2850 RegExpAssertion* AsAssertion() OVERRIDE; |
| 2889 virtual bool IsAssertion() OVERRIDE; | 2851 bool IsAssertion() OVERRIDE; |
| 2890 virtual bool IsAnchoredAtStart() OVERRIDE; | 2852 bool IsAnchoredAtStart() OVERRIDE; |
| 2891 virtual bool IsAnchoredAtEnd() OVERRIDE; | 2853 bool IsAnchoredAtEnd() OVERRIDE; |
| 2892 virtual int min_match() OVERRIDE { return 0; } | 2854 int min_match() OVERRIDE { return 0; } |
| 2893 virtual int max_match() OVERRIDE { return 0; } | 2855 int max_match() OVERRIDE { return 0; } |
| 2894 AssertionType assertion_type() { return assertion_type_; } | 2856 AssertionType assertion_type() { return assertion_type_; } |
| 2895 private: | 2857 private: |
| 2896 AssertionType assertion_type_; | 2858 AssertionType assertion_type_; |
| 2897 }; | 2859 }; |
| 2898 | 2860 |
| 2899 | 2861 |
| 2900 class CharacterSet FINAL BASE_EMBEDDED { | 2862 class CharacterSet FINAL BASE_EMBEDDED { |
| 2901 public: | 2863 public: |
| 2902 explicit CharacterSet(uc16 standard_set_type) | 2864 explicit CharacterSet(uc16 standard_set_type) |
| 2903 : ranges_(NULL), | 2865 : ranges_(NULL), |
| (...skipping 17 matching lines...) Expand all Loading... |
| 2921 | 2883 |
| 2922 | 2884 |
| 2923 class RegExpCharacterClass FINAL : public RegExpTree { | 2885 class RegExpCharacterClass FINAL : public RegExpTree { |
| 2924 public: | 2886 public: |
| 2925 RegExpCharacterClass(ZoneList<CharacterRange>* ranges, bool is_negated) | 2887 RegExpCharacterClass(ZoneList<CharacterRange>* ranges, bool is_negated) |
| 2926 : set_(ranges), | 2888 : set_(ranges), |
| 2927 is_negated_(is_negated) { } | 2889 is_negated_(is_negated) { } |
| 2928 explicit RegExpCharacterClass(uc16 type) | 2890 explicit RegExpCharacterClass(uc16 type) |
| 2929 : set_(type), | 2891 : set_(type), |
| 2930 is_negated_(false) { } | 2892 is_negated_(false) { } |
| 2931 virtual void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; | 2893 void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; |
| 2932 virtual RegExpNode* ToNode(RegExpCompiler* compiler, | 2894 virtual RegExpNode* ToNode(RegExpCompiler* compiler, |
| 2933 RegExpNode* on_success) OVERRIDE; | 2895 RegExpNode* on_success) OVERRIDE; |
| 2934 virtual RegExpCharacterClass* AsCharacterClass() OVERRIDE; | 2896 RegExpCharacterClass* AsCharacterClass() OVERRIDE; |
| 2935 virtual bool IsCharacterClass() OVERRIDE; | 2897 bool IsCharacterClass() OVERRIDE; |
| 2936 virtual bool IsTextElement() OVERRIDE { return true; } | 2898 bool IsTextElement() OVERRIDE { return true; } |
| 2937 virtual int min_match() OVERRIDE { return 1; } | 2899 int min_match() OVERRIDE { return 1; } |
| 2938 virtual int max_match() OVERRIDE { return 1; } | 2900 int max_match() OVERRIDE { return 1; } |
| 2939 virtual void AppendToText(RegExpText* text, Zone* zone) OVERRIDE; | 2901 void AppendToText(RegExpText* text, Zone* zone) OVERRIDE; |
| 2940 CharacterSet character_set() { return set_; } | 2902 CharacterSet character_set() { return set_; } |
| 2941 // TODO(lrn): Remove need for complex version if is_standard that | 2903 // TODO(lrn): Remove need for complex version if is_standard that |
| 2942 // recognizes a mangled standard set and just do { return set_.is_special(); } | 2904 // recognizes a mangled standard set and just do { return set_.is_special(); } |
| 2943 bool is_standard(Zone* zone); | 2905 bool is_standard(Zone* zone); |
| 2944 // Returns a value representing the standard character set if is_standard() | 2906 // Returns a value representing the standard character set if is_standard() |
| 2945 // returns true. | 2907 // returns true. |
| 2946 // Currently used values are: | 2908 // Currently used values are: |
| 2947 // s : unicode whitespace | 2909 // s : unicode whitespace |
| 2948 // S : unicode non-whitespace | 2910 // S : unicode non-whitespace |
| 2949 // w : ASCII word character (digit, letter, underscore) | 2911 // w : ASCII word character (digit, letter, underscore) |
| 2950 // W : non-ASCII word character | 2912 // W : non-ASCII word character |
| 2951 // d : ASCII digit | 2913 // d : ASCII digit |
| 2952 // D : non-ASCII digit | 2914 // D : non-ASCII digit |
| 2953 // . : non-unicode non-newline | 2915 // . : non-unicode non-newline |
| 2954 // * : All characters | 2916 // * : All characters |
| 2955 uc16 standard_type() { return set_.standard_set_type(); } | 2917 uc16 standard_type() { return set_.standard_set_type(); } |
| 2956 ZoneList<CharacterRange>* ranges(Zone* zone) { return set_.ranges(zone); } | 2918 ZoneList<CharacterRange>* ranges(Zone* zone) { return set_.ranges(zone); } |
| 2957 bool is_negated() { return is_negated_; } | 2919 bool is_negated() { return is_negated_; } |
| 2958 | 2920 |
| 2959 private: | 2921 private: |
| 2960 CharacterSet set_; | 2922 CharacterSet set_; |
| 2961 bool is_negated_; | 2923 bool is_negated_; |
| 2962 }; | 2924 }; |
| 2963 | 2925 |
| 2964 | 2926 |
| 2965 class RegExpAtom FINAL : public RegExpTree { | 2927 class RegExpAtom FINAL : public RegExpTree { |
| 2966 public: | 2928 public: |
| 2967 explicit RegExpAtom(Vector<const uc16> data) : data_(data) { } | 2929 explicit RegExpAtom(Vector<const uc16> data) : data_(data) { } |
| 2968 virtual void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; | 2930 void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; |
| 2969 virtual RegExpNode* ToNode(RegExpCompiler* compiler, | 2931 virtual RegExpNode* ToNode(RegExpCompiler* compiler, |
| 2970 RegExpNode* on_success) OVERRIDE; | 2932 RegExpNode* on_success) OVERRIDE; |
| 2971 virtual RegExpAtom* AsAtom() OVERRIDE; | 2933 RegExpAtom* AsAtom() OVERRIDE; |
| 2972 virtual bool IsAtom() OVERRIDE; | 2934 bool IsAtom() OVERRIDE; |
| 2973 virtual bool IsTextElement() OVERRIDE { return true; } | 2935 bool IsTextElement() OVERRIDE { return true; } |
| 2974 virtual int min_match() OVERRIDE { return data_.length(); } | 2936 int min_match() OVERRIDE { return data_.length(); } |
| 2975 virtual int max_match() OVERRIDE { return data_.length(); } | 2937 int max_match() OVERRIDE { return data_.length(); } |
| 2976 virtual void AppendToText(RegExpText* text, Zone* zone) OVERRIDE; | 2938 void AppendToText(RegExpText* text, Zone* zone) OVERRIDE; |
| 2977 Vector<const uc16> data() { return data_; } | 2939 Vector<const uc16> data() { return data_; } |
| 2978 int length() { return data_.length(); } | 2940 int length() { return data_.length(); } |
| 2979 private: | 2941 private: |
| 2980 Vector<const uc16> data_; | 2942 Vector<const uc16> data_; |
| 2981 }; | 2943 }; |
| 2982 | 2944 |
| 2983 | 2945 |
| 2984 class RegExpText FINAL : public RegExpTree { | 2946 class RegExpText FINAL : public RegExpTree { |
| 2985 public: | 2947 public: |
| 2986 explicit RegExpText(Zone* zone) : elements_(2, zone), length_(0) {} | 2948 explicit RegExpText(Zone* zone) : elements_(2, zone), length_(0) {} |
| 2987 virtual void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; | 2949 void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; |
| 2988 virtual RegExpNode* ToNode(RegExpCompiler* compiler, | 2950 virtual RegExpNode* ToNode(RegExpCompiler* compiler, |
| 2989 RegExpNode* on_success) OVERRIDE; | 2951 RegExpNode* on_success) OVERRIDE; |
| 2990 virtual RegExpText* AsText() OVERRIDE; | 2952 RegExpText* AsText() OVERRIDE; |
| 2991 virtual bool IsText() OVERRIDE; | 2953 bool IsText() OVERRIDE; |
| 2992 virtual bool IsTextElement() OVERRIDE { return true; } | 2954 bool IsTextElement() OVERRIDE { return true; } |
| 2993 virtual int min_match() OVERRIDE { return length_; } | 2955 int min_match() OVERRIDE { return length_; } |
| 2994 virtual int max_match() OVERRIDE { return length_; } | 2956 int max_match() OVERRIDE { return length_; } |
| 2995 virtual void AppendToText(RegExpText* text, Zone* zone) OVERRIDE; | 2957 void AppendToText(RegExpText* text, Zone* zone) OVERRIDE; |
| 2996 void AddElement(TextElement elm, Zone* zone) { | 2958 void AddElement(TextElement elm, Zone* zone) { |
| 2997 elements_.Add(elm, zone); | 2959 elements_.Add(elm, zone); |
| 2998 length_ += elm.length(); | 2960 length_ += elm.length(); |
| 2999 } | 2961 } |
| 3000 ZoneList<TextElement>* elements() { return &elements_; } | 2962 ZoneList<TextElement>* elements() { return &elements_; } |
| 3001 private: | 2963 private: |
| 3002 ZoneList<TextElement> elements_; | 2964 ZoneList<TextElement> elements_; |
| 3003 int length_; | 2965 int length_; |
| 3004 }; | 2966 }; |
| 3005 | 2967 |
| 3006 | 2968 |
| 3007 class RegExpQuantifier FINAL : public RegExpTree { | 2969 class RegExpQuantifier FINAL : public RegExpTree { |
| 3008 public: | 2970 public: |
| 3009 enum QuantifierType { GREEDY, NON_GREEDY, POSSESSIVE }; | 2971 enum QuantifierType { GREEDY, NON_GREEDY, POSSESSIVE }; |
| 3010 RegExpQuantifier(int min, int max, QuantifierType type, RegExpTree* body) | 2972 RegExpQuantifier(int min, int max, QuantifierType type, RegExpTree* body) |
| 3011 : body_(body), | 2973 : body_(body), |
| 3012 min_(min), | 2974 min_(min), |
| 3013 max_(max), | 2975 max_(max), |
| 3014 min_match_(min * body->min_match()), | 2976 min_match_(min * body->min_match()), |
| 3015 quantifier_type_(type) { | 2977 quantifier_type_(type) { |
| 3016 if (max > 0 && body->max_match() > kInfinity / max) { | 2978 if (max > 0 && body->max_match() > kInfinity / max) { |
| 3017 max_match_ = kInfinity; | 2979 max_match_ = kInfinity; |
| 3018 } else { | 2980 } else { |
| 3019 max_match_ = max * body->max_match(); | 2981 max_match_ = max * body->max_match(); |
| 3020 } | 2982 } |
| 3021 } | 2983 } |
| 3022 virtual void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; | 2984 void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; |
| 3023 virtual RegExpNode* ToNode(RegExpCompiler* compiler, | 2985 virtual RegExpNode* ToNode(RegExpCompiler* compiler, |
| 3024 RegExpNode* on_success) OVERRIDE; | 2986 RegExpNode* on_success) OVERRIDE; |
| 3025 static RegExpNode* ToNode(int min, | 2987 static RegExpNode* ToNode(int min, |
| 3026 int max, | 2988 int max, |
| 3027 bool is_greedy, | 2989 bool is_greedy, |
| 3028 RegExpTree* body, | 2990 RegExpTree* body, |
| 3029 RegExpCompiler* compiler, | 2991 RegExpCompiler* compiler, |
| 3030 RegExpNode* on_success, | 2992 RegExpNode* on_success, |
| 3031 bool not_at_start = false); | 2993 bool not_at_start = false); |
| 3032 virtual RegExpQuantifier* AsQuantifier() OVERRIDE; | 2994 RegExpQuantifier* AsQuantifier() OVERRIDE; |
| 3033 virtual Interval CaptureRegisters() OVERRIDE; | 2995 Interval CaptureRegisters() OVERRIDE; |
| 3034 virtual bool IsQuantifier() OVERRIDE; | 2996 bool IsQuantifier() OVERRIDE; |
| 3035 virtual int min_match() OVERRIDE { return min_match_; } | 2997 int min_match() OVERRIDE { return min_match_; } |
| 3036 virtual int max_match() OVERRIDE { return max_match_; } | 2998 int max_match() OVERRIDE { return max_match_; } |
| 3037 int min() { return min_; } | 2999 int min() { return min_; } |
| 3038 int max() { return max_; } | 3000 int max() { return max_; } |
| 3039 bool is_possessive() { return quantifier_type_ == POSSESSIVE; } | 3001 bool is_possessive() { return quantifier_type_ == POSSESSIVE; } |
| 3040 bool is_non_greedy() { return quantifier_type_ == NON_GREEDY; } | 3002 bool is_non_greedy() { return quantifier_type_ == NON_GREEDY; } |
| 3041 bool is_greedy() { return quantifier_type_ == GREEDY; } | 3003 bool is_greedy() { return quantifier_type_ == GREEDY; } |
| 3042 RegExpTree* body() { return body_; } | 3004 RegExpTree* body() { return body_; } |
| 3043 | 3005 |
| 3044 private: | 3006 private: |
| 3045 RegExpTree* body_; | 3007 RegExpTree* body_; |
| 3046 int min_; | 3008 int min_; |
| 3047 int max_; | 3009 int max_; |
| 3048 int min_match_; | 3010 int min_match_; |
| 3049 int max_match_; | 3011 int max_match_; |
| 3050 QuantifierType quantifier_type_; | 3012 QuantifierType quantifier_type_; |
| 3051 }; | 3013 }; |
| 3052 | 3014 |
| 3053 | 3015 |
| 3054 class RegExpCapture FINAL : public RegExpTree { | 3016 class RegExpCapture FINAL : public RegExpTree { |
| 3055 public: | 3017 public: |
| 3056 explicit RegExpCapture(RegExpTree* body, int index) | 3018 explicit RegExpCapture(RegExpTree* body, int index) |
| 3057 : body_(body), index_(index) { } | 3019 : body_(body), index_(index) { } |
| 3058 virtual void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; | 3020 void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; |
| 3059 virtual RegExpNode* ToNode(RegExpCompiler* compiler, | 3021 virtual RegExpNode* ToNode(RegExpCompiler* compiler, |
| 3060 RegExpNode* on_success) OVERRIDE; | 3022 RegExpNode* on_success) OVERRIDE; |
| 3061 static RegExpNode* ToNode(RegExpTree* body, | 3023 static RegExpNode* ToNode(RegExpTree* body, |
| 3062 int index, | 3024 int index, |
| 3063 RegExpCompiler* compiler, | 3025 RegExpCompiler* compiler, |
| 3064 RegExpNode* on_success); | 3026 RegExpNode* on_success); |
| 3065 virtual RegExpCapture* AsCapture() OVERRIDE; | 3027 RegExpCapture* AsCapture() OVERRIDE; |
| 3066 virtual bool IsAnchoredAtStart() OVERRIDE; | 3028 bool IsAnchoredAtStart() OVERRIDE; |
| 3067 virtual bool IsAnchoredAtEnd() OVERRIDE; | 3029 bool IsAnchoredAtEnd() OVERRIDE; |
| 3068 virtual Interval CaptureRegisters() OVERRIDE; | 3030 Interval CaptureRegisters() OVERRIDE; |
| 3069 virtual bool IsCapture() OVERRIDE; | 3031 bool IsCapture() OVERRIDE; |
| 3070 virtual int min_match() OVERRIDE { return body_->min_match(); } | 3032 int min_match() OVERRIDE { return body_->min_match(); } |
| 3071 virtual int max_match() OVERRIDE { return body_->max_match(); } | 3033 int max_match() OVERRIDE { return body_->max_match(); } |
| 3072 RegExpTree* body() { return body_; } | 3034 RegExpTree* body() { return body_; } |
| 3073 int index() { return index_; } | 3035 int index() { return index_; } |
| 3074 static int StartRegister(int index) { return index * 2; } | 3036 static int StartRegister(int index) { return index * 2; } |
| 3075 static int EndRegister(int index) { return index * 2 + 1; } | 3037 static int EndRegister(int index) { return index * 2 + 1; } |
| 3076 | 3038 |
| 3077 private: | 3039 private: |
| 3078 RegExpTree* body_; | 3040 RegExpTree* body_; |
| 3079 int index_; | 3041 int index_; |
| 3080 }; | 3042 }; |
| 3081 | 3043 |
| 3082 | 3044 |
| 3083 class RegExpLookahead FINAL : public RegExpTree { | 3045 class RegExpLookahead FINAL : public RegExpTree { |
| 3084 public: | 3046 public: |
| 3085 RegExpLookahead(RegExpTree* body, | 3047 RegExpLookahead(RegExpTree* body, |
| 3086 bool is_positive, | 3048 bool is_positive, |
| 3087 int capture_count, | 3049 int capture_count, |
| 3088 int capture_from) | 3050 int capture_from) |
| 3089 : body_(body), | 3051 : body_(body), |
| 3090 is_positive_(is_positive), | 3052 is_positive_(is_positive), |
| 3091 capture_count_(capture_count), | 3053 capture_count_(capture_count), |
| 3092 capture_from_(capture_from) { } | 3054 capture_from_(capture_from) { } |
| 3093 | 3055 |
| 3094 virtual void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; | 3056 void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; |
| 3095 virtual RegExpNode* ToNode(RegExpCompiler* compiler, | 3057 virtual RegExpNode* ToNode(RegExpCompiler* compiler, |
| 3096 RegExpNode* on_success) OVERRIDE; | 3058 RegExpNode* on_success) OVERRIDE; |
| 3097 virtual RegExpLookahead* AsLookahead() OVERRIDE; | 3059 RegExpLookahead* AsLookahead() OVERRIDE; |
| 3098 virtual Interval CaptureRegisters() OVERRIDE; | 3060 Interval CaptureRegisters() OVERRIDE; |
| 3099 virtual bool IsLookahead() OVERRIDE; | 3061 bool IsLookahead() OVERRIDE; |
| 3100 virtual bool IsAnchoredAtStart() OVERRIDE; | 3062 bool IsAnchoredAtStart() OVERRIDE; |
| 3101 virtual int min_match() OVERRIDE { return 0; } | 3063 int min_match() OVERRIDE { return 0; } |
| 3102 virtual int max_match() OVERRIDE { return 0; } | 3064 int max_match() OVERRIDE { return 0; } |
| 3103 RegExpTree* body() { return body_; } | 3065 RegExpTree* body() { return body_; } |
| 3104 bool is_positive() { return is_positive_; } | 3066 bool is_positive() { return is_positive_; } |
| 3105 int capture_count() { return capture_count_; } | 3067 int capture_count() { return capture_count_; } |
| 3106 int capture_from() { return capture_from_; } | 3068 int capture_from() { return capture_from_; } |
| 3107 | 3069 |
| 3108 private: | 3070 private: |
| 3109 RegExpTree* body_; | 3071 RegExpTree* body_; |
| 3110 bool is_positive_; | 3072 bool is_positive_; |
| 3111 int capture_count_; | 3073 int capture_count_; |
| 3112 int capture_from_; | 3074 int capture_from_; |
| 3113 }; | 3075 }; |
| 3114 | 3076 |
| 3115 | 3077 |
| 3116 class RegExpBackReference FINAL : public RegExpTree { | 3078 class RegExpBackReference FINAL : public RegExpTree { |
| 3117 public: | 3079 public: |
| 3118 explicit RegExpBackReference(RegExpCapture* capture) | 3080 explicit RegExpBackReference(RegExpCapture* capture) |
| 3119 : capture_(capture) { } | 3081 : capture_(capture) { } |
| 3120 virtual void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; | 3082 void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; |
| 3121 virtual RegExpNode* ToNode(RegExpCompiler* compiler, | 3083 virtual RegExpNode* ToNode(RegExpCompiler* compiler, |
| 3122 RegExpNode* on_success) OVERRIDE; | 3084 RegExpNode* on_success) OVERRIDE; |
| 3123 virtual RegExpBackReference* AsBackReference() OVERRIDE; | 3085 RegExpBackReference* AsBackReference() OVERRIDE; |
| 3124 virtual bool IsBackReference() OVERRIDE; | 3086 bool IsBackReference() OVERRIDE; |
| 3125 virtual int min_match() OVERRIDE { return 0; } | 3087 int min_match() OVERRIDE { return 0; } |
| 3126 virtual int max_match() OVERRIDE { return capture_->max_match(); } | 3088 int max_match() OVERRIDE { return capture_->max_match(); } |
| 3127 int index() { return capture_->index(); } | 3089 int index() { return capture_->index(); } |
| 3128 RegExpCapture* capture() { return capture_; } | 3090 RegExpCapture* capture() { return capture_; } |
| 3129 private: | 3091 private: |
| 3130 RegExpCapture* capture_; | 3092 RegExpCapture* capture_; |
| 3131 }; | 3093 }; |
| 3132 | 3094 |
| 3133 | 3095 |
| 3134 class RegExpEmpty FINAL : public RegExpTree { | 3096 class RegExpEmpty FINAL : public RegExpTree { |
| 3135 public: | 3097 public: |
| 3136 RegExpEmpty() { } | 3098 RegExpEmpty() { } |
| 3137 virtual void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; | 3099 void* Accept(RegExpVisitor* visitor, void* data) OVERRIDE; |
| 3138 virtual RegExpNode* ToNode(RegExpCompiler* compiler, | 3100 virtual RegExpNode* ToNode(RegExpCompiler* compiler, |
| 3139 RegExpNode* on_success) OVERRIDE; | 3101 RegExpNode* on_success) OVERRIDE; |
| 3140 virtual RegExpEmpty* AsEmpty() OVERRIDE; | 3102 RegExpEmpty* AsEmpty() OVERRIDE; |
| 3141 virtual bool IsEmpty() OVERRIDE; | 3103 bool IsEmpty() OVERRIDE; |
| 3142 virtual int min_match() OVERRIDE { return 0; } | 3104 int min_match() OVERRIDE { return 0; } |
| 3143 virtual int max_match() OVERRIDE { return 0; } | 3105 int max_match() OVERRIDE { return 0; } |
| 3144 }; | 3106 }; |
| 3145 | 3107 |
| 3146 | 3108 |
| 3147 // ---------------------------------------------------------------------------- | 3109 // ---------------------------------------------------------------------------- |
| 3148 // Out-of-line inline constructors (to side-step cyclic dependencies). | 3110 // Out-of-line inline constructors (to side-step cyclic dependencies). |
| 3149 | 3111 |
| 3150 inline ModuleVariable::ModuleVariable(Zone* zone, VariableProxy* proxy, int pos) | 3112 inline ModuleVariable::ModuleVariable(Zone* zone, VariableProxy* proxy, int pos) |
| 3151 : Module(zone, proxy->interface(), pos), | 3113 : Module(zone, proxy->interface(), pos), |
| 3152 proxy_(proxy) { | 3114 proxy_(proxy) { |
| 3153 } | 3115 } |
| (...skipping 17 matching lines...) Expand all Loading... |
| 3171 virtual void VisitExpressions(ZoneList<Expression*>* expressions); | 3133 virtual void VisitExpressions(ZoneList<Expression*>* expressions); |
| 3172 | 3134 |
| 3173 // Individual AST nodes. | 3135 // Individual AST nodes. |
| 3174 #define DEF_VISIT(type) \ | 3136 #define DEF_VISIT(type) \ |
| 3175 virtual void Visit##type(type* node) = 0; | 3137 virtual void Visit##type(type* node) = 0; |
| 3176 AST_NODE_LIST(DEF_VISIT) | 3138 AST_NODE_LIST(DEF_VISIT) |
| 3177 #undef DEF_VISIT | 3139 #undef DEF_VISIT |
| 3178 }; | 3140 }; |
| 3179 | 3141 |
| 3180 | 3142 |
| 3181 #define DEFINE_AST_VISITOR_SUBCLASS_MEMBERS() \ | 3143 #define DEFINE_AST_VISITOR_SUBCLASS_MEMBERS() \ |
| 3182 public: \ | 3144 public: \ |
| 3183 virtual void Visit(AstNode* node) FINAL OVERRIDE { \ | 3145 void Visit(AstNode* node) FINAL { \ |
| 3184 if (!CheckStackOverflow()) node->Accept(this); \ | 3146 if (!CheckStackOverflow()) node->Accept(this); \ |
| 3185 } \ | 3147 } \ |
| 3186 \ | 3148 \ |
| 3187 void SetStackOverflow() { stack_overflow_ = true; } \ | 3149 void SetStackOverflow() { stack_overflow_ = true; } \ |
| 3188 void ClearStackOverflow() { stack_overflow_ = false; } \ | 3150 void ClearStackOverflow() { stack_overflow_ = false; } \ |
| 3189 bool HasStackOverflow() const { return stack_overflow_; } \ | 3151 bool HasStackOverflow() const { return stack_overflow_; } \ |
| 3190 \ | 3152 \ |
| 3191 bool CheckStackOverflow() { \ | 3153 bool CheckStackOverflow() { \ |
| 3192 if (stack_overflow_) return true; \ | 3154 if (stack_overflow_) return true; \ |
| 3193 StackLimitCheck check(zone_->isolate()); \ | 3155 StackLimitCheck check(zone_->isolate()); \ |
| 3194 if (!check.HasOverflowed()) return false; \ | 3156 if (!check.HasOverflowed()) return false; \ |
| 3195 return (stack_overflow_ = true); \ | 3157 return (stack_overflow_ = true); \ |
| 3196 } \ | 3158 } \ |
| 3197 \ | 3159 \ |
| 3198 private: \ | 3160 private: \ |
| 3199 void InitializeAstVisitor(Zone* zone) { \ | 3161 void InitializeAstVisitor(Zone* zone) { \ |
| 3200 zone_ = zone; \ | 3162 zone_ = zone; \ |
| 3201 stack_overflow_ = false; \ | 3163 stack_overflow_ = false; \ |
| 3202 } \ | 3164 } \ |
| 3203 Zone* zone() { return zone_; } \ | 3165 Zone* zone() { return zone_; } \ |
| 3204 Isolate* isolate() { return zone_->isolate(); } \ | 3166 Isolate* isolate() { return zone_->isolate(); } \ |
| 3205 \ | 3167 \ |
| 3206 Zone* zone_; \ | 3168 Zone* zone_; \ |
| 3207 bool stack_overflow_ | 3169 bool stack_overflow_ |
| 3208 | 3170 |
| 3209 | 3171 |
| 3210 // ---------------------------------------------------------------------------- | 3172 // ---------------------------------------------------------------------------- |
| 3211 // AstNode factory | 3173 // AstNode factory |
| 3212 | 3174 |
| 3213 class AstNodeFactory FINAL BASE_EMBEDDED { | 3175 class AstNodeFactory FINAL BASE_EMBEDDED { |
| 3214 public: | 3176 public: |
| 3215 explicit AstNodeFactory(AstValueFactory* ast_value_factory) | 3177 explicit AstNodeFactory(AstValueFactory* ast_value_factory) |
| 3216 : zone_(ast_value_factory->zone()), | 3178 : zone_(ast_value_factory->zone()), |
| (...skipping 363 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3580 | 3542 |
| 3581 private: | 3543 private: |
| 3582 Zone* zone_; | 3544 Zone* zone_; |
| 3583 AstValueFactory* ast_value_factory_; | 3545 AstValueFactory* ast_value_factory_; |
| 3584 }; | 3546 }; |
| 3585 | 3547 |
| 3586 | 3548 |
| 3587 } } // namespace v8::internal | 3549 } } // namespace v8::internal |
| 3588 | 3550 |
| 3589 #endif // V8_AST_H_ | 3551 #endif // V8_AST_H_ |
| OLD | NEW |