| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 #ifndef RUNTIME_VM_DEOPT_INSTRUCTIONS_H_ | 5 #ifndef RUNTIME_VM_DEOPT_INSTRUCTIONS_H_ |
| 6 #define RUNTIME_VM_DEOPT_INSTRUCTIONS_H_ | 6 #define RUNTIME_VM_DEOPT_INSTRUCTIONS_H_ |
| 7 | 7 |
| 8 #include "vm/allocation.h" | 8 #include "vm/allocation.h" |
| 9 #include "vm/assembler.h" | 9 #include "vm/assembler.h" |
| 10 #include "vm/code_descriptors.h" |
| 10 #include "vm/code_generator.h" | 11 #include "vm/code_generator.h" |
| 11 #include "vm/deferred_objects.h" | 12 #include "vm/deferred_objects.h" |
| 12 #include "vm/flow_graph_compiler.h" | 13 #include "vm/flow_graph_compiler.h" |
| 13 #include "vm/growable_array.h" | 14 #include "vm/growable_array.h" |
| 14 #include "vm/locations.h" | 15 #include "vm/locations.h" |
| 15 #include "vm/object.h" | 16 #include "vm/object.h" |
| 16 #include "vm/stack_frame.h" | 17 #include "vm/stack_frame.h" |
| 17 #include "vm/thread.h" | 18 #include "vm/thread.h" |
| 18 | 19 |
| 19 namespace dart { | 20 namespace dart { |
| (...skipping 30 matching lines...) Expand all Loading... |
| 50 intptr_t* GetSourceFrameAddressAt(intptr_t index) const { | 51 intptr_t* GetSourceFrameAddressAt(intptr_t index) const { |
| 51 ASSERT(source_frame_ != NULL); | 52 ASSERT(source_frame_ != NULL); |
| 52 ASSERT((0 <= index) && (index < source_frame_size_)); | 53 ASSERT((0 <= index) && (index < source_frame_size_)); |
| 53 #if !defined(TARGET_ARCH_DBC) | 54 #if !defined(TARGET_ARCH_DBC) |
| 54 // Convert FP relative index to SP relative one. | 55 // Convert FP relative index to SP relative one. |
| 55 index = source_frame_size_ - 1 - index; | 56 index = source_frame_size_ - 1 - index; |
| 56 #endif // !defined(TARGET_ARCH_DBC) | 57 #endif // !defined(TARGET_ARCH_DBC) |
| 57 return &source_frame_[index]; | 58 return &source_frame_[index]; |
| 58 } | 59 } |
| 59 | 60 |
| 61 // Returns index in stack slot notation where -1 is the first argument |
| 62 // For DBC returns index directly relative to FP. |
| 63 intptr_t GetStackSlot(intptr_t index) const { |
| 64 ASSERT((0 <= index) && (index < source_frame_size_)); |
| 65 index -= num_args_; |
| 66 #if defined(TARGET_ARCH_DBC) |
| 67 return index < 0 ? index - kDartFrameFixedSize : index; |
| 68 #else |
| 69 return index < 0 ? index : index - kDartFrameFixedSize; |
| 70 #endif // defined(TARGET_ARCH_DBC) |
| 71 } |
| 72 |
| 60 intptr_t GetSourceFp() const; | 73 intptr_t GetSourceFp() const; |
| 61 intptr_t GetSourcePp() const; | 74 intptr_t GetSourcePp() const; |
| 62 intptr_t GetSourcePc() const; | 75 intptr_t GetSourcePc() const; |
| 63 | 76 |
| 64 intptr_t GetCallerFp() const; | 77 intptr_t GetCallerFp() const; |
| 65 void SetCallerFp(intptr_t callers_fp); | 78 void SetCallerFp(intptr_t callers_fp); |
| 66 | 79 |
| 67 RawObject* ObjectAt(intptr_t index) const { | 80 RawObject* ObjectAt(intptr_t index) const { |
| 68 const ObjectPool& object_pool = ObjectPool::Handle(object_pool_); | 81 const ObjectPool& object_pool = ObjectPool::Handle(object_pool_); |
| 69 return object_pool.ObjectAt(index); | 82 return object_pool.ObjectAt(index); |
| (...skipping 76 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 146 bool HasDeoptFlag(ICData::DeoptFlags flag) { | 159 bool HasDeoptFlag(ICData::DeoptFlags flag) { |
| 147 return (deopt_flags_ & flag) != 0; | 160 return (deopt_flags_ & flag) != 0; |
| 148 } | 161 } |
| 149 | 162 |
| 150 RawTypedData* deopt_info() const { return deopt_info_; } | 163 RawTypedData* deopt_info() const { return deopt_info_; } |
| 151 | 164 |
| 152 // Fills the destination frame but defers materialization of | 165 // Fills the destination frame but defers materialization of |
| 153 // objects. | 166 // objects. |
| 154 void FillDestFrame(); | 167 void FillDestFrame(); |
| 155 | 168 |
| 169 // Allocate and prepare exceptions metadata for TrySync |
| 170 intptr_t* CatchEntryState(intptr_t num_vars); |
| 171 |
| 156 // Materializes all deferred objects. Returns the total number of | 172 // Materializes all deferred objects. Returns the total number of |
| 157 // artificial arguments used during deoptimization. | 173 // artificial arguments used during deoptimization. |
| 158 intptr_t MaterializeDeferredObjects(); | 174 intptr_t MaterializeDeferredObjects(); |
| 159 | 175 |
| 160 RawArray* DestFrameAsArray(); | 176 RawArray* DestFrameAsArray(); |
| 161 | 177 |
| 162 void VisitObjectPointers(ObjectPointerVisitor* visitor); | 178 void VisitObjectPointers(ObjectPointerVisitor* visitor); |
| 163 | 179 |
| 164 void DeferMaterializedObjectRef(intptr_t idx, intptr_t* slot) { | 180 void DeferMaterializedObjectRef(intptr_t idx, intptr_t* slot) { |
| 165 deferred_slots_ = new DeferredObjectRef( | 181 deferred_slots_ = new DeferredObjectRef( |
| (...skipping 98 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 264 | 280 |
| 265 intptr_t deferred_objects_count_; | 281 intptr_t deferred_objects_count_; |
| 266 DeferredObject** deferred_objects_; | 282 DeferredObject** deferred_objects_; |
| 267 | 283 |
| 268 const bool is_lazy_deopt_; | 284 const bool is_lazy_deopt_; |
| 269 const bool deoptimizing_code_; | 285 const bool deoptimizing_code_; |
| 270 | 286 |
| 271 DISALLOW_COPY_AND_ASSIGN(DeoptContext); | 287 DISALLOW_COPY_AND_ASSIGN(DeoptContext); |
| 272 }; | 288 }; |
| 273 | 289 |
| 274 | |
| 275 // Represents one deopt instruction, e.g, setup return address, store object, | 290 // Represents one deopt instruction, e.g, setup return address, store object, |
| 276 // store register, etc. The target is defined by instruction's position in | 291 // store register, etc. The target is defined by instruction's position in |
| 277 // the deopt-info array. | 292 // the deopt-info array. |
| 278 class DeoptInstr : public ZoneAllocated { | 293 class DeoptInstr : public ZoneAllocated { |
| 279 public: | 294 public: |
| 280 enum Kind { | 295 enum Kind { |
| 281 kRetAddress, | 296 kRetAddress, |
| 282 kConstant, | 297 kConstant, |
| 283 kWord, | 298 kWord, |
| 284 kDouble, | 299 kDouble, |
| (...skipping 27 matching lines...) Expand all Loading... |
| 312 if (args != NULL) { | 327 if (args != NULL) { |
| 313 return Thread::Current()->zone()->PrintToString( | 328 return Thread::Current()->zone()->PrintToString( |
| 314 "%s(%s)", KindToCString(kind()), args); | 329 "%s(%s)", KindToCString(kind()), args); |
| 315 } else { | 330 } else { |
| 316 return KindToCString(kind()); | 331 return KindToCString(kind()); |
| 317 } | 332 } |
| 318 } | 333 } |
| 319 | 334 |
| 320 virtual void Execute(DeoptContext* deopt_context, intptr_t* dest_addr) = 0; | 335 virtual void Execute(DeoptContext* deopt_context, intptr_t* dest_addr) = 0; |
| 321 | 336 |
| 337 // Convert DeoptInstr to TrySync metadata entry. |
| 338 virtual CatchEntryStatePair ToCatchEntryStatePair(DeoptContext* deopt_context, |
| 339 intptr_t dest_slot) { |
| 340 UNREACHABLE(); |
| 341 return CatchEntryStatePair(); |
| 342 } |
| 343 |
| 322 virtual DeoptInstr::Kind kind() const = 0; | 344 virtual DeoptInstr::Kind kind() const = 0; |
| 323 | 345 |
| 324 bool Equals(const DeoptInstr& other) const { | 346 bool Equals(const DeoptInstr& other) const { |
| 325 return (kind() == other.kind()) && (source_index() == other.source_index()); | 347 return (kind() == other.kind()) && (source_index() == other.source_index()); |
| 326 } | 348 } |
| 327 | 349 |
| 328 // Get the code and return address which is encoded in this | 350 // Get the code and return address which is encoded in this |
| 329 // kRetAfterAddress deopt instruction. | 351 // kRetAfterAddress deopt instruction. |
| 330 static uword GetRetAddress(DeoptInstr* instr, | 352 static uword GetRetAddress(DeoptInstr* instr, |
| 331 const ObjectPool& object_pool, | 353 const ObjectPool& object_pool, |
| (...skipping 73 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 405 T Value(DeoptContext* context) const { | 427 T Value(DeoptContext* context) const { |
| 406 if (is_register()) { | 428 if (is_register()) { |
| 407 return static_cast<T>( | 429 return static_cast<T>( |
| 408 RegisterReader<RegisterType, T>::Read(context, reg())); | 430 RegisterReader<RegisterType, T>::Read(context, reg())); |
| 409 } else { | 431 } else { |
| 410 return *reinterpret_cast<T*>( | 432 return *reinterpret_cast<T*>( |
| 411 context->GetSourceFrameAddressAt(raw_index())); | 433 context->GetSourceFrameAddressAt(raw_index())); |
| 412 } | 434 } |
| 413 } | 435 } |
| 414 | 436 |
| 437 intptr_t StackSlot(DeoptContext* context) const { |
| 438 if (is_register()) { |
| 439 return raw_index(); // in DBC stack slots are registers. |
| 440 } else { |
| 441 return context->GetStackSlot(raw_index()); |
| 442 } |
| 443 } |
| 444 |
| 415 intptr_t source_index() const { return source_index_; } | 445 intptr_t source_index() const { return source_index_; } |
| 416 | 446 |
| 417 const char* ToCString() const { | 447 const char* ToCString() const { |
| 418 if (is_register()) { | 448 if (is_register()) { |
| 419 return Name(reg()); | 449 return Name(reg()); |
| 420 } else { | 450 } else { |
| 421 return Thread::Current()->zone()->PrintToString("s%" Pd "", raw_index()); | 451 return Thread::Current()->zone()->PrintToString("s%" Pd "", raw_index()); |
| 422 } | 452 } |
| 423 } | 453 } |
| 424 | 454 |
| (...skipping 147 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 572 class ReasonField : public BitField<intptr_t, ICData::DeoptReasonId, 0, 8> {}; | 602 class ReasonField : public BitField<intptr_t, ICData::DeoptReasonId, 0, 8> {}; |
| 573 class FlagsField : public BitField<intptr_t, uint32_t, 8, 8> {}; | 603 class FlagsField : public BitField<intptr_t, uint32_t, 8, 8> {}; |
| 574 | 604 |
| 575 private: | 605 private: |
| 576 static const intptr_t kEntrySize = 3; | 606 static const intptr_t kEntrySize = 3; |
| 577 }; | 607 }; |
| 578 | 608 |
| 579 } // namespace dart | 609 } // namespace dart |
| 580 | 610 |
| 581 #endif // RUNTIME_VM_DEOPT_INSTRUCTIONS_H_ | 611 #endif // RUNTIME_VM_DEOPT_INSTRUCTIONS_H_ |
| OLD | NEW |