blob: d94a2922287998348275d0b563113bce07a3cc9d [file] [log] [blame]
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001// 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
3// found in the LICENSE file.
4
Ben Murdochb8a8cc12014-11-26 15:28:44 +00005#if V8_TARGET_ARCH_MIPS64
6
7#include "src/ic/call-optimization.h"
8#include "src/ic/handler-compiler.h"
9#include "src/ic/ic.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000010#include "src/isolate-inl.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000011
12namespace v8 {
13namespace internal {
14
15#define __ ACCESS_MASM(masm)
16
17
18void NamedLoadHandlerCompiler::GenerateLoadViaGetter(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000019 MacroAssembler* masm, Handle<Map> map, Register receiver, Register holder,
20 int accessor_index, int expected_arguments, Register scratch) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000021 // ----------- S t a t e -------------
22 // -- a0 : receiver
23 // -- a2 : name
24 // -- ra : return address
25 // -----------------------------------
26 {
27 FrameScope scope(masm, StackFrame::INTERNAL);
28
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000029 if (accessor_index >= 0) {
30 DCHECK(!holder.is(scratch));
31 DCHECK(!receiver.is(scratch));
Ben Murdochb8a8cc12014-11-26 15:28:44 +000032 // Call the JavaScript getter with the receiver on the stack.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000033 if (map->IsJSGlobalObjectMap()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000034 // Swap in the global receiver.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000035 __ ld(scratch,
Ben Murdochb8a8cc12014-11-26 15:28:44 +000036 FieldMemOperand(receiver, JSGlobalObject::kGlobalProxyOffset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000037 receiver = scratch;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000038 }
39 __ push(receiver);
40 ParameterCount actual(0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000041 ParameterCount expected(expected_arguments);
42 __ LoadAccessor(a1, holder, accessor_index, ACCESSOR_GETTER);
43 __ InvokeFunction(a1, expected, actual, CALL_FUNCTION,
44 CheckDebugStepCallWrapper());
Ben Murdochb8a8cc12014-11-26 15:28:44 +000045 } else {
46 // If we generate a global code snippet for deoptimization only, remember
47 // the place to continue after deoptimization.
48 masm->isolate()->heap()->SetGetterStubDeoptPCOffset(masm->pc_offset());
49 }
50
51 // Restore context register.
52 __ ld(cp, MemOperand(fp, StandardFrameConstants::kContextOffset));
53 }
54 __ Ret();
55}
56
57
58void NamedStoreHandlerCompiler::GenerateStoreViaSetter(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000059 MacroAssembler* masm, Handle<Map> map, Register receiver, Register holder,
60 int accessor_index, int expected_arguments, Register scratch) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000061 // ----------- S t a t e -------------
62 // -- ra : return address
63 // -----------------------------------
64 {
65 FrameScope scope(masm, StackFrame::INTERNAL);
66
67 // Save value register, so we can restore it later.
68 __ push(value());
69
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000070 if (accessor_index >= 0) {
71 DCHECK(!holder.is(scratch));
72 DCHECK(!receiver.is(scratch));
73 DCHECK(!value().is(scratch));
Ben Murdochb8a8cc12014-11-26 15:28:44 +000074 // Call the JavaScript setter with receiver and value on the stack.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000075 if (map->IsJSGlobalObjectMap()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000076 // Swap in the global receiver.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000077 __ ld(scratch,
Ben Murdochb8a8cc12014-11-26 15:28:44 +000078 FieldMemOperand(receiver, JSGlobalObject::kGlobalProxyOffset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000079 receiver = scratch;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000080 }
81 __ Push(receiver, value());
82 ParameterCount actual(1);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000083 ParameterCount expected(expected_arguments);
84 __ LoadAccessor(a1, holder, accessor_index, ACCESSOR_SETTER);
85 __ InvokeFunction(a1, expected, actual, CALL_FUNCTION,
86 CheckDebugStepCallWrapper());
Ben Murdochb8a8cc12014-11-26 15:28:44 +000087 } else {
88 // If we generate a global code snippet for deoptimization only, remember
89 // the place to continue after deoptimization.
90 masm->isolate()->heap()->SetSetterStubDeoptPCOffset(masm->pc_offset());
91 }
92
93 // We have to return the passed value, not the return value of the setter.
94 __ pop(v0);
95
96 // Restore context register.
97 __ ld(cp, MemOperand(fp, StandardFrameConstants::kContextOffset));
98 }
99 __ Ret();
100}
101
102
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400103void PropertyHandlerCompiler::PushVectorAndSlot(Register vector,
104 Register slot) {
105 MacroAssembler* masm = this->masm();
106 __ Push(vector, slot);
107}
108
109
110void PropertyHandlerCompiler::PopVectorAndSlot(Register vector, Register slot) {
111 MacroAssembler* masm = this->masm();
112 __ Pop(vector, slot);
113}
114
115
116void PropertyHandlerCompiler::DiscardVectorAndSlot() {
117 MacroAssembler* masm = this->masm();
118 // Remove vector and slot.
119 __ Daddu(sp, sp, Operand(2 * kPointerSize));
120}
121
122
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000123void PropertyHandlerCompiler::GenerateDictionaryNegativeLookup(
124 MacroAssembler* masm, Label* miss_label, Register receiver,
125 Handle<Name> name, Register scratch0, Register scratch1) {
126 DCHECK(name->IsUniqueName());
127 DCHECK(!receiver.is(scratch0));
128 Counters* counters = masm->isolate()->counters();
129 __ IncrementCounter(counters->negative_lookups(), 1, scratch0, scratch1);
130 __ IncrementCounter(counters->negative_lookups_miss(), 1, scratch0, scratch1);
131
132 Label done;
133
134 const int kInterceptorOrAccessCheckNeededMask =
135 (1 << Map::kHasNamedInterceptor) | (1 << Map::kIsAccessCheckNeeded);
136
137 // Bail out if the receiver has a named interceptor or requires access checks.
138 Register map = scratch1;
139 __ ld(map, FieldMemOperand(receiver, HeapObject::kMapOffset));
140 __ lbu(scratch0, FieldMemOperand(map, Map::kBitFieldOffset));
141 __ And(scratch0, scratch0, Operand(kInterceptorOrAccessCheckNeededMask));
142 __ Branch(miss_label, ne, scratch0, Operand(zero_reg));
143
144 // Check that receiver is a JSObject.
145 __ lbu(scratch0, FieldMemOperand(map, Map::kInstanceTypeOffset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000146 __ Branch(miss_label, lt, scratch0, Operand(FIRST_JS_RECEIVER_TYPE));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000147
148 // Load properties array.
149 Register properties = scratch0;
150 __ ld(properties, FieldMemOperand(receiver, JSObject::kPropertiesOffset));
151 // Check that the properties array is a dictionary.
152 __ ld(map, FieldMemOperand(properties, HeapObject::kMapOffset));
153 Register tmp = properties;
154 __ LoadRoot(tmp, Heap::kHashTableMapRootIndex);
155 __ Branch(miss_label, ne, map, Operand(tmp));
156
157 // Restore the temporarily used register.
158 __ ld(properties, FieldMemOperand(receiver, JSObject::kPropertiesOffset));
159
160
161 NameDictionaryLookupStub::GenerateNegativeLookup(
162 masm, miss_label, &done, receiver, properties, name, scratch1);
163 __ bind(&done);
164 __ DecrementCounter(counters->negative_lookups_miss(), 1, scratch0, scratch1);
165}
166
167
168void NamedLoadHandlerCompiler::GenerateDirectLoadGlobalFunctionPrototype(
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400169 MacroAssembler* masm, int index, Register result, Label* miss) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000170 __ LoadNativeContextSlot(index, result);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000171 // Load its initial map. The global functions all have initial maps.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400172 __ ld(result,
173 FieldMemOperand(result, JSFunction::kPrototypeOrInitialMapOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000174 // Load the prototype from the initial map.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400175 __ ld(result, FieldMemOperand(result, Map::kPrototypeOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000176}
177
178
179void NamedLoadHandlerCompiler::GenerateLoadFunctionPrototype(
180 MacroAssembler* masm, Register receiver, Register scratch1,
181 Register scratch2, Label* miss_label) {
182 __ TryGetFunctionPrototype(receiver, scratch1, scratch2, miss_label);
183 __ Ret(USE_DELAY_SLOT);
184 __ mov(v0, scratch1);
185}
186
187
188// Generate code to check that a global property cell is empty. Create
189// the property cell at compilation time if no cell exists for the
190// property.
191void PropertyHandlerCompiler::GenerateCheckPropertyCell(
192 MacroAssembler* masm, Handle<JSGlobalObject> global, Handle<Name> name,
193 Register scratch, Label* miss) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000194 Handle<PropertyCell> cell = JSGlobalObject::EnsurePropertyCell(global, name);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000195 DCHECK(cell->value()->IsTheHole());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000196 Handle<WeakCell> weak_cell = masm->isolate()->factory()->NewWeakCell(cell);
197 __ LoadWeakValue(scratch, weak_cell, miss);
198 __ ld(scratch, FieldMemOperand(scratch, PropertyCell::kValueOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000199 __ LoadRoot(at, Heap::kTheHoleValueRootIndex);
200 __ Branch(miss, ne, scratch, Operand(at));
201}
202
203
204static void PushInterceptorArguments(MacroAssembler* masm, Register receiver,
205 Register holder, Register name,
206 Handle<JSObject> holder_obj) {
207 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsNameIndex == 0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000208 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsThisIndex == 1);
209 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsHolderIndex == 2);
210 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsLength == 3);
211 __ Push(name, receiver, holder);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000212}
213
214
215static void CompileCallLoadPropertyWithInterceptor(
216 MacroAssembler* masm, Register receiver, Register holder, Register name,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000217 Handle<JSObject> holder_obj, Runtime::FunctionId id) {
218 DCHECK(NamedLoadHandlerCompiler::kInterceptorArgsLength ==
219 Runtime::FunctionForId(id)->nargs);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000220 PushInterceptorArguments(masm, receiver, holder, name, holder_obj);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000221 __ CallRuntime(id);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000222}
223
224
225// Generate call to api function.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000226void PropertyHandlerCompiler::GenerateApiAccessorCall(
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000227 MacroAssembler* masm, const CallOptimization& optimization,
228 Handle<Map> receiver_map, Register receiver, Register scratch_in,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000229 bool is_store, Register store_parameter, Register accessor_holder,
230 int accessor_index) {
231 DCHECK(!accessor_holder.is(scratch_in));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000232 DCHECK(!receiver.is(scratch_in));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000233 __ push(receiver);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000234 // Write the arguments to stack frame.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000235 if (is_store) {
236 DCHECK(!receiver.is(store_parameter));
237 DCHECK(!scratch_in.is(store_parameter));
238 __ push(store_parameter);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000239 }
240 DCHECK(optimization.is_simple_api_call());
241
242 // Abi for CallApiFunctionStub.
243 Register callee = a0;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000244 Register data = a4;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000245 Register holder = a2;
246 Register api_function_address = a1;
247
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000248 // Put callee in place.
249 __ LoadAccessor(callee, accessor_holder, accessor_index,
250 is_store ? ACCESSOR_SETTER : ACCESSOR_GETTER);
251
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000252 // Put holder in place.
253 CallOptimization::HolderLookup holder_lookup;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000254 int holder_depth = 0;
255 optimization.LookupHolderOfExpectedType(receiver_map, &holder_lookup,
256 &holder_depth);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000257 switch (holder_lookup) {
258 case CallOptimization::kHolderIsReceiver:
259 __ Move(holder, receiver);
260 break;
261 case CallOptimization::kHolderFound:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000262 __ ld(holder, FieldMemOperand(receiver, HeapObject::kMapOffset));
263 __ ld(holder, FieldMemOperand(holder, Map::kPrototypeOffset));
264 for (int i = 1; i < holder_depth; i++) {
265 __ ld(holder, FieldMemOperand(holder, HeapObject::kMapOffset));
266 __ ld(holder, FieldMemOperand(holder, Map::kPrototypeOffset));
267 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000268 break;
269 case CallOptimization::kHolderNotFound:
270 UNREACHABLE();
271 break;
272 }
273
274 Isolate* isolate = masm->isolate();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000275 Handle<CallHandlerInfo> api_call_info = optimization.api_call_info();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000276 bool call_data_undefined = false;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000277 // Put call data in place.
278 if (api_call_info->data()->IsUndefined()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000279 call_data_undefined = true;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000280 __ LoadRoot(data, Heap::kUndefinedValueRootIndex);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000281 } else {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000282 __ ld(data, FieldMemOperand(callee, JSFunction::kSharedFunctionInfoOffset));
283 __ ld(data, FieldMemOperand(data, SharedFunctionInfo::kFunctionDataOffset));
284 __ ld(data, FieldMemOperand(data, FunctionTemplateInfo::kCallCodeOffset));
285 __ ld(data, FieldMemOperand(data, CallHandlerInfo::kDataOffset));
286 }
287
288 if (api_call_info->fast_handler()->IsCode()) {
289 // Just tail call into the fast handler if present.
290 __ Jump(handle(Code::cast(api_call_info->fast_handler())),
291 RelocInfo::CODE_TARGET);
292 return;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000293 }
294 // Put api_function_address in place.
295 Address function_address = v8::ToCData<Address>(api_call_info->callback());
296 ApiFunction fun(function_address);
297 ExternalReference::Type type = ExternalReference::DIRECT_API_CALL;
298 ExternalReference ref = ExternalReference(&fun, type, masm->isolate());
299 __ li(api_function_address, Operand(ref));
300
301 // Jump to stub.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000302 CallApiAccessorStub stub(isolate, is_store, call_data_undefined);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000303 __ TailCallStub(&stub);
304}
305
306
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000307static void StoreIC_PushArgs(MacroAssembler* masm) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000308 __ Push(StoreDescriptor::ReceiverRegister(), StoreDescriptor::NameRegister(),
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000309 StoreDescriptor::ValueRegister(),
310 VectorStoreICDescriptor::SlotRegister(),
311 VectorStoreICDescriptor::VectorRegister());
312}
313
314
315void NamedStoreHandlerCompiler::GenerateSlow(MacroAssembler* masm) {
316 StoreIC_PushArgs(masm);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000317
318 // The slow case calls into the runtime to complete the store without causing
319 // an IC miss that would otherwise cause a transition to the generic stub.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000320 __ TailCallRuntime(Runtime::kStoreIC_Slow);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000321}
322
323
324void ElementHandlerCompiler::GenerateStoreSlow(MacroAssembler* masm) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000325 StoreIC_PushArgs(masm);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000326
327 // The slow case calls into the runtime to complete the store without causing
328 // an IC miss that would otherwise cause a transition to the generic stub.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000329 __ TailCallRuntime(Runtime::kKeyedStoreIC_Slow);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000330}
331
332
333#undef __
334#define __ ACCESS_MASM(masm())
335
336
337void NamedStoreHandlerCompiler::GenerateRestoreName(Label* label,
338 Handle<Name> name) {
339 if (!label->is_unused()) {
340 __ bind(label);
341 __ li(this->name(), Operand(name));
342 }
343}
344
345
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400346void NamedStoreHandlerCompiler::GenerateRestoreName(Handle<Name> name) {
347 __ li(this->name(), Operand(name));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000348}
349
350
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000351void NamedStoreHandlerCompiler::RearrangeVectorAndSlot(
352 Register current_map, Register destination_map) {
353 DCHECK(false); // Not implemented.
354}
355
356
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400357void NamedStoreHandlerCompiler::GenerateRestoreMap(Handle<Map> transition,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000358 Register map_reg,
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400359 Register scratch,
360 Label* miss) {
361 Handle<WeakCell> cell = Map::WeakCellForMap(transition);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400362 DCHECK(!map_reg.is(scratch));
363 __ LoadWeakValue(map_reg, cell, miss);
364 if (transition->CanBeDeprecated()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000365 __ lwu(scratch, FieldMemOperand(map_reg, Map::kBitField3Offset));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400366 __ And(at, scratch, Operand(Map::Deprecated::kMask));
367 __ Branch(miss, ne, at, Operand(zero_reg));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000368 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400369}
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000370
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400371
372void NamedStoreHandlerCompiler::GenerateConstantCheck(Register map_reg,
373 int descriptor,
374 Register value_reg,
375 Register scratch,
376 Label* miss_label) {
377 DCHECK(!map_reg.is(scratch));
378 DCHECK(!map_reg.is(value_reg));
379 DCHECK(!value_reg.is(scratch));
380 __ LoadInstanceDescriptors(map_reg, scratch);
381 __ ld(scratch,
382 FieldMemOperand(scratch, DescriptorArray::GetValueOffset(descriptor)));
383 __ Branch(miss_label, ne, value_reg, Operand(scratch));
384}
385
386
387void NamedStoreHandlerCompiler::GenerateFieldTypeChecks(HeapType* field_type,
388 Register value_reg,
389 Label* miss_label) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000390 Register map_reg = scratch1();
391 Register scratch = scratch2();
392 DCHECK(!value_reg.is(map_reg));
393 DCHECK(!value_reg.is(scratch));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400394 __ JumpIfSmi(value_reg, miss_label);
395 HeapType::Iterator<Map> it = field_type->Classes();
396 if (!it.Done()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000397 __ ld(map_reg, FieldMemOperand(value_reg, HeapObject::kMapOffset));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400398 Label do_store;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400399 while (true) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000400 // Compare map directly within the Branch() functions.
401 __ GetWeakValue(scratch, Map::WeakCellForMap(it.Current()));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400402 it.Advance();
403 if (it.Done()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000404 __ Branch(miss_label, ne, map_reg, Operand(scratch));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400405 break;
406 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000407 __ Branch(&do_store, eq, map_reg, Operand(scratch));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400408 }
409 __ bind(&do_store);
410 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000411}
412
413
414Register PropertyHandlerCompiler::CheckPrototypes(
415 Register object_reg, Register holder_reg, Register scratch1,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000416 Register scratch2, Handle<Name> name, Label* miss, PrototypeCheckType check,
417 ReturnHolder return_what) {
418 Handle<Map> receiver_map = map();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000419
420 // Make sure there's no overlap between holder and object registers.
421 DCHECK(!scratch1.is(object_reg) && !scratch1.is(holder_reg));
422 DCHECK(!scratch2.is(object_reg) && !scratch2.is(holder_reg) &&
423 !scratch2.is(scratch1));
424
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000425 if (FLAG_eliminate_prototype_chain_checks) {
426 Handle<Cell> validity_cell =
427 Map::GetOrCreatePrototypeChainValidityCell(receiver_map, isolate());
428 if (!validity_cell.is_null()) {
429 DCHECK_EQ(Smi::FromInt(Map::kPrototypeChainValid),
430 validity_cell->value());
431 __ li(scratch1, Operand(validity_cell));
432 __ ld(scratch1, FieldMemOperand(scratch1, Cell::kValueOffset));
433 __ Branch(miss, ne, scratch1,
434 Operand(Smi::FromInt(Map::kPrototypeChainValid)));
435 }
436
437 // The prototype chain of primitives (and their JSValue wrappers) depends
438 // on the native context, which can't be guarded by validity cells.
439 // |object_reg| holds the native context specific prototype in this case;
440 // we need to check its map.
441 if (check == CHECK_ALL_MAPS) {
442 __ ld(scratch1, FieldMemOperand(object_reg, HeapObject::kMapOffset));
443 Handle<WeakCell> cell = Map::WeakCellForMap(receiver_map);
444 __ GetWeakValue(scratch2, cell);
445 __ Branch(miss, ne, scratch1, Operand(scratch2));
446 }
447 }
448
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000449 // Keep track of the current object in register reg.
450 Register reg = object_reg;
451 int depth = 0;
452
453 Handle<JSObject> current = Handle<JSObject>::null();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000454 if (receiver_map->IsJSGlobalObjectMap()) {
455 current = isolate()->global_object();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000456 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000457
458 // Check access rights to the global object. This has to happen after
459 // the map check so that we know that the object is actually a global
460 // object.
461 // This allows us to install generated handlers for accesses to the
462 // global proxy (as opposed to using slow ICs). See corresponding code
463 // in LookupForRead().
464 if (receiver_map->IsJSGlobalProxyMap()) {
465 __ CheckAccessGlobalProxy(reg, scratch2, miss);
466 }
467
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000468 Handle<JSObject> prototype = Handle<JSObject>::null();
469 Handle<Map> current_map = receiver_map;
470 Handle<Map> holder_map(holder()->map());
471 // Traverse the prototype chain and check the maps in the prototype chain for
472 // fast and global objects or do negative lookup for normal objects.
473 while (!current_map.is_identical_to(holder_map)) {
474 ++depth;
475
476 // Only global objects and objects that do not require access
477 // checks are allowed in stubs.
478 DCHECK(current_map->IsJSGlobalProxyMap() ||
479 !current_map->is_access_check_needed());
480
481 prototype = handle(JSObject::cast(current_map->prototype()));
482 if (current_map->is_dictionary_map() &&
483 !current_map->IsJSGlobalObjectMap()) {
484 DCHECK(!current_map->IsJSGlobalProxyMap()); // Proxy maps are fast.
485 if (!name->IsUniqueName()) {
486 DCHECK(name->IsString());
487 name = factory()->InternalizeString(Handle<String>::cast(name));
488 }
489 DCHECK(current.is_null() ||
490 current->property_dictionary()->FindEntry(name) ==
491 NameDictionary::kNotFound);
492
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000493 if (FLAG_eliminate_prototype_chain_checks && depth > 1) {
494 // TODO(jkummerow): Cache and re-use weak cell.
495 __ LoadWeakValue(reg, isolate()->factory()->NewWeakCell(current), miss);
496 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000497 GenerateDictionaryNegativeLookup(masm(), miss, reg, name, scratch1,
498 scratch2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000499 if (!FLAG_eliminate_prototype_chain_checks) {
500 __ ld(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset));
501 __ ld(holder_reg, FieldMemOperand(scratch1, Map::kPrototypeOffset));
502 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000503 } else {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000504 Register map_reg = scratch1;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000505 if (!FLAG_eliminate_prototype_chain_checks) {
506 __ ld(map_reg, FieldMemOperand(reg, HeapObject::kMapOffset));
507 }
508 if (current_map->IsJSGlobalObjectMap()) {
509 GenerateCheckPropertyCell(masm(), Handle<JSGlobalObject>::cast(current),
510 name, scratch2, miss);
511 } else if (!FLAG_eliminate_prototype_chain_checks &&
512 (depth != 1 || check == CHECK_ALL_MAPS)) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400513 Handle<WeakCell> cell = Map::WeakCellForMap(current_map);
514 __ GetWeakValue(scratch2, cell);
515 __ Branch(miss, ne, scratch2, Operand(map_reg));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000516 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000517 if (!FLAG_eliminate_prototype_chain_checks) {
518 __ ld(holder_reg, FieldMemOperand(map_reg, Map::kPrototypeOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000519 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000520 }
521
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000522 reg = holder_reg; // From now on the object will be in holder_reg.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000523 // Go to the next object in the prototype chain.
524 current = prototype;
525 current_map = handle(current->map());
526 }
527
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000528 DCHECK(!current_map->IsJSGlobalProxyMap());
529
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000530 // Log the check depth.
531 LOG(isolate(), IntEvent("check-maps-depth", depth + 1));
532
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000533 if (!FLAG_eliminate_prototype_chain_checks &&
534 (depth != 0 || check == CHECK_ALL_MAPS)) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000535 // Check the holder map.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400536 __ ld(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset));
537 Handle<WeakCell> cell = Map::WeakCellForMap(current_map);
538 __ GetWeakValue(scratch2, cell);
539 __ Branch(miss, ne, scratch2, Operand(scratch1));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000540 }
541
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000542 bool return_holder = return_what == RETURN_HOLDER;
543 if (FLAG_eliminate_prototype_chain_checks && return_holder && depth != 0) {
544 __ LoadWeakValue(reg, isolate()->factory()->NewWeakCell(current), miss);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000545 }
546
547 // Return the register containing the holder.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000548 return return_holder ? reg : no_reg;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000549}
550
551
552void NamedLoadHandlerCompiler::FrontendFooter(Handle<Name> name, Label* miss) {
553 if (!miss->is_unused()) {
554 Label success;
555 __ Branch(&success);
556 __ bind(miss);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400557 if (IC::ICUseVector(kind())) {
558 DCHECK(kind() == Code::LOAD_IC);
559 PopVectorAndSlot();
560 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000561 TailCallBuiltin(masm(), MissBuiltin(kind()));
562 __ bind(&success);
563 }
564}
565
566
567void NamedStoreHandlerCompiler::FrontendFooter(Handle<Name> name, Label* miss) {
568 if (!miss->is_unused()) {
569 Label success;
570 __ Branch(&success);
571 GenerateRestoreName(miss, name);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000572 if (IC::ICUseVector(kind())) PopVectorAndSlot();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000573 TailCallBuiltin(masm(), MissBuiltin(kind()));
574 __ bind(&success);
575 }
576}
577
578
579void NamedLoadHandlerCompiler::GenerateLoadConstant(Handle<Object> value) {
580 // Return the constant value.
581 __ li(v0, value);
582 __ Ret();
583}
584
585
586void NamedLoadHandlerCompiler::GenerateLoadCallback(
587 Register reg, Handle<ExecutableAccessorInfo> callback) {
588 // Build AccessorInfo::args_ list on the stack and push property name below
589 // the exit frame to make GC aware of them and store pointers to them.
590 STATIC_ASSERT(PropertyCallbackArguments::kHolderIndex == 0);
591 STATIC_ASSERT(PropertyCallbackArguments::kIsolateIndex == 1);
592 STATIC_ASSERT(PropertyCallbackArguments::kReturnValueDefaultValueIndex == 2);
593 STATIC_ASSERT(PropertyCallbackArguments::kReturnValueOffset == 3);
594 STATIC_ASSERT(PropertyCallbackArguments::kDataIndex == 4);
595 STATIC_ASSERT(PropertyCallbackArguments::kThisIndex == 5);
596 STATIC_ASSERT(PropertyCallbackArguments::kArgsLength == 6);
597 DCHECK(!scratch2().is(reg));
598 DCHECK(!scratch3().is(reg));
599 DCHECK(!scratch4().is(reg));
600 __ push(receiver());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000601 Handle<Object> data(callback->data(), isolate());
602 if (data->IsUndefined() || data->IsSmi()) {
603 __ li(scratch3(), data);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000604 } else {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000605 Handle<WeakCell> cell =
606 isolate()->factory()->NewWeakCell(Handle<HeapObject>::cast(data));
607 // The callback is alive if this instruction is executed,
608 // so the weak cell is not cleared and points to data.
609 __ GetWeakValue(scratch3(), cell);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000610 }
611 __ Dsubu(sp, sp, 6 * kPointerSize);
612 __ sd(scratch3(), MemOperand(sp, 5 * kPointerSize));
613 __ LoadRoot(scratch3(), Heap::kUndefinedValueRootIndex);
614 __ sd(scratch3(), MemOperand(sp, 4 * kPointerSize));
615 __ sd(scratch3(), MemOperand(sp, 3 * kPointerSize));
616 __ li(scratch4(), Operand(ExternalReference::isolate_address(isolate())));
617 __ sd(scratch4(), MemOperand(sp, 2 * kPointerSize));
618 __ sd(reg, MemOperand(sp, 1 * kPointerSize));
619 __ sd(name(), MemOperand(sp, 0 * kPointerSize));
620 __ Daddu(scratch2(), sp, 1 * kPointerSize);
621
622 __ mov(a2, scratch2()); // Saved in case scratch2 == a1.
623 // Abi for CallApiGetter.
624 Register getter_address_reg = ApiGetterDescriptor::function_address();
625
626 Address getter_address = v8::ToCData<Address>(callback->getter());
627 ApiFunction fun(getter_address);
628 ExternalReference::Type type = ExternalReference::DIRECT_GETTER_CALL;
629 ExternalReference ref = ExternalReference(&fun, type, isolate());
630 __ li(getter_address_reg, Operand(ref));
631
632 CallApiGetterStub stub(isolate());
633 __ TailCallStub(&stub);
634}
635
636
637void NamedLoadHandlerCompiler::GenerateLoadInterceptorWithFollowup(
638 LookupIterator* it, Register holder_reg) {
639 DCHECK(holder()->HasNamedInterceptor());
640 DCHECK(!holder()->GetNamedInterceptor()->getter()->IsUndefined());
641
642 // Compile the interceptor call, followed by inline code to load the
643 // property from further up the prototype chain if the call fails.
644 // Check that the maps haven't changed.
645 DCHECK(holder_reg.is(receiver()) || holder_reg.is(scratch1()));
646
647 // Preserve the receiver register explicitly whenever it is different from the
648 // holder and it is needed should the interceptor return without any result.
649 // The ACCESSOR case needs the receiver to be passed into C++ code, the FIELD
650 // case might cause a miss during the prototype check.
651 bool must_perform_prototype_check =
652 !holder().is_identical_to(it->GetHolder<JSObject>());
653 bool must_preserve_receiver_reg =
654 !receiver().is(holder_reg) &&
655 (it->state() == LookupIterator::ACCESSOR || must_perform_prototype_check);
656
657 // Save necessary data before invoking an interceptor.
658 // Requires a frame to make GC aware of pushed pointers.
659 {
660 FrameScope frame_scope(masm(), StackFrame::INTERNAL);
661 if (must_preserve_receiver_reg) {
662 __ Push(receiver(), holder_reg, this->name());
663 } else {
664 __ Push(holder_reg, this->name());
665 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400666 InterceptorVectorSlotPush(holder_reg);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000667 // Invoke an interceptor. Note: map checks from receiver to
668 // interceptor's holder has been compiled before (see a caller
669 // of this method).
670 CompileCallLoadPropertyWithInterceptor(
671 masm(), receiver(), holder_reg, this->name(), holder(),
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000672 Runtime::kLoadPropertyWithInterceptorOnly);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000673
674 // Check if interceptor provided a value for property. If it's
675 // the case, return immediately.
676 Label interceptor_failed;
677 __ LoadRoot(scratch1(), Heap::kNoInterceptorResultSentinelRootIndex);
678 __ Branch(&interceptor_failed, eq, v0, Operand(scratch1()));
679 frame_scope.GenerateLeaveFrame();
680 __ Ret();
681
682 __ bind(&interceptor_failed);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400683 InterceptorVectorSlotPop(holder_reg);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000684 if (must_preserve_receiver_reg) {
685 __ Pop(receiver(), holder_reg, this->name());
686 } else {
687 __ Pop(holder_reg, this->name());
688 }
689 // Leave the internal frame.
690 }
691
692 GenerateLoadPostInterceptor(it, holder_reg);
693}
694
695
696void NamedLoadHandlerCompiler::GenerateLoadInterceptor(Register holder_reg) {
697 // Call the runtime system to load the interceptor.
698 DCHECK(holder()->HasNamedInterceptor());
699 DCHECK(!holder()->GetNamedInterceptor()->getter()->IsUndefined());
700 PushInterceptorArguments(masm(), receiver(), holder_reg, this->name(),
701 holder());
702
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000703 __ TailCallRuntime(Runtime::kLoadPropertyWithInterceptor);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000704}
705
706
707Handle<Code> NamedStoreHandlerCompiler::CompileStoreCallback(
708 Handle<JSObject> object, Handle<Name> name,
709 Handle<ExecutableAccessorInfo> callback) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400710 Register holder_reg = Frontend(name);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000711
712 __ Push(receiver(), holder_reg); // Receiver.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000713 // If the callback cannot leak, then push the callback directly,
714 // otherwise wrap it in a weak cell.
715 if (callback->data()->IsUndefined() || callback->data()->IsSmi()) {
716 __ li(at, Operand(callback));
717 } else {
718 Handle<WeakCell> cell = isolate()->factory()->NewWeakCell(callback);
719 __ li(at, Operand(cell));
720 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000721 __ push(at);
722 __ li(at, Operand(name));
723 __ Push(at, value());
724
725 // Do tail-call to the runtime system.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000726 __ TailCallRuntime(Runtime::kStoreCallbackProperty);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000727
728 // Return the generated code.
729 return GetCode(kind(), Code::FAST, name);
730}
731
732
733Handle<Code> NamedStoreHandlerCompiler::CompileStoreInterceptor(
734 Handle<Name> name) {
735 __ Push(receiver(), this->name(), value());
736
737 // Do tail-call to the runtime system.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000738 __ TailCallRuntime(Runtime::kStorePropertyWithInterceptor);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000739
740 // Return the generated code.
741 return GetCode(kind(), Code::FAST, name);
742}
743
744
745Register NamedStoreHandlerCompiler::value() {
746 return StoreDescriptor::ValueRegister();
747}
748
749
750Handle<Code> NamedLoadHandlerCompiler::CompileLoadGlobal(
751 Handle<PropertyCell> cell, Handle<Name> name, bool is_configurable) {
752 Label miss;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400753 if (IC::ICUseVector(kind())) {
754 PushVectorAndSlot();
755 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000756
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000757 FrontendHeader(receiver(), name, &miss, DONT_RETURN_ANYTHING);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000758
759 // Get the value from the cell.
760 Register result = StoreDescriptor::ValueRegister();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400761 Handle<WeakCell> weak_cell = factory()->NewWeakCell(cell);
762 __ LoadWeakValue(result, weak_cell, &miss);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000763 __ ld(result, FieldMemOperand(result, PropertyCell::kValueOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000764
765 // Check for deleted property if property can actually be deleted.
766 if (is_configurable) {
767 __ LoadRoot(at, Heap::kTheHoleValueRootIndex);
768 __ Branch(&miss, eq, result, Operand(at));
769 }
770
771 Counters* counters = isolate()->counters();
772 __ IncrementCounter(counters->named_load_global_stub(), 1, a1, a3);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400773 if (IC::ICUseVector(kind())) {
774 DiscardVectorAndSlot();
775 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000776 __ Ret(USE_DELAY_SLOT);
777 __ mov(v0, result);
778
779 FrontendFooter(name, &miss);
780
781 // Return the generated code.
782 return GetCode(kind(), Code::NORMAL, name);
783}
784
785
786#undef __
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000787} // namespace internal
788} // namespace v8
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000789
790#endif // V8_TARGET_ARCH_MIPS64