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 #include "src/ic/handler-compiler.h" | 5 #include "src/ic/handler-compiler.h" |
6 | 6 |
7 #include "src/field-type.h" | 7 #include "src/field-type.h" |
8 #include "src/ic/call-optimization.h" | 8 #include "src/ic/call-optimization.h" |
9 #include "src/ic/handler-configuration-inl.h" | 9 #include "src/ic/handler-configuration-inl.h" |
10 #include "src/ic/ic-inl.h" | 10 #include "src/ic/ic-inl.h" |
11 #include "src/ic/ic.h" | 11 #include "src/ic/ic.h" |
12 #include "src/isolate-inl.h" | 12 #include "src/isolate-inl.h" |
13 | 13 |
14 namespace v8 { | 14 namespace v8 { |
15 namespace internal { | 15 namespace internal { |
16 | 16 |
17 Handle<Code> PropertyHandlerCompiler::Find(Handle<Name> name, | 17 Handle<Code> PropertyHandlerCompiler::Find(Handle<Name> name, |
18 Handle<Map> stub_holder, | 18 Handle<Map> stub_holder, |
19 Code::Kind kind, | 19 Code::Kind kind, |
20 CacheHolderFlag cache_holder) { | 20 CacheHolderFlag cache_holder) { |
21 Code::Flags flags = Code::ComputeHandlerFlags(kind, cache_holder); | 21 Code::Flags flags = Code::ComputeHandlerFlags(kind, cache_holder); |
22 Code* code = stub_holder->LookupInCodeCache(*name, flags); | 22 Code* code = stub_holder->LookupInCodeCache(*name, flags); |
23 if (code == nullptr) return Handle<Code>(); | 23 if (code == nullptr) return Handle<Code>(); |
24 return handle(code); | 24 return handle(code); |
25 } | 25 } |
26 | 26 |
27 | |
28 Handle<Code> NamedLoadHandlerCompiler::ComputeLoadNonexistent( | |
29 Handle<Name> name, Handle<Map> receiver_map) { | |
30 Isolate* isolate = name->GetIsolate(); | |
31 if (receiver_map->prototype()->IsNull(isolate)) { | |
32 // TODO(jkummerow/verwaest): If there is no prototype and the property | |
33 // is nonexistent, introduce a builtin to handle this (fast properties | |
34 // -> return undefined, dictionary properties -> do negative lookup). | |
35 return Handle<Code>(); | |
36 } | |
37 CacheHolderFlag flag; | |
38 Handle<Map> stub_holder_map = | |
39 IC::GetHandlerCacheHolder(receiver_map, false, isolate, &flag); | |
40 | |
41 // If no dictionary mode objects are present in the prototype chain, the load | |
42 // nonexistent IC stub can be shared for all names for a given map and we use | |
43 // the empty string for the map cache in that case. If there are dictionary | |
44 // mode objects involved, we need to do negative lookups in the stub and | |
45 // therefore the stub will be specific to the name. | |
46 Handle<Name> cache_name = | |
47 receiver_map->is_dictionary_map() | |
48 ? name | |
49 : Handle<Name>::cast(isolate->factory()->nonexistent_symbol()); | |
50 Handle<Map> current_map = stub_holder_map; | |
51 Handle<JSObject> last(JSObject::cast(receiver_map->prototype())); | |
52 while (true) { | |
53 if (current_map->is_dictionary_map()) cache_name = name; | |
54 if (current_map->prototype()->IsNull(isolate)) break; | |
55 if (name->IsPrivate()) { | |
56 // TODO(verwaest): Use nonexistent_private_symbol. | |
57 cache_name = name; | |
58 if (!current_map->has_hidden_prototype()) break; | |
59 } | |
60 | |
61 last = handle(JSObject::cast(current_map->prototype())); | |
62 current_map = handle(last->map()); | |
63 } | |
64 // Compile the stub that is either shared for all names or | |
65 // name specific if there are global objects involved. | |
66 Handle<Code> handler = PropertyHandlerCompiler::Find( | |
67 cache_name, stub_holder_map, Code::LOAD_IC, flag); | |
68 if (!handler.is_null()) { | |
69 TRACE_HANDLER_STATS(isolate, LoadIC_HandlerCacheHit_NonExistent); | |
70 return handler; | |
71 } | |
72 | |
73 TRACE_HANDLER_STATS(isolate, LoadIC_LoadNonexistent); | |
74 NamedLoadHandlerCompiler compiler(isolate, receiver_map, last, flag); | |
75 handler = compiler.CompileLoadNonexistent(cache_name); | |
76 Map::UpdateCodeCache(stub_holder_map, cache_name, handler); | |
77 return handler; | |
78 } | |
79 | |
80 | |
81 Handle<Code> PropertyHandlerCompiler::GetCode(Code::Kind kind, | 27 Handle<Code> PropertyHandlerCompiler::GetCode(Code::Kind kind, |
82 Handle<Name> name) { | 28 Handle<Name> name) { |
83 Code::Flags flags = Code::ComputeHandlerFlags(kind, cache_holder()); | 29 Code::Flags flags = Code::ComputeHandlerFlags(kind, cache_holder()); |
84 Handle<Code> code = GetCodeWithFlags(flags, name); | 30 Handle<Code> code = GetCodeWithFlags(flags, name); |
85 PROFILE(isolate(), CodeCreateEvent(CodeEventListener::HANDLER_TAG, | 31 PROFILE(isolate(), CodeCreateEvent(CodeEventListener::HANDLER_TAG, |
86 AbstractCode::cast(*code), *name)); | 32 AbstractCode::cast(*code), *name)); |
87 #ifdef DEBUG | 33 #ifdef DEBUG |
88 code->VerifyEmbeddedObjects(); | 34 code->VerifyEmbeddedObjects(); |
89 #endif | 35 #endif |
90 return code; | 36 return code; |
(...skipping 51 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
142 } | 88 } |
143 Register reg = FrontendHeader(receiver(), name, &miss, RETURN_HOLDER); | 89 Register reg = FrontendHeader(receiver(), name, &miss, RETURN_HOLDER); |
144 FrontendFooter(name, &miss); | 90 FrontendFooter(name, &miss); |
145 // The footer consumes the vector and slot from the stack if miss occurs. | 91 // The footer consumes the vector and slot from the stack if miss occurs. |
146 if (IC::ShouldPushPopSlotAndVector(kind())) { | 92 if (IC::ShouldPushPopSlotAndVector(kind())) { |
147 DiscardVectorAndSlot(); | 93 DiscardVectorAndSlot(); |
148 } | 94 } |
149 return reg; | 95 return reg; |
150 } | 96 } |
151 | 97 |
152 | |
153 void PropertyHandlerCompiler::NonexistentFrontendHeader(Handle<Name> name, | |
154 Label* miss, | |
155 Register scratch1, | |
156 Register scratch2) { | |
157 Register holder_reg; | |
158 Handle<Map> last_map; | |
159 if (holder().is_null()) { | |
160 holder_reg = receiver(); | |
161 last_map = map(); | |
162 // If |type| has null as its prototype, |holder()| is | |
163 // Handle<JSObject>::null(). | |
164 DCHECK(last_map->prototype()->IsNull(isolate())); | |
165 } else { | |
166 last_map = handle(holder()->map()); | |
167 // This condition matches the branches below. | |
168 bool need_holder = | |
169 last_map->is_dictionary_map() && !last_map->IsJSGlobalObjectMap(); | |
170 holder_reg = | |
171 FrontendHeader(receiver(), name, miss, | |
172 need_holder ? RETURN_HOLDER : DONT_RETURN_ANYTHING); | |
173 } | |
174 | |
175 if (last_map->is_dictionary_map()) { | |
176 if (last_map->IsJSGlobalObjectMap()) { | |
177 Handle<JSGlobalObject> global = | |
178 holder().is_null() | |
179 ? Handle<JSGlobalObject>::cast(isolate()->global_object()) | |
180 : Handle<JSGlobalObject>::cast(holder()); | |
181 GenerateCheckPropertyCell(masm(), global, name, scratch1, miss); | |
182 } else { | |
183 if (!name->IsUniqueName()) { | |
184 DCHECK(name->IsString()); | |
185 name = factory()->InternalizeString(Handle<String>::cast(name)); | |
186 } | |
187 DCHECK(holder().is_null() || | |
188 holder()->property_dictionary()->FindEntry(name) == | |
189 NameDictionary::kNotFound); | |
190 GenerateDictionaryNegativeLookup(masm(), miss, holder_reg, name, scratch1, | |
191 scratch2); | |
192 } | |
193 } | |
194 } | |
195 | |
196 Handle<Code> NamedLoadHandlerCompiler::CompileLoadNonexistent( | |
197 Handle<Name> name) { | |
198 Label miss; | |
199 if (IC::ShouldPushPopSlotAndVector(kind())) { | |
200 DCHECK(kind() == Code::LOAD_IC); | |
201 PushVectorAndSlot(); | |
202 } | |
203 NonexistentFrontendHeader(name, &miss, scratch2(), scratch3()); | |
204 if (IC::ShouldPushPopSlotAndVector(kind())) { | |
205 DiscardVectorAndSlot(); | |
206 } | |
207 GenerateLoadConstant(isolate()->factory()->undefined_value()); | |
208 FrontendFooter(name, &miss); | |
209 return GetCode(kind(), name); | |
210 } | |
211 | |
212 Handle<Code> NamedLoadHandlerCompiler::CompileLoadCallback( | 98 Handle<Code> NamedLoadHandlerCompiler::CompileLoadCallback( |
213 Handle<Name> name, Handle<AccessorInfo> callback, Handle<Code> slow_stub) { | 99 Handle<Name> name, Handle<AccessorInfo> callback, Handle<Code> slow_stub) { |
214 if (V8_UNLIKELY(FLAG_runtime_stats)) { | 100 if (V8_UNLIKELY(FLAG_runtime_stats)) { |
215 GenerateTailCall(masm(), slow_stub); | 101 GenerateTailCall(masm(), slow_stub); |
216 } | 102 } |
217 Register reg = Frontend(name); | 103 Register reg = Frontend(name); |
218 GenerateLoadCallback(reg, callback); | 104 GenerateLoadCallback(reg, callback); |
219 return GetCode(kind(), name); | 105 return GetCode(kind(), name); |
220 } | 106 } |
221 | 107 |
(...skipping 193 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
415 } | 301 } |
416 | 302 |
417 Handle<Code> NamedLoadHandlerCompiler::CompileLoadViaGetter( | 303 Handle<Code> NamedLoadHandlerCompiler::CompileLoadViaGetter( |
418 Handle<Name> name, int accessor_index, int expected_arguments) { | 304 Handle<Name> name, int accessor_index, int expected_arguments) { |
419 Register holder = Frontend(name); | 305 Register holder = Frontend(name); |
420 GenerateLoadViaGetter(masm(), map(), receiver(), holder, accessor_index, | 306 GenerateLoadViaGetter(masm(), map(), receiver(), holder, accessor_index, |
421 expected_arguments, scratch2()); | 307 expected_arguments, scratch2()); |
422 return GetCode(kind(), name); | 308 return GetCode(kind(), name); |
423 } | 309 } |
424 | 310 |
425 bool NamedStoreHandlerCompiler::RequiresFieldTypeChecks( | |
426 FieldType* field_type) const { | |
427 return field_type->IsClass(); | |
428 } | |
429 | |
430 Handle<Code> NamedStoreHandlerCompiler::CompileStoreViaSetter( | 311 Handle<Code> NamedStoreHandlerCompiler::CompileStoreViaSetter( |
431 Handle<JSObject> object, Handle<Name> name, int accessor_index, | 312 Handle<JSObject> object, Handle<Name> name, int accessor_index, |
432 int expected_arguments) { | 313 int expected_arguments) { |
433 Register holder = Frontend(name); | 314 Register holder = Frontend(name); |
434 GenerateStoreViaSetter(masm(), map(), receiver(), holder, accessor_index, | 315 GenerateStoreViaSetter(masm(), map(), receiver(), holder, accessor_index, |
435 expected_arguments, scratch2()); | 316 expected_arguments, scratch2()); |
436 | 317 |
437 return GetCode(kind(), name); | 318 return GetCode(kind(), name); |
438 } | 319 } |
439 | 320 |
(...skipping 58 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
498 } | 379 } |
499 | 380 |
500 void ElementHandlerCompiler::CompileElementHandlers( | 381 void ElementHandlerCompiler::CompileElementHandlers( |
501 MapHandleList* receiver_maps, List<Handle<Object>>* handlers) { | 382 MapHandleList* receiver_maps, List<Handle<Object>>* handlers) { |
502 for (int i = 0; i < receiver_maps->length(); ++i) { | 383 for (int i = 0; i < receiver_maps->length(); ++i) { |
503 handlers->Add(GetKeyedLoadHandler(receiver_maps->at(i), isolate())); | 384 handlers->Add(GetKeyedLoadHandler(receiver_maps->at(i), isolate())); |
504 } | 385 } |
505 } | 386 } |
506 } // namespace internal | 387 } // namespace internal |
507 } // namespace v8 | 388 } // namespace v8 |
OLD | NEW |