| OLD | NEW |
| 1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 the V8 project authors. All rights reserved. |
| 2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
| 3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
| 4 // met: | 4 // met: |
| 5 // | 5 // |
| 6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
| 7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
| 8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
| 9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
| 10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
| (...skipping 95 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 106 return NULL; | 106 return NULL; |
| 107 } | 107 } |
| 108 | 108 |
| 109 private: | 109 private: |
| 110 class Breakable; | 110 class Breakable; |
| 111 class Iteration; | 111 class Iteration; |
| 112 class TryCatch; | 112 class TryCatch; |
| 113 class TryFinally; | 113 class TryFinally; |
| 114 class Finally; | 114 class Finally; |
| 115 class ForIn; | 115 class ForIn; |
| 116 class TestContext; |
| 116 | 117 |
| 117 class NestedStatement BASE_EMBEDDED { | 118 class NestedStatement BASE_EMBEDDED { |
| 118 public: | 119 public: |
| 119 explicit NestedStatement(FullCodeGenerator* codegen) : codegen_(codegen) { | 120 explicit NestedStatement(FullCodeGenerator* codegen) : codegen_(codegen) { |
| 120 // Link into codegen's nesting stack. | 121 // Link into codegen's nesting stack. |
| 121 previous_ = codegen->nesting_stack_; | 122 previous_ = codegen->nesting_stack_; |
| 122 codegen->nesting_stack_ = this; | 123 codegen->nesting_stack_ = this; |
| 123 } | 124 } |
| 124 virtual ~NestedStatement() { | 125 virtual ~NestedStatement() { |
| 125 // Unlink from codegen's nesting stack. | 126 // Unlink from codegen's nesting stack. |
| (...skipping 165 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 291 // parameter slot. | 292 // parameter slot. |
| 292 int SlotOffset(Slot* slot); | 293 int SlotOffset(Slot* slot); |
| 293 | 294 |
| 294 // Determine whether or not to inline the smi case for the given | 295 // Determine whether or not to inline the smi case for the given |
| 295 // operation. | 296 // operation. |
| 296 bool ShouldInlineSmiCase(Token::Value op); | 297 bool ShouldInlineSmiCase(Token::Value op); |
| 297 | 298 |
| 298 // Helper function to convert a pure value into a test context. The value | 299 // Helper function to convert a pure value into a test context. The value |
| 299 // is expected on the stack or the accumulator, depending on the platform. | 300 // is expected on the stack or the accumulator, depending on the platform. |
| 300 // See the platform-specific implementation for details. | 301 // See the platform-specific implementation for details. |
| 301 void DoTest(Label* if_true, Label* if_false, Label* fall_through); | 302 void DoTest(Expression* condition, |
| 303 Label* if_true, |
| 304 Label* if_false, |
| 305 Label* fall_through); |
| 306 void DoTest(const TestContext* context); |
| 302 | 307 |
| 303 // Helper function to split control flow and avoid a branch to the | 308 // Helper function to split control flow and avoid a branch to the |
| 304 // fall-through label if it is set up. | 309 // fall-through label if it is set up. |
| 305 #ifdef V8_TARGET_ARCH_MIPS | 310 #ifdef V8_TARGET_ARCH_MIPS |
| 306 void Split(Condition cc, | 311 void Split(Condition cc, |
| 307 Register lhs, | 312 Register lhs, |
| 308 const Operand& rhs, | 313 const Operand& rhs, |
| 309 Label* if_true, | 314 Label* if_true, |
| 310 Label* if_false, | 315 Label* if_false, |
| 311 Label* fall_through); | 316 Label* fall_through); |
| (...skipping 28 matching lines...) Expand all Loading... |
| 340 | 345 |
| 341 void VisitForStackValue(Expression* expr) { | 346 void VisitForStackValue(Expression* expr) { |
| 342 StackValueContext context(this); | 347 StackValueContext context(this); |
| 343 VisitInCurrentContext(expr); | 348 VisitInCurrentContext(expr); |
| 344 } | 349 } |
| 345 | 350 |
| 346 void VisitForControl(Expression* expr, | 351 void VisitForControl(Expression* expr, |
| 347 Label* if_true, | 352 Label* if_true, |
| 348 Label* if_false, | 353 Label* if_false, |
| 349 Label* fall_through) { | 354 Label* fall_through) { |
| 350 TestContext context(this, if_true, if_false, fall_through); | 355 TestContext context(this, expr, if_true, if_false, fall_through); |
| 351 VisitInCurrentContext(expr); | 356 VisitInCurrentContext(expr); |
| 352 } | 357 } |
| 353 | 358 |
| 354 void VisitDeclarations(ZoneList<Declaration*>* declarations); | 359 void VisitDeclarations(ZoneList<Declaration*>* declarations); |
| 355 void DeclareGlobals(Handle<FixedArray> pairs); | 360 void DeclareGlobals(Handle<FixedArray> pairs); |
| 356 | 361 |
| 357 // Try to perform a comparison as a fast inlined literal compare if | 362 // Try to perform a comparison as a fast inlined literal compare if |
| 358 // the operands allow it. Returns true if the compare operations | 363 // the operands allow it. Returns true if the compare operations |
| 359 // has been matched and all code generated; false otherwise. | 364 // has been matched and all code generated; false otherwise. |
| 360 bool TryLiteralCompare(Token::Value op, | 365 bool TryLiteralCompare(Token::Value op, |
| (...skipping 302 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 663 virtual void PrepareTest(Label* materialize_true, | 668 virtual void PrepareTest(Label* materialize_true, |
| 664 Label* materialize_false, | 669 Label* materialize_false, |
| 665 Label** if_true, | 670 Label** if_true, |
| 666 Label** if_false, | 671 Label** if_false, |
| 667 Label** fall_through) const; | 672 Label** fall_through) const; |
| 668 virtual bool IsStackValue() const { return true; } | 673 virtual bool IsStackValue() const { return true; } |
| 669 }; | 674 }; |
| 670 | 675 |
| 671 class TestContext : public ExpressionContext { | 676 class TestContext : public ExpressionContext { |
| 672 public: | 677 public: |
| 673 explicit TestContext(FullCodeGenerator* codegen, | 678 TestContext(FullCodeGenerator* codegen, |
| 674 Label* true_label, | 679 Expression* condition, |
| 675 Label* false_label, | 680 Label* true_label, |
| 676 Label* fall_through) | 681 Label* false_label, |
| 682 Label* fall_through) |
| 677 : ExpressionContext(codegen), | 683 : ExpressionContext(codegen), |
| 684 condition_(condition), |
| 678 true_label_(true_label), | 685 true_label_(true_label), |
| 679 false_label_(false_label), | 686 false_label_(false_label), |
| 680 fall_through_(fall_through) { } | 687 fall_through_(fall_through) { } |
| 681 | 688 |
| 682 static const TestContext* cast(const ExpressionContext* context) { | 689 static const TestContext* cast(const ExpressionContext* context) { |
| 683 ASSERT(context->IsTest()); | 690 ASSERT(context->IsTest()); |
| 684 return reinterpret_cast<const TestContext*>(context); | 691 return reinterpret_cast<const TestContext*>(context); |
| 685 } | 692 } |
| 686 | 693 |
| 694 Expression* condition() const { return condition_; } |
| 687 Label* true_label() const { return true_label_; } | 695 Label* true_label() const { return true_label_; } |
| 688 Label* false_label() const { return false_label_; } | 696 Label* false_label() const { return false_label_; } |
| 689 Label* fall_through() const { return fall_through_; } | 697 Label* fall_through() const { return fall_through_; } |
| 690 | 698 |
| 691 virtual void Plug(bool flag) const; | 699 virtual void Plug(bool flag) const; |
| 692 virtual void Plug(Register reg) const; | 700 virtual void Plug(Register reg) const; |
| 693 virtual void Plug(Label* materialize_true, Label* materialize_false) const; | 701 virtual void Plug(Label* materialize_true, Label* materialize_false) const; |
| 694 virtual void Plug(Slot* slot) const; | 702 virtual void Plug(Slot* slot) const; |
| 695 virtual void Plug(Handle<Object> lit) const; | 703 virtual void Plug(Handle<Object> lit) const; |
| 696 virtual void Plug(Heap::RootListIndex) const; | 704 virtual void Plug(Heap::RootListIndex) const; |
| 697 virtual void PlugTOS() const; | 705 virtual void PlugTOS() const; |
| 698 virtual void DropAndPlug(int count, Register reg) const; | 706 virtual void DropAndPlug(int count, Register reg) const; |
| 699 virtual void PrepareTest(Label* materialize_true, | 707 virtual void PrepareTest(Label* materialize_true, |
| 700 Label* materialize_false, | 708 Label* materialize_false, |
| 701 Label** if_true, | 709 Label** if_true, |
| 702 Label** if_false, | 710 Label** if_false, |
| 703 Label** fall_through) const; | 711 Label** fall_through) const; |
| 704 virtual bool IsTest() const { return true; } | 712 virtual bool IsTest() const { return true; } |
| 705 | 713 |
| 706 private: | 714 private: |
| 715 Expression* condition_; |
| 707 Label* true_label_; | 716 Label* true_label_; |
| 708 Label* false_label_; | 717 Label* false_label_; |
| 709 Label* fall_through_; | 718 Label* fall_through_; |
| 710 }; | 719 }; |
| 711 | 720 |
| 712 class EffectContext : public ExpressionContext { | 721 class EffectContext : public ExpressionContext { |
| 713 public: | 722 public: |
| 714 explicit EffectContext(FullCodeGenerator* codegen) | 723 explicit EffectContext(FullCodeGenerator* codegen) |
| 715 : ExpressionContext(codegen) { } | 724 : ExpressionContext(codegen) { } |
| 716 | 725 |
| (...skipping 26 matching lines...) Expand all Loading... |
| 743 | 752 |
| 744 friend class NestedStatement; | 753 friend class NestedStatement; |
| 745 | 754 |
| 746 DISALLOW_COPY_AND_ASSIGN(FullCodeGenerator); | 755 DISALLOW_COPY_AND_ASSIGN(FullCodeGenerator); |
| 747 }; | 756 }; |
| 748 | 757 |
| 749 | 758 |
| 750 } } // namespace v8::internal | 759 } } // namespace v8::internal |
| 751 | 760 |
| 752 #endif // V8_FULL_CODEGEN_H_ | 761 #endif // V8_FULL_CODEGEN_H_ |
| OLD | NEW |