blob: 9ed0643421cf4b6d676122da949e60b892d889a8 [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"
33#include "codegen-inl.h"
34#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
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000044MacroAssembler::MacroAssembler(void* buffer, int size)
45 : Assembler(buffer, size),
kasper.lund7276f142008-07-30 08:49:36 +000046 generating_stub_(false),
kasperl@chromium.org061ef742009-02-27 12:16:20 +000047 allow_stub_calls_(true),
48 code_object_(Heap::undefined_value()) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000049}
50
51
vegorov@chromium.orgf8372902010-03-15 10:26:20 +000052void MacroAssembler::RecordWriteHelper(Register object,
53 Register addr,
54 Register scratch) {
ager@chromium.orgac091b72010-05-05 07:34:42 +000055 if (FLAG_debug_code) {
56 // Check that the object is not in new space.
57 Label not_in_new_space;
58 InNewSpace(object, scratch, not_equal, &not_in_new_space);
59 Abort("new-space object passed to RecordWriteHelper");
60 bind(&not_in_new_space);
61 }
62
christian.plesner.hansen@gmail.com5a6af922009-08-12 14:20:51 +000063 // Compute the page start address from the heap object pointer, and reuse
64 // the 'object' register for it.
vegorov@chromium.orgf8372902010-03-15 10:26:20 +000065 and_(object, ~Page::kPageAlignmentMask);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000066
ricow@chromium.org30ce4112010-05-31 10:38:25 +000067 // Compute number of region covering addr. See Page::GetRegionNumberForAddress
68 // method for more details.
69 and_(addr, Page::kPageAlignmentMask);
70 shr(addr, Page::kRegionSizeLog2);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000071
ricow@chromium.org30ce4112010-05-31 10:38:25 +000072 // Set dirty mark for region.
73 bts(Operand(object, Page::kDirtyFlagOffset), addr);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000074}
75
76
fschneider@chromium.orged78ffd2010-07-21 11:05:19 +000077void MacroAssembler::RecordWrite(Register object,
78 int offset,
79 Register value,
80 Register scratch) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +000081 // The compiled code assumes that record write doesn't change the
82 // context register, so we check that none of the clobbered
83 // registers are esi.
84 ASSERT(!object.is(esi) && !value.is(esi) && !scratch.is(esi));
85
ricow@chromium.org30ce4112010-05-31 10:38:25 +000086 // First, check if a write barrier is even needed. The tests below
87 // catch stores of Smis and stores into young gen.
ager@chromium.org5f0c45f2010-12-17 08:51:21 +000088 NearLabel done;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000089
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +000090 // Skip barrier if writing a smi.
91 ASSERT_EQ(0, kSmiTag);
92 test(value, Immediate(kSmiTagMask));
93 j(zero, &done);
94
vegorov@chromium.orgf8372902010-03-15 10:26:20 +000095 InNewSpace(object, value, equal, &done);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000096
whesse@chromium.orge88a9ed2010-04-15 15:07:46 +000097 // The offset is relative to a tagged or untagged HeapObject pointer,
98 // so either offset or offset + kHeapObjectTag must be a
99 // multiple of kPointerSize.
100 ASSERT(IsAligned(offset, kPointerSize) ||
101 IsAligned(offset + kHeapObjectTag, kPointerSize));
102
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000103 Register dst = scratch;
104 if (offset != 0) {
105 lea(dst, Operand(object, offset));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000106 } else {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000107 // Array access: calculate the destination address in the same manner as
108 // KeyedStoreIC::GenerateGeneric. Multiply a smi by 2 to get an offset
109 // into an array of words.
110 ASSERT_EQ(1, kSmiTagSize);
111 ASSERT_EQ(0, kSmiTag);
112 lea(dst, Operand(object, dst, times_half_pointer_size,
113 FixedArray::kHeaderSize - kHeapObjectTag));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000114 }
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000115 RecordWriteHelper(object, dst, value);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000116
117 bind(&done);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000118
119 // Clobber all input registers when running with the debug-code flag
120 // turned on to provoke errors.
121 if (FLAG_debug_code) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000122 mov(object, Immediate(BitCast<int32_t>(kZapValue)));
123 mov(value, Immediate(BitCast<int32_t>(kZapValue)));
124 mov(scratch, Immediate(BitCast<int32_t>(kZapValue)));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000125 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000126}
127
128
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000129void MacroAssembler::RecordWrite(Register object,
130 Register address,
131 Register value) {
132 // The compiled code assumes that record write doesn't change the
133 // context register, so we check that none of the clobbered
134 // registers are esi.
135 ASSERT(!object.is(esi) && !value.is(esi) && !address.is(esi));
136
137 // First, check if a write barrier is even needed. The tests below
138 // catch stores of Smis and stores into young gen.
139 Label done;
140
141 // Skip barrier if writing a smi.
142 ASSERT_EQ(0, kSmiTag);
143 test(value, Immediate(kSmiTagMask));
144 j(zero, &done);
145
146 InNewSpace(object, value, equal, &done);
147
148 RecordWriteHelper(object, address, value);
149
150 bind(&done);
151
152 // Clobber all input registers when running with the debug-code flag
153 // turned on to provoke errors.
154 if (FLAG_debug_code) {
155 mov(object, Immediate(BitCast<int32_t>(kZapValue)));
156 mov(address, Immediate(BitCast<int32_t>(kZapValue)));
157 mov(value, Immediate(BitCast<int32_t>(kZapValue)));
158 }
159}
160
161
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000162#ifdef ENABLE_DEBUGGER_SUPPORT
ager@chromium.org5c838252010-02-19 08:53:10 +0000163void MacroAssembler::DebugBreak() {
164 Set(eax, Immediate(0));
165 mov(ebx, Immediate(ExternalReference(Runtime::kDebugBreak)));
166 CEntryStub ces(1);
167 call(ces.GetCode(), RelocInfo::DEBUG_BREAK);
168}
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000169#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000170
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000171
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000172void MacroAssembler::Set(Register dst, const Immediate& x) {
173 if (x.is_zero()) {
174 xor_(dst, Operand(dst)); // shorter than mov
175 } else {
ager@chromium.org3bf7b912008-11-17 09:09:45 +0000176 mov(dst, x);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000177 }
178}
179
180
181void MacroAssembler::Set(const Operand& dst, const Immediate& x) {
182 mov(dst, x);
183}
184
185
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000186void MacroAssembler::CmpObjectType(Register heap_object,
187 InstanceType type,
188 Register map) {
189 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
190 CmpInstanceType(map, type);
191}
192
193
194void MacroAssembler::CmpInstanceType(Register map, InstanceType type) {
195 cmpb(FieldOperand(map, Map::kInstanceTypeOffset),
196 static_cast<int8_t>(type));
197}
198
199
ager@chromium.org5c838252010-02-19 08:53:10 +0000200void MacroAssembler::CheckMap(Register obj,
201 Handle<Map> map,
202 Label* fail,
203 bool is_heap_object) {
204 if (!is_heap_object) {
205 test(obj, Immediate(kSmiTagMask));
206 j(zero, fail);
207 }
208 cmp(FieldOperand(obj, HeapObject::kMapOffset), Immediate(map));
209 j(not_equal, fail);
210}
211
212
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000213Condition MacroAssembler::IsObjectStringType(Register heap_object,
214 Register map,
215 Register instance_type) {
216 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
217 movzx_b(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
218 ASSERT(kNotStringTag != 0);
219 test(instance_type, Immediate(kIsNotStringMask));
220 return zero;
221}
222
223
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000224void MacroAssembler::IsObjectJSObjectType(Register heap_object,
225 Register map,
226 Register scratch,
227 Label* fail) {
228 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
229 IsInstanceJSObjectType(map, scratch, fail);
230}
231
232
233void MacroAssembler::IsInstanceJSObjectType(Register map,
234 Register scratch,
235 Label* fail) {
236 movzx_b(scratch, FieldOperand(map, Map::kInstanceTypeOffset));
237 sub(Operand(scratch), Immediate(FIRST_JS_OBJECT_TYPE));
238 cmp(scratch, LAST_JS_OBJECT_TYPE - FIRST_JS_OBJECT_TYPE);
239 j(above, fail);
240}
241
242
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000243void MacroAssembler::FCmp() {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000244 if (CpuFeatures::IsSupported(CMOV)) {
ager@chromium.org3811b432009-10-28 14:53:37 +0000245 fucomip();
246 ffree(0);
247 fincstp();
248 } else {
249 fucompp();
250 push(eax);
251 fnstsw_ax();
252 sahf();
253 pop(eax);
254 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000255}
256
257
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000258void MacroAssembler::AbortIfNotNumber(Register object) {
ager@chromium.org5c838252010-02-19 08:53:10 +0000259 Label ok;
260 test(object, Immediate(kSmiTagMask));
261 j(zero, &ok);
262 cmp(FieldOperand(object, HeapObject::kMapOffset),
263 Factory::heap_number_map());
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000264 Assert(equal, "Operand not a number");
ager@chromium.org5c838252010-02-19 08:53:10 +0000265 bind(&ok);
266}
267
268
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000269void MacroAssembler::AbortIfNotSmi(Register object) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000270 test(object, Immediate(kSmiTagMask));
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000271 Assert(equal, "Operand is not a smi");
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000272}
273
274
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000275void MacroAssembler::AbortIfNotString(Register object) {
276 test(object, Immediate(kSmiTagMask));
277 Assert(not_equal, "Operand is not a string");
278 push(object);
279 mov(object, FieldOperand(object, HeapObject::kMapOffset));
280 CmpInstanceType(object, FIRST_NONSTRING_TYPE);
281 pop(object);
282 Assert(below, "Operand is not a string");
283}
284
285
vegorov@chromium.org26c16f82010-08-11 13:41:03 +0000286void MacroAssembler::AbortIfSmi(Register object) {
287 test(object, Immediate(kSmiTagMask));
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000288 Assert(not_equal, "Operand is a smi");
vegorov@chromium.org26c16f82010-08-11 13:41:03 +0000289}
290
291
ager@chromium.org7c537e22008-10-16 08:43:32 +0000292void MacroAssembler::EnterFrame(StackFrame::Type type) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000293 push(ebp);
294 mov(ebp, Operand(esp));
295 push(esi);
296 push(Immediate(Smi::FromInt(type)));
kasperl@chromium.org061ef742009-02-27 12:16:20 +0000297 push(Immediate(CodeObject()));
298 if (FLAG_debug_code) {
299 cmp(Operand(esp, 0), Immediate(Factory::undefined_value()));
300 Check(not_equal, "code object not properly patched");
301 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000302}
303
304
ager@chromium.org7c537e22008-10-16 08:43:32 +0000305void MacroAssembler::LeaveFrame(StackFrame::Type type) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000306 if (FLAG_debug_code) {
307 cmp(Operand(ebp, StandardFrameConstants::kMarkerOffset),
308 Immediate(Smi::FromInt(type)));
309 Check(equal, "stack frame types must match");
310 }
311 leave();
312}
313
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000314
315void MacroAssembler::EnterExitFramePrologue() {
ager@chromium.org236ad962008-09-25 09:45:57 +0000316 // Setup the frame structure on the stack.
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000317 ASSERT(ExitFrameConstants::kCallerSPDisplacement == +2 * kPointerSize);
ager@chromium.org236ad962008-09-25 09:45:57 +0000318 ASSERT(ExitFrameConstants::kCallerPCOffset == +1 * kPointerSize);
319 ASSERT(ExitFrameConstants::kCallerFPOffset == 0 * kPointerSize);
320 push(ebp);
321 mov(ebp, Operand(esp));
322
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000323 // Reserve room for entry stack pointer and push the code object.
ager@chromium.org236ad962008-09-25 09:45:57 +0000324 ASSERT(ExitFrameConstants::kSPOffset == -1 * kPointerSize);
ager@chromium.org5c838252010-02-19 08:53:10 +0000325 push(Immediate(0)); // Saved entry sp, patched before call.
326 push(Immediate(CodeObject())); // Accessed from ExitFrame::code_slot.
ager@chromium.org236ad962008-09-25 09:45:57 +0000327
328 // Save the frame pointer and the context in top.
329 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
330 ExternalReference context_address(Top::k_context_address);
331 mov(Operand::StaticVariable(c_entry_fp_address), ebp);
332 mov(Operand::StaticVariable(context_address), esi);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000333}
ager@chromium.org236ad962008-09-25 09:45:57 +0000334
ager@chromium.org236ad962008-09-25 09:45:57 +0000335
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000336void MacroAssembler::EnterExitFrameEpilogue(int argc, bool save_doubles) {
337 // Optionally save all XMM registers.
338 if (save_doubles) {
339 CpuFeatures::Scope scope(SSE2);
340 int space = XMMRegister::kNumRegisters * kDoubleSize + argc * kPointerSize;
341 sub(Operand(esp), Immediate(space));
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000342 const int offset = -2 * kPointerSize;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000343 for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
344 XMMRegister reg = XMMRegister::from_code(i);
345 movdbl(Operand(ebp, offset - ((i + 1) * kDoubleSize)), reg);
346 }
347 } else {
348 sub(Operand(esp), Immediate(argc * kPointerSize));
349 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000350
351 // Get the required frame alignment for the OS.
352 static const int kFrameAlignment = OS::ActivationFrameAlignment();
353 if (kFrameAlignment > 0) {
354 ASSERT(IsPowerOf2(kFrameAlignment));
355 and_(esp, -kFrameAlignment);
356 }
357
358 // Patch the saved entry sp.
359 mov(Operand(ebp, ExitFrameConstants::kSPOffset), esp);
360}
361
362
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000363void MacroAssembler::EnterExitFrame(bool save_doubles) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000364 EnterExitFramePrologue();
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000365
366 // Setup argc and argv in callee-saved registers.
367 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
368 mov(edi, Operand(eax));
369 lea(esi, Operand(ebp, eax, times_4, offset));
370
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000371 EnterExitFrameEpilogue(2, save_doubles);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000372}
373
374
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000375void MacroAssembler::EnterApiExitFrame(int argc) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000376 EnterExitFramePrologue();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000377 EnterExitFrameEpilogue(argc, false);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000378}
379
380
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000381void MacroAssembler::LeaveExitFrame(bool save_doubles) {
382 // Optionally restore all XMM registers.
383 if (save_doubles) {
384 CpuFeatures::Scope scope(SSE2);
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000385 const int offset = -2 * kPointerSize;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000386 for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
387 XMMRegister reg = XMMRegister::from_code(i);
388 movdbl(reg, Operand(ebp, offset - ((i + 1) * kDoubleSize)));
389 }
390 }
391
ager@chromium.org236ad962008-09-25 09:45:57 +0000392 // Get the return address from the stack and restore the frame pointer.
393 mov(ecx, Operand(ebp, 1 * kPointerSize));
394 mov(ebp, Operand(ebp, 0 * kPointerSize));
395
396 // Pop the arguments and the receiver from the caller stack.
397 lea(esp, Operand(esi, 1 * kPointerSize));
398
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000399 // Push the return address to get ready to return.
400 push(ecx);
401
402 LeaveExitFrameEpilogue();
403}
404
405void MacroAssembler::LeaveExitFrameEpilogue() {
ager@chromium.org236ad962008-09-25 09:45:57 +0000406 // Restore current context from top and clear it in debug mode.
407 ExternalReference context_address(Top::k_context_address);
408 mov(esi, Operand::StaticVariable(context_address));
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000409#ifdef DEBUG
410 mov(Operand::StaticVariable(context_address), Immediate(0));
411#endif
ager@chromium.org236ad962008-09-25 09:45:57 +0000412
ager@chromium.org236ad962008-09-25 09:45:57 +0000413 // Clear the top frame.
414 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
415 mov(Operand::StaticVariable(c_entry_fp_address), Immediate(0));
416}
417
418
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000419void MacroAssembler::LeaveApiExitFrame() {
420 mov(esp, Operand(ebp));
421 pop(ebp);
422
423 LeaveExitFrameEpilogue();
424}
425
426
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000427void MacroAssembler::PushTryHandler(CodeLocation try_location,
428 HandlerType type) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000429 // Adjust this code if not the case.
430 ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000431 // The pc (return address) is already on TOS.
432 if (try_location == IN_JAVASCRIPT) {
433 if (type == TRY_CATCH_HANDLER) {
434 push(Immediate(StackHandler::TRY_CATCH));
435 } else {
436 push(Immediate(StackHandler::TRY_FINALLY));
437 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000438 push(ebp);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000439 } else {
440 ASSERT(try_location == IN_JS_ENTRY);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000441 // The frame pointer does not point to a JS frame so we save NULL
442 // for ebp. We expect the code throwing an exception to check ebp
443 // before dereferencing it to restore the context.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000444 push(Immediate(StackHandler::ENTRY));
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000445 push(Immediate(0)); // NULL frame pointer.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000446 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000447 // Save the current handler as the next handler.
448 push(Operand::StaticVariable(ExternalReference(Top::k_handler_address)));
449 // Link this handler as the new current one.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000450 mov(Operand::StaticVariable(ExternalReference(Top::k_handler_address)), esp);
451}
452
453
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000454void MacroAssembler::PopTryHandler() {
455 ASSERT_EQ(0, StackHandlerConstants::kNextOffset);
456 pop(Operand::StaticVariable(ExternalReference(Top::k_handler_address)));
457 add(Operand(esp), Immediate(StackHandlerConstants::kSize - kPointerSize));
458}
459
460
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000461void MacroAssembler::CheckAccessGlobalProxy(Register holder_reg,
ager@chromium.orge2902be2009-06-08 12:21:35 +0000462 Register scratch,
463 Label* miss) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000464 Label same_contexts;
465
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000466 ASSERT(!holder_reg.is(scratch));
467
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000468 // Load current lexical context from the stack frame.
469 mov(scratch, Operand(ebp, StandardFrameConstants::kContextOffset));
470
471 // When generating debug code, make sure the lexical context is set.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000472 if (FLAG_debug_code) {
473 cmp(Operand(scratch), Immediate(0));
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000474 Check(not_equal, "we should not have an empty lexical context");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000475 }
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000476 // Load the global context of the current context.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000477 int offset = Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
478 mov(scratch, FieldOperand(scratch, offset));
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000479 mov(scratch, FieldOperand(scratch, GlobalObject::kGlobalContextOffset));
480
481 // Check the context is a global context.
482 if (FLAG_debug_code) {
483 push(scratch);
484 // Read the first word and compare to global_context_map.
485 mov(scratch, FieldOperand(scratch, HeapObject::kMapOffset));
486 cmp(scratch, Factory::global_context_map());
487 Check(equal, "JSGlobalObject::global_context should be a global context.");
488 pop(scratch);
489 }
490
491 // Check if both contexts are the same.
492 cmp(scratch, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
493 j(equal, &same_contexts, taken);
494
495 // Compare security tokens, save holder_reg on the stack so we can use it
496 // as a temporary register.
497 //
498 // TODO(119): avoid push(holder_reg)/pop(holder_reg)
499 push(holder_reg);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000500 // Check that the security token in the calling global object is
501 // compatible with the security token in the receiving global
502 // object.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000503 mov(holder_reg, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
504
505 // Check the context is a global context.
506 if (FLAG_debug_code) {
507 cmp(holder_reg, Factory::null_value());
508 Check(not_equal, "JSGlobalProxy::context() should not be null.");
509
510 push(holder_reg);
511 // Read the first word and compare to global_context_map(),
512 mov(holder_reg, FieldOperand(holder_reg, HeapObject::kMapOffset));
513 cmp(holder_reg, Factory::global_context_map());
514 Check(equal, "JSGlobalObject::global_context should be a global context.");
515 pop(holder_reg);
516 }
517
518 int token_offset = Context::kHeaderSize +
519 Context::SECURITY_TOKEN_INDEX * kPointerSize;
520 mov(scratch, FieldOperand(scratch, token_offset));
521 cmp(scratch, FieldOperand(holder_reg, token_offset));
522 pop(holder_reg);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000523 j(not_equal, miss, not_taken);
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000524
525 bind(&same_contexts);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000526}
527
528
ager@chromium.orga1645e22009-09-09 19:27:10 +0000529void MacroAssembler::LoadAllocationTopHelper(Register result,
ager@chromium.orga1645e22009-09-09 19:27:10 +0000530 Register scratch,
531 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000532 ExternalReference new_space_allocation_top =
533 ExternalReference::new_space_allocation_top_address();
534
535 // Just return if allocation top is already known.
ager@chromium.orga1645e22009-09-09 19:27:10 +0000536 if ((flags & RESULT_CONTAINS_TOP) != 0) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000537 // No use of scratch if allocation top is provided.
538 ASSERT(scratch.is(no_reg));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000539#ifdef DEBUG
540 // Assert that result actually contains top on entry.
541 cmp(result, Operand::StaticVariable(new_space_allocation_top));
542 Check(equal, "Unexpected allocation top");
543#endif
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000544 return;
545 }
546
547 // Move address of new object to result. Use scratch register if available.
548 if (scratch.is(no_reg)) {
549 mov(result, Operand::StaticVariable(new_space_allocation_top));
550 } else {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000551 mov(Operand(scratch), Immediate(new_space_allocation_top));
552 mov(result, Operand(scratch, 0));
553 }
554}
555
556
557void MacroAssembler::UpdateAllocationTopHelper(Register result_end,
558 Register scratch) {
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000559 if (FLAG_debug_code) {
560 test(result_end, Immediate(kObjectAlignmentMask));
561 Check(zero, "Unaligned allocation in new space");
562 }
563
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000564 ExternalReference new_space_allocation_top =
565 ExternalReference::new_space_allocation_top_address();
566
567 // Update new top. Use scratch if available.
568 if (scratch.is(no_reg)) {
569 mov(Operand::StaticVariable(new_space_allocation_top), result_end);
570 } else {
571 mov(Operand(scratch, 0), result_end);
572 }
573}
574
ager@chromium.orga1645e22009-09-09 19:27:10 +0000575
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000576void MacroAssembler::AllocateInNewSpace(int object_size,
577 Register result,
578 Register result_end,
579 Register scratch,
580 Label* gc_required,
581 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000582 if (!FLAG_inline_new) {
583 if (FLAG_debug_code) {
584 // Trash the registers to simulate an allocation failure.
585 mov(result, Immediate(0x7091));
586 if (result_end.is_valid()) {
587 mov(result_end, Immediate(0x7191));
588 }
589 if (scratch.is_valid()) {
590 mov(scratch, Immediate(0x7291));
591 }
592 }
593 jmp(gc_required);
594 return;
595 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000596 ASSERT(!result.is(result_end));
597
598 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +0000599 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000600
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000601 Register top_reg = result_end.is_valid() ? result_end : result;
602
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000603 // Calculate new top and bail out if new space is exhausted.
604 ExternalReference new_space_allocation_limit =
605 ExternalReference::new_space_allocation_limit_address();
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000606
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000607 if (!top_reg.is(result)) {
608 mov(top_reg, result);
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000609 }
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000610 add(Operand(top_reg), Immediate(object_size));
611 j(carry, gc_required, not_taken);
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000612 cmp(top_reg, Operand::StaticVariable(new_space_allocation_limit));
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000613 j(above, gc_required, not_taken);
614
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000615 // Update allocation top.
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000616 UpdateAllocationTopHelper(top_reg, scratch);
617
618 // Tag result if requested.
619 if (top_reg.is(result)) {
620 if ((flags & TAG_OBJECT) != 0) {
621 sub(Operand(result), Immediate(object_size - kHeapObjectTag));
622 } else {
623 sub(Operand(result), Immediate(object_size));
624 }
625 } else if ((flags & TAG_OBJECT) != 0) {
626 add(Operand(result), Immediate(kHeapObjectTag));
627 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000628}
629
630
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000631void MacroAssembler::AllocateInNewSpace(int header_size,
632 ScaleFactor element_size,
633 Register element_count,
634 Register result,
635 Register result_end,
636 Register scratch,
637 Label* gc_required,
638 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000639 if (!FLAG_inline_new) {
640 if (FLAG_debug_code) {
641 // Trash the registers to simulate an allocation failure.
642 mov(result, Immediate(0x7091));
643 mov(result_end, Immediate(0x7191));
644 if (scratch.is_valid()) {
645 mov(scratch, Immediate(0x7291));
646 }
647 // Register element_count is not modified by the function.
648 }
649 jmp(gc_required);
650 return;
651 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000652 ASSERT(!result.is(result_end));
653
654 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +0000655 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000656
657 // Calculate new top and bail out if new space is exhausted.
658 ExternalReference new_space_allocation_limit =
659 ExternalReference::new_space_allocation_limit_address();
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000660
661 // We assume that element_count*element_size + header_size does not
662 // overflow.
663 lea(result_end, Operand(element_count, element_size, header_size));
664 add(result_end, Operand(result));
665 j(carry, gc_required);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000666 cmp(result_end, Operand::StaticVariable(new_space_allocation_limit));
667 j(above, gc_required);
668
ager@chromium.orga1645e22009-09-09 19:27:10 +0000669 // Tag result if requested.
670 if ((flags & TAG_OBJECT) != 0) {
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000671 lea(result, Operand(result, kHeapObjectTag));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000672 }
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000673
674 // Update allocation top.
675 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000676}
677
678
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000679void MacroAssembler::AllocateInNewSpace(Register object_size,
680 Register result,
681 Register result_end,
682 Register scratch,
683 Label* gc_required,
684 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000685 if (!FLAG_inline_new) {
686 if (FLAG_debug_code) {
687 // Trash the registers to simulate an allocation failure.
688 mov(result, Immediate(0x7091));
689 mov(result_end, Immediate(0x7191));
690 if (scratch.is_valid()) {
691 mov(scratch, Immediate(0x7291));
692 }
693 // object_size is left unchanged by this function.
694 }
695 jmp(gc_required);
696 return;
697 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000698 ASSERT(!result.is(result_end));
699
700 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +0000701 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000702
703 // Calculate new top and bail out if new space is exhausted.
704 ExternalReference new_space_allocation_limit =
705 ExternalReference::new_space_allocation_limit_address();
706 if (!object_size.is(result_end)) {
707 mov(result_end, object_size);
708 }
709 add(result_end, Operand(result));
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000710 j(carry, gc_required, not_taken);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000711 cmp(result_end, Operand::StaticVariable(new_space_allocation_limit));
712 j(above, gc_required, not_taken);
713
ager@chromium.orga1645e22009-09-09 19:27:10 +0000714 // Tag result if requested.
715 if ((flags & TAG_OBJECT) != 0) {
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000716 lea(result, Operand(result, kHeapObjectTag));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000717 }
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000718
719 // Update allocation top.
720 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000721}
722
723
724void MacroAssembler::UndoAllocationInNewSpace(Register object) {
725 ExternalReference new_space_allocation_top =
726 ExternalReference::new_space_allocation_top_address();
727
728 // Make sure the object has no tag before resetting top.
729 and_(Operand(object), Immediate(~kHeapObjectTagMask));
730#ifdef DEBUG
731 cmp(object, Operand::StaticVariable(new_space_allocation_top));
732 Check(below, "Undo allocation of non allocated memory");
733#endif
734 mov(Operand::StaticVariable(new_space_allocation_top), object);
735}
736
737
ager@chromium.org3811b432009-10-28 14:53:37 +0000738void MacroAssembler::AllocateHeapNumber(Register result,
739 Register scratch1,
740 Register scratch2,
741 Label* gc_required) {
742 // Allocate heap number in new space.
743 AllocateInNewSpace(HeapNumber::kSize,
744 result,
745 scratch1,
746 scratch2,
747 gc_required,
748 TAG_OBJECT);
749
750 // Set the map.
751 mov(FieldOperand(result, HeapObject::kMapOffset),
752 Immediate(Factory::heap_number_map()));
753}
754
755
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000756void MacroAssembler::AllocateTwoByteString(Register result,
757 Register length,
758 Register scratch1,
759 Register scratch2,
760 Register scratch3,
761 Label* gc_required) {
762 // Calculate the number of bytes needed for the characters in the string while
763 // observing object alignment.
764 ASSERT((SeqTwoByteString::kHeaderSize & kObjectAlignmentMask) == 0);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000765 ASSERT(kShortSize == 2);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000766 // scratch1 = length * 2 + kObjectAlignmentMask.
767 lea(scratch1, Operand(length, length, times_1, kObjectAlignmentMask));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000768 and_(Operand(scratch1), Immediate(~kObjectAlignmentMask));
769
770 // Allocate two byte string in new space.
771 AllocateInNewSpace(SeqTwoByteString::kHeaderSize,
772 times_1,
773 scratch1,
774 result,
775 scratch2,
776 scratch3,
777 gc_required,
778 TAG_OBJECT);
779
780 // Set the map, length and hash field.
781 mov(FieldOperand(result, HeapObject::kMapOffset),
782 Immediate(Factory::string_map()));
ager@chromium.orgac091b72010-05-05 07:34:42 +0000783 mov(scratch1, length);
784 SmiTag(scratch1);
785 mov(FieldOperand(result, String::kLengthOffset), scratch1);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000786 mov(FieldOperand(result, String::kHashFieldOffset),
787 Immediate(String::kEmptyHashField));
788}
789
790
791void MacroAssembler::AllocateAsciiString(Register result,
792 Register length,
793 Register scratch1,
794 Register scratch2,
795 Register scratch3,
796 Label* gc_required) {
797 // Calculate the number of bytes needed for the characters in the string while
798 // observing object alignment.
799 ASSERT((SeqAsciiString::kHeaderSize & kObjectAlignmentMask) == 0);
800 mov(scratch1, length);
801 ASSERT(kCharSize == 1);
802 add(Operand(scratch1), Immediate(kObjectAlignmentMask));
803 and_(Operand(scratch1), Immediate(~kObjectAlignmentMask));
804
805 // Allocate ascii string in new space.
806 AllocateInNewSpace(SeqAsciiString::kHeaderSize,
807 times_1,
808 scratch1,
809 result,
810 scratch2,
811 scratch3,
812 gc_required,
813 TAG_OBJECT);
814
815 // Set the map, length and hash field.
816 mov(FieldOperand(result, HeapObject::kMapOffset),
817 Immediate(Factory::ascii_string_map()));
ager@chromium.orgac091b72010-05-05 07:34:42 +0000818 mov(scratch1, length);
819 SmiTag(scratch1);
820 mov(FieldOperand(result, String::kLengthOffset), scratch1);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000821 mov(FieldOperand(result, String::kHashFieldOffset),
822 Immediate(String::kEmptyHashField));
823}
824
825
kmillikin@chromium.org3cdd9e12010-09-06 11:39:48 +0000826void MacroAssembler::AllocateAsciiString(Register result,
827 int length,
828 Register scratch1,
829 Register scratch2,
830 Label* gc_required) {
831 ASSERT(length > 0);
832
833 // Allocate ascii string in new space.
834 AllocateInNewSpace(SeqAsciiString::SizeFor(length),
835 result,
836 scratch1,
837 scratch2,
838 gc_required,
839 TAG_OBJECT);
840
841 // Set the map, length and hash field.
842 mov(FieldOperand(result, HeapObject::kMapOffset),
843 Immediate(Factory::ascii_string_map()));
844 mov(FieldOperand(result, String::kLengthOffset),
845 Immediate(Smi::FromInt(length)));
846 mov(FieldOperand(result, String::kHashFieldOffset),
847 Immediate(String::kEmptyHashField));
848}
849
850
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000851void MacroAssembler::AllocateConsString(Register result,
852 Register scratch1,
853 Register scratch2,
854 Label* gc_required) {
855 // Allocate heap number in new space.
856 AllocateInNewSpace(ConsString::kSize,
857 result,
858 scratch1,
859 scratch2,
860 gc_required,
861 TAG_OBJECT);
862
863 // Set the map. The other fields are left uninitialized.
864 mov(FieldOperand(result, HeapObject::kMapOffset),
865 Immediate(Factory::cons_string_map()));
866}
867
868
869void MacroAssembler::AllocateAsciiConsString(Register result,
870 Register scratch1,
871 Register scratch2,
872 Label* gc_required) {
873 // Allocate heap number in new space.
874 AllocateInNewSpace(ConsString::kSize,
875 result,
876 scratch1,
877 scratch2,
878 gc_required,
879 TAG_OBJECT);
880
881 // Set the map. The other fields are left uninitialized.
882 mov(FieldOperand(result, HeapObject::kMapOffset),
883 Immediate(Factory::cons_ascii_string_map()));
884}
885
vegorov@chromium.org21b5e952010-11-23 10:24:40 +0000886
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000887// Copy memory, byte-by-byte, from source to destination. Not optimized for
888// long or aligned copies. The contents of scratch and length are destroyed.
889// Source and destination are incremented by length.
890// Many variants of movsb, loop unrolling, word moves, and indexed operands
891// have been tried here already, and this is fastest.
892// A simpler loop is faster on small copies, but 30% slower on large ones.
893// The cld() instruction must have been emitted, to set the direction flag(),
894// before calling this function.
895void MacroAssembler::CopyBytes(Register source,
896 Register destination,
897 Register length,
898 Register scratch) {
899 Label loop, done, short_string, short_loop;
900 // Experimentation shows that the short string loop is faster if length < 10.
901 cmp(Operand(length), Immediate(10));
902 j(less_equal, &short_string);
903
904 ASSERT(source.is(esi));
905 ASSERT(destination.is(edi));
906 ASSERT(length.is(ecx));
907
908 // Because source is 4-byte aligned in our uses of this function,
909 // we keep source aligned for the rep_movs call by copying the odd bytes
910 // at the end of the ranges.
911 mov(scratch, Operand(source, length, times_1, -4));
912 mov(Operand(destination, length, times_1, -4), scratch);
913 mov(scratch, ecx);
914 shr(ecx, 2);
915 rep_movs();
916 and_(Operand(scratch), Immediate(0x3));
917 add(destination, Operand(scratch));
918 jmp(&done);
919
920 bind(&short_string);
921 test(length, Operand(length));
922 j(zero, &done);
923
924 bind(&short_loop);
925 mov_b(scratch, Operand(source, 0));
926 mov_b(Operand(destination, 0), scratch);
927 inc(source);
928 inc(destination);
929 dec(length);
930 j(not_zero, &short_loop);
931
932 bind(&done);
vegorov@chromium.org21b5e952010-11-23 10:24:40 +0000933}
934
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000935
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000936void MacroAssembler::NegativeZeroTest(CodeGenerator* cgen,
937 Register result,
938 Register op,
939 JumpTarget* then_target) {
kasperl@chromium.org71affb52009-05-26 05:44:31 +0000940 JumpTarget ok;
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000941 test(result, Operand(result));
942 ok.Branch(not_zero, taken);
943 test(op, Operand(op));
944 then_target->Branch(sign, not_taken);
945 ok.Bind();
946}
947
948
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000949void MacroAssembler::NegativeZeroTest(Register result,
950 Register op,
951 Label* then_label) {
952 Label ok;
953 test(result, Operand(result));
954 j(not_zero, &ok, taken);
955 test(op, Operand(op));
956 j(sign, then_label, not_taken);
957 bind(&ok);
958}
959
960
961void MacroAssembler::NegativeZeroTest(Register result,
962 Register op1,
963 Register op2,
964 Register scratch,
965 Label* then_label) {
966 Label ok;
967 test(result, Operand(result));
968 j(not_zero, &ok, taken);
969 mov(scratch, Operand(op1));
970 or_(scratch, Operand(op2));
971 j(sign, then_label, not_taken);
972 bind(&ok);
973}
974
975
ager@chromium.org7c537e22008-10-16 08:43:32 +0000976void MacroAssembler::TryGetFunctionPrototype(Register function,
977 Register result,
978 Register scratch,
979 Label* miss) {
980 // Check that the receiver isn't a smi.
981 test(function, Immediate(kSmiTagMask));
982 j(zero, miss, not_taken);
983
984 // Check that the function really is a function.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000985 CmpObjectType(function, JS_FUNCTION_TYPE, result);
ager@chromium.org7c537e22008-10-16 08:43:32 +0000986 j(not_equal, miss, not_taken);
987
988 // Make sure that the function has an instance prototype.
989 Label non_instance;
990 movzx_b(scratch, FieldOperand(result, Map::kBitFieldOffset));
991 test(scratch, Immediate(1 << Map::kHasNonInstancePrototype));
992 j(not_zero, &non_instance, not_taken);
993
994 // Get the prototype or initial map from the function.
995 mov(result,
996 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
997
998 // If the prototype or initial map is the hole, don't return it and
999 // simply miss the cache instead. This will allow us to allocate a
1000 // prototype object on-demand in the runtime system.
1001 cmp(Operand(result), Immediate(Factory::the_hole_value()));
1002 j(equal, miss, not_taken);
1003
1004 // If the function does not have an initial map, we're done.
1005 Label done;
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001006 CmpObjectType(result, MAP_TYPE, scratch);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001007 j(not_equal, &done);
1008
1009 // Get the prototype from the initial map.
1010 mov(result, FieldOperand(result, Map::kPrototypeOffset));
1011 jmp(&done);
1012
1013 // Non-instance prototype: Fetch prototype from constructor field
1014 // in initial map.
1015 bind(&non_instance);
1016 mov(result, FieldOperand(result, Map::kConstructorOffset));
1017
1018 // All done.
1019 bind(&done);
1020}
1021
1022
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001023void MacroAssembler::CallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001024 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
ager@chromium.org236ad962008-09-25 09:45:57 +00001025 call(stub->GetCode(), RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001026}
1027
1028
lrn@chromium.org303ada72010-10-27 09:33:13 +00001029MaybeObject* MacroAssembler::TryCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001030 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
lrn@chromium.org303ada72010-10-27 09:33:13 +00001031 Object* result;
1032 { MaybeObject* maybe_result = stub->TryGetCode();
1033 if (!maybe_result->ToObject(&result)) return maybe_result;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001034 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001035 call(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001036 return result;
1037}
1038
1039
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001040void MacroAssembler::TailCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001041 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001042 jmp(stub->GetCode(), RelocInfo::CODE_TARGET);
1043}
1044
1045
lrn@chromium.org303ada72010-10-27 09:33:13 +00001046MaybeObject* MacroAssembler::TryTailCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001047 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
lrn@chromium.org303ada72010-10-27 09:33:13 +00001048 Object* result;
1049 { MaybeObject* maybe_result = stub->TryGetCode();
1050 if (!maybe_result->ToObject(&result)) return maybe_result;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001051 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001052 jmp(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001053 return result;
1054}
1055
1056
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001057void MacroAssembler::StubReturn(int argc) {
1058 ASSERT(argc >= 1 && generating_stub());
1059 ret((argc - 1) * kPointerSize);
1060}
1061
1062
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00001063void MacroAssembler::IllegalOperation(int num_arguments) {
1064 if (num_arguments > 0) {
1065 add(Operand(esp), Immediate(num_arguments * kPointerSize));
1066 }
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001067 mov(eax, Immediate(Factory::undefined_value()));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001068}
1069
1070
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001071void MacroAssembler::IndexFromHash(Register hash, Register index) {
1072 // The assert checks that the constants for the maximum number of digits
1073 // for an array index cached in the hash field and the number of bits
1074 // reserved for it does not conflict.
1075 ASSERT(TenToThe(String::kMaxCachedArrayIndexLength) <
1076 (1 << String::kArrayIndexValueBits));
1077 // We want the smi-tagged index in key. kArrayIndexValueMask has zeros in
1078 // the low kHashShift bits.
1079 and_(hash, String::kArrayIndexValueMask);
1080 STATIC_ASSERT(String::kHashShift >= kSmiTagSize && kSmiTag == 0);
1081 if (String::kHashShift > kSmiTagSize) {
1082 shr(hash, String::kHashShift - kSmiTagSize);
1083 }
1084 if (!index.is(hash)) {
1085 mov(index, hash);
1086 }
1087}
1088
1089
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001090void MacroAssembler::CallRuntime(Runtime::FunctionId id, int num_arguments) {
1091 CallRuntime(Runtime::FunctionForId(id), num_arguments);
1092}
1093
1094
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001095void MacroAssembler::CallRuntimeSaveDoubles(Runtime::FunctionId id) {
1096 Runtime::Function* function = Runtime::FunctionForId(id);
1097 Set(eax, Immediate(function->nargs));
1098 mov(ebx, Immediate(ExternalReference(function)));
1099 CEntryStub ces(1);
1100 ces.SaveDoubles();
1101 CallStub(&ces);
1102}
1103
1104
lrn@chromium.org303ada72010-10-27 09:33:13 +00001105MaybeObject* MacroAssembler::TryCallRuntime(Runtime::FunctionId id,
1106 int num_arguments) {
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001107 return TryCallRuntime(Runtime::FunctionForId(id), num_arguments);
1108}
1109
1110
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001111void MacroAssembler::CallRuntime(Runtime::Function* f, int num_arguments) {
mads.s.ager31e71382008-08-13 09:32:07 +00001112 // If the expected number of arguments of the runtime function is
1113 // constant, we check that the actual number of arguments match the
1114 // expectation.
1115 if (f->nargs >= 0 && f->nargs != num_arguments) {
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00001116 IllegalOperation(num_arguments);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001117 return;
1118 }
1119
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001120 // TODO(1236192): Most runtime routines don't need the number of
1121 // arguments passed in because it is constant. At some point we
1122 // should remove this need and make the runtime routine entry code
1123 // smarter.
1124 Set(eax, Immediate(num_arguments));
1125 mov(ebx, Immediate(ExternalReference(f)));
1126 CEntryStub ces(1);
1127 CallStub(&ces);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001128}
1129
1130
lrn@chromium.org303ada72010-10-27 09:33:13 +00001131MaybeObject* MacroAssembler::TryCallRuntime(Runtime::Function* f,
1132 int num_arguments) {
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001133 if (f->nargs >= 0 && f->nargs != num_arguments) {
1134 IllegalOperation(num_arguments);
1135 // Since we did not call the stub, there was no allocation failure.
1136 // Return some non-failure object.
1137 return Heap::undefined_value();
1138 }
1139
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001140 // TODO(1236192): Most runtime routines don't need the number of
1141 // arguments passed in because it is constant. At some point we
1142 // should remove this need and make the runtime routine entry code
1143 // smarter.
1144 Set(eax, Immediate(num_arguments));
1145 mov(ebx, Immediate(ExternalReference(f)));
1146 CEntryStub ces(1);
1147 return TryCallStub(&ces);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001148}
1149
1150
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001151void MacroAssembler::CallExternalReference(ExternalReference ref,
1152 int num_arguments) {
1153 mov(eax, Immediate(num_arguments));
1154 mov(ebx, Immediate(ref));
1155
1156 CEntryStub stub(1);
1157 CallStub(&stub);
1158}
1159
1160
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001161void MacroAssembler::TailCallExternalReference(const ExternalReference& ext,
1162 int num_arguments,
1163 int result_size) {
mads.s.ager31e71382008-08-13 09:32:07 +00001164 // TODO(1236192): Most runtime routines don't need the number of
1165 // arguments passed in because it is constant. At some point we
1166 // should remove this need and make the runtime routine entry code
1167 // smarter.
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001168 Set(eax, Immediate(num_arguments));
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001169 JumpToExternalReference(ext);
1170}
1171
1172
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001173MaybeObject* MacroAssembler::TryTailCallExternalReference(
1174 const ExternalReference& ext, int num_arguments, int result_size) {
1175 // TODO(1236192): Most runtime routines don't need the number of
1176 // arguments passed in because it is constant. At some point we
1177 // should remove this need and make the runtime routine entry code
1178 // smarter.
1179 Set(eax, Immediate(num_arguments));
1180 return TryJumpToExternalReference(ext);
1181}
1182
1183
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001184void MacroAssembler::TailCallRuntime(Runtime::FunctionId fid,
1185 int num_arguments,
1186 int result_size) {
1187 TailCallExternalReference(ExternalReference(fid), num_arguments, result_size);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001188}
1189
1190
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001191MaybeObject* MacroAssembler::TryTailCallRuntime(Runtime::FunctionId fid,
1192 int num_arguments,
1193 int result_size) {
1194 return TryTailCallExternalReference(
1195 ExternalReference(fid), num_arguments, result_size);
1196}
1197
1198
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001199// If true, a Handle<T> returned by value from a function with cdecl calling
1200// convention will be returned directly as a value of location_ field in a
1201// register eax.
1202// If false, it is returned as a pointer to a preallocated by caller memory
1203// region. Pointer to this region should be passed to a function as an
1204// implicit first argument.
1205#if defined(USING_BSD_ABI) || defined(__MINGW32__)
1206static const bool kReturnHandlesDirectly = true;
lrn@chromium.org303ada72010-10-27 09:33:13 +00001207#else
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001208static const bool kReturnHandlesDirectly = false;
lrn@chromium.org303ada72010-10-27 09:33:13 +00001209#endif
1210
1211
1212Operand ApiParameterOperand(int index) {
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001213 return Operand(
1214 esp, (index + (kReturnHandlesDirectly ? 0 : 1)) * kPointerSize);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001215}
1216
1217
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001218void MacroAssembler::PrepareCallApiFunction(int argc, Register scratch) {
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001219 if (kReturnHandlesDirectly) {
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001220 EnterApiExitFrame(argc);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001221 // When handles are returned directly we don't have to allocate extra
lrn@chromium.org303ada72010-10-27 09:33:13 +00001222 // space for and pass an out parameter.
1223 } else {
1224 // We allocate two additional slots: return value and pointer to it.
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001225 EnterApiExitFrame(argc + 2);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001226
lrn@chromium.org303ada72010-10-27 09:33:13 +00001227 // The argument slots are filled as follows:
1228 //
1229 // n + 1: output cell
1230 // n: arg n
1231 // ...
1232 // 1: arg1
1233 // 0: pointer to the output cell
1234 //
1235 // Note that this is one more "argument" than the function expects
1236 // so the out cell will have to be popped explicitly after returning
1237 // from the function. The out cell contains Handle.
lrn@chromium.org303ada72010-10-27 09:33:13 +00001238
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001239 // pointer to out cell.
1240 lea(scratch, Operand(esp, (argc + 1) * kPointerSize));
1241 mov(Operand(esp, 0 * kPointerSize), scratch); // output.
1242 if (FLAG_debug_code) {
1243 mov(Operand(esp, (argc + 1) * kPointerSize), Immediate(0)); // out cell.
1244 }
1245 }
1246}
1247
1248
1249MaybeObject* MacroAssembler::TryCallApiFunctionAndReturn(ApiFunction* function,
1250 int stack_space) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001251 ExternalReference next_address =
1252 ExternalReference::handle_scope_next_address();
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001253 ExternalReference limit_address =
1254 ExternalReference::handle_scope_limit_address();
lrn@chromium.org303ada72010-10-27 09:33:13 +00001255 ExternalReference level_address =
1256 ExternalReference::handle_scope_level_address();
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001257
lrn@chromium.org303ada72010-10-27 09:33:13 +00001258 // Allocate HandleScope in callee-save registers.
1259 mov(ebx, Operand::StaticVariable(next_address));
1260 mov(edi, Operand::StaticVariable(limit_address));
1261 add(Operand::StaticVariable(level_address), Immediate(1));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001262
lrn@chromium.org303ada72010-10-27 09:33:13 +00001263 // Call the api function!
1264 call(function->address(), RelocInfo::RUNTIME_ENTRY);
1265
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001266 if (!kReturnHandlesDirectly) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00001267 // The returned value is a pointer to the handle holding the result.
1268 // Dereference this to get to the location.
1269 mov(eax, Operand(eax, 0));
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001270 }
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001271
lrn@chromium.org303ada72010-10-27 09:33:13 +00001272 Label empty_handle;
1273 Label prologue;
1274 Label promote_scheduled_exception;
1275 Label delete_allocated_handles;
1276 Label leave_exit_frame;
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001277
lrn@chromium.org303ada72010-10-27 09:33:13 +00001278 // Check if the result handle holds 0.
1279 test(eax, Operand(eax));
1280 j(zero, &empty_handle, not_taken);
1281 // It was non-zero. Dereference to get the result value.
1282 mov(eax, Operand(eax, 0));
1283 bind(&prologue);
1284 // No more valid handles (the result handle was the last one). Restore
1285 // previous handle scope.
1286 mov(Operand::StaticVariable(next_address), ebx);
1287 sub(Operand::StaticVariable(level_address), Immediate(1));
1288 Assert(above_equal, "Invalid HandleScope level");
1289 cmp(edi, Operand::StaticVariable(limit_address));
1290 j(not_equal, &delete_allocated_handles, not_taken);
1291 bind(&leave_exit_frame);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001292
lrn@chromium.org303ada72010-10-27 09:33:13 +00001293 // Check if the function scheduled an exception.
1294 ExternalReference scheduled_exception_address =
1295 ExternalReference::scheduled_exception_address();
1296 cmp(Operand::StaticVariable(scheduled_exception_address),
ager@chromium.org378b34e2011-01-28 08:04:38 +00001297 Immediate(Factory::the_hole_value()));
lrn@chromium.org303ada72010-10-27 09:33:13 +00001298 j(not_equal, &promote_scheduled_exception, not_taken);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001299 LeaveApiExitFrame();
1300 ret(stack_space * kPointerSize);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001301 bind(&promote_scheduled_exception);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001302 MaybeObject* result =
1303 TryTailCallRuntime(Runtime::kPromoteScheduledException, 0, 1);
1304 if (result->IsFailure()) {
1305 return result;
1306 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001307 bind(&empty_handle);
1308 // It was zero; the result is undefined.
1309 mov(eax, Factory::undefined_value());
1310 jmp(&prologue);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001311
lrn@chromium.org303ada72010-10-27 09:33:13 +00001312 // HandleScope limit has changed. Delete allocated extensions.
1313 bind(&delete_allocated_handles);
1314 mov(Operand::StaticVariable(limit_address), edi);
1315 mov(edi, eax);
1316 mov(eax, Immediate(ExternalReference::delete_handle_scope_extensions()));
1317 call(Operand(eax));
1318 mov(eax, edi);
1319 jmp(&leave_exit_frame);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001320
1321 return result;
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001322}
1323
1324
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001325void MacroAssembler::JumpToExternalReference(const ExternalReference& ext) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001326 // Set the entry point and jump to the C entry runtime stub.
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001327 mov(ebx, Immediate(ext));
ager@chromium.orga1645e22009-09-09 19:27:10 +00001328 CEntryStub ces(1);
ager@chromium.org236ad962008-09-25 09:45:57 +00001329 jmp(ces.GetCode(), RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001330}
1331
1332
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001333MaybeObject* MacroAssembler::TryJumpToExternalReference(
1334 const ExternalReference& ext) {
1335 // Set the entry point and jump to the C entry runtime stub.
1336 mov(ebx, Immediate(ext));
1337 CEntryStub ces(1);
1338 return TryTailCallStub(&ces);
1339}
1340
1341
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001342void MacroAssembler::InvokePrologue(const ParameterCount& expected,
1343 const ParameterCount& actual,
1344 Handle<Code> code_constant,
1345 const Operand& code_operand,
1346 Label* done,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001347 InvokeFlag flag,
1348 PostCallGenerator* post_call_generator) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001349 bool definitely_matches = false;
1350 Label invoke;
1351 if (expected.is_immediate()) {
1352 ASSERT(actual.is_immediate());
1353 if (expected.immediate() == actual.immediate()) {
1354 definitely_matches = true;
1355 } else {
1356 mov(eax, actual.immediate());
kasperl@chromium.orgb9123622008-09-17 14:05:56 +00001357 const int sentinel = SharedFunctionInfo::kDontAdaptArgumentsSentinel;
1358 if (expected.immediate() == sentinel) {
1359 // Don't worry about adapting arguments for builtins that
1360 // don't want that done. Skip adaption code by making it look
1361 // like we have a match between expected and actual number of
1362 // arguments.
1363 definitely_matches = true;
1364 } else {
1365 mov(ebx, expected.immediate());
1366 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001367 }
1368 } else {
1369 if (actual.is_immediate()) {
1370 // Expected is in register, actual is immediate. This is the
1371 // case when we invoke function values without going through the
1372 // IC mechanism.
1373 cmp(expected.reg(), actual.immediate());
1374 j(equal, &invoke);
1375 ASSERT(expected.reg().is(ebx));
1376 mov(eax, actual.immediate());
1377 } else if (!expected.reg().is(actual.reg())) {
1378 // Both expected and actual are in (different) registers. This
1379 // is the case when we invoke functions using call and apply.
1380 cmp(expected.reg(), Operand(actual.reg()));
1381 j(equal, &invoke);
1382 ASSERT(actual.reg().is(eax));
1383 ASSERT(expected.reg().is(ebx));
1384 }
1385 }
1386
1387 if (!definitely_matches) {
1388 Handle<Code> adaptor =
1389 Handle<Code>(Builtins::builtin(Builtins::ArgumentsAdaptorTrampoline));
1390 if (!code_constant.is_null()) {
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001391 mov(edx, Immediate(code_constant));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001392 add(Operand(edx), Immediate(Code::kHeaderSize - kHeapObjectTag));
1393 } else if (!code_operand.is_reg(edx)) {
1394 mov(edx, code_operand);
1395 }
1396
1397 if (flag == CALL_FUNCTION) {
ager@chromium.org236ad962008-09-25 09:45:57 +00001398 call(adaptor, RelocInfo::CODE_TARGET);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001399 if (post_call_generator != NULL) post_call_generator->Generate();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001400 jmp(done);
1401 } else {
ager@chromium.org236ad962008-09-25 09:45:57 +00001402 jmp(adaptor, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001403 }
1404 bind(&invoke);
1405 }
1406}
1407
1408
1409void MacroAssembler::InvokeCode(const Operand& code,
1410 const ParameterCount& expected,
1411 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001412 InvokeFlag flag,
1413 PostCallGenerator* post_call_generator) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001414 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001415 InvokePrologue(expected, actual, Handle<Code>::null(), code,
1416 &done, flag, post_call_generator);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001417 if (flag == CALL_FUNCTION) {
1418 call(code);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001419 if (post_call_generator != NULL) post_call_generator->Generate();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001420 } else {
1421 ASSERT(flag == JUMP_FUNCTION);
1422 jmp(code);
1423 }
1424 bind(&done);
1425}
1426
1427
1428void MacroAssembler::InvokeCode(Handle<Code> code,
1429 const ParameterCount& expected,
1430 const ParameterCount& actual,
ager@chromium.org236ad962008-09-25 09:45:57 +00001431 RelocInfo::Mode rmode,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001432 InvokeFlag flag,
1433 PostCallGenerator* post_call_generator) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001434 Label done;
1435 Operand dummy(eax);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001436 InvokePrologue(expected, actual, code, dummy, &done,
1437 flag, post_call_generator);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001438 if (flag == CALL_FUNCTION) {
1439 call(code, rmode);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001440 if (post_call_generator != NULL) post_call_generator->Generate();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001441 } else {
1442 ASSERT(flag == JUMP_FUNCTION);
1443 jmp(code, rmode);
1444 }
1445 bind(&done);
1446}
1447
1448
1449void MacroAssembler::InvokeFunction(Register fun,
1450 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001451 InvokeFlag flag,
1452 PostCallGenerator* post_call_generator) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001453 ASSERT(fun.is(edi));
1454 mov(edx, FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset));
1455 mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
1456 mov(ebx, FieldOperand(edx, SharedFunctionInfo::kFormalParameterCountOffset));
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001457 SmiUntag(ebx);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001458
1459 ParameterCount expected(ebx);
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001460 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001461 expected, actual, flag, post_call_generator);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001462}
1463
1464
ager@chromium.org5c838252010-02-19 08:53:10 +00001465void MacroAssembler::InvokeFunction(JSFunction* function,
1466 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001467 InvokeFlag flag,
1468 PostCallGenerator* post_call_generator) {
ager@chromium.org5c838252010-02-19 08:53:10 +00001469 ASSERT(function->is_compiled());
1470 // Get the function and setup the context.
1471 mov(edi, Immediate(Handle<JSFunction>(function)));
1472 mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001473
ager@chromium.org5c838252010-02-19 08:53:10 +00001474 ParameterCount expected(function->shared()->formal_parameter_count());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001475 if (V8::UseCrankshaft()) {
1476 // TODO(kasperl): For now, we always call indirectly through the
1477 // code field in the function to allow recompilation to take effect
1478 // without changing any of the call sites.
1479 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
1480 expected, actual, flag, post_call_generator);
1481 } else {
1482 Handle<Code> code(function->code());
1483 InvokeCode(code, expected, actual, RelocInfo::CODE_TARGET,
1484 flag, post_call_generator);
1485 }
ager@chromium.org5c838252010-02-19 08:53:10 +00001486}
1487
1488
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001489void MacroAssembler::InvokeBuiltin(Builtins::JavaScript id,
1490 InvokeFlag flag,
1491 PostCallGenerator* post_call_generator) {
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001492 // Calls are not allowed in some stubs.
kasper.lund7276f142008-07-30 08:49:36 +00001493 ASSERT(flag == JUMP_FUNCTION || allow_stub_calls());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001494
1495 // Rely on the assertion to check that the number of provided
1496 // arguments match the expected number of arguments. Fake a
1497 // parameter count to avoid emitting code to do the check.
1498 ParameterCount expected(0);
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001499 GetBuiltinFunction(edi, id);
1500 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001501 expected, expected, flag, post_call_generator);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001502}
1503
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001504void MacroAssembler::GetBuiltinFunction(Register target,
1505 Builtins::JavaScript id) {
1506 // Load the JavaScript builtin function from the builtins object.
1507 mov(target, Operand(esi, Context::SlotOffset(Context::GLOBAL_INDEX)));
1508 mov(target, FieldOperand(target, GlobalObject::kBuiltinsOffset));
1509 mov(target, FieldOperand(target,
1510 JSBuiltinsObject::OffsetOfFunctionWithId(id)));
1511}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001512
1513void MacroAssembler::GetBuiltinEntry(Register target, Builtins::JavaScript id) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00001514 ASSERT(!target.is(edi));
ager@chromium.org5c838252010-02-19 08:53:10 +00001515 // Load the JavaScript builtin function from the builtins object.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001516 GetBuiltinFunction(edi, id);
1517 // Load the code entry point from the function into the target register.
1518 mov(target, FieldOperand(edi, JSFunction::kCodeEntryOffset));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001519}
1520
1521
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001522void MacroAssembler::LoadContext(Register dst, int context_chain_length) {
1523 if (context_chain_length > 0) {
1524 // Move up the chain of contexts to the context containing the slot.
1525 mov(dst, Operand(esi, Context::SlotOffset(Context::CLOSURE_INDEX)));
1526 // Load the function context (which is the incoming, outer context).
1527 mov(dst, FieldOperand(dst, JSFunction::kContextOffset));
1528 for (int i = 1; i < context_chain_length; i++) {
1529 mov(dst, Operand(dst, Context::SlotOffset(Context::CLOSURE_INDEX)));
1530 mov(dst, FieldOperand(dst, JSFunction::kContextOffset));
1531 }
ricow@chromium.org83aa5492011-02-07 12:42:56 +00001532 } else {
1533 // Slot is in the current function context. Move it into the
1534 // destination register in case we store into it (the write barrier
1535 // cannot be allowed to destroy the context in esi).
1536 mov(dst, esi);
1537 }
1538
1539 // We should not have found a 'with' context by walking the context chain
1540 // (i.e., the static scope chain and runtime context chain do not agree).
1541 // A variable occurring in such a scope should have slot type LOOKUP and
1542 // not CONTEXT.
1543 if (FLAG_debug_code) {
1544 cmp(dst, Operand(dst, Context::SlotOffset(Context::FCONTEXT_INDEX)));
1545 Check(equal, "Yo dawg, I heard you liked function contexts "
1546 "so I put function contexts in all your contexts");
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001547 }
1548}
1549
1550
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001551void MacroAssembler::LoadGlobalFunction(int index, Register function) {
1552 // Load the global or builtins object from the current context.
1553 mov(function, Operand(esi, Context::SlotOffset(Context::GLOBAL_INDEX)));
1554 // Load the global context from the global or builtins object.
1555 mov(function, FieldOperand(function, GlobalObject::kGlobalContextOffset));
1556 // Load the function from the global context.
1557 mov(function, Operand(function, Context::SlotOffset(index)));
1558}
1559
1560
1561void MacroAssembler::LoadGlobalFunctionInitialMap(Register function,
1562 Register map) {
1563 // Load the initial map. The global functions all have initial maps.
1564 mov(map, FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
1565 if (FLAG_debug_code) {
1566 Label ok, fail;
1567 CheckMap(map, Factory::meta_map(), &fail, false);
1568 jmp(&ok);
1569 bind(&fail);
1570 Abort("Global functions must have initial map");
1571 bind(&ok);
1572 }
1573}
1574
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001575
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001576int MacroAssembler::SafepointRegisterStackIndex(int reg_code) {
1577 // The registers are pushed starting with the lowest encoding,
1578 // which means that lowest encodings are furthest away from
1579 // the stack pointer.
1580 ASSERT(reg_code >= 0 && reg_code < kNumSafepointRegisters);
1581 return kNumSafepointRegisters - reg_code - 1;
1582}
1583
1584
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001585void MacroAssembler::Ret() {
1586 ret(0);
1587}
1588
1589
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001590void MacroAssembler::Ret(int bytes_dropped, Register scratch) {
1591 if (is_uint16(bytes_dropped)) {
1592 ret(bytes_dropped);
1593 } else {
1594 pop(scratch);
1595 add(Operand(esp), Immediate(bytes_dropped));
1596 push(scratch);
1597 ret(0);
1598 }
1599}
1600
1601
1602
1603
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001604void MacroAssembler::Drop(int stack_elements) {
1605 if (stack_elements > 0) {
1606 add(Operand(esp), Immediate(stack_elements * kPointerSize));
1607 }
1608}
1609
1610
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +00001611void MacroAssembler::Move(Register dst, Register src) {
1612 if (!dst.is(src)) {
1613 mov(dst, src);
1614 }
1615}
1616
1617
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001618void MacroAssembler::Move(Register dst, Handle<Object> value) {
1619 mov(dst, value);
1620}
1621
1622
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001623void MacroAssembler::SetCounter(StatsCounter* counter, int value) {
1624 if (FLAG_native_code_counters && counter->Enabled()) {
1625 mov(Operand::StaticVariable(ExternalReference(counter)), Immediate(value));
1626 }
1627}
1628
1629
1630void MacroAssembler::IncrementCounter(StatsCounter* counter, int value) {
1631 ASSERT(value > 0);
1632 if (FLAG_native_code_counters && counter->Enabled()) {
1633 Operand operand = Operand::StaticVariable(ExternalReference(counter));
1634 if (value == 1) {
1635 inc(operand);
1636 } else {
1637 add(operand, Immediate(value));
1638 }
1639 }
1640}
1641
1642
1643void MacroAssembler::DecrementCounter(StatsCounter* counter, int value) {
1644 ASSERT(value > 0);
1645 if (FLAG_native_code_counters && counter->Enabled()) {
1646 Operand operand = Operand::StaticVariable(ExternalReference(counter));
1647 if (value == 1) {
1648 dec(operand);
1649 } else {
1650 sub(operand, Immediate(value));
1651 }
1652 }
1653}
1654
1655
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001656void MacroAssembler::IncrementCounter(Condition cc,
1657 StatsCounter* counter,
1658 int value) {
1659 ASSERT(value > 0);
1660 if (FLAG_native_code_counters && counter->Enabled()) {
1661 Label skip;
1662 j(NegateCondition(cc), &skip);
1663 pushfd();
1664 IncrementCounter(counter, value);
1665 popfd();
1666 bind(&skip);
1667 }
1668}
1669
1670
1671void MacroAssembler::DecrementCounter(Condition cc,
1672 StatsCounter* counter,
1673 int value) {
1674 ASSERT(value > 0);
1675 if (FLAG_native_code_counters && counter->Enabled()) {
1676 Label skip;
1677 j(NegateCondition(cc), &skip);
1678 pushfd();
1679 DecrementCounter(counter, value);
1680 popfd();
1681 bind(&skip);
1682 }
1683}
1684
1685
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001686void MacroAssembler::Assert(Condition cc, const char* msg) {
1687 if (FLAG_debug_code) Check(cc, msg);
1688}
1689
1690
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00001691void MacroAssembler::AssertFastElements(Register elements) {
1692 if (FLAG_debug_code) {
1693 Label ok;
1694 cmp(FieldOperand(elements, HeapObject::kMapOffset),
1695 Immediate(Factory::fixed_array_map()));
1696 j(equal, &ok);
1697 cmp(FieldOperand(elements, HeapObject::kMapOffset),
1698 Immediate(Factory::fixed_cow_array_map()));
1699 j(equal, &ok);
1700 Abort("JSObject with fast elements map has slow elements");
1701 bind(&ok);
1702 }
1703}
1704
1705
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001706void MacroAssembler::Check(Condition cc, const char* msg) {
1707 Label L;
1708 j(cc, &L, taken);
1709 Abort(msg);
1710 // will not return here
1711 bind(&L);
1712}
1713
1714
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00001715void MacroAssembler::CheckStackAlignment() {
1716 int frame_alignment = OS::ActivationFrameAlignment();
1717 int frame_alignment_mask = frame_alignment - 1;
1718 if (frame_alignment > kPointerSize) {
1719 ASSERT(IsPowerOf2(frame_alignment));
1720 Label alignment_as_expected;
1721 test(esp, Immediate(frame_alignment_mask));
1722 j(zero, &alignment_as_expected);
1723 // Abort if stack is not aligned.
1724 int3();
1725 bind(&alignment_as_expected);
1726 }
1727}
1728
1729
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001730void MacroAssembler::Abort(const char* msg) {
1731 // We want to pass the msg string like a smi to avoid GC
1732 // problems, however msg is not guaranteed to be aligned
1733 // properly. Instead, we pass an aligned pointer that is
ager@chromium.org32912102009-01-16 10:38:43 +00001734 // a proper v8 smi, but also pass the alignment difference
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001735 // from the real pointer as a smi.
1736 intptr_t p1 = reinterpret_cast<intptr_t>(msg);
1737 intptr_t p0 = (p1 & ~kSmiTagMask) + kSmiTag;
1738 ASSERT(reinterpret_cast<Object*>(p0)->IsSmi());
1739#ifdef DEBUG
1740 if (msg != NULL) {
1741 RecordComment("Abort message: ");
1742 RecordComment(msg);
1743 }
1744#endif
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001745 // Disable stub call restrictions to always allow calls to abort.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001746 AllowStubCallsScope allow_scope(this, true);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001747
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001748 push(eax);
1749 push(Immediate(p0));
1750 push(Immediate(reinterpret_cast<intptr_t>(Smi::FromInt(p1 - p0))));
1751 CallRuntime(Runtime::kAbort, 2);
1752 // will not return here
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001753 int3();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001754}
1755
1756
vegorov@chromium.org26c16f82010-08-11 13:41:03 +00001757void MacroAssembler::JumpIfNotNumber(Register reg,
1758 TypeInfo info,
1759 Label* on_not_number) {
1760 if (FLAG_debug_code) AbortIfSmi(reg);
1761 if (!info.IsNumber()) {
1762 cmp(FieldOperand(reg, HeapObject::kMapOffset),
1763 Factory::heap_number_map());
1764 j(not_equal, on_not_number);
1765 }
1766}
1767
1768
1769void MacroAssembler::ConvertToInt32(Register dst,
1770 Register source,
1771 Register scratch,
1772 TypeInfo info,
1773 Label* on_not_int32) {
1774 if (FLAG_debug_code) {
1775 AbortIfSmi(source);
1776 AbortIfNotNumber(source);
1777 }
1778 if (info.IsInteger32()) {
1779 cvttsd2si(dst, FieldOperand(source, HeapNumber::kValueOffset));
1780 } else {
1781 Label done;
1782 bool push_pop = (scratch.is(no_reg) && dst.is(source));
1783 ASSERT(!scratch.is(source));
1784 if (push_pop) {
1785 push(dst);
1786 scratch = dst;
1787 }
1788 if (scratch.is(no_reg)) scratch = dst;
1789 cvttsd2si(scratch, FieldOperand(source, HeapNumber::kValueOffset));
1790 cmp(scratch, 0x80000000u);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001791 if (push_pop) {
vegorov@chromium.org26c16f82010-08-11 13:41:03 +00001792 j(not_equal, &done);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001793 pop(dst);
1794 jmp(on_not_int32);
vegorov@chromium.org26c16f82010-08-11 13:41:03 +00001795 } else {
1796 j(equal, on_not_int32);
1797 }
1798
1799 bind(&done);
1800 if (push_pop) {
1801 add(Operand(esp), Immediate(kPointerSize)); // Pop.
1802 }
1803 if (!scratch.is(dst)) {
1804 mov(dst, scratch);
1805 }
1806 }
1807}
1808
1809
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001810void MacroAssembler::LoadPowerOf2(XMMRegister dst,
1811 Register scratch,
1812 int power) {
1813 ASSERT(is_uintn(power + HeapNumber::kExponentBias,
1814 HeapNumber::kExponentBits));
1815 mov(scratch, Immediate(power + HeapNumber::kExponentBias));
1816 movd(dst, Operand(scratch));
1817 psllq(dst, HeapNumber::kMantissaBits);
1818}
1819
1820
ager@chromium.org5c838252010-02-19 08:53:10 +00001821void MacroAssembler::JumpIfInstanceTypeIsNotSequentialAscii(
1822 Register instance_type,
1823 Register scratch,
whesse@chromium.orgcec079d2010-03-22 14:44:04 +00001824 Label* failure) {
ager@chromium.org5c838252010-02-19 08:53:10 +00001825 if (!scratch.is(instance_type)) {
1826 mov(scratch, instance_type);
1827 }
1828 and_(scratch,
1829 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask);
1830 cmp(scratch, kStringTag | kSeqStringTag | kAsciiStringTag);
1831 j(not_equal, failure);
1832}
1833
1834
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001835void MacroAssembler::JumpIfNotBothSequentialAsciiStrings(Register object1,
1836 Register object2,
1837 Register scratch1,
1838 Register scratch2,
1839 Label* failure) {
1840 // Check that both objects are not smis.
1841 ASSERT_EQ(0, kSmiTag);
1842 mov(scratch1, Operand(object1));
1843 and_(scratch1, Operand(object2));
1844 test(scratch1, Immediate(kSmiTagMask));
1845 j(zero, failure);
1846
1847 // Load instance type for both strings.
1848 mov(scratch1, FieldOperand(object1, HeapObject::kMapOffset));
1849 mov(scratch2, FieldOperand(object2, HeapObject::kMapOffset));
1850 movzx_b(scratch1, FieldOperand(scratch1, Map::kInstanceTypeOffset));
1851 movzx_b(scratch2, FieldOperand(scratch2, Map::kInstanceTypeOffset));
1852
1853 // Check that both are flat ascii strings.
1854 const int kFlatAsciiStringMask =
1855 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
1856 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
1857 // Interleave bits from both instance types and compare them in one check.
1858 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
1859 and_(scratch1, kFlatAsciiStringMask);
1860 and_(scratch2, kFlatAsciiStringMask);
1861 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
1862 cmp(scratch1, kFlatAsciiStringTag | (kFlatAsciiStringTag << 3));
1863 j(not_equal, failure);
1864}
1865
1866
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001867void MacroAssembler::PrepareCallCFunction(int num_arguments, Register scratch) {
1868 int frameAlignment = OS::ActivationFrameAlignment();
1869 if (frameAlignment != 0) {
1870 // Make stack end at alignment and make room for num_arguments words
1871 // and the original value of esp.
1872 mov(scratch, esp);
1873 sub(Operand(esp), Immediate((num_arguments + 1) * kPointerSize));
1874 ASSERT(IsPowerOf2(frameAlignment));
1875 and_(esp, -frameAlignment);
1876 mov(Operand(esp, num_arguments * kPointerSize), scratch);
1877 } else {
1878 sub(Operand(esp), Immediate(num_arguments * kPointerSize));
1879 }
1880}
1881
1882
1883void MacroAssembler::CallCFunction(ExternalReference function,
1884 int num_arguments) {
1885 // Trashing eax is ok as it will be the return value.
1886 mov(Operand(eax), Immediate(function));
1887 CallCFunction(eax, num_arguments);
1888}
1889
1890
1891void MacroAssembler::CallCFunction(Register function,
1892 int num_arguments) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00001893 // Check stack alignment.
1894 if (FLAG_debug_code) {
1895 CheckStackAlignment();
1896 }
1897
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001898 call(Operand(function));
1899 if (OS::ActivationFrameAlignment() != 0) {
1900 mov(esp, Operand(esp, num_arguments * kPointerSize));
1901 } else {
1902 add(Operand(esp), Immediate(num_arguments * sizeof(int32_t)));
1903 }
1904}
1905
1906
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001907CodePatcher::CodePatcher(byte* address, int size)
ager@chromium.orga1645e22009-09-09 19:27:10 +00001908 : address_(address), size_(size), masm_(address, size + Assembler::kGap) {
ager@chromium.org32912102009-01-16 10:38:43 +00001909 // Create a new macro assembler pointing to the address of the code to patch.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001910 // The size is adjusted with kGap on order for the assembler to generate size
1911 // bytes of instructions without failing with buffer size constraints.
1912 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
1913}
1914
1915
1916CodePatcher::~CodePatcher() {
1917 // Indicate that code has changed.
1918 CPU::FlushICache(address_, size_);
1919
1920 // Check that the code was patched as expected.
1921 ASSERT(masm_.pc_ == address_ + size_);
1922 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
1923}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001924
1925
1926} } // namespace v8::internal
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001927
1928#endif // V8_TARGET_ARCH_IA32