handler-compiler.cc revision 109988c7ccb6f3fd1a58574fa3dfb88beaef6632
1b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Copyright 2014 the V8 project authors. All rights reserved. 2b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Use of this source code is governed by a BSD-style license that can be 3b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// found in the LICENSE file. 4b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 5014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch#include "src/ic/handler-compiler.h" 6b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 7109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch#include "src/field-type.h" 8b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/ic/call-optimization.h" 9f2e3994fa5148cc3d9946666f0b0596290192b0eBen Murdoch#include "src/ic/ic-inl.h" 10109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch#include "src/ic/ic.h" 11014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch#include "src/isolate-inl.h" 12014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch#include "src/profiler/cpu-profiler.h" 13b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 14b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochnamespace v8 { 15b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochnamespace internal { 16b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 17b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 18b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> PropertyHandlerCompiler::Find(Handle<Name> name, 19b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Map> stub_holder, 20b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Code::Kind kind, 21b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CacheHolderFlag cache_holder, 22b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Code::StubType type) { 23b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Code::Flags flags = Code::ComputeHandlerFlags(kind, type, cache_holder); 24b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Object* probe = stub_holder->FindInCodeCache(*name, flags); 25b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (probe->IsCode()) return handle(Code::cast(probe)); 26b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return Handle<Code>::null(); 27b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 28b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 29b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 30b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedLoadHandlerCompiler::ComputeLoadNonexistent( 31014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Handle<Name> name, Handle<Map> receiver_map) { 32b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Isolate* isolate = name->GetIsolate(); 33b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (receiver_map->prototype()->IsNull()) { 34b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // TODO(jkummerow/verwaest): If there is no prototype and the property 35b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // is nonexistent, introduce a builtin to handle this (fast properties 36b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // -> return undefined, dictionary properties -> do negative lookup). 37b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return Handle<Code>(); 38b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 39b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch CacheHolderFlag flag; 40b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Map> stub_holder_map = 41014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch IC::GetHandlerCacheHolder(receiver_map, false, isolate, &flag); 42b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 43b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // If no dictionary mode objects are present in the prototype chain, the load 44b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // nonexistent IC stub can be shared for all names for a given map and we use 45b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // the empty string for the map cache in that case. If there are dictionary 46b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // mode objects involved, we need to do negative lookups in the stub and 47b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // therefore the stub will be specific to the name. 48b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Name> cache_name = 49b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch receiver_map->is_dictionary_map() 50b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch ? name 51b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch : Handle<Name>::cast(isolate->factory()->nonexistent_symbol()); 52b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Map> current_map = stub_holder_map; 53b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<JSObject> last(JSObject::cast(receiver_map->prototype())); 54b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch while (true) { 55b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (current_map->is_dictionary_map()) cache_name = name; 56b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (current_map->prototype()->IsNull()) break; 57014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (name->IsPrivate()) { 58014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // TODO(verwaest): Use nonexistent_private_symbol. 59014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch cache_name = name; 60109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch if (!current_map->has_hidden_prototype()) break; 61014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } 62014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 63b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch last = handle(JSObject::cast(current_map->prototype())); 64b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch current_map = handle(last->map()); 65b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 66b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Compile the stub that is either shared for all names or 67b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // name specific if there are global objects involved. 68b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Code> handler = PropertyHandlerCompiler::Find( 69b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch cache_name, stub_holder_map, Code::LOAD_IC, flag, Code::FAST); 70b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (!handler.is_null()) return handler; 71b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 72014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch NamedLoadHandlerCompiler compiler(isolate, receiver_map, last, flag); 73b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch handler = compiler.CompileLoadNonexistent(cache_name); 74b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Map::UpdateCodeCache(stub_holder_map, cache_name, handler); 75b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return handler; 76b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 77b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 78b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 79b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> PropertyHandlerCompiler::GetCode(Code::Kind kind, 80b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Code::StubType type, 81b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Name> name) { 82b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Code::Flags flags = Code::ComputeHandlerFlags(kind, type, cache_holder()); 83b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Code> code = GetCodeWithFlags(flags, name); 84014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch PROFILE(isolate(), CodeCreateEvent(Logger::HANDLER_TAG, *code, *name)); 85014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch#ifdef DEBUG 86014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch code->VerifyEmbeddedObjects(); 87014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch#endif 88b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return code; 89b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 90b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 91b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 92b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#define __ ACCESS_MASM(masm()) 93b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 94b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 95b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochRegister NamedLoadHandlerCompiler::FrontendHeader(Register object_reg, 96b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Name> name, 97014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Label* miss, 98014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch ReturnHolder return_what) { 99014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch PrototypeCheckType check_type = SKIP_RECEIVER; 100014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch int function_index = map()->IsPrimitiveMap() 101014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch ? map()->GetConstructorFunctionIndex() 102014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch : Map::kNoConstructorFunctionIndex; 103014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (function_index != Map::kNoConstructorFunctionIndex) { 104b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch GenerateDirectLoadGlobalFunctionPrototype(masm(), function_index, 105b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch scratch1(), miss); 106b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Object* function = isolate()->native_context()->get(function_index); 107b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Object* prototype = JSFunction::cast(function)->instance_prototype(); 108014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Handle<Map> map(JSObject::cast(prototype)->map()); 109014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch set_map(map); 110b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch object_reg = scratch1(); 111014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch check_type = CHECK_ALL_MAPS; 112b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 113b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 114b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Check that the maps starting from the prototype haven't changed. 115b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return CheckPrototypes(object_reg, scratch1(), scratch2(), scratch3(), name, 116014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch miss, check_type, return_what); 117b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 118b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 119b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 120b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Frontend for store uses the name register. It has to be restored before a 121b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// miss. 122b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochRegister NamedStoreHandlerCompiler::FrontendHeader(Register object_reg, 123b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Name> name, 124014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Label* miss, 125014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch ReturnHolder return_what) { 126b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return CheckPrototypes(object_reg, this->name(), scratch1(), scratch2(), name, 127014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch miss, SKIP_RECEIVER, return_what); 128b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 129b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 130b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 131958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily BernierRegister PropertyHandlerCompiler::Frontend(Handle<Name> name) { 132b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Label miss; 133958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier if (IC::ICUseVector(kind())) { 134958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier PushVectorAndSlot(); 135958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } 136014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Register reg = FrontendHeader(receiver(), name, &miss, RETURN_HOLDER); 137b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch FrontendFooter(name, &miss); 138958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier // The footer consumes the vector and slot from the stack if miss occurs. 139958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier if (IC::ICUseVector(kind())) { 140958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier DiscardVectorAndSlot(); 141958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } 142b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return reg; 143b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 144b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 145b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 146b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvoid PropertyHandlerCompiler::NonexistentFrontendHeader(Handle<Name> name, 147b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Label* miss, 148b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Register scratch1, 149b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Register scratch2) { 150b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Register holder_reg; 151b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Map> last_map; 152b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (holder().is_null()) { 153b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch holder_reg = receiver(); 154014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch last_map = map(); 155b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // If |type| has null as its prototype, |holder()| is 156b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Handle<JSObject>::null(). 157b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch DCHECK(last_map->prototype() == isolate()->heap()->null_value()); 158b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } else { 159b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch last_map = handle(holder()->map()); 160014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // This condition matches the branches below. 161014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch bool need_holder = 162014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch last_map->is_dictionary_map() && !last_map->IsJSGlobalObjectMap(); 163014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch holder_reg = 164014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch FrontendHeader(receiver(), name, miss, 165014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch need_holder ? RETURN_HOLDER : DONT_RETURN_ANYTHING); 166b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 167b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 168b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (last_map->is_dictionary_map()) { 169b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (last_map->IsJSGlobalObjectMap()) { 170b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<JSGlobalObject> global = 171b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch holder().is_null() 172014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch ? Handle<JSGlobalObject>::cast(isolate()->global_object()) 173b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch : Handle<JSGlobalObject>::cast(holder()); 174b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch GenerateCheckPropertyCell(masm(), global, name, scratch1, miss); 175b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } else { 176b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (!name->IsUniqueName()) { 177b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch DCHECK(name->IsString()); 178b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch name = factory()->InternalizeString(Handle<String>::cast(name)); 179b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 180b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch DCHECK(holder().is_null() || 181b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch holder()->property_dictionary()->FindEntry(name) == 182b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch NameDictionary::kNotFound); 183b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch GenerateDictionaryNegativeLookup(masm(), miss, holder_reg, name, scratch1, 184b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch scratch2); 185b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 186b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 187b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 188b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 189b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 190b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedLoadHandlerCompiler::CompileLoadField(Handle<Name> name, 191b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch FieldIndex field) { 192958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier Register reg = Frontend(name); 193b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch __ Move(receiver(), reg); 194b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch LoadFieldStub stub(isolate(), field); 195b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch GenerateTailCall(masm(), stub.GetCode()); 196b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return GetCode(kind(), Code::FAST, name); 197b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 198b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 199b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 200b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedLoadHandlerCompiler::CompileLoadConstant(Handle<Name> name, 201b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch int constant_index) { 202958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier Register reg = Frontend(name); 203b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch __ Move(receiver(), reg); 204b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch LoadConstantStub stub(isolate(), constant_index); 205b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch GenerateTailCall(masm(), stub.GetCode()); 206b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return GetCode(kind(), Code::FAST, name); 207b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 208b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 209b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 210b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedLoadHandlerCompiler::CompileLoadNonexistent( 211b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Name> name) { 212b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Label miss; 213958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier if (IC::ICUseVector(kind())) { 214958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier DCHECK(kind() == Code::LOAD_IC); 215958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier PushVectorAndSlot(); 216958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } 217b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch NonexistentFrontendHeader(name, &miss, scratch2(), scratch3()); 218958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier if (IC::ICUseVector(kind())) { 219958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier DiscardVectorAndSlot(); 220958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } 221b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch GenerateLoadConstant(isolate()->factory()->undefined_value()); 222b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch FrontendFooter(name, &miss); 223b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return GetCode(kind(), Code::FAST, name); 224b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 225b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 226b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 227b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedLoadHandlerCompiler::CompileLoadCallback( 228109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch Handle<Name> name, Handle<AccessorInfo> callback) { 229958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier Register reg = Frontend(name); 230b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch GenerateLoadCallback(reg, callback); 231b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return GetCode(kind(), Code::FAST, name); 232b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 233b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 234b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 235b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedLoadHandlerCompiler::CompileLoadCallback( 236014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Handle<Name> name, const CallOptimization& call_optimization, 237014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch int accessor_index) { 238b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch DCHECK(call_optimization.is_simple_api_call()); 239014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Register holder = Frontend(name); 240014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch GenerateApiAccessorCall(masm(), call_optimization, map(), receiver(), 241014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch scratch2(), false, no_reg, holder, accessor_index); 242b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return GetCode(kind(), Code::FAST, name); 243b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 244b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 245b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 246958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Berniervoid NamedLoadHandlerCompiler::InterceptorVectorSlotPush(Register holder_reg) { 247958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier if (IC::ICUseVector(kind())) { 248958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier if (holder_reg.is(receiver())) { 249958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier PushVectorAndSlot(); 250958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } else { 251958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier DCHECK(holder_reg.is(scratch1())); 252958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier PushVectorAndSlot(scratch2(), scratch3()); 253958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } 254958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } 255958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier} 256958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 257958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 258958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Berniervoid NamedLoadHandlerCompiler::InterceptorVectorSlotPop(Register holder_reg, 259958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier PopMode mode) { 260958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier if (IC::ICUseVector(kind())) { 261958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier if (mode == DISCARD) { 262958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier DiscardVectorAndSlot(); 263958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } else { 264958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier if (holder_reg.is(receiver())) { 265958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier PopVectorAndSlot(); 266958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } else { 267958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier DCHECK(holder_reg.is(scratch1())); 268958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier PopVectorAndSlot(scratch2(), scratch3()); 269958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } 270958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } 271958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } 272958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier} 273958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 274958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 275b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedLoadHandlerCompiler::CompileLoadInterceptor( 276b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch LookupIterator* it) { 277014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // So far the most popular follow ups for interceptor loads are DATA and 278109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch // AccessorInfo, so inline only them. Other cases may be added 279b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // later. 280b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch bool inline_followup = false; 281b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch switch (it->state()) { 282b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::TRANSITION: 283b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch UNREACHABLE(); 284b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::ACCESS_CHECK: 285b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::INTERCEPTOR: 286b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::JSPROXY: 287b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::NOT_FOUND: 288014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch case LookupIterator::INTEGER_INDEXED_EXOTIC: 289b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch break; 290b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::DATA: 291958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier inline_followup = 292014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch it->property_details().type() == DATA && !it->is_dictionary_holder(); 293b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch break; 294b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::ACCESSOR: { 295b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Object> accessors = it->GetAccessors(); 296109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch if (accessors->IsAccessorInfo()) { 297109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch Handle<AccessorInfo> info = Handle<AccessorInfo>::cast(accessors); 298109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch inline_followup = 299109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch info->getter() != NULL && 300109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch AccessorInfo::IsCompatibleReceiverMap(isolate(), info, map()); 301014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } else if (accessors->IsAccessorPair()) { 302014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Handle<JSObject> property_holder(it->GetHolder<JSObject>()); 303014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Handle<Object> getter(Handle<AccessorPair>::cast(accessors)->getter(), 304014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch isolate()); 305109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch if (!(getter->IsJSFunction() || getter->IsFunctionTemplateInfo())) { 306109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch break; 307109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch } 308014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (!property_holder->HasFastProperties()) break; 309109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch CallOptimization call_optimization(getter); 310014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Handle<Map> receiver_map = map(); 311014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch inline_followup = call_optimization.is_simple_api_call() && 312014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch call_optimization.IsCompatibleReceiverMap( 313014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch receiver_map, property_holder); 314014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } 315b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 316b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 317b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 318958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier Label miss; 319958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier InterceptorVectorSlotPush(receiver()); 320014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch bool lost_holder_register = false; 321014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch auto holder_orig = holder(); 322014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // non masking interceptors must check the entire chain, so temporarily reset 323014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // the holder to be that last element for the FrontendHeader call. 324014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (holder()->GetNamedInterceptor()->non_masking()) { 325014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch DCHECK(!inline_followup); 326014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch JSObject* last = *holder(); 327014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch PrototypeIterator iter(isolate(), last); 328014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch while (!iter.IsAtEnd()) { 329014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch lost_holder_register = true; 330014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // Casting to JSObject is fine here. The LookupIterator makes sure to 331014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // look behind non-masking interceptors during the original lookup, and 332014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // we wouldn't try to compile a handler if there was a Proxy anywhere. 333014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch last = iter.GetCurrent<JSObject>(); 334014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch iter.Advance(); 335014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } 336014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch auto last_handle = handle(last); 337014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch set_holder(last_handle); 338014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } 339014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Register reg = FrontendHeader(receiver(), it->name(), &miss, RETURN_HOLDER); 340014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // Reset the holder so further calculations are correct. 341014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch set_holder(holder_orig); 342014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (lost_holder_register) { 343014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (*it->GetReceiver() == *holder()) { 344014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch reg = receiver(); 345014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } else { 346014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // Reload lost holder register. 347014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch auto cell = isolate()->factory()->NewWeakCell(holder()); 348014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch __ LoadWeakValue(reg, cell, &miss); 349014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } 350014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } 351958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier FrontendFooter(it->name(), &miss); 352958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier InterceptorVectorSlotPop(reg); 353b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (inline_followup) { 354b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // TODO(368): Compile in the whole chain: all the interceptors in 355b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // prototypes and ultimate answer. 356b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch GenerateLoadInterceptorWithFollowup(it, reg); 357b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } else { 358b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch GenerateLoadInterceptor(reg); 359b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 360b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return GetCode(kind(), Code::FAST, it->name()); 361b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 362b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 363b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 364b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvoid NamedLoadHandlerCompiler::GenerateLoadPostInterceptor( 365b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch LookupIterator* it, Register interceptor_reg) { 366b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<JSObject> real_named_property_holder(it->GetHolder<JSObject>()); 367b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 368014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Handle<Map> holder_map(holder()->map()); 369014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch set_map(holder_map); 370b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch set_holder(real_named_property_holder); 371958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 372958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier Label miss; 373958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier InterceptorVectorSlotPush(interceptor_reg); 374014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Register reg = 375014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch FrontendHeader(interceptor_reg, it->name(), &miss, RETURN_HOLDER); 376958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier FrontendFooter(it->name(), &miss); 377958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier // We discard the vector and slot now because we don't miss below this point. 378958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier InterceptorVectorSlotPop(reg, DISCARD); 379b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 380b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch switch (it->state()) { 381b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::ACCESS_CHECK: 382b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::INTERCEPTOR: 383b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::JSPROXY: 384b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::NOT_FOUND: 385014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch case LookupIterator::INTEGER_INDEXED_EXOTIC: 386b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::TRANSITION: 387b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch UNREACHABLE(); 388b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::DATA: { 389014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch DCHECK_EQ(DATA, it->property_details().type()); 390b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch __ Move(receiver(), reg); 391b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch LoadFieldStub stub(isolate(), it->GetFieldIndex()); 392b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch GenerateTailCall(masm(), stub.GetCode()); 393b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch break; 394b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 395b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch case LookupIterator::ACCESSOR: 396109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch if (it->GetAccessors()->IsAccessorInfo()) { 397109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch Handle<AccessorInfo> info = 398109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch Handle<AccessorInfo>::cast(it->GetAccessors()); 399014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch DCHECK_NOT_NULL(info->getter()); 400014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch GenerateLoadCallback(reg, info); 401014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } else { 402109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch Handle<Object> function = handle( 403109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch AccessorPair::cast(*it->GetAccessors())->getter(), isolate()); 404014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch CallOptimization call_optimization(function); 405014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch GenerateApiAccessorCall(masm(), call_optimization, holder_map, 406014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch receiver(), scratch2(), false, no_reg, reg, 407014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch it->GetAccessorIndex()); 408014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } 409b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 410b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 411b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 412b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 413b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedLoadHandlerCompiler::CompileLoadViaGetter( 414014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Handle<Name> name, int accessor_index, int expected_arguments) { 415014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Register holder = Frontend(name); 416014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch GenerateLoadViaGetter(masm(), map(), receiver(), holder, accessor_index, 417014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch expected_arguments, scratch2()); 418b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return GetCode(kind(), Code::FAST, name); 419b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 420b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 421b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 422b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// TODO(verwaest): Cleanup. holder() is actually the receiver. 423b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedStoreHandlerCompiler::CompileStoreTransition( 424b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Map> transition, Handle<Name> name) { 425958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier Label miss; 426b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 427014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch PushVectorAndSlot(); 428014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 429b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Check that we are allowed to write this. 430b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch bool is_nonexistent = holder()->map() == transition->GetBackPointer(); 431b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (is_nonexistent) { 432b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch // Find the top object. 433b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<JSObject> last; 434014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch PrototypeIterator::WhereToEnd end = 435014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch name->IsPrivate() ? PrototypeIterator::END_AT_NON_HIDDEN 436014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch : PrototypeIterator::END_AT_NULL; 437109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch PrototypeIterator iter(isolate(), holder(), 438109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch PrototypeIterator::START_AT_PROTOTYPE, end); 439109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch while (!iter.IsAtEnd()) { 440014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch last = PrototypeIterator::GetCurrent<JSObject>(iter); 441b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch iter.Advance(); 442b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 443b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (!last.is_null()) set_holder(last); 444b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch NonexistentFrontendHeader(name, &miss, scratch1(), scratch2()); 445b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } else { 446014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch FrontendHeader(receiver(), name, &miss, DONT_RETURN_ANYTHING); 447b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch DCHECK(holder()->HasFastProperties()); 448b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 449b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 450958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier int descriptor = transition->LastAdded(); 451958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier Handle<DescriptorArray> descriptors(transition->instance_descriptors()); 452958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier PropertyDetails details = descriptors->GetDetails(descriptor); 453958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier Representation representation = details.representation(); 454958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier DCHECK(!representation.IsNone()); 455958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 456958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier // Stub is never generated for objects that require access checks. 457958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier DCHECK(!transition->is_access_check_needed()); 458958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 459958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier // Call to respective StoreTransitionStub. 460014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch bool virtual_args = StoreTransitionHelper::HasVirtualSlotArg(); 461014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Register map_reg = StoreTransitionHelper::MapRegister(); 462014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 463014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (details.type() == DATA_CONSTANT) { 464958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier DCHECK(descriptors->GetValue(descriptor)->IsJSFunction()); 465014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Register tmp = 466014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch virtual_args ? VectorStoreICDescriptor::VectorRegister() : map_reg; 467014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch GenerateRestoreMap(transition, tmp, scratch2(), &miss); 468014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch GenerateConstantCheck(tmp, descriptor, value(), scratch2(), &miss); 469014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (virtual_args) { 470014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // This will move the map from tmp into map_reg. 471014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch RearrangeVectorAndSlot(tmp, map_reg); 472014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } else { 473014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch PopVectorAndSlot(); 474014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } 475958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier GenerateRestoreName(name); 476958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier StoreTransitionStub stub(isolate()); 477958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier GenerateTailCall(masm(), stub.GetCode()); 478958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 479958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } else { 480958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier if (representation.IsHeapObject()) { 481958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier GenerateFieldTypeChecks(descriptors->GetFieldType(descriptor), value(), 482958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier &miss); 483958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } 484958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier StoreTransitionStub::StoreMode store_mode = 485958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier Map::cast(transition->GetBackPointer())->unused_property_fields() == 0 486958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier ? StoreTransitionStub::ExtendStorageAndStoreMapAndValue 487958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier : StoreTransitionStub::StoreMapAndValue; 488958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 489014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Register tmp = 490014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch virtual_args ? VectorStoreICDescriptor::VectorRegister() : map_reg; 491014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch GenerateRestoreMap(transition, tmp, scratch2(), &miss); 492014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (virtual_args) { 493014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch RearrangeVectorAndSlot(tmp, map_reg); 494014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } else { 495014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch PopVectorAndSlot(); 496014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } 497958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier GenerateRestoreName(name); 498958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier StoreTransitionStub stub(isolate(), 499958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier FieldIndex::ForDescriptor(*transition, descriptor), 500958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier representation, store_mode); 501958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier GenerateTailCall(masm(), stub.GetCode()); 502958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier } 503b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 504b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch GenerateRestoreName(&miss, name); 505014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch PopVectorAndSlot(); 506b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch TailCallBuiltin(masm(), MissBuiltin(kind())); 507b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 508b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return GetCode(kind(), Code::FAST, name); 509b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 510b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 511014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdochbool NamedStoreHandlerCompiler::RequiresFieldTypeChecks( 512109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch FieldType* field_type) const { 513109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch return field_type->IsClass(); 514014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch} 515014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 516014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 517b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedStoreHandlerCompiler::CompileStoreField(LookupIterator* it) { 518b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Label miss; 519958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier DCHECK(it->representation().IsHeapObject()); 520958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 521109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch FieldType* field_type = *it->GetFieldType(); 522014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch bool need_save_restore = false; 523014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (RequiresFieldTypeChecks(field_type)) { 524014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch need_save_restore = IC::ICUseVector(kind()); 525014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (need_save_restore) PushVectorAndSlot(); 526014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch GenerateFieldTypeChecks(field_type, value(), &miss); 527014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (need_save_restore) PopVectorAndSlot(); 528014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch } 529014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 530958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier StoreFieldStub stub(isolate(), it->GetFieldIndex(), it->representation()); 531958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier GenerateTailCall(masm(), stub.GetCode()); 532958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier 533b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch __ bind(&miss); 534014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch if (need_save_restore) PopVectorAndSlot(); 535b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch TailCallBuiltin(masm(), MissBuiltin(kind())); 536b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return GetCode(kind(), Code::FAST, it->name()); 537b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 538b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 539b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 540b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedStoreHandlerCompiler::CompileStoreViaSetter( 541014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Handle<JSObject> object, Handle<Name> name, int accessor_index, 542014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch int expected_arguments) { 543014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Register holder = Frontend(name); 544014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch GenerateStoreViaSetter(masm(), map(), receiver(), holder, accessor_index, 545014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch expected_arguments, scratch2()); 546b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 547b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return GetCode(kind(), Code::FAST, name); 548b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 549b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 550b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 551b8a8cc1952d61a2f3a2568848933943a543b5d3eBen MurdochHandle<Code> NamedStoreHandlerCompiler::CompileStoreCallback( 552b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<JSObject> object, Handle<Name> name, 553014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch const CallOptimization& call_optimization, int accessor_index) { 554014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch Register holder = Frontend(name); 555014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch GenerateApiAccessorCall(masm(), call_optimization, handle(object->map()), 556014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch receiver(), scratch2(), true, value(), holder, 557014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch accessor_index); 558b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch return GetCode(kind(), Code::FAST, name); 559b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 560b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 561b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 562b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#undef __ 563b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 564b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvoid ElementHandlerCompiler::CompileElementHandlers( 565109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch MapHandleList* receiver_maps, CodeHandleList* handlers) { 566b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch for (int i = 0; i < receiver_maps->length(); ++i) { 567b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Map> receiver_map = receiver_maps->at(i); 568b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch Handle<Code> cached_stub; 569b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 570958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier if (receiver_map->IsStringMap()) { 571958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier cached_stub = LoadIndexedStringStub(isolate()).GetCode(); 572b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } else if (receiver_map->instance_type() < FIRST_JS_RECEIVER_TYPE) { 573109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch cached_stub = isolate()->builtins()->KeyedLoadIC_Slow(); 574b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } else { 575b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch bool is_js_array = receiver_map->instance_type() == JS_ARRAY_TYPE; 576b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch ElementsKind elements_kind = receiver_map->elements_kind(); 577014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 578014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // No need to check for an elements-free prototype chain here, the 579014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch // generated stub code needs to check that dynamically anyway. 580014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch bool convert_hole_to_undefined = 581014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch (is_js_array && elements_kind == FAST_HOLEY_ELEMENTS && 582109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch *receiver_map == isolate()->get_initial_js_array_map(elements_kind)); 583014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch 584b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch if (receiver_map->has_indexed_interceptor()) { 585b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch cached_stub = LoadIndexedInterceptorStub(isolate()).GetCode(); 586b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } else if (IsSloppyArgumentsElements(elements_kind)) { 587b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch cached_stub = KeyedLoadSloppyArgumentsStub(isolate()).GetCode(); 588b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } else if (IsFastElementsKind(elements_kind) || 589b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch IsFixedTypedArrayElementsKind(elements_kind)) { 590014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch cached_stub = LoadFastElementStub(isolate(), is_js_array, elements_kind, 591014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch convert_hole_to_undefined).GetCode(); 592b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } else { 593b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch DCHECK(elements_kind == DICTIONARY_ELEMENTS); 594109988c7ccb6f3fd1a58574fa3dfb88beaef6632Ben Murdoch LoadICState state = LoadICState(kNoExtraICState); 595014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch cached_stub = LoadDictionaryElementStub(isolate(), state).GetCode(); 596b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 597b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 598b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch 599b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch handlers->Add(cached_stub); 600b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch } 601b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch} 602014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch} // namespace internal 603014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch} // namespace v8 604