blob: 21842303194e381b474cafe0e1090343f9c04a62 [file] [log] [blame]
kasperl@chromium.org71affb52009-05-26 05:44:31 +00001// Copyright 2006-2009 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28#include "v8.h"
29
30#include "ic-inl.h"
31#include "codegen-inl.h"
32#include "stub-cache.h"
33
kasperl@chromium.org71affb52009-05-26 05:44:31 +000034namespace v8 {
35namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000036
ager@chromium.org65dad4b2009-04-23 08:48:43 +000037#define __ ACCESS_MASM(masm)
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000038
39
40static void ProbeTable(MacroAssembler* masm,
41 Code::Flags flags,
42 StubCache::Table table,
43 Register name,
kasperl@chromium.org86f77b72009-07-06 08:21:57 +000044 Register offset,
45 Register extra) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000046 ExternalReference key_offset(SCTableReference::keyReference(table));
47 ExternalReference value_offset(SCTableReference::valueReference(table));
48
49 Label miss;
50
kasperl@chromium.org86f77b72009-07-06 08:21:57 +000051 if (extra.is_valid()) {
52 // Get the code entry from the cache.
53 __ mov(extra, Operand::StaticArray(offset, times_2, value_offset));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000054
kasperl@chromium.org86f77b72009-07-06 08:21:57 +000055 // Check that the key in the entry matches the name.
56 __ cmp(name, Operand::StaticArray(offset, times_2, key_offset));
57 __ j(not_equal, &miss, not_taken);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000058
kasperl@chromium.org86f77b72009-07-06 08:21:57 +000059 // Check that the flags match what we're looking for.
60 __ mov(offset, FieldOperand(extra, Code::kFlagsOffset));
61 __ and_(offset, ~Code::kFlagsNotUsedInLookup);
62 __ cmp(offset, flags);
63 __ j(not_equal, &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000064
kasperl@chromium.org86f77b72009-07-06 08:21:57 +000065 // Jump to the first instruction in the code stub.
66 __ add(Operand(extra), Immediate(Code::kHeaderSize - kHeapObjectTag));
67 __ jmp(Operand(extra));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000068
kasperl@chromium.org86f77b72009-07-06 08:21:57 +000069 __ bind(&miss);
70 } else {
71 // Save the offset on the stack.
72 __ push(offset);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000073
kasperl@chromium.org86f77b72009-07-06 08:21:57 +000074 // Check that the key in the entry matches the name.
75 __ cmp(name, Operand::StaticArray(offset, times_2, key_offset));
76 __ j(not_equal, &miss, not_taken);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000077
kasperl@chromium.org86f77b72009-07-06 08:21:57 +000078 // Get the code entry from the cache.
79 __ mov(offset, Operand::StaticArray(offset, times_2, value_offset));
80
81 // Check that the flags match what we're looking for.
82 __ mov(offset, FieldOperand(offset, Code::kFlagsOffset));
83 __ and_(offset, ~Code::kFlagsNotUsedInLookup);
84 __ cmp(offset, flags);
85 __ j(not_equal, &miss);
86
87 // Restore offset and re-load code entry from cache.
88 __ pop(offset);
89 __ mov(offset, Operand::StaticArray(offset, times_2, value_offset));
90
91 // Jump to the first instruction in the code stub.
92 __ add(Operand(offset), Immediate(Code::kHeaderSize - kHeapObjectTag));
93 __ jmp(Operand(offset));
94
95 // Pop at miss.
96 __ bind(&miss);
97 __ pop(offset);
98 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000099}
100
101
102void StubCache::GenerateProbe(MacroAssembler* masm,
103 Code::Flags flags,
104 Register receiver,
105 Register name,
kasperl@chromium.org86f77b72009-07-06 08:21:57 +0000106 Register scratch,
107 Register extra) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000108 Label miss;
109
110 // Make sure that code is valid. The shifting code relies on the
111 // entry size being 8.
112 ASSERT(sizeof(Entry) == 8);
113
114 // Make sure the flags does not name a specific type.
115 ASSERT(Code::ExtractTypeFromFlags(flags) == 0);
116
117 // Make sure that there are no register conflicts.
118 ASSERT(!scratch.is(receiver));
119 ASSERT(!scratch.is(name));
kasperl@chromium.org86f77b72009-07-06 08:21:57 +0000120 ASSERT(!extra.is(receiver));
121 ASSERT(!extra.is(name));
122 ASSERT(!extra.is(scratch));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000123
124 // Check that the receiver isn't a smi.
125 __ test(receiver, Immediate(kSmiTagMask));
126 __ j(zero, &miss, not_taken);
127
128 // Get the map of the receiver and compute the hash.
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000129 __ mov(scratch, FieldOperand(name, String::kHashFieldOffset));
ager@chromium.org7c537e22008-10-16 08:43:32 +0000130 __ add(scratch, FieldOperand(receiver, HeapObject::kMapOffset));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000131 __ xor_(scratch, flags);
132 __ and_(scratch, (kPrimaryTableSize - 1) << kHeapObjectTagSize);
133
134 // Probe the primary table.
kasperl@chromium.org86f77b72009-07-06 08:21:57 +0000135 ProbeTable(masm, flags, kPrimary, name, scratch, extra);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000136
137 // Primary miss: Compute hash for secondary probe.
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000138 __ mov(scratch, FieldOperand(name, String::kHashFieldOffset));
kasperl@chromium.org86f77b72009-07-06 08:21:57 +0000139 __ add(scratch, FieldOperand(receiver, HeapObject::kMapOffset));
140 __ xor_(scratch, flags);
141 __ and_(scratch, (kPrimaryTableSize - 1) << kHeapObjectTagSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000142 __ sub(scratch, Operand(name));
143 __ add(Operand(scratch), Immediate(flags));
144 __ and_(scratch, (kSecondaryTableSize - 1) << kHeapObjectTagSize);
145
146 // Probe the secondary table.
kasperl@chromium.org86f77b72009-07-06 08:21:57 +0000147 ProbeTable(masm, flags, kSecondary, name, scratch, extra);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000148
149 // Cache miss: Fall-through and let caller handle the miss by
150 // entering the runtime system.
151 __ bind(&miss);
152}
153
154
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000155static void PushInterceptorArguments(MacroAssembler* masm,
156 Register receiver,
157 Register holder,
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000158 Register name,
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000159 JSObject* holder_obj) {
160 __ push(receiver);
161 __ push(holder);
162 __ push(name);
163 InterceptorInfo* interceptor = holder_obj->GetNamedInterceptor();
164 __ mov(receiver, Immediate(Handle<Object>(interceptor)));
165 __ push(receiver);
166 __ push(FieldOperand(receiver, InterceptorInfo::kDataOffset));
167}
168
169
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000170void StubCompiler::GenerateLoadGlobalFunctionPrototype(MacroAssembler* masm,
171 int index,
172 Register prototype) {
173 // Load the global or builtins object from the current context.
174 __ mov(prototype, Operand(esi, Context::SlotOffset(Context::GLOBAL_INDEX)));
175 // Load the global context from the global or builtins object.
176 __ mov(prototype,
177 FieldOperand(prototype, GlobalObject::kGlobalContextOffset));
178 // Load the function from the global context.
179 __ mov(prototype, Operand(prototype, Context::SlotOffset(index)));
180 // Load the initial map. The global functions all have initial maps.
181 __ mov(prototype,
182 FieldOperand(prototype, JSFunction::kPrototypeOrInitialMapOffset));
183 // Load the prototype from the initial map.
184 __ mov(prototype, FieldOperand(prototype, Map::kPrototypeOffset));
185}
186
187
188void StubCompiler::GenerateLoadArrayLength(MacroAssembler* masm,
189 Register receiver,
190 Register scratch,
191 Label* miss_label) {
192 // Check that the receiver isn't a smi.
193 __ test(receiver, Immediate(kSmiTagMask));
194 __ j(zero, miss_label, not_taken);
195
196 // Check that the object is a JS array.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000197 __ CmpObjectType(receiver, JS_ARRAY_TYPE, scratch);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000198 __ j(not_equal, miss_label, not_taken);
199
200 // Load length directly from the JS array.
201 __ mov(eax, FieldOperand(receiver, JSArray::kLengthOffset));
202 __ ret(0);
203}
204
205
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000206// Generate code to check if an object is a string. If the object is
207// a string, the map's instance type is left in the scratch register.
208static void GenerateStringCheck(MacroAssembler* masm,
209 Register receiver,
210 Register scratch,
211 Label* smi,
212 Label* non_string_object) {
213 // Check that the object isn't a smi.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000214 __ test(receiver, Immediate(kSmiTagMask));
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000215 __ j(zero, smi, not_taken);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000216
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000217 // Check that the object is a string.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000218 __ mov(scratch, FieldOperand(receiver, HeapObject::kMapOffset));
219 __ movzx_b(scratch, FieldOperand(scratch, Map::kInstanceTypeOffset));
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000220 ASSERT(kNotStringTag != 0);
221 __ test(scratch, Immediate(kNotStringTag));
222 __ j(not_zero, non_string_object, not_taken);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000223}
224
225
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000226void StubCompiler::GenerateLoadStringLength(MacroAssembler* masm,
227 Register receiver,
228 Register scratch,
229 Label* miss) {
230 Label load_length, check_wrapper;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000231
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000232 // Check if the object is a string leaving the instance type in the
233 // scratch register.
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000234 GenerateStringCheck(masm, receiver, scratch, miss, &check_wrapper);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000235
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000236 // Load length from the string and convert to a smi.
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000237 __ bind(&load_length);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000238 __ mov(eax, FieldOperand(receiver, String::kLengthOffset));
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000239 __ SmiTag(eax);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000240 __ ret(0);
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000241
242 // Check if the object is a JSValue wrapper.
243 __ bind(&check_wrapper);
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000244 __ cmp(scratch, JS_VALUE_TYPE);
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000245 __ j(not_equal, miss, not_taken);
246
247 // Check if the wrapped value is a string and load the length
248 // directly if it is.
249 __ mov(receiver, FieldOperand(receiver, JSValue::kValueOffset));
250 GenerateStringCheck(masm, receiver, scratch, miss, miss);
251 __ jmp(&load_length);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000252}
253
254
255void StubCompiler::GenerateLoadFunctionPrototype(MacroAssembler* masm,
256 Register receiver,
257 Register scratch1,
258 Register scratch2,
259 Label* miss_label) {
ager@chromium.org7c537e22008-10-16 08:43:32 +0000260 __ TryGetFunctionPrototype(receiver, scratch1, scratch2, miss_label);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000261 __ mov(eax, Operand(scratch1));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000262 __ ret(0);
ager@chromium.org7c537e22008-10-16 08:43:32 +0000263}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000264
ager@chromium.org7c537e22008-10-16 08:43:32 +0000265
266// Load a fast property out of a holder object (src). In-object properties
267// are loaded directly otherwise the property is loaded from the properties
268// fixed array.
269void StubCompiler::GenerateFastPropertyLoad(MacroAssembler* masm,
christian.plesner.hansen@gmail.com37abdec2009-01-06 14:43:28 +0000270 Register dst, Register src,
271 JSObject* holder, int index) {
ager@chromium.org7c537e22008-10-16 08:43:32 +0000272 // Adjust for the number of properties stored in the holder.
273 index -= holder->map()->inobject_properties();
274 if (index < 0) {
275 // Get the property straight out of the holder.
276 int offset = holder->map()->instance_size() + (index * kPointerSize);
277 __ mov(dst, FieldOperand(src, offset));
278 } else {
279 // Calculate the offset into the properties array.
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000280 int offset = index * kPointerSize + FixedArray::kHeaderSize;
ager@chromium.org7c537e22008-10-16 08:43:32 +0000281 __ mov(dst, FieldOperand(src, JSObject::kPropertiesOffset));
282 __ mov(dst, FieldOperand(dst, offset));
283 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000284}
285
286
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000287static void CompileCallLoadPropertyWithInterceptor(MacroAssembler* masm,
288 Register receiver,
289 Register holder,
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000290 Register name,
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000291 JSObject* holder_obj) {
292 PushInterceptorArguments(masm, receiver, holder, name, holder_obj);
293
294 ExternalReference ref =
295 ExternalReference(IC_Utility(IC::kLoadPropertyWithInterceptorOnly));
296 __ mov(eax, Immediate(5));
297 __ mov(ebx, Immediate(ref));
298
ager@chromium.orga1645e22009-09-09 19:27:10 +0000299 CEntryStub stub(1);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000300 __ CallStub(&stub);
301}
302
303
304template <class Compiler>
305static void CompileLoadInterceptor(Compiler* compiler,
306 StubCompiler* stub_compiler,
307 MacroAssembler* masm,
308 JSObject* object,
309 JSObject* holder,
310 String* name,
311 LookupResult* lookup,
312 Register receiver,
313 Register scratch1,
314 Register scratch2,
315 Label* miss) {
316 ASSERT(holder->HasNamedInterceptor());
317 ASSERT(!holder->GetNamedInterceptor()->getter()->IsUndefined());
318
319 // Check that the receiver isn't a smi.
320 __ test(receiver, Immediate(kSmiTagMask));
321 __ j(zero, miss, not_taken);
322
323 // Check that the maps haven't changed.
324 Register reg =
325 stub_compiler->CheckPrototypes(object, receiver, holder,
326 scratch1, scratch2, name, miss);
327
328 if (lookup->IsValid() && lookup->IsCacheable()) {
329 compiler->CompileCacheable(masm,
330 stub_compiler,
331 receiver,
332 reg,
333 scratch1,
334 scratch2,
335 holder,
336 lookup,
337 name,
338 miss);
339 } else {
340 compiler->CompileRegular(masm,
341 receiver,
342 reg,
343 scratch2,
344 holder,
345 miss);
346 }
347}
348
349
350static void LookupPostInterceptor(JSObject* holder,
351 String* name,
352 LookupResult* lookup) {
353 holder->LocalLookupRealNamedProperty(name, lookup);
354 if (lookup->IsNotFound()) {
355 Object* proto = holder->GetPrototype();
356 if (proto != Heap::null_value()) {
357 proto->Lookup(name, lookup);
358 }
359 }
360}
361
362
363class LoadInterceptorCompiler BASE_EMBEDDED {
364 public:
365 explicit LoadInterceptorCompiler(Register name) : name_(name) {}
366
367 void CompileCacheable(MacroAssembler* masm,
368 StubCompiler* stub_compiler,
369 Register receiver,
370 Register holder,
371 Register scratch1,
372 Register scratch2,
373 JSObject* holder_obj,
374 LookupResult* lookup,
375 String* name,
376 Label* miss_label) {
377 AccessorInfo* callback = 0;
378 bool optimize = false;
379 // So far the most popular follow ups for interceptor loads are FIELD
380 // and CALLBACKS, so inline only them, other cases may be added
381 // later.
382 if (lookup->type() == FIELD) {
383 optimize = true;
384 } else if (lookup->type() == CALLBACKS) {
385 Object* callback_object = lookup->GetCallbackObject();
386 if (callback_object->IsAccessorInfo()) {
387 callback = AccessorInfo::cast(callback_object);
388 optimize = callback->getter() != NULL;
389 }
390 }
391
392 if (!optimize) {
393 CompileRegular(masm, receiver, holder, scratch2, holder_obj, miss_label);
394 return;
395 }
396
397 // Note: starting a frame here makes GC aware of pointers pushed below.
398 __ EnterInternalFrame();
399
400 if (lookup->type() == CALLBACKS) {
401 __ push(receiver);
402 }
403 __ push(holder);
404 __ push(name_);
405
406 CompileCallLoadPropertyWithInterceptor(masm,
407 receiver,
408 holder,
409 name_,
410 holder_obj);
411
412 Label interceptor_failed;
413 __ cmp(eax, Factory::no_interceptor_result_sentinel());
414 __ j(equal, &interceptor_failed);
415 __ LeaveInternalFrame();
416 __ ret(0);
417
418 __ bind(&interceptor_failed);
419 __ pop(name_);
420 __ pop(holder);
421 if (lookup->type() == CALLBACKS) {
422 __ pop(receiver);
423 }
424
425 __ LeaveInternalFrame();
426
427 if (lookup->type() == FIELD) {
428 holder = stub_compiler->CheckPrototypes(holder_obj, holder,
429 lookup->holder(), scratch1,
430 scratch2,
431 name,
432 miss_label);
433 stub_compiler->GenerateFastPropertyLoad(masm, eax,
434 holder, lookup->holder(),
435 lookup->GetFieldIndex());
436 __ ret(0);
437 } else {
438 ASSERT(lookup->type() == CALLBACKS);
439 ASSERT(lookup->GetCallbackObject()->IsAccessorInfo());
440 ASSERT(callback != NULL);
441 ASSERT(callback->getter() != NULL);
442
443 Label cleanup;
444 __ pop(scratch2);
445 __ push(receiver);
446 __ push(scratch2);
447
448 holder = stub_compiler->CheckPrototypes(holder_obj, holder,
449 lookup->holder(), scratch1,
450 scratch2,
451 name,
452 &cleanup);
453
454 __ pop(scratch2); // save old return address
455 __ push(holder);
456 __ mov(holder, Immediate(Handle<AccessorInfo>(callback)));
457 __ push(holder);
458 __ push(FieldOperand(holder, AccessorInfo::kDataOffset));
459 __ push(name_);
460 __ push(scratch2); // restore old return address
461
462 ExternalReference ref =
463 ExternalReference(IC_Utility(IC::kLoadCallbackProperty));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000464 __ TailCallRuntime(ref, 5, 1);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000465
466 __ bind(&cleanup);
467 __ pop(scratch1);
468 __ pop(scratch2);
469 __ push(scratch1);
470 }
471 }
472
473
474 void CompileRegular(MacroAssembler* masm,
475 Register receiver,
476 Register holder,
477 Register scratch,
478 JSObject* holder_obj,
479 Label* miss_label) {
480 __ pop(scratch); // save old return address
481 PushInterceptorArguments(masm, receiver, holder, name_, holder_obj);
482 __ push(scratch); // restore old return address
483
484 ExternalReference ref = ExternalReference(
485 IC_Utility(IC::kLoadPropertyWithInterceptorForLoad));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000486 __ TailCallRuntime(ref, 5, 1);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000487 }
488
489 private:
490 Register name_;
491};
492
493
494class CallInterceptorCompiler BASE_EMBEDDED {
495 public:
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000496 CallInterceptorCompiler(const ParameterCount& arguments, Register name)
497 : arguments_(arguments), argc_(arguments.immediate()), name_(name) {}
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000498
499 void CompileCacheable(MacroAssembler* masm,
500 StubCompiler* stub_compiler,
501 Register receiver,
502 Register holder,
503 Register scratch1,
504 Register scratch2,
505 JSObject* holder_obj,
506 LookupResult* lookup,
507 String* name,
508 Label* miss_label) {
509 JSFunction* function = 0;
510 bool optimize = false;
511 // So far the most popular case for failed interceptor is
512 // CONSTANT_FUNCTION sitting below.
513 if (lookup->type() == CONSTANT_FUNCTION) {
514 function = lookup->GetConstantFunction();
515 // JSArray holder is a special case for call constant function
516 // (see the corresponding code).
517 if (function->is_compiled() && !holder_obj->IsJSArray()) {
518 optimize = true;
519 }
520 }
521
522 if (!optimize) {
523 CompileRegular(masm, receiver, holder, scratch2, holder_obj, miss_label);
524 return;
525 }
526
527 __ EnterInternalFrame();
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000528 __ push(holder); // Save the holder.
529 __ push(name_); // Save the name.
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000530
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000531 CompileCallLoadPropertyWithInterceptor(masm,
532 receiver,
533 holder,
534 name_,
535 holder_obj);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000536
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000537 __ pop(name_); // Restore the name.
538 __ pop(receiver); // Restore the holder.
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000539 __ LeaveInternalFrame();
540
541 __ cmp(eax, Factory::no_interceptor_result_sentinel());
542 Label invoke;
543 __ j(not_equal, &invoke);
544
545 stub_compiler->CheckPrototypes(holder_obj, receiver,
546 lookup->holder(), scratch1,
547 scratch2,
548 name,
549 miss_label);
550 if (lookup->holder()->IsGlobalObject()) {
551 __ mov(edx, Operand(esp, (argc_ + 1) * kPointerSize));
552 __ mov(edx, FieldOperand(edx, GlobalObject::kGlobalReceiverOffset));
553 __ mov(Operand(esp, (argc_ + 1) * kPointerSize), edx);
554 }
555
556 ASSERT(function->is_compiled());
557 // Get the function and setup the context.
558 __ mov(edi, Immediate(Handle<JSFunction>(function)));
559 __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
560
561 // Jump to the cached code (tail call).
562 ASSERT(function->is_compiled());
563 Handle<Code> code(function->code());
564 ParameterCount expected(function->shared()->formal_parameter_count());
565 __ InvokeCode(code, expected, arguments_,
566 RelocInfo::CODE_TARGET, JUMP_FUNCTION);
567
568 __ bind(&invoke);
569 }
570
571 void CompileRegular(MacroAssembler* masm,
572 Register receiver,
573 Register holder,
574 Register scratch,
575 JSObject* holder_obj,
576 Label* miss_label) {
577 __ EnterInternalFrame();
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000578 // Save the name_ register across the call.
579 __ push(name_);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000580
581 PushInterceptorArguments(masm,
582 receiver,
583 holder,
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000584 name_,
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000585 holder_obj);
586
587 ExternalReference ref = ExternalReference(
588 IC_Utility(IC::kLoadPropertyWithInterceptorForCall));
589 __ mov(eax, Immediate(5));
590 __ mov(ebx, Immediate(ref));
591
ager@chromium.orga1645e22009-09-09 19:27:10 +0000592 CEntryStub stub(1);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000593 __ CallStub(&stub);
594
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000595 // Restore the name_ register.
596 __ pop(name_);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000597 __ LeaveInternalFrame();
598 }
599
600 private:
601 const ParameterCount& arguments_;
602 int argc_;
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000603 Register name_;
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000604};
605
606
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000607void StubCompiler::GenerateLoadMiss(MacroAssembler* masm, Code::Kind kind) {
608 ASSERT(kind == Code::LOAD_IC || kind == Code::KEYED_LOAD_IC);
609 Code* code = NULL;
610 if (kind == Code::LOAD_IC) {
611 code = Builtins::builtin(Builtins::LoadIC_Miss);
612 } else {
613 code = Builtins::builtin(Builtins::KeyedLoadIC_Miss);
614 }
615
616 Handle<Code> ic(code);
ager@chromium.org236ad962008-09-25 09:45:57 +0000617 __ jmp(ic, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000618}
619
620
621void StubCompiler::GenerateStoreField(MacroAssembler* masm,
kasperl@chromium.org1accd572008-10-07 10:57:21 +0000622 Builtins::Name storage_extend,
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000623 JSObject* object,
624 int index,
625 Map* transition,
626 Register receiver_reg,
627 Register name_reg,
628 Register scratch,
629 Label* miss_label) {
630 // Check that the object isn't a smi.
631 __ test(receiver_reg, Immediate(kSmiTagMask));
632 __ j(zero, miss_label, not_taken);
633
634 // Check that the map of the object hasn't changed.
635 __ cmp(FieldOperand(receiver_reg, HeapObject::kMapOffset),
636 Immediate(Handle<Map>(object->map())));
637 __ j(not_equal, miss_label, not_taken);
638
639 // Perform global security token check if needed.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000640 if (object->IsJSGlobalProxy()) {
641 __ CheckAccessGlobalProxy(receiver_reg, scratch, miss_label);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000642 }
643
644 // Stub never generated for non-global objects that require access
645 // checks.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000646 ASSERT(object->IsJSGlobalProxy() || !object->IsAccessCheckNeeded());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000647
kasperl@chromium.org1accd572008-10-07 10:57:21 +0000648 // Perform map transition for the receiver if necessary.
649 if ((transition != NULL) && (object->map()->unused_property_fields() == 0)) {
650 // The properties must be extended before we can store the value.
ager@chromium.org32912102009-01-16 10:38:43 +0000651 // We jump to a runtime call that extends the properties array.
ager@chromium.org3bf7b912008-11-17 09:09:45 +0000652 __ mov(ecx, Immediate(Handle<Map>(transition)));
kasperl@chromium.org1accd572008-10-07 10:57:21 +0000653 Handle<Code> ic(Builtins::builtin(storage_extend));
654 __ jmp(ic, RelocInfo::CODE_TARGET);
655 return;
656 }
657
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000658 if (transition != NULL) {
kasperl@chromium.org1accd572008-10-07 10:57:21 +0000659 // Update the map of the object; no write barrier updating is
660 // needed because the map is never in new space.
661 __ mov(FieldOperand(receiver_reg, HeapObject::kMapOffset),
662 Immediate(Handle<Map>(transition)));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000663 }
664
ager@chromium.orga74f0da2008-12-03 16:05:52 +0000665 // Adjust for the number of properties stored in the object. Even in the
666 // face of a transition we can use the old map here because the size of the
667 // object and the number of in-object properties is not going to change.
668 index -= object->map()->inobject_properties();
669
ager@chromium.org7c537e22008-10-16 08:43:32 +0000670 if (index < 0) {
671 // Set the property straight into the object.
672 int offset = object->map()->instance_size() + (index * kPointerSize);
673 __ mov(FieldOperand(receiver_reg, offset), eax);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000674
ager@chromium.org7c537e22008-10-16 08:43:32 +0000675 // Update the write barrier for the array address.
676 // Pass the value being stored in the now unused name_reg.
677 __ mov(name_reg, Operand(eax));
678 __ RecordWrite(receiver_reg, offset, name_reg, scratch);
679 } else {
680 // Write to the properties array.
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000681 int offset = index * kPointerSize + FixedArray::kHeaderSize;
ager@chromium.orga74f0da2008-12-03 16:05:52 +0000682 // Get the properties array (optimistically).
683 __ mov(scratch, FieldOperand(receiver_reg, JSObject::kPropertiesOffset));
ager@chromium.org7c537e22008-10-16 08:43:32 +0000684 __ mov(FieldOperand(scratch, offset), eax);
685
686 // Update the write barrier for the array address.
687 // Pass the value being stored in the now unused name_reg.
688 __ mov(name_reg, Operand(eax));
689 __ RecordWrite(scratch, offset, name_reg, receiver_reg);
690 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000691
692 // Return the value (register eax).
693 __ ret(0);
694}
695
696
697#undef __
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000698#define __ ACCESS_MASM(masm())
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000699
700
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000701Register StubCompiler::CheckPrototypes(JSObject* object,
702 Register object_reg,
703 JSObject* holder,
704 Register holder_reg,
705 Register scratch,
706 String* name,
707 Label* miss) {
708 // Check that the maps haven't changed.
709 Register result =
710 masm()->CheckMaps(object, object_reg, holder, holder_reg, scratch, miss);
711
712 // If we've skipped any global objects, it's not enough to verify
713 // that their maps haven't changed.
714 while (object != holder) {
715 if (object->IsGlobalObject()) {
716 GlobalObject* global = GlobalObject::cast(object);
717 Object* probe = global->EnsurePropertyCell(name);
718 if (probe->IsFailure()) {
719 set_failure(Failure::cast(probe));
720 return result;
721 }
722 JSGlobalPropertyCell* cell = JSGlobalPropertyCell::cast(probe);
723 ASSERT(cell->value()->IsTheHole());
724 __ mov(scratch, Immediate(Handle<Object>(cell)));
725 __ cmp(FieldOperand(scratch, JSGlobalPropertyCell::kValueOffset),
726 Immediate(Factory::the_hole_value()));
727 __ j(not_equal, miss, not_taken);
728 }
729 object = JSObject::cast(object->GetPrototype());
730 }
731
732 // Return the register containin the holder.
733 return result;
734}
735
736
737void StubCompiler::GenerateLoadField(JSObject* object,
738 JSObject* holder,
739 Register receiver,
740 Register scratch1,
741 Register scratch2,
742 int index,
743 String* name,
744 Label* miss) {
745 // Check that the receiver isn't a smi.
746 __ test(receiver, Immediate(kSmiTagMask));
747 __ j(zero, miss, not_taken);
748
749 // Check the prototype chain.
750 Register reg =
751 CheckPrototypes(object, receiver, holder,
752 scratch1, scratch2, name, miss);
753
754 // Get the value from the properties.
755 GenerateFastPropertyLoad(masm(), eax, reg, holder, index);
756 __ ret(0);
757}
758
759
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000760bool StubCompiler::GenerateLoadCallback(JSObject* object,
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000761 JSObject* holder,
762 Register receiver,
763 Register name_reg,
764 Register scratch1,
765 Register scratch2,
766 AccessorInfo* callback,
767 String* name,
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000768 Label* miss,
769 Failure** failure) {
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000770 // Check that the receiver isn't a smi.
771 __ test(receiver, Immediate(kSmiTagMask));
772 __ j(zero, miss, not_taken);
773
774 // Check that the maps haven't changed.
775 Register reg =
776 CheckPrototypes(object, receiver, holder,
777 scratch1, scratch2, name, miss);
778
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000779 Handle<AccessorInfo> callback_handle(callback);
780
781 Register other = reg.is(scratch1) ? scratch2 : scratch1;
782 __ EnterInternalFrame();
783 __ PushHandleScope(other);
784 // Push the stack address where the list of arguments ends
785 __ mov(other, esp);
786 __ sub(Operand(other), Immediate(2 * kPointerSize));
787 __ push(other);
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000788 __ push(receiver); // receiver
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000789 __ push(reg); // holder
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000790 __ mov(other, Immediate(callback_handle));
791 __ push(other);
792 __ push(FieldOperand(other, AccessorInfo::kDataOffset)); // data
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000793 __ push(name_reg); // name
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000794 // Save a pointer to where we pushed the arguments pointer.
795 // This will be passed as the const Arguments& to the C++ callback.
796 __ mov(eax, esp);
797 __ add(Operand(eax), Immediate(5 * kPointerSize));
798 __ mov(ebx, esp);
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000799
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000800 // Do call through the api.
801 ASSERT_EQ(6, ApiGetterEntryStub::kStackSpace);
802 Address getter_address = v8::ToCData<Address>(callback->getter());
803 ApiFunction fun(getter_address);
804 ApiGetterEntryStub stub(callback_handle, &fun);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +0000805 // Emitting a stub call may try to allocate (if the code is not
806 // already generated). Do not allow the assembler to perform a
807 // garbage collection but instead return the allocation failure
808 // object.
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000809 Object* result = masm()->TryCallStub(&stub);
810 if (result->IsFailure()) {
811 *failure = Failure::cast(result);
812 return false;
813 }
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000814
815 // We need to avoid using eax since that now holds the result.
816 Register tmp = other.is(eax) ? reg : other;
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +0000817 // Emitting PopHandleScope may try to allocate. Do not allow the
818 // assembler to perform a garbage collection but instead return a
819 // failure object.
820 result = masm()->TryPopHandleScope(eax, tmp);
821 if (result->IsFailure()) {
822 *failure = Failure::cast(result);
823 return false;
824 }
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000825 __ LeaveInternalFrame();
826
827 __ ret(0);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000828 return true;
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000829}
830
831
832void StubCompiler::GenerateLoadConstant(JSObject* object,
833 JSObject* holder,
834 Register receiver,
835 Register scratch1,
836 Register scratch2,
837 Object* value,
838 String* name,
839 Label* miss) {
840 // Check that the receiver isn't a smi.
841 __ test(receiver, Immediate(kSmiTagMask));
842 __ j(zero, miss, not_taken);
843
844 // Check that the maps haven't changed.
845 Register reg =
846 CheckPrototypes(object, receiver, holder,
847 scratch1, scratch2, name, miss);
848
849 // Return the constant value.
850 __ mov(eax, Handle<Object>(value));
851 __ ret(0);
852}
853
854
855void StubCompiler::GenerateLoadInterceptor(JSObject* object,
856 JSObject* holder,
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000857 LookupResult* lookup,
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000858 Register receiver,
859 Register name_reg,
860 Register scratch1,
861 Register scratch2,
862 String* name,
863 Label* miss) {
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000864 LoadInterceptorCompiler compiler(name_reg);
865 CompileLoadInterceptor(&compiler,
866 this,
867 masm(),
868 object,
869 holder,
870 name,
871 lookup,
872 receiver,
873 scratch1,
874 scratch2,
875 miss);
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000876}
877
878
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000879// TODO(1241006): Avoid having lazy compile stubs specialized by the
880// number of arguments. It is not needed anymore.
881Object* StubCompiler::CompileLazyCompile(Code::Flags flags) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000882 // Enter an internal frame.
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000883 __ EnterInternalFrame();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000884
885 // Push a copy of the function onto the stack.
886 __ push(edi);
887
888 __ push(edi); // function is also the parameter to the runtime call
889 __ CallRuntime(Runtime::kLazyCompile, 1);
890 __ pop(edi);
891
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000892 // Tear down temporary frame.
ager@chromium.org236ad962008-09-25 09:45:57 +0000893 __ LeaveInternalFrame();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000894
895 // Do a tail-call of the compiled function.
896 __ lea(ecx, FieldOperand(eax, Code::kHeaderSize));
897 __ jmp(Operand(ecx));
898
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000899 return GetCodeWithFlags(flags, "LazyCompileStub");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000900}
901
902
903Object* CallStubCompiler::CompileCallField(Object* object,
904 JSObject* holder,
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000905 int index,
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000906 String* name) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000907 // ----------- S t a t e -------------
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000908 // -- ecx : name
909 // -- esp[0] : return address
910 // -- esp[(argc - n) * 4] : arg[n] (zero-based)
911 // -- ...
912 // -- esp[(argc + 1) * 4] : receiver
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000913 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000914 Label miss;
915
916 // Get the receiver from the stack.
917 const int argc = arguments().immediate();
918 __ mov(edx, Operand(esp, (argc + 1) * kPointerSize));
919
920 // Check that the receiver isn't a smi.
921 __ test(edx, Immediate(kSmiTagMask));
922 __ j(zero, &miss, not_taken);
923
924 // Do the right check and compute the holder register.
925 Register reg =
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000926 CheckPrototypes(JSObject::cast(object), edx, holder,
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000927 ebx, eax, name, &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000928
ager@chromium.org7c537e22008-10-16 08:43:32 +0000929 GenerateFastPropertyLoad(masm(), edi, reg, holder, index);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000930
931 // Check that the function really is a function.
932 __ test(edi, Immediate(kSmiTagMask));
933 __ j(zero, &miss, not_taken);
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000934 __ CmpObjectType(edi, JS_FUNCTION_TYPE, ebx);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000935 __ j(not_equal, &miss, not_taken);
936
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000937 // Patch the receiver on the stack with the global proxy if
938 // necessary.
939 if (object->IsGlobalObject()) {
940 __ mov(edx, FieldOperand(edx, GlobalObject::kGlobalReceiverOffset));
941 __ mov(Operand(esp, (argc + 1) * kPointerSize), edx);
942 }
943
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000944 // Invoke the function.
945 __ InvokeFunction(edi, arguments(), JUMP_FUNCTION);
946
947 // Handle call cache miss.
948 __ bind(&miss);
949 Handle<Code> ic = ComputeCallMiss(arguments().immediate());
ager@chromium.org236ad962008-09-25 09:45:57 +0000950 __ jmp(ic, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000951
952 // Return the generated code.
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000953 return GetCode(FIELD, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000954}
955
956
957Object* CallStubCompiler::CompileCallConstant(Object* object,
958 JSObject* holder,
959 JSFunction* function,
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000960 String* name,
kasperl@chromium.org2abc4502009-07-02 07:00:29 +0000961 CheckType check) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000962 // ----------- S t a t e -------------
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000963 // -- ecx : name
964 // -- esp[0] : return address
965 // -- esp[(argc - n) * 4] : arg[n] (zero-based)
966 // -- ...
967 // -- esp[(argc + 1) * 4] : receiver
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000968 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000969 Label miss;
970
971 // Get the receiver from the stack.
972 const int argc = arguments().immediate();
973 __ mov(edx, Operand(esp, (argc + 1) * kPointerSize));
974
975 // Check that the receiver isn't a smi.
976 if (check != NUMBER_CHECK) {
977 __ test(edx, Immediate(kSmiTagMask));
978 __ j(zero, &miss, not_taken);
979 }
980
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000981 // Make sure that it's okay not to patch the on stack receiver
982 // unless we're doing a receiver map check.
983 ASSERT(!object->IsGlobalObject() || check == RECEIVER_MAP_CHECK);
984
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000985 switch (check) {
986 case RECEIVER_MAP_CHECK:
987 // Check that the maps haven't changed.
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000988 CheckPrototypes(JSObject::cast(object), edx, holder,
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000989 ebx, eax, name, &miss);
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +0000990
991 // Patch the receiver on the stack with the global proxy if
992 // necessary.
993 if (object->IsGlobalObject()) {
994 __ mov(edx, FieldOperand(edx, GlobalObject::kGlobalReceiverOffset));
995 __ mov(Operand(esp, (argc + 1) * kPointerSize), edx);
996 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000997 break;
998
999 case STRING_CHECK:
1000 // Check that the object is a two-byte string or a symbol.
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001001 __ mov(eax, FieldOperand(edx, HeapObject::kMapOffset));
1002 __ movzx_b(eax, FieldOperand(eax, Map::kInstanceTypeOffset));
1003 __ cmp(eax, FIRST_NONSTRING_TYPE);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001004 __ j(above_equal, &miss, not_taken);
1005 // Check that the maps starting from the prototype haven't changed.
1006 GenerateLoadGlobalFunctionPrototype(masm(),
1007 Context::STRING_FUNCTION_INDEX,
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001008 eax);
1009 CheckPrototypes(JSObject::cast(object->GetPrototype()), eax, holder,
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001010 ebx, edx, name, &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001011 break;
1012
1013 case NUMBER_CHECK: {
1014 Label fast;
1015 // Check that the object is a smi or a heap number.
1016 __ test(edx, Immediate(kSmiTagMask));
1017 __ j(zero, &fast, taken);
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001018 __ CmpObjectType(edx, HEAP_NUMBER_TYPE, eax);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001019 __ j(not_equal, &miss, not_taken);
1020 __ bind(&fast);
1021 // Check that the maps starting from the prototype haven't changed.
1022 GenerateLoadGlobalFunctionPrototype(masm(),
1023 Context::NUMBER_FUNCTION_INDEX,
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001024 eax);
1025 CheckPrototypes(JSObject::cast(object->GetPrototype()), eax, holder,
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001026 ebx, edx, name, &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001027 break;
1028 }
1029
1030 case BOOLEAN_CHECK: {
1031 Label fast;
1032 // Check that the object is a boolean.
1033 __ cmp(edx, Factory::true_value());
1034 __ j(equal, &fast, taken);
1035 __ cmp(edx, Factory::false_value());
1036 __ j(not_equal, &miss, not_taken);
1037 __ bind(&fast);
1038 // Check that the maps starting from the prototype haven't changed.
1039 GenerateLoadGlobalFunctionPrototype(masm(),
1040 Context::BOOLEAN_FUNCTION_INDEX,
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001041 eax);
1042 CheckPrototypes(JSObject::cast(object->GetPrototype()), eax, holder,
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001043 ebx, edx, name, &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001044 break;
1045 }
1046
1047 case JSARRAY_HAS_FAST_ELEMENTS_CHECK:
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001048 CheckPrototypes(JSObject::cast(object), edx, holder,
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001049 ebx, eax, name, &miss);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001050 // Make sure object->HasFastElements().
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001051 // Get the elements array of the object.
1052 __ mov(ebx, FieldOperand(edx, JSObject::kElementsOffset));
1053 // Check that the object is in fast mode (not dictionary).
1054 __ cmp(FieldOperand(ebx, HeapObject::kMapOffset),
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001055 Immediate(Factory::fixed_array_map()));
1056 __ j(not_equal, &miss, not_taken);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001057 break;
1058
1059 default:
1060 UNREACHABLE();
1061 }
1062
1063 // Get the function and setup the context.
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001064 __ mov(edi, Immediate(Handle<JSFunction>(function)));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001065 __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
1066
1067 // Jump to the cached code (tail call).
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001068 ASSERT(function->is_compiled());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001069 Handle<Code> code(function->code());
1070 ParameterCount expected(function->shared()->formal_parameter_count());
ager@chromium.org236ad962008-09-25 09:45:57 +00001071 __ InvokeCode(code, expected, arguments(),
1072 RelocInfo::CODE_TARGET, JUMP_FUNCTION);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001073
1074 // Handle call cache miss.
1075 __ bind(&miss);
1076 Handle<Code> ic = ComputeCallMiss(arguments().immediate());
ager@chromium.org236ad962008-09-25 09:45:57 +00001077 __ jmp(ic, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001078
1079 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001080 String* function_name = NULL;
1081 if (function->shared()->name()->IsString()) {
1082 function_name = String::cast(function->shared()->name());
1083 }
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001084 return GetCode(CONSTANT_FUNCTION, function_name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001085}
1086
1087
1088Object* CallStubCompiler::CompileCallInterceptor(Object* object,
1089 JSObject* holder,
1090 String* name) {
1091 // ----------- S t a t e -------------
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001092 // -- ecx : name
1093 // -- esp[0] : return address
1094 // -- esp[(argc - n) * 4] : arg[n] (zero-based)
1095 // -- ...
1096 // -- esp[(argc + 1) * 4] : receiver
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001097 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001098 Label miss;
1099
1100 // Get the number of arguments.
1101 const int argc = arguments().immediate();
1102
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001103 LookupResult lookup;
1104 LookupPostInterceptor(holder, name, &lookup);
1105
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001106 // Get the receiver from the stack.
1107 __ mov(edx, Operand(esp, (argc + 1) * kPointerSize));
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +00001108
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001109 CallInterceptorCompiler compiler(arguments(), ecx);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001110 CompileLoadInterceptor(&compiler,
1111 this,
1112 masm(),
1113 JSObject::cast(object),
1114 holder,
1115 name,
1116 &lookup,
1117 edx,
1118 ebx,
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001119 edi,
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001120 &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001121
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001122 // Restore receiver.
1123 __ mov(edx, Operand(esp, (argc + 1) * kPointerSize));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001124
1125 // Check that the function really is a function.
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001126 __ test(eax, Immediate(kSmiTagMask));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001127 __ j(zero, &miss, not_taken);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001128 __ CmpObjectType(eax, JS_FUNCTION_TYPE, ebx);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001129 __ j(not_equal, &miss, not_taken);
1130
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +00001131 // Patch the receiver on the stack with the global proxy if
1132 // necessary.
1133 if (object->IsGlobalObject()) {
1134 __ mov(edx, FieldOperand(edx, GlobalObject::kGlobalReceiverOffset));
1135 __ mov(Operand(esp, (argc + 1) * kPointerSize), edx);
1136 }
1137
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001138 // Invoke the function.
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001139 __ mov(edi, eax);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001140 __ InvokeFunction(edi, arguments(), JUMP_FUNCTION);
1141
1142 // Handle load cache miss.
1143 __ bind(&miss);
1144 Handle<Code> ic = ComputeCallMiss(argc);
ager@chromium.org236ad962008-09-25 09:45:57 +00001145 __ jmp(ic, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001146
1147 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001148 return GetCode(INTERCEPTOR, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001149}
1150
1151
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001152Object* CallStubCompiler::CompileCallGlobal(JSObject* object,
1153 GlobalObject* holder,
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001154 JSGlobalPropertyCell* cell,
1155 JSFunction* function,
1156 String* name) {
1157 // ----------- S t a t e -------------
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001158 // -- ecx : name
1159 // -- esp[0] : return address
1160 // -- esp[(argc - n) * 4] : arg[n] (zero-based)
1161 // -- ...
1162 // -- esp[(argc + 1) * 4] : receiver
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001163 // -----------------------------------
1164 Label miss;
1165
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001166 // Get the number of arguments.
1167 const int argc = arguments().immediate();
1168
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001169 // Get the receiver from the stack.
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001170 __ mov(edx, Operand(esp, (argc + 1) * kPointerSize));
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001171
1172 // If the object is the holder then we know that it's a global
1173 // object which can only happen for contextual calls. In this case,
1174 // the receiver cannot be a smi.
1175 if (object != holder) {
1176 __ test(edx, Immediate(kSmiTagMask));
1177 __ j(zero, &miss, not_taken);
1178 }
1179
1180 // Check that the maps haven't changed.
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001181 CheckPrototypes(object, edx, holder, ebx, eax, name, &miss);
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001182
1183 // Get the value from the cell.
1184 __ mov(edi, Immediate(Handle<JSGlobalPropertyCell>(cell)));
1185 __ mov(edi, FieldOperand(edi, JSGlobalPropertyCell::kValueOffset));
1186
1187 // Check that the cell contains the same function.
sgjesse@chromium.org846fb742009-12-18 08:56:33 +00001188 if (Heap::InNewSpace(function)) {
1189 // We can't embed a pointer to a function in new space so we have
1190 // to verify that the shared function info is unchanged. This has
1191 // the nice side effect that multiple closures based on the same
1192 // function can all use this call IC. Before we load through the
1193 // function, we have to verify that it still is a function.
1194 __ test(edi, Immediate(kSmiTagMask));
1195 __ j(zero, &miss, not_taken);
1196 __ CmpObjectType(edi, JS_FUNCTION_TYPE, ebx);
1197 __ j(not_equal, &miss, not_taken);
1198
1199 // Check the shared function info. Make sure it hasn't changed.
1200 __ cmp(FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset),
1201 Immediate(Handle<SharedFunctionInfo>(function->shared())));
1202 __ j(not_equal, &miss, not_taken);
1203 } else {
1204 __ cmp(Operand(edi), Immediate(Handle<JSFunction>(function)));
1205 __ j(not_equal, &miss, not_taken);
1206 }
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001207
1208 // Patch the receiver on the stack with the global proxy.
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001209 if (object->IsGlobalObject()) {
1210 __ mov(edx, FieldOperand(edx, GlobalObject::kGlobalReceiverOffset));
1211 __ mov(Operand(esp, (argc + 1) * kPointerSize), edx);
1212 }
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001213
1214 // Setup the context (function already in edi).
1215 __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
1216
1217 // Jump to the cached code (tail call).
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001218 __ IncrementCounter(&Counters::call_global_inline, 1);
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001219 ASSERT(function->is_compiled());
1220 Handle<Code> code(function->code());
1221 ParameterCount expected(function->shared()->formal_parameter_count());
1222 __ InvokeCode(code, expected, arguments(),
1223 RelocInfo::CODE_TARGET, JUMP_FUNCTION);
1224
1225 // Handle call cache miss.
1226 __ bind(&miss);
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001227 __ IncrementCounter(&Counters::call_global_inline_miss, 1);
1228 Handle<Code> ic = ComputeCallMiss(arguments().immediate());
1229 __ jmp(ic, RelocInfo::CODE_TARGET);
1230
1231 // Return the generated code.
1232 return GetCode(NORMAL, name);
1233}
1234
1235
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001236Object* StoreStubCompiler::CompileStoreField(JSObject* object,
1237 int index,
1238 Map* transition,
1239 String* name) {
1240 // ----------- S t a t e -------------
1241 // -- eax : value
1242 // -- ecx : name
1243 // -- esp[0] : return address
1244 // -- esp[4] : receiver
1245 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001246 Label miss;
1247
1248 // Get the object from the stack.
1249 __ mov(ebx, Operand(esp, 1 * kPointerSize));
1250
1251 // Generate store field code. Trashes the name register.
kasperl@chromium.org1accd572008-10-07 10:57:21 +00001252 GenerateStoreField(masm(),
1253 Builtins::StoreIC_ExtendStorage,
1254 object,
1255 index,
1256 transition,
1257 ebx, ecx, edx,
1258 &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001259
1260 // Handle store cache miss.
1261 __ bind(&miss);
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001262 __ mov(ecx, Immediate(Handle<String>(name))); // restore name
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001263 Handle<Code> ic(Builtins::builtin(Builtins::StoreIC_Miss));
ager@chromium.org236ad962008-09-25 09:45:57 +00001264 __ jmp(ic, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001265
1266 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001267 return GetCode(transition == NULL ? FIELD : MAP_TRANSITION, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001268}
1269
1270
1271Object* StoreStubCompiler::CompileStoreCallback(JSObject* object,
1272 AccessorInfo* callback,
1273 String* name) {
1274 // ----------- S t a t e -------------
1275 // -- eax : value
1276 // -- ecx : name
1277 // -- esp[0] : return address
1278 // -- esp[4] : receiver
1279 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001280 Label miss;
1281
1282 // Get the object from the stack.
1283 __ mov(ebx, Operand(esp, 1 * kPointerSize));
1284
1285 // Check that the object isn't a smi.
1286 __ test(ebx, Immediate(kSmiTagMask));
1287 __ j(zero, &miss, not_taken);
1288
1289 // Check that the map of the object hasn't changed.
1290 __ cmp(FieldOperand(ebx, HeapObject::kMapOffset),
1291 Immediate(Handle<Map>(object->map())));
1292 __ j(not_equal, &miss, not_taken);
1293
1294 // Perform global security token check if needed.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001295 if (object->IsJSGlobalProxy()) {
1296 __ CheckAccessGlobalProxy(ebx, edx, &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001297 }
1298
1299 // Stub never generated for non-global objects that require access
1300 // checks.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001301 ASSERT(object->IsJSGlobalProxy() || !object->IsAccessCheckNeeded());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001302
1303 __ pop(ebx); // remove the return address
1304 __ push(Operand(esp, 0)); // receiver
1305 __ push(Immediate(Handle<AccessorInfo>(callback))); // callback info
1306 __ push(ecx); // name
1307 __ push(eax); // value
1308 __ push(ebx); // restore return address
1309
mads.s.ager31e71382008-08-13 09:32:07 +00001310 // Do tail-call to the runtime system.
1311 ExternalReference store_callback_property =
1312 ExternalReference(IC_Utility(IC::kStoreCallbackProperty));
ager@chromium.orga1645e22009-09-09 19:27:10 +00001313 __ TailCallRuntime(store_callback_property, 4, 1);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001314
1315 // Handle store cache miss.
1316 __ bind(&miss);
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001317 __ mov(ecx, Immediate(Handle<String>(name))); // restore name
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001318 Handle<Code> ic(Builtins::builtin(Builtins::StoreIC_Miss));
ager@chromium.org236ad962008-09-25 09:45:57 +00001319 __ jmp(ic, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001320
1321 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001322 return GetCode(CALLBACKS, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001323}
1324
1325
1326Object* StoreStubCompiler::CompileStoreInterceptor(JSObject* receiver,
1327 String* name) {
1328 // ----------- S t a t e -------------
1329 // -- eax : value
1330 // -- ecx : name
1331 // -- esp[0] : return address
1332 // -- esp[4] : receiver
1333 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001334 Label miss;
1335
1336 // Get the object from the stack.
1337 __ mov(ebx, Operand(esp, 1 * kPointerSize));
1338
1339 // Check that the object isn't a smi.
1340 __ test(ebx, Immediate(kSmiTagMask));
1341 __ j(zero, &miss, not_taken);
1342
1343 // Check that the map of the object hasn't changed.
1344 __ cmp(FieldOperand(ebx, HeapObject::kMapOffset),
1345 Immediate(Handle<Map>(receiver->map())));
1346 __ j(not_equal, &miss, not_taken);
1347
1348 // Perform global security token check if needed.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001349 if (receiver->IsJSGlobalProxy()) {
1350 __ CheckAccessGlobalProxy(ebx, edx, &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001351 }
1352
1353 // Stub never generated for non-global objects that require access
1354 // checks.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +00001355 ASSERT(receiver->IsJSGlobalProxy() || !receiver->IsAccessCheckNeeded());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001356
1357 __ pop(ebx); // remove the return address
1358 __ push(Operand(esp, 0)); // receiver
1359 __ push(ecx); // name
1360 __ push(eax); // value
1361 __ push(ebx); // restore return address
1362
mads.s.ager31e71382008-08-13 09:32:07 +00001363 // Do tail-call to the runtime system.
1364 ExternalReference store_ic_property =
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001365 ExternalReference(IC_Utility(IC::kStoreInterceptorProperty));
ager@chromium.orga1645e22009-09-09 19:27:10 +00001366 __ TailCallRuntime(store_ic_property, 3, 1);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001367
1368 // Handle store cache miss.
1369 __ bind(&miss);
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001370 __ mov(ecx, Immediate(Handle<String>(name))); // restore name
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001371 Handle<Code> ic(Builtins::builtin(Builtins::StoreIC_Miss));
ager@chromium.org236ad962008-09-25 09:45:57 +00001372 __ jmp(ic, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001373
1374 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001375 return GetCode(INTERCEPTOR, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001376}
1377
1378
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001379Object* StoreStubCompiler::CompileStoreGlobal(GlobalObject* object,
1380 JSGlobalPropertyCell* cell,
1381 String* name) {
1382 // ----------- S t a t e -------------
1383 // -- eax : value
1384 // -- ecx : name
1385 // -- esp[0] : return address
1386 // -- esp[4] : receiver
1387 // -----------------------------------
1388 Label miss;
1389
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001390 // Check that the map of the global has not changed.
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001391 __ mov(ebx, Operand(esp, kPointerSize));
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001392 __ cmp(FieldOperand(ebx, HeapObject::kMapOffset),
1393 Immediate(Handle<Map>(object->map())));
1394 __ j(not_equal, &miss, not_taken);
1395
1396 // Store the value in the cell.
1397 __ mov(ecx, Immediate(Handle<JSGlobalPropertyCell>(cell)));
1398 __ mov(FieldOperand(ecx, JSGlobalPropertyCell::kValueOffset), eax);
1399
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001400 // Return the value (register eax).
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001401 __ IncrementCounter(&Counters::named_store_global_inline, 1);
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001402 __ ret(0);
1403
1404 // Handle store cache miss.
1405 __ bind(&miss);
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001406 __ IncrementCounter(&Counters::named_store_global_inline_miss, 1);
1407 Handle<Code> ic(Builtins::builtin(Builtins::StoreIC_Miss));
1408 __ jmp(ic, RelocInfo::CODE_TARGET);
1409
1410 // Return the generated code.
1411 return GetCode(NORMAL, name);
1412}
1413
1414
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001415Object* KeyedStoreStubCompiler::CompileStoreField(JSObject* object,
1416 int index,
1417 Map* transition,
1418 String* name) {
1419 // ----------- S t a t e -------------
1420 // -- eax : value
1421 // -- esp[0] : return address
1422 // -- esp[4] : key
1423 // -- esp[8] : receiver
1424 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001425 Label miss;
1426
1427 __ IncrementCounter(&Counters::keyed_store_field, 1);
1428
1429 // Get the name from the stack.
1430 __ mov(ecx, Operand(esp, 1 * kPointerSize));
1431 // Check that the name has not changed.
1432 __ cmp(Operand(ecx), Immediate(Handle<String>(name)));
1433 __ j(not_equal, &miss, not_taken);
1434
1435 // Get the object from the stack.
1436 __ mov(ebx, Operand(esp, 2 * kPointerSize));
1437
1438 // Generate store field code. Trashes the name register.
kasperl@chromium.org1accd572008-10-07 10:57:21 +00001439 GenerateStoreField(masm(),
1440 Builtins::KeyedStoreIC_ExtendStorage,
1441 object,
1442 index,
1443 transition,
1444 ebx, ecx, edx,
1445 &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001446
1447 // Handle store cache miss.
1448 __ bind(&miss);
1449 __ DecrementCounter(&Counters::keyed_store_field, 1);
1450 Handle<Code> ic(Builtins::builtin(Builtins::KeyedStoreIC_Miss));
ager@chromium.org236ad962008-09-25 09:45:57 +00001451 __ jmp(ic, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001452
1453 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001454 return GetCode(transition == NULL ? FIELD : MAP_TRANSITION, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001455}
1456
1457
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001458
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001459Object* LoadStubCompiler::CompileLoadField(JSObject* object,
1460 JSObject* holder,
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001461 int index,
1462 String* name) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001463 // ----------- S t a t e -------------
1464 // -- ecx : name
1465 // -- esp[0] : return address
1466 // -- esp[4] : receiver
1467 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001468 Label miss;
1469
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001470 __ mov(eax, Operand(esp, kPointerSize));
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001471 GenerateLoadField(object, holder, eax, ebx, edx, index, name, &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001472 __ bind(&miss);
1473 GenerateLoadMiss(masm(), Code::LOAD_IC);
1474
1475 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001476 return GetCode(FIELD, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001477}
1478
1479
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001480Object* LoadStubCompiler::CompileLoadCallback(String* name,
1481 JSObject* object,
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001482 JSObject* holder,
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001483 AccessorInfo* callback) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001484 // ----------- S t a t e -------------
1485 // -- ecx : name
1486 // -- esp[0] : return address
1487 // -- esp[4] : receiver
1488 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001489 Label miss;
1490
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001491 __ mov(eax, Operand(esp, kPointerSize));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001492 Failure* failure = Failure::InternalError();
1493 bool success = GenerateLoadCallback(object, holder, eax, ecx, ebx, edx,
1494 callback, name, &miss, &failure);
1495 if (!success) return failure;
1496
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001497 __ bind(&miss);
1498 GenerateLoadMiss(masm(), Code::LOAD_IC);
1499
1500 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001501 return GetCode(CALLBACKS, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001502}
1503
1504
1505Object* LoadStubCompiler::CompileLoadConstant(JSObject* object,
1506 JSObject* holder,
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001507 Object* value,
1508 String* name) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001509 // ----------- S t a t e -------------
1510 // -- ecx : name
1511 // -- esp[0] : return address
1512 // -- esp[4] : receiver
1513 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001514 Label miss;
1515
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001516 __ mov(eax, Operand(esp, kPointerSize));
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001517 GenerateLoadConstant(object, holder, eax, ebx, edx, value, name, &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001518 __ bind(&miss);
1519 GenerateLoadMiss(masm(), Code::LOAD_IC);
1520
1521 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001522 return GetCode(CONSTANT_FUNCTION, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001523}
1524
1525
1526Object* LoadStubCompiler::CompileLoadInterceptor(JSObject* receiver,
1527 JSObject* holder,
1528 String* name) {
1529 // ----------- S t a t e -------------
1530 // -- ecx : name
1531 // -- esp[0] : return address
1532 // -- esp[4] : receiver
1533 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001534 Label miss;
1535
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001536 LookupResult lookup;
1537 LookupPostInterceptor(holder, name, &lookup);
1538
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001539 __ mov(eax, Operand(esp, kPointerSize));
ager@chromium.orge2902be2009-06-08 12:21:35 +00001540 // TODO(368): Compile in the whole chain: all the interceptors in
1541 // prototypes and ultimate answer.
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001542 GenerateLoadInterceptor(receiver,
ager@chromium.orge2902be2009-06-08 12:21:35 +00001543 holder,
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001544 &lookup,
ager@chromium.orge2902be2009-06-08 12:21:35 +00001545 eax,
1546 ecx,
1547 edx,
1548 ebx,
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001549 name,
ager@chromium.orge2902be2009-06-08 12:21:35 +00001550 &miss);
1551
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001552 __ bind(&miss);
1553 GenerateLoadMiss(masm(), Code::LOAD_IC);
1554
1555 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001556 return GetCode(INTERCEPTOR, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001557}
1558
1559
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001560Object* LoadStubCompiler::CompileLoadGlobal(JSObject* object,
1561 GlobalObject* holder,
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001562 JSGlobalPropertyCell* cell,
1563 String* name,
1564 bool is_dont_delete) {
1565 // ----------- S t a t e -------------
1566 // -- ecx : name
1567 // -- esp[0] : return address
1568 // -- esp[4] : receiver
1569 // -----------------------------------
1570 Label miss;
1571
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001572 // Get the receiver from the stack.
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001573 __ mov(eax, Operand(esp, kPointerSize));
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001574
1575 // If the object is the holder then we know that it's a global
1576 // object which can only happen for contextual loads. In this case,
1577 // the receiver cannot be a smi.
1578 if (object != holder) {
1579 __ test(eax, Immediate(kSmiTagMask));
1580 __ j(zero, &miss, not_taken);
1581 }
1582
1583 // Check that the maps haven't changed.
1584 CheckPrototypes(object, eax, holder, ebx, edx, name, &miss);
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001585
1586 // Get the value from the cell.
1587 __ mov(eax, Immediate(Handle<JSGlobalPropertyCell>(cell)));
1588 __ mov(eax, FieldOperand(eax, JSGlobalPropertyCell::kValueOffset));
1589
1590 // Check for deleted property if property can actually be deleted.
1591 if (!is_dont_delete) {
1592 __ cmp(eax, Factory::the_hole_value());
1593 __ j(equal, &miss, not_taken);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001594 } else if (FLAG_debug_code) {
1595 __ cmp(eax, Factory::the_hole_value());
1596 __ Check(not_equal, "DontDelete cells can't contain the hole");
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001597 }
1598
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001599 __ IncrementCounter(&Counters::named_load_global_inline, 1);
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001600 __ ret(0);
1601
1602 __ bind(&miss);
kasperl@chromium.org2abc4502009-07-02 07:00:29 +00001603 __ IncrementCounter(&Counters::named_load_global_inline_miss, 1);
1604 GenerateLoadMiss(masm(), Code::LOAD_IC);
1605
1606 // Return the generated code.
1607 return GetCode(NORMAL, name);
1608}
1609
1610
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001611Object* KeyedLoadStubCompiler::CompileLoadField(String* name,
1612 JSObject* receiver,
1613 JSObject* holder,
1614 int index) {
1615 // ----------- S t a t e -------------
1616 // -- esp[0] : return address
1617 // -- esp[4] : name
1618 // -- esp[8] : receiver
1619 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001620 Label miss;
1621
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001622 __ mov(eax, Operand(esp, kPointerSize));
1623 __ mov(ecx, Operand(esp, 2 * kPointerSize));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001624 __ IncrementCounter(&Counters::keyed_load_field, 1);
1625
1626 // Check that the name has not changed.
1627 __ cmp(Operand(eax), Immediate(Handle<String>(name)));
1628 __ j(not_equal, &miss, not_taken);
1629
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001630 GenerateLoadField(receiver, holder, ecx, ebx, edx, index, name, &miss);
1631
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001632 __ bind(&miss);
1633 __ DecrementCounter(&Counters::keyed_load_field, 1);
1634 GenerateLoadMiss(masm(), Code::KEYED_LOAD_IC);
1635
1636 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001637 return GetCode(FIELD, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001638}
1639
1640
1641Object* KeyedLoadStubCompiler::CompileLoadCallback(String* name,
1642 JSObject* receiver,
1643 JSObject* holder,
1644 AccessorInfo* callback) {
1645 // ----------- S t a t e -------------
1646 // -- esp[0] : return address
1647 // -- esp[4] : name
1648 // -- esp[8] : receiver
1649 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001650 Label miss;
1651
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001652 __ mov(eax, Operand(esp, kPointerSize));
1653 __ mov(ecx, Operand(esp, 2 * kPointerSize));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001654 __ IncrementCounter(&Counters::keyed_load_callback, 1);
1655
1656 // Check that the name has not changed.
1657 __ cmp(Operand(eax), Immediate(Handle<String>(name)));
1658 __ j(not_equal, &miss, not_taken);
1659
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001660 Failure* failure = Failure::InternalError();
1661 bool success = GenerateLoadCallback(receiver, holder, ecx, eax, ebx, edx,
1662 callback, name, &miss, &failure);
1663 if (!success) return failure;
1664
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001665 __ bind(&miss);
1666 __ DecrementCounter(&Counters::keyed_load_callback, 1);
1667 GenerateLoadMiss(masm(), Code::KEYED_LOAD_IC);
1668
1669 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001670 return GetCode(CALLBACKS, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001671}
1672
1673
1674Object* KeyedLoadStubCompiler::CompileLoadConstant(String* name,
1675 JSObject* receiver,
1676 JSObject* holder,
1677 Object* value) {
1678 // ----------- S t a t e -------------
1679 // -- esp[0] : return address
1680 // -- esp[4] : name
1681 // -- esp[8] : receiver
1682 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001683 Label miss;
1684
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001685 __ mov(eax, Operand(esp, kPointerSize));
1686 __ mov(ecx, Operand(esp, 2 * kPointerSize));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001687 __ IncrementCounter(&Counters::keyed_load_constant_function, 1);
1688
1689 // Check that the name has not changed.
1690 __ cmp(Operand(eax), Immediate(Handle<String>(name)));
1691 __ j(not_equal, &miss, not_taken);
1692
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001693 GenerateLoadConstant(receiver, holder, ecx, ebx, edx,
1694 value, name, &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001695 __ bind(&miss);
1696 __ DecrementCounter(&Counters::keyed_load_constant_function, 1);
1697 GenerateLoadMiss(masm(), Code::KEYED_LOAD_IC);
1698
1699 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001700 return GetCode(CONSTANT_FUNCTION, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001701}
1702
1703
1704Object* KeyedLoadStubCompiler::CompileLoadInterceptor(JSObject* receiver,
1705 JSObject* holder,
1706 String* name) {
1707 // ----------- S t a t e -------------
1708 // -- esp[0] : return address
1709 // -- esp[4] : name
1710 // -- esp[8] : receiver
1711 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001712 Label miss;
1713
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001714 __ mov(eax, Operand(esp, kPointerSize));
1715 __ mov(ecx, Operand(esp, 2 * kPointerSize));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001716 __ IncrementCounter(&Counters::keyed_load_interceptor, 1);
1717
1718 // Check that the name has not changed.
1719 __ cmp(Operand(eax), Immediate(Handle<String>(name)));
1720 __ j(not_equal, &miss, not_taken);
1721
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001722 LookupResult lookup;
1723 LookupPostInterceptor(holder, name, &lookup);
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001724 GenerateLoadInterceptor(receiver,
ager@chromium.orge2902be2009-06-08 12:21:35 +00001725 holder,
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001726 &lookup,
ager@chromium.orge2902be2009-06-08 12:21:35 +00001727 ecx,
1728 eax,
1729 edx,
1730 ebx,
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +00001731 name,
ager@chromium.orge2902be2009-06-08 12:21:35 +00001732 &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001733 __ bind(&miss);
1734 __ DecrementCounter(&Counters::keyed_load_interceptor, 1);
1735 GenerateLoadMiss(masm(), Code::KEYED_LOAD_IC);
1736
1737 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001738 return GetCode(INTERCEPTOR, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001739}
1740
1741
1742
1743
1744Object* KeyedLoadStubCompiler::CompileLoadArrayLength(String* name) {
1745 // ----------- S t a t e -------------
1746 // -- esp[0] : return address
1747 // -- esp[4] : name
1748 // -- esp[8] : receiver
1749 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001750 Label miss;
1751
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001752 __ mov(eax, Operand(esp, kPointerSize));
1753 __ mov(ecx, Operand(esp, 2 * kPointerSize));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001754 __ IncrementCounter(&Counters::keyed_load_array_length, 1);
1755
1756 // Check that the name has not changed.
1757 __ cmp(Operand(eax), Immediate(Handle<String>(name)));
1758 __ j(not_equal, &miss, not_taken);
1759
1760 GenerateLoadArrayLength(masm(), ecx, edx, &miss);
1761 __ bind(&miss);
1762 __ DecrementCounter(&Counters::keyed_load_array_length, 1);
1763 GenerateLoadMiss(masm(), Code::KEYED_LOAD_IC);
1764
1765 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001766 return GetCode(CALLBACKS, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001767}
1768
1769
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +00001770Object* KeyedLoadStubCompiler::CompileLoadStringLength(String* name) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001771 // ----------- S t a t e -------------
1772 // -- esp[0] : return address
1773 // -- esp[4] : name
1774 // -- esp[8] : receiver
1775 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001776 Label miss;
1777
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001778 __ mov(eax, Operand(esp, kPointerSize));
1779 __ mov(ecx, Operand(esp, 2 * kPointerSize));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001780 __ IncrementCounter(&Counters::keyed_load_string_length, 1);
1781
1782 // Check that the name has not changed.
1783 __ cmp(Operand(eax), Immediate(Handle<String>(name)));
1784 __ j(not_equal, &miss, not_taken);
1785
kasperl@chromium.org9fe21c62008-10-28 08:53:51 +00001786 GenerateLoadStringLength(masm(), ecx, edx, &miss);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001787 __ bind(&miss);
1788 __ DecrementCounter(&Counters::keyed_load_string_length, 1);
1789 GenerateLoadMiss(masm(), Code::KEYED_LOAD_IC);
1790
1791 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001792 return GetCode(CALLBACKS, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001793}
1794
1795
1796Object* KeyedLoadStubCompiler::CompileLoadFunctionPrototype(String* name) {
1797 // ----------- S t a t e -------------
1798 // -- esp[0] : return address
1799 // -- esp[4] : name
1800 // -- esp[8] : receiver
1801 // -----------------------------------
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001802 Label miss;
1803
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001804 __ mov(eax, Operand(esp, kPointerSize));
1805 __ mov(ecx, Operand(esp, 2 * kPointerSize));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001806 __ IncrementCounter(&Counters::keyed_load_function_prototype, 1);
1807
1808 // Check that the name has not changed.
1809 __ cmp(Operand(eax), Immediate(Handle<String>(name)));
1810 __ j(not_equal, &miss, not_taken);
1811
1812 GenerateLoadFunctionPrototype(masm(), ecx, edx, ebx, &miss);
1813 __ bind(&miss);
1814 __ DecrementCounter(&Counters::keyed_load_function_prototype, 1);
1815 GenerateLoadMiss(masm(), Code::KEYED_LOAD_IC);
1816
1817 // Return the generated code.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001818 return GetCode(CALLBACKS, name);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001819}
1820
1821
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001822// Specialized stub for constructing objects from functions which only have only
1823// simple assignments of the form this.x = ...; in their body.
1824Object* ConstructStubCompiler::CompileConstructStub(
1825 SharedFunctionInfo* shared) {
1826 // ----------- S t a t e -------------
1827 // -- eax : argc
1828 // -- edi : constructor
1829 // -- esp[0] : return address
1830 // -- esp[4] : last argument
1831 // -----------------------------------
1832 Label generic_stub_call;
1833#ifdef ENABLE_DEBUGGER_SUPPORT
1834 // Check to see whether there are any break points in the function code. If
1835 // there are jump to the generic constructor stub which calls the actual
1836 // code for the function thereby hitting the break points.
1837 __ mov(ebx, FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset));
1838 __ mov(ebx, FieldOperand(ebx, SharedFunctionInfo::kDebugInfoOffset));
1839 __ cmp(ebx, Factory::undefined_value());
1840 __ j(not_equal, &generic_stub_call, not_taken);
1841#endif
1842
1843 // Load the initial map and verify that it is in fact a map.
1844 __ mov(ebx, FieldOperand(edi, JSFunction::kPrototypeOrInitialMapOffset));
1845 // Will both indicate a NULL and a Smi.
1846 __ test(ebx, Immediate(kSmiTagMask));
1847 __ j(zero, &generic_stub_call);
1848 __ CmpObjectType(ebx, MAP_TYPE, ecx);
1849 __ j(not_equal, &generic_stub_call);
1850
1851#ifdef DEBUG
1852 // Cannot construct functions this way.
1853 // edi: constructor
1854 // ebx: initial map
1855 __ CmpInstanceType(ebx, JS_FUNCTION_TYPE);
1856 __ Assert(not_equal, "Function constructed by construct stub.");
1857#endif
1858
1859 // Now allocate the JSObject on the heap by moving the new space allocation
1860 // top forward.
1861 // edi: constructor
1862 // ebx: initial map
1863 __ movzx_b(ecx, FieldOperand(ebx, Map::kInstanceSizeOffset));
1864 __ shl(ecx, kPointerSizeLog2);
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001865 __ AllocateInNewSpace(ecx,
1866 edx,
1867 ecx,
1868 no_reg,
1869 &generic_stub_call,
1870 NO_ALLOCATION_FLAGS);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001871
1872 // Allocated the JSObject, now initialize the fields and add the heap tag.
1873 // ebx: initial map
1874 // edx: JSObject (untagged)
1875 __ mov(Operand(edx, JSObject::kMapOffset), ebx);
1876 __ mov(ebx, Factory::empty_fixed_array());
1877 __ mov(Operand(edx, JSObject::kPropertiesOffset), ebx);
1878 __ mov(Operand(edx, JSObject::kElementsOffset), ebx);
1879
1880 // Push the allocated object to the stack. This is the object that will be
1881 // returned (after it is tagged).
1882 __ push(edx);
1883
1884 // eax: argc
1885 // edx: JSObject (untagged)
1886 // Load the address of the first in-object property into edx.
1887 __ lea(edx, Operand(edx, JSObject::kHeaderSize));
1888 // Calculate the location of the first argument. The stack contains the
1889 // allocated object and the return address on top of the argc arguments.
1890 __ lea(ecx, Operand(esp, eax, times_4, 1 * kPointerSize));
1891
1892 // Use edi for holding undefined which is used in several places below.
1893 __ mov(edi, Factory::undefined_value());
1894
1895 // eax: argc
1896 // ecx: first argument
1897 // edx: first in-object property of the JSObject
1898 // edi: undefined
1899 // Fill the initialized properties with a constant value or a passed argument
1900 // depending on the this.x = ...; assignment in the function.
1901 for (int i = 0; i < shared->this_property_assignments_count(); i++) {
1902 if (shared->IsThisPropertyAssignmentArgument(i)) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001903 // Check if the argument assigned to the property is actually passed.
fschneider@chromium.org0c20e672010-01-14 15:28:53 +00001904 // If argument is not passed the property is set to undefined,
1905 // otherwise find it on the stack.
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001906 int arg_number = shared->GetThisPropertyAssignmentArgument(i);
fschneider@chromium.org0c20e672010-01-14 15:28:53 +00001907 __ mov(ebx, edi);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001908 __ cmp(eax, arg_number);
fschneider@chromium.org0c20e672010-01-14 15:28:53 +00001909 if (CpuFeatures::IsSupported(CMOV)) {
1910 CpuFeatures::Scope use_cmov(CMOV);
1911 __ cmov(above, ebx, Operand(ecx, arg_number * -kPointerSize));
1912 } else {
1913 Label not_passed;
1914 __ j(below_equal, &not_passed);
1915 __ mov(ebx, Operand(ecx, arg_number * -kPointerSize));
1916 __ bind(&not_passed);
1917 }
1918 // Store value in the property.
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001919 __ mov(Operand(edx, i * kPointerSize), ebx);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001920 } else {
1921 // Set the property to the constant value.
1922 Handle<Object> constant(shared->GetThisPropertyAssignmentConstant(i));
1923 __ mov(Operand(edx, i * kPointerSize), Immediate(constant));
1924 }
1925 }
1926
1927 // Fill the unused in-object property fields with undefined.
1928 for (int i = shared->this_property_assignments_count();
1929 i < shared->CalculateInObjectProperties();
1930 i++) {
1931 __ mov(Operand(edx, i * kPointerSize), edi);
1932 }
1933
1934 // Move argc to ebx and retrieve and tag the JSObject to return.
1935 __ mov(ebx, eax);
1936 __ pop(eax);
1937 __ or_(Operand(eax), Immediate(kHeapObjectTag));
1938
1939 // Remove caller arguments and receiver from the stack and return.
1940 __ pop(ecx);
1941 __ lea(esp, Operand(esp, ebx, times_pointer_size, 1 * kPointerSize));
1942 __ push(ecx);
1943 __ IncrementCounter(&Counters::constructed_objects, 1);
1944 __ IncrementCounter(&Counters::constructed_objects_stub, 1);
1945 __ ret(0);
1946
1947 // Jump to the generic stub in case the specialized code cannot handle the
1948 // construction.
1949 __ bind(&generic_stub_call);
1950 Code* code = Builtins::builtin(Builtins::JSConstructStubGeneric);
1951 Handle<Code> generic_construct_stub(code);
1952 __ jmp(generic_construct_stub, RelocInfo::CODE_TARGET);
1953
1954 // Return the generated code.
1955 return GetCode();
1956}
1957
1958
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001959#undef __
1960
1961} } // namespace v8::internal