| 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_LOOKUP_H_ | 5 #ifndef V8_LOOKUP_H_ |
| 6 #define V8_LOOKUP_H_ | 6 #define V8_LOOKUP_H_ |
| 7 | 7 |
| 8 #include "src/factory.h" | 8 #include "src/factory.h" |
| 9 #include "src/isolate.h" | 9 #include "src/isolate.h" |
| 10 #include "src/objects.h" | 10 #include "src/objects.h" |
| (...skipping 28 matching lines...) Expand all Loading... |
| 39 TRANSITION, | 39 TRANSITION, |
| 40 // Set state_ to BEFORE_PROPERTY to ensure that the next lookup will be a | 40 // Set state_ to BEFORE_PROPERTY to ensure that the next lookup will be a |
| 41 // PROPERTY lookup. | 41 // PROPERTY lookup. |
| 42 BEFORE_PROPERTY = INTERCEPTOR | 42 BEFORE_PROPERTY = INTERCEPTOR |
| 43 }; | 43 }; |
| 44 | 44 |
| 45 LookupIterator(Handle<Object> receiver, Handle<Name> name, | 45 LookupIterator(Handle<Object> receiver, Handle<Name> name, |
| 46 Configuration configuration = PROTOTYPE_CHAIN) | 46 Configuration configuration = PROTOTYPE_CHAIN) |
| 47 : configuration_(ComputeConfiguration(configuration, name)), | 47 : configuration_(ComputeConfiguration(configuration, name)), |
| 48 state_(NOT_FOUND), | 48 state_(NOT_FOUND), |
| 49 interceptor_state_(InterceptorState::kUninitialized), |
| 49 property_details_(NONE, v8::internal::DATA, 0), | 50 property_details_(NONE, v8::internal::DATA, 0), |
| 50 isolate_(name->GetIsolate()), | 51 isolate_(name->GetIsolate()), |
| 51 name_(name), | 52 name_(name), |
| 52 receiver_(receiver), | 53 receiver_(receiver), |
| 54 holder_(GetRoot(receiver_, isolate_)), |
| 55 holder_map_(holder_->map(), isolate_), |
| 56 initial_holder_(holder_), |
| 53 number_(DescriptorArray::kNotFound) { | 57 number_(DescriptorArray::kNotFound) { |
| 54 holder_ = GetRoot(); | |
| 55 holder_map_ = handle(holder_->map(), isolate_); | |
| 56 Next(); | 58 Next(); |
| 57 } | 59 } |
| 58 | 60 |
| 59 LookupIterator(Handle<Object> receiver, Handle<Name> name, | 61 LookupIterator(Handle<Object> receiver, Handle<Name> name, |
| 60 Handle<JSReceiver> holder, | 62 Handle<JSReceiver> holder, |
| 61 Configuration configuration = PROTOTYPE_CHAIN) | 63 Configuration configuration = PROTOTYPE_CHAIN) |
| 62 : configuration_(ComputeConfiguration(configuration, name)), | 64 : configuration_(ComputeConfiguration(configuration, name)), |
| 63 state_(NOT_FOUND), | 65 state_(NOT_FOUND), |
| 66 interceptor_state_(InterceptorState::kUninitialized), |
| 64 property_details_(NONE, v8::internal::DATA, 0), | 67 property_details_(NONE, v8::internal::DATA, 0), |
| 65 isolate_(name->GetIsolate()), | 68 isolate_(name->GetIsolate()), |
| 66 name_(name), | 69 name_(name), |
| 67 holder_map_(holder->map(), isolate_), | |
| 68 receiver_(receiver), | 70 receiver_(receiver), |
| 69 holder_(holder), | 71 holder_(holder), |
| 72 holder_map_(holder_->map(), isolate_), |
| 73 initial_holder_(holder_), |
| 70 number_(DescriptorArray::kNotFound) { | 74 number_(DescriptorArray::kNotFound) { |
| 71 Next(); | 75 Next(); |
| 72 } | 76 } |
| 73 | 77 |
| 74 Isolate* isolate() const { return isolate_; } | 78 Isolate* isolate() const { return isolate_; } |
| 75 State state() const { return state_; } | 79 State state() const { return state_; } |
| 76 Handle<Name> name() const { return name_; } | 80 Handle<Name> name() const { return name_; } |
| 77 | 81 |
| 78 bool IsFound() const { return state_ != NOT_FOUND; } | 82 bool IsFound() const { return state_ != NOT_FOUND; } |
| 79 void Next(); | 83 void Next(); |
| 80 void NotFound() { | 84 void NotFound() { |
| 81 has_property_ = false; | 85 has_property_ = false; |
| 82 state_ = NOT_FOUND; | 86 state_ = NOT_FOUND; |
| 83 } | 87 } |
| 84 | 88 |
| 85 Factory* factory() const { return isolate_->factory(); } | 89 Factory* factory() const { return isolate_->factory(); } |
| 86 Handle<Object> GetReceiver() const { return receiver_; } | 90 Handle<Object> GetReceiver() const { return receiver_; } |
| 87 Handle<JSObject> GetStoreTarget() const; | 91 Handle<JSObject> GetStoreTarget() const; |
| 88 bool is_dictionary_holder() const { return holder_map_->is_dictionary_map(); } | 92 bool is_dictionary_holder() const { return holder_map_->is_dictionary_map(); } |
| 89 Handle<Map> transition_map() const { | 93 Handle<Map> transition_map() const { |
| 90 DCHECK_EQ(TRANSITION, state_); | 94 DCHECK_EQ(TRANSITION, state_); |
| 91 return Handle<Map>::cast(transition_); | 95 return Handle<Map>::cast(transition_); |
| 92 } | 96 } |
| 93 template <class T> | 97 template <class T> |
| 94 Handle<T> GetHolder() const { | 98 Handle<T> GetHolder() const { |
| 95 DCHECK(IsFound()); | 99 DCHECK(IsFound()); |
| 96 return Handle<T>::cast(holder_); | 100 return Handle<T>::cast(holder_); |
| 97 } | 101 } |
| 98 Handle<JSReceiver> GetRoot() const; | 102 static Handle<JSReceiver> GetRoot(Handle<Object> receiver, Isolate* isolate); |
| 99 bool HolderIsReceiverOrHiddenPrototype() const; | 103 bool HolderIsReceiverOrHiddenPrototype() const; |
| 100 | 104 |
| 101 /* ACCESS_CHECK */ | 105 /* ACCESS_CHECK */ |
| 102 bool HasAccess() const; | 106 bool HasAccess() const; |
| 103 | 107 |
| 104 /* PROPERTY */ | 108 /* PROPERTY */ |
| 105 void PrepareForDataProperty(Handle<Object> value); | 109 void PrepareForDataProperty(Handle<Object> value); |
| 106 void PrepareTransitionToDataProperty(Handle<Object> value, | 110 void PrepareTransitionToDataProperty(Handle<Object> value, |
| 107 PropertyAttributes attributes, | 111 PropertyAttributes attributes, |
| 108 Object::StoreFromKeyed store_mode); | 112 Object::StoreFromKeyed store_mode); |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 141 // non-observable modifications on it, such as internalize strings. | 145 // non-observable modifications on it, such as internalize strings. |
| 142 Handle<Object> WriteDataValue(Handle<Object> value); | 146 Handle<Object> WriteDataValue(Handle<Object> value); |
| 143 | 147 |
| 144 // Checks whether the receiver is an indexed exotic object | 148 // Checks whether the receiver is an indexed exotic object |
| 145 // and name is a special numeric index. | 149 // and name is a special numeric index. |
| 146 bool IsSpecialNumericIndex() const; | 150 bool IsSpecialNumericIndex() const; |
| 147 | 151 |
| 148 void InternalizeName(); | 152 void InternalizeName(); |
| 149 | 153 |
| 150 private: | 154 private: |
| 155 enum class InterceptorState { |
| 156 kUninitialized, |
| 157 kSkipNonMasking, |
| 158 kProcessNonMasking |
| 159 }; |
| 160 |
| 151 Handle<Map> GetReceiverMap() const; | 161 Handle<Map> GetReceiverMap() const; |
| 152 | 162 |
| 153 MUST_USE_RESULT inline JSReceiver* NextHolder(Map* map); | 163 MUST_USE_RESULT inline JSReceiver* NextHolder(Map* map); |
| 154 inline State LookupInHolder(Map* map, JSReceiver* holder); | 164 inline State LookupInHolder(Map* map, JSReceiver* holder); |
| 165 void RestartLookupForNonMaskingInterceptors(); |
| 166 State LookupNonMaskingInterceptorInHolder(Map* map, JSReceiver* holder); |
| 155 Handle<Object> FetchValue() const; | 167 Handle<Object> FetchValue() const; |
| 156 void ReloadPropertyInformation(); | 168 void ReloadPropertyInformation(); |
| 169 bool SkipInterceptor(JSObject* holder); |
| 157 | 170 |
| 158 bool IsBootstrapping() const; | 171 bool IsBootstrapping() const; |
| 159 | 172 |
| 160 bool check_hidden() const { return (configuration_ & kHidden) != 0; } | 173 bool check_hidden() const { return (configuration_ & kHidden) != 0; } |
| 161 bool check_interceptor() const { | 174 bool check_interceptor() const { |
| 162 return !IsBootstrapping() && (configuration_ & kInterceptor) != 0; | 175 return !IsBootstrapping() && (configuration_ & kInterceptor) != 0; |
| 163 } | 176 } |
| 164 bool check_prototype_chain() const { | 177 bool check_prototype_chain() const { |
| 165 return (configuration_ & kPrototypeChain) != 0; | 178 return (configuration_ & kPrototypeChain) != 0; |
| 166 } | 179 } |
| (...skipping 13 matching lines...) Expand all Loading... |
| 180 if (name->IsOwn()) { | 193 if (name->IsOwn()) { |
| 181 return static_cast<Configuration>(configuration & | 194 return static_cast<Configuration>(configuration & |
| 182 HIDDEN_SKIP_INTERCEPTOR); | 195 HIDDEN_SKIP_INTERCEPTOR); |
| 183 } else { | 196 } else { |
| 184 return configuration; | 197 return configuration; |
| 185 } | 198 } |
| 186 } | 199 } |
| 187 | 200 |
| 188 // If configuration_ becomes mutable, update | 201 // If configuration_ becomes mutable, update |
| 189 // HolderIsReceiverOrHiddenPrototype. | 202 // HolderIsReceiverOrHiddenPrototype. |
| 190 Configuration configuration_; | 203 const Configuration configuration_; |
| 191 State state_; | 204 State state_; |
| 192 bool has_property_; | 205 bool has_property_; |
| 206 InterceptorState interceptor_state_; |
| 193 PropertyDetails property_details_; | 207 PropertyDetails property_details_; |
| 194 Isolate* isolate_; | 208 Isolate* const isolate_; |
| 195 Handle<Name> name_; | 209 Handle<Name> name_; |
| 210 Handle<Object> transition_; |
| 211 const Handle<Object> receiver_; |
| 212 Handle<JSReceiver> holder_; |
| 196 Handle<Map> holder_map_; | 213 Handle<Map> holder_map_; |
| 197 Handle<Object> transition_; | 214 const Handle<JSReceiver> initial_holder_; |
| 198 Handle<Object> receiver_; | |
| 199 Handle<JSReceiver> holder_; | |
| 200 | |
| 201 int number_; | 215 int number_; |
| 202 }; | 216 }; |
| 203 | 217 |
| 204 | 218 |
| 205 } } // namespace v8::internal | 219 } } // namespace v8::internal |
| 206 | 220 |
| 207 #endif // V8_LOOKUP_H_ | 221 #endif // V8_LOOKUP_H_ |
| OLD | NEW |