Chromium Code Reviews| OLD | NEW |
|---|---|
| 1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 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_TYPE_FEEDBACK_VECTOR_H_ | 5 #ifndef V8_TYPE_FEEDBACK_VECTOR_H_ |
| 6 #define V8_TYPE_FEEDBACK_VECTOR_H_ | 6 #define V8_TYPE_FEEDBACK_VECTOR_H_ |
| 7 | 7 |
| 8 #include <vector> | 8 #include <vector> |
| 9 | 9 |
| 10 #include "src/base/logging.h" | 10 #include "src/base/logging.h" |
| 11 #include "src/elements-kind.h" | 11 #include "src/elements-kind.h" |
| 12 #include "src/objects.h" | 12 #include "src/objects.h" |
| 13 #include "src/type-hints.h" | 13 #include "src/type-hints.h" |
| 14 #include "src/zone/zone-containers.h" | 14 #include "src/zone/zone-containers.h" |
| 15 | 15 |
| 16 namespace v8 { | 16 namespace v8 { |
| 17 namespace internal { | 17 namespace internal { |
| 18 | 18 |
| 19 enum class FeedbackVectorSlotKind { | 19 enum class FeedbackVectorSlotKind { |
| 20 // This kind means that the slot points to the middle of other slot | 20 // This kind means that the slot points to the middle of other slot |
| 21 // which occupies more than one feedback vector element. | 21 // which occupies more than one feedback vector element. |
| 22 // There must be no such slots in the system. | 22 // There must be no such slots in the system. |
| 23 INVALID, | 23 INVALID, |
| 24 | 24 |
| 25 CALL_IC, | 25 CALL_IC, |
| 26 LOAD_IC, | 26 LOAD_IC, |
| 27 LOAD_GLOBAL_IC, | 27 LOAD_GLOBAL_NOT_INSIDE_TYPEOF_IC, |
| 28 LOAD_GLOBAL_INSIDE_TYPEOF_IC, | |
| 28 KEYED_LOAD_IC, | 29 KEYED_LOAD_IC, |
| 29 STORE_SLOPPY_IC, | 30 STORE_SLOPPY_IC, |
| 30 STORE_STRICT_IC, | 31 STORE_STRICT_IC, |
| 31 KEYED_STORE_SLOPPY_IC, | 32 KEYED_STORE_SLOPPY_IC, |
| 32 KEYED_STORE_STRICT_IC, | 33 KEYED_STORE_STRICT_IC, |
| 33 INTERPRETER_BINARYOP_IC, | 34 INTERPRETER_BINARYOP_IC, |
| 34 INTERPRETER_COMPARE_IC, | 35 INTERPRETER_COMPARE_IC, |
| 35 STORE_DATA_PROPERTY_IN_LITERAL_IC, | 36 STORE_DATA_PROPERTY_IN_LITERAL_IC, |
| 36 CREATE_CLOSURE, | 37 CREATE_CLOSURE, |
| 37 LITERAL, | 38 LITERAL, |
| 38 // This is a general purpose slot that occupies one feedback vector element. | 39 // This is a general purpose slot that occupies one feedback vector element. |
| 39 GENERAL, | 40 GENERAL, |
| 40 | 41 |
| 41 KINDS_NUMBER // Last value indicating number of kinds. | 42 KINDS_NUMBER // Last value indicating number of kinds. |
| 42 }; | 43 }; |
| 43 | 44 |
| 44 inline bool IsCallICKind(FeedbackVectorSlotKind kind) { | 45 inline bool IsCallICKind(FeedbackVectorSlotKind kind) { |
| 45 return kind == FeedbackVectorSlotKind::CALL_IC; | 46 return kind == FeedbackVectorSlotKind::CALL_IC; |
| 46 } | 47 } |
| 47 | 48 |
| 48 inline bool IsLoadICKind(FeedbackVectorSlotKind kind) { | 49 inline bool IsLoadICKind(FeedbackVectorSlotKind kind) { |
| 49 return kind == FeedbackVectorSlotKind::LOAD_IC; | 50 return kind == FeedbackVectorSlotKind::LOAD_IC; |
| 50 } | 51 } |
| 51 | 52 |
| 52 inline bool IsLoadGlobalICKind(FeedbackVectorSlotKind kind) { | 53 inline bool IsLoadGlobalICKind(FeedbackVectorSlotKind kind) { |
| 53 return kind == FeedbackVectorSlotKind::LOAD_GLOBAL_IC; | 54 return kind == FeedbackVectorSlotKind::LOAD_GLOBAL_NOT_INSIDE_TYPEOF_IC || |
| 55 kind == FeedbackVectorSlotKind::LOAD_GLOBAL_INSIDE_TYPEOF_IC; | |
| 54 } | 56 } |
| 55 | 57 |
| 56 inline bool IsKeyedLoadICKind(FeedbackVectorSlotKind kind) { | 58 inline bool IsKeyedLoadICKind(FeedbackVectorSlotKind kind) { |
| 57 return kind == FeedbackVectorSlotKind::KEYED_LOAD_IC; | 59 return kind == FeedbackVectorSlotKind::KEYED_LOAD_IC; |
| 58 } | 60 } |
| 59 | 61 |
| 60 inline bool IsStoreICKind(FeedbackVectorSlotKind kind) { | 62 inline bool IsStoreICKind(FeedbackVectorSlotKind kind) { |
| 61 return kind == FeedbackVectorSlotKind::STORE_SLOPPY_IC || | 63 return kind == FeedbackVectorSlotKind::STORE_SLOPPY_IC || |
| 62 kind == FeedbackVectorSlotKind::STORE_STRICT_IC; | 64 kind == FeedbackVectorSlotKind::STORE_STRICT_IC; |
| 63 } | 65 } |
| 64 | 66 |
| 65 inline bool IsKeyedStoreICKind(FeedbackVectorSlotKind kind) { | 67 inline bool IsKeyedStoreICKind(FeedbackVectorSlotKind kind) { |
| 66 return kind == FeedbackVectorSlotKind::KEYED_STORE_SLOPPY_IC || | 68 return kind == FeedbackVectorSlotKind::KEYED_STORE_SLOPPY_IC || |
| 67 kind == FeedbackVectorSlotKind::KEYED_STORE_STRICT_IC; | 69 kind == FeedbackVectorSlotKind::KEYED_STORE_STRICT_IC; |
| 68 } | 70 } |
| 69 | 71 |
| 72 inline TypeofMode GetTypeofModeFromICKind(FeedbackVectorSlotKind kind) { | |
| 73 DCHECK(IsLoadGlobalICKind(kind)); | |
| 74 return (kind == FeedbackVectorSlotKind::LOAD_GLOBAL_INSIDE_TYPEOF_IC) | |
| 75 ? INSIDE_TYPEOF | |
| 76 : NOT_INSIDE_TYPEOF; | |
| 77 } | |
| 78 | |
| 70 inline LanguageMode GetLanguageModeFromICKind(FeedbackVectorSlotKind kind) { | 79 inline LanguageMode GetLanguageModeFromICKind(FeedbackVectorSlotKind kind) { |
| 71 DCHECK(IsStoreICKind(kind) || IsKeyedStoreICKind(kind)); | 80 DCHECK(IsStoreICKind(kind) || IsKeyedStoreICKind(kind)); |
| 72 return (kind == FeedbackVectorSlotKind::STORE_SLOPPY_IC || | 81 return (kind == FeedbackVectorSlotKind::STORE_SLOPPY_IC || |
| 73 kind == FeedbackVectorSlotKind::KEYED_STORE_SLOPPY_IC) | 82 kind == FeedbackVectorSlotKind::KEYED_STORE_SLOPPY_IC) |
| 74 ? SLOPPY | 83 ? SLOPPY |
| 75 : STRICT; | 84 : STRICT; |
| 76 } | 85 } |
| 77 | 86 |
| 78 std::ostream& operator<<(std::ostream& os, FeedbackVectorSlotKind kind); | 87 std::ostream& operator<<(std::ostream& os, FeedbackVectorSlotKind kind); |
| 79 | 88 |
| 80 | 89 |
| 81 template <typename Derived> | 90 template <typename Derived> |
| 82 class FeedbackVectorSpecBase { | 91 class FeedbackVectorSpecBase { |
| 83 public: | 92 public: |
| 84 FeedbackVectorSlot AddCallICSlot() { | 93 FeedbackVectorSlot AddCallICSlot() { |
| 85 return AddSlot(FeedbackVectorSlotKind::CALL_IC); | 94 return AddSlot(FeedbackVectorSlotKind::CALL_IC); |
| 86 } | 95 } |
| 87 | 96 |
| 88 FeedbackVectorSlot AddLoadICSlot() { | 97 FeedbackVectorSlot AddLoadICSlot() { |
| 89 return AddSlot(FeedbackVectorSlotKind::LOAD_IC); | 98 return AddSlot(FeedbackVectorSlotKind::LOAD_IC); |
| 90 } | 99 } |
| 91 | 100 |
| 92 FeedbackVectorSlot AddLoadGlobalICSlot() { | 101 FeedbackVectorSlot AddLoadGlobalICSlot(TypeofMode typeof_mode) { |
| 93 return AddSlot(FeedbackVectorSlotKind::LOAD_GLOBAL_IC); | 102 return AddSlot( |
| 103 typeof_mode == INSIDE_TYPEOF | |
| 104 ? FeedbackVectorSlotKind::LOAD_GLOBAL_INSIDE_TYPEOF_IC | |
| 105 : FeedbackVectorSlotKind::LOAD_GLOBAL_NOT_INSIDE_TYPEOF_IC); | |
| 94 } | 106 } |
| 95 | 107 |
| 96 FeedbackVectorSlot AddCreateClosureSlot() { | 108 FeedbackVectorSlot AddCreateClosureSlot() { |
| 97 return AddSlot(FeedbackVectorSlotKind::CREATE_CLOSURE); | 109 return AddSlot(FeedbackVectorSlotKind::CREATE_CLOSURE); |
| 98 } | 110 } |
| 99 | 111 |
| 100 FeedbackVectorSlot AddKeyedLoadICSlot() { | 112 FeedbackVectorSlot AddKeyedLoadICSlot() { |
| 101 return AddSlot(FeedbackVectorSlotKind::KEYED_LOAD_IC); | 113 return AddSlot(FeedbackVectorSlotKind::KEYED_LOAD_IC); |
| 102 } | 114 } |
| 103 | 115 |
| (...skipping 201 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 305 bool Name(FeedbackVectorSlot slot) const { return Name##Kind(GetKind(slot)); } | 317 bool Name(FeedbackVectorSlot slot) const { return Name##Kind(GetKind(slot)); } |
| 306 | 318 |
| 307 DEFINE_SLOT_KIND_PREDICATE(IsCallIC) | 319 DEFINE_SLOT_KIND_PREDICATE(IsCallIC) |
| 308 DEFINE_SLOT_KIND_PREDICATE(IsLoadIC) | 320 DEFINE_SLOT_KIND_PREDICATE(IsLoadIC) |
| 309 DEFINE_SLOT_KIND_PREDICATE(IsLoadGlobalIC) | 321 DEFINE_SLOT_KIND_PREDICATE(IsLoadGlobalIC) |
| 310 DEFINE_SLOT_KIND_PREDICATE(IsKeyedLoadIC) | 322 DEFINE_SLOT_KIND_PREDICATE(IsKeyedLoadIC) |
| 311 DEFINE_SLOT_KIND_PREDICATE(IsStoreIC) | 323 DEFINE_SLOT_KIND_PREDICATE(IsStoreIC) |
| 312 DEFINE_SLOT_KIND_PREDICATE(IsKeyedStoreIC) | 324 DEFINE_SLOT_KIND_PREDICATE(IsKeyedStoreIC) |
| 313 #undef DEFINE_SLOT_KIND_PREDICATE | 325 #undef DEFINE_SLOT_KIND_PREDICATE |
| 314 | 326 |
| 315 // Returns language mode encoded into kind of given slot. | 327 // Returns language mode encoded into kind of given slot. |
|
Michael Starzinger
2017/02/06 13:26:17
nit: s/language mode/typeof mode/
| |
| 328 inline TypeofMode GetTypeofMode(FeedbackVectorSlot slot) const { | |
| 329 return GetTypeofModeFromICKind(GetKind(slot)); | |
| 330 } | |
| 331 | |
| 332 // Returns language mode encoded into kind of given slot. | |
| 316 inline LanguageMode GetLanguageMode(FeedbackVectorSlot slot) const { | 333 inline LanguageMode GetLanguageMode(FeedbackVectorSlot slot) const { |
| 317 return GetLanguageModeFromICKind(GetKind(slot)); | 334 return GetLanguageModeFromICKind(GetKind(slot)); |
| 318 } | 335 } |
| 319 | 336 |
| 320 #ifdef OBJECT_PRINT | 337 #ifdef OBJECT_PRINT |
| 321 // For gdb debugging. | 338 // For gdb debugging. |
| 322 void Print(); | 339 void Print(); |
| 323 #endif // OBJECT_PRINT | 340 #endif // OBJECT_PRINT |
| 324 | 341 |
| 325 DECLARE_PRINTER(TypeFeedbackVector) | 342 DECLARE_PRINTER(TypeFeedbackVector) |
| (...skipping 11 matching lines...) Expand all Loading... | |
| 337 // The object that indicates a megamorphic state. | 354 // The object that indicates a megamorphic state. |
| 338 static inline Handle<Symbol> MegamorphicSentinel(Isolate* isolate); | 355 static inline Handle<Symbol> MegamorphicSentinel(Isolate* isolate); |
| 339 | 356 |
| 340 // The object that indicates a premonomorphic state. | 357 // The object that indicates a premonomorphic state. |
| 341 static inline Handle<Symbol> PremonomorphicSentinel(Isolate* isolate); | 358 static inline Handle<Symbol> PremonomorphicSentinel(Isolate* isolate); |
| 342 | 359 |
| 343 // A raw version of the uninitialized sentinel that's safe to read during | 360 // A raw version of the uninitialized sentinel that's safe to read during |
| 344 // garbage collection (e.g., for patching the cache). | 361 // garbage collection (e.g., for patching the cache). |
| 345 static inline Symbol* RawUninitializedSentinel(Isolate* isolate); | 362 static inline Symbol* RawUninitializedSentinel(Isolate* isolate); |
| 346 | 363 |
| 347 static const int kDummyLoadICSlot = 0; | |
| 348 | |
| 349 static Handle<TypeFeedbackVector> DummyVector(Isolate* isolate); | |
| 350 | |
| 351 private: | 364 private: |
| 352 void ClearSlotsImpl(SharedFunctionInfo* shared, bool force_clear); | 365 void ClearSlotsImpl(SharedFunctionInfo* shared, bool force_clear); |
| 353 | 366 |
| 354 DISALLOW_IMPLICIT_CONSTRUCTORS(TypeFeedbackVector); | 367 DISALLOW_IMPLICIT_CONSTRUCTORS(TypeFeedbackVector); |
| 355 }; | 368 }; |
| 356 | 369 |
| 357 | 370 |
| 358 // The following asserts protect an optimization in type feedback vector | 371 // The following asserts protect an optimization in type feedback vector |
| 359 // code that looks into the contents of a slot assuming to find a String, | 372 // code that looks into the contents of a slot assuming to find a String, |
| 360 // a Symbol, an AllocationSite, a WeakCell, or a FixedArray. | 373 // a Symbol, an AllocationSite, a WeakCell, or a FixedArray. |
| (...skipping 161 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 522 float ComputeCallFrequency(); | 535 float ComputeCallFrequency(); |
| 523 }; | 536 }; |
| 524 | 537 |
| 525 | 538 |
| 526 class LoadICNexus : public FeedbackNexus { | 539 class LoadICNexus : public FeedbackNexus { |
| 527 public: | 540 public: |
| 528 LoadICNexus(Handle<TypeFeedbackVector> vector, FeedbackVectorSlot slot) | 541 LoadICNexus(Handle<TypeFeedbackVector> vector, FeedbackVectorSlot slot) |
| 529 : FeedbackNexus(vector, slot) { | 542 : FeedbackNexus(vector, slot) { |
| 530 DCHECK(vector->IsLoadIC(slot)); | 543 DCHECK(vector->IsLoadIC(slot)); |
| 531 } | 544 } |
| 532 explicit LoadICNexus(Isolate* isolate) | |
| 533 : FeedbackNexus( | |
| 534 TypeFeedbackVector::DummyVector(isolate), | |
| 535 FeedbackVectorSlot(TypeFeedbackVector::kDummyLoadICSlot)) {} | |
| 536 LoadICNexus(TypeFeedbackVector* vector, FeedbackVectorSlot slot) | 545 LoadICNexus(TypeFeedbackVector* vector, FeedbackVectorSlot slot) |
| 537 : FeedbackNexus(vector, slot) { | 546 : FeedbackNexus(vector, slot) { |
| 538 DCHECK(vector->IsLoadIC(slot)); | 547 DCHECK(vector->IsLoadIC(slot)); |
| 539 } | 548 } |
| 540 | 549 |
| 541 void Clear(Code* host); | 550 void Clear(Code* host); |
| 542 | 551 |
| 543 void ConfigureMonomorphic(Handle<Map> receiver_map, Handle<Object> handler); | 552 void ConfigureMonomorphic(Handle<Map> receiver_map, Handle<Object> handler); |
| 544 | 553 |
| 545 void ConfigurePolymorphic(MapHandleList* maps, | 554 void ConfigurePolymorphic(MapHandleList* maps, |
| (...skipping 200 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 746 InlineCacheState StateFromFeedback() const override; | 755 InlineCacheState StateFromFeedback() const override; |
| 747 }; | 756 }; |
| 748 | 757 |
| 749 inline BinaryOperationHint BinaryOperationHintFromFeedback(int type_feedback); | 758 inline BinaryOperationHint BinaryOperationHintFromFeedback(int type_feedback); |
| 750 inline CompareOperationHint CompareOperationHintFromFeedback(int type_feedback); | 759 inline CompareOperationHint CompareOperationHintFromFeedback(int type_feedback); |
| 751 | 760 |
| 752 } // namespace internal | 761 } // namespace internal |
| 753 } // namespace v8 | 762 } // namespace v8 |
| 754 | 763 |
| 755 #endif // V8_TRANSITIONS_H_ | 764 #endif // V8_TRANSITIONS_H_ |
| OLD | NEW |