blob: 132090dc8ee1888551135b1dfd55b5513e3b4c2f [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_IA32
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 {
25 FrameScope scope(masm, StackFrame::INTERNAL);
26
Ben Murdochda12d292016-06-02 14:46:10 +010027 // Save context register
28 __ push(esi);
29
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000030 if (accessor_index >= 0) {
31 DCHECK(!holder.is(scratch));
32 DCHECK(!receiver.is(scratch));
Ben Murdochb8a8cc12014-11-26 15:28:44 +000033 // Call the JavaScript getter with the receiver on the stack.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000034 if (map->IsJSGlobalObjectMap()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000035 // Swap in the global receiver.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000036 __ mov(scratch,
Ben Murdochb8a8cc12014-11-26 15:28:44 +000037 FieldOperand(receiver, JSGlobalObject::kGlobalProxyOffset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000038 receiver = scratch;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000039 }
40 __ push(receiver);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000041 __ LoadAccessor(edi, holder, accessor_index, ACCESSOR_GETTER);
Ben Murdochda12d292016-06-02 14:46:10 +010042 __ Set(eax, 0);
43 __ Call(masm->isolate()->builtins()->CallFunction(
44 ConvertReceiverMode::kNotNullOrUndefined),
45 RelocInfo::CODE_TARGET);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000046 } else {
47 // If we generate a global code snippet for deoptimization only, remember
48 // the place to continue after deoptimization.
49 masm->isolate()->heap()->SetGetterStubDeoptPCOffset(masm->pc_offset());
50 }
51
52 // Restore context register.
Ben Murdochda12d292016-06-02 14:46:10 +010053 __ pop(esi);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000054 }
55 __ ret(0);
56}
57
58
Emily Bernierd0a1eb72015-03-24 16:35:39 -040059void PropertyHandlerCompiler::PushVectorAndSlot(Register vector,
60 Register slot) {
61 MacroAssembler* masm = this->masm();
62 __ push(vector);
63 __ push(slot);
64}
65
66
67void PropertyHandlerCompiler::PopVectorAndSlot(Register vector, Register slot) {
68 MacroAssembler* masm = this->masm();
69 __ pop(slot);
70 __ pop(vector);
71}
72
73
74void PropertyHandlerCompiler::DiscardVectorAndSlot() {
75 MacroAssembler* masm = this->masm();
76 // Remove vector and slot.
77 __ add(esp, Immediate(2 * kPointerSize));
78}
79
80
Ben Murdochb8a8cc12014-11-26 15:28:44 +000081void PropertyHandlerCompiler::GenerateDictionaryNegativeLookup(
82 MacroAssembler* masm, Label* miss_label, Register receiver,
83 Handle<Name> name, Register scratch0, Register scratch1) {
84 DCHECK(name->IsUniqueName());
85 DCHECK(!receiver.is(scratch0));
86 Counters* counters = masm->isolate()->counters();
87 __ IncrementCounter(counters->negative_lookups(), 1);
88 __ IncrementCounter(counters->negative_lookups_miss(), 1);
89
90 __ mov(scratch0, FieldOperand(receiver, HeapObject::kMapOffset));
91
92 const int kInterceptorOrAccessCheckNeededMask =
93 (1 << Map::kHasNamedInterceptor) | (1 << Map::kIsAccessCheckNeeded);
94
95 // Bail out if the receiver has a named interceptor or requires access checks.
96 __ test_b(FieldOperand(scratch0, Map::kBitFieldOffset),
Ben Murdochda12d292016-06-02 14:46:10 +010097 Immediate(kInterceptorOrAccessCheckNeededMask));
Ben Murdochb8a8cc12014-11-26 15:28:44 +000098 __ j(not_zero, miss_label);
99
100 // Check that receiver is a JSObject.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000101 __ CmpInstanceType(scratch0, FIRST_JS_RECEIVER_TYPE);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000102 __ j(below, miss_label);
103
104 // Load properties array.
105 Register properties = scratch0;
106 __ mov(properties, FieldOperand(receiver, JSObject::kPropertiesOffset));
107
108 // Check that the properties array is a dictionary.
109 __ cmp(FieldOperand(properties, HeapObject::kMapOffset),
110 Immediate(masm->isolate()->factory()->hash_table_map()));
111 __ j(not_equal, miss_label);
112
113 Label done;
114 NameDictionaryLookupStub::GenerateNegativeLookup(masm, miss_label, &done,
115 properties, name, scratch1);
116 __ bind(&done);
117 __ DecrementCounter(counters->negative_lookups_miss(), 1);
118}
119
120
121void NamedLoadHandlerCompiler::GenerateDirectLoadGlobalFunctionPrototype(
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400122 MacroAssembler* masm, int index, Register result, Label* miss) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000123 __ LoadGlobalFunction(index, result);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000124 // Load its initial map. The global functions all have initial maps.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400125 __ mov(result,
126 FieldOperand(result, JSFunction::kPrototypeOrInitialMapOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000127 // Load the prototype from the initial map.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400128 __ mov(result, FieldOperand(result, Map::kPrototypeOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000129}
130
131
132void NamedLoadHandlerCompiler::GenerateLoadFunctionPrototype(
133 MacroAssembler* masm, Register receiver, Register scratch1,
134 Register scratch2, Label* miss_label) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000135 // TODO(mvstanton): This isn't used on ia32. Move all the other
136 // platform implementations into a code stub so this method can be removed.
137 UNREACHABLE();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000138}
139
140
141// Generate call to api function.
142// This function uses push() to generate smaller, faster code than
143// the version above. It is an optimization that should will be removed
144// when api call ICs are generated in hydrogen.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000145void PropertyHandlerCompiler::GenerateApiAccessorCall(
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000146 MacroAssembler* masm, const CallOptimization& optimization,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000147 Handle<Map> receiver_map, Register receiver, Register scratch,
148 bool is_store, Register store_parameter, Register accessor_holder,
149 int accessor_index) {
150 DCHECK(!accessor_holder.is(scratch));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000151 // Copy return value.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000152 __ pop(scratch);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000153 // receiver
154 __ push(receiver);
155 // Write the arguments to stack frame.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000156 if (is_store) {
157 DCHECK(!receiver.is(store_parameter));
158 DCHECK(!scratch.is(store_parameter));
159 __ push(store_parameter);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000160 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000161 __ push(scratch);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000162 // Stack now matches JSFunction abi.
163 DCHECK(optimization.is_simple_api_call());
164
Ben Murdochda12d292016-06-02 14:46:10 +0100165 // Abi for CallApiCallbackStub.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000166 Register callee = edi;
167 Register data = ebx;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000168 Register holder = ecx;
169 Register api_function_address = edx;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000170 scratch = no_reg;
171
172 // Put callee in place.
173 __ LoadAccessor(callee, accessor_holder, accessor_index,
174 is_store ? ACCESSOR_SETTER : ACCESSOR_GETTER);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000175
176 // Put holder in place.
177 CallOptimization::HolderLookup holder_lookup;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000178 int holder_depth = 0;
179 optimization.LookupHolderOfExpectedType(receiver_map, &holder_lookup,
180 &holder_depth);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000181 switch (holder_lookup) {
182 case CallOptimization::kHolderIsReceiver:
183 __ Move(holder, receiver);
184 break;
185 case CallOptimization::kHolderFound:
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000186 __ mov(holder, FieldOperand(receiver, HeapObject::kMapOffset));
187 __ mov(holder, FieldOperand(holder, Map::kPrototypeOffset));
188 for (int i = 1; i < holder_depth; i++) {
189 __ mov(holder, FieldOperand(holder, HeapObject::kMapOffset));
190 __ mov(holder, FieldOperand(holder, Map::kPrototypeOffset));
191 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000192 break;
193 case CallOptimization::kHolderNotFound:
194 UNREACHABLE();
195 break;
196 }
197
198 Isolate* isolate = masm->isolate();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000199 Handle<CallHandlerInfo> api_call_info = optimization.api_call_info();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000200 bool call_data_undefined = false;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000201 // Put call data in place.
202 if (api_call_info->data()->IsUndefined()) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000203 call_data_undefined = true;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000204 __ mov(data, Immediate(isolate->factory()->undefined_value()));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000205 } else {
Ben Murdoch097c5b22016-05-18 11:27:45 +0100206 if (optimization.is_constant_call()) {
207 __ mov(data, FieldOperand(callee, JSFunction::kSharedFunctionInfoOffset));
208 __ mov(data, FieldOperand(data, SharedFunctionInfo::kFunctionDataOffset));
209 __ mov(data, FieldOperand(data, FunctionTemplateInfo::kCallCodeOffset));
210 } else {
211 __ mov(data, FieldOperand(callee, FunctionTemplateInfo::kCallCodeOffset));
212 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000213 __ mov(data, FieldOperand(data, CallHandlerInfo::kDataOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000214 }
215
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000216 if (api_call_info->fast_handler()->IsCode()) {
217 // Just tail call into the code.
218 __ Jump(handle(Code::cast(api_call_info->fast_handler())),
219 RelocInfo::CODE_TARGET);
220 return;
221 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000222 // Put api_function_address in place.
223 Address function_address = v8::ToCData<Address>(api_call_info->callback());
224 __ mov(api_function_address, Immediate(function_address));
225
226 // Jump to stub.
Ben Murdochda12d292016-06-02 14:46:10 +0100227 CallApiCallbackStub stub(isolate, is_store, call_data_undefined,
Ben Murdoch097c5b22016-05-18 11:27:45 +0100228 !optimization.is_constant_call());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000229 __ TailCallStub(&stub);
230}
231
232
233// Generate code to check that a global property cell is empty. Create
234// the property cell at compilation time if no cell exists for the
235// property.
236void PropertyHandlerCompiler::GenerateCheckPropertyCell(
237 MacroAssembler* masm, Handle<JSGlobalObject> global, Handle<Name> name,
238 Register scratch, Label* miss) {
239 Handle<PropertyCell> cell = JSGlobalObject::EnsurePropertyCell(global, name);
240 DCHECK(cell->value()->IsTheHole());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000241 Factory* factory = masm->isolate()->factory();
242 Handle<WeakCell> weak_cell = factory->NewWeakCell(cell);
243 __ LoadWeakValue(scratch, weak_cell, miss);
244 __ cmp(FieldOperand(scratch, PropertyCell::kValueOffset),
245 Immediate(factory->the_hole_value()));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000246 __ j(not_equal, miss);
247}
248
249
250void NamedStoreHandlerCompiler::GenerateStoreViaSetter(
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000251 MacroAssembler* masm, Handle<Map> map, Register receiver, Register holder,
252 int accessor_index, int expected_arguments, Register scratch) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000253 // ----------- S t a t e -------------
254 // -- esp[0] : return address
255 // -----------------------------------
256 {
257 FrameScope scope(masm, StackFrame::INTERNAL);
258
Ben Murdochda12d292016-06-02 14:46:10 +0100259 // Save context register
260 __ push(esi);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000261 // Save value register, so we can restore it later.
262 __ push(value());
263
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000264 if (accessor_index >= 0) {
265 DCHECK(!holder.is(scratch));
266 DCHECK(!receiver.is(scratch));
267 DCHECK(!value().is(scratch));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000268 // Call the JavaScript setter with receiver and value on the stack.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000269 if (map->IsJSGlobalObjectMap()) {
270 __ mov(scratch,
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000271 FieldOperand(receiver, JSGlobalObject::kGlobalProxyOffset));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000272 receiver = scratch;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000273 }
274 __ push(receiver);
275 __ push(value());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000276 __ LoadAccessor(edi, holder, accessor_index, ACCESSOR_SETTER);
Ben Murdochda12d292016-06-02 14:46:10 +0100277 __ Set(eax, 1);
278 __ Call(masm->isolate()->builtins()->CallFunction(
279 ConvertReceiverMode::kNotNullOrUndefined),
280 RelocInfo::CODE_TARGET);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000281 } else {
282 // If we generate a global code snippet for deoptimization only, remember
283 // the place to continue after deoptimization.
284 masm->isolate()->heap()->SetSetterStubDeoptPCOffset(masm->pc_offset());
285 }
286
287 // We have to return the passed value, not the return value of the setter.
288 __ pop(eax);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000289 // Restore context register.
Ben Murdochda12d292016-06-02 14:46:10 +0100290 __ pop(esi);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000291 }
292 __ ret(0);
293}
294
295
296static void PushInterceptorArguments(MacroAssembler* masm, Register receiver,
297 Register holder, Register name,
298 Handle<JSObject> holder_obj) {
299 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsNameIndex == 0);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000300 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsThisIndex == 1);
301 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsHolderIndex == 2);
302 STATIC_ASSERT(NamedLoadHandlerCompiler::kInterceptorArgsLength == 3);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000303 __ push(name);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000304 __ push(receiver);
305 __ push(holder);
306}
307
308
309static void CompileCallLoadPropertyWithInterceptor(
310 MacroAssembler* masm, Register receiver, Register holder, Register name,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000311 Handle<JSObject> holder_obj, Runtime::FunctionId id) {
312 DCHECK(NamedLoadHandlerCompiler::kInterceptorArgsLength ==
313 Runtime::FunctionForId(id)->nargs);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000314 PushInterceptorArguments(masm, receiver, holder, name, holder_obj);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000315 __ CallRuntime(id);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000316}
317
318
319static void StoreIC_PushArgs(MacroAssembler* masm) {
320 Register receiver = StoreDescriptor::ReceiverRegister();
321 Register name = StoreDescriptor::NameRegister();
322 Register value = StoreDescriptor::ValueRegister();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000323 Register slot = VectorStoreICDescriptor::SlotRegister();
324 Register vector = VectorStoreICDescriptor::VectorRegister();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000325
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000326 __ xchg(receiver, Operand(esp, 0));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000327 __ push(name);
328 __ push(value);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000329 __ push(slot);
330 __ push(vector);
331 __ push(receiver); // which contains the return address.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000332}
333
334
335void NamedStoreHandlerCompiler::GenerateSlow(MacroAssembler* masm) {
336 // Return address is on the stack.
337 StoreIC_PushArgs(masm);
338
339 // Do tail-call to runtime routine.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000340 __ TailCallRuntime(Runtime::kStoreIC_Slow);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000341}
342
343
344void ElementHandlerCompiler::GenerateStoreSlow(MacroAssembler* masm) {
345 // Return address is on the stack.
346 StoreIC_PushArgs(masm);
347
348 // Do tail-call to runtime routine.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000349 __ TailCallRuntime(Runtime::kKeyedStoreIC_Slow);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000350}
351
352
353#undef __
354#define __ ACCESS_MASM(masm())
355
356
357void NamedStoreHandlerCompiler::GenerateRestoreName(Label* label,
358 Handle<Name> name) {
359 if (!label->is_unused()) {
360 __ bind(label);
361 __ mov(this->name(), Immediate(name));
362 }
363}
364
365
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400366void NamedStoreHandlerCompiler::GenerateRestoreName(Handle<Name> name) {
367 __ mov(this->name(), Immediate(name));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000368}
369
370
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000371void NamedStoreHandlerCompiler::RearrangeVectorAndSlot(
372 Register current_map, Register destination_map) {
373 DCHECK(destination_map.is(StoreTransitionHelper::MapRegister()));
374 DCHECK(current_map.is(StoreTransitionHelper::VectorRegister()));
375 ExternalReference virtual_slot =
376 ExternalReference::virtual_slot_register(isolate());
377 __ mov(destination_map, current_map);
378 __ pop(current_map);
379 __ mov(Operand::StaticVariable(virtual_slot), current_map);
380 __ pop(current_map); // put vector in place.
381}
382
383
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400384void NamedStoreHandlerCompiler::GenerateRestoreMap(Handle<Map> transition,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000385 Register map_reg,
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400386 Register scratch,
387 Label* miss) {
388 Handle<WeakCell> cell = Map::WeakCellForMap(transition);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400389 DCHECK(!map_reg.is(scratch));
390 __ LoadWeakValue(map_reg, cell, miss);
391 if (transition->CanBeDeprecated()) {
392 __ mov(scratch, FieldOperand(map_reg, Map::kBitField3Offset));
393 __ and_(scratch, Immediate(Map::Deprecated::kMask));
394 __ j(not_zero, miss);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000395 }
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400396}
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000397
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400398
399void NamedStoreHandlerCompiler::GenerateConstantCheck(Register map_reg,
400 int descriptor,
401 Register value_reg,
402 Register scratch,
403 Label* miss_label) {
404 DCHECK(!map_reg.is(scratch));
405 DCHECK(!map_reg.is(value_reg));
406 DCHECK(!value_reg.is(scratch));
407 __ LoadInstanceDescriptors(map_reg, scratch);
408 __ mov(scratch,
409 FieldOperand(scratch, DescriptorArray::GetValueOffset(descriptor)));
410 __ cmp(value_reg, scratch);
411 __ j(not_equal, miss_label);
412}
413
Ben Murdoch097c5b22016-05-18 11:27:45 +0100414void NamedStoreHandlerCompiler::GenerateFieldTypeChecks(FieldType* field_type,
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400415 Register value_reg,
416 Label* miss_label) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000417 Register map_reg = scratch1();
418 Register scratch = scratch2();
419 DCHECK(!value_reg.is(map_reg));
420 DCHECK(!value_reg.is(scratch));
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400421 __ JumpIfSmi(value_reg, miss_label);
Ben Murdoch097c5b22016-05-18 11:27:45 +0100422 if (field_type->IsClass()) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000423 __ mov(map_reg, FieldOperand(value_reg, HeapObject::kMapOffset));
Ben Murdoch097c5b22016-05-18 11:27:45 +0100424 __ CmpWeakValue(map_reg, Map::WeakCellForMap(field_type->AsClass()),
425 scratch);
426 __ j(not_equal, miss_label);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400427 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000428}
429
430
431Register PropertyHandlerCompiler::CheckPrototypes(
432 Register object_reg, Register holder_reg, Register scratch1,
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000433 Register scratch2, Handle<Name> name, Label* miss, PrototypeCheckType check,
434 ReturnHolder return_what) {
435 Handle<Map> receiver_map = map();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000436
437 // Make sure there's no overlap between holder and object registers.
438 DCHECK(!scratch1.is(object_reg) && !scratch1.is(holder_reg));
439 DCHECK(!scratch2.is(object_reg) && !scratch2.is(holder_reg) &&
440 !scratch2.is(scratch1));
441
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000442 if (FLAG_eliminate_prototype_chain_checks) {
443 Handle<Cell> validity_cell =
444 Map::GetOrCreatePrototypeChainValidityCell(receiver_map, isolate());
445 if (!validity_cell.is_null()) {
446 DCHECK_EQ(Smi::FromInt(Map::kPrototypeChainValid),
447 validity_cell->value());
448 // Operand::ForCell(...) points to the cell's payload!
449 __ cmp(Operand::ForCell(validity_cell),
450 Immediate(Smi::FromInt(Map::kPrototypeChainValid)));
451 __ j(not_equal, miss);
452 }
453
454 // The prototype chain of primitives (and their JSValue wrappers) depends
455 // on the native context, which can't be guarded by validity cells.
456 // |object_reg| holds the native context specific prototype in this case;
457 // we need to check its map.
458 if (check == CHECK_ALL_MAPS) {
459 __ mov(scratch1, FieldOperand(object_reg, HeapObject::kMapOffset));
460 Handle<WeakCell> cell = Map::WeakCellForMap(receiver_map);
461 __ CmpWeakValue(scratch1, cell, scratch2);
462 __ j(not_equal, miss);
463 }
464 }
465
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000466 // Keep track of the current object in register reg.
467 Register reg = object_reg;
468 int depth = 0;
469
470 Handle<JSObject> current = Handle<JSObject>::null();
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000471 if (receiver_map->IsJSGlobalObjectMap()) {
472 current = isolate()->global_object();
473 }
474
475 // Check access rights to the global object. This has to happen after
476 // the map check so that we know that the object is actually a global
477 // object.
478 // This allows us to install generated handlers for accesses to the
479 // global proxy (as opposed to using slow ICs). See corresponding code
480 // in LookupForRead().
481 if (receiver_map->IsJSGlobalProxyMap()) {
482 __ CheckAccessGlobalProxy(reg, scratch1, scratch2, miss);
483 }
484
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000485 Handle<JSObject> prototype = Handle<JSObject>::null();
486 Handle<Map> current_map = receiver_map;
487 Handle<Map> holder_map(holder()->map());
488 // Traverse the prototype chain and check the maps in the prototype chain for
489 // fast and global objects or do negative lookup for normal objects.
490 while (!current_map.is_identical_to(holder_map)) {
491 ++depth;
492
493 // Only global objects and objects that do not require access
494 // checks are allowed in stubs.
495 DCHECK(current_map->IsJSGlobalProxyMap() ||
496 !current_map->is_access_check_needed());
497
498 prototype = handle(JSObject::cast(current_map->prototype()));
499 if (current_map->is_dictionary_map() &&
500 !current_map->IsJSGlobalObjectMap()) {
501 DCHECK(!current_map->IsJSGlobalProxyMap()); // Proxy maps are fast.
502 if (!name->IsUniqueName()) {
503 DCHECK(name->IsString());
504 name = factory()->InternalizeString(Handle<String>::cast(name));
505 }
506 DCHECK(current.is_null() ||
507 current->property_dictionary()->FindEntry(name) ==
508 NameDictionary::kNotFound);
509
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000510 if (FLAG_eliminate_prototype_chain_checks && depth > 1) {
511 // TODO(jkummerow): Cache and re-use weak cell.
512 __ LoadWeakValue(reg, isolate()->factory()->NewWeakCell(current), miss);
513 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000514 GenerateDictionaryNegativeLookup(masm(), miss, reg, name, scratch1,
515 scratch2);
516
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000517 if (!FLAG_eliminate_prototype_chain_checks) {
518 __ mov(scratch1, FieldOperand(reg, HeapObject::kMapOffset));
519 __ mov(holder_reg, FieldOperand(scratch1, Map::kPrototypeOffset));
520 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000521 } else {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400522 Register map_reg = scratch1;
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000523 if (!FLAG_eliminate_prototype_chain_checks) {
524 __ mov(map_reg, FieldOperand(reg, HeapObject::kMapOffset));
525 }
526 if (current_map->IsJSGlobalObjectMap()) {
527 GenerateCheckPropertyCell(masm(), Handle<JSGlobalObject>::cast(current),
528 name, scratch2, miss);
529 } else if (!FLAG_eliminate_prototype_chain_checks &&
530 (depth != 1 || check == CHECK_ALL_MAPS)) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400531 Handle<WeakCell> cell = Map::WeakCellForMap(current_map);
532 __ CmpWeakValue(map_reg, cell, scratch2);
533 __ j(not_equal, miss);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000534 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000535 if (!FLAG_eliminate_prototype_chain_checks) {
536 __ mov(holder_reg, FieldOperand(map_reg, Map::kPrototypeOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000537 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000538 }
539
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000540 reg = holder_reg; // From now on the object will be in holder_reg.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000541 // Go to the next object in the prototype chain.
542 current = prototype;
543 current_map = handle(current->map());
544 }
545
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000546 DCHECK(!current_map->IsJSGlobalProxyMap());
547
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000548 // Log the check depth.
549 LOG(isolate(), IntEvent("check-maps-depth", depth + 1));
550
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000551 if (!FLAG_eliminate_prototype_chain_checks &&
552 (depth != 0 || check == CHECK_ALL_MAPS)) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000553 // Check the holder map.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400554 __ mov(scratch1, FieldOperand(reg, HeapObject::kMapOffset));
555 Handle<WeakCell> cell = Map::WeakCellForMap(current_map);
556 __ CmpWeakValue(scratch1, cell, scratch2);
557 __ j(not_equal, miss);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000558 }
559
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000560 bool return_holder = return_what == RETURN_HOLDER;
561 if (FLAG_eliminate_prototype_chain_checks && return_holder && depth != 0) {
562 __ LoadWeakValue(reg, isolate()->factory()->NewWeakCell(current), miss);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000563 }
564
565 // Return the register containing the holder.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000566 return return_holder ? reg : no_reg;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000567}
568
569
570void NamedLoadHandlerCompiler::FrontendFooter(Handle<Name> name, Label* miss) {
571 if (!miss->is_unused()) {
572 Label success;
573 __ jmp(&success);
574 __ bind(miss);
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400575 if (IC::ICUseVector(kind())) {
576 DCHECK(kind() == Code::LOAD_IC);
577 PopVectorAndSlot();
578 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000579 TailCallBuiltin(masm(), MissBuiltin(kind()));
580 __ bind(&success);
581 }
582}
583
584
585void NamedStoreHandlerCompiler::FrontendFooter(Handle<Name> name, Label* miss) {
586 if (!miss->is_unused()) {
587 Label success;
588 __ jmp(&success);
589 GenerateRestoreName(miss, name);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000590 if (IC::ICUseVector(kind())) PopVectorAndSlot();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000591 TailCallBuiltin(masm(), MissBuiltin(kind()));
592 __ bind(&success);
593 }
594}
595
596
597void NamedLoadHandlerCompiler::GenerateLoadCallback(
Ben Murdoch097c5b22016-05-18 11:27:45 +0100598 Register reg, Handle<AccessorInfo> callback) {
599 DCHECK(!AreAliased(scratch2(), scratch3(), receiver()));
600 DCHECK(!AreAliased(scratch2(), scratch3(), reg));
601
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000602 // Insert additional parameters into the stack frame above return address.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000603 __ pop(scratch3()); // Get return address to place it below.
604
Ben Murdoch097c5b22016-05-18 11:27:45 +0100605 // Build v8::PropertyCallbackInfo::args_ array on the stack and push property
606 // name below the exit frame to make GC aware of them.
607 STATIC_ASSERT(PropertyCallbackArguments::kShouldThrowOnErrorIndex == 0);
608 STATIC_ASSERT(PropertyCallbackArguments::kHolderIndex == 1);
609 STATIC_ASSERT(PropertyCallbackArguments::kIsolateIndex == 2);
610 STATIC_ASSERT(PropertyCallbackArguments::kReturnValueDefaultValueIndex == 3);
611 STATIC_ASSERT(PropertyCallbackArguments::kReturnValueOffset == 4);
612 STATIC_ASSERT(PropertyCallbackArguments::kDataIndex == 5);
613 STATIC_ASSERT(PropertyCallbackArguments::kThisIndex == 6);
614 STATIC_ASSERT(PropertyCallbackArguments::kArgsLength == 7);
615
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000616 __ push(receiver()); // receiver
Ben Murdoch097c5b22016-05-18 11:27:45 +0100617 // Push data from AccessorInfo.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000618 Handle<Object> data(callback->data(), isolate());
619 if (data->IsUndefined() || data->IsSmi()) {
620 __ push(Immediate(data));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000621 } else {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000622 Handle<WeakCell> cell =
623 isolate()->factory()->NewWeakCell(Handle<HeapObject>::cast(data));
624 // The callback is alive if this instruction is executed,
625 // so the weak cell is not cleared and points to data.
626 __ GetWeakValue(scratch2(), cell);
627 __ push(scratch2());
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000628 }
629 __ push(Immediate(isolate()->factory()->undefined_value())); // ReturnValue
630 // ReturnValue default value
631 __ push(Immediate(isolate()->factory()->undefined_value()));
632 __ push(Immediate(reinterpret_cast<int>(isolate())));
633 __ push(reg); // holder
Ben Murdoch097c5b22016-05-18 11:27:45 +0100634 __ push(Immediate(Smi::FromInt(0))); // should_throw_on_error -> false
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000635
636 __ push(name()); // name
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000637 __ push(scratch3()); // Restore return address.
638
639 // Abi for CallApiGetter
640 Register getter_address = ApiGetterDescriptor::function_address();
641 Address function_address = v8::ToCData<Address>(callback->getter());
642 __ mov(getter_address, Immediate(function_address));
643
644 CallApiGetterStub stub(isolate());
645 __ TailCallStub(&stub);
646}
647
648
649void NamedLoadHandlerCompiler::GenerateLoadConstant(Handle<Object> value) {
650 // Return the constant value.
651 __ LoadObject(eax, value);
652 __ ret(0);
653}
654
655
656void NamedLoadHandlerCompiler::GenerateLoadInterceptorWithFollowup(
657 LookupIterator* it, Register holder_reg) {
658 DCHECK(holder()->HasNamedInterceptor());
659 DCHECK(!holder()->GetNamedInterceptor()->getter()->IsUndefined());
660
661 // Compile the interceptor call, followed by inline code to load the
662 // property from further up the prototype chain if the call fails.
663 // Check that the maps haven't changed.
664 DCHECK(holder_reg.is(receiver()) || holder_reg.is(scratch1()));
665
666 // Preserve the receiver register explicitly whenever it is different from the
667 // holder and it is needed should the interceptor return without any result.
668 // The ACCESSOR case needs the receiver to be passed into C++ code, the FIELD
669 // case might cause a miss during the prototype check.
670 bool must_perform_prototype_check =
671 !holder().is_identical_to(it->GetHolder<JSObject>());
672 bool must_preserve_receiver_reg =
673 !receiver().is(holder_reg) &&
674 (it->state() == LookupIterator::ACCESSOR || must_perform_prototype_check);
675
676 // Save necessary data before invoking an interceptor.
677 // Requires a frame to make GC aware of pushed pointers.
678 {
679 FrameScope frame_scope(masm(), StackFrame::INTERNAL);
680
681 if (must_preserve_receiver_reg) {
682 __ push(receiver());
683 }
684 __ push(holder_reg);
685 __ push(this->name());
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400686 InterceptorVectorSlotPush(holder_reg);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000687 // Invoke an interceptor. Note: map checks from receiver to
688 // interceptor's holder has been compiled before (see a caller
689 // of this method.)
690 CompileCallLoadPropertyWithInterceptor(
691 masm(), receiver(), holder_reg, this->name(), holder(),
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000692 Runtime::kLoadPropertyWithInterceptorOnly);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000693
694 // Check if interceptor provided a value for property. If it's
695 // the case, return immediately.
696 Label interceptor_failed;
697 __ cmp(eax, factory()->no_interceptor_result_sentinel());
698 __ j(equal, &interceptor_failed);
699 frame_scope.GenerateLeaveFrame();
700 __ ret(0);
701
702 // Clobber registers when generating debug-code to provoke errors.
703 __ bind(&interceptor_failed);
704 if (FLAG_debug_code) {
705 __ mov(receiver(), Immediate(bit_cast<int32_t>(kZapValue)));
706 __ mov(holder_reg, Immediate(bit_cast<int32_t>(kZapValue)));
707 __ mov(this->name(), Immediate(bit_cast<int32_t>(kZapValue)));
708 }
709
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400710 InterceptorVectorSlotPop(holder_reg);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000711 __ pop(this->name());
712 __ pop(holder_reg);
713 if (must_preserve_receiver_reg) {
714 __ pop(receiver());
715 }
716
717 // Leave the internal frame.
718 }
719
720 GenerateLoadPostInterceptor(it, holder_reg);
721}
722
723
724void NamedLoadHandlerCompiler::GenerateLoadInterceptor(Register holder_reg) {
725 DCHECK(holder()->HasNamedInterceptor());
726 DCHECK(!holder()->GetNamedInterceptor()->getter()->IsUndefined());
727 // Call the runtime system to load the interceptor.
728 __ pop(scratch2()); // save old return address
729 PushInterceptorArguments(masm(), receiver(), holder_reg, this->name(),
730 holder());
731 __ push(scratch2()); // restore old return address
732
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000733 __ TailCallRuntime(Runtime::kLoadPropertyWithInterceptor);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000734}
735
736
737Handle<Code> NamedStoreHandlerCompiler::CompileStoreCallback(
Ben Murdoch097c5b22016-05-18 11:27:45 +0100738 Handle<JSObject> object, Handle<Name> name, Handle<AccessorInfo> callback,
739 LanguageMode language_mode) {
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400740 Register holder_reg = Frontend(name);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000741
742 __ pop(scratch1()); // remove the return address
743 __ push(receiver());
744 __ push(holder_reg);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000745 // If the callback cannot leak, then push the callback directly,
746 // otherwise wrap it in a weak cell.
747 if (callback->data()->IsUndefined() || callback->data()->IsSmi()) {
748 __ Push(callback);
749 } else {
750 Handle<WeakCell> cell = isolate()->factory()->NewWeakCell(callback);
751 __ Push(cell);
752 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000753 __ Push(name);
754 __ push(value());
Ben Murdoch097c5b22016-05-18 11:27:45 +0100755 __ push(Immediate(Smi::FromInt(language_mode)));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000756 __ push(scratch1()); // restore return address
757
758 // Do tail-call to the runtime system.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000759 __ TailCallRuntime(Runtime::kStoreCallbackProperty);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000760
761 // Return the generated code.
762 return GetCode(kind(), Code::FAST, name);
763}
764
765
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000766Register NamedStoreHandlerCompiler::value() {
767 return StoreDescriptor::ValueRegister();
768}
769
770
771Handle<Code> NamedLoadHandlerCompiler::CompileLoadGlobal(
772 Handle<PropertyCell> cell, Handle<Name> name, bool is_configurable) {
773 Label miss;
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400774 if (IC::ICUseVector(kind())) {
775 PushVectorAndSlot();
776 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000777 FrontendHeader(receiver(), name, &miss, DONT_RETURN_ANYTHING);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000778 // Get the value from the cell.
779 Register result = StoreDescriptor::ValueRegister();
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400780 Handle<WeakCell> weak_cell = factory()->NewWeakCell(cell);
781 __ LoadWeakValue(result, weak_cell, &miss);
782 __ mov(result, FieldOperand(result, PropertyCell::kValueOffset));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000783
784 // Check for deleted property if property can actually be deleted.
785 if (is_configurable) {
786 __ cmp(result, factory()->the_hole_value());
787 __ j(equal, &miss);
788 } else if (FLAG_debug_code) {
789 __ cmp(result, factory()->the_hole_value());
790 __ Check(not_equal, kDontDeleteCellsCannotContainTheHole);
791 }
792
793 Counters* counters = isolate()->counters();
Ben Murdoch097c5b22016-05-18 11:27:45 +0100794 __ IncrementCounter(counters->ic_named_load_global_stub(), 1);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000795 // The code above already loads the result into the return register.
Emily Bernierd0a1eb72015-03-24 16:35:39 -0400796 if (IC::ICUseVector(kind())) {
797 DiscardVectorAndSlot();
798 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000799 __ ret(0);
800
801 FrontendFooter(name, &miss);
802
803 // Return the generated code.
804 return GetCode(kind(), Code::NORMAL, name);
805}
806
807
808#undef __
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000809} // namespace internal
810} // namespace v8
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000811
812#endif // V8_TARGET_ARCH_IA32