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_BYTECODE_PIPELINE_H_ | 5 #ifndef V8_INTERPRETER_BYTECODE_PIPELINE_H_ |
6 #define V8_INTERPRETER_BYTECODE_PIPELINE_H_ | 6 #define V8_INTERPRETER_BYTECODE_PIPELINE_H_ |
7 | 7 |
8 #include "src/interpreter/bytecode-register-allocator.h" | 8 #include "src/interpreter/bytecode-register-allocator.h" |
9 #include "src/interpreter/bytecode-register.h" | 9 #include "src/interpreter/bytecode-register.h" |
10 #include "src/interpreter/bytecodes.h" | 10 #include "src/interpreter/bytecodes.h" |
(...skipping 29 matching lines...) Expand all Loading... | |
40 // written to the next stage. | 40 // written to the next stage. |
41 virtual void BindLabel(BytecodeLabel* label) = 0; | 41 virtual void BindLabel(BytecodeLabel* label) = 0; |
42 | 42 |
43 // Binds |label| to the location of |target|. This call implicitly | 43 // Binds |label| to the location of |target|. This call implicitly |
44 // ends the current basic block and so any deferred bytecodes should be | 44 // ends the current basic block and so any deferred bytecodes should be |
45 // written to the next stage. | 45 // written to the next stage. |
46 virtual void BindLabel(const BytecodeLabel& target, BytecodeLabel* label) = 0; | 46 virtual void BindLabel(const BytecodeLabel& target, BytecodeLabel* label) = 0; |
47 | 47 |
48 // Flush the pipeline and generate a bytecode array. | 48 // Flush the pipeline and generate a bytecode array. |
49 virtual Handle<BytecodeArray> ToBytecodeArray( | 49 virtual Handle<BytecodeArray> ToBytecodeArray( |
50 Isolate* isolate, int fixed_register_count, int parameter_count, | 50 Isolate* isolate, int register_count, int parameter_count, |
51 Handle<FixedArray> handler_table) = 0; | 51 Handle<FixedArray> handler_table) = 0; |
52 }; | 52 }; |
53 | 53 |
54 // Source code position information. | 54 // Source code position information. |
55 class BytecodeSourceInfo final { | 55 class BytecodeSourceInfo final { |
56 public: | 56 public: |
57 static const int kUninitializedPosition = -1; | 57 static const int kUninitializedPosition = -1; |
58 | 58 |
59 BytecodeSourceInfo() | 59 BytecodeSourceInfo() |
60 : position_type_(PositionType::kNone), | 60 : position_type_(PositionType::kNone), |
(...skipping 66 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
127 bool operator!=(const BytecodeSourceInfo& other) const { | 127 bool operator!=(const BytecodeSourceInfo& other) const { |
128 return position_type_ != other.position_type_ || | 128 return position_type_ != other.position_type_ || |
129 source_position_ != other.source_position_; | 129 source_position_ != other.source_position_; |
130 } | 130 } |
131 | 131 |
132 private: | 132 private: |
133 enum class PositionType : uint8_t { kNone, kExpression, kStatement }; | 133 enum class PositionType : uint8_t { kNone, kExpression, kStatement }; |
134 | 134 |
135 PositionType position_type_; | 135 PositionType position_type_; |
136 int source_position_; | 136 int source_position_; |
137 | |
138 DISALLOW_COPY_AND_ASSIGN(BytecodeSourceInfo); | |
139 }; | 137 }; |
140 | 138 |
141 // A container for a generated bytecode, it's operands, and source information. | 139 // A container for a generated bytecode, it's operands, and source information. |
142 // These must be allocated by a BytecodeNodeAllocator instance. | 140 // These must be allocated by a BytecodeNodeAllocator instance. |
143 class BytecodeNode final : ZoneObject { | 141 class BytecodeNode final : ZoneObject { |
144 public: | 142 public: |
145 explicit BytecodeNode(Bytecode bytecode = Bytecode::kIllegal); | 143 INLINE(BytecodeNode(const Bytecode bytecode, |
146 BytecodeNode(Bytecode bytecode, uint32_t operand0); | 144 BytecodeSourceInfo* source_info = nullptr)) |
147 BytecodeNode(Bytecode bytecode, uint32_t operand0, uint32_t operand1); | 145 : bytecode_(bytecode), |
148 BytecodeNode(Bytecode bytecode, uint32_t operand0, uint32_t operand1, | 146 operand_count_(0), |
149 uint32_t operand2); | 147 operand_scale_(OperandScale::kSingle) { |
150 BytecodeNode(Bytecode bytecode, uint32_t operand0, uint32_t operand1, | 148 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), operand_count()); |
151 uint32_t operand2, uint32_t operand3); | 149 AttachSourceInfo(source_info); |
150 } | |
151 | |
152 INLINE(BytecodeNode(const Bytecode bytecode, uint32_t operand0, | |
153 BytecodeSourceInfo* source_info = nullptr)) | |
154 : bytecode_(bytecode), | |
155 operand_count_(1), | |
156 operand_scale_(OperandScale::kSingle) { | |
157 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), operand_count()); | |
158 SetOperand(0, operand0); | |
159 AttachSourceInfo(source_info); | |
160 } | |
161 | |
162 INLINE(BytecodeNode(const Bytecode bytecode, uint32_t operand0, | |
163 uint32_t operand1, | |
164 BytecodeSourceInfo* source_info = nullptr)) | |
165 : bytecode_(bytecode), | |
166 operand_count_(2), | |
167 operand_scale_(OperandScale::kSingle) { | |
168 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), operand_count()); | |
169 SetOperand(0, operand0); | |
170 SetOperand(1, operand1); | |
171 AttachSourceInfo(source_info); | |
172 } | |
173 | |
174 INLINE(BytecodeNode(const Bytecode bytecode, uint32_t operand0, | |
175 uint32_t operand1, uint32_t operand2, | |
176 BytecodeSourceInfo* source_info = nullptr)) | |
177 : bytecode_(bytecode), | |
178 operand_count_(3), | |
179 operand_scale_(OperandScale::kSingle) { | |
180 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), operand_count()); | |
181 SetOperand(0, operand0); | |
182 SetOperand(1, operand1); | |
183 SetOperand(2, operand2); | |
184 AttachSourceInfo(source_info); | |
185 } | |
186 | |
187 INLINE(BytecodeNode(const Bytecode bytecode, uint32_t operand0, | |
188 uint32_t operand1, uint32_t operand2, uint32_t operand3, | |
189 BytecodeSourceInfo* source_info = nullptr)) | |
190 : bytecode_(bytecode), | |
191 operand_count_(4), | |
192 operand_scale_(OperandScale::kSingle) { | |
193 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), operand_count()); | |
194 SetOperand(0, operand0); | |
195 SetOperand(1, operand1); | |
196 SetOperand(2, operand2); | |
197 SetOperand(3, operand3); | |
198 AttachSourceInfo(source_info); | |
199 } | |
152 | 200 |
153 BytecodeNode(const BytecodeNode& other); | 201 BytecodeNode(const BytecodeNode& other); |
154 BytecodeNode& operator=(const BytecodeNode& other); | 202 BytecodeNode& operator=(const BytecodeNode& other); |
155 | 203 |
156 // Replace the bytecode of this node with |bytecode| and keep the operands. | 204 // Replace the bytecode of this node with |bytecode| and keep the operands. |
157 void replace_bytecode(Bytecode bytecode) { | 205 void replace_bytecode(Bytecode bytecode) { |
158 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode_), | 206 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode_), |
159 Bytecodes::NumberOfOperands(bytecode)); | 207 Bytecodes::NumberOfOperands(bytecode)); |
160 bytecode_ = bytecode; | 208 bytecode_ = bytecode; |
161 } | 209 } |
162 void set_bytecode(Bytecode bytecode) { | 210 void set_bytecode(Bytecode bytecode) { |
163 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 0); | 211 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 0); |
164 bytecode_ = bytecode; | 212 bytecode_ = bytecode; |
213 operand_count_ = 0; | |
214 operand_scale_ = OperandScale::kSingle; | |
165 } | 215 } |
166 void set_bytecode(Bytecode bytecode, uint32_t operand0) { | 216 void set_bytecode(Bytecode bytecode, uint32_t operand0) { |
167 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 1); | 217 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 1); |
168 bytecode_ = bytecode; | 218 bytecode_ = bytecode; |
169 operands_[0] = operand0; | 219 operand_count_ = 1; |
220 operand_scale_ = OperandScale::kSingle; | |
221 SetOperand(0, operand0); | |
170 } | 222 } |
171 void set_bytecode(Bytecode bytecode, uint32_t operand0, uint32_t operand1) { | 223 void set_bytecode(Bytecode bytecode, uint32_t operand0, uint32_t operand1) { |
172 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 2); | 224 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 2); |
173 bytecode_ = bytecode; | 225 bytecode_ = bytecode; |
174 operands_[0] = operand0; | 226 operand_count_ = 2; |
175 operands_[1] = operand1; | 227 operand_scale_ = OperandScale::kSingle; |
228 SetOperand(0, operand0); | |
229 SetOperand(1, operand1); | |
176 } | 230 } |
177 void set_bytecode(Bytecode bytecode, uint32_t operand0, uint32_t operand1, | 231 void set_bytecode(Bytecode bytecode, uint32_t operand0, uint32_t operand1, |
178 uint32_t operand2) { | 232 uint32_t operand2) { |
179 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 3); | 233 DCHECK_EQ(Bytecodes::NumberOfOperands(bytecode), 3); |
180 bytecode_ = bytecode; | 234 bytecode_ = bytecode; |
181 operands_[0] = operand0; | 235 operand_count_ = 3; |
182 operands_[1] = operand1; | 236 operand_scale_ = OperandScale::kSingle; |
183 operands_[2] = operand2; | 237 SetOperand(0, operand0); |
238 SetOperand(1, operand1); | |
239 SetOperand(2, operand2); | |
184 } | 240 } |
185 | 241 |
186 // Clone |other|. | 242 // Clone |other|. |
187 void Clone(const BytecodeNode* const other); | 243 void Clone(const BytecodeNode* const other); |
188 | 244 |
189 // Print to stream |os|. | 245 // Print to stream |os|. |
190 void Print(std::ostream& os) const; | 246 void Print(std::ostream& os) const; |
191 | 247 |
192 // Transform to a node representing |new_bytecode| which has one | 248 // Transform to a node representing |new_bytecode| which has one |
193 // operand more than the current bytecode. | 249 // operand more than the current bytecode. |
194 void Transform(Bytecode new_bytecode, uint32_t extra_operand); | 250 void Transform(Bytecode new_bytecode, uint32_t extra_operand) { |
251 DCHECK_EQ(Bytecodes::NumberOfOperands(new_bytecode), | |
252 Bytecodes::NumberOfOperands(bytecode()) + 1); | |
253 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 1 || | |
254 Bytecodes::GetOperandType(new_bytecode, 0) == | |
255 Bytecodes::GetOperandType(bytecode(), 0)); | |
256 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 2 || | |
257 Bytecodes::GetOperandType(new_bytecode, 1) == | |
258 Bytecodes::GetOperandType(bytecode(), 1)); | |
259 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 3 || | |
260 Bytecodes::GetOperandType(new_bytecode, 2) == | |
261 Bytecodes::GetOperandType(bytecode(), 2)); | |
262 DCHECK(Bytecodes::NumberOfOperands(bytecode()) < 4); | |
263 | |
264 bytecode_ = new_bytecode; | |
265 operand_count_++; | |
266 SetOperand(operand_count() - 1, extra_operand); | |
267 } | |
268 | |
269 // Updates the operand at |operand_index| to |operand| | |
270 void UpdateOperand(int operand_index, uint32_t operand) { | |
271 DCHECK_LE(operand_index, Bytecodes::NumberOfOperands(bytecode())); | |
272 operands_[operand_index] = operand; | |
273 if ((Bytecodes::OperandIsScalableSignedByte(bytecode(), operand_index) && | |
274 Bytecodes::ScaleForSignedOperand(operand) != operand_scale_) || | |
275 (Bytecodes::OperandIsScalableUnsignedByte(bytecode(), operand_index) && | |
276 Bytecodes::ScaleForUnsignedOperand(operand) != operand_scale_)) { | |
277 ResetScale(); | |
mythria
2016/09/21 08:12:45
may be use UpdateScale(). I initially thought we a
rmcilroy
2016/09/21 14:12:34
Done.
| |
278 } | |
279 } | |
195 | 280 |
196 Bytecode bytecode() const { return bytecode_; } | 281 Bytecode bytecode() const { return bytecode_; } |
197 | 282 |
198 uint32_t operand(int i) const { | 283 uint32_t operand(int i) const { |
199 DCHECK_LT(i, operand_count()); | 284 DCHECK_LT(i, operand_count()); |
200 return operands_[i]; | 285 return operands_[i]; |
201 } | 286 } |
202 uint32_t* operands() { return operands_; } | |
203 const uint32_t* operands() const { return operands_; } | 287 const uint32_t* operands() const { return operands_; } |
204 | 288 |
205 int operand_count() const { return Bytecodes::NumberOfOperands(bytecode_); } | 289 int operand_count() const { return operand_count_; } |
290 OperandScale operand_scale() const { return operand_scale_; } | |
206 | 291 |
207 const BytecodeSourceInfo& source_info() const { return source_info_; } | 292 const BytecodeSourceInfo& source_info() const { return source_info_; } |
208 BytecodeSourceInfo& source_info() { return source_info_; } | 293 BytecodeSourceInfo* source_info_ptr() { return &source_info_; } |
209 | 294 |
210 bool operator==(const BytecodeNode& other) const; | 295 bool operator==(const BytecodeNode& other) const; |
211 bool operator!=(const BytecodeNode& other) const { return !(*this == other); } | 296 bool operator!=(const BytecodeNode& other) const { return !(*this == other); } |
212 | 297 |
213 private: | 298 private: |
214 static const int kInvalidPosition = kMinInt; | 299 INLINE(void AttachSourceInfo(BytecodeSourceInfo* source_info)) { |
300 if (source_info && source_info->is_valid()) { | |
301 // Statement positions need to be emitted immediately. Expression | |
302 // positions can be pushed back until a bytecode is found that can | |
303 // throw (if expression position filtering is turned on). We only | |
304 // invalidate the existing source position information if it is used. | |
305 if (source_info->is_statement() || | |
306 !FLAG_ignition_filter_expression_positions || | |
307 !Bytecodes::IsWithoutExternalSideEffects(bytecode())) { | |
308 source_info_.Clone(*source_info); | |
309 source_info->set_invalid(); | |
310 } | |
311 } | |
312 } | |
313 | |
314 INLINE(void UpdateScaleForOperand(int operand_index, uint32_t operand)) { | |
315 if (Bytecodes::OperandIsScalableSignedByte(bytecode(), operand_index)) { | |
316 operand_scale_ = | |
317 std::max(operand_scale_, Bytecodes::ScaleForSignedOperand(operand)); | |
318 } else if (Bytecodes::OperandIsScalableUnsignedByte(bytecode(), | |
319 operand_index)) { | |
320 operand_scale_ = | |
321 std::max(operand_scale_, Bytecodes::ScaleForUnsignedOperand(operand)); | |
322 } | |
323 } | |
324 | |
325 INLINE(void SetOperand(int operand_index, uint32_t operand)) { | |
326 operands_[operand_index] = operand; | |
327 UpdateScaleForOperand(operand_index, operand); | |
328 } | |
329 | |
330 void ResetScale() { | |
331 operand_scale_ = OperandScale::kSingle; | |
332 for (int i = 0; i < operand_count(); i++) { | |
333 UpdateScaleForOperand(i, operands_[i]); | |
334 } | |
335 } | |
215 | 336 |
216 Bytecode bytecode_; | 337 Bytecode bytecode_; |
217 uint32_t operands_[Bytecodes::kMaxOperands]; | 338 uint32_t operands_[Bytecodes::kMaxOperands]; |
339 int operand_count_; | |
340 OperandScale operand_scale_; | |
218 BytecodeSourceInfo source_info_; | 341 BytecodeSourceInfo source_info_; |
219 }; | 342 }; |
220 | 343 |
221 std::ostream& operator<<(std::ostream& os, const BytecodeSourceInfo& info); | 344 std::ostream& operator<<(std::ostream& os, const BytecodeSourceInfo& info); |
222 std::ostream& operator<<(std::ostream& os, const BytecodeNode& node); | 345 std::ostream& operator<<(std::ostream& os, const BytecodeNode& node); |
223 | 346 |
224 } // namespace interpreter | 347 } // namespace interpreter |
225 } // namespace internal | 348 } // namespace internal |
226 } // namespace v8 | 349 } // namespace v8 |
227 | 350 |
228 #endif // V8_INTERPRETER_BYTECODE_PIPELINE_H_ | 351 #endif // V8_INTERPRETER_BYTECODE_PIPELINE_H_ |
OLD | NEW |