blob: 2fc825fc0bbf2402c4158590baaaa7665b1277cf [file] [log] [blame]
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001// Copyright 2010 the V8 project authors. All rights reserved.
ager@chromium.org5ec48922009-05-05 07:25:34 +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
kasperl@chromium.org71affb52009-05-26 05:44:31 +000028#include "v8.h"
29
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +000030#if defined(V8_TARGET_ARCH_X64)
31
kasperl@chromium.org71affb52009-05-26 05:44:31 +000032#include "bootstrapper.h"
33#include "codegen-inl.h"
ager@chromium.orgeadaf222009-06-16 09:43:10 +000034#include "assembler-x64.h"
ager@chromium.orge2902be2009-06-08 12:21:35 +000035#include "macro-assembler-x64.h"
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +000036#include "serialize.h"
ager@chromium.orgeadaf222009-06-16 09:43:10 +000037#include "debug.h"
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +000038#include "heap.h"
kasperl@chromium.org71affb52009-05-26 05:44:31 +000039
40namespace v8 {
41namespace internal {
42
43MacroAssembler::MacroAssembler(void* buffer, int size)
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +000044 : Assembler(buffer, size),
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +000045 generating_stub_(false),
46 allow_stub_calls_(true),
47 code_object_(Heap::undefined_value()) {
kasperl@chromium.org71affb52009-05-26 05:44:31 +000048}
49
ager@chromium.orge2902be2009-06-08 12:21:35 +000050
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +000051void MacroAssembler::LoadRoot(Register destination, Heap::RootListIndex index) {
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +000052 movq(destination, Operand(kRootRegister, index << kPointerSizeLog2));
ager@chromium.org18ad94b2009-09-02 08:22:29 +000053}
54
55
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +000056void MacroAssembler::StoreRoot(Register source, Heap::RootListIndex index) {
57 movq(Operand(kRootRegister, index << kPointerSizeLog2), source);
58}
59
60
ager@chromium.org18ad94b2009-09-02 08:22:29 +000061void MacroAssembler::PushRoot(Heap::RootListIndex index) {
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +000062 push(Operand(kRootRegister, index << kPointerSizeLog2));
ager@chromium.org18ad94b2009-09-02 08:22:29 +000063}
64
65
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +000066void MacroAssembler::CompareRoot(Register with, Heap::RootListIndex index) {
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +000067 cmpq(with, Operand(kRootRegister, index << kPointerSizeLog2));
ager@chromium.org18ad94b2009-09-02 08:22:29 +000068}
69
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +000070
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +000071void MacroAssembler::CompareRoot(Operand with, Heap::RootListIndex index) {
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +000072 LoadRoot(kScratchRegister, index);
73 cmpq(with, kScratchRegister);
74}
75
76
ager@chromium.orgac091b72010-05-05 07:34:42 +000077void MacroAssembler::RecordWriteHelper(Register object,
78 Register addr,
79 Register scratch) {
80 if (FLAG_debug_code) {
81 // Check that the object is not in new space.
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +000082 NearLabel not_in_new_space;
ager@chromium.orgac091b72010-05-05 07:34:42 +000083 InNewSpace(object, scratch, not_equal, &not_in_new_space);
84 Abort("new-space object passed to RecordWriteHelper");
85 bind(&not_in_new_space);
86 }
87
christian.plesner.hansen@gmail.com5a6af922009-08-12 14:20:51 +000088 // Compute the page start address from the heap object pointer, and reuse
89 // the 'object' register for it.
ricow@chromium.org30ce4112010-05-31 10:38:25 +000090 and_(object, Immediate(~Page::kPageAlignmentMask));
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +000091
ricow@chromium.org30ce4112010-05-31 10:38:25 +000092 // Compute number of region covering addr. See Page::GetRegionNumberForAddress
93 // method for more details.
ricow@chromium.org30ce4112010-05-31 10:38:25 +000094 shrl(addr, Immediate(Page::kRegionSizeLog2));
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +000095 andl(addr, Immediate(Page::kPageAlignmentMask >> Page::kRegionSizeLog2));
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +000096
ricow@chromium.org30ce4112010-05-31 10:38:25 +000097 // Set dirty mark for region.
98 bts(Operand(object, Page::kDirtyFlagOffset), addr);
kmillikin@chromium.org4111b802010-05-03 10:34:42 +000099}
100
101
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000102void MacroAssembler::RecordWrite(Register object,
103 int offset,
104 Register value,
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000105 Register index) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000106 // The compiled code assumes that record write doesn't change the
107 // context register, so we check that none of the clobbered
108 // registers are rsi.
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000109 ASSERT(!object.is(rsi) && !value.is(rsi) && !index.is(rsi));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000110
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000111 // First, check if a write barrier is even needed. The tests below
112 // catch stores of Smis and stores into young gen.
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000113 Label done;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000114 JumpIfSmi(value, &done);
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000115
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000116 RecordWriteNonSmi(object, offset, value, index);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000117 bind(&done);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000118
119 // Clobber all input registers when running with the debug-code flag
120 // turned on to provoke errors. This clobbering repeats the
121 // clobbering done inside RecordWriteNonSmi but it's necessary to
122 // avoid having the fast case for smis leave the registers
123 // unchanged.
124 if (FLAG_debug_code) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000125 movq(object, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
126 movq(value, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000127 movq(index, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000128 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000129}
130
131
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000132void MacroAssembler::RecordWrite(Register object,
133 Register address,
134 Register value) {
135 // The compiled code assumes that record write doesn't change the
136 // context register, so we check that none of the clobbered
137 // registers are esi.
138 ASSERT(!object.is(rsi) && !value.is(rsi) && !address.is(rsi));
139
140 // First, check if a write barrier is even needed. The tests below
141 // catch stores of Smis and stores into young gen.
142 Label done;
143 JumpIfSmi(value, &done);
144
145 InNewSpace(object, value, equal, &done);
146
147 RecordWriteHelper(object, address, value);
148
149 bind(&done);
150
151 // Clobber all input registers when running with the debug-code flag
152 // turned on to provoke errors.
153 if (FLAG_debug_code) {
154 movq(object, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
155 movq(address, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
156 movq(value, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
157 }
158}
159
160
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000161void MacroAssembler::RecordWriteNonSmi(Register object,
162 int offset,
163 Register scratch,
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000164 Register index) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000165 Label done;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000166
167 if (FLAG_debug_code) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +0000168 NearLabel okay;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000169 JumpIfNotSmi(object, &okay);
170 Abort("MacroAssembler::RecordWriteNonSmi cannot deal with smis");
171 bind(&okay);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000172
173 if (offset == 0) {
174 // index must be int32.
175 Register tmp = index.is(rax) ? rbx : rax;
176 push(tmp);
177 movl(tmp, index);
178 cmpq(tmp, index);
179 Check(equal, "Index register for RecordWrite must be untagged int32.");
180 pop(tmp);
181 }
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000182 }
183
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000184 // Test that the object address is not in the new space. We cannot
185 // update page dirty marks for new space pages.
kmillikin@chromium.org4111b802010-05-03 10:34:42 +0000186 InNewSpace(object, scratch, equal, &done);
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000187
whesse@chromium.orge88a9ed2010-04-15 15:07:46 +0000188 // The offset is relative to a tagged or untagged HeapObject pointer,
189 // so either offset or offset + kHeapObjectTag must be a
190 // multiple of kPointerSize.
191 ASSERT(IsAligned(offset, kPointerSize) ||
192 IsAligned(offset + kHeapObjectTag, kPointerSize));
193
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000194 Register dst = index;
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000195 if (offset != 0) {
196 lea(dst, Operand(object, offset));
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000197 } else {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000198 // array access: calculate the destination address in the same manner as
199 // KeyedStoreIC::GenerateGeneric.
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000200 lea(dst, FieldOperand(object,
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000201 index,
202 times_pointer_size,
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000203 FixedArray::kHeaderSize));
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000204 }
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000205 RecordWriteHelper(object, dst, scratch);
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000206
207 bind(&done);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000208
209 // Clobber all input registers when running with the debug-code flag
210 // turned on to provoke errors.
211 if (FLAG_debug_code) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000212 movq(object, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
213 movq(scratch, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000214 movq(index, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000215 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000216}
217
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000218void MacroAssembler::Assert(Condition cc, const char* msg) {
219 if (FLAG_debug_code) Check(cc, msg);
220}
221
222
ricow@chromium.org0b9f8502010-08-18 07:45:01 +0000223void MacroAssembler::AssertFastElements(Register elements) {
224 if (FLAG_debug_code) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +0000225 NearLabel ok;
ricow@chromium.org0b9f8502010-08-18 07:45:01 +0000226 CompareRoot(FieldOperand(elements, HeapObject::kMapOffset),
227 Heap::kFixedArrayMapRootIndex);
228 j(equal, &ok);
229 CompareRoot(FieldOperand(elements, HeapObject::kMapOffset),
230 Heap::kFixedCOWArrayMapRootIndex);
231 j(equal, &ok);
232 Abort("JSObject with fast elements map has slow elements");
233 bind(&ok);
234 }
235}
236
237
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000238void MacroAssembler::Check(Condition cc, const char* msg) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +0000239 NearLabel L;
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000240 j(cc, &L);
241 Abort(msg);
242 // will not return here
243 bind(&L);
244}
245
246
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000247void MacroAssembler::CheckStackAlignment() {
248 int frame_alignment = OS::ActivationFrameAlignment();
249 int frame_alignment_mask = frame_alignment - 1;
250 if (frame_alignment > kPointerSize) {
251 ASSERT(IsPowerOf2(frame_alignment));
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +0000252 NearLabel alignment_as_expected;
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000253 testq(rsp, Immediate(frame_alignment_mask));
254 j(zero, &alignment_as_expected);
255 // Abort if stack is not aligned.
256 int3();
257 bind(&alignment_as_expected);
258 }
259}
260
261
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000262void MacroAssembler::NegativeZeroTest(Register result,
263 Register op,
264 Label* then_label) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +0000265 NearLabel ok;
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000266 testl(result, result);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000267 j(not_zero, &ok);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000268 testl(op, op);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000269 j(sign, then_label);
270 bind(&ok);
271}
272
273
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000274void MacroAssembler::Abort(const char* msg) {
275 // We want to pass the msg string like a smi to avoid GC
276 // problems, however msg is not guaranteed to be aligned
277 // properly. Instead, we pass an aligned pointer that is
278 // a proper v8 smi, but also pass the alignment difference
279 // from the real pointer as a smi.
280 intptr_t p1 = reinterpret_cast<intptr_t>(msg);
281 intptr_t p0 = (p1 & ~kSmiTagMask) + kSmiTag;
282 // Note: p0 might not be a valid Smi *value*, but it has a valid Smi tag.
283 ASSERT(reinterpret_cast<Object*>(p0)->IsSmi());
284#ifdef DEBUG
285 if (msg != NULL) {
286 RecordComment("Abort message: ");
287 RecordComment(msg);
288 }
289#endif
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000290 // Disable stub call restrictions to always allow calls to abort.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +0000291 AllowStubCallsScope allow_scope(this, true);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000292
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000293 push(rax);
294 movq(kScratchRegister, p0, RelocInfo::NONE);
295 push(kScratchRegister);
296 movq(kScratchRegister,
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000297 reinterpret_cast<intptr_t>(Smi::FromInt(static_cast<int>(p1 - p0))),
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000298 RelocInfo::NONE);
299 push(kScratchRegister);
300 CallRuntime(Runtime::kAbort, 2);
301 // will not return here
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000302 int3();
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000303}
304
305
306void MacroAssembler::CallStub(CodeStub* stub) {
307 ASSERT(allow_stub_calls()); // calls are not allowed in some stubs
sgjesse@chromium.org911335c2009-08-19 12:59:44 +0000308 Call(stub->GetCode(), RelocInfo::CODE_TARGET);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000309}
310
311
lrn@chromium.org303ada72010-10-27 09:33:13 +0000312MaybeObject* MacroAssembler::TryCallStub(CodeStub* stub) {
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000313 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
lrn@chromium.org303ada72010-10-27 09:33:13 +0000314 MaybeObject* result = stub->TryGetCode();
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000315 if (!result->IsFailure()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000316 call(Handle<Code>(Code::cast(result->ToObjectUnchecked())),
317 RelocInfo::CODE_TARGET);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000318 }
319 return result;
320}
321
322
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000323void MacroAssembler::TailCallStub(CodeStub* stub) {
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000324 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000325 Jump(stub->GetCode(), RelocInfo::CODE_TARGET);
326}
327
328
lrn@chromium.org303ada72010-10-27 09:33:13 +0000329MaybeObject* MacroAssembler::TryTailCallStub(CodeStub* stub) {
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000330 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
lrn@chromium.org303ada72010-10-27 09:33:13 +0000331 MaybeObject* result = stub->TryGetCode();
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000332 if (!result->IsFailure()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000333 jmp(Handle<Code>(Code::cast(result->ToObjectUnchecked())),
334 RelocInfo::CODE_TARGET);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000335 }
336 return result;
337}
338
339
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000340void MacroAssembler::StubReturn(int argc) {
341 ASSERT(argc >= 1 && generating_stub());
342 ret((argc - 1) * kPointerSize);
343}
344
345
346void MacroAssembler::IllegalOperation(int num_arguments) {
347 if (num_arguments > 0) {
348 addq(rsp, Immediate(num_arguments * kPointerSize));
349 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000350 LoadRoot(rax, Heap::kUndefinedValueRootIndex);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000351}
352
353
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000354void MacroAssembler::IndexFromHash(Register hash, Register index) {
355 // The assert checks that the constants for the maximum number of digits
356 // for an array index cached in the hash field and the number of bits
357 // reserved for it does not conflict.
358 ASSERT(TenToThe(String::kMaxCachedArrayIndexLength) <
359 (1 << String::kArrayIndexValueBits));
360 // We want the smi-tagged index in key. Even if we subsequently go to
361 // the slow case, converting the key to a smi is always valid.
362 // key: string key
363 // hash: key's hash field, including its array index value.
364 and_(hash, Immediate(String::kArrayIndexValueMask));
365 shr(hash, Immediate(String::kHashShift));
366 // Here we actually clobber the key which will be used if calling into
367 // runtime later. However as the new key is the numeric value of a string key
368 // there is no difference in using either key.
369 Integer32ToSmi(index, hash);
370}
371
372
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000373void MacroAssembler::CallRuntime(Runtime::FunctionId id, int num_arguments) {
374 CallRuntime(Runtime::FunctionForId(id), num_arguments);
375}
376
377
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000378void MacroAssembler::CallRuntimeSaveDoubles(Runtime::FunctionId id) {
379 Runtime::Function* function = Runtime::FunctionForId(id);
380 Set(rax, function->nargs);
381 movq(rbx, ExternalReference(function));
382 CEntryStub ces(1);
383 ces.SaveDoubles();
384 CallStub(&ces);
385}
386
387
lrn@chromium.org303ada72010-10-27 09:33:13 +0000388MaybeObject* MacroAssembler::TryCallRuntime(Runtime::FunctionId id,
389 int num_arguments) {
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000390 return TryCallRuntime(Runtime::FunctionForId(id), num_arguments);
391}
392
393
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000394void MacroAssembler::CallRuntime(Runtime::Function* f, int num_arguments) {
395 // If the expected number of arguments of the runtime function is
396 // constant, we check that the actual number of arguments match the
397 // expectation.
398 if (f->nargs >= 0 && f->nargs != num_arguments) {
399 IllegalOperation(num_arguments);
400 return;
401 }
402
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000403 // TODO(1236192): Most runtime routines don't need the number of
404 // arguments passed in because it is constant. At some point we
405 // should remove this need and make the runtime routine entry code
406 // smarter.
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000407 Set(rax, num_arguments);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000408 movq(rbx, ExternalReference(f));
409 CEntryStub ces(f->result_size);
410 CallStub(&ces);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000411}
412
413
lrn@chromium.org303ada72010-10-27 09:33:13 +0000414MaybeObject* MacroAssembler::TryCallRuntime(Runtime::Function* f,
415 int num_arguments) {
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000416 if (f->nargs >= 0 && f->nargs != num_arguments) {
417 IllegalOperation(num_arguments);
418 // Since we did not call the stub, there was no allocation failure.
419 // Return some non-failure object.
420 return Heap::undefined_value();
421 }
422
423 // TODO(1236192): Most runtime routines don't need the number of
424 // arguments passed in because it is constant. At some point we
425 // should remove this need and make the runtime routine entry code
426 // smarter.
427 Set(rax, num_arguments);
428 movq(rbx, ExternalReference(f));
429 CEntryStub ces(f->result_size);
430 return TryCallStub(&ces);
431}
432
433
ager@chromium.org5c838252010-02-19 08:53:10 +0000434void MacroAssembler::CallExternalReference(const ExternalReference& ext,
435 int num_arguments) {
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000436 Set(rax, num_arguments);
ager@chromium.org5c838252010-02-19 08:53:10 +0000437 movq(rbx, ext);
438
439 CEntryStub stub(1);
440 CallStub(&stub);
441}
442
443
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000444void MacroAssembler::TailCallExternalReference(const ExternalReference& ext,
445 int num_arguments,
446 int result_size) {
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000447 // ----------- S t a t e -------------
448 // -- rsp[0] : return address
449 // -- rsp[8] : argument num_arguments - 1
450 // ...
451 // -- rsp[8 * num_arguments] : argument 0 (receiver)
452 // -----------------------------------
453
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000454 // TODO(1236192): Most runtime routines don't need the number of
455 // arguments passed in because it is constant. At some point we
456 // should remove this need and make the runtime routine entry code
457 // smarter.
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000458 Set(rax, num_arguments);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000459 JumpToExternalReference(ext, result_size);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000460}
461
462
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000463MaybeObject* MacroAssembler::TryTailCallExternalReference(
464 const ExternalReference& ext, int num_arguments, int result_size) {
465 // ----------- S t a t e -------------
466 // -- rsp[0] : return address
467 // -- rsp[8] : argument num_arguments - 1
468 // ...
469 // -- rsp[8 * num_arguments] : argument 0 (receiver)
470 // -----------------------------------
471
472 // TODO(1236192): Most runtime routines don't need the number of
473 // arguments passed in because it is constant. At some point we
474 // should remove this need and make the runtime routine entry code
475 // smarter.
476 Set(rax, num_arguments);
477 return TryJumpToExternalReference(ext, result_size);
478}
479
480
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000481void MacroAssembler::TailCallRuntime(Runtime::FunctionId fid,
482 int num_arguments,
483 int result_size) {
484 TailCallExternalReference(ExternalReference(fid), num_arguments, result_size);
485}
486
487
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000488MaybeObject* MacroAssembler::TryTailCallRuntime(Runtime::FunctionId fid,
489 int num_arguments,
490 int result_size) {
491 return TryTailCallExternalReference(ExternalReference(fid),
492 num_arguments,
493 result_size);
494}
495
496
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000497static int Offset(ExternalReference ref0, ExternalReference ref1) {
498 int64_t offset = (ref0.address() - ref1.address());
499 // Check that fits into int.
500 ASSERT(static_cast<int>(offset) == offset);
501 return static_cast<int>(offset);
502}
503
504
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000505void MacroAssembler::PrepareCallApiFunction(int arg_stack_space) {
506#ifdef _WIN64
507 // We need to prepare a slot for result handle on stack and put
508 // a pointer to it into 1st arg register.
509 EnterApiExitFrame(arg_stack_space + 1);
510
511 // rcx must be used to pass the pointer to the return value slot.
512 lea(rcx, StackSpaceOperand(arg_stack_space));
513#else
514 EnterApiExitFrame(arg_stack_space);
515#endif
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000516}
517
518
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000519MaybeObject* MacroAssembler::TryCallApiFunctionAndReturn(
520 ApiFunction* function, int stack_space) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000521 Label empty_result;
522 Label prologue;
523 Label promote_scheduled_exception;
524 Label delete_allocated_handles;
525 Label leave_exit_frame;
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000526 Label write_back;
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000527
lrn@chromium.org303ada72010-10-27 09:33:13 +0000528 ExternalReference next_address =
529 ExternalReference::handle_scope_next_address();
530 const int kNextOffset = 0;
531 const int kLimitOffset = Offset(
532 ExternalReference::handle_scope_limit_address(),
533 next_address);
534 const int kLevelOffset = Offset(
535 ExternalReference::handle_scope_level_address(),
536 next_address);
537 ExternalReference scheduled_exception_address =
538 ExternalReference::scheduled_exception_address();
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000539
lrn@chromium.org303ada72010-10-27 09:33:13 +0000540 // Allocate HandleScope in callee-save registers.
541 Register prev_next_address_reg = r14;
542 Register prev_limit_reg = rbx;
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000543 Register base_reg = r12;
lrn@chromium.org303ada72010-10-27 09:33:13 +0000544 movq(base_reg, next_address);
545 movq(prev_next_address_reg, Operand(base_reg, kNextOffset));
546 movq(prev_limit_reg, Operand(base_reg, kLimitOffset));
547 addl(Operand(base_reg, kLevelOffset), Immediate(1));
548 // Call the api function!
549 movq(rax,
550 reinterpret_cast<int64_t>(function->address()),
551 RelocInfo::RUNTIME_ENTRY);
552 call(rax);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000553
lrn@chromium.org303ada72010-10-27 09:33:13 +0000554#ifdef _WIN64
555 // rax keeps a pointer to v8::Handle, unpack it.
556 movq(rax, Operand(rax, 0));
557#endif
558 // Check if the result handle holds 0.
559 testq(rax, rax);
560 j(zero, &empty_result);
561 // It was non-zero. Dereference to get the result value.
562 movq(rax, Operand(rax, 0));
563 bind(&prologue);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000564
lrn@chromium.org303ada72010-10-27 09:33:13 +0000565 // No more valid handles (the result handle was the last one). Restore
566 // previous handle scope.
567 subl(Operand(base_reg, kLevelOffset), Immediate(1));
568 movq(Operand(base_reg, kNextOffset), prev_next_address_reg);
569 cmpq(prev_limit_reg, Operand(base_reg, kLimitOffset));
570 j(not_equal, &delete_allocated_handles);
571 bind(&leave_exit_frame);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000572
lrn@chromium.org303ada72010-10-27 09:33:13 +0000573 // Check if the function scheduled an exception.
574 movq(rsi, scheduled_exception_address);
575 Cmp(Operand(rsi, 0), Factory::the_hole_value());
576 j(not_equal, &promote_scheduled_exception);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000577
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000578 LeaveApiExitFrame();
579 ret(stack_space * kPointerSize);
lrn@chromium.org303ada72010-10-27 09:33:13 +0000580
581 bind(&promote_scheduled_exception);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000582 MaybeObject* result = TryTailCallRuntime(Runtime::kPromoteScheduledException,
583 0, 1);
584 if (result->IsFailure()) {
585 return result;
586 }
lrn@chromium.org303ada72010-10-27 09:33:13 +0000587
588 bind(&empty_result);
589 // It was zero; the result is undefined.
590 Move(rax, Factory::undefined_value());
591 jmp(&prologue);
592
593 // HandleScope limit has changed. Delete allocated extensions.
594 bind(&delete_allocated_handles);
595 movq(Operand(base_reg, kLimitOffset), prev_limit_reg);
596 movq(prev_limit_reg, rax);
597 movq(rax, ExternalReference::delete_handle_scope_extensions());
598 call(rax);
599 movq(rax, prev_limit_reg);
600 jmp(&leave_exit_frame);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000601
602 return result;
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000603}
604
605
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000606void MacroAssembler::JumpToExternalReference(const ExternalReference& ext,
607 int result_size) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000608 // Set the entry point and jump to the C entry runtime stub.
609 movq(rbx, ext);
ager@chromium.orga1645e22009-09-09 19:27:10 +0000610 CEntryStub ces(result_size);
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000611 jmp(ces.GetCode(), RelocInfo::CODE_TARGET);
kasperl@chromium.org71affb52009-05-26 05:44:31 +0000612}
613
ager@chromium.orge2902be2009-06-08 12:21:35 +0000614
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000615MaybeObject* MacroAssembler::TryJumpToExternalReference(
616 const ExternalReference& ext, int result_size) {
617 // Set the entry point and jump to the C entry runtime stub.
618 movq(rbx, ext);
619 CEntryStub ces(result_size);
620 return TryTailCallStub(&ces);
621}
622
623
ager@chromium.org5c838252010-02-19 08:53:10 +0000624void MacroAssembler::InvokeBuiltin(Builtins::JavaScript id, InvokeFlag flag) {
625 // Calls are not allowed in some stubs.
626 ASSERT(flag == JUMP_FUNCTION || allow_stub_calls());
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000627
ager@chromium.org5c838252010-02-19 08:53:10 +0000628 // Rely on the assertion to check that the number of provided
629 // arguments match the expected number of arguments. Fake a
630 // parameter count to avoid emitting code to do the check.
631 ParameterCount expected(0);
632 GetBuiltinEntry(rdx, id);
633 InvokeCode(rdx, expected, expected, flag);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000634}
635
ager@chromium.org5c838252010-02-19 08:53:10 +0000636
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000637void MacroAssembler::GetBuiltinFunction(Register target,
638 Builtins::JavaScript id) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000639 // Load the builtins object into target register.
640 movq(target, Operand(rsi, Context::SlotOffset(Context::GLOBAL_INDEX)));
641 movq(target, FieldOperand(target, GlobalObject::kBuiltinsOffset));
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000642 movq(target, FieldOperand(target,
643 JSBuiltinsObject::OffsetOfFunctionWithId(id)));
644}
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000645
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000646
647void MacroAssembler::GetBuiltinEntry(Register target, Builtins::JavaScript id) {
648 ASSERT(!target.is(rdi));
ager@chromium.org5c838252010-02-19 08:53:10 +0000649 // Load the JavaScript builtin function from the builtins object.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000650 GetBuiltinFunction(rdi, id);
651 movq(target, FieldOperand(rdi, JSFunction::kCodeEntryOffset));
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000652}
653
654
ager@chromium.orge2902be2009-06-08 12:21:35 +0000655void MacroAssembler::Set(Register dst, int64_t x) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000656 if (x == 0) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000657 xorl(dst, dst);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000658 } else if (is_int32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000659 movq(dst, Immediate(static_cast<int32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000660 } else if (is_uint32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000661 movl(dst, Immediate(static_cast<uint32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000662 } else {
663 movq(dst, x, RelocInfo::NONE);
664 }
665}
666
ager@chromium.orge2902be2009-06-08 12:21:35 +0000667void MacroAssembler::Set(const Operand& dst, int64_t x) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000668 if (is_int32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000669 movq(dst, Immediate(static_cast<int32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000670 } else {
671 movq(kScratchRegister, x, RelocInfo::NONE);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000672 movq(dst, kScratchRegister);
ager@chromium.orge2902be2009-06-08 12:21:35 +0000673 }
ager@chromium.orge2902be2009-06-08 12:21:35 +0000674}
675
ager@chromium.org4af710e2009-09-15 12:20:11 +0000676// ----------------------------------------------------------------------------
677// Smi tagging, untagging and tag detection.
678
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000679Register MacroAssembler::GetSmiConstant(Smi* source) {
680 int value = source->value();
681 if (value == 0) {
682 xorl(kScratchRegister, kScratchRegister);
683 return kScratchRegister;
684 }
685 if (value == 1) {
686 return kSmiConstantRegister;
687 }
688 LoadSmiConstant(kScratchRegister, source);
689 return kScratchRegister;
690}
691
692void MacroAssembler::LoadSmiConstant(Register dst, Smi* source) {
693 if (FLAG_debug_code) {
694 movq(dst,
695 reinterpret_cast<uint64_t>(Smi::FromInt(kSmiConstantRegisterValue)),
696 RelocInfo::NONE);
697 cmpq(dst, kSmiConstantRegister);
698 if (allow_stub_calls()) {
699 Assert(equal, "Uninitialized kSmiConstantRegister");
700 } else {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +0000701 NearLabel ok;
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000702 j(equal, &ok);
703 int3();
704 bind(&ok);
705 }
706 }
707 if (source->value() == 0) {
708 xorl(dst, dst);
709 return;
710 }
711 int value = source->value();
712 bool negative = value < 0;
713 unsigned int uvalue = negative ? -value : value;
714
715 switch (uvalue) {
716 case 9:
717 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_8, 0));
718 break;
719 case 8:
720 xorl(dst, dst);
721 lea(dst, Operand(dst, kSmiConstantRegister, times_8, 0));
722 break;
723 case 4:
724 xorl(dst, dst);
725 lea(dst, Operand(dst, kSmiConstantRegister, times_4, 0));
726 break;
727 case 5:
728 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_4, 0));
729 break;
730 case 3:
731 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_2, 0));
732 break;
733 case 2:
734 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_1, 0));
735 break;
736 case 1:
737 movq(dst, kSmiConstantRegister);
738 break;
739 case 0:
740 UNREACHABLE();
741 return;
742 default:
743 movq(dst, reinterpret_cast<uint64_t>(source), RelocInfo::NONE);
744 return;
745 }
746 if (negative) {
747 neg(dst);
748 }
749}
750
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +0000751
ager@chromium.org4af710e2009-09-15 12:20:11 +0000752void MacroAssembler::Integer32ToSmi(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000753 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000754 if (!dst.is(src)) {
755 movl(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000756 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000757 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000758}
759
760
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000761void MacroAssembler::Integer32ToSmiField(const Operand& dst, Register src) {
762 if (FLAG_debug_code) {
763 testb(dst, Immediate(0x01));
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +0000764 NearLabel ok;
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000765 j(zero, &ok);
766 if (allow_stub_calls()) {
767 Abort("Integer32ToSmiField writing to non-smi location");
768 } else {
769 int3();
770 }
771 bind(&ok);
772 }
773 ASSERT(kSmiShift % kBitsPerByte == 0);
774 movl(Operand(dst, kSmiShift / kBitsPerByte), src);
775}
776
777
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000778void MacroAssembler::Integer64PlusConstantToSmi(Register dst,
779 Register src,
780 int constant) {
781 if (dst.is(src)) {
782 addq(dst, Immediate(constant));
783 } else {
784 lea(dst, Operand(src, constant));
785 }
786 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000787}
788
789
790void MacroAssembler::SmiToInteger32(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000791 ASSERT_EQ(0, kSmiTag);
792 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000793 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000794 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000795 shr(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000796}
797
798
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000799void MacroAssembler::SmiToInteger32(Register dst, const Operand& src) {
800 movl(dst, Operand(src, kSmiShift / kBitsPerByte));
801}
802
803
ager@chromium.org4af710e2009-09-15 12:20:11 +0000804void MacroAssembler::SmiToInteger64(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000805 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000806 if (!dst.is(src)) {
807 movq(dst, src);
808 }
809 sar(dst, Immediate(kSmiShift));
810}
811
812
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000813void MacroAssembler::SmiToInteger64(Register dst, const Operand& src) {
814 movsxlq(dst, Operand(src, kSmiShift / kBitsPerByte));
815}
816
817
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000818void MacroAssembler::SmiTest(Register src) {
819 testq(src, src);
820}
821
822
823void MacroAssembler::SmiCompare(Register dst, Register src) {
824 cmpq(dst, src);
825}
826
827
828void MacroAssembler::SmiCompare(Register dst, Smi* src) {
829 ASSERT(!dst.is(kScratchRegister));
830 if (src->value() == 0) {
831 testq(dst, dst);
832 } else {
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000833 Register constant_reg = GetSmiConstant(src);
834 cmpq(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000835 }
836}
837
838
kmillikin@chromium.org9155e252010-05-26 13:27:57 +0000839void MacroAssembler::SmiCompare(Register dst, const Operand& src) {
ager@chromium.orgac091b72010-05-05 07:34:42 +0000840 cmpq(dst, src);
841}
842
843
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000844void MacroAssembler::SmiCompare(const Operand& dst, Register src) {
845 cmpq(dst, src);
846}
847
848
849void MacroAssembler::SmiCompare(const Operand& dst, Smi* src) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000850 cmpl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(src->value()));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000851}
852
853
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000854void MacroAssembler::SmiCompareInteger32(const Operand& dst, Register src) {
855 cmpl(Operand(dst, kSmiShift / kBitsPerByte), src);
856}
857
858
ager@chromium.org4af710e2009-09-15 12:20:11 +0000859void MacroAssembler::PositiveSmiTimesPowerOfTwoToInteger64(Register dst,
860 Register src,
861 int power) {
862 ASSERT(power >= 0);
863 ASSERT(power < 64);
864 if (power == 0) {
865 SmiToInteger64(dst, src);
866 return;
867 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000868 if (!dst.is(src)) {
869 movq(dst, src);
870 }
871 if (power < kSmiShift) {
872 sar(dst, Immediate(kSmiShift - power));
873 } else if (power > kSmiShift) {
874 shl(dst, Immediate(power - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000875 }
876}
877
878
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000879void MacroAssembler::PositiveSmiDivPowerOfTwoToInteger32(Register dst,
880 Register src,
881 int power) {
882 ASSERT((0 <= power) && (power < 32));
883 if (dst.is(src)) {
884 shr(dst, Immediate(power + kSmiShift));
885 } else {
886 UNIMPLEMENTED(); // Not used.
887 }
888}
889
890
ager@chromium.org4af710e2009-09-15 12:20:11 +0000891Condition MacroAssembler::CheckSmi(Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000892 ASSERT_EQ(0, kSmiTag);
893 testb(src, Immediate(kSmiTagMask));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000894 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000895}
896
897
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +0000898Condition MacroAssembler::CheckSmi(const Operand& src) {
899 ASSERT_EQ(0, kSmiTag);
900 testb(src, Immediate(kSmiTagMask));
901 return zero;
902}
903
904
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +0000905Condition MacroAssembler::CheckNonNegativeSmi(Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000906 ASSERT_EQ(0, kSmiTag);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000907 // Make mask 0x8000000000000001 and test that both bits are zero.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000908 movq(kScratchRegister, src);
909 rol(kScratchRegister, Immediate(1));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000910 testb(kScratchRegister, Immediate(3));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000911 return zero;
912}
913
914
ager@chromium.org4af710e2009-09-15 12:20:11 +0000915Condition MacroAssembler::CheckBothSmi(Register first, Register second) {
916 if (first.is(second)) {
917 return CheckSmi(first);
918 }
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000919 ASSERT(kSmiTag == 0 && kHeapObjectTag == 1 && kHeapObjectTagMask == 3);
920 leal(kScratchRegister, Operand(first, second, times_1, 0));
921 testb(kScratchRegister, Immediate(0x03));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000922 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000923}
924
925
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +0000926Condition MacroAssembler::CheckBothNonNegativeSmi(Register first,
927 Register second) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000928 if (first.is(second)) {
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +0000929 return CheckNonNegativeSmi(first);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000930 }
fschneider@chromium.org40b9da32010-06-28 11:29:21 +0000931 movq(kScratchRegister, first);
932 or_(kScratchRegister, second);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000933 rol(kScratchRegister, Immediate(1));
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +0000934 testl(kScratchRegister, Immediate(3));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000935 return zero;
936}
937
938
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000939Condition MacroAssembler::CheckEitherSmi(Register first,
940 Register second,
941 Register scratch) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000942 if (first.is(second)) {
943 return CheckSmi(first);
944 }
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000945 if (scratch.is(second)) {
946 andl(scratch, first);
947 } else {
948 if (!scratch.is(first)) {
949 movl(scratch, first);
950 }
951 andl(scratch, second);
952 }
953 testb(scratch, Immediate(kSmiTagMask));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000954 return zero;
955}
956
957
ager@chromium.org4af710e2009-09-15 12:20:11 +0000958Condition MacroAssembler::CheckIsMinSmi(Register src) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000959 ASSERT(!src.is(kScratchRegister));
960 // If we overflow by subtracting one, it's the minimal smi value.
961 cmpq(src, kSmiConstantRegister);
962 return overflow;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000963}
964
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000965
ager@chromium.org4af710e2009-09-15 12:20:11 +0000966Condition MacroAssembler::CheckInteger32ValidSmiValue(Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000967 // A 32-bit integer value can always be converted to a smi.
968 return always;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000969}
970
971
ager@chromium.org3811b432009-10-28 14:53:37 +0000972Condition MacroAssembler::CheckUInteger32ValidSmiValue(Register src) {
973 // An unsigned 32-bit integer value is valid as long as the high bit
974 // is not set.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000975 testl(src, src);
976 return positive;
ager@chromium.org3811b432009-10-28 14:53:37 +0000977}
978
979
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000980void MacroAssembler::CheckSmiToIndicator(Register dst, Register src) {
981 if (dst.is(src)) {
982 andl(dst, Immediate(kSmiTagMask));
983 } else {
984 movl(dst, Immediate(kSmiTagMask));
985 andl(dst, src);
986 }
987}
988
989
990void MacroAssembler::CheckSmiToIndicator(Register dst, const Operand& src) {
991 if (!(src.AddressUsesRegister(dst))) {
992 movl(dst, Immediate(kSmiTagMask));
993 andl(dst, src);
994 } else {
995 movl(dst, src);
996 andl(dst, Immediate(kSmiTagMask));
997 }
998}
999
1000
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001001void MacroAssembler::SmiAddConstant(Register dst, Register src, Smi* constant) {
1002 if (constant->value() == 0) {
1003 if (!dst.is(src)) {
1004 movq(dst, src);
1005 }
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001006 return;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001007 } else if (dst.is(src)) {
1008 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001009 switch (constant->value()) {
1010 case 1:
1011 addq(dst, kSmiConstantRegister);
1012 return;
1013 case 2:
1014 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
1015 return;
1016 case 4:
1017 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
1018 return;
1019 case 8:
1020 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
1021 return;
1022 default:
1023 Register constant_reg = GetSmiConstant(constant);
1024 addq(dst, constant_reg);
1025 return;
1026 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001027 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001028 switch (constant->value()) {
1029 case 1:
1030 lea(dst, Operand(src, kSmiConstantRegister, times_1, 0));
1031 return;
1032 case 2:
1033 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
1034 return;
1035 case 4:
1036 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
1037 return;
1038 case 8:
1039 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
1040 return;
1041 default:
1042 LoadSmiConstant(dst, constant);
1043 addq(dst, src);
1044 return;
1045 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001046 }
1047}
1048
1049
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001050void MacroAssembler::SmiAddConstant(const Operand& dst, Smi* constant) {
1051 if (constant->value() != 0) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001052 addl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(constant->value()));
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001053 }
1054}
1055
1056
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001057void MacroAssembler::SmiSubConstant(Register dst, Register src, Smi* constant) {
1058 if (constant->value() == 0) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001059 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001060 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001061 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001062 } else if (dst.is(src)) {
1063 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001064 Register constant_reg = GetSmiConstant(constant);
1065 subq(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001066 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001067 if (constant->value() == Smi::kMinValue) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001068 LoadSmiConstant(dst, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001069 // Adding and subtracting the min-value gives the same result, it only
1070 // differs on the overflow bit, which we don't check here.
1071 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001072 } else {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001073 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001074 LoadSmiConstant(dst, Smi::FromInt(-constant->value()));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001075 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001076 }
1077 }
1078}
1079
1080
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001081void MacroAssembler::SmiAdd(Register dst,
1082 Register src1,
1083 Register src2) {
1084 // No overflow checking. Use only when it's known that
1085 // overflowing is impossible.
1086 ASSERT(!dst.is(src2));
1087 if (dst.is(src1)) {
1088 addq(dst, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001089 } else {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001090 movq(dst, src1);
1091 addq(dst, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001092 }
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001093 Assert(no_overflow, "Smi addition overflow");
ager@chromium.org4af710e2009-09-15 12:20:11 +00001094}
1095
1096
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001097void MacroAssembler::SmiSub(Register dst, Register src1, Register src2) {
1098 // No overflow checking. Use only when it's known that
1099 // overflowing is impossible (e.g., subtracting two positive smis).
1100 ASSERT(!dst.is(src2));
1101 if (dst.is(src1)) {
1102 subq(dst, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001103 } else {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001104 movq(dst, src1);
1105 subq(dst, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001106 }
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001107 Assert(no_overflow, "Smi subtraction overflow");
ager@chromium.org4af710e2009-09-15 12:20:11 +00001108}
1109
1110
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001111void MacroAssembler::SmiSub(Register dst,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001112 Register src1,
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001113 const Operand& src2) {
1114 // No overflow checking. Use only when it's known that
1115 // overflowing is impossible (e.g., subtracting two positive smis).
1116 if (dst.is(src1)) {
1117 subq(dst, src2);
1118 } else {
1119 movq(dst, src1);
1120 subq(dst, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001121 }
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001122 Assert(no_overflow, "Smi subtraction overflow");
ager@chromium.org4af710e2009-09-15 12:20:11 +00001123}
1124
1125
1126void MacroAssembler::SmiNot(Register dst, Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001127 ASSERT(!dst.is(kScratchRegister));
1128 ASSERT(!src.is(kScratchRegister));
1129 // Set tag and padding bits before negating, so that they are zero afterwards.
1130 movl(kScratchRegister, Immediate(~0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001131 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001132 xor_(dst, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001133 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001134 lea(dst, Operand(src, kScratchRegister, times_1, 0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001135 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001136 not_(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001137}
1138
1139
1140void MacroAssembler::SmiAnd(Register dst, Register src1, Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001141 ASSERT(!dst.is(src2));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001142 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001143 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001144 }
1145 and_(dst, src2);
1146}
1147
1148
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001149void MacroAssembler::SmiAndConstant(Register dst, Register src, Smi* constant) {
1150 if (constant->value() == 0) {
lrn@chromium.org5d00b602011-01-05 09:51:43 +00001151 Set(dst, 0);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001152 } else if (dst.is(src)) {
1153 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001154 Register constant_reg = GetSmiConstant(constant);
1155 and_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001156 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001157 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001158 and_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001159 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001160}
1161
1162
1163void MacroAssembler::SmiOr(Register dst, Register src1, Register src2) {
1164 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001165 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001166 }
1167 or_(dst, src2);
1168}
1169
1170
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001171void MacroAssembler::SmiOrConstant(Register dst, Register src, Smi* constant) {
1172 if (dst.is(src)) {
1173 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001174 Register constant_reg = GetSmiConstant(constant);
1175 or_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001176 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001177 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001178 or_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001179 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001180}
1181
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001182
ager@chromium.org4af710e2009-09-15 12:20:11 +00001183void MacroAssembler::SmiXor(Register dst, Register src1, Register src2) {
1184 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001185 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001186 }
1187 xor_(dst, src2);
1188}
1189
1190
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001191void MacroAssembler::SmiXorConstant(Register dst, Register src, Smi* constant) {
1192 if (dst.is(src)) {
1193 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001194 Register constant_reg = GetSmiConstant(constant);
1195 xor_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001196 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001197 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001198 xor_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001199 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001200}
1201
1202
ager@chromium.org4af710e2009-09-15 12:20:11 +00001203void MacroAssembler::SmiShiftArithmeticRightConstant(Register dst,
1204 Register src,
1205 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001206 ASSERT(is_uint5(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001207 if (shift_value > 0) {
1208 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001209 sar(dst, Immediate(shift_value + kSmiShift));
1210 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001211 } else {
1212 UNIMPLEMENTED(); // Not used.
1213 }
1214 }
1215}
1216
1217
ager@chromium.org4af710e2009-09-15 12:20:11 +00001218void MacroAssembler::SmiShiftLeftConstant(Register dst,
1219 Register src,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00001220 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001221 if (!dst.is(src)) {
1222 movq(dst, src);
1223 }
1224 if (shift_value > 0) {
1225 shl(dst, Immediate(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001226 }
1227}
1228
1229
1230void MacroAssembler::SmiShiftLeft(Register dst,
1231 Register src1,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00001232 Register src2) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001233 ASSERT(!dst.is(rcx));
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001234 NearLabel result_ok;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001235 // Untag shift amount.
1236 if (!dst.is(src1)) {
1237 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001238 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001239 SmiToInteger32(rcx, src2);
1240 // Shift amount specified by lower 5 bits, not six as the shl opcode.
1241 and_(rcx, Immediate(0x1f));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001242 shl_cl(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001243}
1244
1245
ager@chromium.org4af710e2009-09-15 12:20:11 +00001246void MacroAssembler::SmiShiftArithmeticRight(Register dst,
1247 Register src1,
1248 Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001249 ASSERT(!dst.is(kScratchRegister));
1250 ASSERT(!src1.is(kScratchRegister));
1251 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001252 ASSERT(!dst.is(rcx));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001253 if (src1.is(rcx)) {
1254 movq(kScratchRegister, src1);
1255 } else if (src2.is(rcx)) {
1256 movq(kScratchRegister, src2);
1257 }
1258 if (!dst.is(src1)) {
1259 movq(dst, src1);
1260 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001261 SmiToInteger32(rcx, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001262 orl(rcx, Immediate(kSmiShift));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001263 sar_cl(dst); // Shift 32 + original rcx & 0x1f.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001264 shl(dst, Immediate(kSmiShift));
1265 if (src1.is(rcx)) {
1266 movq(src1, kScratchRegister);
1267 } else if (src2.is(rcx)) {
1268 movq(src2, kScratchRegister);
1269 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001270}
1271
1272
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001273SmiIndex MacroAssembler::SmiToIndex(Register dst,
1274 Register src,
1275 int shift) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001276 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001277 // There is a possible optimization if shift is in the range 60-63, but that
1278 // will (and must) never happen.
1279 if (!dst.is(src)) {
1280 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001281 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001282 if (shift < kSmiShift) {
1283 sar(dst, Immediate(kSmiShift - shift));
1284 } else {
1285 shl(dst, Immediate(shift - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001286 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001287 return SmiIndex(dst, times_1);
1288}
1289
ager@chromium.org4af710e2009-09-15 12:20:11 +00001290SmiIndex MacroAssembler::SmiToNegativeIndex(Register dst,
1291 Register src,
1292 int shift) {
1293 // Register src holds a positive smi.
1294 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001295 if (!dst.is(src)) {
1296 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001297 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001298 neg(dst);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001299 if (shift < kSmiShift) {
1300 sar(dst, Immediate(kSmiShift - shift));
1301 } else {
1302 shl(dst, Immediate(shift - kSmiShift));
1303 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001304 return SmiIndex(dst, times_1);
1305}
1306
1307
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +00001308void MacroAssembler::Move(Register dst, Register src) {
1309 if (!dst.is(src)) {
1310 movq(dst, src);
1311 }
1312}
1313
1314
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001315void MacroAssembler::Move(Register dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001316 ASSERT(!source->IsFailure());
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001317 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001318 Move(dst, Smi::cast(*source));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001319 } else {
1320 movq(dst, source, RelocInfo::EMBEDDED_OBJECT);
1321 }
1322}
1323
1324
1325void MacroAssembler::Move(const Operand& dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001326 ASSERT(!source->IsFailure());
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001327 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001328 Move(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001329 } else {
1330 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1331 movq(dst, kScratchRegister);
1332 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001333}
1334
1335
1336void MacroAssembler::Cmp(Register dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001337 if (source->IsSmi()) {
1338 SmiCompare(dst, Smi::cast(*source));
1339 } else {
1340 Move(kScratchRegister, source);
1341 cmpq(dst, kScratchRegister);
1342 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001343}
1344
1345
ager@chromium.org3e875802009-06-29 08:26:34 +00001346void MacroAssembler::Cmp(const Operand& dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001347 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001348 SmiCompare(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001349 } else {
1350 ASSERT(source->IsHeapObject());
1351 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1352 cmpq(dst, kScratchRegister);
1353 }
ager@chromium.org3e875802009-06-29 08:26:34 +00001354}
1355
1356
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001357void MacroAssembler::Push(Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001358 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001359 Push(Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001360 } else {
1361 ASSERT(source->IsHeapObject());
1362 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1363 push(kScratchRegister);
1364 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001365}
1366
1367
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001368void MacroAssembler::Push(Smi* source) {
ager@chromium.org3811b432009-10-28 14:53:37 +00001369 intptr_t smi = reinterpret_cast<intptr_t>(source);
1370 if (is_int32(smi)) {
1371 push(Immediate(static_cast<int32_t>(smi)));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001372 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001373 Register constant = GetSmiConstant(source);
1374 push(constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001375 }
1376}
1377
1378
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001379void MacroAssembler::Drop(int stack_elements) {
1380 if (stack_elements > 0) {
1381 addq(rsp, Immediate(stack_elements * kPointerSize));
1382 }
1383}
1384
1385
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001386void MacroAssembler::Test(const Operand& src, Smi* source) {
kmillikin@chromium.org9155e252010-05-26 13:27:57 +00001387 testl(Operand(src, kIntSize), Immediate(source->value()));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001388}
1389
1390
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001391void MacroAssembler::Jump(ExternalReference ext) {
1392 movq(kScratchRegister, ext);
1393 jmp(kScratchRegister);
1394}
1395
1396
1397void MacroAssembler::Jump(Address destination, RelocInfo::Mode rmode) {
1398 movq(kScratchRegister, destination, rmode);
1399 jmp(kScratchRegister);
1400}
1401
1402
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001403void MacroAssembler::Jump(Handle<Code> code_object, RelocInfo::Mode rmode) {
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001404 // TODO(X64): Inline this
1405 jmp(code_object, rmode);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001406}
1407
1408
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001409void MacroAssembler::Call(ExternalReference ext) {
1410 movq(kScratchRegister, ext);
1411 call(kScratchRegister);
1412}
1413
1414
1415void MacroAssembler::Call(Address destination, RelocInfo::Mode rmode) {
1416 movq(kScratchRegister, destination, rmode);
1417 call(kScratchRegister);
1418}
1419
1420
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001421void MacroAssembler::Call(Handle<Code> code_object, RelocInfo::Mode rmode) {
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001422 ASSERT(RelocInfo::IsCodeTarget(rmode));
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001423 call(code_object, rmode);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001424}
1425
1426
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00001427void MacroAssembler::Pushad() {
1428 push(rax);
1429 push(rcx);
1430 push(rdx);
1431 push(rbx);
1432 // Not pushing rsp or rbp.
1433 push(rsi);
1434 push(rdi);
1435 push(r8);
1436 push(r9);
1437 // r10 is kScratchRegister.
1438 push(r11);
1439 push(r12);
1440 // r13 is kRootRegister.
1441 push(r14);
1442 // r15 is kSmiConstantRegister
1443}
1444
1445
1446void MacroAssembler::Popad() {
1447 pop(r14);
1448 pop(r12);
1449 pop(r11);
1450 pop(r9);
1451 pop(r8);
1452 pop(rdi);
1453 pop(rsi);
1454 pop(rbx);
1455 pop(rdx);
1456 pop(rcx);
1457 pop(rax);
1458}
1459
1460
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001461void MacroAssembler::Dropad() {
1462 const int kRegistersPushedByPushad = 11;
1463 addq(rsp, Immediate(kRegistersPushedByPushad * kPointerSize));
1464}
1465
1466
1467// Order general registers are pushed by Pushad:
1468// rax, rcx, rdx, rbx, rsi, rdi, r8, r9, r11, r12, r14.
1469int MacroAssembler::kSafepointPushRegisterIndices[Register::kNumRegisters] = {
1470 0,
1471 1,
1472 2,
1473 3,
1474 -1,
1475 -1,
1476 4,
1477 5,
1478 6,
1479 7,
1480 -1,
1481 8,
1482 9,
1483 -1,
1484 10,
1485 -1
1486};
1487
1488
ager@chromium.orge2902be2009-06-08 12:21:35 +00001489void MacroAssembler::PushTryHandler(CodeLocation try_location,
1490 HandlerType type) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001491 // Adjust this code if not the case.
1492 ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
1493
1494 // The pc (return address) is already on TOS. This code pushes state,
1495 // frame pointer and current handler. Check that they are expected
1496 // next on the stack, in that order.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001497 ASSERT_EQ(StackHandlerConstants::kStateOffset,
1498 StackHandlerConstants::kPCOffset - kPointerSize);
ager@chromium.orge2902be2009-06-08 12:21:35 +00001499 ASSERT_EQ(StackHandlerConstants::kFPOffset,
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001500 StackHandlerConstants::kStateOffset - kPointerSize);
1501 ASSERT_EQ(StackHandlerConstants::kNextOffset,
ager@chromium.orge2902be2009-06-08 12:21:35 +00001502 StackHandlerConstants::kFPOffset - kPointerSize);
1503
1504 if (try_location == IN_JAVASCRIPT) {
1505 if (type == TRY_CATCH_HANDLER) {
1506 push(Immediate(StackHandler::TRY_CATCH));
1507 } else {
1508 push(Immediate(StackHandler::TRY_FINALLY));
1509 }
ager@chromium.orge2902be2009-06-08 12:21:35 +00001510 push(rbp);
ager@chromium.orge2902be2009-06-08 12:21:35 +00001511 } else {
1512 ASSERT(try_location == IN_JS_ENTRY);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001513 // The frame pointer does not point to a JS frame so we save NULL
1514 // for rbp. We expect the code throwing an exception to check rbp
1515 // before dereferencing it to restore the context.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001516 push(Immediate(StackHandler::ENTRY));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001517 push(Immediate(0)); // NULL frame pointer.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001518 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001519 // Save the current handler.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001520 movq(kScratchRegister, ExternalReference(Top::k_handler_address));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001521 push(Operand(kScratchRegister, 0));
ager@chromium.orge2902be2009-06-08 12:21:35 +00001522 // Link this handler.
1523 movq(Operand(kScratchRegister, 0), rsp);
1524}
1525
1526
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001527void MacroAssembler::PopTryHandler() {
1528 ASSERT_EQ(0, StackHandlerConstants::kNextOffset);
1529 // Unlink this handler.
1530 movq(kScratchRegister, ExternalReference(Top::k_handler_address));
1531 pop(Operand(kScratchRegister, 0));
1532 // Remove the remaining fields.
1533 addq(rsp, Immediate(StackHandlerConstants::kSize - kPointerSize));
1534}
1535
1536
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001537void MacroAssembler::Ret() {
1538 ret(0);
1539}
1540
1541
ager@chromium.org3e875802009-06-29 08:26:34 +00001542void MacroAssembler::FCmp() {
ager@chromium.org3811b432009-10-28 14:53:37 +00001543 fucomip();
fschneider@chromium.org40b9da32010-06-28 11:29:21 +00001544 fstp(0);
ager@chromium.org3e875802009-06-29 08:26:34 +00001545}
1546
1547
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001548void MacroAssembler::CmpObjectType(Register heap_object,
1549 InstanceType type,
1550 Register map) {
1551 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
1552 CmpInstanceType(map, type);
1553}
1554
1555
1556void MacroAssembler::CmpInstanceType(Register map, InstanceType type) {
1557 cmpb(FieldOperand(map, Map::kInstanceTypeOffset),
1558 Immediate(static_cast<int8_t>(type)));
1559}
1560
1561
ager@chromium.org5c838252010-02-19 08:53:10 +00001562void MacroAssembler::CheckMap(Register obj,
1563 Handle<Map> map,
1564 Label* fail,
1565 bool is_heap_object) {
1566 if (!is_heap_object) {
1567 JumpIfSmi(obj, fail);
1568 }
1569 Cmp(FieldOperand(obj, HeapObject::kMapOffset), map);
1570 j(not_equal, fail);
1571}
1572
1573
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001574void MacroAssembler::AbortIfNotNumber(Register object) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001575 NearLabel ok;
ager@chromium.org5c838252010-02-19 08:53:10 +00001576 Condition is_smi = CheckSmi(object);
1577 j(is_smi, &ok);
1578 Cmp(FieldOperand(object, HeapObject::kMapOffset),
1579 Factory::heap_number_map());
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001580 Assert(equal, "Operand not a number");
ager@chromium.org5c838252010-02-19 08:53:10 +00001581 bind(&ok);
1582}
1583
1584
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001585void MacroAssembler::AbortIfSmi(Register object) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001586 NearLabel ok;
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001587 Condition is_smi = CheckSmi(object);
1588 Assert(NegateCondition(is_smi), "Operand is a smi");
1589}
1590
1591
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001592void MacroAssembler::AbortIfNotSmi(Register object) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001593 NearLabel ok;
lrn@chromium.org25156de2010-04-06 13:10:27 +00001594 Condition is_smi = CheckSmi(object);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001595 Assert(is_smi, "Operand is not a smi");
lrn@chromium.org25156de2010-04-06 13:10:27 +00001596}
1597
1598
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001599void MacroAssembler::AbortIfNotRootValue(Register src,
1600 Heap::RootListIndex root_value_index,
1601 const char* message) {
1602 ASSERT(!src.is(kScratchRegister));
1603 LoadRoot(kScratchRegister, root_value_index);
1604 cmpq(src, kScratchRegister);
1605 Check(equal, message);
1606}
1607
1608
1609
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001610Condition MacroAssembler::IsObjectStringType(Register heap_object,
1611 Register map,
1612 Register instance_type) {
1613 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
1614 movzxbl(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
1615 ASSERT(kNotStringTag != 0);
1616 testb(instance_type, Immediate(kIsNotStringMask));
1617 return zero;
1618}
1619
1620
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00001621void MacroAssembler::TryGetFunctionPrototype(Register function,
1622 Register result,
1623 Label* miss) {
1624 // Check that the receiver isn't a smi.
1625 testl(function, Immediate(kSmiTagMask));
1626 j(zero, miss);
1627
1628 // Check that the function really is a function.
1629 CmpObjectType(function, JS_FUNCTION_TYPE, result);
1630 j(not_equal, miss);
1631
1632 // Make sure that the function has an instance prototype.
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001633 NearLabel non_instance;
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00001634 testb(FieldOperand(result, Map::kBitFieldOffset),
1635 Immediate(1 << Map::kHasNonInstancePrototype));
1636 j(not_zero, &non_instance);
1637
1638 // Get the prototype or initial map from the function.
1639 movq(result,
1640 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
1641
1642 // If the prototype or initial map is the hole, don't return it and
1643 // simply miss the cache instead. This will allow us to allocate a
1644 // prototype object on-demand in the runtime system.
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001645 CompareRoot(result, Heap::kTheHoleValueRootIndex);
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00001646 j(equal, miss);
1647
1648 // If the function does not have an initial map, we're done.
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001649 NearLabel done;
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00001650 CmpObjectType(result, MAP_TYPE, kScratchRegister);
1651 j(not_equal, &done);
1652
1653 // Get the prototype from the initial map.
1654 movq(result, FieldOperand(result, Map::kPrototypeOffset));
1655 jmp(&done);
1656
1657 // Non-instance prototype: Fetch prototype from constructor field
1658 // in initial map.
1659 bind(&non_instance);
1660 movq(result, FieldOperand(result, Map::kConstructorOffset));
1661
1662 // All done.
1663 bind(&done);
1664}
1665
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001666
1667void MacroAssembler::SetCounter(StatsCounter* counter, int value) {
1668 if (FLAG_native_code_counters && counter->Enabled()) {
1669 movq(kScratchRegister, ExternalReference(counter));
1670 movl(Operand(kScratchRegister, 0), Immediate(value));
1671 }
1672}
1673
1674
1675void MacroAssembler::IncrementCounter(StatsCounter* counter, int value) {
1676 ASSERT(value > 0);
1677 if (FLAG_native_code_counters && counter->Enabled()) {
1678 movq(kScratchRegister, ExternalReference(counter));
1679 Operand operand(kScratchRegister, 0);
1680 if (value == 1) {
1681 incl(operand);
1682 } else {
1683 addl(operand, Immediate(value));
1684 }
1685 }
1686}
1687
1688
1689void MacroAssembler::DecrementCounter(StatsCounter* counter, int value) {
1690 ASSERT(value > 0);
1691 if (FLAG_native_code_counters && counter->Enabled()) {
1692 movq(kScratchRegister, ExternalReference(counter));
1693 Operand operand(kScratchRegister, 0);
1694 if (value == 1) {
1695 decl(operand);
1696 } else {
1697 subl(operand, Immediate(value));
1698 }
1699 }
1700}
1701
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001702
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001703#ifdef ENABLE_DEBUGGER_SUPPORT
ager@chromium.org5c838252010-02-19 08:53:10 +00001704void MacroAssembler::DebugBreak() {
1705 ASSERT(allow_stub_calls());
lrn@chromium.org5d00b602011-01-05 09:51:43 +00001706 Set(rax, 0); // No arguments.
ager@chromium.org5c838252010-02-19 08:53:10 +00001707 movq(rbx, ExternalReference(Runtime::kDebugBreak));
1708 CEntryStub ces(1);
1709 Call(ces.GetCode(), RelocInfo::DEBUG_BREAK);
ager@chromium.org3e875802009-06-29 08:26:34 +00001710}
ager@chromium.org5c838252010-02-19 08:53:10 +00001711#endif // ENABLE_DEBUGGER_SUPPORT
ager@chromium.org3e875802009-06-29 08:26:34 +00001712
1713
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001714void MacroAssembler::InvokeCode(Register code,
1715 const ParameterCount& expected,
1716 const ParameterCount& actual,
1717 InvokeFlag flag) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001718 NearLabel done;
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001719 InvokePrologue(expected, actual, Handle<Code>::null(), code, &done, flag);
1720 if (flag == CALL_FUNCTION) {
1721 call(code);
1722 } else {
1723 ASSERT(flag == JUMP_FUNCTION);
1724 jmp(code);
1725 }
1726 bind(&done);
1727}
1728
1729
1730void MacroAssembler::InvokeCode(Handle<Code> code,
1731 const ParameterCount& expected,
1732 const ParameterCount& actual,
1733 RelocInfo::Mode rmode,
1734 InvokeFlag flag) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001735 NearLabel done;
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001736 Register dummy = rax;
1737 InvokePrologue(expected, actual, code, dummy, &done, flag);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001738 if (flag == CALL_FUNCTION) {
ager@chromium.org3e875802009-06-29 08:26:34 +00001739 Call(code, rmode);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001740 } else {
1741 ASSERT(flag == JUMP_FUNCTION);
ager@chromium.org3e875802009-06-29 08:26:34 +00001742 Jump(code, rmode);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001743 }
1744 bind(&done);
1745}
1746
1747
1748void MacroAssembler::InvokeFunction(Register function,
1749 const ParameterCount& actual,
1750 InvokeFlag flag) {
1751 ASSERT(function.is(rdi));
1752 movq(rdx, FieldOperand(function, JSFunction::kSharedFunctionInfoOffset));
1753 movq(rsi, FieldOperand(function, JSFunction::kContextOffset));
ager@chromium.org3e875802009-06-29 08:26:34 +00001754 movsxlq(rbx,
1755 FieldOperand(rdx, SharedFunctionInfo::kFormalParameterCountOffset));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001756 // Advances rdx to the end of the Code object header, to the start of
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001757 // the executable code.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001758 movq(rdx, FieldOperand(rdi, JSFunction::kCodeEntryOffset));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001759
1760 ParameterCount expected(rbx);
1761 InvokeCode(rdx, expected, actual, flag);
1762}
1763
1764
ager@chromium.org5c838252010-02-19 08:53:10 +00001765void MacroAssembler::InvokeFunction(JSFunction* function,
1766 const ParameterCount& actual,
1767 InvokeFlag flag) {
1768 ASSERT(function->is_compiled());
1769 // Get the function and setup the context.
1770 Move(rdi, Handle<JSFunction>(function));
1771 movq(rsi, FieldOperand(rdi, JSFunction::kContextOffset));
1772
1773 // Invoke the cached code.
1774 Handle<Code> code(function->code());
1775 ParameterCount expected(function->shared()->formal_parameter_count());
1776 InvokeCode(code, expected, actual, RelocInfo::CODE_TARGET, flag);
1777}
1778
1779
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001780void MacroAssembler::EnterFrame(StackFrame::Type type) {
1781 push(rbp);
1782 movq(rbp, rsp);
1783 push(rsi); // Context.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001784 Push(Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001785 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
1786 push(kScratchRegister);
1787 if (FLAG_debug_code) {
1788 movq(kScratchRegister,
1789 Factory::undefined_value(),
1790 RelocInfo::EMBEDDED_OBJECT);
1791 cmpq(Operand(rsp, 0), kScratchRegister);
1792 Check(not_equal, "code object not properly patched");
1793 }
1794}
1795
1796
1797void MacroAssembler::LeaveFrame(StackFrame::Type type) {
1798 if (FLAG_debug_code) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001799 Move(kScratchRegister, Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001800 cmpq(Operand(rbp, StandardFrameConstants::kMarkerOffset), kScratchRegister);
1801 Check(equal, "stack frame types must match");
1802 }
1803 movq(rsp, rbp);
1804 pop(rbp);
1805}
1806
1807
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001808void MacroAssembler::EnterExitFramePrologue(bool save_rax) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001809 // Setup the frame structure on the stack.
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00001810 // All constants are relative to the frame pointer of the exit frame.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001811 ASSERT(ExitFrameConstants::kCallerSPDisplacement == +2 * kPointerSize);
1812 ASSERT(ExitFrameConstants::kCallerPCOffset == +1 * kPointerSize);
1813 ASSERT(ExitFrameConstants::kCallerFPOffset == 0 * kPointerSize);
1814 push(rbp);
1815 movq(rbp, rsp);
1816
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001817 // Reserve room for entry stack pointer and push the code object.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001818 ASSERT(ExitFrameConstants::kSPOffset == -1 * kPointerSize);
ager@chromium.org5c838252010-02-19 08:53:10 +00001819 push(Immediate(0)); // Saved entry sp, patched before call.
1820 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
1821 push(kScratchRegister); // Accessed from EditFrame::code_slot.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001822
1823 // Save the frame pointer and the context in top.
1824 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
1825 ExternalReference context_address(Top::k_context_address);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001826 if (save_rax) {
1827 movq(r14, rax); // Backup rax before we use it.
1828 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001829
1830 movq(rax, rbp);
1831 store_rax(c_entry_fp_address);
1832 movq(rax, rsi);
1833 store_rax(context_address);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001834}
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001835
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001836
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001837void MacroAssembler::EnterExitFrameEpilogue(int arg_stack_space,
1838 bool save_doubles) {
ager@chromium.orga1645e22009-09-09 19:27:10 +00001839#ifdef _WIN64
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001840 const int kShadowSpace = 4;
1841 arg_stack_space += kShadowSpace;
ager@chromium.orga1645e22009-09-09 19:27:10 +00001842#endif
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001843 // Optionally save all XMM registers.
1844 if (save_doubles) {
1845 CpuFeatures::Scope scope(SSE2);
1846 int space = XMMRegister::kNumRegisters * kDoubleSize +
1847 arg_stack_space * kPointerSize;
1848 subq(rsp, Immediate(space));
1849 int offset = -2 * kPointerSize;
1850 for (int i = 0; i < XMMRegister::kNumAllocatableRegisters; i++) {
1851 XMMRegister reg = XMMRegister::FromAllocationIndex(i);
1852 movsd(Operand(rbp, offset - ((i + 1) * kDoubleSize)), reg);
1853 }
1854 } else if (arg_stack_space > 0) {
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001855 subq(rsp, Immediate(arg_stack_space * kPointerSize));
1856 }
ager@chromium.orga1645e22009-09-09 19:27:10 +00001857
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001858 // Get the required frame alignment for the OS.
1859 static const int kFrameAlignment = OS::ActivationFrameAlignment();
1860 if (kFrameAlignment > 0) {
1861 ASSERT(IsPowerOf2(kFrameAlignment));
1862 movq(kScratchRegister, Immediate(-kFrameAlignment));
1863 and_(rsp, kScratchRegister);
1864 }
1865
1866 // Patch the saved entry sp.
1867 movq(Operand(rbp, ExitFrameConstants::kSPOffset), rsp);
1868}
1869
1870
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001871void MacroAssembler::EnterExitFrame(int arg_stack_space, bool save_doubles) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001872 EnterExitFramePrologue(true);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001873
1874 // Setup argv in callee-saved register r12. It is reused in LeaveExitFrame,
1875 // so it must be retained across the C-call.
1876 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
1877 lea(r12, Operand(rbp, r14, times_pointer_size, offset));
1878
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001879 EnterExitFrameEpilogue(arg_stack_space, save_doubles);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001880}
1881
1882
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001883void MacroAssembler::EnterApiExitFrame(int arg_stack_space) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001884 EnterExitFramePrologue(false);
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001885 EnterExitFrameEpilogue(arg_stack_space, false);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001886}
1887
1888
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001889void MacroAssembler::LeaveExitFrame(bool save_doubles) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001890 // Registers:
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001891 // r12 : argv
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001892 if (save_doubles) {
1893 int offset = -2 * kPointerSize;
1894 for (int i = 0; i < XMMRegister::kNumAllocatableRegisters; i++) {
1895 XMMRegister reg = XMMRegister::FromAllocationIndex(i);
1896 movsd(reg, Operand(rbp, offset - ((i + 1) * kDoubleSize)));
1897 }
1898 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001899 // Get the return address from the stack and restore the frame pointer.
1900 movq(rcx, Operand(rbp, 1 * kPointerSize));
1901 movq(rbp, Operand(rbp, 0 * kPointerSize));
1902
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001903 // Drop everything up to and including the arguments and the receiver
ager@chromium.orga1645e22009-09-09 19:27:10 +00001904 // from the caller stack.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001905 lea(rsp, Operand(r12, 1 * kPointerSize));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001906
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001907 // Push the return address to get ready to return.
1908 push(rcx);
1909
1910 LeaveExitFrameEpilogue();
1911}
1912
1913
1914void MacroAssembler::LeaveApiExitFrame() {
1915 movq(rsp, rbp);
1916 pop(rbp);
1917
1918 LeaveExitFrameEpilogue();
1919}
1920
1921
1922void MacroAssembler::LeaveExitFrameEpilogue() {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001923 // Restore current context from top and clear it in debug mode.
1924 ExternalReference context_address(Top::k_context_address);
1925 movq(kScratchRegister, context_address);
1926 movq(rsi, Operand(kScratchRegister, 0));
1927#ifdef DEBUG
1928 movq(Operand(kScratchRegister, 0), Immediate(0));
1929#endif
1930
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001931 // Clear the top frame.
1932 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
1933 movq(kScratchRegister, c_entry_fp_address);
1934 movq(Operand(kScratchRegister, 0), Immediate(0));
1935}
1936
1937
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001938void MacroAssembler::CheckAccessGlobalProxy(Register holder_reg,
1939 Register scratch,
1940 Label* miss) {
1941 Label same_contexts;
1942
1943 ASSERT(!holder_reg.is(scratch));
1944 ASSERT(!scratch.is(kScratchRegister));
1945 // Load current lexical context from the stack frame.
1946 movq(scratch, Operand(rbp, StandardFrameConstants::kContextOffset));
1947
1948 // When generating debug code, make sure the lexical context is set.
1949 if (FLAG_debug_code) {
1950 cmpq(scratch, Immediate(0));
1951 Check(not_equal, "we should not have an empty lexical context");
1952 }
1953 // Load the global context of the current context.
1954 int offset = Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
1955 movq(scratch, FieldOperand(scratch, offset));
1956 movq(scratch, FieldOperand(scratch, GlobalObject::kGlobalContextOffset));
1957
1958 // Check the context is a global context.
1959 if (FLAG_debug_code) {
1960 Cmp(FieldOperand(scratch, HeapObject::kMapOffset),
1961 Factory::global_context_map());
1962 Check(equal, "JSGlobalObject::global_context should be a global context.");
1963 }
1964
1965 // Check if both contexts are the same.
1966 cmpq(scratch, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
1967 j(equal, &same_contexts);
1968
1969 // Compare security tokens.
1970 // Check that the security token in the calling global object is
1971 // compatible with the security token in the receiving global
1972 // object.
1973
1974 // Check the context is a global context.
1975 if (FLAG_debug_code) {
1976 // Preserve original value of holder_reg.
1977 push(holder_reg);
1978 movq(holder_reg, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001979 CompareRoot(holder_reg, Heap::kNullValueRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001980 Check(not_equal, "JSGlobalProxy::context() should not be null.");
1981
1982 // Read the first word and compare to global_context_map(),
1983 movq(holder_reg, FieldOperand(holder_reg, HeapObject::kMapOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001984 CompareRoot(holder_reg, Heap::kGlobalContextMapRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001985 Check(equal, "JSGlobalObject::global_context should be a global context.");
1986 pop(holder_reg);
1987 }
1988
1989 movq(kScratchRegister,
1990 FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001991 int token_offset =
1992 Context::kHeaderSize + Context::SECURITY_TOKEN_INDEX * kPointerSize;
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001993 movq(scratch, FieldOperand(scratch, token_offset));
1994 cmpq(scratch, FieldOperand(kScratchRegister, token_offset));
1995 j(not_equal, miss);
1996
1997 bind(&same_contexts);
1998}
1999
2000
ager@chromium.orga1645e22009-09-09 19:27:10 +00002001void MacroAssembler::LoadAllocationTopHelper(Register result,
ager@chromium.orga1645e22009-09-09 19:27:10 +00002002 Register scratch,
2003 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002004 ExternalReference new_space_allocation_top =
2005 ExternalReference::new_space_allocation_top_address();
2006
2007 // Just return if allocation top is already known.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002008 if ((flags & RESULT_CONTAINS_TOP) != 0) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002009 // No use of scratch if allocation top is provided.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002010 ASSERT(!scratch.is_valid());
ager@chromium.orga1645e22009-09-09 19:27:10 +00002011#ifdef DEBUG
2012 // Assert that result actually contains top on entry.
2013 movq(kScratchRegister, new_space_allocation_top);
2014 cmpq(result, Operand(kScratchRegister, 0));
2015 Check(equal, "Unexpected allocation top");
2016#endif
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002017 return;
2018 }
2019
ager@chromium.orgac091b72010-05-05 07:34:42 +00002020 // Move address of new object to result. Use scratch register if available,
2021 // and keep address in scratch until call to UpdateAllocationTopHelper.
2022 if (scratch.is_valid()) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002023 movq(scratch, new_space_allocation_top);
2024 movq(result, Operand(scratch, 0));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002025 } else if (result.is(rax)) {
2026 load_rax(new_space_allocation_top);
2027 } else {
2028 movq(kScratchRegister, new_space_allocation_top);
2029 movq(result, Operand(kScratchRegister, 0));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002030 }
2031}
2032
2033
2034void MacroAssembler::UpdateAllocationTopHelper(Register result_end,
2035 Register scratch) {
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002036 if (FLAG_debug_code) {
2037 testq(result_end, Immediate(kObjectAlignmentMask));
2038 Check(zero, "Unaligned allocation in new space");
2039 }
2040
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002041 ExternalReference new_space_allocation_top =
2042 ExternalReference::new_space_allocation_top_address();
2043
2044 // Update new top.
2045 if (result_end.is(rax)) {
2046 // rax can be stored directly to a memory location.
2047 store_rax(new_space_allocation_top);
2048 } else {
2049 // Register required - use scratch provided if available.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002050 if (scratch.is_valid()) {
2051 movq(Operand(scratch, 0), result_end);
2052 } else {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002053 movq(kScratchRegister, new_space_allocation_top);
2054 movq(Operand(kScratchRegister, 0), result_end);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002055 }
2056 }
2057}
2058
2059
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002060void MacroAssembler::AllocateInNewSpace(int object_size,
2061 Register result,
2062 Register result_end,
2063 Register scratch,
2064 Label* gc_required,
2065 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00002066 if (!FLAG_inline_new) {
2067 if (FLAG_debug_code) {
2068 // Trash the registers to simulate an allocation failure.
2069 movl(result, Immediate(0x7091));
2070 if (result_end.is_valid()) {
2071 movl(result_end, Immediate(0x7191));
2072 }
2073 if (scratch.is_valid()) {
2074 movl(scratch, Immediate(0x7291));
2075 }
2076 }
2077 jmp(gc_required);
2078 return;
2079 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002080 ASSERT(!result.is(result_end));
2081
2082 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +00002083 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002084
2085 // Calculate new top and bail out if new space is exhausted.
2086 ExternalReference new_space_allocation_limit =
2087 ExternalReference::new_space_allocation_limit_address();
ager@chromium.orgac091b72010-05-05 07:34:42 +00002088
2089 Register top_reg = result_end.is_valid() ? result_end : result;
2090
2091 if (top_reg.is(result)) {
2092 addq(top_reg, Immediate(object_size));
2093 } else {
2094 lea(top_reg, Operand(result, object_size));
2095 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002096 movq(kScratchRegister, new_space_allocation_limit);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002097 cmpq(top_reg, Operand(kScratchRegister, 0));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002098 j(above, gc_required);
2099
2100 // Update allocation top.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002101 UpdateAllocationTopHelper(top_reg, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002102
ager@chromium.orgac091b72010-05-05 07:34:42 +00002103 if (top_reg.is(result)) {
2104 if ((flags & TAG_OBJECT) != 0) {
2105 subq(result, Immediate(object_size - kHeapObjectTag));
2106 } else {
2107 subq(result, Immediate(object_size));
2108 }
2109 } else if ((flags & TAG_OBJECT) != 0) {
2110 // Tag the result if requested.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002111 addq(result, Immediate(kHeapObjectTag));
2112 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002113}
2114
2115
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002116void MacroAssembler::AllocateInNewSpace(int header_size,
2117 ScaleFactor element_size,
2118 Register element_count,
2119 Register result,
2120 Register result_end,
2121 Register scratch,
2122 Label* gc_required,
2123 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00002124 if (!FLAG_inline_new) {
2125 if (FLAG_debug_code) {
2126 // Trash the registers to simulate an allocation failure.
2127 movl(result, Immediate(0x7091));
2128 movl(result_end, Immediate(0x7191));
2129 if (scratch.is_valid()) {
2130 movl(scratch, Immediate(0x7291));
2131 }
2132 // Register element_count is not modified by the function.
2133 }
2134 jmp(gc_required);
2135 return;
2136 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002137 ASSERT(!result.is(result_end));
2138
2139 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +00002140 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002141
2142 // Calculate new top and bail out if new space is exhausted.
2143 ExternalReference new_space_allocation_limit =
2144 ExternalReference::new_space_allocation_limit_address();
2145 lea(result_end, Operand(result, element_count, element_size, header_size));
2146 movq(kScratchRegister, new_space_allocation_limit);
2147 cmpq(result_end, Operand(kScratchRegister, 0));
2148 j(above, gc_required);
2149
2150 // Update allocation top.
2151 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002152
2153 // Tag the result if requested.
2154 if ((flags & TAG_OBJECT) != 0) {
2155 addq(result, Immediate(kHeapObjectTag));
2156 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002157}
2158
2159
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002160void MacroAssembler::AllocateInNewSpace(Register object_size,
2161 Register result,
2162 Register result_end,
2163 Register scratch,
2164 Label* gc_required,
2165 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00002166 if (!FLAG_inline_new) {
2167 if (FLAG_debug_code) {
2168 // Trash the registers to simulate an allocation failure.
2169 movl(result, Immediate(0x7091));
2170 movl(result_end, Immediate(0x7191));
2171 if (scratch.is_valid()) {
2172 movl(scratch, Immediate(0x7291));
2173 }
2174 // object_size is left unchanged by this function.
2175 }
2176 jmp(gc_required);
2177 return;
2178 }
2179 ASSERT(!result.is(result_end));
2180
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002181 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +00002182 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002183
2184 // Calculate new top and bail out if new space is exhausted.
2185 ExternalReference new_space_allocation_limit =
2186 ExternalReference::new_space_allocation_limit_address();
2187 if (!object_size.is(result_end)) {
2188 movq(result_end, object_size);
2189 }
2190 addq(result_end, result);
2191 movq(kScratchRegister, new_space_allocation_limit);
2192 cmpq(result_end, Operand(kScratchRegister, 0));
2193 j(above, gc_required);
2194
2195 // Update allocation top.
2196 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002197
2198 // Tag the result if requested.
2199 if ((flags & TAG_OBJECT) != 0) {
2200 addq(result, Immediate(kHeapObjectTag));
2201 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002202}
2203
2204
2205void MacroAssembler::UndoAllocationInNewSpace(Register object) {
2206 ExternalReference new_space_allocation_top =
2207 ExternalReference::new_space_allocation_top_address();
2208
2209 // Make sure the object has no tag before resetting top.
2210 and_(object, Immediate(~kHeapObjectTagMask));
2211 movq(kScratchRegister, new_space_allocation_top);
2212#ifdef DEBUG
2213 cmpq(object, Operand(kScratchRegister, 0));
2214 Check(below, "Undo allocation of non allocated memory");
2215#endif
2216 movq(Operand(kScratchRegister, 0), object);
2217}
2218
2219
ager@chromium.org3811b432009-10-28 14:53:37 +00002220void MacroAssembler::AllocateHeapNumber(Register result,
2221 Register scratch,
2222 Label* gc_required) {
2223 // Allocate heap number in new space.
2224 AllocateInNewSpace(HeapNumber::kSize,
2225 result,
2226 scratch,
2227 no_reg,
2228 gc_required,
2229 TAG_OBJECT);
2230
2231 // Set the map.
2232 LoadRoot(kScratchRegister, Heap::kHeapNumberMapRootIndex);
2233 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2234}
2235
2236
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002237void MacroAssembler::AllocateTwoByteString(Register result,
2238 Register length,
2239 Register scratch1,
2240 Register scratch2,
2241 Register scratch3,
2242 Label* gc_required) {
2243 // Calculate the number of bytes needed for the characters in the string while
2244 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002245 const int kHeaderAlignment = SeqTwoByteString::kHeaderSize &
2246 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002247 ASSERT(kShortSize == 2);
2248 // scratch1 = length * 2 + kObjectAlignmentMask.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002249 lea(scratch1, Operand(length, length, times_1, kObjectAlignmentMask +
2250 kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002251 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002252 if (kHeaderAlignment > 0) {
2253 subq(scratch1, Immediate(kHeaderAlignment));
2254 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002255
2256 // Allocate two byte string in new space.
2257 AllocateInNewSpace(SeqTwoByteString::kHeaderSize,
2258 times_1,
2259 scratch1,
2260 result,
2261 scratch2,
2262 scratch3,
2263 gc_required,
2264 TAG_OBJECT);
2265
2266 // Set the map, length and hash field.
2267 LoadRoot(kScratchRegister, Heap::kStringMapRootIndex);
2268 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002269 Integer32ToSmi(scratch1, length);
2270 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002271 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002272 Immediate(String::kEmptyHashField));
2273}
2274
2275
2276void MacroAssembler::AllocateAsciiString(Register result,
2277 Register length,
2278 Register scratch1,
2279 Register scratch2,
2280 Register scratch3,
2281 Label* gc_required) {
2282 // Calculate the number of bytes needed for the characters in the string while
2283 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002284 const int kHeaderAlignment = SeqAsciiString::kHeaderSize &
2285 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002286 movl(scratch1, length);
2287 ASSERT(kCharSize == 1);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002288 addq(scratch1, Immediate(kObjectAlignmentMask + kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002289 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002290 if (kHeaderAlignment > 0) {
2291 subq(scratch1, Immediate(kHeaderAlignment));
2292 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002293
2294 // Allocate ascii string in new space.
2295 AllocateInNewSpace(SeqAsciiString::kHeaderSize,
2296 times_1,
2297 scratch1,
2298 result,
2299 scratch2,
2300 scratch3,
2301 gc_required,
2302 TAG_OBJECT);
2303
2304 // Set the map, length and hash field.
2305 LoadRoot(kScratchRegister, Heap::kAsciiStringMapRootIndex);
2306 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002307 Integer32ToSmi(scratch1, length);
2308 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002309 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002310 Immediate(String::kEmptyHashField));
2311}
2312
2313
2314void MacroAssembler::AllocateConsString(Register result,
2315 Register scratch1,
2316 Register scratch2,
2317 Label* gc_required) {
2318 // Allocate heap number in new space.
2319 AllocateInNewSpace(ConsString::kSize,
2320 result,
2321 scratch1,
2322 scratch2,
2323 gc_required,
2324 TAG_OBJECT);
2325
2326 // Set the map. The other fields are left uninitialized.
2327 LoadRoot(kScratchRegister, Heap::kConsStringMapRootIndex);
2328 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2329}
2330
2331
2332void MacroAssembler::AllocateAsciiConsString(Register result,
2333 Register scratch1,
2334 Register scratch2,
2335 Label* gc_required) {
2336 // Allocate heap number in new space.
2337 AllocateInNewSpace(ConsString::kSize,
2338 result,
2339 scratch1,
2340 scratch2,
2341 gc_required,
2342 TAG_OBJECT);
2343
2344 // Set the map. The other fields are left uninitialized.
2345 LoadRoot(kScratchRegister, Heap::kConsAsciiStringMapRootIndex);
2346 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2347}
2348
2349
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002350void MacroAssembler::LoadContext(Register dst, int context_chain_length) {
2351 if (context_chain_length > 0) {
2352 // Move up the chain of contexts to the context containing the slot.
2353 movq(dst, Operand(rsi, Context::SlotOffset(Context::CLOSURE_INDEX)));
2354 // Load the function context (which is the incoming, outer context).
lrn@chromium.orgd5649e32010-01-19 13:36:12 +00002355 movq(dst, FieldOperand(dst, JSFunction::kContextOffset));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002356 for (int i = 1; i < context_chain_length; i++) {
2357 movq(dst, Operand(dst, Context::SlotOffset(Context::CLOSURE_INDEX)));
2358 movq(dst, FieldOperand(dst, JSFunction::kContextOffset));
2359 }
2360 // The context may be an intermediate context, not a function context.
2361 movq(dst, Operand(dst, Context::SlotOffset(Context::FCONTEXT_INDEX)));
2362 } else { // context is the current function context.
2363 // The context may be an intermediate context, not a function context.
2364 movq(dst, Operand(rsi, Context::SlotOffset(Context::FCONTEXT_INDEX)));
2365 }
2366}
2367
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002368
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002369void MacroAssembler::LoadGlobalFunction(int index, Register function) {
2370 // Load the global or builtins object from the current context.
2371 movq(function, Operand(rsi, Context::SlotOffset(Context::GLOBAL_INDEX)));
2372 // Load the global context from the global or builtins object.
2373 movq(function, FieldOperand(function, GlobalObject::kGlobalContextOffset));
2374 // Load the function from the global context.
2375 movq(function, Operand(function, Context::SlotOffset(index)));
2376}
2377
2378
2379void MacroAssembler::LoadGlobalFunctionInitialMap(Register function,
2380 Register map) {
2381 // Load the initial map. The global functions all have initial maps.
2382 movq(map, FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2383 if (FLAG_debug_code) {
2384 Label ok, fail;
2385 CheckMap(map, Factory::meta_map(), &fail, false);
2386 jmp(&ok);
2387 bind(&fail);
2388 Abort("Global functions must have initial map");
2389 bind(&ok);
2390 }
2391}
2392
2393
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002394int MacroAssembler::ArgumentStackSlotsForCFunctionCall(int num_arguments) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002395 // On Windows 64 stack slots are reserved by the caller for all arguments
2396 // including the ones passed in registers, and space is always allocated for
2397 // the four register arguments even if the function takes fewer than four
2398 // arguments.
2399 // On AMD64 ABI (Linux/Mac) the first six arguments are passed in registers
2400 // and the caller does not reserve stack slots for them.
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002401 ASSERT(num_arguments >= 0);
2402#ifdef _WIN64
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002403 static const int kMinimumStackSlots = 4;
2404 if (num_arguments < kMinimumStackSlots) return kMinimumStackSlots;
2405 return num_arguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002406#else
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002407 static const int kRegisterPassedArguments = 6;
2408 if (num_arguments < kRegisterPassedArguments) return 0;
2409 return num_arguments - kRegisterPassedArguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002410#endif
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002411}
2412
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002413
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002414void MacroAssembler::PrepareCallCFunction(int num_arguments) {
2415 int frame_alignment = OS::ActivationFrameAlignment();
2416 ASSERT(frame_alignment != 0);
2417 ASSERT(num_arguments >= 0);
2418 // Make stack end at alignment and allocate space for arguments and old rsp.
2419 movq(kScratchRegister, rsp);
2420 ASSERT(IsPowerOf2(frame_alignment));
2421 int argument_slots_on_stack =
2422 ArgumentStackSlotsForCFunctionCall(num_arguments);
2423 subq(rsp, Immediate((argument_slots_on_stack + 1) * kPointerSize));
2424 and_(rsp, Immediate(-frame_alignment));
2425 movq(Operand(rsp, argument_slots_on_stack * kPointerSize), kScratchRegister);
2426}
2427
2428
2429void MacroAssembler::CallCFunction(ExternalReference function,
2430 int num_arguments) {
2431 movq(rax, function);
2432 CallCFunction(rax, num_arguments);
2433}
2434
2435
2436void MacroAssembler::CallCFunction(Register function, int num_arguments) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002437 // Check stack alignment.
2438 if (FLAG_debug_code) {
2439 CheckStackAlignment();
2440 }
2441
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002442 call(function);
2443 ASSERT(OS::ActivationFrameAlignment() != 0);
2444 ASSERT(num_arguments >= 0);
2445 int argument_slots_on_stack =
2446 ArgumentStackSlotsForCFunctionCall(num_arguments);
2447 movq(rsp, Operand(rsp, argument_slots_on_stack * kPointerSize));
2448}
2449
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002450
ager@chromium.org4af710e2009-09-15 12:20:11 +00002451CodePatcher::CodePatcher(byte* address, int size)
2452 : address_(address), size_(size), masm_(address, size + Assembler::kGap) {
2453 // Create a new macro assembler pointing to the address of the code to patch.
2454 // The size is adjusted with kGap on order for the assembler to generate size
2455 // bytes of instructions without failing with buffer size constraints.
2456 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2457}
2458
2459
2460CodePatcher::~CodePatcher() {
2461 // Indicate that code has changed.
2462 CPU::FlushICache(address_, size_);
2463
2464 // Check that the code was patched as expected.
2465 ASSERT(masm_.pc_ == address_ + size_);
2466 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2467}
2468
kasperl@chromium.org71affb52009-05-26 05:44:31 +00002469} } // namespace v8::internal
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00002470
2471#endif // V8_TARGET_ARCH_X64