| OLD | NEW |
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 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_COMPILER_CONTROL_BUILDERS_H_ | 5 #ifndef V8_COMPILER_CONTROL_BUILDERS_H_ |
| 6 #define V8_COMPILER_CONTROL_BUILDERS_H_ | 6 #define V8_COMPILER_CONTROL_BUILDERS_H_ |
| 7 | 7 |
| 8 #include "src/v8.h" | 8 #include "src/v8.h" |
| 9 | 9 |
| 10 #include "src/compiler/graph-builder.h" | 10 #include "src/compiler/ast-graph-builder.h" |
| 11 #include "src/compiler/node.h" | 11 #include "src/compiler/node.h" |
| 12 | 12 |
| 13 namespace v8 { | 13 namespace v8 { |
| 14 namespace internal { | 14 namespace internal { |
| 15 namespace compiler { | 15 namespace compiler { |
| 16 | 16 |
| 17 // Base class for all control builders. Also provides a common interface for | 17 // Base class for all control builders. Also provides a common interface for |
| 18 // control builders to handle 'break' and 'continue' statements when they are | 18 // control builders to handle 'break' and 'continue' statements when they are |
| 19 // used to model breakable statements. | 19 // used to model breakable statements. |
| 20 class ControlBuilder { | 20 class ControlBuilder { |
| 21 public: | 21 public: |
| 22 explicit ControlBuilder(StructuredGraphBuilder* builder) | 22 explicit ControlBuilder(AstGraphBuilder* builder) : builder_(builder) {} |
| 23 : builder_(builder) {} | |
| 24 virtual ~ControlBuilder() {} | 23 virtual ~ControlBuilder() {} |
| 25 | 24 |
| 26 // Interface for break and continue. | 25 // Interface for break and continue. |
| 27 virtual void Break() { UNREACHABLE(); } | 26 virtual void Break() { UNREACHABLE(); } |
| 28 virtual void Continue() { UNREACHABLE(); } | 27 virtual void Continue() { UNREACHABLE(); } |
| 29 | 28 |
| 30 protected: | 29 protected: |
| 31 typedef StructuredGraphBuilder Builder; | 30 typedef AstGraphBuilder Builder; |
| 32 typedef StructuredGraphBuilder::Environment Environment; | 31 typedef AstGraphBuilder::Environment Environment; |
| 33 | 32 |
| 34 Zone* zone() const { return builder_->local_zone(); } | 33 Zone* zone() const { return builder_->local_zone(); } |
| 35 Environment* environment() { return builder_->environment(); } | 34 Environment* environment() { return builder_->environment(); } |
| 36 void set_environment(Environment* env) { builder_->set_environment(env); } | 35 void set_environment(Environment* env) { builder_->set_environment(env); } |
| 37 | 36 |
| 38 Builder* builder_; | 37 Builder* builder_; |
| 39 }; | 38 }; |
| 40 | 39 |
| 41 | 40 |
| 42 // Tracks control flow for a conditional statement. | 41 // Tracks control flow for a conditional statement. |
| 43 class IfBuilder FINAL : public ControlBuilder { | 42 class IfBuilder FINAL : public ControlBuilder { |
| 44 public: | 43 public: |
| 45 explicit IfBuilder(StructuredGraphBuilder* builder) | 44 explicit IfBuilder(AstGraphBuilder* builder) |
| 46 : ControlBuilder(builder), | 45 : ControlBuilder(builder), |
| 47 then_environment_(NULL), | 46 then_environment_(NULL), |
| 48 else_environment_(NULL) {} | 47 else_environment_(NULL) {} |
| 49 | 48 |
| 50 // Primitive control commands. | 49 // Primitive control commands. |
| 51 void If(Node* condition, BranchHint hint = BranchHint::kNone); | 50 void If(Node* condition, BranchHint hint = BranchHint::kNone); |
| 52 void Then(); | 51 void Then(); |
| 53 void Else(); | 52 void Else(); |
| 54 void End(); | 53 void End(); |
| 55 | 54 |
| 56 private: | 55 private: |
| 57 Environment* then_environment_; // Environment after the 'then' body. | 56 Environment* then_environment_; // Environment after the 'then' body. |
| 58 Environment* else_environment_; // Environment for the 'else' body. | 57 Environment* else_environment_; // Environment for the 'else' body. |
| 59 }; | 58 }; |
| 60 | 59 |
| 61 | 60 |
| 62 // Tracks control flow for an iteration statement. | 61 // Tracks control flow for an iteration statement. |
| 63 class LoopBuilder FINAL : public ControlBuilder { | 62 class LoopBuilder FINAL : public ControlBuilder { |
| 64 public: | 63 public: |
| 65 explicit LoopBuilder(StructuredGraphBuilder* builder) | 64 explicit LoopBuilder(AstGraphBuilder* builder) |
| 66 : ControlBuilder(builder), | 65 : ControlBuilder(builder), |
| 67 loop_environment_(NULL), | 66 loop_environment_(NULL), |
| 68 continue_environment_(NULL), | 67 continue_environment_(NULL), |
| 69 break_environment_(NULL) {} | 68 break_environment_(NULL) {} |
| 70 | 69 |
| 71 // Primitive control commands. | 70 // Primitive control commands. |
| 72 void BeginLoop(BitVector* assigned, bool is_osr = false); | 71 void BeginLoop(BitVector* assigned, bool is_osr = false); |
| 73 void EndBody(); | 72 void EndBody(); |
| 74 void EndLoop(); | 73 void EndLoop(); |
| 75 | 74 |
| 76 // Primitive support for break and continue. | 75 // Primitive support for break and continue. |
| 77 void Continue() FINAL; | 76 void Continue() FINAL; |
| 78 void Break() FINAL; | 77 void Break() FINAL; |
| 79 | 78 |
| 80 // Compound control commands for conditional break. | 79 // Compound control commands for conditional break. |
| 81 void BreakUnless(Node* condition); | 80 void BreakUnless(Node* condition); |
| 82 void BreakWhen(Node* condition); | 81 void BreakWhen(Node* condition); |
| 83 | 82 |
| 84 private: | 83 private: |
| 85 Environment* loop_environment_; // Environment of the loop header. | 84 Environment* loop_environment_; // Environment of the loop header. |
| 86 Environment* continue_environment_; // Environment after the loop body. | 85 Environment* continue_environment_; // Environment after the loop body. |
| 87 Environment* break_environment_; // Environment after the loop exits. | 86 Environment* break_environment_; // Environment after the loop exits. |
| 88 }; | 87 }; |
| 89 | 88 |
| 90 | 89 |
| 91 // Tracks control flow for a switch statement. | 90 // Tracks control flow for a switch statement. |
| 92 class SwitchBuilder FINAL : public ControlBuilder { | 91 class SwitchBuilder FINAL : public ControlBuilder { |
| 93 public: | 92 public: |
| 94 explicit SwitchBuilder(StructuredGraphBuilder* builder, int case_count) | 93 explicit SwitchBuilder(AstGraphBuilder* builder, int case_count) |
| 95 : ControlBuilder(builder), | 94 : ControlBuilder(builder), |
| 96 body_environment_(NULL), | 95 body_environment_(NULL), |
| 97 label_environment_(NULL), | 96 label_environment_(NULL), |
| 98 break_environment_(NULL), | 97 break_environment_(NULL), |
| 99 body_environments_(case_count, zone()) {} | 98 body_environments_(case_count, zone()) {} |
| 100 | 99 |
| 101 // Primitive control commands. | 100 // Primitive control commands. |
| 102 void BeginSwitch(); | 101 void BeginSwitch(); |
| 103 void BeginLabel(int index, Node* condition); | 102 void BeginLabel(int index, Node* condition); |
| 104 void EndLabel(); | 103 void EndLabel(); |
| (...skipping 12 matching lines...) Expand all Loading... |
| 117 Environment* body_environment_; // Environment after last case body. | 116 Environment* body_environment_; // Environment after last case body. |
| 118 Environment* label_environment_; // Environment for next label condition. | 117 Environment* label_environment_; // Environment for next label condition. |
| 119 Environment* break_environment_; // Environment after the switch exits. | 118 Environment* break_environment_; // Environment after the switch exits. |
| 120 ZoneVector<Environment*> body_environments_; | 119 ZoneVector<Environment*> body_environments_; |
| 121 }; | 120 }; |
| 122 | 121 |
| 123 | 122 |
| 124 // Tracks control flow for a block statement. | 123 // Tracks control flow for a block statement. |
| 125 class BlockBuilder FINAL : public ControlBuilder { | 124 class BlockBuilder FINAL : public ControlBuilder { |
| 126 public: | 125 public: |
| 127 explicit BlockBuilder(StructuredGraphBuilder* builder) | 126 explicit BlockBuilder(AstGraphBuilder* builder) |
| 128 : ControlBuilder(builder), break_environment_(NULL) {} | 127 : ControlBuilder(builder), break_environment_(NULL) {} |
| 129 | 128 |
| 130 // Primitive control commands. | 129 // Primitive control commands. |
| 131 void BeginBlock(); | 130 void BeginBlock(); |
| 132 void EndBlock(); | 131 void EndBlock(); |
| 133 | 132 |
| 134 // Primitive support for break. | 133 // Primitive support for break. |
| 135 void Break() FINAL; | 134 void Break() FINAL; |
| 136 | 135 |
| 137 private: | 136 private: |
| 138 Environment* break_environment_; // Environment after the block exits. | 137 Environment* break_environment_; // Environment after the block exits. |
| 139 }; | 138 }; |
| 140 | 139 |
| 141 } // namespace compiler | 140 } // namespace compiler |
| 142 } // namespace internal | 141 } // namespace internal |
| 143 } // namespace v8 | 142 } // namespace v8 |
| 144 | 143 |
| 145 #endif // V8_COMPILER_CONTROL_BUILDERS_H_ | 144 #endif // V8_COMPILER_CONTROL_BUILDERS_H_ |
| OLD | NEW |