blob: f13585d0d6bd6c1cc5f7c9c41580b93efba1d303 [file] [log] [blame]
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001// Copyright 2011 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
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +000030#if defined(V8_TARGET_ARCH_IA32)
31
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000032#include "bootstrapper.h"
karlklose@chromium.org44bc7082011-04-11 12:33:05 +000033#include "codegen.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000034#include "debug.h"
35#include "runtime.h"
36#include "serialize.h"
37
kasperl@chromium.org71affb52009-05-26 05:44:31 +000038namespace v8 {
39namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000040
kasperl@chromium.org7be3c992009-03-12 07:19:55 +000041// -------------------------------------------------------------------------
42// MacroAssembler implementation.
43
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +000044MacroAssembler::MacroAssembler(Isolate* arg_isolate, void* buffer, int size)
45 : Assembler(arg_isolate, buffer, size),
kasper.lund7276f142008-07-30 08:49:36 +000046 generating_stub_(false),
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +000047 allow_stub_calls_(true) {
48 if (isolate() != NULL) {
49 code_object_ = Handle<Object>(isolate()->heap()->undefined_value(),
50 isolate());
51 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000052}
53
54
vegorov@chromium.orgf8372902010-03-15 10:26:20 +000055void MacroAssembler::RecordWriteHelper(Register object,
56 Register addr,
57 Register scratch) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +000058 if (emit_debug_code()) {
ager@chromium.orgac091b72010-05-05 07:34:42 +000059 // Check that the object is not in new space.
60 Label not_in_new_space;
61 InNewSpace(object, scratch, not_equal, &not_in_new_space);
62 Abort("new-space object passed to RecordWriteHelper");
63 bind(&not_in_new_space);
64 }
65
christian.plesner.hansen@gmail.com5a6af922009-08-12 14:20:51 +000066 // Compute the page start address from the heap object pointer, and reuse
67 // the 'object' register for it.
vegorov@chromium.orgf8372902010-03-15 10:26:20 +000068 and_(object, ~Page::kPageAlignmentMask);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000069
ricow@chromium.org30ce4112010-05-31 10:38:25 +000070 // Compute number of region covering addr. See Page::GetRegionNumberForAddress
71 // method for more details.
72 and_(addr, Page::kPageAlignmentMask);
73 shr(addr, Page::kRegionSizeLog2);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000074
ricow@chromium.org30ce4112010-05-31 10:38:25 +000075 // Set dirty mark for region.
76 bts(Operand(object, Page::kDirtyFlagOffset), addr);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000077}
78
79
fschneider@chromium.orged78ffd2010-07-21 11:05:19 +000080void MacroAssembler::RecordWrite(Register object,
81 int offset,
82 Register value,
83 Register scratch) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +000084 // First, check if a write barrier is even needed. The tests below
85 // catch stores of Smis and stores into young gen.
ager@chromium.org5f0c45f2010-12-17 08:51:21 +000086 NearLabel done;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000087
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +000088 // Skip barrier if writing a smi.
89 ASSERT_EQ(0, kSmiTag);
90 test(value, Immediate(kSmiTagMask));
91 j(zero, &done);
92
vegorov@chromium.orgf8372902010-03-15 10:26:20 +000093 InNewSpace(object, value, equal, &done);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000094
whesse@chromium.orge88a9ed2010-04-15 15:07:46 +000095 // The offset is relative to a tagged or untagged HeapObject pointer,
96 // so either offset or offset + kHeapObjectTag must be a
97 // multiple of kPointerSize.
98 ASSERT(IsAligned(offset, kPointerSize) ||
99 IsAligned(offset + kHeapObjectTag, kPointerSize));
100
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000101 Register dst = scratch;
102 if (offset != 0) {
103 lea(dst, Operand(object, offset));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000104 } else {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000105 // Array access: calculate the destination address in the same manner as
106 // KeyedStoreIC::GenerateGeneric. Multiply a smi by 2 to get an offset
107 // into an array of words.
108 ASSERT_EQ(1, kSmiTagSize);
109 ASSERT_EQ(0, kSmiTag);
110 lea(dst, Operand(object, dst, times_half_pointer_size,
111 FixedArray::kHeaderSize - kHeapObjectTag));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000112 }
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000113 RecordWriteHelper(object, dst, value);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000114
115 bind(&done);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000116
117 // Clobber all input registers when running with the debug-code flag
118 // turned on to provoke errors.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000119 if (emit_debug_code()) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000120 mov(object, Immediate(BitCast<int32_t>(kZapValue)));
121 mov(value, Immediate(BitCast<int32_t>(kZapValue)));
122 mov(scratch, Immediate(BitCast<int32_t>(kZapValue)));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000123 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000124}
125
126
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000127void MacroAssembler::RecordWrite(Register object,
128 Register address,
129 Register value) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000130 // First, check if a write barrier is even needed. The tests below
131 // catch stores of Smis and stores into young gen.
132 Label done;
133
134 // Skip barrier if writing a smi.
135 ASSERT_EQ(0, kSmiTag);
136 test(value, Immediate(kSmiTagMask));
137 j(zero, &done);
138
139 InNewSpace(object, value, equal, &done);
140
141 RecordWriteHelper(object, address, value);
142
143 bind(&done);
144
145 // Clobber all input registers when running with the debug-code flag
146 // turned on to provoke errors.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000147 if (emit_debug_code()) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000148 mov(object, Immediate(BitCast<int32_t>(kZapValue)));
149 mov(address, Immediate(BitCast<int32_t>(kZapValue)));
150 mov(value, Immediate(BitCast<int32_t>(kZapValue)));
151 }
152}
153
154
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000155#ifdef ENABLE_DEBUGGER_SUPPORT
ager@chromium.org5c838252010-02-19 08:53:10 +0000156void MacroAssembler::DebugBreak() {
157 Set(eax, Immediate(0));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000158 mov(ebx, Immediate(ExternalReference(Runtime::kDebugBreak, isolate())));
ager@chromium.org5c838252010-02-19 08:53:10 +0000159 CEntryStub ces(1);
160 call(ces.GetCode(), RelocInfo::DEBUG_BREAK);
161}
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000162#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000163
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000164
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000165void MacroAssembler::Set(Register dst, const Immediate& x) {
166 if (x.is_zero()) {
167 xor_(dst, Operand(dst)); // shorter than mov
168 } else {
ager@chromium.org3bf7b912008-11-17 09:09:45 +0000169 mov(dst, x);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000170 }
171}
172
173
174void MacroAssembler::Set(const Operand& dst, const Immediate& x) {
175 mov(dst, x);
176}
177
178
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000179void MacroAssembler::CmpObjectType(Register heap_object,
180 InstanceType type,
181 Register map) {
182 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
183 CmpInstanceType(map, type);
184}
185
186
187void MacroAssembler::CmpInstanceType(Register map, InstanceType type) {
188 cmpb(FieldOperand(map, Map::kInstanceTypeOffset),
189 static_cast<int8_t>(type));
190}
191
192
ager@chromium.org5c838252010-02-19 08:53:10 +0000193void MacroAssembler::CheckMap(Register obj,
194 Handle<Map> map,
195 Label* fail,
196 bool is_heap_object) {
197 if (!is_heap_object) {
198 test(obj, Immediate(kSmiTagMask));
199 j(zero, fail);
200 }
201 cmp(FieldOperand(obj, HeapObject::kMapOffset), Immediate(map));
202 j(not_equal, fail);
203}
204
205
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000206Condition MacroAssembler::IsObjectStringType(Register heap_object,
207 Register map,
208 Register instance_type) {
209 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
210 movzx_b(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
211 ASSERT(kNotStringTag != 0);
212 test(instance_type, Immediate(kIsNotStringMask));
213 return zero;
214}
215
216
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000217void MacroAssembler::IsObjectJSObjectType(Register heap_object,
218 Register map,
219 Register scratch,
220 Label* fail) {
221 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
222 IsInstanceJSObjectType(map, scratch, fail);
223}
224
225
226void MacroAssembler::IsInstanceJSObjectType(Register map,
227 Register scratch,
228 Label* fail) {
229 movzx_b(scratch, FieldOperand(map, Map::kInstanceTypeOffset));
230 sub(Operand(scratch), Immediate(FIRST_JS_OBJECT_TYPE));
231 cmp(scratch, LAST_JS_OBJECT_TYPE - FIRST_JS_OBJECT_TYPE);
232 j(above, fail);
233}
234
235
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000236void MacroAssembler::FCmp() {
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +0000237 if (CpuFeatures::IsSupported(CMOV)) {
ager@chromium.org3811b432009-10-28 14:53:37 +0000238 fucomip();
239 ffree(0);
240 fincstp();
241 } else {
242 fucompp();
243 push(eax);
244 fnstsw_ax();
245 sahf();
246 pop(eax);
247 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000248}
249
250
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000251void MacroAssembler::AbortIfNotNumber(Register object) {
ager@chromium.org5c838252010-02-19 08:53:10 +0000252 Label ok;
253 test(object, Immediate(kSmiTagMask));
254 j(zero, &ok);
255 cmp(FieldOperand(object, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000256 isolate()->factory()->heap_number_map());
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000257 Assert(equal, "Operand not a number");
ager@chromium.org5c838252010-02-19 08:53:10 +0000258 bind(&ok);
259}
260
261
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000262void MacroAssembler::AbortIfNotSmi(Register object) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000263 test(object, Immediate(kSmiTagMask));
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000264 Assert(equal, "Operand is not a smi");
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000265}
266
267
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000268void MacroAssembler::AbortIfNotString(Register object) {
269 test(object, Immediate(kSmiTagMask));
270 Assert(not_equal, "Operand is not a string");
271 push(object);
272 mov(object, FieldOperand(object, HeapObject::kMapOffset));
273 CmpInstanceType(object, FIRST_NONSTRING_TYPE);
274 pop(object);
275 Assert(below, "Operand is not a string");
276}
277
278
vegorov@chromium.org26c16f82010-08-11 13:41:03 +0000279void MacroAssembler::AbortIfSmi(Register object) {
280 test(object, Immediate(kSmiTagMask));
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000281 Assert(not_equal, "Operand is a smi");
vegorov@chromium.org26c16f82010-08-11 13:41:03 +0000282}
283
284
ager@chromium.org7c537e22008-10-16 08:43:32 +0000285void MacroAssembler::EnterFrame(StackFrame::Type type) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000286 push(ebp);
287 mov(ebp, Operand(esp));
288 push(esi);
289 push(Immediate(Smi::FromInt(type)));
kasperl@chromium.org061ef742009-02-27 12:16:20 +0000290 push(Immediate(CodeObject()));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000291 if (emit_debug_code()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000292 cmp(Operand(esp, 0), Immediate(isolate()->factory()->undefined_value()));
kasperl@chromium.org061ef742009-02-27 12:16:20 +0000293 Check(not_equal, "code object not properly patched");
294 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000295}
296
297
ager@chromium.org7c537e22008-10-16 08:43:32 +0000298void MacroAssembler::LeaveFrame(StackFrame::Type type) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000299 if (emit_debug_code()) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000300 cmp(Operand(ebp, StandardFrameConstants::kMarkerOffset),
301 Immediate(Smi::FromInt(type)));
302 Check(equal, "stack frame types must match");
303 }
304 leave();
305}
306
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000307
308void MacroAssembler::EnterExitFramePrologue() {
ager@chromium.org236ad962008-09-25 09:45:57 +0000309 // Setup the frame structure on the stack.
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000310 ASSERT(ExitFrameConstants::kCallerSPDisplacement == +2 * kPointerSize);
ager@chromium.org236ad962008-09-25 09:45:57 +0000311 ASSERT(ExitFrameConstants::kCallerPCOffset == +1 * kPointerSize);
312 ASSERT(ExitFrameConstants::kCallerFPOffset == 0 * kPointerSize);
313 push(ebp);
314 mov(ebp, Operand(esp));
315
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000316 // Reserve room for entry stack pointer and push the code object.
ager@chromium.org236ad962008-09-25 09:45:57 +0000317 ASSERT(ExitFrameConstants::kSPOffset == -1 * kPointerSize);
ager@chromium.org5c838252010-02-19 08:53:10 +0000318 push(Immediate(0)); // Saved entry sp, patched before call.
319 push(Immediate(CodeObject())); // Accessed from ExitFrame::code_slot.
ager@chromium.org236ad962008-09-25 09:45:57 +0000320
321 // Save the frame pointer and the context in top.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000322 ExternalReference c_entry_fp_address(Isolate::k_c_entry_fp_address,
323 isolate());
324 ExternalReference context_address(Isolate::k_context_address,
325 isolate());
ager@chromium.org236ad962008-09-25 09:45:57 +0000326 mov(Operand::StaticVariable(c_entry_fp_address), ebp);
327 mov(Operand::StaticVariable(context_address), esi);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000328}
ager@chromium.org236ad962008-09-25 09:45:57 +0000329
ager@chromium.org236ad962008-09-25 09:45:57 +0000330
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000331void MacroAssembler::EnterExitFrameEpilogue(int argc, bool save_doubles) {
332 // Optionally save all XMM registers.
333 if (save_doubles) {
334 CpuFeatures::Scope scope(SSE2);
335 int space = XMMRegister::kNumRegisters * kDoubleSize + argc * kPointerSize;
336 sub(Operand(esp), Immediate(space));
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000337 const int offset = -2 * kPointerSize;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000338 for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
339 XMMRegister reg = XMMRegister::from_code(i);
340 movdbl(Operand(ebp, offset - ((i + 1) * kDoubleSize)), reg);
341 }
342 } else {
343 sub(Operand(esp), Immediate(argc * kPointerSize));
344 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000345
346 // Get the required frame alignment for the OS.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000347 const int kFrameAlignment = OS::ActivationFrameAlignment();
ager@chromium.org236ad962008-09-25 09:45:57 +0000348 if (kFrameAlignment > 0) {
349 ASSERT(IsPowerOf2(kFrameAlignment));
350 and_(esp, -kFrameAlignment);
351 }
352
353 // Patch the saved entry sp.
354 mov(Operand(ebp, ExitFrameConstants::kSPOffset), esp);
355}
356
357
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000358void MacroAssembler::EnterExitFrame(bool save_doubles) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000359 EnterExitFramePrologue();
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000360
361 // Setup argc and argv in callee-saved registers.
362 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
363 mov(edi, Operand(eax));
364 lea(esi, Operand(ebp, eax, times_4, offset));
365
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000366 // Reserve space for argc, argv and isolate.
367 EnterExitFrameEpilogue(3, save_doubles);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000368}
369
370
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000371void MacroAssembler::EnterApiExitFrame(int argc) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000372 EnterExitFramePrologue();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000373 EnterExitFrameEpilogue(argc, false);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000374}
375
376
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000377void MacroAssembler::LeaveExitFrame(bool save_doubles) {
378 // Optionally restore all XMM registers.
379 if (save_doubles) {
380 CpuFeatures::Scope scope(SSE2);
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000381 const int offset = -2 * kPointerSize;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000382 for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
383 XMMRegister reg = XMMRegister::from_code(i);
384 movdbl(reg, Operand(ebp, offset - ((i + 1) * kDoubleSize)));
385 }
386 }
387
ager@chromium.org236ad962008-09-25 09:45:57 +0000388 // Get the return address from the stack and restore the frame pointer.
389 mov(ecx, Operand(ebp, 1 * kPointerSize));
390 mov(ebp, Operand(ebp, 0 * kPointerSize));
391
392 // Pop the arguments and the receiver from the caller stack.
393 lea(esp, Operand(esi, 1 * kPointerSize));
394
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000395 // Push the return address to get ready to return.
396 push(ecx);
397
398 LeaveExitFrameEpilogue();
399}
400
401void MacroAssembler::LeaveExitFrameEpilogue() {
ager@chromium.org236ad962008-09-25 09:45:57 +0000402 // Restore current context from top and clear it in debug mode.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000403 ExternalReference context_address(Isolate::k_context_address, isolate());
ager@chromium.org236ad962008-09-25 09:45:57 +0000404 mov(esi, Operand::StaticVariable(context_address));
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000405#ifdef DEBUG
406 mov(Operand::StaticVariable(context_address), Immediate(0));
407#endif
ager@chromium.org236ad962008-09-25 09:45:57 +0000408
ager@chromium.org236ad962008-09-25 09:45:57 +0000409 // Clear the top frame.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000410 ExternalReference c_entry_fp_address(Isolate::k_c_entry_fp_address,
411 isolate());
ager@chromium.org236ad962008-09-25 09:45:57 +0000412 mov(Operand::StaticVariable(c_entry_fp_address), Immediate(0));
413}
414
415
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000416void MacroAssembler::LeaveApiExitFrame() {
417 mov(esp, Operand(ebp));
418 pop(ebp);
419
420 LeaveExitFrameEpilogue();
421}
422
423
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000424void MacroAssembler::PushTryHandler(CodeLocation try_location,
425 HandlerType type) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000426 // Adjust this code if not the case.
427 ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000428 // The pc (return address) is already on TOS.
429 if (try_location == IN_JAVASCRIPT) {
430 if (type == TRY_CATCH_HANDLER) {
431 push(Immediate(StackHandler::TRY_CATCH));
432 } else {
433 push(Immediate(StackHandler::TRY_FINALLY));
434 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000435 push(ebp);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000436 } else {
437 ASSERT(try_location == IN_JS_ENTRY);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000438 // The frame pointer does not point to a JS frame so we save NULL
439 // for ebp. We expect the code throwing an exception to check ebp
440 // before dereferencing it to restore the context.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000441 push(Immediate(StackHandler::ENTRY));
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000442 push(Immediate(0)); // NULL frame pointer.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000443 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000444 // Save the current handler as the next handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000445 push(Operand::StaticVariable(ExternalReference(Isolate::k_handler_address,
446 isolate())));
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000447 // Link this handler as the new current one.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000448 mov(Operand::StaticVariable(ExternalReference(Isolate::k_handler_address,
449 isolate())),
450 esp);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000451}
452
453
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000454void MacroAssembler::PopTryHandler() {
455 ASSERT_EQ(0, StackHandlerConstants::kNextOffset);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000456 pop(Operand::StaticVariable(ExternalReference(Isolate::k_handler_address,
457 isolate())));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000458 add(Operand(esp), Immediate(StackHandlerConstants::kSize - kPointerSize));
459}
460
461
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000462void MacroAssembler::Throw(Register value) {
463 // Adjust this code if not the case.
464 STATIC_ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
465
466 // eax must hold the exception.
467 if (!value.is(eax)) {
468 mov(eax, value);
469 }
470
471 // Drop the sp to the top of the handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000472 ExternalReference handler_address(Isolate::k_handler_address,
473 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000474 mov(esp, Operand::StaticVariable(handler_address));
475
476 // Restore next handler and frame pointer, discard handler state.
477 STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
478 pop(Operand::StaticVariable(handler_address));
479 STATIC_ASSERT(StackHandlerConstants::kFPOffset == 1 * kPointerSize);
480 pop(ebp);
481 pop(edx); // Remove state.
482
483 // Before returning we restore the context from the frame pointer if
484 // not NULL. The frame pointer is NULL in the exception handler of
485 // a JS entry frame.
486 Set(esi, Immediate(0)); // Tentatively set context pointer to NULL.
487 NearLabel skip;
488 cmp(ebp, 0);
489 j(equal, &skip, not_taken);
490 mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
491 bind(&skip);
492
493 STATIC_ASSERT(StackHandlerConstants::kPCOffset == 3 * kPointerSize);
494 ret(0);
495}
496
497
498void MacroAssembler::ThrowUncatchable(UncatchableExceptionType type,
499 Register value) {
500 // Adjust this code if not the case.
501 STATIC_ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
502
503 // eax must hold the exception.
504 if (!value.is(eax)) {
505 mov(eax, value);
506 }
507
508 // Drop sp to the top stack handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000509 ExternalReference handler_address(Isolate::k_handler_address,
510 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000511 mov(esp, Operand::StaticVariable(handler_address));
512
513 // Unwind the handlers until the ENTRY handler is found.
514 NearLabel loop, done;
515 bind(&loop);
516 // Load the type of the current stack handler.
517 const int kStateOffset = StackHandlerConstants::kStateOffset;
518 cmp(Operand(esp, kStateOffset), Immediate(StackHandler::ENTRY));
519 j(equal, &done);
520 // Fetch the next handler in the list.
521 const int kNextOffset = StackHandlerConstants::kNextOffset;
522 mov(esp, Operand(esp, kNextOffset));
523 jmp(&loop);
524 bind(&done);
525
526 // Set the top handler address to next handler past the current ENTRY handler.
527 STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
528 pop(Operand::StaticVariable(handler_address));
529
530 if (type == OUT_OF_MEMORY) {
531 // Set external caught exception to false.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000532 ExternalReference external_caught(
533 Isolate::k_external_caught_exception_address,
534 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000535 mov(eax, false);
536 mov(Operand::StaticVariable(external_caught), eax);
537
538 // Set pending exception and eax to out of memory exception.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000539 ExternalReference pending_exception(Isolate::k_pending_exception_address,
540 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000541 mov(eax, reinterpret_cast<int32_t>(Failure::OutOfMemoryException()));
542 mov(Operand::StaticVariable(pending_exception), eax);
543 }
544
545 // Clear the context pointer.
546 Set(esi, Immediate(0));
547
548 // Restore fp from handler and discard handler state.
549 STATIC_ASSERT(StackHandlerConstants::kFPOffset == 1 * kPointerSize);
550 pop(ebp);
551 pop(edx); // State.
552
553 STATIC_ASSERT(StackHandlerConstants::kPCOffset == 3 * kPointerSize);
554 ret(0);
555}
556
557
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000558void MacroAssembler::CheckAccessGlobalProxy(Register holder_reg,
ager@chromium.orge2902be2009-06-08 12:21:35 +0000559 Register scratch,
560 Label* miss) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000561 Label same_contexts;
562
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000563 ASSERT(!holder_reg.is(scratch));
564
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000565 // Load current lexical context from the stack frame.
566 mov(scratch, Operand(ebp, StandardFrameConstants::kContextOffset));
567
568 // When generating debug code, make sure the lexical context is set.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000569 if (emit_debug_code()) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000570 cmp(Operand(scratch), Immediate(0));
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000571 Check(not_equal, "we should not have an empty lexical context");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000572 }
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000573 // Load the global context of the current context.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000574 int offset = Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
575 mov(scratch, FieldOperand(scratch, offset));
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000576 mov(scratch, FieldOperand(scratch, GlobalObject::kGlobalContextOffset));
577
578 // Check the context is a global context.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000579 if (emit_debug_code()) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000580 push(scratch);
581 // Read the first word and compare to global_context_map.
582 mov(scratch, FieldOperand(scratch, HeapObject::kMapOffset));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000583 cmp(scratch, isolate()->factory()->global_context_map());
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000584 Check(equal, "JSGlobalObject::global_context should be a global context.");
585 pop(scratch);
586 }
587
588 // Check if both contexts are the same.
589 cmp(scratch, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
590 j(equal, &same_contexts, taken);
591
592 // Compare security tokens, save holder_reg on the stack so we can use it
593 // as a temporary register.
594 //
595 // TODO(119): avoid push(holder_reg)/pop(holder_reg)
596 push(holder_reg);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000597 // Check that the security token in the calling global object is
598 // compatible with the security token in the receiving global
599 // object.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000600 mov(holder_reg, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
601
602 // Check the context is a global context.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000603 if (emit_debug_code()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000604 cmp(holder_reg, isolate()->factory()->null_value());
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000605 Check(not_equal, "JSGlobalProxy::context() should not be null.");
606
607 push(holder_reg);
608 // Read the first word and compare to global_context_map(),
609 mov(holder_reg, FieldOperand(holder_reg, HeapObject::kMapOffset));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000610 cmp(holder_reg, isolate()->factory()->global_context_map());
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000611 Check(equal, "JSGlobalObject::global_context should be a global context.");
612 pop(holder_reg);
613 }
614
615 int token_offset = Context::kHeaderSize +
616 Context::SECURITY_TOKEN_INDEX * kPointerSize;
617 mov(scratch, FieldOperand(scratch, token_offset));
618 cmp(scratch, FieldOperand(holder_reg, token_offset));
619 pop(holder_reg);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000620 j(not_equal, miss, not_taken);
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000621
622 bind(&same_contexts);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000623}
624
625
ager@chromium.orga1645e22009-09-09 19:27:10 +0000626void MacroAssembler::LoadAllocationTopHelper(Register result,
ager@chromium.orga1645e22009-09-09 19:27:10 +0000627 Register scratch,
628 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000629 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000630 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000631
632 // Just return if allocation top is already known.
ager@chromium.orga1645e22009-09-09 19:27:10 +0000633 if ((flags & RESULT_CONTAINS_TOP) != 0) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000634 // No use of scratch if allocation top is provided.
635 ASSERT(scratch.is(no_reg));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000636#ifdef DEBUG
637 // Assert that result actually contains top on entry.
638 cmp(result, Operand::StaticVariable(new_space_allocation_top));
639 Check(equal, "Unexpected allocation top");
640#endif
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000641 return;
642 }
643
644 // Move address of new object to result. Use scratch register if available.
645 if (scratch.is(no_reg)) {
646 mov(result, Operand::StaticVariable(new_space_allocation_top));
647 } else {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000648 mov(Operand(scratch), Immediate(new_space_allocation_top));
649 mov(result, Operand(scratch, 0));
650 }
651}
652
653
654void MacroAssembler::UpdateAllocationTopHelper(Register result_end,
655 Register scratch) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000656 if (emit_debug_code()) {
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000657 test(result_end, Immediate(kObjectAlignmentMask));
658 Check(zero, "Unaligned allocation in new space");
659 }
660
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000661 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000662 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000663
664 // Update new top. Use scratch if available.
665 if (scratch.is(no_reg)) {
666 mov(Operand::StaticVariable(new_space_allocation_top), result_end);
667 } else {
668 mov(Operand(scratch, 0), result_end);
669 }
670}
671
ager@chromium.orga1645e22009-09-09 19:27:10 +0000672
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000673void MacroAssembler::AllocateInNewSpace(int object_size,
674 Register result,
675 Register result_end,
676 Register scratch,
677 Label* gc_required,
678 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000679 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000680 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000681 // Trash the registers to simulate an allocation failure.
682 mov(result, Immediate(0x7091));
683 if (result_end.is_valid()) {
684 mov(result_end, Immediate(0x7191));
685 }
686 if (scratch.is_valid()) {
687 mov(scratch, Immediate(0x7291));
688 }
689 }
690 jmp(gc_required);
691 return;
692 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000693 ASSERT(!result.is(result_end));
694
695 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +0000696 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000697
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000698 Register top_reg = result_end.is_valid() ? result_end : result;
699
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000700 // Calculate new top and bail out if new space is exhausted.
701 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000702 ExternalReference::new_space_allocation_limit_address(isolate());
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000703
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000704 if (!top_reg.is(result)) {
705 mov(top_reg, result);
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000706 }
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000707 add(Operand(top_reg), Immediate(object_size));
708 j(carry, gc_required, not_taken);
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000709 cmp(top_reg, Operand::StaticVariable(new_space_allocation_limit));
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000710 j(above, gc_required, not_taken);
711
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000712 // Update allocation top.
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000713 UpdateAllocationTopHelper(top_reg, scratch);
714
715 // Tag result if requested.
716 if (top_reg.is(result)) {
717 if ((flags & TAG_OBJECT) != 0) {
718 sub(Operand(result), Immediate(object_size - kHeapObjectTag));
719 } else {
720 sub(Operand(result), Immediate(object_size));
721 }
722 } else if ((flags & TAG_OBJECT) != 0) {
723 add(Operand(result), Immediate(kHeapObjectTag));
724 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000725}
726
727
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000728void MacroAssembler::AllocateInNewSpace(int header_size,
729 ScaleFactor element_size,
730 Register element_count,
731 Register result,
732 Register result_end,
733 Register scratch,
734 Label* gc_required,
735 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000736 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000737 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000738 // Trash the registers to simulate an allocation failure.
739 mov(result, Immediate(0x7091));
740 mov(result_end, Immediate(0x7191));
741 if (scratch.is_valid()) {
742 mov(scratch, Immediate(0x7291));
743 }
744 // Register element_count is not modified by the function.
745 }
746 jmp(gc_required);
747 return;
748 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000749 ASSERT(!result.is(result_end));
750
751 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +0000752 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000753
754 // Calculate new top and bail out if new space is exhausted.
755 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000756 ExternalReference::new_space_allocation_limit_address(isolate());
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000757
758 // We assume that element_count*element_size + header_size does not
759 // overflow.
760 lea(result_end, Operand(element_count, element_size, header_size));
761 add(result_end, Operand(result));
762 j(carry, gc_required);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000763 cmp(result_end, Operand::StaticVariable(new_space_allocation_limit));
764 j(above, gc_required);
765
ager@chromium.orga1645e22009-09-09 19:27:10 +0000766 // Tag result if requested.
767 if ((flags & TAG_OBJECT) != 0) {
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000768 lea(result, Operand(result, kHeapObjectTag));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000769 }
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000770
771 // Update allocation top.
772 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000773}
774
775
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000776void MacroAssembler::AllocateInNewSpace(Register object_size,
777 Register result,
778 Register result_end,
779 Register scratch,
780 Label* gc_required,
781 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000782 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000783 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000784 // Trash the registers to simulate an allocation failure.
785 mov(result, Immediate(0x7091));
786 mov(result_end, Immediate(0x7191));
787 if (scratch.is_valid()) {
788 mov(scratch, Immediate(0x7291));
789 }
790 // object_size is left unchanged by this function.
791 }
792 jmp(gc_required);
793 return;
794 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000795 ASSERT(!result.is(result_end));
796
797 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +0000798 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000799
800 // Calculate new top and bail out if new space is exhausted.
801 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000802 ExternalReference::new_space_allocation_limit_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000803 if (!object_size.is(result_end)) {
804 mov(result_end, object_size);
805 }
806 add(result_end, Operand(result));
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000807 j(carry, gc_required, not_taken);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000808 cmp(result_end, Operand::StaticVariable(new_space_allocation_limit));
809 j(above, gc_required, not_taken);
810
ager@chromium.orga1645e22009-09-09 19:27:10 +0000811 // Tag result if requested.
812 if ((flags & TAG_OBJECT) != 0) {
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000813 lea(result, Operand(result, kHeapObjectTag));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000814 }
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000815
816 // Update allocation top.
817 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000818}
819
820
821void MacroAssembler::UndoAllocationInNewSpace(Register object) {
822 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000823 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000824
825 // Make sure the object has no tag before resetting top.
826 and_(Operand(object), Immediate(~kHeapObjectTagMask));
827#ifdef DEBUG
828 cmp(object, Operand::StaticVariable(new_space_allocation_top));
829 Check(below, "Undo allocation of non allocated memory");
830#endif
831 mov(Operand::StaticVariable(new_space_allocation_top), object);
832}
833
834
ager@chromium.org3811b432009-10-28 14:53:37 +0000835void MacroAssembler::AllocateHeapNumber(Register result,
836 Register scratch1,
837 Register scratch2,
838 Label* gc_required) {
839 // Allocate heap number in new space.
840 AllocateInNewSpace(HeapNumber::kSize,
841 result,
842 scratch1,
843 scratch2,
844 gc_required,
845 TAG_OBJECT);
846
847 // Set the map.
848 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000849 Immediate(isolate()->factory()->heap_number_map()));
ager@chromium.org3811b432009-10-28 14:53:37 +0000850}
851
852
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000853void MacroAssembler::AllocateTwoByteString(Register result,
854 Register length,
855 Register scratch1,
856 Register scratch2,
857 Register scratch3,
858 Label* gc_required) {
859 // Calculate the number of bytes needed for the characters in the string while
860 // observing object alignment.
861 ASSERT((SeqTwoByteString::kHeaderSize & kObjectAlignmentMask) == 0);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000862 ASSERT(kShortSize == 2);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000863 // scratch1 = length * 2 + kObjectAlignmentMask.
864 lea(scratch1, Operand(length, length, times_1, kObjectAlignmentMask));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000865 and_(Operand(scratch1), Immediate(~kObjectAlignmentMask));
866
867 // Allocate two byte string in new space.
868 AllocateInNewSpace(SeqTwoByteString::kHeaderSize,
869 times_1,
870 scratch1,
871 result,
872 scratch2,
873 scratch3,
874 gc_required,
875 TAG_OBJECT);
876
877 // Set the map, length and hash field.
878 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000879 Immediate(isolate()->factory()->string_map()));
ager@chromium.orgac091b72010-05-05 07:34:42 +0000880 mov(scratch1, length);
881 SmiTag(scratch1);
882 mov(FieldOperand(result, String::kLengthOffset), scratch1);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000883 mov(FieldOperand(result, String::kHashFieldOffset),
884 Immediate(String::kEmptyHashField));
885}
886
887
888void MacroAssembler::AllocateAsciiString(Register result,
889 Register length,
890 Register scratch1,
891 Register scratch2,
892 Register scratch3,
893 Label* gc_required) {
894 // Calculate the number of bytes needed for the characters in the string while
895 // observing object alignment.
896 ASSERT((SeqAsciiString::kHeaderSize & kObjectAlignmentMask) == 0);
897 mov(scratch1, length);
898 ASSERT(kCharSize == 1);
899 add(Operand(scratch1), Immediate(kObjectAlignmentMask));
900 and_(Operand(scratch1), Immediate(~kObjectAlignmentMask));
901
902 // Allocate ascii string in new space.
903 AllocateInNewSpace(SeqAsciiString::kHeaderSize,
904 times_1,
905 scratch1,
906 result,
907 scratch2,
908 scratch3,
909 gc_required,
910 TAG_OBJECT);
911
912 // Set the map, length and hash field.
913 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000914 Immediate(isolate()->factory()->ascii_string_map()));
ager@chromium.orgac091b72010-05-05 07:34:42 +0000915 mov(scratch1, length);
916 SmiTag(scratch1);
917 mov(FieldOperand(result, String::kLengthOffset), scratch1);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000918 mov(FieldOperand(result, String::kHashFieldOffset),
919 Immediate(String::kEmptyHashField));
920}
921
922
kmillikin@chromium.org3cdd9e12010-09-06 11:39:48 +0000923void MacroAssembler::AllocateAsciiString(Register result,
924 int length,
925 Register scratch1,
926 Register scratch2,
927 Label* gc_required) {
928 ASSERT(length > 0);
929
930 // Allocate ascii string in new space.
931 AllocateInNewSpace(SeqAsciiString::SizeFor(length),
932 result,
933 scratch1,
934 scratch2,
935 gc_required,
936 TAG_OBJECT);
937
938 // Set the map, length and hash field.
939 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000940 Immediate(isolate()->factory()->ascii_string_map()));
kmillikin@chromium.org3cdd9e12010-09-06 11:39:48 +0000941 mov(FieldOperand(result, String::kLengthOffset),
942 Immediate(Smi::FromInt(length)));
943 mov(FieldOperand(result, String::kHashFieldOffset),
944 Immediate(String::kEmptyHashField));
945}
946
947
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000948void MacroAssembler::AllocateConsString(Register result,
949 Register scratch1,
950 Register scratch2,
951 Label* gc_required) {
952 // Allocate heap number in new space.
953 AllocateInNewSpace(ConsString::kSize,
954 result,
955 scratch1,
956 scratch2,
957 gc_required,
958 TAG_OBJECT);
959
960 // Set the map. The other fields are left uninitialized.
961 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000962 Immediate(isolate()->factory()->cons_string_map()));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000963}
964
965
966void MacroAssembler::AllocateAsciiConsString(Register result,
967 Register scratch1,
968 Register scratch2,
969 Label* gc_required) {
970 // Allocate heap number in new space.
971 AllocateInNewSpace(ConsString::kSize,
972 result,
973 scratch1,
974 scratch2,
975 gc_required,
976 TAG_OBJECT);
977
978 // Set the map. The other fields are left uninitialized.
979 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000980 Immediate(isolate()->factory()->cons_ascii_string_map()));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000981}
982
vegorov@chromium.org21b5e952010-11-23 10:24:40 +0000983
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000984// Copy memory, byte-by-byte, from source to destination. Not optimized for
985// long or aligned copies. The contents of scratch and length are destroyed.
986// Source and destination are incremented by length.
987// Many variants of movsb, loop unrolling, word moves, and indexed operands
988// have been tried here already, and this is fastest.
989// A simpler loop is faster on small copies, but 30% slower on large ones.
990// The cld() instruction must have been emitted, to set the direction flag(),
991// before calling this function.
992void MacroAssembler::CopyBytes(Register source,
993 Register destination,
994 Register length,
995 Register scratch) {
996 Label loop, done, short_string, short_loop;
997 // Experimentation shows that the short string loop is faster if length < 10.
998 cmp(Operand(length), Immediate(10));
999 j(less_equal, &short_string);
1000
1001 ASSERT(source.is(esi));
1002 ASSERT(destination.is(edi));
1003 ASSERT(length.is(ecx));
1004
1005 // Because source is 4-byte aligned in our uses of this function,
1006 // we keep source aligned for the rep_movs call by copying the odd bytes
1007 // at the end of the ranges.
1008 mov(scratch, Operand(source, length, times_1, -4));
1009 mov(Operand(destination, length, times_1, -4), scratch);
1010 mov(scratch, ecx);
1011 shr(ecx, 2);
1012 rep_movs();
1013 and_(Operand(scratch), Immediate(0x3));
1014 add(destination, Operand(scratch));
1015 jmp(&done);
1016
1017 bind(&short_string);
1018 test(length, Operand(length));
1019 j(zero, &done);
1020
1021 bind(&short_loop);
1022 mov_b(scratch, Operand(source, 0));
1023 mov_b(Operand(destination, 0), scratch);
1024 inc(source);
1025 inc(destination);
1026 dec(length);
1027 j(not_zero, &short_loop);
1028
1029 bind(&done);
vegorov@chromium.org21b5e952010-11-23 10:24:40 +00001030}
1031
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001032
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001033void MacroAssembler::NegativeZeroTest(Register result,
1034 Register op,
1035 Label* then_label) {
1036 Label ok;
1037 test(result, Operand(result));
1038 j(not_zero, &ok, taken);
1039 test(op, Operand(op));
1040 j(sign, then_label, not_taken);
1041 bind(&ok);
1042}
1043
1044
1045void MacroAssembler::NegativeZeroTest(Register result,
1046 Register op1,
1047 Register op2,
1048 Register scratch,
1049 Label* then_label) {
1050 Label ok;
1051 test(result, Operand(result));
1052 j(not_zero, &ok, taken);
1053 mov(scratch, Operand(op1));
1054 or_(scratch, Operand(op2));
1055 j(sign, then_label, not_taken);
1056 bind(&ok);
1057}
1058
1059
ager@chromium.org7c537e22008-10-16 08:43:32 +00001060void MacroAssembler::TryGetFunctionPrototype(Register function,
1061 Register result,
1062 Register scratch,
1063 Label* miss) {
1064 // Check that the receiver isn't a smi.
1065 test(function, Immediate(kSmiTagMask));
1066 j(zero, miss, not_taken);
1067
1068 // Check that the function really is a function.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001069 CmpObjectType(function, JS_FUNCTION_TYPE, result);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001070 j(not_equal, miss, not_taken);
1071
1072 // Make sure that the function has an instance prototype.
1073 Label non_instance;
1074 movzx_b(scratch, FieldOperand(result, Map::kBitFieldOffset));
1075 test(scratch, Immediate(1 << Map::kHasNonInstancePrototype));
1076 j(not_zero, &non_instance, not_taken);
1077
1078 // Get the prototype or initial map from the function.
1079 mov(result,
1080 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
1081
1082 // If the prototype or initial map is the hole, don't return it and
1083 // simply miss the cache instead. This will allow us to allocate a
1084 // prototype object on-demand in the runtime system.
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001085 cmp(Operand(result), Immediate(isolate()->factory()->the_hole_value()));
ager@chromium.org7c537e22008-10-16 08:43:32 +00001086 j(equal, miss, not_taken);
1087
1088 // If the function does not have an initial map, we're done.
1089 Label done;
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001090 CmpObjectType(result, MAP_TYPE, scratch);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001091 j(not_equal, &done);
1092
1093 // Get the prototype from the initial map.
1094 mov(result, FieldOperand(result, Map::kPrototypeOffset));
1095 jmp(&done);
1096
1097 // Non-instance prototype: Fetch prototype from constructor field
1098 // in initial map.
1099 bind(&non_instance);
1100 mov(result, FieldOperand(result, Map::kConstructorOffset));
1101
1102 // All done.
1103 bind(&done);
1104}
1105
1106
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00001107void MacroAssembler::CallStub(CodeStub* stub, unsigned ast_id) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001108 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00001109 call(stub->GetCode(), RelocInfo::CODE_TARGET, ast_id);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001110}
1111
1112
lrn@chromium.org303ada72010-10-27 09:33:13 +00001113MaybeObject* MacroAssembler::TryCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001114 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
lrn@chromium.org303ada72010-10-27 09:33:13 +00001115 Object* result;
1116 { MaybeObject* maybe_result = stub->TryGetCode();
1117 if (!maybe_result->ToObject(&result)) return maybe_result;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001118 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001119 call(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001120 return result;
1121}
1122
1123
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001124void MacroAssembler::TailCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001125 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001126 jmp(stub->GetCode(), RelocInfo::CODE_TARGET);
1127}
1128
1129
lrn@chromium.org303ada72010-10-27 09:33:13 +00001130MaybeObject* MacroAssembler::TryTailCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001131 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
lrn@chromium.org303ada72010-10-27 09:33:13 +00001132 Object* result;
1133 { MaybeObject* maybe_result = stub->TryGetCode();
1134 if (!maybe_result->ToObject(&result)) return maybe_result;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001135 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001136 jmp(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001137 return result;
1138}
1139
1140
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001141void MacroAssembler::StubReturn(int argc) {
1142 ASSERT(argc >= 1 && generating_stub());
1143 ret((argc - 1) * kPointerSize);
1144}
1145
1146
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00001147void MacroAssembler::IllegalOperation(int num_arguments) {
1148 if (num_arguments > 0) {
1149 add(Operand(esp), Immediate(num_arguments * kPointerSize));
1150 }
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001151 mov(eax, Immediate(isolate()->factory()->undefined_value()));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001152}
1153
1154
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001155void MacroAssembler::IndexFromHash(Register hash, Register index) {
1156 // The assert checks that the constants for the maximum number of digits
1157 // for an array index cached in the hash field and the number of bits
1158 // reserved for it does not conflict.
1159 ASSERT(TenToThe(String::kMaxCachedArrayIndexLength) <
1160 (1 << String::kArrayIndexValueBits));
1161 // We want the smi-tagged index in key. kArrayIndexValueMask has zeros in
1162 // the low kHashShift bits.
1163 and_(hash, String::kArrayIndexValueMask);
1164 STATIC_ASSERT(String::kHashShift >= kSmiTagSize && kSmiTag == 0);
1165 if (String::kHashShift > kSmiTagSize) {
1166 shr(hash, String::kHashShift - kSmiTagSize);
1167 }
1168 if (!index.is(hash)) {
1169 mov(index, hash);
1170 }
1171}
1172
1173
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001174void MacroAssembler::CallRuntime(Runtime::FunctionId id, int num_arguments) {
1175 CallRuntime(Runtime::FunctionForId(id), num_arguments);
1176}
1177
1178
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001179void MacroAssembler::CallRuntimeSaveDoubles(Runtime::FunctionId id) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001180 const Runtime::Function* function = Runtime::FunctionForId(id);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001181 Set(eax, Immediate(function->nargs));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001182 mov(ebx, Immediate(ExternalReference(function, isolate())));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001183 CEntryStub ces(1);
1184 ces.SaveDoubles();
1185 CallStub(&ces);
1186}
1187
1188
lrn@chromium.org303ada72010-10-27 09:33:13 +00001189MaybeObject* MacroAssembler::TryCallRuntime(Runtime::FunctionId id,
1190 int num_arguments) {
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001191 return TryCallRuntime(Runtime::FunctionForId(id), num_arguments);
1192}
1193
1194
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001195void MacroAssembler::CallRuntime(const Runtime::Function* f,
1196 int num_arguments) {
mads.s.ager31e71382008-08-13 09:32:07 +00001197 // If the expected number of arguments of the runtime function is
1198 // constant, we check that the actual number of arguments match the
1199 // expectation.
1200 if (f->nargs >= 0 && f->nargs != num_arguments) {
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00001201 IllegalOperation(num_arguments);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001202 return;
1203 }
1204
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001205 // TODO(1236192): Most runtime routines don't need the number of
1206 // arguments passed in because it is constant. At some point we
1207 // should remove this need and make the runtime routine entry code
1208 // smarter.
1209 Set(eax, Immediate(num_arguments));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001210 mov(ebx, Immediate(ExternalReference(f, isolate())));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001211 CEntryStub ces(1);
1212 CallStub(&ces);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001213}
1214
1215
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001216MaybeObject* MacroAssembler::TryCallRuntime(const Runtime::Function* f,
lrn@chromium.org303ada72010-10-27 09:33:13 +00001217 int num_arguments) {
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001218 if (f->nargs >= 0 && f->nargs != num_arguments) {
1219 IllegalOperation(num_arguments);
1220 // Since we did not call the stub, there was no allocation failure.
1221 // Return some non-failure object.
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001222 return isolate()->heap()->undefined_value();
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001223 }
1224
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001225 // TODO(1236192): Most runtime routines don't need the number of
1226 // arguments passed in because it is constant. At some point we
1227 // should remove this need and make the runtime routine entry code
1228 // smarter.
1229 Set(eax, Immediate(num_arguments));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001230 mov(ebx, Immediate(ExternalReference(f, isolate())));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001231 CEntryStub ces(1);
1232 return TryCallStub(&ces);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001233}
1234
1235
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001236void MacroAssembler::CallExternalReference(ExternalReference ref,
1237 int num_arguments) {
1238 mov(eax, Immediate(num_arguments));
1239 mov(ebx, Immediate(ref));
1240
1241 CEntryStub stub(1);
1242 CallStub(&stub);
1243}
1244
1245
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001246void MacroAssembler::TailCallExternalReference(const ExternalReference& ext,
1247 int num_arguments,
1248 int result_size) {
mads.s.ager31e71382008-08-13 09:32:07 +00001249 // TODO(1236192): Most runtime routines don't need the number of
1250 // arguments passed in because it is constant. At some point we
1251 // should remove this need and make the runtime routine entry code
1252 // smarter.
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001253 Set(eax, Immediate(num_arguments));
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001254 JumpToExternalReference(ext);
1255}
1256
1257
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001258MaybeObject* MacroAssembler::TryTailCallExternalReference(
1259 const ExternalReference& ext, int num_arguments, int result_size) {
1260 // TODO(1236192): Most runtime routines don't need the number of
1261 // arguments passed in because it is constant. At some point we
1262 // should remove this need and make the runtime routine entry code
1263 // smarter.
1264 Set(eax, Immediate(num_arguments));
1265 return TryJumpToExternalReference(ext);
1266}
1267
1268
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001269void MacroAssembler::TailCallRuntime(Runtime::FunctionId fid,
1270 int num_arguments,
1271 int result_size) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001272 TailCallExternalReference(ExternalReference(fid, isolate()),
1273 num_arguments,
1274 result_size);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001275}
1276
1277
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001278MaybeObject* MacroAssembler::TryTailCallRuntime(Runtime::FunctionId fid,
1279 int num_arguments,
1280 int result_size) {
1281 return TryTailCallExternalReference(
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001282 ExternalReference(fid, isolate()), num_arguments, result_size);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001283}
1284
1285
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001286// If true, a Handle<T> returned by value from a function with cdecl calling
1287// convention will be returned directly as a value of location_ field in a
1288// register eax.
1289// If false, it is returned as a pointer to a preallocated by caller memory
1290// region. Pointer to this region should be passed to a function as an
1291// implicit first argument.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001292#if defined(USING_BSD_ABI) || defined(__MINGW32__) || defined(__CYGWIN__)
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001293static const bool kReturnHandlesDirectly = true;
lrn@chromium.org303ada72010-10-27 09:33:13 +00001294#else
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001295static const bool kReturnHandlesDirectly = false;
lrn@chromium.org303ada72010-10-27 09:33:13 +00001296#endif
1297
1298
1299Operand ApiParameterOperand(int index) {
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001300 return Operand(
1301 esp, (index + (kReturnHandlesDirectly ? 0 : 1)) * kPointerSize);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001302}
1303
1304
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001305void MacroAssembler::PrepareCallApiFunction(int argc, Register scratch) {
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001306 if (kReturnHandlesDirectly) {
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001307 EnterApiExitFrame(argc);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001308 // When handles are returned directly we don't have to allocate extra
lrn@chromium.org303ada72010-10-27 09:33:13 +00001309 // space for and pass an out parameter.
1310 } else {
1311 // We allocate two additional slots: return value and pointer to it.
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001312 EnterApiExitFrame(argc + 2);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001313
lrn@chromium.org303ada72010-10-27 09:33:13 +00001314 // The argument slots are filled as follows:
1315 //
1316 // n + 1: output cell
1317 // n: arg n
1318 // ...
1319 // 1: arg1
1320 // 0: pointer to the output cell
1321 //
1322 // Note that this is one more "argument" than the function expects
1323 // so the out cell will have to be popped explicitly after returning
1324 // from the function. The out cell contains Handle.
lrn@chromium.org303ada72010-10-27 09:33:13 +00001325
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001326 // pointer to out cell.
1327 lea(scratch, Operand(esp, (argc + 1) * kPointerSize));
1328 mov(Operand(esp, 0 * kPointerSize), scratch); // output.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001329 if (emit_debug_code()) {
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001330 mov(Operand(esp, (argc + 1) * kPointerSize), Immediate(0)); // out cell.
1331 }
1332 }
1333}
1334
1335
1336MaybeObject* MacroAssembler::TryCallApiFunctionAndReturn(ApiFunction* function,
1337 int stack_space) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001338 ExternalReference next_address =
1339 ExternalReference::handle_scope_next_address();
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001340 ExternalReference limit_address =
1341 ExternalReference::handle_scope_limit_address();
lrn@chromium.org303ada72010-10-27 09:33:13 +00001342 ExternalReference level_address =
1343 ExternalReference::handle_scope_level_address();
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001344
lrn@chromium.org303ada72010-10-27 09:33:13 +00001345 // Allocate HandleScope in callee-save registers.
1346 mov(ebx, Operand::StaticVariable(next_address));
1347 mov(edi, Operand::StaticVariable(limit_address));
1348 add(Operand::StaticVariable(level_address), Immediate(1));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001349
lrn@chromium.org303ada72010-10-27 09:33:13 +00001350 // Call the api function!
1351 call(function->address(), RelocInfo::RUNTIME_ENTRY);
1352
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001353 if (!kReturnHandlesDirectly) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00001354 // The returned value is a pointer to the handle holding the result.
1355 // Dereference this to get to the location.
1356 mov(eax, Operand(eax, 0));
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001357 }
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001358
lrn@chromium.org303ada72010-10-27 09:33:13 +00001359 Label empty_handle;
1360 Label prologue;
1361 Label promote_scheduled_exception;
1362 Label delete_allocated_handles;
1363 Label leave_exit_frame;
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001364
lrn@chromium.org303ada72010-10-27 09:33:13 +00001365 // Check if the result handle holds 0.
1366 test(eax, Operand(eax));
1367 j(zero, &empty_handle, not_taken);
1368 // It was non-zero. Dereference to get the result value.
1369 mov(eax, Operand(eax, 0));
1370 bind(&prologue);
1371 // No more valid handles (the result handle was the last one). Restore
1372 // previous handle scope.
1373 mov(Operand::StaticVariable(next_address), ebx);
1374 sub(Operand::StaticVariable(level_address), Immediate(1));
1375 Assert(above_equal, "Invalid HandleScope level");
1376 cmp(edi, Operand::StaticVariable(limit_address));
1377 j(not_equal, &delete_allocated_handles, not_taken);
1378 bind(&leave_exit_frame);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001379
lrn@chromium.org303ada72010-10-27 09:33:13 +00001380 // Check if the function scheduled an exception.
1381 ExternalReference scheduled_exception_address =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001382 ExternalReference::scheduled_exception_address(isolate());
lrn@chromium.org303ada72010-10-27 09:33:13 +00001383 cmp(Operand::StaticVariable(scheduled_exception_address),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001384 Immediate(isolate()->factory()->the_hole_value()));
lrn@chromium.org303ada72010-10-27 09:33:13 +00001385 j(not_equal, &promote_scheduled_exception, not_taken);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001386 LeaveApiExitFrame();
1387 ret(stack_space * kPointerSize);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001388 bind(&promote_scheduled_exception);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001389 MaybeObject* result =
1390 TryTailCallRuntime(Runtime::kPromoteScheduledException, 0, 1);
1391 if (result->IsFailure()) {
1392 return result;
1393 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001394 bind(&empty_handle);
1395 // It was zero; the result is undefined.
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001396 mov(eax, isolate()->factory()->undefined_value());
lrn@chromium.org303ada72010-10-27 09:33:13 +00001397 jmp(&prologue);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001398
lrn@chromium.org303ada72010-10-27 09:33:13 +00001399 // HandleScope limit has changed. Delete allocated extensions.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001400 ExternalReference delete_extensions =
1401 ExternalReference::delete_handle_scope_extensions(isolate());
lrn@chromium.org303ada72010-10-27 09:33:13 +00001402 bind(&delete_allocated_handles);
1403 mov(Operand::StaticVariable(limit_address), edi);
1404 mov(edi, eax);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001405 mov(Operand(esp, 0), Immediate(ExternalReference::isolate_address()));
1406 mov(eax, Immediate(delete_extensions));
lrn@chromium.org303ada72010-10-27 09:33:13 +00001407 call(Operand(eax));
1408 mov(eax, edi);
1409 jmp(&leave_exit_frame);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001410
1411 return result;
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001412}
1413
1414
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001415void MacroAssembler::JumpToExternalReference(const ExternalReference& ext) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001416 // Set the entry point and jump to the C entry runtime stub.
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001417 mov(ebx, Immediate(ext));
ager@chromium.orga1645e22009-09-09 19:27:10 +00001418 CEntryStub ces(1);
ager@chromium.org236ad962008-09-25 09:45:57 +00001419 jmp(ces.GetCode(), RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001420}
1421
1422
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001423MaybeObject* MacroAssembler::TryJumpToExternalReference(
1424 const ExternalReference& ext) {
1425 // Set the entry point and jump to the C entry runtime stub.
1426 mov(ebx, Immediate(ext));
1427 CEntryStub ces(1);
1428 return TryTailCallStub(&ces);
1429}
1430
1431
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001432void MacroAssembler::InvokePrologue(const ParameterCount& expected,
1433 const ParameterCount& actual,
1434 Handle<Code> code_constant,
1435 const Operand& code_operand,
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00001436 NearLabel* done,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001437 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001438 const CallWrapper& call_wrapper) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001439 bool definitely_matches = false;
1440 Label invoke;
1441 if (expected.is_immediate()) {
1442 ASSERT(actual.is_immediate());
1443 if (expected.immediate() == actual.immediate()) {
1444 definitely_matches = true;
1445 } else {
1446 mov(eax, actual.immediate());
kasperl@chromium.orgb9123622008-09-17 14:05:56 +00001447 const int sentinel = SharedFunctionInfo::kDontAdaptArgumentsSentinel;
1448 if (expected.immediate() == sentinel) {
1449 // Don't worry about adapting arguments for builtins that
1450 // don't want that done. Skip adaption code by making it look
1451 // like we have a match between expected and actual number of
1452 // arguments.
1453 definitely_matches = true;
1454 } else {
1455 mov(ebx, expected.immediate());
1456 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001457 }
1458 } else {
1459 if (actual.is_immediate()) {
1460 // Expected is in register, actual is immediate. This is the
1461 // case when we invoke function values without going through the
1462 // IC mechanism.
1463 cmp(expected.reg(), actual.immediate());
1464 j(equal, &invoke);
1465 ASSERT(expected.reg().is(ebx));
1466 mov(eax, actual.immediate());
1467 } else if (!expected.reg().is(actual.reg())) {
1468 // Both expected and actual are in (different) registers. This
1469 // is the case when we invoke functions using call and apply.
1470 cmp(expected.reg(), Operand(actual.reg()));
1471 j(equal, &invoke);
1472 ASSERT(actual.reg().is(eax));
1473 ASSERT(expected.reg().is(ebx));
1474 }
1475 }
1476
1477 if (!definitely_matches) {
1478 Handle<Code> adaptor =
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001479 isolate()->builtins()->ArgumentsAdaptorTrampoline();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001480 if (!code_constant.is_null()) {
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001481 mov(edx, Immediate(code_constant));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001482 add(Operand(edx), Immediate(Code::kHeaderSize - kHeapObjectTag));
1483 } else if (!code_operand.is_reg(edx)) {
1484 mov(edx, code_operand);
1485 }
1486
1487 if (flag == CALL_FUNCTION) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001488 call_wrapper.BeforeCall(CallSize(adaptor, RelocInfo::CODE_TARGET));
ager@chromium.org236ad962008-09-25 09:45:57 +00001489 call(adaptor, RelocInfo::CODE_TARGET);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001490 call_wrapper.AfterCall();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001491 jmp(done);
1492 } else {
ager@chromium.org236ad962008-09-25 09:45:57 +00001493 jmp(adaptor, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001494 }
1495 bind(&invoke);
1496 }
1497}
1498
1499
1500void MacroAssembler::InvokeCode(const Operand& code,
1501 const ParameterCount& expected,
1502 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001503 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001504 const CallWrapper& call_wrapper) {
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00001505 NearLabel done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001506 InvokePrologue(expected, actual, Handle<Code>::null(), code,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001507 &done, flag, call_wrapper);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001508 if (flag == CALL_FUNCTION) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001509 call_wrapper.BeforeCall(CallSize(code));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001510 call(code);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001511 call_wrapper.AfterCall();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001512 } else {
1513 ASSERT(flag == JUMP_FUNCTION);
1514 jmp(code);
1515 }
1516 bind(&done);
1517}
1518
1519
1520void MacroAssembler::InvokeCode(Handle<Code> code,
1521 const ParameterCount& expected,
1522 const ParameterCount& actual,
ager@chromium.org236ad962008-09-25 09:45:57 +00001523 RelocInfo::Mode rmode,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001524 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001525 const CallWrapper& call_wrapper) {
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00001526 NearLabel done;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001527 Operand dummy(eax);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001528 InvokePrologue(expected, actual, code, dummy, &done, flag, call_wrapper);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001529 if (flag == CALL_FUNCTION) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001530 call_wrapper.BeforeCall(CallSize(code, rmode));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001531 call(code, rmode);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001532 call_wrapper.AfterCall();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001533 } else {
1534 ASSERT(flag == JUMP_FUNCTION);
1535 jmp(code, rmode);
1536 }
1537 bind(&done);
1538}
1539
1540
1541void MacroAssembler::InvokeFunction(Register fun,
1542 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001543 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001544 const CallWrapper& call_wrapper) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001545 ASSERT(fun.is(edi));
1546 mov(edx, FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset));
1547 mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
1548 mov(ebx, FieldOperand(edx, SharedFunctionInfo::kFormalParameterCountOffset));
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001549 SmiUntag(ebx);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001550
1551 ParameterCount expected(ebx);
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001552 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001553 expected, actual, flag, call_wrapper);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001554}
1555
1556
ager@chromium.org5c838252010-02-19 08:53:10 +00001557void MacroAssembler::InvokeFunction(JSFunction* function,
1558 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001559 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001560 const CallWrapper& call_wrapper) {
ager@chromium.org5c838252010-02-19 08:53:10 +00001561 ASSERT(function->is_compiled());
1562 // Get the function and setup the context.
1563 mov(edi, Immediate(Handle<JSFunction>(function)));
1564 mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001565
ager@chromium.org5c838252010-02-19 08:53:10 +00001566 ParameterCount expected(function->shared()->formal_parameter_count());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001567 if (V8::UseCrankshaft()) {
1568 // TODO(kasperl): For now, we always call indirectly through the
1569 // code field in the function to allow recompilation to take effect
1570 // without changing any of the call sites.
1571 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001572 expected, actual, flag, call_wrapper);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001573 } else {
1574 Handle<Code> code(function->code());
1575 InvokeCode(code, expected, actual, RelocInfo::CODE_TARGET,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001576 flag, call_wrapper);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001577 }
ager@chromium.org5c838252010-02-19 08:53:10 +00001578}
1579
1580
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001581void MacroAssembler::InvokeBuiltin(Builtins::JavaScript id,
1582 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001583 const CallWrapper& call_wrapper) {
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001584 // Calls are not allowed in some stubs.
kasper.lund7276f142008-07-30 08:49:36 +00001585 ASSERT(flag == JUMP_FUNCTION || allow_stub_calls());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001586
1587 // Rely on the assertion to check that the number of provided
1588 // arguments match the expected number of arguments. Fake a
1589 // parameter count to avoid emitting code to do the check.
1590 ParameterCount expected(0);
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001591 GetBuiltinFunction(edi, id);
1592 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001593 expected, expected, flag, call_wrapper);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001594}
1595
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001596void MacroAssembler::GetBuiltinFunction(Register target,
1597 Builtins::JavaScript id) {
1598 // Load the JavaScript builtin function from the builtins object.
1599 mov(target, Operand(esi, Context::SlotOffset(Context::GLOBAL_INDEX)));
1600 mov(target, FieldOperand(target, GlobalObject::kBuiltinsOffset));
1601 mov(target, FieldOperand(target,
1602 JSBuiltinsObject::OffsetOfFunctionWithId(id)));
1603}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001604
1605void MacroAssembler::GetBuiltinEntry(Register target, Builtins::JavaScript id) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00001606 ASSERT(!target.is(edi));
ager@chromium.org5c838252010-02-19 08:53:10 +00001607 // Load the JavaScript builtin function from the builtins object.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001608 GetBuiltinFunction(edi, id);
1609 // Load the code entry point from the function into the target register.
1610 mov(target, FieldOperand(edi, JSFunction::kCodeEntryOffset));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001611}
1612
1613
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001614void MacroAssembler::LoadContext(Register dst, int context_chain_length) {
1615 if (context_chain_length > 0) {
1616 // Move up the chain of contexts to the context containing the slot.
1617 mov(dst, Operand(esi, Context::SlotOffset(Context::CLOSURE_INDEX)));
1618 // Load the function context (which is the incoming, outer context).
1619 mov(dst, FieldOperand(dst, JSFunction::kContextOffset));
1620 for (int i = 1; i < context_chain_length; i++) {
1621 mov(dst, Operand(dst, Context::SlotOffset(Context::CLOSURE_INDEX)));
1622 mov(dst, FieldOperand(dst, JSFunction::kContextOffset));
1623 }
ricow@chromium.org83aa5492011-02-07 12:42:56 +00001624 } else {
1625 // Slot is in the current function context. Move it into the
1626 // destination register in case we store into it (the write barrier
1627 // cannot be allowed to destroy the context in esi).
1628 mov(dst, esi);
1629 }
1630
1631 // We should not have found a 'with' context by walking the context chain
1632 // (i.e., the static scope chain and runtime context chain do not agree).
1633 // A variable occurring in such a scope should have slot type LOOKUP and
1634 // not CONTEXT.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001635 if (emit_debug_code()) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00001636 cmp(dst, Operand(dst, Context::SlotOffset(Context::FCONTEXT_INDEX)));
1637 Check(equal, "Yo dawg, I heard you liked function contexts "
1638 "so I put function contexts in all your contexts");
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001639 }
1640}
1641
1642
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001643void MacroAssembler::LoadGlobalFunction(int index, Register function) {
1644 // Load the global or builtins object from the current context.
1645 mov(function, Operand(esi, Context::SlotOffset(Context::GLOBAL_INDEX)));
1646 // Load the global context from the global or builtins object.
1647 mov(function, FieldOperand(function, GlobalObject::kGlobalContextOffset));
1648 // Load the function from the global context.
1649 mov(function, Operand(function, Context::SlotOffset(index)));
1650}
1651
1652
1653void MacroAssembler::LoadGlobalFunctionInitialMap(Register function,
1654 Register map) {
1655 // Load the initial map. The global functions all have initial maps.
1656 mov(map, FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001657 if (emit_debug_code()) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001658 Label ok, fail;
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001659 CheckMap(map, isolate()->factory()->meta_map(), &fail, false);
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001660 jmp(&ok);
1661 bind(&fail);
1662 Abort("Global functions must have initial map");
1663 bind(&ok);
1664 }
1665}
1666
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001667
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001668// Store the value in register src in the safepoint register stack
1669// slot for register dst.
1670void MacroAssembler::StoreToSafepointRegisterSlot(Register dst, Register src) {
1671 mov(SafepointRegisterSlot(dst), src);
1672}
1673
1674
1675void MacroAssembler::StoreToSafepointRegisterSlot(Register dst, Immediate src) {
1676 mov(SafepointRegisterSlot(dst), src);
1677}
1678
1679
1680void MacroAssembler::LoadFromSafepointRegisterSlot(Register dst, Register src) {
1681 mov(dst, SafepointRegisterSlot(src));
1682}
1683
1684
1685Operand MacroAssembler::SafepointRegisterSlot(Register reg) {
1686 return Operand(esp, SafepointRegisterStackIndex(reg.code()) * kPointerSize);
1687}
1688
1689
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001690int MacroAssembler::SafepointRegisterStackIndex(int reg_code) {
1691 // The registers are pushed starting with the lowest encoding,
1692 // which means that lowest encodings are furthest away from
1693 // the stack pointer.
1694 ASSERT(reg_code >= 0 && reg_code < kNumSafepointRegisters);
1695 return kNumSafepointRegisters - reg_code - 1;
1696}
1697
1698
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001699void MacroAssembler::Ret() {
1700 ret(0);
1701}
1702
1703
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001704void MacroAssembler::Ret(int bytes_dropped, Register scratch) {
1705 if (is_uint16(bytes_dropped)) {
1706 ret(bytes_dropped);
1707 } else {
1708 pop(scratch);
1709 add(Operand(esp), Immediate(bytes_dropped));
1710 push(scratch);
1711 ret(0);
1712 }
1713}
1714
1715
1716
1717
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001718void MacroAssembler::Drop(int stack_elements) {
1719 if (stack_elements > 0) {
1720 add(Operand(esp), Immediate(stack_elements * kPointerSize));
1721 }
1722}
1723
1724
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +00001725void MacroAssembler::Move(Register dst, Register src) {
1726 if (!dst.is(src)) {
1727 mov(dst, src);
1728 }
1729}
1730
1731
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001732void MacroAssembler::Move(Register dst, Handle<Object> value) {
1733 mov(dst, value);
1734}
1735
1736
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001737void MacroAssembler::SetCounter(StatsCounter* counter, int value) {
1738 if (FLAG_native_code_counters && counter->Enabled()) {
1739 mov(Operand::StaticVariable(ExternalReference(counter)), Immediate(value));
1740 }
1741}
1742
1743
1744void MacroAssembler::IncrementCounter(StatsCounter* counter, int value) {
1745 ASSERT(value > 0);
1746 if (FLAG_native_code_counters && counter->Enabled()) {
1747 Operand operand = Operand::StaticVariable(ExternalReference(counter));
1748 if (value == 1) {
1749 inc(operand);
1750 } else {
1751 add(operand, Immediate(value));
1752 }
1753 }
1754}
1755
1756
1757void MacroAssembler::DecrementCounter(StatsCounter* counter, int value) {
1758 ASSERT(value > 0);
1759 if (FLAG_native_code_counters && counter->Enabled()) {
1760 Operand operand = Operand::StaticVariable(ExternalReference(counter));
1761 if (value == 1) {
1762 dec(operand);
1763 } else {
1764 sub(operand, Immediate(value));
1765 }
1766 }
1767}
1768
1769
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001770void MacroAssembler::IncrementCounter(Condition cc,
1771 StatsCounter* counter,
1772 int value) {
1773 ASSERT(value > 0);
1774 if (FLAG_native_code_counters && counter->Enabled()) {
1775 Label skip;
1776 j(NegateCondition(cc), &skip);
1777 pushfd();
1778 IncrementCounter(counter, value);
1779 popfd();
1780 bind(&skip);
1781 }
1782}
1783
1784
1785void MacroAssembler::DecrementCounter(Condition cc,
1786 StatsCounter* counter,
1787 int value) {
1788 ASSERT(value > 0);
1789 if (FLAG_native_code_counters && counter->Enabled()) {
1790 Label skip;
1791 j(NegateCondition(cc), &skip);
1792 pushfd();
1793 DecrementCounter(counter, value);
1794 popfd();
1795 bind(&skip);
1796 }
1797}
1798
1799
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001800void MacroAssembler::Assert(Condition cc, const char* msg) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001801 if (emit_debug_code()) Check(cc, msg);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001802}
1803
1804
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00001805void MacroAssembler::AssertFastElements(Register elements) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001806 if (emit_debug_code()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001807 Factory* factory = isolate()->factory();
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00001808 Label ok;
1809 cmp(FieldOperand(elements, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001810 Immediate(factory->fixed_array_map()));
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00001811 j(equal, &ok);
1812 cmp(FieldOperand(elements, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001813 Immediate(factory->fixed_cow_array_map()));
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00001814 j(equal, &ok);
1815 Abort("JSObject with fast elements map has slow elements");
1816 bind(&ok);
1817 }
1818}
1819
1820
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001821void MacroAssembler::Check(Condition cc, const char* msg) {
1822 Label L;
1823 j(cc, &L, taken);
1824 Abort(msg);
1825 // will not return here
1826 bind(&L);
1827}
1828
1829
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00001830void MacroAssembler::CheckStackAlignment() {
1831 int frame_alignment = OS::ActivationFrameAlignment();
1832 int frame_alignment_mask = frame_alignment - 1;
1833 if (frame_alignment > kPointerSize) {
1834 ASSERT(IsPowerOf2(frame_alignment));
1835 Label alignment_as_expected;
1836 test(esp, Immediate(frame_alignment_mask));
1837 j(zero, &alignment_as_expected);
1838 // Abort if stack is not aligned.
1839 int3();
1840 bind(&alignment_as_expected);
1841 }
1842}
1843
1844
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001845void MacroAssembler::Abort(const char* msg) {
1846 // We want to pass the msg string like a smi to avoid GC
1847 // problems, however msg is not guaranteed to be aligned
1848 // properly. Instead, we pass an aligned pointer that is
ager@chromium.org32912102009-01-16 10:38:43 +00001849 // a proper v8 smi, but also pass the alignment difference
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001850 // from the real pointer as a smi.
1851 intptr_t p1 = reinterpret_cast<intptr_t>(msg);
1852 intptr_t p0 = (p1 & ~kSmiTagMask) + kSmiTag;
1853 ASSERT(reinterpret_cast<Object*>(p0)->IsSmi());
1854#ifdef DEBUG
1855 if (msg != NULL) {
1856 RecordComment("Abort message: ");
1857 RecordComment(msg);
1858 }
1859#endif
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001860 // Disable stub call restrictions to always allow calls to abort.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001861 AllowStubCallsScope allow_scope(this, true);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001862
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001863 push(eax);
1864 push(Immediate(p0));
1865 push(Immediate(reinterpret_cast<intptr_t>(Smi::FromInt(p1 - p0))));
1866 CallRuntime(Runtime::kAbort, 2);
1867 // will not return here
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001868 int3();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001869}
1870
1871
vegorov@chromium.org26c16f82010-08-11 13:41:03 +00001872void MacroAssembler::JumpIfNotNumber(Register reg,
1873 TypeInfo info,
1874 Label* on_not_number) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001875 if (emit_debug_code()) AbortIfSmi(reg);
vegorov@chromium.org26c16f82010-08-11 13:41:03 +00001876 if (!info.IsNumber()) {
1877 cmp(FieldOperand(reg, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001878 isolate()->factory()->heap_number_map());
vegorov@chromium.org26c16f82010-08-11 13:41:03 +00001879 j(not_equal, on_not_number);
1880 }
1881}
1882
1883
1884void MacroAssembler::ConvertToInt32(Register dst,
1885 Register source,
1886 Register scratch,
1887 TypeInfo info,
1888 Label* on_not_int32) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001889 if (emit_debug_code()) {
vegorov@chromium.org26c16f82010-08-11 13:41:03 +00001890 AbortIfSmi(source);
1891 AbortIfNotNumber(source);
1892 }
1893 if (info.IsInteger32()) {
1894 cvttsd2si(dst, FieldOperand(source, HeapNumber::kValueOffset));
1895 } else {
1896 Label done;
1897 bool push_pop = (scratch.is(no_reg) && dst.is(source));
1898 ASSERT(!scratch.is(source));
1899 if (push_pop) {
1900 push(dst);
1901 scratch = dst;
1902 }
1903 if (scratch.is(no_reg)) scratch = dst;
1904 cvttsd2si(scratch, FieldOperand(source, HeapNumber::kValueOffset));
1905 cmp(scratch, 0x80000000u);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001906 if (push_pop) {
vegorov@chromium.org26c16f82010-08-11 13:41:03 +00001907 j(not_equal, &done);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001908 pop(dst);
1909 jmp(on_not_int32);
vegorov@chromium.org26c16f82010-08-11 13:41:03 +00001910 } else {
1911 j(equal, on_not_int32);
1912 }
1913
1914 bind(&done);
1915 if (push_pop) {
1916 add(Operand(esp), Immediate(kPointerSize)); // Pop.
1917 }
1918 if (!scratch.is(dst)) {
1919 mov(dst, scratch);
1920 }
1921 }
1922}
1923
1924
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001925void MacroAssembler::LoadPowerOf2(XMMRegister dst,
1926 Register scratch,
1927 int power) {
1928 ASSERT(is_uintn(power + HeapNumber::kExponentBias,
1929 HeapNumber::kExponentBits));
1930 mov(scratch, Immediate(power + HeapNumber::kExponentBias));
1931 movd(dst, Operand(scratch));
1932 psllq(dst, HeapNumber::kMantissaBits);
1933}
1934
1935
ager@chromium.org5c838252010-02-19 08:53:10 +00001936void MacroAssembler::JumpIfInstanceTypeIsNotSequentialAscii(
1937 Register instance_type,
1938 Register scratch,
whesse@chromium.orgcec079d2010-03-22 14:44:04 +00001939 Label* failure) {
ager@chromium.org5c838252010-02-19 08:53:10 +00001940 if (!scratch.is(instance_type)) {
1941 mov(scratch, instance_type);
1942 }
1943 and_(scratch,
1944 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask);
1945 cmp(scratch, kStringTag | kSeqStringTag | kAsciiStringTag);
1946 j(not_equal, failure);
1947}
1948
1949
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001950void MacroAssembler::JumpIfNotBothSequentialAsciiStrings(Register object1,
1951 Register object2,
1952 Register scratch1,
1953 Register scratch2,
1954 Label* failure) {
1955 // Check that both objects are not smis.
1956 ASSERT_EQ(0, kSmiTag);
1957 mov(scratch1, Operand(object1));
1958 and_(scratch1, Operand(object2));
1959 test(scratch1, Immediate(kSmiTagMask));
1960 j(zero, failure);
1961
1962 // Load instance type for both strings.
1963 mov(scratch1, FieldOperand(object1, HeapObject::kMapOffset));
1964 mov(scratch2, FieldOperand(object2, HeapObject::kMapOffset));
1965 movzx_b(scratch1, FieldOperand(scratch1, Map::kInstanceTypeOffset));
1966 movzx_b(scratch2, FieldOperand(scratch2, Map::kInstanceTypeOffset));
1967
1968 // Check that both are flat ascii strings.
1969 const int kFlatAsciiStringMask =
1970 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
1971 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
1972 // Interleave bits from both instance types and compare them in one check.
1973 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
1974 and_(scratch1, kFlatAsciiStringMask);
1975 and_(scratch2, kFlatAsciiStringMask);
1976 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
1977 cmp(scratch1, kFlatAsciiStringTag | (kFlatAsciiStringTag << 3));
1978 j(not_equal, failure);
1979}
1980
1981
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001982void MacroAssembler::PrepareCallCFunction(int num_arguments, Register scratch) {
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001983 int frame_alignment = OS::ActivationFrameAlignment();
1984 if (frame_alignment != 0) {
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001985 // Make stack end at alignment and make room for num_arguments words
1986 // and the original value of esp.
1987 mov(scratch, esp);
1988 sub(Operand(esp), Immediate((num_arguments + 1) * kPointerSize));
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001989 ASSERT(IsPowerOf2(frame_alignment));
1990 and_(esp, -frame_alignment);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001991 mov(Operand(esp, num_arguments * kPointerSize), scratch);
1992 } else {
1993 sub(Operand(esp), Immediate(num_arguments * kPointerSize));
1994 }
1995}
1996
1997
1998void MacroAssembler::CallCFunction(ExternalReference function,
1999 int num_arguments) {
2000 // Trashing eax is ok as it will be the return value.
2001 mov(Operand(eax), Immediate(function));
2002 CallCFunction(eax, num_arguments);
2003}
2004
2005
2006void MacroAssembler::CallCFunction(Register function,
2007 int num_arguments) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002008 // Check stack alignment.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00002009 if (emit_debug_code()) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002010 CheckStackAlignment();
2011 }
2012
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002013 call(Operand(function));
2014 if (OS::ActivationFrameAlignment() != 0) {
2015 mov(esp, Operand(esp, num_arguments * kPointerSize));
2016 } else {
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002017 add(Operand(esp), Immediate(num_arguments * kPointerSize));
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002018 }
2019}
2020
2021
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002022CodePatcher::CodePatcher(byte* address, int size)
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002023 : address_(address),
2024 size_(size),
2025 masm_(Isolate::Current(), address, size + Assembler::kGap) {
ager@chromium.org32912102009-01-16 10:38:43 +00002026 // Create a new macro assembler pointing to the address of the code to patch.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002027 // The size is adjusted with kGap on order for the assembler to generate size
2028 // bytes of instructions without failing with buffer size constraints.
2029 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2030}
2031
2032
2033CodePatcher::~CodePatcher() {
2034 // Indicate that code has changed.
2035 CPU::FlushICache(address_, size_);
2036
2037 // Check that the code was patched as expected.
2038 ASSERT(masm_.pc_ == address_ + size_);
2039 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2040}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002041
2042
2043} } // namespace v8::internal
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00002044
2045#endif // V8_TARGET_ARCH_IA32