OLD | NEW |
1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 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_INTERPRETER_CONTROL_FLOW_BUILDERS_H_ | 5 #ifndef V8_INTERPRETER_CONTROL_FLOW_BUILDERS_H_ |
6 #define V8_INTERPRETER_CONTROL_FLOW_BUILDERS_H_ | 6 #define V8_INTERPRETER_CONTROL_FLOW_BUILDERS_H_ |
7 | 7 |
8 #include "src/interpreter/bytecode-array-builder.h" | 8 #include "src/interpreter/bytecode-array-builder.h" |
9 | 9 |
10 #include "src/zone-containers.h" | 10 #include "src/zone-containers.h" |
(...skipping 42 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
53 void EmitJump(ZoneVector<BytecodeLabel>* labels, int index); | 53 void EmitJump(ZoneVector<BytecodeLabel>* labels, int index); |
54 void EmitJumpIfTrue(ZoneVector<BytecodeLabel>* labels); | 54 void EmitJumpIfTrue(ZoneVector<BytecodeLabel>* labels); |
55 void EmitJumpIfTrue(ZoneVector<BytecodeLabel>* labels, int index); | 55 void EmitJumpIfTrue(ZoneVector<BytecodeLabel>* labels, int index); |
56 void EmitJumpIfFalse(ZoneVector<BytecodeLabel>* labels); | 56 void EmitJumpIfFalse(ZoneVector<BytecodeLabel>* labels); |
57 void EmitJumpIfFalse(ZoneVector<BytecodeLabel>* labels, int index); | 57 void EmitJumpIfFalse(ZoneVector<BytecodeLabel>* labels, int index); |
58 void EmitJumpIfUndefined(ZoneVector<BytecodeLabel>* labels); | 58 void EmitJumpIfUndefined(ZoneVector<BytecodeLabel>* labels); |
59 void EmitJumpIfNull(ZoneVector<BytecodeLabel>* labels); | 59 void EmitJumpIfNull(ZoneVector<BytecodeLabel>* labels); |
60 | 60 |
61 void BindLabels(const BytecodeLabel& target, ZoneVector<BytecodeLabel>* site); | 61 void BindLabels(const BytecodeLabel& target, ZoneVector<BytecodeLabel>* site); |
62 | 62 |
63 private: | |
64 // Unbound labels that identify jumps for break statements in the code. | 63 // Unbound labels that identify jumps for break statements in the code. |
65 ZoneVector<BytecodeLabel> break_sites_; | 64 ZoneVector<BytecodeLabel> break_sites_; |
66 }; | 65 }; |
67 | 66 |
68 | 67 |
69 // Class to track control flow for block statements (which can break in JS). | 68 // Class to track control flow for block statements (which can break in JS). |
70 class BlockBuilder final : public BreakableControlFlowBuilder { | 69 class BlockBuilder final : public BreakableControlFlowBuilder { |
71 public: | 70 public: |
72 explicit BlockBuilder(BytecodeArrayBuilder* builder) | 71 explicit BlockBuilder(BytecodeArrayBuilder* builder) |
73 : BreakableControlFlowBuilder(builder) {} | 72 : BreakableControlFlowBuilder(builder) {} |
74 | 73 |
75 void EndBlock(); | 74 void EndBlock(); |
76 | 75 |
77 private: | 76 private: |
78 BytecodeLabel block_end_; | 77 BytecodeLabel block_end_; |
79 }; | 78 }; |
80 | 79 |
81 | 80 |
82 // A class to help with co-ordinating break and continue statements with | 81 // A class to help with co-ordinating break and continue statements with |
83 // their loop. | 82 // their loop. |
84 class LoopBuilder final : public BreakableControlFlowBuilder { | 83 class LoopBuilder final : public BreakableControlFlowBuilder { |
85 public: | 84 public: |
86 explicit LoopBuilder(BytecodeArrayBuilder* builder) | 85 explicit LoopBuilder(BytecodeArrayBuilder* builder) |
87 : BreakableControlFlowBuilder(builder), | 86 : BreakableControlFlowBuilder(builder), |
88 continue_sites_(builder->zone()) {} | 87 continue_sites_(builder->zone()) {} |
89 ~LoopBuilder(); | 88 ~LoopBuilder(); |
90 | 89 |
91 void LoopHeader() { builder()->Bind(&loop_header_); } | 90 void LoopHeader(); |
92 void Condition() { builder()->Bind(&condition_); } | 91 void Condition() { builder()->Bind(&condition_); } |
93 void Next() { builder()->Bind(&next_); } | 92 void Next() { builder()->Bind(&next_); } |
94 void JumpToHeader() { builder()->Jump(&loop_header_); } | 93 void JumpToHeader() { builder()->Jump(&loop_header_); } |
95 void JumpToHeaderIfTrue() { builder()->JumpIfTrue(&loop_header_); } | 94 void JumpToHeaderIfTrue() { builder()->JumpIfTrue(&loop_header_); } |
96 void EndLoop(); | 95 void EndLoop(); |
97 | 96 |
98 // This method is called when visiting continue statements in the AST. | 97 // This method is called when visiting continue statements in the AST. |
99 // Inserts a jump to a unbound label that is patched when the corresponding | 98 // Inserts a jump to a unbound label that is patched when the corresponding |
100 // SetContinueTarget is called. | 99 // SetContinueTarget is called. |
101 void Continue() { EmitJump(&continue_sites_); } | 100 void Continue() { EmitJump(&continue_sites_); } |
(...skipping 41 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
143 private: | 142 private: |
144 // Unbound labels that identify jumps for case statements in the code. | 143 // Unbound labels that identify jumps for case statements in the code. |
145 ZoneVector<BytecodeLabel> case_sites_; | 144 ZoneVector<BytecodeLabel> case_sites_; |
146 }; | 145 }; |
147 | 146 |
148 } // namespace interpreter | 147 } // namespace interpreter |
149 } // namespace internal | 148 } // namespace internal |
150 } // namespace v8 | 149 } // namespace v8 |
151 | 150 |
152 #endif // V8_INTERPRETER_CONTROL_FLOW_BUILDERS_H_ | 151 #endif // V8_INTERPRETER_CONTROL_FLOW_BUILDERS_H_ |
OLD | NEW |