blob: f38e2eefa6c4cd9669cbf236e8f4af0bce4b49b8 [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
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +000080void MacroAssembler::ClampDoubleToUint8(XMMRegister input_reg,
81 XMMRegister scratch_reg,
82 Register result_reg) {
83 Label done;
84 ExternalReference zero_ref = ExternalReference::address_of_zero();
85 movdbl(scratch_reg, Operand::StaticVariable(zero_ref));
86 Set(result_reg, Immediate(0));
87 ucomisd(input_reg, scratch_reg);
88 j(below, &done, Label::kNear);
89 ExternalReference half_ref = ExternalReference::address_of_one_half();
90 movdbl(scratch_reg, Operand::StaticVariable(half_ref));
91 addsd(scratch_reg, input_reg);
92 cvttsd2si(result_reg, Operand(scratch_reg));
93 test(result_reg, Immediate(0xFFFFFF00));
94 j(zero, &done, Label::kNear);
95 Set(result_reg, Immediate(255));
96 bind(&done);
97}
98
99
100void MacroAssembler::ClampUint8(Register reg) {
101 Label done;
102 test(reg, Immediate(0xFFFFFF00));
103 j(zero, &done, Label::kNear);
104 setcc(negative, reg); // 1 if negative, 0 if positive.
105 dec_b(reg); // 0 if negative, 255 if positive.
106 bind(&done);
107}
108
109
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000110void MacroAssembler::InNewSpace(Register object,
111 Register scratch,
112 Condition cc,
113 Label* branch,
114 Label::Distance branch_near) {
115 ASSERT(cc == equal || cc == not_equal);
116 if (Serializer::enabled()) {
117 // Can't do arithmetic on external references if it might get serialized.
118 mov(scratch, Operand(object));
119 // The mask isn't really an address. We load it as an external reference in
120 // case the size of the new space is different between the snapshot maker
121 // and the running system.
122 and_(Operand(scratch),
123 Immediate(ExternalReference::new_space_mask(isolate())));
124 cmp(Operand(scratch),
125 Immediate(ExternalReference::new_space_start(isolate())));
126 j(cc, branch, branch_near);
127 } else {
128 int32_t new_space_start = reinterpret_cast<int32_t>(
129 ExternalReference::new_space_start(isolate()).address());
130 lea(scratch, Operand(object, -new_space_start));
131 and_(scratch, isolate()->heap()->NewSpaceMask());
132 j(cc, branch, branch_near);
133 }
134}
135
136
fschneider@chromium.orged78ffd2010-07-21 11:05:19 +0000137void MacroAssembler::RecordWrite(Register object,
138 int offset,
139 Register value,
140 Register scratch) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000141 // First, check if a write barrier is even needed. The tests below
142 // catch stores of Smis and stores into young gen.
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000143 Label done;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000144
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000145 // Skip barrier if writing a smi.
146 ASSERT_EQ(0, kSmiTag);
147 test(value, Immediate(kSmiTagMask));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000148 j(zero, &done, Label::kNear);
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000149
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000150 InNewSpace(object, value, equal, &done, Label::kNear);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000151
whesse@chromium.orge88a9ed2010-04-15 15:07:46 +0000152 // The offset is relative to a tagged or untagged HeapObject pointer,
153 // so either offset or offset + kHeapObjectTag must be a
154 // multiple of kPointerSize.
155 ASSERT(IsAligned(offset, kPointerSize) ||
156 IsAligned(offset + kHeapObjectTag, kPointerSize));
157
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000158 Register dst = scratch;
159 if (offset != 0) {
160 lea(dst, Operand(object, offset));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000161 } else {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000162 // Array access: calculate the destination address in the same manner as
163 // KeyedStoreIC::GenerateGeneric. Multiply a smi by 2 to get an offset
164 // into an array of words.
165 ASSERT_EQ(1, kSmiTagSize);
166 ASSERT_EQ(0, kSmiTag);
167 lea(dst, Operand(object, dst, times_half_pointer_size,
168 FixedArray::kHeaderSize - kHeapObjectTag));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000169 }
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000170 RecordWriteHelper(object, dst, value);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000171
172 bind(&done);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000173
174 // Clobber all input registers when running with the debug-code flag
175 // turned on to provoke errors.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000176 if (emit_debug_code()) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000177 mov(object, Immediate(BitCast<int32_t>(kZapValue)));
178 mov(value, Immediate(BitCast<int32_t>(kZapValue)));
179 mov(scratch, Immediate(BitCast<int32_t>(kZapValue)));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000180 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000181}
182
183
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000184void MacroAssembler::RecordWrite(Register object,
185 Register address,
186 Register value) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000187 // First, check if a write barrier is even needed. The tests below
188 // catch stores of Smis and stores into young gen.
189 Label done;
190
191 // Skip barrier if writing a smi.
192 ASSERT_EQ(0, kSmiTag);
193 test(value, Immediate(kSmiTagMask));
194 j(zero, &done);
195
196 InNewSpace(object, value, equal, &done);
197
198 RecordWriteHelper(object, address, value);
199
200 bind(&done);
201
202 // Clobber all input registers when running with the debug-code flag
203 // turned on to provoke errors.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000204 if (emit_debug_code()) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000205 mov(object, Immediate(BitCast<int32_t>(kZapValue)));
206 mov(address, Immediate(BitCast<int32_t>(kZapValue)));
207 mov(value, Immediate(BitCast<int32_t>(kZapValue)));
208 }
209}
210
211
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000212#ifdef ENABLE_DEBUGGER_SUPPORT
ager@chromium.org5c838252010-02-19 08:53:10 +0000213void MacroAssembler::DebugBreak() {
214 Set(eax, Immediate(0));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000215 mov(ebx, Immediate(ExternalReference(Runtime::kDebugBreak, isolate())));
ager@chromium.org5c838252010-02-19 08:53:10 +0000216 CEntryStub ces(1);
217 call(ces.GetCode(), RelocInfo::DEBUG_BREAK);
218}
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000219#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000220
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000221
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000222void MacroAssembler::Set(Register dst, const Immediate& x) {
223 if (x.is_zero()) {
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000224 xor_(dst, Operand(dst)); // Shorter than mov.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000225 } else {
ager@chromium.org3bf7b912008-11-17 09:09:45 +0000226 mov(dst, x);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000227 }
228}
229
230
231void MacroAssembler::Set(const Operand& dst, const Immediate& x) {
232 mov(dst, x);
233}
234
235
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000236bool MacroAssembler::IsUnsafeImmediate(const Immediate& x) {
237 static const int kMaxImmediateBits = 17;
238 if (x.rmode_ != RelocInfo::NONE) return false;
239 return !is_intn(x.x_, kMaxImmediateBits);
240}
241
242
243void MacroAssembler::SafeSet(Register dst, const Immediate& x) {
244 if (IsUnsafeImmediate(x) && jit_cookie() != 0) {
245 Set(dst, Immediate(x.x_ ^ jit_cookie()));
246 xor_(dst, jit_cookie());
247 } else {
248 Set(dst, x);
249 }
250}
251
252
253void MacroAssembler::SafePush(const Immediate& x) {
254 if (IsUnsafeImmediate(x) && jit_cookie() != 0) {
255 push(Immediate(x.x_ ^ jit_cookie()));
256 xor_(Operand(esp, 0), Immediate(jit_cookie()));
257 } else {
258 push(x);
259 }
260}
261
262
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000263void MacroAssembler::CmpObjectType(Register heap_object,
264 InstanceType type,
265 Register map) {
266 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
267 CmpInstanceType(map, type);
268}
269
270
271void MacroAssembler::CmpInstanceType(Register map, InstanceType type) {
272 cmpb(FieldOperand(map, Map::kInstanceTypeOffset),
273 static_cast<int8_t>(type));
274}
275
276
ager@chromium.org5c838252010-02-19 08:53:10 +0000277void MacroAssembler::CheckMap(Register obj,
278 Handle<Map> map,
279 Label* fail,
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +0000280 SmiCheckType smi_check_type) {
281 if (smi_check_type == DONT_DO_SMI_CHECK) {
282 JumpIfSmi(obj, fail);
ager@chromium.org5c838252010-02-19 08:53:10 +0000283 }
284 cmp(FieldOperand(obj, HeapObject::kMapOffset), Immediate(map));
285 j(not_equal, fail);
286}
287
288
ager@chromium.orgea91cc52011-05-23 06:06:11 +0000289void MacroAssembler::DispatchMap(Register obj,
290 Handle<Map> map,
291 Handle<Code> success,
292 SmiCheckType smi_check_type) {
293 Label fail;
294 if (smi_check_type == DONT_DO_SMI_CHECK) {
295 JumpIfSmi(obj, &fail);
296 }
297 cmp(FieldOperand(obj, HeapObject::kMapOffset), Immediate(map));
298 j(equal, success);
299
300 bind(&fail);
301}
302
303
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000304Condition MacroAssembler::IsObjectStringType(Register heap_object,
305 Register map,
306 Register instance_type) {
307 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
308 movzx_b(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
309 ASSERT(kNotStringTag != 0);
310 test(instance_type, Immediate(kIsNotStringMask));
311 return zero;
312}
313
314
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000315void MacroAssembler::IsObjectJSObjectType(Register heap_object,
316 Register map,
317 Register scratch,
318 Label* fail) {
319 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
320 IsInstanceJSObjectType(map, scratch, fail);
321}
322
323
324void MacroAssembler::IsInstanceJSObjectType(Register map,
325 Register scratch,
326 Label* fail) {
327 movzx_b(scratch, FieldOperand(map, Map::kInstanceTypeOffset));
328 sub(Operand(scratch), Immediate(FIRST_JS_OBJECT_TYPE));
329 cmp(scratch, LAST_JS_OBJECT_TYPE - FIRST_JS_OBJECT_TYPE);
330 j(above, fail);
331}
332
333
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000334void MacroAssembler::FCmp() {
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +0000335 if (CpuFeatures::IsSupported(CMOV)) {
ager@chromium.org3811b432009-10-28 14:53:37 +0000336 fucomip();
337 ffree(0);
338 fincstp();
339 } else {
340 fucompp();
341 push(eax);
342 fnstsw_ax();
343 sahf();
344 pop(eax);
345 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000346}
347
348
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000349void MacroAssembler::AbortIfNotNumber(Register object) {
ager@chromium.org5c838252010-02-19 08:53:10 +0000350 Label ok;
351 test(object, Immediate(kSmiTagMask));
352 j(zero, &ok);
353 cmp(FieldOperand(object, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000354 isolate()->factory()->heap_number_map());
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000355 Assert(equal, "Operand not a number");
ager@chromium.org5c838252010-02-19 08:53:10 +0000356 bind(&ok);
357}
358
359
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000360void MacroAssembler::AbortIfNotSmi(Register object) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000361 test(object, Immediate(kSmiTagMask));
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000362 Assert(equal, "Operand is not a smi");
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000363}
364
365
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000366void MacroAssembler::AbortIfNotString(Register object) {
367 test(object, Immediate(kSmiTagMask));
368 Assert(not_equal, "Operand is not a string");
369 push(object);
370 mov(object, FieldOperand(object, HeapObject::kMapOffset));
371 CmpInstanceType(object, FIRST_NONSTRING_TYPE);
372 pop(object);
373 Assert(below, "Operand is not a string");
374}
375
376
vegorov@chromium.org26c16f82010-08-11 13:41:03 +0000377void MacroAssembler::AbortIfSmi(Register object) {
378 test(object, Immediate(kSmiTagMask));
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000379 Assert(not_equal, "Operand is a smi");
vegorov@chromium.org26c16f82010-08-11 13:41:03 +0000380}
381
382
ager@chromium.org7c537e22008-10-16 08:43:32 +0000383void MacroAssembler::EnterFrame(StackFrame::Type type) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000384 push(ebp);
385 mov(ebp, Operand(esp));
386 push(esi);
387 push(Immediate(Smi::FromInt(type)));
kasperl@chromium.org061ef742009-02-27 12:16:20 +0000388 push(Immediate(CodeObject()));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000389 if (emit_debug_code()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000390 cmp(Operand(esp, 0), Immediate(isolate()->factory()->undefined_value()));
kasperl@chromium.org061ef742009-02-27 12:16:20 +0000391 Check(not_equal, "code object not properly patched");
392 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000393}
394
395
ager@chromium.org7c537e22008-10-16 08:43:32 +0000396void MacroAssembler::LeaveFrame(StackFrame::Type type) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000397 if (emit_debug_code()) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000398 cmp(Operand(ebp, StandardFrameConstants::kMarkerOffset),
399 Immediate(Smi::FromInt(type)));
400 Check(equal, "stack frame types must match");
401 }
402 leave();
403}
404
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000405
406void MacroAssembler::EnterExitFramePrologue() {
ager@chromium.org236ad962008-09-25 09:45:57 +0000407 // Setup the frame structure on the stack.
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000408 ASSERT(ExitFrameConstants::kCallerSPDisplacement == +2 * kPointerSize);
ager@chromium.org236ad962008-09-25 09:45:57 +0000409 ASSERT(ExitFrameConstants::kCallerPCOffset == +1 * kPointerSize);
410 ASSERT(ExitFrameConstants::kCallerFPOffset == 0 * kPointerSize);
411 push(ebp);
412 mov(ebp, Operand(esp));
413
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000414 // Reserve room for entry stack pointer and push the code object.
ager@chromium.org236ad962008-09-25 09:45:57 +0000415 ASSERT(ExitFrameConstants::kSPOffset == -1 * kPointerSize);
ager@chromium.org5c838252010-02-19 08:53:10 +0000416 push(Immediate(0)); // Saved entry sp, patched before call.
417 push(Immediate(CodeObject())); // Accessed from ExitFrame::code_slot.
ager@chromium.org236ad962008-09-25 09:45:57 +0000418
419 // Save the frame pointer and the context in top.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000420 ExternalReference c_entry_fp_address(Isolate::k_c_entry_fp_address,
421 isolate());
422 ExternalReference context_address(Isolate::k_context_address,
423 isolate());
ager@chromium.org236ad962008-09-25 09:45:57 +0000424 mov(Operand::StaticVariable(c_entry_fp_address), ebp);
425 mov(Operand::StaticVariable(context_address), esi);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000426}
ager@chromium.org236ad962008-09-25 09:45:57 +0000427
ager@chromium.org236ad962008-09-25 09:45:57 +0000428
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000429void MacroAssembler::EnterExitFrameEpilogue(int argc, bool save_doubles) {
430 // Optionally save all XMM registers.
431 if (save_doubles) {
432 CpuFeatures::Scope scope(SSE2);
433 int space = XMMRegister::kNumRegisters * kDoubleSize + argc * kPointerSize;
434 sub(Operand(esp), Immediate(space));
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000435 const int offset = -2 * kPointerSize;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000436 for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
437 XMMRegister reg = XMMRegister::from_code(i);
438 movdbl(Operand(ebp, offset - ((i + 1) * kDoubleSize)), reg);
439 }
440 } else {
441 sub(Operand(esp), Immediate(argc * kPointerSize));
442 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000443
444 // Get the required frame alignment for the OS.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000445 const int kFrameAlignment = OS::ActivationFrameAlignment();
ager@chromium.org236ad962008-09-25 09:45:57 +0000446 if (kFrameAlignment > 0) {
447 ASSERT(IsPowerOf2(kFrameAlignment));
448 and_(esp, -kFrameAlignment);
449 }
450
451 // Patch the saved entry sp.
452 mov(Operand(ebp, ExitFrameConstants::kSPOffset), esp);
453}
454
455
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000456void MacroAssembler::EnterExitFrame(bool save_doubles) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000457 EnterExitFramePrologue();
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000458
459 // Setup argc and argv in callee-saved registers.
460 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
461 mov(edi, Operand(eax));
462 lea(esi, Operand(ebp, eax, times_4, offset));
463
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000464 // Reserve space for argc, argv and isolate.
465 EnterExitFrameEpilogue(3, save_doubles);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000466}
467
468
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000469void MacroAssembler::EnterApiExitFrame(int argc) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000470 EnterExitFramePrologue();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000471 EnterExitFrameEpilogue(argc, false);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000472}
473
474
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000475void MacroAssembler::LeaveExitFrame(bool save_doubles) {
476 // Optionally restore all XMM registers.
477 if (save_doubles) {
478 CpuFeatures::Scope scope(SSE2);
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000479 const int offset = -2 * kPointerSize;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000480 for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
481 XMMRegister reg = XMMRegister::from_code(i);
482 movdbl(reg, Operand(ebp, offset - ((i + 1) * kDoubleSize)));
483 }
484 }
485
ager@chromium.org236ad962008-09-25 09:45:57 +0000486 // Get the return address from the stack and restore the frame pointer.
487 mov(ecx, Operand(ebp, 1 * kPointerSize));
488 mov(ebp, Operand(ebp, 0 * kPointerSize));
489
490 // Pop the arguments and the receiver from the caller stack.
491 lea(esp, Operand(esi, 1 * kPointerSize));
492
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000493 // Push the return address to get ready to return.
494 push(ecx);
495
496 LeaveExitFrameEpilogue();
497}
498
499void MacroAssembler::LeaveExitFrameEpilogue() {
ager@chromium.org236ad962008-09-25 09:45:57 +0000500 // Restore current context from top and clear it in debug mode.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000501 ExternalReference context_address(Isolate::k_context_address, isolate());
ager@chromium.org236ad962008-09-25 09:45:57 +0000502 mov(esi, Operand::StaticVariable(context_address));
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000503#ifdef DEBUG
504 mov(Operand::StaticVariable(context_address), Immediate(0));
505#endif
ager@chromium.org236ad962008-09-25 09:45:57 +0000506
ager@chromium.org236ad962008-09-25 09:45:57 +0000507 // Clear the top frame.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000508 ExternalReference c_entry_fp_address(Isolate::k_c_entry_fp_address,
509 isolate());
ager@chromium.org236ad962008-09-25 09:45:57 +0000510 mov(Operand::StaticVariable(c_entry_fp_address), Immediate(0));
511}
512
513
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000514void MacroAssembler::LeaveApiExitFrame() {
515 mov(esp, Operand(ebp));
516 pop(ebp);
517
518 LeaveExitFrameEpilogue();
519}
520
521
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000522void MacroAssembler::PushTryHandler(CodeLocation try_location,
523 HandlerType type) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000524 // Adjust this code if not the case.
525 ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000526 // The pc (return address) is already on TOS.
527 if (try_location == IN_JAVASCRIPT) {
528 if (type == TRY_CATCH_HANDLER) {
529 push(Immediate(StackHandler::TRY_CATCH));
530 } else {
531 push(Immediate(StackHandler::TRY_FINALLY));
532 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000533 push(ebp);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000534 } else {
535 ASSERT(try_location == IN_JS_ENTRY);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000536 // The frame pointer does not point to a JS frame so we save NULL
537 // for ebp. We expect the code throwing an exception to check ebp
538 // before dereferencing it to restore the context.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000539 push(Immediate(StackHandler::ENTRY));
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000540 push(Immediate(0)); // NULL frame pointer.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000541 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000542 // Save the current handler as the next handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000543 push(Operand::StaticVariable(ExternalReference(Isolate::k_handler_address,
544 isolate())));
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000545 // Link this handler as the new current one.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000546 mov(Operand::StaticVariable(ExternalReference(Isolate::k_handler_address,
547 isolate())),
548 esp);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000549}
550
551
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000552void MacroAssembler::PopTryHandler() {
553 ASSERT_EQ(0, StackHandlerConstants::kNextOffset);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000554 pop(Operand::StaticVariable(ExternalReference(Isolate::k_handler_address,
555 isolate())));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000556 add(Operand(esp), Immediate(StackHandlerConstants::kSize - kPointerSize));
557}
558
559
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000560void MacroAssembler::Throw(Register value) {
561 // Adjust this code if not the case.
562 STATIC_ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
563
564 // eax must hold the exception.
565 if (!value.is(eax)) {
566 mov(eax, value);
567 }
568
569 // Drop the sp to the top of the handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000570 ExternalReference handler_address(Isolate::k_handler_address,
571 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000572 mov(esp, Operand::StaticVariable(handler_address));
573
574 // Restore next handler and frame pointer, discard handler state.
575 STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
576 pop(Operand::StaticVariable(handler_address));
577 STATIC_ASSERT(StackHandlerConstants::kFPOffset == 1 * kPointerSize);
578 pop(ebp);
579 pop(edx); // Remove state.
580
581 // Before returning we restore the context from the frame pointer if
582 // not NULL. The frame pointer is NULL in the exception handler of
583 // a JS entry frame.
584 Set(esi, Immediate(0)); // Tentatively set context pointer to NULL.
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000585 Label skip;
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000586 cmp(ebp, 0);
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000587 j(equal, &skip, Label::kNear);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000588 mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
589 bind(&skip);
590
591 STATIC_ASSERT(StackHandlerConstants::kPCOffset == 3 * kPointerSize);
592 ret(0);
593}
594
595
596void MacroAssembler::ThrowUncatchable(UncatchableExceptionType type,
597 Register value) {
598 // Adjust this code if not the case.
599 STATIC_ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
600
601 // eax must hold the exception.
602 if (!value.is(eax)) {
603 mov(eax, value);
604 }
605
606 // Drop sp to the top stack handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000607 ExternalReference handler_address(Isolate::k_handler_address,
608 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000609 mov(esp, Operand::StaticVariable(handler_address));
610
611 // Unwind the handlers until the ENTRY handler is found.
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000612 Label loop, done;
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000613 bind(&loop);
614 // Load the type of the current stack handler.
615 const int kStateOffset = StackHandlerConstants::kStateOffset;
616 cmp(Operand(esp, kStateOffset), Immediate(StackHandler::ENTRY));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000617 j(equal, &done, Label::kNear);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000618 // Fetch the next handler in the list.
619 const int kNextOffset = StackHandlerConstants::kNextOffset;
620 mov(esp, Operand(esp, kNextOffset));
621 jmp(&loop);
622 bind(&done);
623
624 // Set the top handler address to next handler past the current ENTRY handler.
625 STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
626 pop(Operand::StaticVariable(handler_address));
627
628 if (type == OUT_OF_MEMORY) {
629 // Set external caught exception to false.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000630 ExternalReference external_caught(
631 Isolate::k_external_caught_exception_address,
632 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000633 mov(eax, false);
634 mov(Operand::StaticVariable(external_caught), eax);
635
636 // Set pending exception and eax to out of memory exception.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000637 ExternalReference pending_exception(Isolate::k_pending_exception_address,
638 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000639 mov(eax, reinterpret_cast<int32_t>(Failure::OutOfMemoryException()));
640 mov(Operand::StaticVariable(pending_exception), eax);
641 }
642
643 // Clear the context pointer.
644 Set(esi, Immediate(0));
645
646 // Restore fp from handler and discard handler state.
647 STATIC_ASSERT(StackHandlerConstants::kFPOffset == 1 * kPointerSize);
648 pop(ebp);
649 pop(edx); // State.
650
651 STATIC_ASSERT(StackHandlerConstants::kPCOffset == 3 * kPointerSize);
652 ret(0);
653}
654
655
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000656void MacroAssembler::CheckAccessGlobalProxy(Register holder_reg,
ager@chromium.orge2902be2009-06-08 12:21:35 +0000657 Register scratch,
658 Label* miss) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000659 Label same_contexts;
660
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000661 ASSERT(!holder_reg.is(scratch));
662
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000663 // Load current lexical context from the stack frame.
664 mov(scratch, Operand(ebp, StandardFrameConstants::kContextOffset));
665
666 // When generating debug code, make sure the lexical context is set.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000667 if (emit_debug_code()) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000668 cmp(Operand(scratch), Immediate(0));
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000669 Check(not_equal, "we should not have an empty lexical context");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000670 }
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000671 // Load the global context of the current context.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000672 int offset = Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
673 mov(scratch, FieldOperand(scratch, offset));
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000674 mov(scratch, FieldOperand(scratch, GlobalObject::kGlobalContextOffset));
675
676 // Check the context is a global context.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000677 if (emit_debug_code()) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000678 push(scratch);
679 // Read the first word and compare to global_context_map.
680 mov(scratch, FieldOperand(scratch, HeapObject::kMapOffset));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000681 cmp(scratch, isolate()->factory()->global_context_map());
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000682 Check(equal, "JSGlobalObject::global_context should be a global context.");
683 pop(scratch);
684 }
685
686 // Check if both contexts are the same.
687 cmp(scratch, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000688 j(equal, &same_contexts);
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000689
690 // Compare security tokens, save holder_reg on the stack so we can use it
691 // as a temporary register.
692 //
693 // TODO(119): avoid push(holder_reg)/pop(holder_reg)
694 push(holder_reg);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000695 // Check that the security token in the calling global object is
696 // compatible with the security token in the receiving global
697 // object.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000698 mov(holder_reg, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
699
700 // Check the context is a global context.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000701 if (emit_debug_code()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000702 cmp(holder_reg, isolate()->factory()->null_value());
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000703 Check(not_equal, "JSGlobalProxy::context() should not be null.");
704
705 push(holder_reg);
706 // Read the first word and compare to global_context_map(),
707 mov(holder_reg, FieldOperand(holder_reg, HeapObject::kMapOffset));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000708 cmp(holder_reg, isolate()->factory()->global_context_map());
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000709 Check(equal, "JSGlobalObject::global_context should be a global context.");
710 pop(holder_reg);
711 }
712
713 int token_offset = Context::kHeaderSize +
714 Context::SECURITY_TOKEN_INDEX * kPointerSize;
715 mov(scratch, FieldOperand(scratch, token_offset));
716 cmp(scratch, FieldOperand(holder_reg, token_offset));
717 pop(holder_reg);
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000718 j(not_equal, miss);
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000719
720 bind(&same_contexts);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000721}
722
723
ager@chromium.orga1645e22009-09-09 19:27:10 +0000724void MacroAssembler::LoadAllocationTopHelper(Register result,
ager@chromium.orga1645e22009-09-09 19:27:10 +0000725 Register scratch,
726 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000727 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000728 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000729
730 // Just return if allocation top is already known.
ager@chromium.orga1645e22009-09-09 19:27:10 +0000731 if ((flags & RESULT_CONTAINS_TOP) != 0) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000732 // No use of scratch if allocation top is provided.
733 ASSERT(scratch.is(no_reg));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000734#ifdef DEBUG
735 // Assert that result actually contains top on entry.
736 cmp(result, Operand::StaticVariable(new_space_allocation_top));
737 Check(equal, "Unexpected allocation top");
738#endif
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000739 return;
740 }
741
742 // Move address of new object to result. Use scratch register if available.
743 if (scratch.is(no_reg)) {
744 mov(result, Operand::StaticVariable(new_space_allocation_top));
745 } else {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000746 mov(Operand(scratch), Immediate(new_space_allocation_top));
747 mov(result, Operand(scratch, 0));
748 }
749}
750
751
752void MacroAssembler::UpdateAllocationTopHelper(Register result_end,
753 Register scratch) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000754 if (emit_debug_code()) {
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000755 test(result_end, Immediate(kObjectAlignmentMask));
756 Check(zero, "Unaligned allocation in new space");
757 }
758
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000759 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000760 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000761
762 // Update new top. Use scratch if available.
763 if (scratch.is(no_reg)) {
764 mov(Operand::StaticVariable(new_space_allocation_top), result_end);
765 } else {
766 mov(Operand(scratch, 0), result_end);
767 }
768}
769
ager@chromium.orga1645e22009-09-09 19:27:10 +0000770
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000771void MacroAssembler::AllocateInNewSpace(int object_size,
772 Register result,
773 Register result_end,
774 Register scratch,
775 Label* gc_required,
776 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000777 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000778 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000779 // Trash the registers to simulate an allocation failure.
780 mov(result, Immediate(0x7091));
781 if (result_end.is_valid()) {
782 mov(result_end, Immediate(0x7191));
783 }
784 if (scratch.is_valid()) {
785 mov(scratch, Immediate(0x7291));
786 }
787 }
788 jmp(gc_required);
789 return;
790 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000791 ASSERT(!result.is(result_end));
792
793 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +0000794 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000795
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000796 Register top_reg = result_end.is_valid() ? result_end : result;
797
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000798 // Calculate new top and bail out if new space is exhausted.
799 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000800 ExternalReference::new_space_allocation_limit_address(isolate());
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000801
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000802 if (!top_reg.is(result)) {
803 mov(top_reg, result);
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000804 }
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000805 add(Operand(top_reg), Immediate(object_size));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000806 j(carry, gc_required);
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000807 cmp(top_reg, Operand::StaticVariable(new_space_allocation_limit));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000808 j(above, gc_required);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000809
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000810 // Update allocation top.
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000811 UpdateAllocationTopHelper(top_reg, scratch);
812
813 // Tag result if requested.
814 if (top_reg.is(result)) {
815 if ((flags & TAG_OBJECT) != 0) {
816 sub(Operand(result), Immediate(object_size - kHeapObjectTag));
817 } else {
818 sub(Operand(result), Immediate(object_size));
819 }
820 } else if ((flags & TAG_OBJECT) != 0) {
821 add(Operand(result), Immediate(kHeapObjectTag));
822 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000823}
824
825
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000826void MacroAssembler::AllocateInNewSpace(int header_size,
827 ScaleFactor element_size,
828 Register element_count,
829 Register result,
830 Register result_end,
831 Register scratch,
832 Label* gc_required,
833 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000834 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000835 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000836 // Trash the registers to simulate an allocation failure.
837 mov(result, Immediate(0x7091));
838 mov(result_end, Immediate(0x7191));
839 if (scratch.is_valid()) {
840 mov(scratch, Immediate(0x7291));
841 }
842 // Register element_count is not modified by the function.
843 }
844 jmp(gc_required);
845 return;
846 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000847 ASSERT(!result.is(result_end));
848
849 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +0000850 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000851
852 // Calculate new top and bail out if new space is exhausted.
853 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000854 ExternalReference::new_space_allocation_limit_address(isolate());
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000855
856 // We assume that element_count*element_size + header_size does not
857 // overflow.
858 lea(result_end, Operand(element_count, element_size, header_size));
859 add(result_end, Operand(result));
860 j(carry, gc_required);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000861 cmp(result_end, Operand::StaticVariable(new_space_allocation_limit));
862 j(above, gc_required);
863
ager@chromium.orga1645e22009-09-09 19:27:10 +0000864 // Tag result if requested.
865 if ((flags & TAG_OBJECT) != 0) {
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000866 lea(result, Operand(result, kHeapObjectTag));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000867 }
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000868
869 // Update allocation top.
870 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000871}
872
873
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000874void MacroAssembler::AllocateInNewSpace(Register object_size,
875 Register result,
876 Register result_end,
877 Register scratch,
878 Label* gc_required,
879 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000880 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000881 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000882 // Trash the registers to simulate an allocation failure.
883 mov(result, Immediate(0x7091));
884 mov(result_end, Immediate(0x7191));
885 if (scratch.is_valid()) {
886 mov(scratch, Immediate(0x7291));
887 }
888 // object_size is left unchanged by this function.
889 }
890 jmp(gc_required);
891 return;
892 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000893 ASSERT(!result.is(result_end));
894
895 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +0000896 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000897
898 // Calculate new top and bail out if new space is exhausted.
899 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000900 ExternalReference::new_space_allocation_limit_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000901 if (!object_size.is(result_end)) {
902 mov(result_end, object_size);
903 }
904 add(result_end, Operand(result));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000905 j(carry, gc_required);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000906 cmp(result_end, Operand::StaticVariable(new_space_allocation_limit));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000907 j(above, gc_required);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000908
ager@chromium.orga1645e22009-09-09 19:27:10 +0000909 // Tag result if requested.
910 if ((flags & TAG_OBJECT) != 0) {
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000911 lea(result, Operand(result, kHeapObjectTag));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000912 }
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000913
914 // Update allocation top.
915 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000916}
917
918
919void MacroAssembler::UndoAllocationInNewSpace(Register object) {
920 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000921 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000922
923 // Make sure the object has no tag before resetting top.
924 and_(Operand(object), Immediate(~kHeapObjectTagMask));
925#ifdef DEBUG
926 cmp(object, Operand::StaticVariable(new_space_allocation_top));
927 Check(below, "Undo allocation of non allocated memory");
928#endif
929 mov(Operand::StaticVariable(new_space_allocation_top), object);
930}
931
932
ager@chromium.org3811b432009-10-28 14:53:37 +0000933void MacroAssembler::AllocateHeapNumber(Register result,
934 Register scratch1,
935 Register scratch2,
936 Label* gc_required) {
937 // Allocate heap number in new space.
938 AllocateInNewSpace(HeapNumber::kSize,
939 result,
940 scratch1,
941 scratch2,
942 gc_required,
943 TAG_OBJECT);
944
945 // Set the map.
946 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000947 Immediate(isolate()->factory()->heap_number_map()));
ager@chromium.org3811b432009-10-28 14:53:37 +0000948}
949
950
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000951void MacroAssembler::AllocateTwoByteString(Register result,
952 Register length,
953 Register scratch1,
954 Register scratch2,
955 Register scratch3,
956 Label* gc_required) {
957 // Calculate the number of bytes needed for the characters in the string while
958 // observing object alignment.
959 ASSERT((SeqTwoByteString::kHeaderSize & kObjectAlignmentMask) == 0);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000960 ASSERT(kShortSize == 2);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000961 // scratch1 = length * 2 + kObjectAlignmentMask.
962 lea(scratch1, Operand(length, length, times_1, kObjectAlignmentMask));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000963 and_(Operand(scratch1), Immediate(~kObjectAlignmentMask));
964
965 // Allocate two byte string in new space.
966 AllocateInNewSpace(SeqTwoByteString::kHeaderSize,
967 times_1,
968 scratch1,
969 result,
970 scratch2,
971 scratch3,
972 gc_required,
973 TAG_OBJECT);
974
975 // Set the map, length and hash field.
976 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000977 Immediate(isolate()->factory()->string_map()));
ager@chromium.orgac091b72010-05-05 07:34:42 +0000978 mov(scratch1, length);
979 SmiTag(scratch1);
980 mov(FieldOperand(result, String::kLengthOffset), scratch1);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000981 mov(FieldOperand(result, String::kHashFieldOffset),
982 Immediate(String::kEmptyHashField));
983}
984
985
986void MacroAssembler::AllocateAsciiString(Register result,
987 Register length,
988 Register scratch1,
989 Register scratch2,
990 Register scratch3,
991 Label* gc_required) {
992 // Calculate the number of bytes needed for the characters in the string while
993 // observing object alignment.
994 ASSERT((SeqAsciiString::kHeaderSize & kObjectAlignmentMask) == 0);
995 mov(scratch1, length);
996 ASSERT(kCharSize == 1);
997 add(Operand(scratch1), Immediate(kObjectAlignmentMask));
998 and_(Operand(scratch1), Immediate(~kObjectAlignmentMask));
999
1000 // Allocate ascii string in new space.
1001 AllocateInNewSpace(SeqAsciiString::kHeaderSize,
1002 times_1,
1003 scratch1,
1004 result,
1005 scratch2,
1006 scratch3,
1007 gc_required,
1008 TAG_OBJECT);
1009
1010 // Set the map, length and hash field.
1011 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001012 Immediate(isolate()->factory()->ascii_string_map()));
ager@chromium.orgac091b72010-05-05 07:34:42 +00001013 mov(scratch1, length);
1014 SmiTag(scratch1);
1015 mov(FieldOperand(result, String::kLengthOffset), scratch1);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001016 mov(FieldOperand(result, String::kHashFieldOffset),
1017 Immediate(String::kEmptyHashField));
1018}
1019
1020
kmillikin@chromium.org3cdd9e12010-09-06 11:39:48 +00001021void MacroAssembler::AllocateAsciiString(Register result,
1022 int length,
1023 Register scratch1,
1024 Register scratch2,
1025 Label* gc_required) {
1026 ASSERT(length > 0);
1027
1028 // Allocate ascii string in new space.
1029 AllocateInNewSpace(SeqAsciiString::SizeFor(length),
1030 result,
1031 scratch1,
1032 scratch2,
1033 gc_required,
1034 TAG_OBJECT);
1035
1036 // Set the map, length and hash field.
1037 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001038 Immediate(isolate()->factory()->ascii_string_map()));
kmillikin@chromium.org3cdd9e12010-09-06 11:39:48 +00001039 mov(FieldOperand(result, String::kLengthOffset),
1040 Immediate(Smi::FromInt(length)));
1041 mov(FieldOperand(result, String::kHashFieldOffset),
1042 Immediate(String::kEmptyHashField));
1043}
1044
1045
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001046void MacroAssembler::AllocateConsString(Register result,
1047 Register scratch1,
1048 Register scratch2,
1049 Label* gc_required) {
1050 // Allocate heap number in new space.
1051 AllocateInNewSpace(ConsString::kSize,
1052 result,
1053 scratch1,
1054 scratch2,
1055 gc_required,
1056 TAG_OBJECT);
1057
1058 // Set the map. The other fields are left uninitialized.
1059 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001060 Immediate(isolate()->factory()->cons_string_map()));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001061}
1062
1063
1064void MacroAssembler::AllocateAsciiConsString(Register result,
1065 Register scratch1,
1066 Register scratch2,
1067 Label* gc_required) {
1068 // Allocate heap number in new space.
1069 AllocateInNewSpace(ConsString::kSize,
1070 result,
1071 scratch1,
1072 scratch2,
1073 gc_required,
1074 TAG_OBJECT);
1075
1076 // Set the map. The other fields are left uninitialized.
1077 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001078 Immediate(isolate()->factory()->cons_ascii_string_map()));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001079}
1080
vegorov@chromium.org21b5e952010-11-23 10:24:40 +00001081
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00001082// Copy memory, byte-by-byte, from source to destination. Not optimized for
1083// long or aligned copies. The contents of scratch and length are destroyed.
1084// Source and destination are incremented by length.
1085// Many variants of movsb, loop unrolling, word moves, and indexed operands
1086// have been tried here already, and this is fastest.
1087// A simpler loop is faster on small copies, but 30% slower on large ones.
1088// The cld() instruction must have been emitted, to set the direction flag(),
1089// before calling this function.
1090void MacroAssembler::CopyBytes(Register source,
1091 Register destination,
1092 Register length,
1093 Register scratch) {
1094 Label loop, done, short_string, short_loop;
1095 // Experimentation shows that the short string loop is faster if length < 10.
1096 cmp(Operand(length), Immediate(10));
1097 j(less_equal, &short_string);
1098
1099 ASSERT(source.is(esi));
1100 ASSERT(destination.is(edi));
1101 ASSERT(length.is(ecx));
1102
1103 // Because source is 4-byte aligned in our uses of this function,
1104 // we keep source aligned for the rep_movs call by copying the odd bytes
1105 // at the end of the ranges.
1106 mov(scratch, Operand(source, length, times_1, -4));
1107 mov(Operand(destination, length, times_1, -4), scratch);
1108 mov(scratch, ecx);
1109 shr(ecx, 2);
1110 rep_movs();
1111 and_(Operand(scratch), Immediate(0x3));
1112 add(destination, Operand(scratch));
1113 jmp(&done);
1114
1115 bind(&short_string);
1116 test(length, Operand(length));
1117 j(zero, &done);
1118
1119 bind(&short_loop);
1120 mov_b(scratch, Operand(source, 0));
1121 mov_b(Operand(destination, 0), scratch);
1122 inc(source);
1123 inc(destination);
1124 dec(length);
1125 j(not_zero, &short_loop);
1126
1127 bind(&done);
vegorov@chromium.org21b5e952010-11-23 10:24:40 +00001128}
1129
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001130
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001131void MacroAssembler::NegativeZeroTest(Register result,
1132 Register op,
1133 Label* then_label) {
1134 Label ok;
1135 test(result, Operand(result));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001136 j(not_zero, &ok);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001137 test(op, Operand(op));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001138 j(sign, then_label);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001139 bind(&ok);
1140}
1141
1142
1143void MacroAssembler::NegativeZeroTest(Register result,
1144 Register op1,
1145 Register op2,
1146 Register scratch,
1147 Label* then_label) {
1148 Label ok;
1149 test(result, Operand(result));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001150 j(not_zero, &ok);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001151 mov(scratch, Operand(op1));
1152 or_(scratch, Operand(op2));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001153 j(sign, then_label);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001154 bind(&ok);
1155}
1156
1157
ager@chromium.org7c537e22008-10-16 08:43:32 +00001158void MacroAssembler::TryGetFunctionPrototype(Register function,
1159 Register result,
1160 Register scratch,
1161 Label* miss) {
1162 // Check that the receiver isn't a smi.
1163 test(function, Immediate(kSmiTagMask));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001164 j(zero, miss);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001165
1166 // Check that the function really is a function.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001167 CmpObjectType(function, JS_FUNCTION_TYPE, result);
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001168 j(not_equal, miss);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001169
1170 // Make sure that the function has an instance prototype.
1171 Label non_instance;
1172 movzx_b(scratch, FieldOperand(result, Map::kBitFieldOffset));
1173 test(scratch, Immediate(1 << Map::kHasNonInstancePrototype));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001174 j(not_zero, &non_instance);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001175
1176 // Get the prototype or initial map from the function.
1177 mov(result,
1178 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
1179
1180 // If the prototype or initial map is the hole, don't return it and
1181 // simply miss the cache instead. This will allow us to allocate a
1182 // prototype object on-demand in the runtime system.
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001183 cmp(Operand(result), Immediate(isolate()->factory()->the_hole_value()));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001184 j(equal, miss);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001185
1186 // If the function does not have an initial map, we're done.
1187 Label done;
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001188 CmpObjectType(result, MAP_TYPE, scratch);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001189 j(not_equal, &done);
1190
1191 // Get the prototype from the initial map.
1192 mov(result, FieldOperand(result, Map::kPrototypeOffset));
1193 jmp(&done);
1194
1195 // Non-instance prototype: Fetch prototype from constructor field
1196 // in initial map.
1197 bind(&non_instance);
1198 mov(result, FieldOperand(result, Map::kConstructorOffset));
1199
1200 // All done.
1201 bind(&done);
1202}
1203
1204
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00001205void MacroAssembler::CallStub(CodeStub* stub, unsigned ast_id) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001206 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00001207 call(stub->GetCode(), RelocInfo::CODE_TARGET, ast_id);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001208}
1209
1210
lrn@chromium.org303ada72010-10-27 09:33:13 +00001211MaybeObject* MacroAssembler::TryCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001212 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
lrn@chromium.org303ada72010-10-27 09:33:13 +00001213 Object* result;
1214 { MaybeObject* maybe_result = stub->TryGetCode();
1215 if (!maybe_result->ToObject(&result)) return maybe_result;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001216 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001217 call(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001218 return result;
1219}
1220
1221
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001222void MacroAssembler::TailCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001223 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001224 jmp(stub->GetCode(), RelocInfo::CODE_TARGET);
1225}
1226
1227
lrn@chromium.org303ada72010-10-27 09:33:13 +00001228MaybeObject* MacroAssembler::TryTailCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001229 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
lrn@chromium.org303ada72010-10-27 09:33:13 +00001230 Object* result;
1231 { MaybeObject* maybe_result = stub->TryGetCode();
1232 if (!maybe_result->ToObject(&result)) return maybe_result;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001233 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001234 jmp(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001235 return result;
1236}
1237
1238
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001239void MacroAssembler::StubReturn(int argc) {
1240 ASSERT(argc >= 1 && generating_stub());
1241 ret((argc - 1) * kPointerSize);
1242}
1243
1244
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00001245void MacroAssembler::IllegalOperation(int num_arguments) {
1246 if (num_arguments > 0) {
1247 add(Operand(esp), Immediate(num_arguments * kPointerSize));
1248 }
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001249 mov(eax, Immediate(isolate()->factory()->undefined_value()));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001250}
1251
1252
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001253void MacroAssembler::IndexFromHash(Register hash, Register index) {
1254 // The assert checks that the constants for the maximum number of digits
1255 // for an array index cached in the hash field and the number of bits
1256 // reserved for it does not conflict.
1257 ASSERT(TenToThe(String::kMaxCachedArrayIndexLength) <
1258 (1 << String::kArrayIndexValueBits));
1259 // We want the smi-tagged index in key. kArrayIndexValueMask has zeros in
1260 // the low kHashShift bits.
1261 and_(hash, String::kArrayIndexValueMask);
1262 STATIC_ASSERT(String::kHashShift >= kSmiTagSize && kSmiTag == 0);
1263 if (String::kHashShift > kSmiTagSize) {
1264 shr(hash, String::kHashShift - kSmiTagSize);
1265 }
1266 if (!index.is(hash)) {
1267 mov(index, hash);
1268 }
1269}
1270
1271
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001272void MacroAssembler::CallRuntime(Runtime::FunctionId id, int num_arguments) {
1273 CallRuntime(Runtime::FunctionForId(id), num_arguments);
1274}
1275
1276
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001277void MacroAssembler::CallRuntimeSaveDoubles(Runtime::FunctionId id) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001278 const Runtime::Function* function = Runtime::FunctionForId(id);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001279 Set(eax, Immediate(function->nargs));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001280 mov(ebx, Immediate(ExternalReference(function, isolate())));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001281 CEntryStub ces(1);
1282 ces.SaveDoubles();
1283 CallStub(&ces);
1284}
1285
1286
lrn@chromium.org303ada72010-10-27 09:33:13 +00001287MaybeObject* MacroAssembler::TryCallRuntime(Runtime::FunctionId id,
1288 int num_arguments) {
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001289 return TryCallRuntime(Runtime::FunctionForId(id), num_arguments);
1290}
1291
1292
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001293void MacroAssembler::CallRuntime(const Runtime::Function* f,
1294 int num_arguments) {
mads.s.ager31e71382008-08-13 09:32:07 +00001295 // If the expected number of arguments of the runtime function is
1296 // constant, we check that the actual number of arguments match the
1297 // expectation.
1298 if (f->nargs >= 0 && f->nargs != num_arguments) {
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00001299 IllegalOperation(num_arguments);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001300 return;
1301 }
1302
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001303 // TODO(1236192): Most runtime routines don't need the number of
1304 // arguments passed in because it is constant. At some point we
1305 // should remove this need and make the runtime routine entry code
1306 // smarter.
1307 Set(eax, Immediate(num_arguments));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001308 mov(ebx, Immediate(ExternalReference(f, isolate())));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001309 CEntryStub ces(1);
1310 CallStub(&ces);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001311}
1312
1313
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001314MaybeObject* MacroAssembler::TryCallRuntime(const Runtime::Function* f,
lrn@chromium.org303ada72010-10-27 09:33:13 +00001315 int num_arguments) {
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001316 if (f->nargs >= 0 && f->nargs != num_arguments) {
1317 IllegalOperation(num_arguments);
1318 // Since we did not call the stub, there was no allocation failure.
1319 // Return some non-failure object.
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001320 return isolate()->heap()->undefined_value();
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001321 }
1322
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001323 // TODO(1236192): Most runtime routines don't need the number of
1324 // arguments passed in because it is constant. At some point we
1325 // should remove this need and make the runtime routine entry code
1326 // smarter.
1327 Set(eax, Immediate(num_arguments));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001328 mov(ebx, Immediate(ExternalReference(f, isolate())));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001329 CEntryStub ces(1);
1330 return TryCallStub(&ces);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001331}
1332
1333
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001334void MacroAssembler::CallExternalReference(ExternalReference ref,
1335 int num_arguments) {
1336 mov(eax, Immediate(num_arguments));
1337 mov(ebx, Immediate(ref));
1338
1339 CEntryStub stub(1);
1340 CallStub(&stub);
1341}
1342
1343
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001344void MacroAssembler::TailCallExternalReference(const ExternalReference& ext,
1345 int num_arguments,
1346 int result_size) {
mads.s.ager31e71382008-08-13 09:32:07 +00001347 // TODO(1236192): Most runtime routines don't need the number of
1348 // arguments passed in because it is constant. At some point we
1349 // should remove this need and make the runtime routine entry code
1350 // smarter.
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001351 Set(eax, Immediate(num_arguments));
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001352 JumpToExternalReference(ext);
1353}
1354
1355
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001356MaybeObject* MacroAssembler::TryTailCallExternalReference(
1357 const ExternalReference& ext, int num_arguments, int result_size) {
1358 // TODO(1236192): Most runtime routines don't need the number of
1359 // arguments passed in because it is constant. At some point we
1360 // should remove this need and make the runtime routine entry code
1361 // smarter.
1362 Set(eax, Immediate(num_arguments));
1363 return TryJumpToExternalReference(ext);
1364}
1365
1366
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001367void MacroAssembler::TailCallRuntime(Runtime::FunctionId fid,
1368 int num_arguments,
1369 int result_size) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001370 TailCallExternalReference(ExternalReference(fid, isolate()),
1371 num_arguments,
1372 result_size);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001373}
1374
1375
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001376MaybeObject* MacroAssembler::TryTailCallRuntime(Runtime::FunctionId fid,
1377 int num_arguments,
1378 int result_size) {
1379 return TryTailCallExternalReference(
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001380 ExternalReference(fid, isolate()), num_arguments, result_size);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001381}
1382
1383
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001384// If true, a Handle<T> returned by value from a function with cdecl calling
1385// convention will be returned directly as a value of location_ field in a
1386// register eax.
1387// If false, it is returned as a pointer to a preallocated by caller memory
1388// region. Pointer to this region should be passed to a function as an
1389// implicit first argument.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001390#if defined(USING_BSD_ABI) || defined(__MINGW32__) || defined(__CYGWIN__)
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001391static const bool kReturnHandlesDirectly = true;
lrn@chromium.org303ada72010-10-27 09:33:13 +00001392#else
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001393static const bool kReturnHandlesDirectly = false;
lrn@chromium.org303ada72010-10-27 09:33:13 +00001394#endif
1395
1396
1397Operand ApiParameterOperand(int index) {
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001398 return Operand(
1399 esp, (index + (kReturnHandlesDirectly ? 0 : 1)) * kPointerSize);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001400}
1401
1402
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001403void MacroAssembler::PrepareCallApiFunction(int argc, Register scratch) {
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001404 if (kReturnHandlesDirectly) {
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001405 EnterApiExitFrame(argc);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001406 // When handles are returned directly we don't have to allocate extra
lrn@chromium.org303ada72010-10-27 09:33:13 +00001407 // space for and pass an out parameter.
1408 } else {
1409 // We allocate two additional slots: return value and pointer to it.
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001410 EnterApiExitFrame(argc + 2);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001411
lrn@chromium.org303ada72010-10-27 09:33:13 +00001412 // The argument slots are filled as follows:
1413 //
1414 // n + 1: output cell
1415 // n: arg n
1416 // ...
1417 // 1: arg1
1418 // 0: pointer to the output cell
1419 //
1420 // Note that this is one more "argument" than the function expects
1421 // so the out cell will have to be popped explicitly after returning
1422 // from the function. The out cell contains Handle.
lrn@chromium.org303ada72010-10-27 09:33:13 +00001423
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001424 // pointer to out cell.
1425 lea(scratch, Operand(esp, (argc + 1) * kPointerSize));
1426 mov(Operand(esp, 0 * kPointerSize), scratch); // output.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001427 if (emit_debug_code()) {
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001428 mov(Operand(esp, (argc + 1) * kPointerSize), Immediate(0)); // out cell.
1429 }
1430 }
1431}
1432
1433
1434MaybeObject* MacroAssembler::TryCallApiFunctionAndReturn(ApiFunction* function,
1435 int stack_space) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001436 ExternalReference next_address =
1437 ExternalReference::handle_scope_next_address();
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001438 ExternalReference limit_address =
1439 ExternalReference::handle_scope_limit_address();
lrn@chromium.org303ada72010-10-27 09:33:13 +00001440 ExternalReference level_address =
1441 ExternalReference::handle_scope_level_address();
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001442
lrn@chromium.org303ada72010-10-27 09:33:13 +00001443 // Allocate HandleScope in callee-save registers.
1444 mov(ebx, Operand::StaticVariable(next_address));
1445 mov(edi, Operand::StaticVariable(limit_address));
1446 add(Operand::StaticVariable(level_address), Immediate(1));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001447
lrn@chromium.org303ada72010-10-27 09:33:13 +00001448 // Call the api function!
1449 call(function->address(), RelocInfo::RUNTIME_ENTRY);
1450
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001451 if (!kReturnHandlesDirectly) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00001452 // The returned value is a pointer to the handle holding the result.
1453 // Dereference this to get to the location.
1454 mov(eax, Operand(eax, 0));
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001455 }
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001456
lrn@chromium.org303ada72010-10-27 09:33:13 +00001457 Label empty_handle;
1458 Label prologue;
1459 Label promote_scheduled_exception;
1460 Label delete_allocated_handles;
1461 Label leave_exit_frame;
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001462
lrn@chromium.org303ada72010-10-27 09:33:13 +00001463 // Check if the result handle holds 0.
1464 test(eax, Operand(eax));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001465 j(zero, &empty_handle);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001466 // It was non-zero. Dereference to get the result value.
1467 mov(eax, Operand(eax, 0));
1468 bind(&prologue);
1469 // No more valid handles (the result handle was the last one). Restore
1470 // previous handle scope.
1471 mov(Operand::StaticVariable(next_address), ebx);
1472 sub(Operand::StaticVariable(level_address), Immediate(1));
1473 Assert(above_equal, "Invalid HandleScope level");
1474 cmp(edi, Operand::StaticVariable(limit_address));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001475 j(not_equal, &delete_allocated_handles);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001476 bind(&leave_exit_frame);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001477
lrn@chromium.org303ada72010-10-27 09:33:13 +00001478 // Check if the function scheduled an exception.
1479 ExternalReference scheduled_exception_address =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001480 ExternalReference::scheduled_exception_address(isolate());
lrn@chromium.org303ada72010-10-27 09:33:13 +00001481 cmp(Operand::StaticVariable(scheduled_exception_address),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001482 Immediate(isolate()->factory()->the_hole_value()));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001483 j(not_equal, &promote_scheduled_exception);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001484 LeaveApiExitFrame();
1485 ret(stack_space * kPointerSize);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001486 bind(&promote_scheduled_exception);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001487 MaybeObject* result =
1488 TryTailCallRuntime(Runtime::kPromoteScheduledException, 0, 1);
1489 if (result->IsFailure()) {
1490 return result;
1491 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001492 bind(&empty_handle);
1493 // It was zero; the result is undefined.
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001494 mov(eax, isolate()->factory()->undefined_value());
lrn@chromium.org303ada72010-10-27 09:33:13 +00001495 jmp(&prologue);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001496
lrn@chromium.org303ada72010-10-27 09:33:13 +00001497 // HandleScope limit has changed. Delete allocated extensions.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001498 ExternalReference delete_extensions =
1499 ExternalReference::delete_handle_scope_extensions(isolate());
lrn@chromium.org303ada72010-10-27 09:33:13 +00001500 bind(&delete_allocated_handles);
1501 mov(Operand::StaticVariable(limit_address), edi);
1502 mov(edi, eax);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001503 mov(Operand(esp, 0), Immediate(ExternalReference::isolate_address()));
1504 mov(eax, Immediate(delete_extensions));
lrn@chromium.org303ada72010-10-27 09:33:13 +00001505 call(Operand(eax));
1506 mov(eax, edi);
1507 jmp(&leave_exit_frame);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001508
1509 return result;
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001510}
1511
1512
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001513void MacroAssembler::JumpToExternalReference(const ExternalReference& ext) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001514 // Set the entry point and jump to the C entry runtime stub.
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001515 mov(ebx, Immediate(ext));
ager@chromium.orga1645e22009-09-09 19:27:10 +00001516 CEntryStub ces(1);
ager@chromium.org236ad962008-09-25 09:45:57 +00001517 jmp(ces.GetCode(), RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001518}
1519
1520
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001521MaybeObject* MacroAssembler::TryJumpToExternalReference(
1522 const ExternalReference& ext) {
1523 // Set the entry point and jump to the C entry runtime stub.
1524 mov(ebx, Immediate(ext));
1525 CEntryStub ces(1);
1526 return TryTailCallStub(&ces);
1527}
1528
1529
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001530void MacroAssembler::InvokePrologue(const ParameterCount& expected,
1531 const ParameterCount& actual,
1532 Handle<Code> code_constant,
1533 const Operand& code_operand,
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001534 Label* done,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001535 InvokeFlag flag,
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001536 Label::Distance done_near,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001537 const CallWrapper& call_wrapper) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001538 bool definitely_matches = false;
1539 Label invoke;
1540 if (expected.is_immediate()) {
1541 ASSERT(actual.is_immediate());
1542 if (expected.immediate() == actual.immediate()) {
1543 definitely_matches = true;
1544 } else {
1545 mov(eax, actual.immediate());
kasperl@chromium.orgb9123622008-09-17 14:05:56 +00001546 const int sentinel = SharedFunctionInfo::kDontAdaptArgumentsSentinel;
1547 if (expected.immediate() == sentinel) {
1548 // Don't worry about adapting arguments for builtins that
1549 // don't want that done. Skip adaption code by making it look
1550 // like we have a match between expected and actual number of
1551 // arguments.
1552 definitely_matches = true;
1553 } else {
1554 mov(ebx, expected.immediate());
1555 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001556 }
1557 } else {
1558 if (actual.is_immediate()) {
1559 // Expected is in register, actual is immediate. This is the
1560 // case when we invoke function values without going through the
1561 // IC mechanism.
1562 cmp(expected.reg(), actual.immediate());
1563 j(equal, &invoke);
1564 ASSERT(expected.reg().is(ebx));
1565 mov(eax, actual.immediate());
1566 } else if (!expected.reg().is(actual.reg())) {
1567 // Both expected and actual are in (different) registers. This
1568 // is the case when we invoke functions using call and apply.
1569 cmp(expected.reg(), Operand(actual.reg()));
1570 j(equal, &invoke);
1571 ASSERT(actual.reg().is(eax));
1572 ASSERT(expected.reg().is(ebx));
1573 }
1574 }
1575
1576 if (!definitely_matches) {
1577 Handle<Code> adaptor =
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001578 isolate()->builtins()->ArgumentsAdaptorTrampoline();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001579 if (!code_constant.is_null()) {
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001580 mov(edx, Immediate(code_constant));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001581 add(Operand(edx), Immediate(Code::kHeaderSize - kHeapObjectTag));
1582 } else if (!code_operand.is_reg(edx)) {
1583 mov(edx, code_operand);
1584 }
1585
1586 if (flag == CALL_FUNCTION) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001587 call_wrapper.BeforeCall(CallSize(adaptor, RelocInfo::CODE_TARGET));
ager@chromium.org236ad962008-09-25 09:45:57 +00001588 call(adaptor, RelocInfo::CODE_TARGET);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001589 call_wrapper.AfterCall();
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001590 jmp(done, done_near);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001591 } else {
ager@chromium.org236ad962008-09-25 09:45:57 +00001592 jmp(adaptor, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001593 }
1594 bind(&invoke);
1595 }
1596}
1597
1598
1599void MacroAssembler::InvokeCode(const Operand& code,
1600 const ParameterCount& expected,
1601 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001602 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001603 const CallWrapper& call_wrapper) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001604 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001605 InvokePrologue(expected, actual, Handle<Code>::null(), code,
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001606 &done, flag, Label::kNear, call_wrapper);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001607 if (flag == CALL_FUNCTION) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001608 call_wrapper.BeforeCall(CallSize(code));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001609 call(code);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001610 call_wrapper.AfterCall();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001611 } else {
1612 ASSERT(flag == JUMP_FUNCTION);
1613 jmp(code);
1614 }
1615 bind(&done);
1616}
1617
1618
1619void MacroAssembler::InvokeCode(Handle<Code> code,
1620 const ParameterCount& expected,
1621 const ParameterCount& actual,
ager@chromium.org236ad962008-09-25 09:45:57 +00001622 RelocInfo::Mode rmode,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001623 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001624 const CallWrapper& call_wrapper) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001625 Label done;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001626 Operand dummy(eax);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001627 InvokePrologue(expected, actual, code, dummy, &done, flag, Label::kNear,
1628 call_wrapper);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001629 if (flag == CALL_FUNCTION) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001630 call_wrapper.BeforeCall(CallSize(code, rmode));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001631 call(code, rmode);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001632 call_wrapper.AfterCall();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001633 } else {
1634 ASSERT(flag == JUMP_FUNCTION);
1635 jmp(code, rmode);
1636 }
1637 bind(&done);
1638}
1639
1640
1641void MacroAssembler::InvokeFunction(Register fun,
1642 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001643 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001644 const CallWrapper& call_wrapper) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001645 ASSERT(fun.is(edi));
1646 mov(edx, FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset));
1647 mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
1648 mov(ebx, FieldOperand(edx, SharedFunctionInfo::kFormalParameterCountOffset));
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001649 SmiUntag(ebx);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001650
1651 ParameterCount expected(ebx);
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001652 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001653 expected, actual, flag, call_wrapper);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001654}
1655
1656
ager@chromium.org5c838252010-02-19 08:53:10 +00001657void MacroAssembler::InvokeFunction(JSFunction* function,
1658 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001659 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001660 const CallWrapper& call_wrapper) {
ager@chromium.org5c838252010-02-19 08:53:10 +00001661 ASSERT(function->is_compiled());
1662 // Get the function and setup the context.
1663 mov(edi, Immediate(Handle<JSFunction>(function)));
1664 mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001665
ager@chromium.org5c838252010-02-19 08:53:10 +00001666 ParameterCount expected(function->shared()->formal_parameter_count());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001667 if (V8::UseCrankshaft()) {
1668 // TODO(kasperl): For now, we always call indirectly through the
1669 // code field in the function to allow recompilation to take effect
1670 // without changing any of the call sites.
1671 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001672 expected, actual, flag, call_wrapper);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001673 } else {
1674 Handle<Code> code(function->code());
1675 InvokeCode(code, expected, actual, RelocInfo::CODE_TARGET,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001676 flag, call_wrapper);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001677 }
ager@chromium.org5c838252010-02-19 08:53:10 +00001678}
1679
1680
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001681void MacroAssembler::InvokeBuiltin(Builtins::JavaScript id,
1682 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001683 const CallWrapper& call_wrapper) {
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001684 // Calls are not allowed in some stubs.
kasper.lund7276f142008-07-30 08:49:36 +00001685 ASSERT(flag == JUMP_FUNCTION || allow_stub_calls());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001686
1687 // Rely on the assertion to check that the number of provided
1688 // arguments match the expected number of arguments. Fake a
1689 // parameter count to avoid emitting code to do the check.
1690 ParameterCount expected(0);
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001691 GetBuiltinFunction(edi, id);
1692 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001693 expected, expected, flag, call_wrapper);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001694}
1695
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001696void MacroAssembler::GetBuiltinFunction(Register target,
1697 Builtins::JavaScript id) {
1698 // Load the JavaScript builtin function from the builtins object.
1699 mov(target, Operand(esi, Context::SlotOffset(Context::GLOBAL_INDEX)));
1700 mov(target, FieldOperand(target, GlobalObject::kBuiltinsOffset));
1701 mov(target, FieldOperand(target,
1702 JSBuiltinsObject::OffsetOfFunctionWithId(id)));
1703}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001704
1705void MacroAssembler::GetBuiltinEntry(Register target, Builtins::JavaScript id) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00001706 ASSERT(!target.is(edi));
ager@chromium.org5c838252010-02-19 08:53:10 +00001707 // Load the JavaScript builtin function from the builtins object.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001708 GetBuiltinFunction(edi, id);
1709 // Load the code entry point from the function into the target register.
1710 mov(target, FieldOperand(edi, JSFunction::kCodeEntryOffset));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001711}
1712
1713
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001714void MacroAssembler::LoadContext(Register dst, int context_chain_length) {
1715 if (context_chain_length > 0) {
1716 // Move up the chain of contexts to the context containing the slot.
1717 mov(dst, Operand(esi, Context::SlotOffset(Context::CLOSURE_INDEX)));
1718 // Load the function context (which is the incoming, outer context).
1719 mov(dst, FieldOperand(dst, JSFunction::kContextOffset));
1720 for (int i = 1; i < context_chain_length; i++) {
1721 mov(dst, Operand(dst, Context::SlotOffset(Context::CLOSURE_INDEX)));
1722 mov(dst, FieldOperand(dst, JSFunction::kContextOffset));
1723 }
ricow@chromium.org83aa5492011-02-07 12:42:56 +00001724 } else {
1725 // Slot is in the current function context. Move it into the
1726 // destination register in case we store into it (the write barrier
1727 // cannot be allowed to destroy the context in esi).
1728 mov(dst, esi);
1729 }
1730
1731 // We should not have found a 'with' context by walking the context chain
1732 // (i.e., the static scope chain and runtime context chain do not agree).
1733 // A variable occurring in such a scope should have slot type LOOKUP and
1734 // not CONTEXT.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001735 if (emit_debug_code()) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00001736 cmp(dst, Operand(dst, Context::SlotOffset(Context::FCONTEXT_INDEX)));
1737 Check(equal, "Yo dawg, I heard you liked function contexts "
1738 "so I put function contexts in all your contexts");
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001739 }
1740}
1741
1742
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001743void MacroAssembler::LoadGlobalFunction(int index, Register function) {
1744 // Load the global or builtins object from the current context.
1745 mov(function, Operand(esi, Context::SlotOffset(Context::GLOBAL_INDEX)));
1746 // Load the global context from the global or builtins object.
1747 mov(function, FieldOperand(function, GlobalObject::kGlobalContextOffset));
1748 // Load the function from the global context.
1749 mov(function, Operand(function, Context::SlotOffset(index)));
1750}
1751
1752
1753void MacroAssembler::LoadGlobalFunctionInitialMap(Register function,
1754 Register map) {
1755 // Load the initial map. The global functions all have initial maps.
1756 mov(map, FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001757 if (emit_debug_code()) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001758 Label ok, fail;
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +00001759 CheckMap(map, isolate()->factory()->meta_map(), &fail, DO_SMI_CHECK);
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001760 jmp(&ok);
1761 bind(&fail);
1762 Abort("Global functions must have initial map");
1763 bind(&ok);
1764 }
1765}
1766
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001767
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001768// Store the value in register src in the safepoint register stack
1769// slot for register dst.
1770void MacroAssembler::StoreToSafepointRegisterSlot(Register dst, Register src) {
1771 mov(SafepointRegisterSlot(dst), src);
1772}
1773
1774
1775void MacroAssembler::StoreToSafepointRegisterSlot(Register dst, Immediate src) {
1776 mov(SafepointRegisterSlot(dst), src);
1777}
1778
1779
1780void MacroAssembler::LoadFromSafepointRegisterSlot(Register dst, Register src) {
1781 mov(dst, SafepointRegisterSlot(src));
1782}
1783
1784
1785Operand MacroAssembler::SafepointRegisterSlot(Register reg) {
1786 return Operand(esp, SafepointRegisterStackIndex(reg.code()) * kPointerSize);
1787}
1788
1789
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001790int MacroAssembler::SafepointRegisterStackIndex(int reg_code) {
1791 // The registers are pushed starting with the lowest encoding,
1792 // which means that lowest encodings are furthest away from
1793 // the stack pointer.
1794 ASSERT(reg_code >= 0 && reg_code < kNumSafepointRegisters);
1795 return kNumSafepointRegisters - reg_code - 1;
1796}
1797
1798
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001799void MacroAssembler::Ret() {
1800 ret(0);
1801}
1802
1803
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001804void MacroAssembler::Ret(int bytes_dropped, Register scratch) {
1805 if (is_uint16(bytes_dropped)) {
1806 ret(bytes_dropped);
1807 } else {
1808 pop(scratch);
1809 add(Operand(esp), Immediate(bytes_dropped));
1810 push(scratch);
1811 ret(0);
1812 }
1813}
1814
1815
1816
1817
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001818void MacroAssembler::Drop(int stack_elements) {
1819 if (stack_elements > 0) {
1820 add(Operand(esp), Immediate(stack_elements * kPointerSize));
1821 }
1822}
1823
1824
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +00001825void MacroAssembler::Move(Register dst, Register src) {
1826 if (!dst.is(src)) {
1827 mov(dst, src);
1828 }
1829}
1830
1831
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001832void MacroAssembler::Move(Register dst, Handle<Object> value) {
1833 mov(dst, value);
1834}
1835
1836
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001837void MacroAssembler::SetCounter(StatsCounter* counter, int value) {
1838 if (FLAG_native_code_counters && counter->Enabled()) {
1839 mov(Operand::StaticVariable(ExternalReference(counter)), Immediate(value));
1840 }
1841}
1842
1843
1844void MacroAssembler::IncrementCounter(StatsCounter* counter, int value) {
1845 ASSERT(value > 0);
1846 if (FLAG_native_code_counters && counter->Enabled()) {
1847 Operand operand = Operand::StaticVariable(ExternalReference(counter));
1848 if (value == 1) {
1849 inc(operand);
1850 } else {
1851 add(operand, Immediate(value));
1852 }
1853 }
1854}
1855
1856
1857void MacroAssembler::DecrementCounter(StatsCounter* counter, int value) {
1858 ASSERT(value > 0);
1859 if (FLAG_native_code_counters && counter->Enabled()) {
1860 Operand operand = Operand::StaticVariable(ExternalReference(counter));
1861 if (value == 1) {
1862 dec(operand);
1863 } else {
1864 sub(operand, Immediate(value));
1865 }
1866 }
1867}
1868
1869
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001870void MacroAssembler::IncrementCounter(Condition cc,
1871 StatsCounter* counter,
1872 int value) {
1873 ASSERT(value > 0);
1874 if (FLAG_native_code_counters && counter->Enabled()) {
1875 Label skip;
1876 j(NegateCondition(cc), &skip);
1877 pushfd();
1878 IncrementCounter(counter, value);
1879 popfd();
1880 bind(&skip);
1881 }
1882}
1883
1884
1885void MacroAssembler::DecrementCounter(Condition cc,
1886 StatsCounter* counter,
1887 int value) {
1888 ASSERT(value > 0);
1889 if (FLAG_native_code_counters && counter->Enabled()) {
1890 Label skip;
1891 j(NegateCondition(cc), &skip);
1892 pushfd();
1893 DecrementCounter(counter, value);
1894 popfd();
1895 bind(&skip);
1896 }
1897}
1898
1899
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001900void MacroAssembler::Assert(Condition cc, const char* msg) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001901 if (emit_debug_code()) Check(cc, msg);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001902}
1903
1904
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00001905void MacroAssembler::AssertFastElements(Register elements) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001906 if (emit_debug_code()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001907 Factory* factory = isolate()->factory();
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00001908 Label ok;
1909 cmp(FieldOperand(elements, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001910 Immediate(factory->fixed_array_map()));
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00001911 j(equal, &ok);
1912 cmp(FieldOperand(elements, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001913 Immediate(factory->fixed_cow_array_map()));
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00001914 j(equal, &ok);
1915 Abort("JSObject with fast elements map has slow elements");
1916 bind(&ok);
1917 }
1918}
1919
1920
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001921void MacroAssembler::Check(Condition cc, const char* msg) {
1922 Label L;
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001923 j(cc, &L);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001924 Abort(msg);
1925 // will not return here
1926 bind(&L);
1927}
1928
1929
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00001930void MacroAssembler::CheckStackAlignment() {
1931 int frame_alignment = OS::ActivationFrameAlignment();
1932 int frame_alignment_mask = frame_alignment - 1;
1933 if (frame_alignment > kPointerSize) {
1934 ASSERT(IsPowerOf2(frame_alignment));
1935 Label alignment_as_expected;
1936 test(esp, Immediate(frame_alignment_mask));
1937 j(zero, &alignment_as_expected);
1938 // Abort if stack is not aligned.
1939 int3();
1940 bind(&alignment_as_expected);
1941 }
1942}
1943
1944
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001945void MacroAssembler::Abort(const char* msg) {
1946 // We want to pass the msg string like a smi to avoid GC
1947 // problems, however msg is not guaranteed to be aligned
1948 // properly. Instead, we pass an aligned pointer that is
ager@chromium.org32912102009-01-16 10:38:43 +00001949 // a proper v8 smi, but also pass the alignment difference
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001950 // from the real pointer as a smi.
1951 intptr_t p1 = reinterpret_cast<intptr_t>(msg);
1952 intptr_t p0 = (p1 & ~kSmiTagMask) + kSmiTag;
1953 ASSERT(reinterpret_cast<Object*>(p0)->IsSmi());
1954#ifdef DEBUG
1955 if (msg != NULL) {
1956 RecordComment("Abort message: ");
1957 RecordComment(msg);
1958 }
1959#endif
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001960 // Disable stub call restrictions to always allow calls to abort.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001961 AllowStubCallsScope allow_scope(this, true);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001962
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001963 push(eax);
1964 push(Immediate(p0));
1965 push(Immediate(reinterpret_cast<intptr_t>(Smi::FromInt(p1 - p0))));
1966 CallRuntime(Runtime::kAbort, 2);
1967 // will not return here
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001968 int3();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001969}
1970
1971
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001972void MacroAssembler::LoadPowerOf2(XMMRegister dst,
1973 Register scratch,
1974 int power) {
1975 ASSERT(is_uintn(power + HeapNumber::kExponentBias,
1976 HeapNumber::kExponentBits));
1977 mov(scratch, Immediate(power + HeapNumber::kExponentBias));
1978 movd(dst, Operand(scratch));
1979 psllq(dst, HeapNumber::kMantissaBits);
1980}
1981
1982
ager@chromium.org5c838252010-02-19 08:53:10 +00001983void MacroAssembler::JumpIfInstanceTypeIsNotSequentialAscii(
1984 Register instance_type,
1985 Register scratch,
whesse@chromium.orgcec079d2010-03-22 14:44:04 +00001986 Label* failure) {
ager@chromium.org5c838252010-02-19 08:53:10 +00001987 if (!scratch.is(instance_type)) {
1988 mov(scratch, instance_type);
1989 }
1990 and_(scratch,
1991 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask);
1992 cmp(scratch, kStringTag | kSeqStringTag | kAsciiStringTag);
1993 j(not_equal, failure);
1994}
1995
1996
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001997void MacroAssembler::JumpIfNotBothSequentialAsciiStrings(Register object1,
1998 Register object2,
1999 Register scratch1,
2000 Register scratch2,
2001 Label* failure) {
2002 // Check that both objects are not smis.
2003 ASSERT_EQ(0, kSmiTag);
2004 mov(scratch1, Operand(object1));
2005 and_(scratch1, Operand(object2));
2006 test(scratch1, Immediate(kSmiTagMask));
2007 j(zero, failure);
2008
2009 // Load instance type for both strings.
2010 mov(scratch1, FieldOperand(object1, HeapObject::kMapOffset));
2011 mov(scratch2, FieldOperand(object2, HeapObject::kMapOffset));
2012 movzx_b(scratch1, FieldOperand(scratch1, Map::kInstanceTypeOffset));
2013 movzx_b(scratch2, FieldOperand(scratch2, Map::kInstanceTypeOffset));
2014
2015 // Check that both are flat ascii strings.
2016 const int kFlatAsciiStringMask =
2017 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
2018 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
2019 // Interleave bits from both instance types and compare them in one check.
2020 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
2021 and_(scratch1, kFlatAsciiStringMask);
2022 and_(scratch2, kFlatAsciiStringMask);
2023 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
2024 cmp(scratch1, kFlatAsciiStringTag | (kFlatAsciiStringTag << 3));
2025 j(not_equal, failure);
2026}
2027
2028
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002029void MacroAssembler::PrepareCallCFunction(int num_arguments, Register scratch) {
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002030 int frame_alignment = OS::ActivationFrameAlignment();
2031 if (frame_alignment != 0) {
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002032 // Make stack end at alignment and make room for num_arguments words
2033 // and the original value of esp.
2034 mov(scratch, esp);
2035 sub(Operand(esp), Immediate((num_arguments + 1) * kPointerSize));
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002036 ASSERT(IsPowerOf2(frame_alignment));
2037 and_(esp, -frame_alignment);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002038 mov(Operand(esp, num_arguments * kPointerSize), scratch);
2039 } else {
2040 sub(Operand(esp), Immediate(num_arguments * kPointerSize));
2041 }
2042}
2043
2044
2045void MacroAssembler::CallCFunction(ExternalReference function,
2046 int num_arguments) {
2047 // Trashing eax is ok as it will be the return value.
2048 mov(Operand(eax), Immediate(function));
2049 CallCFunction(eax, num_arguments);
2050}
2051
2052
2053void MacroAssembler::CallCFunction(Register function,
2054 int num_arguments) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002055 // Check stack alignment.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00002056 if (emit_debug_code()) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002057 CheckStackAlignment();
2058 }
2059
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002060 call(Operand(function));
2061 if (OS::ActivationFrameAlignment() != 0) {
2062 mov(esp, Operand(esp, num_arguments * kPointerSize));
2063 } else {
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002064 add(Operand(esp), Immediate(num_arguments * kPointerSize));
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002065 }
2066}
2067
2068
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002069CodePatcher::CodePatcher(byte* address, int size)
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002070 : address_(address),
2071 size_(size),
2072 masm_(Isolate::Current(), address, size + Assembler::kGap) {
ager@chromium.org32912102009-01-16 10:38:43 +00002073 // Create a new macro assembler pointing to the address of the code to patch.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002074 // The size is adjusted with kGap on order for the assembler to generate size
2075 // bytes of instructions without failing with buffer size constraints.
2076 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2077}
2078
2079
2080CodePatcher::~CodePatcher() {
2081 // Indicate that code has changed.
2082 CPU::FlushICache(address_, size_);
2083
2084 // Check that the code was patched as expected.
2085 ASSERT(masm_.pc_ == address_ + size_);
2086 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2087}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002088
2089
2090} } // namespace v8::internal
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00002091
2092#endif // V8_TARGET_ARCH_IA32