Home | History | Annotate | Download | only in ic
      1 // Copyright 2012 the V8 project authors. All rights reserved.
      2 // Use of this source code is governed by a BSD-style license that can be
      3 // found in the LICENSE file.
      4 
      5 #ifndef V8_IC_H_
      6 #define V8_IC_H_
      7 
      8 #include "src/ic/ic-state.h"
      9 #include "src/macro-assembler.h"
     10 
     11 namespace v8 {
     12 namespace internal {
     13 
     14 
     15 // IC_UTIL_LIST defines all utility functions called from generated
     16 // inline caching code. The argument for the macro, ICU, is the function name.
     17 #define IC_UTIL_LIST(ICU)              \
     18   ICU(LoadIC_Miss)                     \
     19   ICU(KeyedLoadIC_Miss)                \
     20   ICU(CallIC_Miss)                     \
     21   ICU(CallIC_Customization_Miss)       \
     22   ICU(StoreIC_Miss)                    \
     23   ICU(StoreIC_Slow)                    \
     24   ICU(SharedStoreIC_ExtendStorage)     \
     25   ICU(KeyedStoreIC_Miss)               \
     26   ICU(KeyedStoreIC_Slow)               \
     27   /* Utilities for IC stubs. */        \
     28   ICU(StoreCallbackProperty)           \
     29   ICU(LoadPropertyWithInterceptorOnly) \
     30   ICU(LoadPropertyWithInterceptor)     \
     31   ICU(LoadElementWithInterceptor)      \
     32   ICU(StorePropertyWithInterceptor)    \
     33   ICU(CompareIC_Miss)                  \
     34   ICU(BinaryOpIC_Miss)                 \
     35   ICU(CompareNilIC_Miss)               \
     36   ICU(Unreachable)                     \
     37   ICU(ToBooleanIC_Miss)
     38 //
     39 // IC is the base class for LoadIC, StoreIC, KeyedLoadIC, and KeyedStoreIC.
     40 //
     41 class IC {
     42  public:
     43   // The ids for utility called from the generated code.
     44   enum UtilityId {
     45 #define CONST_NAME(name) k##name,
     46     IC_UTIL_LIST(CONST_NAME)
     47 #undef CONST_NAME
     48     kUtilityCount
     49   };
     50 
     51   // Looks up the address of the named utility.
     52   static Address AddressFromUtilityId(UtilityId id);
     53 
     54   // Alias the inline cache state type to make the IC code more readable.
     55   typedef InlineCacheState State;
     56 
     57   // The IC code is either invoked with no extra frames on the stack
     58   // or with a single extra frame for supporting calls.
     59   enum FrameDepth { NO_EXTRA_FRAME = 0, EXTRA_CALL_FRAME = 1 };
     60 
     61   // Construct the IC structure with the given number of extra
     62   // JavaScript frames on the stack.
     63   IC(FrameDepth depth, Isolate* isolate);
     64   virtual ~IC() {}
     65 
     66   State state() const { return state_; }
     67   inline Address address() const;
     68 
     69   // Compute the current IC state based on the target stub, receiver and name.
     70   void UpdateState(Handle<Object> receiver, Handle<Object> name);
     71 
     72   bool IsNameCompatibleWithPrototypeFailure(Handle<Object> name);
     73   void MarkPrototypeFailure(Handle<Object> name) {
     74     DCHECK(IsNameCompatibleWithPrototypeFailure(name));
     75     state_ = PROTOTYPE_FAILURE;
     76   }
     77 
     78   // If the stub contains weak maps then this function adds the stub to
     79   // the dependent code array of each weak map.
     80   static void RegisterWeakMapDependency(Handle<Code> stub);
     81 
     82   // This function is called when a weak map in the stub is dying,
     83   // invalidates the stub by setting maps in it to undefined.
     84   static void InvalidateMaps(Code* stub);
     85 
     86   // Clear the inline cache to initial state.
     87   static void Clear(Isolate* isolate, Address address,
     88                     ConstantPoolArray* constant_pool);
     89 
     90 #ifdef DEBUG
     91   bool IsLoadStub() const {
     92     return target()->is_load_stub() || target()->is_keyed_load_stub();
     93   }
     94 
     95   bool IsStoreStub() const {
     96     return target()->is_store_stub() || target()->is_keyed_store_stub();
     97   }
     98 
     99   bool IsCallStub() const { return target()->is_call_stub(); }
    100 #endif
    101 
    102   template <class TypeClass>
    103   static JSFunction* GetRootConstructor(TypeClass* type,
    104                                         Context* native_context);
    105   static inline Handle<Map> GetHandlerCacheHolder(HeapType* type,
    106                                                   bool receiver_is_holder,
    107                                                   Isolate* isolate,
    108                                                   CacheHolderFlag* flag);
    109   static inline Handle<Map> GetICCacheHolder(HeapType* type, Isolate* isolate,
    110                                              CacheHolderFlag* flag);
    111 
    112   static bool IsCleared(Code* code) {
    113     InlineCacheState state = code->ic_state();
    114     return state == UNINITIALIZED || state == PREMONOMORPHIC;
    115   }
    116 
    117   // Utility functions to convert maps to types and back. There are two special
    118   // cases:
    119   // - The heap_number_map is used as a marker which includes heap numbers as
    120   //   well as smis.
    121   // - The oddball map is only used for booleans.
    122   static Handle<Map> TypeToMap(HeapType* type, Isolate* isolate);
    123   template <class T>
    124   static typename T::TypeHandle MapToType(Handle<Map> map,
    125                                           typename T::Region* region);
    126 
    127   static Handle<HeapType> CurrentTypeOf(Handle<Object> object,
    128                                         Isolate* isolate);
    129 
    130  protected:
    131   // Get the call-site target; used for determining the state.
    132   Handle<Code> target() const { return target_; }
    133 
    134   Address fp() const { return fp_; }
    135   Address pc() const { return *pc_address_; }
    136   Isolate* isolate() const { return isolate_; }
    137 
    138   // Get the shared function info of the caller.
    139   SharedFunctionInfo* GetSharedFunctionInfo() const;
    140   // Get the code object of the caller.
    141   Code* GetCode() const;
    142   // Get the original (non-breakpointed) code object of the caller.
    143   Code* GetOriginalCode() const;
    144 
    145   // Set the call-site target.
    146   inline void set_target(Code* code);
    147   bool is_target_set() { return target_set_; }
    148 
    149   char TransitionMarkFromState(IC::State state);
    150   void TraceIC(const char* type, Handle<Object> name);
    151   void TraceIC(const char* type, Handle<Object> name, State old_state,
    152                State new_state);
    153 
    154   MaybeHandle<Object> TypeError(const char* type, Handle<Object> object,
    155                                 Handle<Object> key);
    156   MaybeHandle<Object> ReferenceError(const char* type, Handle<Name> name);
    157 
    158   // Access the target code for the given IC address.
    159   static inline Code* GetTargetAtAddress(Address address,
    160                                          ConstantPoolArray* constant_pool);
    161   static inline void SetTargetAtAddress(Address address, Code* target,
    162                                         ConstantPoolArray* constant_pool);
    163   static void OnTypeFeedbackChanged(Isolate* isolate, Address address,
    164                                     State old_state, State new_state,
    165                                     bool target_remains_ic_stub);
    166   static void PostPatching(Address address, Code* target, Code* old_target);
    167 
    168   // Compute the handler either by compiling or by retrieving a cached version.
    169   Handle<Code> ComputeHandler(LookupIterator* lookup,
    170                               Handle<Object> value = Handle<Code>::null());
    171   virtual Handle<Code> CompileHandler(LookupIterator* lookup,
    172                                       Handle<Object> value,
    173                                       CacheHolderFlag cache_holder) {
    174     UNREACHABLE();
    175     return Handle<Code>::null();
    176   }
    177 
    178   void UpdateMonomorphicIC(Handle<Code> handler, Handle<Name> name);
    179   bool UpdatePolymorphicIC(Handle<Name> name, Handle<Code> code);
    180   void UpdateMegamorphicCache(HeapType* type, Name* name, Code* code);
    181 
    182   void CopyICToMegamorphicCache(Handle<Name> name);
    183   bool IsTransitionOfMonomorphicTarget(Map* source_map, Map* target_map);
    184   void PatchCache(Handle<Name> name, Handle<Code> code);
    185   Code::Kind kind() const { return kind_; }
    186   Code::Kind handler_kind() const {
    187     if (kind_ == Code::KEYED_LOAD_IC) return Code::LOAD_IC;
    188     DCHECK(kind_ == Code::LOAD_IC || kind_ == Code::STORE_IC ||
    189            kind_ == Code::KEYED_STORE_IC);
    190     return kind_;
    191   }
    192   virtual Handle<Code> megamorphic_stub() {
    193     UNREACHABLE();
    194     return Handle<Code>::null();
    195   }
    196 
    197   bool TryRemoveInvalidPrototypeDependentStub(Handle<Object> receiver,
    198                                               Handle<String> name);
    199 
    200   ExtraICState extra_ic_state() const { return extra_ic_state_; }
    201   void set_extra_ic_state(ExtraICState state) { extra_ic_state_ = state; }
    202 
    203   Handle<HeapType> receiver_type() { return receiver_type_; }
    204   void update_receiver_type(Handle<Object> receiver) {
    205     receiver_type_ = CurrentTypeOf(receiver, isolate_);
    206   }
    207 
    208   void TargetMaps(MapHandleList* list) {
    209     FindTargetMaps();
    210     for (int i = 0; i < target_maps_.length(); i++) {
    211       list->Add(target_maps_.at(i));
    212     }
    213   }
    214 
    215   void TargetTypes(TypeHandleList* list) {
    216     FindTargetMaps();
    217     for (int i = 0; i < target_maps_.length(); i++) {
    218       list->Add(MapToType<HeapType>(target_maps_.at(i), isolate_));
    219     }
    220   }
    221 
    222   Map* FirstTargetMap() {
    223     FindTargetMaps();
    224     return target_maps_.length() > 0 ? *target_maps_.at(0) : NULL;
    225   }
    226 
    227  protected:
    228   inline void UpdateTarget();
    229 
    230  private:
    231   inline Code* raw_target() const;
    232   inline ConstantPoolArray* constant_pool() const;
    233   inline ConstantPoolArray* raw_constant_pool() const;
    234 
    235   void FindTargetMaps() {
    236     if (target_maps_set_) return;
    237     target_maps_set_ = true;
    238     if (state_ == MONOMORPHIC) {
    239       Map* map = target_->FindFirstMap();
    240       if (map != NULL) target_maps_.Add(handle(map));
    241     } else if (state_ != UNINITIALIZED && state_ != PREMONOMORPHIC) {
    242       target_->FindAllMaps(&target_maps_);
    243     }
    244   }
    245 
    246   // Frame pointer for the frame that uses (calls) the IC.
    247   Address fp_;
    248 
    249   // All access to the program counter of an IC structure is indirect
    250   // to make the code GC safe. This feature is crucial since
    251   // GetProperty and SetProperty are called and they in turn might
    252   // invoke the garbage collector.
    253   Address* pc_address_;
    254 
    255   Isolate* isolate_;
    256 
    257   // The constant pool of the code which originally called the IC (which might
    258   // be for the breakpointed copy of the original code).
    259   Handle<ConstantPoolArray> raw_constant_pool_;
    260 
    261   // The original code target that missed.
    262   Handle<Code> target_;
    263   bool target_set_;
    264   State state_;
    265   Code::Kind kind_;
    266   Handle<HeapType> receiver_type_;
    267   MaybeHandle<Code> maybe_handler_;
    268 
    269   ExtraICState extra_ic_state_;
    270   MapHandleList target_maps_;
    271   bool target_maps_set_;
    272 
    273   DISALLOW_IMPLICIT_CONSTRUCTORS(IC);
    274 };
    275 
    276 
    277 // An IC_Utility encapsulates IC::UtilityId. It exists mainly because you
    278 // cannot make forward declarations to an enum.
    279 class IC_Utility {
    280  public:
    281   explicit IC_Utility(IC::UtilityId id)
    282       : address_(IC::AddressFromUtilityId(id)), id_(id) {}
    283 
    284   Address address() const { return address_; }
    285 
    286   IC::UtilityId id() const { return id_; }
    287 
    288  private:
    289   Address address_;
    290   IC::UtilityId id_;
    291 };
    292 
    293 
    294 class CallIC : public IC {
    295  public:
    296   explicit CallIC(Isolate* isolate) : IC(EXTRA_CALL_FRAME, isolate) {}
    297 
    298   void PatchMegamorphic(Handle<Object> function,
    299                         Handle<TypeFeedbackVector> vector, Handle<Smi> slot);
    300 
    301   void HandleMiss(Handle<Object> receiver, Handle<Object> function,
    302                   Handle<TypeFeedbackVector> vector, Handle<Smi> slot);
    303 
    304   // Returns true if a custom handler was installed.
    305   bool DoCustomHandler(Handle<Object> receiver, Handle<Object> function,
    306                        Handle<TypeFeedbackVector> vector, Handle<Smi> slot,
    307                        const CallICState& state);
    308 
    309   // Code generator routines.
    310   static Handle<Code> initialize_stub(Isolate* isolate, int argc,
    311                                       CallICState::CallType call_type);
    312 
    313   static void Clear(Isolate* isolate, Address address, Code* target,
    314                     ConstantPoolArray* constant_pool);
    315 
    316  private:
    317   inline IC::State FeedbackToState(Handle<TypeFeedbackVector> vector,
    318                                    Handle<Smi> slot) const;
    319 };
    320 
    321 
    322 class LoadIC : public IC {
    323  public:
    324   static ExtraICState ComputeExtraICState(ContextualMode contextual_mode) {
    325     return LoadICState(contextual_mode).GetExtraICState();
    326   }
    327 
    328   ContextualMode contextual_mode() const {
    329     return LoadICState::GetContextualMode(extra_ic_state());
    330   }
    331 
    332   explicit LoadIC(FrameDepth depth, Isolate* isolate) : IC(depth, isolate) {
    333     DCHECK(IsLoadStub());
    334   }
    335 
    336   // Returns if this IC is for contextual (no explicit receiver)
    337   // access to properties.
    338   bool IsUndeclaredGlobal(Handle<Object> receiver) {
    339     if (receiver->IsGlobalObject()) {
    340       return contextual_mode() == CONTEXTUAL;
    341     } else {
    342       DCHECK(contextual_mode() != CONTEXTUAL);
    343       return false;
    344     }
    345   }
    346 
    347   // Code generator routines.
    348   static void GenerateInitialize(MacroAssembler* masm) { GenerateMiss(masm); }
    349   static void GeneratePreMonomorphic(MacroAssembler* masm) {
    350     GenerateMiss(masm);
    351   }
    352   static void GenerateMiss(MacroAssembler* masm);
    353   static void GenerateNormal(MacroAssembler* masm);
    354   static void GenerateRuntimeGetProperty(MacroAssembler* masm);
    355 
    356   static Handle<Code> initialize_stub(Isolate* isolate,
    357                                       ExtraICState extra_state);
    358 
    359   MUST_USE_RESULT MaybeHandle<Object> Load(Handle<Object> object,
    360                                            Handle<Name> name);
    361 
    362  protected:
    363   inline void set_target(Code* code);
    364 
    365   Handle<Code> slow_stub() const {
    366     if (kind() == Code::LOAD_IC) {
    367       return isolate()->builtins()->LoadIC_Slow();
    368     } else {
    369       DCHECK_EQ(Code::KEYED_LOAD_IC, kind());
    370       return isolate()->builtins()->KeyedLoadIC_Slow();
    371     }
    372   }
    373 
    374   virtual Handle<Code> megamorphic_stub() OVERRIDE;
    375 
    376   // Update the inline cache and the global stub cache based on the
    377   // lookup result.
    378   void UpdateCaches(LookupIterator* lookup);
    379 
    380   virtual Handle<Code> CompileHandler(LookupIterator* lookup,
    381                                       Handle<Object> unused,
    382                                       CacheHolderFlag cache_holder);
    383 
    384  private:
    385   virtual Handle<Code> pre_monomorphic_stub() const;
    386   static Handle<Code> pre_monomorphic_stub(Isolate* isolate,
    387                                            ExtraICState extra_state);
    388 
    389   Handle<Code> SimpleFieldLoad(FieldIndex index);
    390 
    391   static void Clear(Isolate* isolate, Address address, Code* target,
    392                     ConstantPoolArray* constant_pool);
    393 
    394   friend class IC;
    395 };
    396 
    397 
    398 class KeyedLoadIC : public LoadIC {
    399  public:
    400   explicit KeyedLoadIC(FrameDepth depth, Isolate* isolate)
    401       : LoadIC(depth, isolate) {
    402     DCHECK(target()->is_keyed_load_stub());
    403   }
    404 
    405   MUST_USE_RESULT MaybeHandle<Object> Load(Handle<Object> object,
    406                                            Handle<Object> key);
    407 
    408   // Code generator routines.
    409   static void GenerateMiss(MacroAssembler* masm);
    410   static void GenerateRuntimeGetProperty(MacroAssembler* masm);
    411   static void GenerateInitialize(MacroAssembler* masm) { GenerateMiss(masm); }
    412   static void GeneratePreMonomorphic(MacroAssembler* masm) {
    413     GenerateMiss(masm);
    414   }
    415   static void GenerateGeneric(MacroAssembler* masm);
    416   static void GenerateString(MacroAssembler* masm);
    417 
    418   // Bit mask to be tested against bit field for the cases when
    419   // generic stub should go into slow case.
    420   // Access check is necessary explicitly since generic stub does not perform
    421   // map checks.
    422   static const int kSlowCaseBitFieldMask =
    423       (1 << Map::kIsAccessCheckNeeded) | (1 << Map::kHasIndexedInterceptor);
    424 
    425   static Handle<Code> generic_stub(Isolate* isolate);
    426   static Handle<Code> pre_monomorphic_stub(Isolate* isolate);
    427 
    428  protected:
    429   Handle<Code> LoadElementStub(Handle<JSObject> receiver);
    430   virtual Handle<Code> pre_monomorphic_stub() const {
    431     return pre_monomorphic_stub(isolate());
    432   }
    433 
    434  private:
    435   Handle<Code> generic_stub() const { return generic_stub(isolate()); }
    436   Handle<Code> string_stub() {
    437     return isolate()->builtins()->KeyedLoadIC_String();
    438   }
    439 
    440   static void Clear(Isolate* isolate, Address address, Code* target,
    441                     ConstantPoolArray* constant_pool);
    442 
    443   friend class IC;
    444 };
    445 
    446 
    447 class StoreIC : public IC {
    448  public:
    449   class StrictModeState : public BitField<StrictMode, 1, 1> {};
    450   static ExtraICState ComputeExtraICState(StrictMode flag) {
    451     return StrictModeState::encode(flag);
    452   }
    453   static StrictMode GetStrictMode(ExtraICState state) {
    454     return StrictModeState::decode(state);
    455   }
    456 
    457   // For convenience, a statically declared encoding of strict mode extra
    458   // IC state.
    459   static const ExtraICState kStrictModeState = 1 << StrictModeState::kShift;
    460 
    461   StoreIC(FrameDepth depth, Isolate* isolate) : IC(depth, isolate) {
    462     DCHECK(IsStoreStub());
    463   }
    464 
    465   StrictMode strict_mode() const {
    466     return StrictModeState::decode(extra_ic_state());
    467   }
    468 
    469   // Code generators for stub routines. Only called once at startup.
    470   static void GenerateSlow(MacroAssembler* masm);
    471   static void GenerateInitialize(MacroAssembler* masm) { GenerateMiss(masm); }
    472   static void GeneratePreMonomorphic(MacroAssembler* masm) {
    473     GenerateMiss(masm);
    474   }
    475   static void GenerateMiss(MacroAssembler* masm);
    476   static void GenerateMegamorphic(MacroAssembler* masm);
    477   static void GenerateNormal(MacroAssembler* masm);
    478   static void GenerateRuntimeSetProperty(MacroAssembler* masm,
    479                                          StrictMode strict_mode);
    480 
    481   static Handle<Code> initialize_stub(Isolate* isolate, StrictMode strict_mode);
    482 
    483   MUST_USE_RESULT MaybeHandle<Object> Store(
    484       Handle<Object> object, Handle<Name> name, Handle<Object> value,
    485       JSReceiver::StoreFromKeyed store_mode =
    486           JSReceiver::CERTAINLY_NOT_STORE_FROM_KEYED);
    487 
    488   bool LookupForWrite(LookupIterator* it, Handle<Object> value,
    489                       JSReceiver::StoreFromKeyed store_mode);
    490 
    491  protected:
    492   virtual Handle<Code> megamorphic_stub() OVERRIDE;
    493 
    494   // Stub accessors.
    495   Handle<Code> generic_stub() const;
    496 
    497   Handle<Code> slow_stub() const;
    498 
    499   virtual Handle<Code> pre_monomorphic_stub() const {
    500     return pre_monomorphic_stub(isolate(), strict_mode());
    501   }
    502 
    503   static Handle<Code> pre_monomorphic_stub(Isolate* isolate,
    504                                            StrictMode strict_mode);
    505 
    506   // Update the inline cache and the global stub cache based on the
    507   // lookup result.
    508   void UpdateCaches(LookupIterator* lookup, Handle<Object> value,
    509                     JSReceiver::StoreFromKeyed store_mode);
    510   virtual Handle<Code> CompileHandler(LookupIterator* lookup,
    511                                       Handle<Object> value,
    512                                       CacheHolderFlag cache_holder);
    513 
    514  private:
    515   inline void set_target(Code* code);
    516 
    517   static void Clear(Isolate* isolate, Address address, Code* target,
    518                     ConstantPoolArray* constant_pool);
    519 
    520   friend class IC;
    521 };
    522 
    523 
    524 enum KeyedStoreCheckMap { kDontCheckMap, kCheckMap };
    525 
    526 
    527 enum KeyedStoreIncrementLength { kDontIncrementLength, kIncrementLength };
    528 
    529 
    530 class KeyedStoreIC : public StoreIC {
    531  public:
    532   // ExtraICState bits (building on IC)
    533   // ExtraICState bits
    534   class ExtraICStateKeyedAccessStoreMode
    535       : public BitField<KeyedAccessStoreMode, 2, 4> {};  // NOLINT
    536 
    537   static ExtraICState ComputeExtraICState(StrictMode flag,
    538                                           KeyedAccessStoreMode mode) {
    539     return StrictModeState::encode(flag) |
    540            ExtraICStateKeyedAccessStoreMode::encode(mode);
    541   }
    542 
    543   static KeyedAccessStoreMode GetKeyedAccessStoreMode(
    544       ExtraICState extra_state) {
    545     return ExtraICStateKeyedAccessStoreMode::decode(extra_state);
    546   }
    547 
    548   KeyedStoreIC(FrameDepth depth, Isolate* isolate) : StoreIC(depth, isolate) {
    549     DCHECK(target()->is_keyed_store_stub());
    550   }
    551 
    552   MUST_USE_RESULT MaybeHandle<Object> Store(Handle<Object> object,
    553                                             Handle<Object> name,
    554                                             Handle<Object> value);
    555 
    556   // Code generators for stub routines.  Only called once at startup.
    557   static void GenerateInitialize(MacroAssembler* masm) { GenerateMiss(masm); }
    558   static void GeneratePreMonomorphic(MacroAssembler* masm) {
    559     GenerateMiss(masm);
    560   }
    561   static void GenerateMiss(MacroAssembler* masm);
    562   static void GenerateSlow(MacroAssembler* masm);
    563   static void GenerateGeneric(MacroAssembler* masm, StrictMode strict_mode);
    564   static void GenerateSloppyArguments(MacroAssembler* masm);
    565 
    566  protected:
    567   virtual Handle<Code> pre_monomorphic_stub() const {
    568     return pre_monomorphic_stub(isolate(), strict_mode());
    569   }
    570   static Handle<Code> pre_monomorphic_stub(Isolate* isolate,
    571                                            StrictMode strict_mode) {
    572     if (strict_mode == STRICT) {
    573       return isolate->builtins()->KeyedStoreIC_PreMonomorphic_Strict();
    574     } else {
    575       return isolate->builtins()->KeyedStoreIC_PreMonomorphic();
    576     }
    577   }
    578 
    579   Handle<Code> StoreElementStub(Handle<JSObject> receiver,
    580                                 KeyedAccessStoreMode store_mode);
    581 
    582  private:
    583   inline void set_target(Code* code);
    584 
    585   // Stub accessors.
    586   Handle<Code> sloppy_arguments_stub() {
    587     return isolate()->builtins()->KeyedStoreIC_SloppyArguments();
    588   }
    589 
    590   static void Clear(Isolate* isolate, Address address, Code* target,
    591                     ConstantPoolArray* constant_pool);
    592 
    593   KeyedAccessStoreMode GetStoreMode(Handle<JSObject> receiver,
    594                                     Handle<Object> key, Handle<Object> value);
    595 
    596   Handle<Map> ComputeTransitionedMap(Handle<Map> map,
    597                                      KeyedAccessStoreMode store_mode);
    598 
    599   friend class IC;
    600 };
    601 
    602 
    603 // Type Recording BinaryOpIC, that records the types of the inputs and outputs.
    604 class BinaryOpIC : public IC {
    605  public:
    606   explicit BinaryOpIC(Isolate* isolate) : IC(EXTRA_CALL_FRAME, isolate) {}
    607 
    608   static Builtins::JavaScript TokenToJSBuiltin(Token::Value op);
    609 
    610   MaybeHandle<Object> Transition(Handle<AllocationSite> allocation_site,
    611                                  Handle<Object> left,
    612                                  Handle<Object> right) WARN_UNUSED_RESULT;
    613 };
    614 
    615 
    616 class CompareIC : public IC {
    617  public:
    618   CompareIC(Isolate* isolate, Token::Value op)
    619       : IC(EXTRA_CALL_FRAME, isolate), op_(op) {}
    620 
    621   // Update the inline cache for the given operands.
    622   Code* UpdateCaches(Handle<Object> x, Handle<Object> y);
    623 
    624   // Helper function for computing the condition for a compare operation.
    625   static Condition ComputeCondition(Token::Value op);
    626 
    627   // Factory method for getting an uninitialized compare stub.
    628   static Handle<Code> GetUninitialized(Isolate* isolate, Token::Value op);
    629 
    630  private:
    631   static bool HasInlinedSmiCode(Address address);
    632 
    633   bool strict() const { return op_ == Token::EQ_STRICT; }
    634   Condition GetCondition() const { return ComputeCondition(op_); }
    635 
    636   static Code* GetRawUninitialized(Isolate* isolate, Token::Value op);
    637 
    638   static void Clear(Isolate* isolate, Address address, Code* target,
    639                     ConstantPoolArray* constant_pool);
    640 
    641   Token::Value op_;
    642 
    643   friend class IC;
    644 };
    645 
    646 
    647 class CompareNilIC : public IC {
    648  public:
    649   explicit CompareNilIC(Isolate* isolate) : IC(EXTRA_CALL_FRAME, isolate) {}
    650 
    651   Handle<Object> CompareNil(Handle<Object> object);
    652 
    653   static Handle<Code> GetUninitialized();
    654 
    655   static void Clear(Address address, Code* target,
    656                     ConstantPoolArray* constant_pool);
    657 
    658   static Handle<Object> DoCompareNilSlow(Isolate* isolate, NilValue nil,
    659                                          Handle<Object> object);
    660 };
    661 
    662 
    663 class ToBooleanIC : public IC {
    664  public:
    665   explicit ToBooleanIC(Isolate* isolate) : IC(EXTRA_CALL_FRAME, isolate) {}
    666 
    667   Handle<Object> ToBoolean(Handle<Object> object);
    668 };
    669 
    670 
    671 // Helper for BinaryOpIC and CompareIC.
    672 enum InlinedSmiCheck { ENABLE_INLINED_SMI_CHECK, DISABLE_INLINED_SMI_CHECK };
    673 void PatchInlinedSmiCode(Address address, InlinedSmiCheck check);
    674 
    675 DECLARE_RUNTIME_FUNCTION(KeyedLoadIC_MissFromStubFailure);
    676 DECLARE_RUNTIME_FUNCTION(KeyedStoreIC_MissFromStubFailure);
    677 DECLARE_RUNTIME_FUNCTION(UnaryOpIC_Miss);
    678 DECLARE_RUNTIME_FUNCTION(StoreIC_MissFromStubFailure);
    679 DECLARE_RUNTIME_FUNCTION(ElementsTransitionAndStoreIC_Miss);
    680 DECLARE_RUNTIME_FUNCTION(BinaryOpIC_Miss);
    681 DECLARE_RUNTIME_FUNCTION(BinaryOpIC_MissWithAllocationSite);
    682 DECLARE_RUNTIME_FUNCTION(CompareNilIC_Miss);
    683 DECLARE_RUNTIME_FUNCTION(ToBooleanIC_Miss);
    684 DECLARE_RUNTIME_FUNCTION(VectorLoadIC_MissFromStubFailure);
    685 DECLARE_RUNTIME_FUNCTION(VectorKeyedLoadIC_MissFromStubFailure);
    686 
    687 // Support functions for callbacks handlers.
    688 DECLARE_RUNTIME_FUNCTION(StoreCallbackProperty);
    689 
    690 // Support functions for interceptor handlers.
    691 DECLARE_RUNTIME_FUNCTION(LoadPropertyWithInterceptorOnly);
    692 DECLARE_RUNTIME_FUNCTION(LoadPropertyWithInterceptor);
    693 DECLARE_RUNTIME_FUNCTION(LoadElementWithInterceptor);
    694 DECLARE_RUNTIME_FUNCTION(StorePropertyWithInterceptor);
    695 }
    696 }  // namespace v8::internal
    697 
    698 #endif  // V8_IC_H_
    699