blob: 968effdd7fbcbb06257b1fe5148744c88e543268 [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
Ben Murdochb8a8cc12014-11-26 15:28:44 +00007#include "src/ic/handler-compiler.h"
Ben Murdoch097c5b22016-05-18 11:27:45 +01008
9#include "src/field-type.h"
10#include "src/ic/call-optimization.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000011#include "src/ic/ic.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000012#include "src/isolate-inl.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000013
14namespace v8 {
15namespace internal {
16
17#define __ ACCESS_MASM(masm)
18
19
20void NamedLoadHandlerCompiler::GenerateLoadViaGetter(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000021 MacroAssembler* masm, Handle<Map> map, Register receiver, Register holder,
22 int accessor_index, int expected_arguments, Register scratch) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000023 // ----------- S t a t e -------------
24 // -- a0 : receiver
25 // -- a2 : name
26 // -- ra : return address
27 // -----------------------------------
28 {
29 FrameScope scope(masm, StackFrame::INTERNAL);
30
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000031 if (accessor_index >= 0) {
32 DCHECK(!holder.is(scratch));
33 DCHECK(!receiver.is(scratch));
Ben Murdochb8a8cc12014-11-26 15:28:44 +000034 // Call the JavaScript getter with the receiver on the stack.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000035 if (map->IsJSGlobalObjectMap()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000036 // Swap in the global receiver.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000037 __ ld(scratch,
Ben Murdochb8a8cc12014-11-26 15:28:44 +000038 FieldMemOperand(receiver, JSGlobalObject::kGlobalProxyOffset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000039 receiver = scratch;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000040 }
41 __ push(receiver);
42 ParameterCount actual(0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000043 ParameterCount expected(expected_arguments);
44 __ LoadAccessor(a1, holder, accessor_index, ACCESSOR_GETTER);
45 __ InvokeFunction(a1, expected, actual, CALL_FUNCTION,
46 CheckDebugStepCallWrapper());
Ben Murdochb8a8cc12014-11-26 15:28:44 +000047 } else {
48 // If we generate a global code snippet for deoptimization only, remember
49 // the place to continue after deoptimization.
50 masm->isolate()->heap()->SetGetterStubDeoptPCOffset(masm->pc_offset());
51 }
52
53 // Restore context register.
54 __ ld(cp, MemOperand(fp, StandardFrameConstants::kContextOffset));
55 }
56 __ Ret();
57}
58
59
60void NamedStoreHandlerCompiler::GenerateStoreViaSetter(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000061 MacroAssembler* masm, Handle<Map> map, Register receiver, Register holder,
62 int accessor_index, int expected_arguments, Register scratch) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000063 // ----------- S t a t e -------------
64 // -- ra : return address
65 // -----------------------------------
66 {
67 FrameScope scope(masm, StackFrame::INTERNAL);
68
69 // Save value register, so we can restore it later.
70 __ push(value());
71
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000072 if (accessor_index >= 0) {
73 DCHECK(!holder.is(scratch));
74 DCHECK(!receiver.is(scratch));
75 DCHECK(!value().is(scratch));
Ben Murdochb8a8cc12014-11-26 15:28:44 +000076 // Call the JavaScript setter with receiver and value on the stack.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000077 if (map->IsJSGlobalObjectMap()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000078 // Swap in the global receiver.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000079 __ ld(scratch,
Ben Murdochb8a8cc12014-11-26 15:28:44 +000080 FieldMemOperand(receiver, JSGlobalObject::kGlobalProxyOffset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000081 receiver = scratch;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000082 }
83 __ Push(receiver, value());
84 ParameterCount actual(1);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000085 ParameterCount expected(expected_arguments);
86 __ LoadAccessor(a1, holder, accessor_index, ACCESSOR_SETTER);
87 __ InvokeFunction(a1, expected, actual, CALL_FUNCTION,
88 CheckDebugStepCallWrapper());
Ben Murdochb8a8cc12014-11-26 15:28:44 +000089 } else {
90 // If we generate a global code snippet for deoptimization only, remember
91 // the place to continue after deoptimization.
92 masm->isolate()->heap()->SetSetterStubDeoptPCOffset(masm->pc_offset());
93 }
94
95 // We have to return the passed value, not the return value of the setter.
96 __ pop(v0);
97
98 // Restore context register.
99 __ ld(cp, MemOperand(fp, StandardFrameConstants::kContextOffset));
100 }
101 __ Ret();
102}
103
104
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400105void PropertyHandlerCompiler::PushVectorAndSlot(Register vector,
106 Register slot) {
107 MacroAssembler* masm = this->masm();
108 __ Push(vector, slot);
109}
110
111
112void PropertyHandlerCompiler::PopVectorAndSlot(Register vector, Register slot) {
113 MacroAssembler* masm = this->masm();
114 __ Pop(vector, slot);
115}
116
117
118void PropertyHandlerCompiler::DiscardVectorAndSlot() {
119 MacroAssembler* masm = this->masm();
120 // Remove vector and slot.
121 __ Daddu(sp, sp, Operand(2 * kPointerSize));
122}
123
124
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000125void PropertyHandlerCompiler::GenerateDictionaryNegativeLookup(
126 MacroAssembler* masm, Label* miss_label, Register receiver,
127 Handle<Name> name, Register scratch0, Register scratch1) {
128 DCHECK(name->IsUniqueName());
129 DCHECK(!receiver.is(scratch0));
130 Counters* counters = masm->isolate()->counters();
131 __ IncrementCounter(counters->negative_lookups(), 1, scratch0, scratch1);
132 __ IncrementCounter(counters->negative_lookups_miss(), 1, scratch0, scratch1);
133
134 Label done;
135
136 const int kInterceptorOrAccessCheckNeededMask =
137 (1 << Map::kHasNamedInterceptor) | (1 << Map::kIsAccessCheckNeeded);
138
139 // Bail out if the receiver has a named interceptor or requires access checks.
140 Register map = scratch1;
141 __ ld(map, FieldMemOperand(receiver, HeapObject::kMapOffset));
142 __ lbu(scratch0, FieldMemOperand(map, Map::kBitFieldOffset));
143 __ And(scratch0, scratch0, Operand(kInterceptorOrAccessCheckNeededMask));
144 __ Branch(miss_label, ne, scratch0, Operand(zero_reg));
145
146 // Check that receiver is a JSObject.
147 __ lbu(scratch0, FieldMemOperand(map, Map::kInstanceTypeOffset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000148 __ Branch(miss_label, lt, scratch0, Operand(FIRST_JS_RECEIVER_TYPE));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000149
150 // Load properties array.
151 Register properties = scratch0;
152 __ ld(properties, FieldMemOperand(receiver, JSObject::kPropertiesOffset));
153 // Check that the properties array is a dictionary.
154 __ ld(map, FieldMemOperand(properties, HeapObject::kMapOffset));
155 Register tmp = properties;
156 __ LoadRoot(tmp, Heap::kHashTableMapRootIndex);
157 __ Branch(miss_label, ne, map, Operand(tmp));
158
159 // Restore the temporarily used register.
160 __ ld(properties, FieldMemOperand(receiver, JSObject::kPropertiesOffset));
161
162
163 NameDictionaryLookupStub::GenerateNegativeLookup(
164 masm, miss_label, &done, receiver, properties, name, scratch1);
165 __ bind(&done);
166 __ DecrementCounter(counters->negative_lookups_miss(), 1, scratch0, scratch1);
167}
168
169
170void NamedLoadHandlerCompiler::GenerateDirectLoadGlobalFunctionPrototype(
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400171 MacroAssembler* masm, int index, Register result, Label* miss) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000172 __ LoadNativeContextSlot(index, result);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000173 // Load its initial map. The global functions all have initial maps.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400174 __ ld(result,
175 FieldMemOperand(result, JSFunction::kPrototypeOrInitialMapOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000176 // Load the prototype from the initial map.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400177 __ ld(result, FieldMemOperand(result, Map::kPrototypeOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000178}
179
180
181void NamedLoadHandlerCompiler::GenerateLoadFunctionPrototype(
182 MacroAssembler* masm, Register receiver, Register scratch1,
183 Register scratch2, Label* miss_label) {
184 __ TryGetFunctionPrototype(receiver, scratch1, scratch2, miss_label);
185 __ Ret(USE_DELAY_SLOT);
186 __ mov(v0, scratch1);
187}
188
189
190// Generate code to check that a global property cell is empty. Create
191// the property cell at compilation time if no cell exists for the
192// property.
193void PropertyHandlerCompiler::GenerateCheckPropertyCell(
194 MacroAssembler* masm, Handle<JSGlobalObject> global, Handle<Name> name,
195 Register scratch, Label* miss) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000196 Handle<PropertyCell> cell = JSGlobalObject::EnsurePropertyCell(global, name);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000197 DCHECK(cell->value()->IsTheHole());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000198 Handle<WeakCell> weak_cell = masm->isolate()->factory()->NewWeakCell(cell);
199 __ LoadWeakValue(scratch, weak_cell, miss);
200 __ ld(scratch, FieldMemOperand(scratch, PropertyCell::kValueOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000201 __ LoadRoot(at, Heap::kTheHoleValueRootIndex);
202 __ Branch(miss, ne, scratch, Operand(at));
203}
204
205
206static void PushInterceptorArguments(MacroAssembler* masm, Register receiver,
207 Register holder, Register name,
208 Handle<JSObject> holder_obj) {
209 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsNameIndex == 0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000210 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsThisIndex == 1);
211 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsHolderIndex == 2);
212 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsLength == 3);
213 __ Push(name, receiver, holder);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000214}
215
216
217static void CompileCallLoadPropertyWithInterceptor(
218 MacroAssembler* masm, Register receiver, Register holder, Register name,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000219 Handle<JSObject> holder_obj, Runtime::FunctionId id) {
220 DCHECK(NamedLoadHandlerCompiler::kInterceptorArgsLength ==
221 Runtime::FunctionForId(id)->nargs);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000222 PushInterceptorArguments(masm, receiver, holder, name, holder_obj);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000223 __ CallRuntime(id);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000224}
225
226
227// Generate call to api function.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000228void PropertyHandlerCompiler::GenerateApiAccessorCall(
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000229 MacroAssembler* masm, const CallOptimization& optimization,
230 Handle<Map> receiver_map, Register receiver, Register scratch_in,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000231 bool is_store, Register store_parameter, Register accessor_holder,
232 int accessor_index) {
233 DCHECK(!accessor_holder.is(scratch_in));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000234 DCHECK(!receiver.is(scratch_in));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000235 __ push(receiver);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000236 // Write the arguments to stack frame.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000237 if (is_store) {
238 DCHECK(!receiver.is(store_parameter));
239 DCHECK(!scratch_in.is(store_parameter));
240 __ push(store_parameter);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000241 }
242 DCHECK(optimization.is_simple_api_call());
243
244 // Abi for CallApiFunctionStub.
245 Register callee = a0;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000246 Register data = a4;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000247 Register holder = a2;
248 Register api_function_address = a1;
249
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000250 // Put callee in place.
251 __ LoadAccessor(callee, accessor_holder, accessor_index,
252 is_store ? ACCESSOR_SETTER : ACCESSOR_GETTER);
253
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000254 // Put holder in place.
255 CallOptimization::HolderLookup holder_lookup;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000256 int holder_depth = 0;
257 optimization.LookupHolderOfExpectedType(receiver_map, &holder_lookup,
258 &holder_depth);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000259 switch (holder_lookup) {
260 case CallOptimization::kHolderIsReceiver:
261 __ Move(holder, receiver);
262 break;
263 case CallOptimization::kHolderFound:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000264 __ ld(holder, FieldMemOperand(receiver, HeapObject::kMapOffset));
265 __ ld(holder, FieldMemOperand(holder, Map::kPrototypeOffset));
266 for (int i = 1; i < holder_depth; i++) {
267 __ ld(holder, FieldMemOperand(holder, HeapObject::kMapOffset));
268 __ ld(holder, FieldMemOperand(holder, Map::kPrototypeOffset));
269 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000270 break;
271 case CallOptimization::kHolderNotFound:
272 UNREACHABLE();
273 break;
274 }
275
276 Isolate* isolate = masm->isolate();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000277 Handle<CallHandlerInfo> api_call_info = optimization.api_call_info();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000278 bool call_data_undefined = false;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000279 // Put call data in place.
280 if (api_call_info->data()->IsUndefined()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000281 call_data_undefined = true;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000282 __ LoadRoot(data, Heap::kUndefinedValueRootIndex);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000283 } else {
Ben Murdoch097c5b22016-05-18 11:27:45 +0100284 if (optimization.is_constant_call()) {
285 __ ld(data,
286 FieldMemOperand(callee, JSFunction::kSharedFunctionInfoOffset));
287 __ ld(data,
288 FieldMemOperand(data, SharedFunctionInfo::kFunctionDataOffset));
289 __ ld(data, FieldMemOperand(data, FunctionTemplateInfo::kCallCodeOffset));
290 } else {
291 __ ld(data,
292 FieldMemOperand(callee, FunctionTemplateInfo::kCallCodeOffset));
293 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000294 __ ld(data, FieldMemOperand(data, CallHandlerInfo::kDataOffset));
295 }
296
297 if (api_call_info->fast_handler()->IsCode()) {
298 // Just tail call into the fast handler if present.
299 __ Jump(handle(Code::cast(api_call_info->fast_handler())),
300 RelocInfo::CODE_TARGET);
301 return;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000302 }
303 // Put api_function_address in place.
304 Address function_address = v8::ToCData<Address>(api_call_info->callback());
305 ApiFunction fun(function_address);
306 ExternalReference::Type type = ExternalReference::DIRECT_API_CALL;
307 ExternalReference ref = ExternalReference(&fun, type, masm->isolate());
308 __ li(api_function_address, Operand(ref));
309
310 // Jump to stub.
Ben Murdoch097c5b22016-05-18 11:27:45 +0100311 CallApiAccessorStub stub(isolate, is_store, call_data_undefined,
312 !optimization.is_constant_call());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000313 __ TailCallStub(&stub);
314}
315
316
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000317static void StoreIC_PushArgs(MacroAssembler* masm) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000318 __ Push(StoreDescriptor::ReceiverRegister(), StoreDescriptor::NameRegister(),
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000319 StoreDescriptor::ValueRegister(),
320 VectorStoreICDescriptor::SlotRegister(),
321 VectorStoreICDescriptor::VectorRegister());
322}
323
324
325void NamedStoreHandlerCompiler::GenerateSlow(MacroAssembler* masm) {
326 StoreIC_PushArgs(masm);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000327
328 // The slow case calls into the runtime to complete the store without causing
329 // an IC miss that would otherwise cause a transition to the generic stub.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000330 __ TailCallRuntime(Runtime::kStoreIC_Slow);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000331}
332
333
334void ElementHandlerCompiler::GenerateStoreSlow(MacroAssembler* masm) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000335 StoreIC_PushArgs(masm);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000336
337 // The slow case calls into the runtime to complete the store without causing
338 // an IC miss that would otherwise cause a transition to the generic stub.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000339 __ TailCallRuntime(Runtime::kKeyedStoreIC_Slow);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000340}
341
342
343#undef __
344#define __ ACCESS_MASM(masm())
345
346
347void NamedStoreHandlerCompiler::GenerateRestoreName(Label* label,
348 Handle<Name> name) {
349 if (!label->is_unused()) {
350 __ bind(label);
351 __ li(this->name(), Operand(name));
352 }
353}
354
355
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400356void NamedStoreHandlerCompiler::GenerateRestoreName(Handle<Name> name) {
357 __ li(this->name(), Operand(name));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000358}
359
360
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000361void NamedStoreHandlerCompiler::RearrangeVectorAndSlot(
362 Register current_map, Register destination_map) {
363 DCHECK(false); // Not implemented.
364}
365
366
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400367void NamedStoreHandlerCompiler::GenerateRestoreMap(Handle<Map> transition,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000368 Register map_reg,
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400369 Register scratch,
370 Label* miss) {
371 Handle<WeakCell> cell = Map::WeakCellForMap(transition);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400372 DCHECK(!map_reg.is(scratch));
373 __ LoadWeakValue(map_reg, cell, miss);
374 if (transition->CanBeDeprecated()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000375 __ lwu(scratch, FieldMemOperand(map_reg, Map::kBitField3Offset));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400376 __ And(at, scratch, Operand(Map::Deprecated::kMask));
377 __ Branch(miss, ne, at, Operand(zero_reg));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000378 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400379}
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000380
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400381
382void NamedStoreHandlerCompiler::GenerateConstantCheck(Register map_reg,
383 int descriptor,
384 Register value_reg,
385 Register scratch,
386 Label* miss_label) {
387 DCHECK(!map_reg.is(scratch));
388 DCHECK(!map_reg.is(value_reg));
389 DCHECK(!value_reg.is(scratch));
390 __ LoadInstanceDescriptors(map_reg, scratch);
391 __ ld(scratch,
392 FieldMemOperand(scratch, DescriptorArray::GetValueOffset(descriptor)));
393 __ Branch(miss_label, ne, value_reg, Operand(scratch));
394}
395
Ben Murdoch097c5b22016-05-18 11:27:45 +0100396void NamedStoreHandlerCompiler::GenerateFieldTypeChecks(FieldType* field_type,
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400397 Register value_reg,
398 Label* miss_label) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000399 Register map_reg = scratch1();
400 Register scratch = scratch2();
401 DCHECK(!value_reg.is(map_reg));
402 DCHECK(!value_reg.is(scratch));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400403 __ JumpIfSmi(value_reg, miss_label);
Ben Murdoch097c5b22016-05-18 11:27:45 +0100404 if (field_type->IsClass()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000405 __ ld(map_reg, FieldMemOperand(value_reg, HeapObject::kMapOffset));
Ben Murdoch097c5b22016-05-18 11:27:45 +0100406 // Compare map directly within the Branch() functions.
407 __ GetWeakValue(scratch, Map::WeakCellForMap(field_type->AsClass()));
408 __ Branch(miss_label, ne, map_reg, Operand(scratch));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400409 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000410}
411
412
413Register PropertyHandlerCompiler::CheckPrototypes(
414 Register object_reg, Register holder_reg, Register scratch1,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000415 Register scratch2, Handle<Name> name, Label* miss, PrototypeCheckType check,
416 ReturnHolder return_what) {
417 Handle<Map> receiver_map = map();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000418
419 // Make sure there's no overlap between holder and object registers.
420 DCHECK(!scratch1.is(object_reg) && !scratch1.is(holder_reg));
421 DCHECK(!scratch2.is(object_reg) && !scratch2.is(holder_reg) &&
422 !scratch2.is(scratch1));
423
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000424 if (FLAG_eliminate_prototype_chain_checks) {
425 Handle<Cell> validity_cell =
426 Map::GetOrCreatePrototypeChainValidityCell(receiver_map, isolate());
427 if (!validity_cell.is_null()) {
428 DCHECK_EQ(Smi::FromInt(Map::kPrototypeChainValid),
429 validity_cell->value());
430 __ li(scratch1, Operand(validity_cell));
431 __ ld(scratch1, FieldMemOperand(scratch1, Cell::kValueOffset));
432 __ Branch(miss, ne, scratch1,
433 Operand(Smi::FromInt(Map::kPrototypeChainValid)));
434 }
435
436 // The prototype chain of primitives (and their JSValue wrappers) depends
437 // on the native context, which can't be guarded by validity cells.
438 // |object_reg| holds the native context specific prototype in this case;
439 // we need to check its map.
440 if (check == CHECK_ALL_MAPS) {
441 __ ld(scratch1, FieldMemOperand(object_reg, HeapObject::kMapOffset));
442 Handle<WeakCell> cell = Map::WeakCellForMap(receiver_map);
443 __ GetWeakValue(scratch2, cell);
444 __ Branch(miss, ne, scratch1, Operand(scratch2));
445 }
446 }
447
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000448 // Keep track of the current object in register reg.
449 Register reg = object_reg;
450 int depth = 0;
451
452 Handle<JSObject> current = Handle<JSObject>::null();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000453 if (receiver_map->IsJSGlobalObjectMap()) {
454 current = isolate()->global_object();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000455 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000456
457 // Check access rights to the global object. This has to happen after
458 // the map check so that we know that the object is actually a global
459 // object.
460 // This allows us to install generated handlers for accesses to the
461 // global proxy (as opposed to using slow ICs). See corresponding code
462 // in LookupForRead().
463 if (receiver_map->IsJSGlobalProxyMap()) {
464 __ CheckAccessGlobalProxy(reg, scratch2, miss);
465 }
466
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000467 Handle<JSObject> prototype = Handle<JSObject>::null();
468 Handle<Map> current_map = receiver_map;
469 Handle<Map> holder_map(holder()->map());
470 // Traverse the prototype chain and check the maps in the prototype chain for
471 // fast and global objects or do negative lookup for normal objects.
472 while (!current_map.is_identical_to(holder_map)) {
473 ++depth;
474
475 // Only global objects and objects that do not require access
476 // checks are allowed in stubs.
477 DCHECK(current_map->IsJSGlobalProxyMap() ||
478 !current_map->is_access_check_needed());
479
480 prototype = handle(JSObject::cast(current_map->prototype()));
481 if (current_map->is_dictionary_map() &&
482 !current_map->IsJSGlobalObjectMap()) {
483 DCHECK(!current_map->IsJSGlobalProxyMap()); // Proxy maps are fast.
484 if (!name->IsUniqueName()) {
485 DCHECK(name->IsString());
486 name = factory()->InternalizeString(Handle<String>::cast(name));
487 }
488 DCHECK(current.is_null() ||
489 current->property_dictionary()->FindEntry(name) ==
490 NameDictionary::kNotFound);
491
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000492 if (FLAG_eliminate_prototype_chain_checks && depth > 1) {
493 // TODO(jkummerow): Cache and re-use weak cell.
494 __ LoadWeakValue(reg, isolate()->factory()->NewWeakCell(current), miss);
495 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000496 GenerateDictionaryNegativeLookup(masm(), miss, reg, name, scratch1,
497 scratch2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000498 if (!FLAG_eliminate_prototype_chain_checks) {
499 __ ld(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset));
500 __ ld(holder_reg, FieldMemOperand(scratch1, Map::kPrototypeOffset));
501 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000502 } else {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000503 Register map_reg = scratch1;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000504 if (!FLAG_eliminate_prototype_chain_checks) {
505 __ ld(map_reg, FieldMemOperand(reg, HeapObject::kMapOffset));
506 }
507 if (current_map->IsJSGlobalObjectMap()) {
508 GenerateCheckPropertyCell(masm(), Handle<JSGlobalObject>::cast(current),
509 name, scratch2, miss);
510 } else if (!FLAG_eliminate_prototype_chain_checks &&
511 (depth != 1 || check == CHECK_ALL_MAPS)) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400512 Handle<WeakCell> cell = Map::WeakCellForMap(current_map);
513 __ GetWeakValue(scratch2, cell);
514 __ Branch(miss, ne, scratch2, Operand(map_reg));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000515 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000516 if (!FLAG_eliminate_prototype_chain_checks) {
517 __ ld(holder_reg, FieldMemOperand(map_reg, Map::kPrototypeOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000518 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000519 }
520
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000521 reg = holder_reg; // From now on the object will be in holder_reg.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000522 // Go to the next object in the prototype chain.
523 current = prototype;
524 current_map = handle(current->map());
525 }
526
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000527 DCHECK(!current_map->IsJSGlobalProxyMap());
528
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000529 // Log the check depth.
530 LOG(isolate(), IntEvent("check-maps-depth", depth + 1));
531
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000532 if (!FLAG_eliminate_prototype_chain_checks &&
533 (depth != 0 || check == CHECK_ALL_MAPS)) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000534 // Check the holder map.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400535 __ ld(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset));
536 Handle<WeakCell> cell = Map::WeakCellForMap(current_map);
537 __ GetWeakValue(scratch2, cell);
538 __ Branch(miss, ne, scratch2, Operand(scratch1));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000539 }
540
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000541 bool return_holder = return_what == RETURN_HOLDER;
542 if (FLAG_eliminate_prototype_chain_checks && return_holder && depth != 0) {
543 __ LoadWeakValue(reg, isolate()->factory()->NewWeakCell(current), miss);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000544 }
545
546 // Return the register containing the holder.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000547 return return_holder ? reg : no_reg;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000548}
549
550
551void NamedLoadHandlerCompiler::FrontendFooter(Handle<Name> name, Label* miss) {
552 if (!miss->is_unused()) {
553 Label success;
554 __ Branch(&success);
555 __ bind(miss);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400556 if (IC::ICUseVector(kind())) {
557 DCHECK(kind() == Code::LOAD_IC);
558 PopVectorAndSlot();
559 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000560 TailCallBuiltin(masm(), MissBuiltin(kind()));
561 __ bind(&success);
562 }
563}
564
565
566void NamedStoreHandlerCompiler::FrontendFooter(Handle<Name> name, Label* miss) {
567 if (!miss->is_unused()) {
568 Label success;
569 __ Branch(&success);
570 GenerateRestoreName(miss, name);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000571 if (IC::ICUseVector(kind())) PopVectorAndSlot();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000572 TailCallBuiltin(masm(), MissBuiltin(kind()));
573 __ bind(&success);
574 }
575}
576
577
578void NamedLoadHandlerCompiler::GenerateLoadConstant(Handle<Object> value) {
579 // Return the constant value.
580 __ li(v0, value);
581 __ Ret();
582}
583
584
585void NamedLoadHandlerCompiler::GenerateLoadCallback(
Ben Murdoch097c5b22016-05-18 11:27:45 +0100586 Register reg, Handle<AccessorInfo> callback) {
587 DCHECK(!AreAliased(scratch2(), scratch3(), scratch4(), receiver()));
588 DCHECK(!AreAliased(scratch2(), scratch3(), scratch4(), reg));
589
590 // Build v8::PropertyCallbackInfo::args_ array on the stack and push property
591 // name below the exit frame to make GC aware of them.
592 STATIC_ASSERT(PropertyCallbackArguments::kShouldThrowOnErrorIndex == 0);
593 STATIC_ASSERT(PropertyCallbackArguments::kHolderIndex == 1);
594 STATIC_ASSERT(PropertyCallbackArguments::kIsolateIndex == 2);
595 STATIC_ASSERT(PropertyCallbackArguments::kReturnValueDefaultValueIndex == 3);
596 STATIC_ASSERT(PropertyCallbackArguments::kReturnValueOffset == 4);
597 STATIC_ASSERT(PropertyCallbackArguments::kDataIndex == 5);
598 STATIC_ASSERT(PropertyCallbackArguments::kThisIndex == 6);
599 STATIC_ASSERT(PropertyCallbackArguments::kArgsLength == 7);
600
601 // Here and below +1 is for name() pushed after the args_ array.
602 typedef PropertyCallbackArguments PCA;
603 __ Dsubu(sp, sp, (PCA::kArgsLength + 1) * kPointerSize);
604 __ sd(receiver(), MemOperand(sp, (PCA::kThisIndex + 1) * kPointerSize));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000605 Handle<Object> data(callback->data(), isolate());
606 if (data->IsUndefined() || data->IsSmi()) {
Ben Murdoch097c5b22016-05-18 11:27:45 +0100607 __ li(scratch2(), data);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000608 } else {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000609 Handle<WeakCell> cell =
610 isolate()->factory()->NewWeakCell(Handle<HeapObject>::cast(data));
611 // The callback is alive if this instruction is executed,
612 // so the weak cell is not cleared and points to data.
Ben Murdoch097c5b22016-05-18 11:27:45 +0100613 __ GetWeakValue(scratch2(), cell);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000614 }
Ben Murdoch097c5b22016-05-18 11:27:45 +0100615 __ sd(scratch2(), MemOperand(sp, (PCA::kDataIndex + 1) * kPointerSize));
616 __ LoadRoot(scratch2(), Heap::kUndefinedValueRootIndex);
617 __ sd(scratch2(),
618 MemOperand(sp, (PCA::kReturnValueOffset + 1) * kPointerSize));
619 __ sd(scratch2(), MemOperand(sp, (PCA::kReturnValueDefaultValueIndex + 1) *
620 kPointerSize));
621 __ li(scratch2(), Operand(ExternalReference::isolate_address(isolate())));
622 __ sd(scratch2(), MemOperand(sp, (PCA::kIsolateIndex + 1) * kPointerSize));
623 __ sd(reg, MemOperand(sp, (PCA::kHolderIndex + 1) * kPointerSize));
624 // should_throw_on_error -> false
625 DCHECK(Smi::FromInt(0) == nullptr);
626 __ sd(zero_reg,
627 MemOperand(sp, (PCA::kShouldThrowOnErrorIndex + 1) * kPointerSize));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000628
Ben Murdoch097c5b22016-05-18 11:27:45 +0100629 __ sd(name(), MemOperand(sp, 0 * kPointerSize));
630
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000631 // Abi for CallApiGetter.
632 Register getter_address_reg = ApiGetterDescriptor::function_address();
633
634 Address getter_address = v8::ToCData<Address>(callback->getter());
635 ApiFunction fun(getter_address);
636 ExternalReference::Type type = ExternalReference::DIRECT_GETTER_CALL;
637 ExternalReference ref = ExternalReference(&fun, type, isolate());
638 __ li(getter_address_reg, Operand(ref));
639
640 CallApiGetterStub stub(isolate());
641 __ TailCallStub(&stub);
642}
643
644
645void NamedLoadHandlerCompiler::GenerateLoadInterceptorWithFollowup(
646 LookupIterator* it, Register holder_reg) {
647 DCHECK(holder()->HasNamedInterceptor());
648 DCHECK(!holder()->GetNamedInterceptor()->getter()->IsUndefined());
649
650 // Compile the interceptor call, followed by inline code to load the
651 // property from further up the prototype chain if the call fails.
652 // Check that the maps haven't changed.
653 DCHECK(holder_reg.is(receiver()) || holder_reg.is(scratch1()));
654
655 // Preserve the receiver register explicitly whenever it is different from the
656 // holder and it is needed should the interceptor return without any result.
657 // The ACCESSOR case needs the receiver to be passed into C++ code, the FIELD
658 // case might cause a miss during the prototype check.
659 bool must_perform_prototype_check =
660 !holder().is_identical_to(it->GetHolder<JSObject>());
661 bool must_preserve_receiver_reg =
662 !receiver().is(holder_reg) &&
663 (it->state() == LookupIterator::ACCESSOR || must_perform_prototype_check);
664
665 // Save necessary data before invoking an interceptor.
666 // Requires a frame to make GC aware of pushed pointers.
667 {
668 FrameScope frame_scope(masm(), StackFrame::INTERNAL);
669 if (must_preserve_receiver_reg) {
670 __ Push(receiver(), holder_reg, this->name());
671 } else {
672 __ Push(holder_reg, this->name());
673 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400674 InterceptorVectorSlotPush(holder_reg);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000675 // Invoke an interceptor. Note: map checks from receiver to
676 // interceptor's holder has been compiled before (see a caller
677 // of this method).
678 CompileCallLoadPropertyWithInterceptor(
679 masm(), receiver(), holder_reg, this->name(), holder(),
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000680 Runtime::kLoadPropertyWithInterceptorOnly);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000681
682 // Check if interceptor provided a value for property. If it's
683 // the case, return immediately.
684 Label interceptor_failed;
685 __ LoadRoot(scratch1(), Heap::kNoInterceptorResultSentinelRootIndex);
686 __ Branch(&interceptor_failed, eq, v0, Operand(scratch1()));
687 frame_scope.GenerateLeaveFrame();
688 __ Ret();
689
690 __ bind(&interceptor_failed);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400691 InterceptorVectorSlotPop(holder_reg);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000692 if (must_preserve_receiver_reg) {
693 __ Pop(receiver(), holder_reg, this->name());
694 } else {
695 __ Pop(holder_reg, this->name());
696 }
697 // Leave the internal frame.
698 }
699
700 GenerateLoadPostInterceptor(it, holder_reg);
701}
702
703
704void NamedLoadHandlerCompiler::GenerateLoadInterceptor(Register holder_reg) {
705 // Call the runtime system to load the interceptor.
706 DCHECK(holder()->HasNamedInterceptor());
707 DCHECK(!holder()->GetNamedInterceptor()->getter()->IsUndefined());
708 PushInterceptorArguments(masm(), receiver(), holder_reg, this->name(),
709 holder());
710
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000711 __ TailCallRuntime(Runtime::kLoadPropertyWithInterceptor);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000712}
713
714
715Handle<Code> NamedStoreHandlerCompiler::CompileStoreCallback(
Ben Murdoch097c5b22016-05-18 11:27:45 +0100716 Handle<JSObject> object, Handle<Name> name, Handle<AccessorInfo> callback,
717 LanguageMode language_mode) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400718 Register holder_reg = Frontend(name);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000719
720 __ Push(receiver(), holder_reg); // Receiver.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000721 // If the callback cannot leak, then push the callback directly,
722 // otherwise wrap it in a weak cell.
723 if (callback->data()->IsUndefined() || callback->data()->IsSmi()) {
724 __ li(at, Operand(callback));
725 } else {
726 Handle<WeakCell> cell = isolate()->factory()->NewWeakCell(callback);
727 __ li(at, Operand(cell));
728 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000729 __ push(at);
730 __ li(at, Operand(name));
731 __ Push(at, value());
Ben Murdoch097c5b22016-05-18 11:27:45 +0100732 __ Push(Smi::FromInt(language_mode));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000733
734 // Do tail-call to the runtime system.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000735 __ TailCallRuntime(Runtime::kStoreCallbackProperty);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000736
737 // Return the generated code.
738 return GetCode(kind(), Code::FAST, name);
739}
740
741
742Handle<Code> NamedStoreHandlerCompiler::CompileStoreInterceptor(
743 Handle<Name> name) {
744 __ Push(receiver(), this->name(), value());
745
746 // Do tail-call to the runtime system.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000747 __ TailCallRuntime(Runtime::kStorePropertyWithInterceptor);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000748
749 // Return the generated code.
750 return GetCode(kind(), Code::FAST, name);
751}
752
753
754Register NamedStoreHandlerCompiler::value() {
755 return StoreDescriptor::ValueRegister();
756}
757
758
759Handle<Code> NamedLoadHandlerCompiler::CompileLoadGlobal(
760 Handle<PropertyCell> cell, Handle<Name> name, bool is_configurable) {
761 Label miss;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400762 if (IC::ICUseVector(kind())) {
763 PushVectorAndSlot();
764 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000765
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000766 FrontendHeader(receiver(), name, &miss, DONT_RETURN_ANYTHING);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000767
768 // Get the value from the cell.
769 Register result = StoreDescriptor::ValueRegister();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400770 Handle<WeakCell> weak_cell = factory()->NewWeakCell(cell);
771 __ LoadWeakValue(result, weak_cell, &miss);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000772 __ ld(result, FieldMemOperand(result, PropertyCell::kValueOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000773
774 // Check for deleted property if property can actually be deleted.
775 if (is_configurable) {
776 __ LoadRoot(at, Heap::kTheHoleValueRootIndex);
777 __ Branch(&miss, eq, result, Operand(at));
778 }
779
780 Counters* counters = isolate()->counters();
Ben Murdoch097c5b22016-05-18 11:27:45 +0100781 __ IncrementCounter(counters->ic_named_load_global_stub(), 1, a1, a3);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400782 if (IC::ICUseVector(kind())) {
783 DiscardVectorAndSlot();
784 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000785 __ Ret(USE_DELAY_SLOT);
786 __ mov(v0, result);
787
788 FrontendFooter(name, &miss);
789
790 // Return the generated code.
791 return GetCode(kind(), Code::NORMAL, name);
792}
793
794
795#undef __
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000796} // namespace internal
797} // namespace v8
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000798
799#endif // V8_TARGET_ARCH_MIPS64