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