blob: ed26a4e0df7c2a07a75607a36301712eac254ac2 [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_ARM
6
Ben Murdochb8a8cc12014-11-26 15:28:44 +00007#include "src/ic/handler-compiler.h"
Ben Murdoch097c5b22016-05-18 11:27:45 +01008
Ben Murdochda12d292016-06-02 14:46:10 +01009#include "src/api-arguments.h"
Ben Murdoch097c5b22016-05-18 11:27:45 +010010#include "src/field-type.h"
11#include "src/ic/call-optimization.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000012#include "src/ic/ic.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000013#include "src/isolate-inl.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000014
15namespace v8 {
16namespace internal {
17
18#define __ ACCESS_MASM(masm)
19
20
21void NamedLoadHandlerCompiler::GenerateLoadViaGetter(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000022 MacroAssembler* masm, Handle<Map> map, Register receiver, Register holder,
23 int accessor_index, int expected_arguments, Register scratch) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000024 // ----------- S t a t e -------------
25 // -- r0 : receiver
26 // -- r2 : name
27 // -- lr : return address
28 // -----------------------------------
29 {
30 FrameAndConstantPoolScope scope(masm, StackFrame::INTERNAL);
31
Ben Murdochda12d292016-06-02 14:46:10 +010032 // Save context register
33 __ push(cp);
34
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000035 if (accessor_index >= 0) {
36 DCHECK(!holder.is(scratch));
37 DCHECK(!receiver.is(scratch));
Ben Murdochb8a8cc12014-11-26 15:28:44 +000038 // Call the JavaScript getter with the receiver on the stack.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000039 if (map->IsJSGlobalObjectMap()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000040 // Swap in the global receiver.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000041 __ ldr(scratch,
Ben Murdochb8a8cc12014-11-26 15:28:44 +000042 FieldMemOperand(receiver, JSGlobalObject::kGlobalProxyOffset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000043 receiver = scratch;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000044 }
45 __ push(receiver);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000046 __ LoadAccessor(r1, holder, accessor_index, ACCESSOR_GETTER);
Ben Murdochda12d292016-06-02 14:46:10 +010047 __ mov(r0, Operand(0));
48 __ Call(masm->isolate()->builtins()->CallFunction(
49 ConvertReceiverMode::kNotNullOrUndefined),
50 RelocInfo::CODE_TARGET);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000051 } else {
52 // If we generate a global code snippet for deoptimization only, remember
53 // the place to continue after deoptimization.
54 masm->isolate()->heap()->SetGetterStubDeoptPCOffset(masm->pc_offset());
55 }
56
57 // Restore context register.
Ben Murdochda12d292016-06-02 14:46:10 +010058 __ pop(cp);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000059 }
60 __ Ret();
61}
62
63
64void NamedStoreHandlerCompiler::GenerateStoreViaSetter(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000065 MacroAssembler* masm, Handle<Map> map, Register receiver, Register holder,
66 int accessor_index, int expected_arguments, Register scratch) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000067 // ----------- S t a t e -------------
68 // -- lr : return address
69 // -----------------------------------
70 {
71 FrameAndConstantPoolScope scope(masm, StackFrame::INTERNAL);
72
Ben Murdochda12d292016-06-02 14:46:10 +010073 // Save context register
74 __ push(cp);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000075 // Save value register, so we can restore it later.
76 __ push(value());
77
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000078 if (accessor_index >= 0) {
79 DCHECK(!holder.is(scratch));
80 DCHECK(!receiver.is(scratch));
81 DCHECK(!value().is(scratch));
Ben Murdochb8a8cc12014-11-26 15:28:44 +000082 // Call the JavaScript setter with receiver and value on the stack.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000083 if (map->IsJSGlobalObjectMap()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000084 // Swap in the global receiver.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000085 __ ldr(scratch,
Ben Murdochb8a8cc12014-11-26 15:28:44 +000086 FieldMemOperand(receiver, JSGlobalObject::kGlobalProxyOffset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000087 receiver = scratch;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000088 }
89 __ Push(receiver, value());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000090 __ LoadAccessor(r1, holder, accessor_index, ACCESSOR_SETTER);
Ben Murdochda12d292016-06-02 14:46:10 +010091 __ mov(r0, Operand(1));
92 __ Call(masm->isolate()->builtins()->CallFunction(
93 ConvertReceiverMode::kNotNullOrUndefined),
94 RelocInfo::CODE_TARGET);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000095 } else {
96 // If we generate a global code snippet for deoptimization only, remember
97 // the place to continue after deoptimization.
98 masm->isolate()->heap()->SetSetterStubDeoptPCOffset(masm->pc_offset());
99 }
100
101 // We have to return the passed value, not the return value of the setter.
102 __ pop(r0);
103
104 // Restore context register.
Ben Murdochda12d292016-06-02 14:46:10 +0100105 __ pop(cp);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000106 }
107 __ Ret();
108}
109
110
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400111void PropertyHandlerCompiler::PushVectorAndSlot(Register vector,
112 Register slot) {
113 MacroAssembler* masm = this->masm();
114 __ push(vector);
115 __ push(slot);
116}
117
118
119void PropertyHandlerCompiler::PopVectorAndSlot(Register vector, Register slot) {
120 MacroAssembler* masm = this->masm();
121 __ pop(slot);
122 __ pop(vector);
123}
124
125
126void PropertyHandlerCompiler::DiscardVectorAndSlot() {
127 MacroAssembler* masm = this->masm();
128 // Remove vector and slot.
129 __ add(sp, sp, Operand(2 * kPointerSize));
130}
131
132
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000133void PropertyHandlerCompiler::GenerateDictionaryNegativeLookup(
134 MacroAssembler* masm, Label* miss_label, Register receiver,
135 Handle<Name> name, Register scratch0, Register scratch1) {
136 DCHECK(name->IsUniqueName());
137 DCHECK(!receiver.is(scratch0));
138 Counters* counters = masm->isolate()->counters();
139 __ IncrementCounter(counters->negative_lookups(), 1, scratch0, scratch1);
140 __ IncrementCounter(counters->negative_lookups_miss(), 1, scratch0, scratch1);
141
142 Label done;
143
144 const int kInterceptorOrAccessCheckNeededMask =
145 (1 << Map::kHasNamedInterceptor) | (1 << Map::kIsAccessCheckNeeded);
146
147 // Bail out if the receiver has a named interceptor or requires access checks.
148 Register map = scratch1;
149 __ ldr(map, FieldMemOperand(receiver, HeapObject::kMapOffset));
150 __ ldrb(scratch0, FieldMemOperand(map, Map::kBitFieldOffset));
151 __ tst(scratch0, Operand(kInterceptorOrAccessCheckNeededMask));
152 __ b(ne, miss_label);
153
154 // Check that receiver is a JSObject.
155 __ ldrb(scratch0, FieldMemOperand(map, Map::kInstanceTypeOffset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000156 __ cmp(scratch0, Operand(FIRST_JS_RECEIVER_TYPE));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000157 __ b(lt, miss_label);
158
159 // Load properties array.
160 Register properties = scratch0;
161 __ ldr(properties, FieldMemOperand(receiver, JSObject::kPropertiesOffset));
162 // Check that the properties array is a dictionary.
163 __ ldr(map, FieldMemOperand(properties, HeapObject::kMapOffset));
164 Register tmp = properties;
165 __ LoadRoot(tmp, Heap::kHashTableMapRootIndex);
166 __ cmp(map, tmp);
167 __ b(ne, miss_label);
168
169 // Restore the temporarily used register.
170 __ ldr(properties, FieldMemOperand(receiver, JSObject::kPropertiesOffset));
171
172
173 NameDictionaryLookupStub::GenerateNegativeLookup(
174 masm, miss_label, &done, receiver, properties, name, scratch1);
175 __ bind(&done);
176 __ DecrementCounter(counters->negative_lookups_miss(), 1, scratch0, scratch1);
177}
178
179
180void NamedLoadHandlerCompiler::GenerateDirectLoadGlobalFunctionPrototype(
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400181 MacroAssembler* masm, int index, Register result, Label* miss) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000182 __ LoadNativeContextSlot(index, result);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000183 // Load its initial map. The global functions all have initial maps.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400184 __ ldr(result,
185 FieldMemOperand(result, JSFunction::kPrototypeOrInitialMapOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000186 // Load the prototype from the initial map.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400187 __ ldr(result, FieldMemOperand(result, Map::kPrototypeOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000188}
189
190
191void NamedLoadHandlerCompiler::GenerateLoadFunctionPrototype(
192 MacroAssembler* masm, Register receiver, Register scratch1,
193 Register scratch2, Label* miss_label) {
194 __ TryGetFunctionPrototype(receiver, scratch1, scratch2, miss_label);
195 __ mov(r0, scratch1);
196 __ Ret();
197}
198
199
200// Generate code to check that a global property cell is empty. Create
201// the property cell at compilation time if no cell exists for the
202// property.
203void PropertyHandlerCompiler::GenerateCheckPropertyCell(
204 MacroAssembler* masm, Handle<JSGlobalObject> global, Handle<Name> name,
205 Register scratch, Label* miss) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000206 Handle<PropertyCell> cell = JSGlobalObject::EnsurePropertyCell(global, name);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000207 DCHECK(cell->value()->IsTheHole());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000208 Handle<WeakCell> weak_cell = masm->isolate()->factory()->NewWeakCell(cell);
209 __ LoadWeakValue(scratch, weak_cell, miss);
210 __ ldr(scratch, FieldMemOperand(scratch, PropertyCell::kValueOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000211 __ LoadRoot(ip, Heap::kTheHoleValueRootIndex);
212 __ cmp(scratch, ip);
213 __ b(ne, miss);
214}
215
216
217static void PushInterceptorArguments(MacroAssembler* masm, Register receiver,
218 Register holder, Register name,
219 Handle<JSObject> holder_obj) {
220 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsNameIndex == 0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000221 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsThisIndex == 1);
222 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsHolderIndex == 2);
223 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsLength == 3);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000224 __ push(name);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000225 __ push(receiver);
226 __ push(holder);
227}
228
229
230static void CompileCallLoadPropertyWithInterceptor(
231 MacroAssembler* masm, Register receiver, Register holder, Register name,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000232 Handle<JSObject> holder_obj, Runtime::FunctionId id) {
233 DCHECK(NamedLoadHandlerCompiler::kInterceptorArgsLength ==
234 Runtime::FunctionForId(id)->nargs);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000235 PushInterceptorArguments(masm, receiver, holder, name, holder_obj);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000236 __ CallRuntime(id);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000237}
238
239
240// Generate call to api function.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000241void PropertyHandlerCompiler::GenerateApiAccessorCall(
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000242 MacroAssembler* masm, const CallOptimization& optimization,
243 Handle<Map> receiver_map, Register receiver, Register scratch_in,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000244 bool is_store, Register store_parameter, Register accessor_holder,
245 int accessor_index) {
246 DCHECK(!accessor_holder.is(scratch_in));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000247 DCHECK(!receiver.is(scratch_in));
248 __ push(receiver);
249 // Write the arguments to stack frame.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000250 if (is_store) {
251 DCHECK(!receiver.is(store_parameter));
252 DCHECK(!scratch_in.is(store_parameter));
253 __ push(store_parameter);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000254 }
255 DCHECK(optimization.is_simple_api_call());
256
Ben Murdochda12d292016-06-02 14:46:10 +0100257 // Abi for CallApiCallbackStub.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000258 Register callee = r0;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000259 Register data = r4;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000260 Register holder = r2;
261 Register api_function_address = r1;
262
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000263 // Put callee in place.
264 __ LoadAccessor(callee, accessor_holder, accessor_index,
265 is_store ? ACCESSOR_SETTER : ACCESSOR_GETTER);
266
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000267 // Put holder in place.
268 CallOptimization::HolderLookup holder_lookup;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000269 int holder_depth = 0;
270 optimization.LookupHolderOfExpectedType(receiver_map, &holder_lookup,
271 &holder_depth);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000272 switch (holder_lookup) {
273 case CallOptimization::kHolderIsReceiver:
274 __ Move(holder, receiver);
275 break;
276 case CallOptimization::kHolderFound:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000277 __ ldr(holder, FieldMemOperand(receiver, HeapObject::kMapOffset));
278 __ ldr(holder, FieldMemOperand(holder, Map::kPrototypeOffset));
279 for (int i = 1; i < holder_depth; i++) {
280 __ ldr(holder, FieldMemOperand(holder, HeapObject::kMapOffset));
281 __ ldr(holder, FieldMemOperand(holder, Map::kPrototypeOffset));
282 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000283 break;
284 case CallOptimization::kHolderNotFound:
285 UNREACHABLE();
286 break;
287 }
288
289 Isolate* isolate = masm->isolate();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000290 Handle<CallHandlerInfo> api_call_info = optimization.api_call_info();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000291 bool call_data_undefined = false;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000292 // Put call data in place.
293 if (api_call_info->data()->IsUndefined()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000294 call_data_undefined = true;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000295 __ LoadRoot(data, Heap::kUndefinedValueRootIndex);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000296 } else {
Ben Murdoch097c5b22016-05-18 11:27:45 +0100297 if (optimization.is_constant_call()) {
298 __ ldr(data,
299 FieldMemOperand(callee, JSFunction::kSharedFunctionInfoOffset));
300 __ ldr(data,
301 FieldMemOperand(data, SharedFunctionInfo::kFunctionDataOffset));
302 __ ldr(data,
303 FieldMemOperand(data, FunctionTemplateInfo::kCallCodeOffset));
304 } else {
305 __ ldr(data,
306 FieldMemOperand(callee, FunctionTemplateInfo::kCallCodeOffset));
307 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000308 __ ldr(data, FieldMemOperand(data, CallHandlerInfo::kDataOffset));
309 }
310
311 if (api_call_info->fast_handler()->IsCode()) {
312 // Just tail call into the fast handler if present.
313 __ Jump(handle(Code::cast(api_call_info->fast_handler())),
314 RelocInfo::CODE_TARGET);
315 return;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000316 }
317
318 // Put api_function_address in place.
319 Address function_address = v8::ToCData<Address>(api_call_info->callback());
320 ApiFunction fun(function_address);
321 ExternalReference::Type type = ExternalReference::DIRECT_API_CALL;
322 ExternalReference ref = ExternalReference(&fun, type, masm->isolate());
323 __ mov(api_function_address, Operand(ref));
324
325 // Jump to stub.
Ben Murdochda12d292016-06-02 14:46:10 +0100326 CallApiCallbackStub stub(isolate, is_store, call_data_undefined,
Ben Murdoch097c5b22016-05-18 11:27:45 +0100327 !optimization.is_constant_call());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000328 __ TailCallStub(&stub);
329}
330
331
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000332static void StoreIC_PushArgs(MacroAssembler* masm) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000333 __ Push(StoreDescriptor::ReceiverRegister(), StoreDescriptor::NameRegister(),
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000334 StoreDescriptor::ValueRegister(),
335 VectorStoreICDescriptor::SlotRegister(),
336 VectorStoreICDescriptor::VectorRegister());
337}
338
339
340void NamedStoreHandlerCompiler::GenerateSlow(MacroAssembler* masm) {
341 StoreIC_PushArgs(masm);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000342
343 // The slow case calls into the runtime to complete the store without causing
344 // an IC miss that would otherwise cause a transition to the generic stub.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000345 __ TailCallRuntime(Runtime::kStoreIC_Slow);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000346}
347
348
349void ElementHandlerCompiler::GenerateStoreSlow(MacroAssembler* masm) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000350 StoreIC_PushArgs(masm);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000351
352 // The slow case calls into the runtime to complete the store without causing
353 // an IC miss that would otherwise cause a transition to the generic stub.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000354 __ TailCallRuntime(Runtime::kKeyedStoreIC_Slow);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000355}
356
357
358#undef __
359#define __ ACCESS_MASM(masm())
360
361
362void NamedStoreHandlerCompiler::GenerateRestoreName(Label* label,
363 Handle<Name> name) {
364 if (!label->is_unused()) {
365 __ bind(label);
366 __ mov(this->name(), Operand(name));
367 }
368}
369
370
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400371void NamedStoreHandlerCompiler::GenerateRestoreName(Handle<Name> name) {
372 __ mov(this->name(), Operand(name));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000373}
374
375
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000376void NamedStoreHandlerCompiler::RearrangeVectorAndSlot(
377 Register current_map, Register destination_map) {
378 DCHECK(false); // Not implemented.
379}
380
381
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400382void NamedStoreHandlerCompiler::GenerateRestoreMap(Handle<Map> transition,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000383 Register map_reg,
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400384 Register scratch,
385 Label* miss) {
386 Handle<WeakCell> cell = Map::WeakCellForMap(transition);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400387 DCHECK(!map_reg.is(scratch));
388 __ LoadWeakValue(map_reg, cell, miss);
389 if (transition->CanBeDeprecated()) {
390 __ ldr(scratch, FieldMemOperand(map_reg, Map::kBitField3Offset));
391 __ tst(scratch, Operand(Map::Deprecated::kMask));
392 __ b(ne, miss);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000393 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400394}
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000395
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400396
397void NamedStoreHandlerCompiler::GenerateConstantCheck(Register map_reg,
398 int descriptor,
399 Register value_reg,
400 Register scratch,
401 Label* miss_label) {
402 DCHECK(!map_reg.is(scratch));
403 DCHECK(!map_reg.is(value_reg));
404 DCHECK(!value_reg.is(scratch));
405 __ LoadInstanceDescriptors(map_reg, scratch);
406 __ ldr(scratch,
407 FieldMemOperand(scratch, DescriptorArray::GetValueOffset(descriptor)));
408 __ cmp(value_reg, scratch);
409 __ b(ne, miss_label);
410}
411
Ben Murdoch097c5b22016-05-18 11:27:45 +0100412void NamedStoreHandlerCompiler::GenerateFieldTypeChecks(FieldType* field_type,
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400413 Register value_reg,
414 Label* miss_label) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000415 Register map_reg = scratch1();
416 Register scratch = scratch2();
417 DCHECK(!value_reg.is(map_reg));
418 DCHECK(!value_reg.is(scratch));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400419 __ JumpIfSmi(value_reg, miss_label);
Ben Murdoch097c5b22016-05-18 11:27:45 +0100420 if (field_type->IsClass()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000421 __ ldr(map_reg, FieldMemOperand(value_reg, HeapObject::kMapOffset));
Ben Murdoch097c5b22016-05-18 11:27:45 +0100422 __ CmpWeakValue(map_reg, Map::WeakCellForMap(field_type->AsClass()),
423 scratch);
424 __ b(ne, miss_label);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400425 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000426}
427
428
429Register PropertyHandlerCompiler::CheckPrototypes(
430 Register object_reg, Register holder_reg, Register scratch1,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000431 Register scratch2, Handle<Name> name, Label* miss, PrototypeCheckType check,
432 ReturnHolder return_what) {
433 Handle<Map> receiver_map = map();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000434
435 // Make sure there's no overlap between holder and object registers.
436 DCHECK(!scratch1.is(object_reg) && !scratch1.is(holder_reg));
437 DCHECK(!scratch2.is(object_reg) && !scratch2.is(holder_reg) &&
438 !scratch2.is(scratch1));
439
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000440 if (FLAG_eliminate_prototype_chain_checks) {
441 Handle<Cell> validity_cell =
442 Map::GetOrCreatePrototypeChainValidityCell(receiver_map, isolate());
443 if (!validity_cell.is_null()) {
444 DCHECK_EQ(Smi::FromInt(Map::kPrototypeChainValid),
445 validity_cell->value());
446 __ mov(scratch1, Operand(validity_cell));
447 __ ldr(scratch1, FieldMemOperand(scratch1, Cell::kValueOffset));
448 __ cmp(scratch1, Operand(Smi::FromInt(Map::kPrototypeChainValid)));
449 __ b(ne, miss);
450 }
451
452 // The prototype chain of primitives (and their JSValue wrappers) depends
453 // on the native context, which can't be guarded by validity cells.
454 // |object_reg| holds the native context specific prototype in this case;
455 // we need to check its map.
456 if (check == CHECK_ALL_MAPS) {
457 __ ldr(scratch1, FieldMemOperand(object_reg, HeapObject::kMapOffset));
458 Handle<WeakCell> cell = Map::WeakCellForMap(receiver_map);
459 __ CmpWeakValue(scratch1, cell, scratch2);
460 __ b(ne, miss);
461 }
462 }
463
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000464 // Keep track of the current object in register reg.
465 Register reg = object_reg;
466 int depth = 0;
467
468 Handle<JSObject> current = Handle<JSObject>::null();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000469 if (receiver_map->IsJSGlobalObjectMap()) {
470 current = isolate()->global_object();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000471 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000472
473 // Check access rights to the global object. This has to happen after
474 // the map check so that we know that the object is actually a global
475 // object.
476 // This allows us to install generated handlers for accesses to the
477 // global proxy (as opposed to using slow ICs). See corresponding code
478 // in LookupForRead().
479 if (receiver_map->IsJSGlobalProxyMap()) {
480 __ CheckAccessGlobalProxy(reg, scratch2, miss);
481 }
482
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000483 Handle<JSObject> prototype = Handle<JSObject>::null();
484 Handle<Map> current_map = receiver_map;
485 Handle<Map> holder_map(holder()->map());
486 // Traverse the prototype chain and check the maps in the prototype chain for
487 // fast and global objects or do negative lookup for normal objects.
488 while (!current_map.is_identical_to(holder_map)) {
489 ++depth;
490
491 // Only global objects and objects that do not require access
492 // checks are allowed in stubs.
493 DCHECK(current_map->IsJSGlobalProxyMap() ||
494 !current_map->is_access_check_needed());
495
496 prototype = handle(JSObject::cast(current_map->prototype()));
497 if (current_map->is_dictionary_map() &&
498 !current_map->IsJSGlobalObjectMap()) {
499 DCHECK(!current_map->IsJSGlobalProxyMap()); // Proxy maps are fast.
500 if (!name->IsUniqueName()) {
501 DCHECK(name->IsString());
502 name = factory()->InternalizeString(Handle<String>::cast(name));
503 }
504 DCHECK(current.is_null() ||
505 current->property_dictionary()->FindEntry(name) ==
506 NameDictionary::kNotFound);
507
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000508 if (FLAG_eliminate_prototype_chain_checks && depth > 1) {
509 // TODO(jkummerow): Cache and re-use weak cell.
510 __ LoadWeakValue(reg, isolate()->factory()->NewWeakCell(current), miss);
511 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000512 GenerateDictionaryNegativeLookup(masm(), miss, reg, name, scratch1,
513 scratch2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000514 if (!FLAG_eliminate_prototype_chain_checks) {
515 __ ldr(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset));
516 __ ldr(holder_reg, FieldMemOperand(scratch1, Map::kPrototypeOffset));
517 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000518 } else {
519 Register map_reg = scratch1;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000520 if (!FLAG_eliminate_prototype_chain_checks) {
521 __ ldr(map_reg, FieldMemOperand(reg, HeapObject::kMapOffset));
522 }
523 if (current_map->IsJSGlobalObjectMap()) {
524 GenerateCheckPropertyCell(masm(), Handle<JSGlobalObject>::cast(current),
525 name, scratch2, miss);
526 } else if (!FLAG_eliminate_prototype_chain_checks &&
527 (depth != 1 || check == CHECK_ALL_MAPS)) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400528 Handle<WeakCell> cell = Map::WeakCellForMap(current_map);
529 __ CmpWeakValue(map_reg, cell, scratch2);
530 __ b(ne, miss);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000531 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000532 if (!FLAG_eliminate_prototype_chain_checks) {
533 __ ldr(holder_reg, FieldMemOperand(map_reg, Map::kPrototypeOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000534 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000535 }
536
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000537 reg = holder_reg; // From now on the object will be in holder_reg.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000538 // Go to the next object in the prototype chain.
539 current = prototype;
540 current_map = handle(current->map());
541 }
542
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000543 DCHECK(!current_map->IsJSGlobalProxyMap());
544
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000545 // Log the check depth.
546 LOG(isolate(), IntEvent("check-maps-depth", depth + 1));
547
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000548 if (!FLAG_eliminate_prototype_chain_checks &&
549 (depth != 0 || check == CHECK_ALL_MAPS)) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000550 // Check the holder map.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400551 __ ldr(scratch1, FieldMemOperand(reg, HeapObject::kMapOffset));
552 Handle<WeakCell> cell = Map::WeakCellForMap(current_map);
553 __ CmpWeakValue(scratch1, cell, scratch2);
554 __ b(ne, miss);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000555 }
556
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000557 bool return_holder = return_what == RETURN_HOLDER;
558 if (FLAG_eliminate_prototype_chain_checks && return_holder && depth != 0) {
559 __ LoadWeakValue(reg, isolate()->factory()->NewWeakCell(current), miss);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000560 }
561
562 // Return the register containing the holder.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000563 return return_holder ? reg : no_reg;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000564}
565
566
567void NamedLoadHandlerCompiler::FrontendFooter(Handle<Name> name, Label* miss) {
568 if (!miss->is_unused()) {
569 Label success;
570 __ b(&success);
571 __ bind(miss);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400572 if (IC::ICUseVector(kind())) {
573 DCHECK(kind() == Code::LOAD_IC);
574 PopVectorAndSlot();
575 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000576 TailCallBuiltin(masm(), MissBuiltin(kind()));
577 __ bind(&success);
578 }
579}
580
581
582void NamedStoreHandlerCompiler::FrontendFooter(Handle<Name> name, Label* miss) {
583 if (!miss->is_unused()) {
584 Label success;
585 __ b(&success);
586 GenerateRestoreName(miss, name);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000587 if (IC::ICUseVector(kind())) PopVectorAndSlot();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000588 TailCallBuiltin(masm(), MissBuiltin(kind()));
589 __ bind(&success);
590 }
591}
592
593
594void NamedLoadHandlerCompiler::GenerateLoadConstant(Handle<Object> value) {
595 // Return the constant value.
596 __ Move(r0, value);
597 __ Ret();
598}
599
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000600void NamedLoadHandlerCompiler::GenerateLoadInterceptorWithFollowup(
601 LookupIterator* it, Register holder_reg) {
602 DCHECK(holder()->HasNamedInterceptor());
603 DCHECK(!holder()->GetNamedInterceptor()->getter()->IsUndefined());
604
605 // Compile the interceptor call, followed by inline code to load the
606 // property from further up the prototype chain if the call fails.
607 // Check that the maps haven't changed.
608 DCHECK(holder_reg.is(receiver()) || holder_reg.is(scratch1()));
609
610 // Preserve the receiver register explicitly whenever it is different from the
611 // holder and it is needed should the interceptor return without any result.
612 // The ACCESSOR case needs the receiver to be passed into C++ code, the FIELD
613 // case might cause a miss during the prototype check.
614 bool must_perform_prototype_check =
615 !holder().is_identical_to(it->GetHolder<JSObject>());
616 bool must_preserve_receiver_reg =
617 !receiver().is(holder_reg) &&
618 (it->state() == LookupIterator::ACCESSOR || must_perform_prototype_check);
619
620 // Save necessary data before invoking an interceptor.
621 // Requires a frame to make GC aware of pushed pointers.
622 {
623 FrameAndConstantPoolScope frame_scope(masm(), StackFrame::INTERNAL);
624 if (must_preserve_receiver_reg) {
625 __ Push(receiver(), holder_reg, this->name());
626 } else {
627 __ Push(holder_reg, this->name());
628 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400629 InterceptorVectorSlotPush(holder_reg);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000630 // Invoke an interceptor. Note: map checks from receiver to
631 // interceptor's holder has been compiled before (see a caller
632 // of this method.)
633 CompileCallLoadPropertyWithInterceptor(
634 masm(), receiver(), holder_reg, this->name(), holder(),
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000635 Runtime::kLoadPropertyWithInterceptorOnly);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000636
637 // Check if interceptor provided a value for property. If it's
638 // the case, return immediately.
639 Label interceptor_failed;
640 __ LoadRoot(scratch1(), Heap::kNoInterceptorResultSentinelRootIndex);
641 __ cmp(r0, scratch1());
642 __ b(eq, &interceptor_failed);
643 frame_scope.GenerateLeaveFrame();
644 __ Ret();
645
646 __ bind(&interceptor_failed);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400647 InterceptorVectorSlotPop(holder_reg);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000648 __ pop(this->name());
649 __ pop(holder_reg);
650 if (must_preserve_receiver_reg) {
651 __ pop(receiver());
652 }
653 // Leave the internal frame.
654 }
655
656 GenerateLoadPostInterceptor(it, holder_reg);
657}
658
659
660void NamedLoadHandlerCompiler::GenerateLoadInterceptor(Register holder_reg) {
661 // Call the runtime system to load the interceptor.
662 DCHECK(holder()->HasNamedInterceptor());
663 DCHECK(!holder()->GetNamedInterceptor()->getter()->IsUndefined());
664 PushInterceptorArguments(masm(), receiver(), holder_reg, this->name(),
665 holder());
666
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000667 __ TailCallRuntime(Runtime::kLoadPropertyWithInterceptor);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000668}
669
670
671Handle<Code> NamedStoreHandlerCompiler::CompileStoreCallback(
Ben Murdoch097c5b22016-05-18 11:27:45 +0100672 Handle<JSObject> object, Handle<Name> name, Handle<AccessorInfo> callback,
673 LanguageMode language_mode) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400674 Register holder_reg = Frontend(name);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000675
676 __ push(receiver()); // receiver
677 __ push(holder_reg);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000678
679 // If the callback cannot leak, then push the callback directly,
680 // otherwise wrap it in a weak cell.
681 if (callback->data()->IsUndefined() || callback->data()->IsSmi()) {
682 __ mov(ip, Operand(callback));
683 } else {
684 Handle<WeakCell> cell = isolate()->factory()->NewWeakCell(callback);
685 __ mov(ip, Operand(cell));
686 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000687 __ push(ip);
688 __ mov(ip, Operand(name));
689 __ Push(ip, value());
Ben Murdoch097c5b22016-05-18 11:27:45 +0100690 __ Push(Smi::FromInt(language_mode));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000691
692 // Do tail-call to the runtime system.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000693 __ TailCallRuntime(Runtime::kStoreCallbackProperty);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000694
695 // Return the generated code.
Ben Murdochc5610432016-08-08 18:44:38 +0100696 return GetCode(kind(), name);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000697}
698
699
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000700Register NamedStoreHandlerCompiler::value() {
701 return StoreDescriptor::ValueRegister();
702}
703
704
705Handle<Code> NamedLoadHandlerCompiler::CompileLoadGlobal(
706 Handle<PropertyCell> cell, Handle<Name> name, bool is_configurable) {
707 Label miss;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400708 if (IC::ICUseVector(kind())) {
709 PushVectorAndSlot();
710 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000711 FrontendHeader(receiver(), name, &miss, DONT_RETURN_ANYTHING);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000712
713 // Get the value from the cell.
714 Register result = StoreDescriptor::ValueRegister();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400715 Handle<WeakCell> weak_cell = factory()->NewWeakCell(cell);
716 __ LoadWeakValue(result, weak_cell, &miss);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000717 __ ldr(result, FieldMemOperand(result, PropertyCell::kValueOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000718
719 // Check for deleted property if property can actually be deleted.
720 if (is_configurable) {
721 __ LoadRoot(ip, Heap::kTheHoleValueRootIndex);
722 __ cmp(result, ip);
723 __ b(eq, &miss);
724 }
725
726 Counters* counters = isolate()->counters();
Ben Murdoch097c5b22016-05-18 11:27:45 +0100727 __ IncrementCounter(counters->ic_named_load_global_stub(), 1, r1, r3);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400728 if (IC::ICUseVector(kind())) {
729 DiscardVectorAndSlot();
730 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000731 __ Ret();
732
733 FrontendFooter(name, &miss);
734
735 // Return the generated code.
Ben Murdochc5610432016-08-08 18:44:38 +0100736 return GetCode(kind(), name);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000737}
738
739
740#undef __
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000741} // namespace internal
742} // namespace v8
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000743
744#endif // V8_TARGET_ARCH_ARM