Prototype implementation of GET_OWN_PROPERTY intrinsic.

src/ic.h

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #ifndef V8_IC_H_
 #define V8_IC_H_
 
 #include "src/macro-assembler.h"
 
 namespace v8 {
@@ skipping 166 matching lines @@
   static inline void SetTargetAtAddress(Address address,
                                         Code* target,
                                         ConstantPoolArray* constant_pool);
   static void OnTypeFeedbackChanged(Isolate* isolate, Address address,
                                     State old_state, State new_state,
                                     bool target_remains_ic_stub);
   static void PostPatching(Address address, Code* target, Code* old_target);
 
   // Compute the handler either by compiling or by retrieving a cached version.
   Handle<Code> ComputeHandler(LookupIterator* lookup, Handle<Object> object,
-                              Handle<String> name,
+                              Handle<Name> name,
                               Handle<Object> value = Handle<Code>::null());
   virtual Handle<Code> CompileHandler(LookupIterator* lookup,
                                       Handle<Object> object,
-                                      Handle<String> name, Handle<Object> value,
+                                      Handle<Name> name, Handle<Object> value,
                                       CacheHolderFlag cache_holder) {
     UNREACHABLE();
     return Handle<Code>::null();
   }
   // Temporary copy of the above, but using a LookupResult.
   // TODO(jkummerow): Migrate callers to LookupIterator and delete these.
   Handle<Code> ComputeStoreHandler(LookupResult* lookup, Handle<Object> object,
                                    Handle<String> name,
                                    Handle<Object> value = Handle<Code>::null());
   virtual Handle<Code> CompileStoreHandler(LookupResult* lookup,
                                            Handle<Object> object,
                                            Handle<String> name,
                                            Handle<Object> value,
                                            CacheHolderFlag cache_holder) {
     UNREACHABLE();
     return Handle<Code>::null();
   }
 
-  void UpdateMonomorphicIC(Handle<Code> handler, Handle<String> name);
-  bool UpdatePolymorphicIC(Handle<String> name, Handle<Code> code);
+  void UpdateMonomorphicIC(Handle<Code> handler, Handle<Name> name);
+  bool UpdatePolymorphicIC(Handle<Name> name, Handle<Code> code);
   void UpdateMegamorphicCache(HeapType* type, Name* name, Code* code);
 
-  void CopyICToMegamorphicCache(Handle<String> name);
+  void CopyICToMegamorphicCache(Handle<Name> name);
   bool IsTransitionOfMonomorphicTarget(Map* source_map, Map* target_map);
-  void PatchCache(Handle<String> name, Handle<Code> code);
+  void PatchCache(Handle<Name> name, Handle<Code> code);
   Code::Kind kind() const { return kind_; }
   Code::Kind handler_kind() const {
     if (kind_ == Code::KEYED_LOAD_IC) return Code::LOAD_IC;
     DCHECK(kind_ == Code::LOAD_IC || kind_ == Code::STORE_IC ||
            kind_ == Code::KEYED_STORE_IC);
     return kind_;
   }
   virtual Handle<Code> megamorphic_stub() {
     UNREACHABLE();
     return Handle<Code>::null();
@@ skipping 164 matching lines @@
 OStream& operator<<(OStream& os, const CallIC::State& s);
 
 
 class LoadIC: public IC {
  public:
   enum ParameterIndices {
     kReceiverIndex,
     kNameIndex,
     kParameterCount
   };
+  enum PropertyLookupMode {
+    NORMAL_LOOKUP,
+    OWN_PROPERTY_LOOKUP
+  };
   static const Register ReceiverRegister();
   static const Register NameRegister();
 
   // With flag vector-ics, there is an additional argument. And for calls from
   // crankshaft, yet another.
   static const Register SlotRegister();
   static const Register VectorRegister();
 
   class State V8_FINAL BASE_EMBEDDED {
    public:
     explicit State(ExtraICState extra_ic_state)
         : state_(extra_ic_state) {}
 
-    explicit State(ContextualMode mode)
-        : state_(ContextualModeBits::encode(mode)) {}
+    explicit State(
+        ContextualMode contextual_mode,
+        PropertyLookupMode property_lookup_mode)
+        : state_(ContextualModeBits::encode(contextual_mode) | 
+                 PropertyLookupModeBits::encode(property_lookup_mode)) {}
 
     ExtraICState GetExtraICState() const { return state_; }
 
     ContextualMode contextual_mode() const {
       return ContextualModeBits::decode(state_);
     }
 
+    PropertyLookupMode property_lookup_mode() const {
+      return PropertyLookupModeBits::decode(state_);
+    }
+
    private:
     class ContextualModeBits: public BitField<ContextualMode, 0, 1> {};
+    class PropertyLookupModeBits: public BitField<PropertyLookupMode, 1, 1>{};
     STATIC_ASSERT(static_cast<int>(NOT_CONTEXTUAL) == 0);
+    STATIC_ASSERT(static_cast<int>(NORMAL_LOOKUP) == 0);
 
     const ExtraICState state_;
   };
 
-  static ExtraICState ComputeExtraICState(ContextualMode contextual_mode) {
-    return State(contextual_mode).GetExtraICState();
+  static ExtraICState ComputeExtraICState(
+      ContextualMode contextual_mode, 
+      PropertyLookupMode property_lookup_mode) {
+    return State(contextual_mode, property_lookup_mode).GetExtraICState();
   }
 
   static ContextualMode GetContextualMode(ExtraICState state) {
     return State(state).contextual_mode();
   }
 
+  static PropertyLookupMode GetPropertyLookupMode(ExtraICState state) {
+    return State(state).property_lookup_mode();
+  }
+
   ContextualMode contextual_mode() const {
     return GetContextualMode(extra_ic_state());
   }
 
+  PropertyLookupMode property_lookup_mode() const {
+    return GetPropertyLookupMode(extra_ic_state());
+  }
+
   explicit LoadIC(FrameDepth depth, Isolate* isolate)
       : IC(depth, isolate) {
     DCHECK(IsLoadStub());
   }
 
   // Returns if this IC is for contextual (no explicit receiver)
   // access to properties.
   bool IsUndeclaredGlobal(Handle<Object> receiver) {
     if (receiver->IsGlobalObject()) {
       return contextual_mode() == CONTEXTUAL;
     } else {
       DCHECK(contextual_mode() != CONTEXTUAL);
       return false;
     }
   }
 
   // Code generator routines.
   static void GenerateInitialize(MacroAssembler* masm) { GenerateMiss(masm); }
   static void GeneratePreMonomorphic(MacroAssembler* masm) {
     GenerateMiss(masm);
   }
   static void GenerateMiss(MacroAssembler* masm);
-  static void GenerateMegamorphic(MacroAssembler* masm);
+  static void GenerateMegamorphic(MacroAssembler* masm, ExtraICState extra_ic_state);
   static void GenerateNormal(MacroAssembler* masm);
   static void GenerateRuntimeGetProperty(MacroAssembler* masm);
+  static void GenerateRuntimeGetOwnProperty(MacroAssembler* masm);
 
   static Handle<Code> initialize_stub(Isolate* isolate,
                                       ExtraICState extra_state);
 
   MUST_USE_RESULT MaybeHandle<Object> Load(Handle<Object> object,
-                                           Handle<String> name);
+                                           Handle<Name> name);
 
  protected:
   void set_target(Code* code) {
-    // The contextual mode must be preserved across IC patching.
+    // The contextual mode and the property lookup mode 
+    // must be preserved across IC patching.
     DCHECK(GetContextualMode(code->extra_ic_state()) ==
            GetContextualMode(target()->extra_ic_state()));
+    DCHECK(GetPropertyLookupMode(code->extra_ic_state()) ==
+           GetPropertyLookupMode(target()->extra_ic_state()));
 
     IC::set_target(code);
   }
 
   Handle<Code> slow_stub() const {
     if (kind() == Code::LOAD_IC) {
-      return isolate()->builtins()->LoadIC_Slow();
+      if (property_lookup_mode() == OWN_PROPERTY_LOOKUP) {
+        return isolate()->builtins()->LoadICOwn_Slow();
+      } else {
+        return isolate()->builtins()->LoadIC_Slow();
+      }
     } else {
       DCHECK_EQ(Code::KEYED_LOAD_IC, kind());
-      return isolate()->builtins()->KeyedLoadIC_Slow();
+      if (property_lookup_mode() == OWN_PROPERTY_LOOKUP) {
+        return isolate()->builtins()->KeyedLoadICOwn_Slow();
+      } else {
+        return isolate()->builtins()->KeyedLoadIC_Slow();
+      }
     }
   }
 
-  virtual Handle<Code> megamorphic_stub();
+  virtual Handle<Code> megamorphic_stub() V8_OVERRIDE;
 
   // Update the inline cache and the global stub cache based on the
   // lookup result.
   void UpdateCaches(LookupIterator* lookup, Handle<Object> object,
-                    Handle<String> name);
+                    Handle<Name> name);
 
   virtual Handle<Code> CompileHandler(LookupIterator* lookup,
                                       Handle<Object> object,
-                                      Handle<String> name,
+                                      Handle<Name> name,
                                       Handle<Object> unused,
                                       CacheHolderFlag cache_holder);
 
  private:
-  virtual Handle<Code> pre_monomorphic_stub() const;
+  virtual Handle<Code> pre_monomorphic_stub() V8_OVERRIDE const;
   static Handle<Code> pre_monomorphic_stub(Isolate* isolate,
                                            ExtraICState extra_state);
 
   Handle<Code> SimpleFieldLoad(FieldIndex index);
 
   static void Clear(Isolate* isolate,
                     Address address,
                     Code* target,
                     ConstantPoolArray* constant_pool);
 
   friend class IC;
 };
 
 
 class KeyedLoadIC: public LoadIC {
  public:
   explicit KeyedLoadIC(FrameDepth depth, Isolate* isolate)
       : LoadIC(depth, isolate) {
     DCHECK(target()->is_keyed_load_stub());
   }
 
   MUST_USE_RESULT MaybeHandle<Object> Load(Handle<Object> object,
                                            Handle<Object> key);
 
   // Code generator routines.
   static void GenerateMiss(MacroAssembler* masm);
   static void GenerateRuntimeGetProperty(MacroAssembler* masm);
+  static void GenerateRuntimeGetOwnProperty(MacroAssembler* masm);
   static void GenerateInitialize(MacroAssembler* masm) { GenerateMiss(masm); }
   static void GeneratePreMonomorphic(MacroAssembler* masm) {
     GenerateMiss(masm);
   }
-  static void GenerateGeneric(MacroAssembler* masm);
+  static void GenerateGeneric(MacroAssembler* masm, ExtraICState extra_state);
   static void GenerateString(MacroAssembler* masm);
   static void GenerateIndexedInterceptor(MacroAssembler* masm);
   static void GenerateSloppyArguments(MacroAssembler* masm);
 
   // Bit mask to be tested against bit field for the cases when
   // generic stub should go into slow case.
   // Access check is necessary explicitly since generic stub does not perform
   // map checks.
   static const int kSlowCaseBitFieldMask =
       (1 << Map::kIsAccessCheckNeeded) | (1 << Map::kHasIndexedInterceptor);
 
-  static Handle<Code> generic_stub(Isolate* isolate);
-  static Handle<Code> pre_monomorphic_stub(Isolate* isolate);
+  static Handle<Code> initialize_stub(Isolate* isolate,
+                                      ExtraICState extra_state);
+  static Handle<Code> generic_stub(Isolate* isolate,
+                                   ExtraICState extra_state);
+  static Handle<Code> pre_monomorphic_stub(Isolate* isolate,
+                                           ExtraICState extra_state);
 
  protected:
   Handle<Code> LoadElementStub(Handle<JSObject> receiver);
   virtual Handle<Code> pre_monomorphic_stub() const {
-    return pre_monomorphic_stub(isolate());
+    return pre_monomorphic_stub(isolate(), extra_ic_state());
   }
 
  private:
-  Handle<Code> generic_stub() const { return generic_stub(isolate()); }
+  Handle<Code> generic_stub() const { return generic_stub(isolate(), extra_ic_state()); }
   Handle<Code> indexed_interceptor_stub() {
+    DCHECK(GetPropertyLookupMode(extra_ic_state()) == NORMAL_LOOKUP);
     return isolate()->builtins()->KeyedLoadIC_IndexedInterceptor();
   }
   Handle<Code> sloppy_arguments_stub() {
+    DCHECK(GetPropertyLookupMode(extra_ic_state()) == NORMAL_LOOKUP);
     return isolate()->builtins()->KeyedLoadIC_SloppyArguments();
   }
   Handle<Code> string_stub() {
+    DCHECK(GetPropertyLookupMode(extra_ic_state()) == NORMAL_LOOKUP);
     return isolate()->builtins()->KeyedLoadIC_String();
   }
 
   static void Clear(Isolate* isolate,
                     Address address,
                     Code* target,
                     ConstantPoolArray* constant_pool);
 
   friend class IC;
 };
@@ skipping 462 matching lines @@
 DECLARE_RUNTIME_FUNCTION(ElementsTransitionAndStoreIC_Miss);
 DECLARE_RUNTIME_FUNCTION(BinaryOpIC_Miss);
 DECLARE_RUNTIME_FUNCTION(BinaryOpIC_MissWithAllocationSite);
 DECLARE_RUNTIME_FUNCTION(CompareNilIC_Miss);
 DECLARE_RUNTIME_FUNCTION(ToBooleanIC_Miss);
 
 
 } }  // namespace v8::internal
 
 #endif  // V8_IC_H_