Use LookupIterator to transition to accessors

src/lookup.h

 // Copyright 2014 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_LOOKUP_H_
 #define V8_LOOKUP_H_
 
 #include "src/factory.h"
 #include "src/isolate.h"
 #include "src/objects.h"
@@ skipping 13 matching lines @@
     // Convience combinations of bits.
     CHECK_PROPERTY = 0,
     CHECK_HIDDEN_SKIP_INTERCEPTOR = CHECK_HIDDEN_PROPERTY | CHECK_ACCESS_CHECK,
     CHECK_DERIVED_SKIP_INTERCEPTOR =
         CHECK_HIDDEN_SKIP_INTERCEPTOR | CHECK_DERIVED_PROPERTY,
     CHECK_DERIVED = CHECK_DERIVED_SKIP_INTERCEPTOR | CHECK_INTERCEPTOR,
     CHECK_HIDDEN = CHECK_HIDDEN_SKIP_INTERCEPTOR | CHECK_INTERCEPTOR
   };
 
   enum State {
+    ACCESS_CHECK,
+    INTERCEPTOR,
+    JSPROXY,
     NOT_FOUND,
     PROPERTY,
-    INTERCEPTOR,
-    ACCESS_CHECK,
-    JSPROXY
+    // Set state_ to BEFORE_PROPERTY to ensure that the next lookup will be a
+    // PROPERTY lookup.
+    BEFORE_PROPERTY = INTERCEPTOR
   };
 
   enum PropertyKind {
     DATA,
     ACCESSOR
   };
 
   enum PropertyEncoding {
     DICTIONARY,
     DESCRIPTOR
@@ skipping 44 matching lines @@
         number_(DescriptorArray::kNotFound) {
     Next();
   }
 
   Isolate* isolate() const { return isolate_; }
   State state() const { return state_; }
   Handle<Name> name() const { return name_; }
 
   bool IsFound() const { return state_ != NOT_FOUND; }
   void Next();
+  void NotFound() {
+    has_property_ = false;
+    state_ = NOT_FOUND;
+  }
 
   Heap* heap() const { return isolate_->heap(); }
   Factory* factory() const { return isolate_->factory(); }
   Handle<Object> GetReceiver() const {
     return maybe_receiver_.ToHandleChecked();
   }
   Handle<Map> holder_map() const { return holder_map_; }
   template <class T>
   Handle<T> GetHolder() const {
     DCHECK(IsFound());
@@ skipping 10 matching lines @@
   // HasProperty needs to be called before any of the other PROPERTY methods
   // below can be used. It ensures that we are able to provide a definite
   // answer, and loads extra information about the property.
   bool HasProperty();
   void PrepareForDataProperty(Handle<Object> value);
   void TransitionToDataProperty(Handle<Object> value,
                                 PropertyAttributes attributes,
                                 Object::StoreFromKeyed store_mode);
   void ReconfigureDataProperty(Handle<Object> value,
                                PropertyAttributes attributes);
+  void TransitionToAccessorProperty(AccessorComponent component,
+                                    Handle<Object> accessor,
+                                    PropertyAttributes attributes);
   PropertyKind property_kind() const {
     DCHECK(has_property_);
     return property_kind_;
   }
   PropertyEncoding property_encoding() const {
     DCHECK(has_property_);
     return property_encoding_;
   }
   PropertyDetails property_details() const {
     DCHECK(has_property_);
@@ skipping 12 matching lines @@
   void WriteDataValue(Handle<Object> value);
 
   void InternalizeName();
 
  private:
   Handle<Map> GetReceiverMap() const;
 
   MUST_USE_RESULT inline JSReceiver* NextHolder(Map* map);
   inline State LookupInHolder(Map* map);
   Handle<Object> FetchValue() const;
+  void ReloadPropertyInformation();
 
   bool IsBootstrapping() const;
 
   // Methods that fetch data from the holder ensure they always have a holder.
   // This means the receiver needs to be present as opposed to just the receiver
   // map. Other objects in the prototype chain are transitively guaranteed to be
   // present via the receiver map.
   bool is_guaranteed_to_have_holder() const {
     return !maybe_receiver_.is_null();
   }
@@ skipping 43 matching lines @@
   MaybeHandle<Object> maybe_receiver_;
   MaybeHandle<JSReceiver> maybe_holder_;
 
   int number_;
 };
 
 
 } }  // namespace v8::internal
 
 #endif  // V8_LOOKUP_H_