blob: a690bd525613dde095e6d0c90cf2579b3d2f5963 [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
lrn@chromium.org303ada72010-10-27 09:33:13 +0000378MaybeObject* MacroAssembler::TryCallRuntime(Runtime::FunctionId id,
379 int num_arguments) {
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000380 return TryCallRuntime(Runtime::FunctionForId(id), num_arguments);
381}
382
383
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000384void MacroAssembler::CallRuntime(Runtime::Function* f, int num_arguments) {
385 // If the expected number of arguments of the runtime function is
386 // constant, we check that the actual number of arguments match the
387 // expectation.
388 if (f->nargs >= 0 && f->nargs != num_arguments) {
389 IllegalOperation(num_arguments);
390 return;
391 }
392
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000393 // TODO(1236192): Most runtime routines don't need the number of
394 // arguments passed in because it is constant. At some point we
395 // should remove this need and make the runtime routine entry code
396 // smarter.
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000397 Set(rax, num_arguments);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000398 movq(rbx, ExternalReference(f));
399 CEntryStub ces(f->result_size);
400 CallStub(&ces);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000401}
402
403
lrn@chromium.org303ada72010-10-27 09:33:13 +0000404MaybeObject* MacroAssembler::TryCallRuntime(Runtime::Function* f,
405 int num_arguments) {
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000406 if (f->nargs >= 0 && f->nargs != num_arguments) {
407 IllegalOperation(num_arguments);
408 // Since we did not call the stub, there was no allocation failure.
409 // Return some non-failure object.
410 return Heap::undefined_value();
411 }
412
413 // TODO(1236192): Most runtime routines don't need the number of
414 // arguments passed in because it is constant. At some point we
415 // should remove this need and make the runtime routine entry code
416 // smarter.
417 Set(rax, num_arguments);
418 movq(rbx, ExternalReference(f));
419 CEntryStub ces(f->result_size);
420 return TryCallStub(&ces);
421}
422
423
ager@chromium.org5c838252010-02-19 08:53:10 +0000424void MacroAssembler::CallExternalReference(const ExternalReference& ext,
425 int num_arguments) {
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000426 Set(rax, num_arguments);
ager@chromium.org5c838252010-02-19 08:53:10 +0000427 movq(rbx, ext);
428
429 CEntryStub stub(1);
430 CallStub(&stub);
431}
432
433
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000434void MacroAssembler::TailCallExternalReference(const ExternalReference& ext,
435 int num_arguments,
436 int result_size) {
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000437 // ----------- S t a t e -------------
438 // -- rsp[0] : return address
439 // -- rsp[8] : argument num_arguments - 1
440 // ...
441 // -- rsp[8 * num_arguments] : argument 0 (receiver)
442 // -----------------------------------
443
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000444 // TODO(1236192): Most runtime routines don't need the number of
445 // arguments passed in because it is constant. At some point we
446 // should remove this need and make the runtime routine entry code
447 // smarter.
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000448 Set(rax, num_arguments);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000449 JumpToExternalReference(ext, result_size);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000450}
451
452
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000453MaybeObject* MacroAssembler::TryTailCallExternalReference(
454 const ExternalReference& ext, int num_arguments, int result_size) {
455 // ----------- S t a t e -------------
456 // -- rsp[0] : return address
457 // -- rsp[8] : argument num_arguments - 1
458 // ...
459 // -- rsp[8 * num_arguments] : argument 0 (receiver)
460 // -----------------------------------
461
462 // TODO(1236192): Most runtime routines don't need the number of
463 // arguments passed in because it is constant. At some point we
464 // should remove this need and make the runtime routine entry code
465 // smarter.
466 Set(rax, num_arguments);
467 return TryJumpToExternalReference(ext, result_size);
468}
469
470
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000471void MacroAssembler::TailCallRuntime(Runtime::FunctionId fid,
472 int num_arguments,
473 int result_size) {
474 TailCallExternalReference(ExternalReference(fid), num_arguments, result_size);
475}
476
477
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000478MaybeObject* MacroAssembler::TryTailCallRuntime(Runtime::FunctionId fid,
479 int num_arguments,
480 int result_size) {
481 return TryTailCallExternalReference(ExternalReference(fid),
482 num_arguments,
483 result_size);
484}
485
486
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000487static int Offset(ExternalReference ref0, ExternalReference ref1) {
488 int64_t offset = (ref0.address() - ref1.address());
489 // Check that fits into int.
490 ASSERT(static_cast<int>(offset) == offset);
491 return static_cast<int>(offset);
492}
493
494
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000495void MacroAssembler::PrepareCallApiFunction(int arg_stack_space) {
496#ifdef _WIN64
497 // We need to prepare a slot for result handle on stack and put
498 // a pointer to it into 1st arg register.
499 EnterApiExitFrame(arg_stack_space + 1);
500
501 // rcx must be used to pass the pointer to the return value slot.
502 lea(rcx, StackSpaceOperand(arg_stack_space));
503#else
504 EnterApiExitFrame(arg_stack_space);
505#endif
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000506}
507
508
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000509MaybeObject* MacroAssembler::TryCallApiFunctionAndReturn(
510 ApiFunction* function, int stack_space) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000511 Label empty_result;
512 Label prologue;
513 Label promote_scheduled_exception;
514 Label delete_allocated_handles;
515 Label leave_exit_frame;
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000516 Label write_back;
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000517
lrn@chromium.org303ada72010-10-27 09:33:13 +0000518 ExternalReference next_address =
519 ExternalReference::handle_scope_next_address();
520 const int kNextOffset = 0;
521 const int kLimitOffset = Offset(
522 ExternalReference::handle_scope_limit_address(),
523 next_address);
524 const int kLevelOffset = Offset(
525 ExternalReference::handle_scope_level_address(),
526 next_address);
527 ExternalReference scheduled_exception_address =
528 ExternalReference::scheduled_exception_address();
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000529
lrn@chromium.org303ada72010-10-27 09:33:13 +0000530 // Allocate HandleScope in callee-save registers.
531 Register prev_next_address_reg = r14;
532 Register prev_limit_reg = rbx;
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000533 Register base_reg = r12;
lrn@chromium.org303ada72010-10-27 09:33:13 +0000534 movq(base_reg, next_address);
535 movq(prev_next_address_reg, Operand(base_reg, kNextOffset));
536 movq(prev_limit_reg, Operand(base_reg, kLimitOffset));
537 addl(Operand(base_reg, kLevelOffset), Immediate(1));
538 // Call the api function!
539 movq(rax,
540 reinterpret_cast<int64_t>(function->address()),
541 RelocInfo::RUNTIME_ENTRY);
542 call(rax);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000543
lrn@chromium.org303ada72010-10-27 09:33:13 +0000544#ifdef _WIN64
545 // rax keeps a pointer to v8::Handle, unpack it.
546 movq(rax, Operand(rax, 0));
547#endif
548 // Check if the result handle holds 0.
549 testq(rax, rax);
550 j(zero, &empty_result);
551 // It was non-zero. Dereference to get the result value.
552 movq(rax, Operand(rax, 0));
553 bind(&prologue);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000554
lrn@chromium.org303ada72010-10-27 09:33:13 +0000555 // No more valid handles (the result handle was the last one). Restore
556 // previous handle scope.
557 subl(Operand(base_reg, kLevelOffset), Immediate(1));
558 movq(Operand(base_reg, kNextOffset), prev_next_address_reg);
559 cmpq(prev_limit_reg, Operand(base_reg, kLimitOffset));
560 j(not_equal, &delete_allocated_handles);
561 bind(&leave_exit_frame);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000562
lrn@chromium.org303ada72010-10-27 09:33:13 +0000563 // Check if the function scheduled an exception.
564 movq(rsi, scheduled_exception_address);
565 Cmp(Operand(rsi, 0), Factory::the_hole_value());
566 j(not_equal, &promote_scheduled_exception);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000567
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000568 LeaveApiExitFrame();
569 ret(stack_space * kPointerSize);
lrn@chromium.org303ada72010-10-27 09:33:13 +0000570
571 bind(&promote_scheduled_exception);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000572 MaybeObject* result = TryTailCallRuntime(Runtime::kPromoteScheduledException,
573 0, 1);
574 if (result->IsFailure()) {
575 return result;
576 }
lrn@chromium.org303ada72010-10-27 09:33:13 +0000577
578 bind(&empty_result);
579 // It was zero; the result is undefined.
580 Move(rax, Factory::undefined_value());
581 jmp(&prologue);
582
583 // HandleScope limit has changed. Delete allocated extensions.
584 bind(&delete_allocated_handles);
585 movq(Operand(base_reg, kLimitOffset), prev_limit_reg);
586 movq(prev_limit_reg, rax);
587 movq(rax, ExternalReference::delete_handle_scope_extensions());
588 call(rax);
589 movq(rax, prev_limit_reg);
590 jmp(&leave_exit_frame);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000591
592 return result;
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000593}
594
595
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000596void MacroAssembler::JumpToExternalReference(const ExternalReference& ext,
597 int result_size) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000598 // Set the entry point and jump to the C entry runtime stub.
599 movq(rbx, ext);
ager@chromium.orga1645e22009-09-09 19:27:10 +0000600 CEntryStub ces(result_size);
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000601 jmp(ces.GetCode(), RelocInfo::CODE_TARGET);
kasperl@chromium.org71affb52009-05-26 05:44:31 +0000602}
603
ager@chromium.orge2902be2009-06-08 12:21:35 +0000604
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000605MaybeObject* MacroAssembler::TryJumpToExternalReference(
606 const ExternalReference& ext, int result_size) {
607 // Set the entry point and jump to the C entry runtime stub.
608 movq(rbx, ext);
609 CEntryStub ces(result_size);
610 return TryTailCallStub(&ces);
611}
612
613
ager@chromium.org5c838252010-02-19 08:53:10 +0000614void MacroAssembler::InvokeBuiltin(Builtins::JavaScript id, InvokeFlag flag) {
615 // Calls are not allowed in some stubs.
616 ASSERT(flag == JUMP_FUNCTION || allow_stub_calls());
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000617
ager@chromium.org5c838252010-02-19 08:53:10 +0000618 // Rely on the assertion to check that the number of provided
619 // arguments match the expected number of arguments. Fake a
620 // parameter count to avoid emitting code to do the check.
621 ParameterCount expected(0);
622 GetBuiltinEntry(rdx, id);
623 InvokeCode(rdx, expected, expected, flag);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000624}
625
ager@chromium.org5c838252010-02-19 08:53:10 +0000626
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000627void MacroAssembler::GetBuiltinFunction(Register target,
628 Builtins::JavaScript id) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000629 // Load the builtins object into target register.
630 movq(target, Operand(rsi, Context::SlotOffset(Context::GLOBAL_INDEX)));
631 movq(target, FieldOperand(target, GlobalObject::kBuiltinsOffset));
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000632 movq(target, FieldOperand(target,
633 JSBuiltinsObject::OffsetOfFunctionWithId(id)));
634}
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000635
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000636
637void MacroAssembler::GetBuiltinEntry(Register target, Builtins::JavaScript id) {
638 ASSERT(!target.is(rdi));
ager@chromium.org5c838252010-02-19 08:53:10 +0000639 // Load the JavaScript builtin function from the builtins object.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000640 GetBuiltinFunction(rdi, id);
641 movq(target, FieldOperand(rdi, JSFunction::kCodeEntryOffset));
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000642}
643
644
ager@chromium.orge2902be2009-06-08 12:21:35 +0000645void MacroAssembler::Set(Register dst, int64_t x) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000646 if (x == 0) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000647 xorl(dst, dst);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000648 } else if (is_int32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000649 movq(dst, Immediate(static_cast<int32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000650 } else if (is_uint32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000651 movl(dst, Immediate(static_cast<uint32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000652 } else {
653 movq(dst, x, RelocInfo::NONE);
654 }
655}
656
ager@chromium.orge2902be2009-06-08 12:21:35 +0000657void MacroAssembler::Set(const Operand& dst, int64_t x) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000658 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 {
661 movq(kScratchRegister, x, RelocInfo::NONE);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000662 movq(dst, kScratchRegister);
ager@chromium.orge2902be2009-06-08 12:21:35 +0000663 }
ager@chromium.orge2902be2009-06-08 12:21:35 +0000664}
665
ager@chromium.org4af710e2009-09-15 12:20:11 +0000666// ----------------------------------------------------------------------------
667// Smi tagging, untagging and tag detection.
668
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000669Register MacroAssembler::GetSmiConstant(Smi* source) {
670 int value = source->value();
671 if (value == 0) {
672 xorl(kScratchRegister, kScratchRegister);
673 return kScratchRegister;
674 }
675 if (value == 1) {
676 return kSmiConstantRegister;
677 }
678 LoadSmiConstant(kScratchRegister, source);
679 return kScratchRegister;
680}
681
682void MacroAssembler::LoadSmiConstant(Register dst, Smi* source) {
683 if (FLAG_debug_code) {
684 movq(dst,
685 reinterpret_cast<uint64_t>(Smi::FromInt(kSmiConstantRegisterValue)),
686 RelocInfo::NONE);
687 cmpq(dst, kSmiConstantRegister);
688 if (allow_stub_calls()) {
689 Assert(equal, "Uninitialized kSmiConstantRegister");
690 } else {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +0000691 NearLabel ok;
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000692 j(equal, &ok);
693 int3();
694 bind(&ok);
695 }
696 }
697 if (source->value() == 0) {
698 xorl(dst, dst);
699 return;
700 }
701 int value = source->value();
702 bool negative = value < 0;
703 unsigned int uvalue = negative ? -value : value;
704
705 switch (uvalue) {
706 case 9:
707 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_8, 0));
708 break;
709 case 8:
710 xorl(dst, dst);
711 lea(dst, Operand(dst, kSmiConstantRegister, times_8, 0));
712 break;
713 case 4:
714 xorl(dst, dst);
715 lea(dst, Operand(dst, kSmiConstantRegister, times_4, 0));
716 break;
717 case 5:
718 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_4, 0));
719 break;
720 case 3:
721 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_2, 0));
722 break;
723 case 2:
724 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_1, 0));
725 break;
726 case 1:
727 movq(dst, kSmiConstantRegister);
728 break;
729 case 0:
730 UNREACHABLE();
731 return;
732 default:
733 movq(dst, reinterpret_cast<uint64_t>(source), RelocInfo::NONE);
734 return;
735 }
736 if (negative) {
737 neg(dst);
738 }
739}
740
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +0000741
ager@chromium.org4af710e2009-09-15 12:20:11 +0000742void MacroAssembler::Integer32ToSmi(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000743 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000744 if (!dst.is(src)) {
745 movl(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000746 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000747 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000748}
749
750
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000751void MacroAssembler::Integer32ToSmiField(const Operand& dst, Register src) {
752 if (FLAG_debug_code) {
753 testb(dst, Immediate(0x01));
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +0000754 NearLabel ok;
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000755 j(zero, &ok);
756 if (allow_stub_calls()) {
757 Abort("Integer32ToSmiField writing to non-smi location");
758 } else {
759 int3();
760 }
761 bind(&ok);
762 }
763 ASSERT(kSmiShift % kBitsPerByte == 0);
764 movl(Operand(dst, kSmiShift / kBitsPerByte), src);
765}
766
767
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000768void MacroAssembler::Integer64PlusConstantToSmi(Register dst,
769 Register src,
770 int constant) {
771 if (dst.is(src)) {
772 addq(dst, Immediate(constant));
773 } else {
774 lea(dst, Operand(src, constant));
775 }
776 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000777}
778
779
780void MacroAssembler::SmiToInteger32(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000781 ASSERT_EQ(0, kSmiTag);
782 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000783 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000784 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000785 shr(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000786}
787
788
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000789void MacroAssembler::SmiToInteger32(Register dst, const Operand& src) {
790 movl(dst, Operand(src, kSmiShift / kBitsPerByte));
791}
792
793
ager@chromium.org4af710e2009-09-15 12:20:11 +0000794void MacroAssembler::SmiToInteger64(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000795 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000796 if (!dst.is(src)) {
797 movq(dst, src);
798 }
799 sar(dst, Immediate(kSmiShift));
800}
801
802
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000803void MacroAssembler::SmiToInteger64(Register dst, const Operand& src) {
804 movsxlq(dst, Operand(src, kSmiShift / kBitsPerByte));
805}
806
807
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000808void MacroAssembler::SmiTest(Register src) {
809 testq(src, src);
810}
811
812
813void MacroAssembler::SmiCompare(Register dst, Register src) {
814 cmpq(dst, src);
815}
816
817
818void MacroAssembler::SmiCompare(Register dst, Smi* src) {
819 ASSERT(!dst.is(kScratchRegister));
820 if (src->value() == 0) {
821 testq(dst, dst);
822 } else {
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000823 Register constant_reg = GetSmiConstant(src);
824 cmpq(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000825 }
826}
827
828
kmillikin@chromium.org9155e252010-05-26 13:27:57 +0000829void MacroAssembler::SmiCompare(Register dst, const Operand& src) {
ager@chromium.orgac091b72010-05-05 07:34:42 +0000830 cmpq(dst, src);
831}
832
833
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000834void MacroAssembler::SmiCompare(const Operand& dst, Register src) {
835 cmpq(dst, src);
836}
837
838
839void MacroAssembler::SmiCompare(const Operand& dst, Smi* src) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000840 cmpl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(src->value()));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000841}
842
843
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000844void MacroAssembler::SmiCompareInteger32(const Operand& dst, Register src) {
845 cmpl(Operand(dst, kSmiShift / kBitsPerByte), src);
846}
847
848
ager@chromium.org4af710e2009-09-15 12:20:11 +0000849void MacroAssembler::PositiveSmiTimesPowerOfTwoToInteger64(Register dst,
850 Register src,
851 int power) {
852 ASSERT(power >= 0);
853 ASSERT(power < 64);
854 if (power == 0) {
855 SmiToInteger64(dst, src);
856 return;
857 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000858 if (!dst.is(src)) {
859 movq(dst, src);
860 }
861 if (power < kSmiShift) {
862 sar(dst, Immediate(kSmiShift - power));
863 } else if (power > kSmiShift) {
864 shl(dst, Immediate(power - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000865 }
866}
867
868
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000869void MacroAssembler::PositiveSmiDivPowerOfTwoToInteger32(Register dst,
870 Register src,
871 int power) {
872 ASSERT((0 <= power) && (power < 32));
873 if (dst.is(src)) {
874 shr(dst, Immediate(power + kSmiShift));
875 } else {
876 UNIMPLEMENTED(); // Not used.
877 }
878}
879
880
ager@chromium.org4af710e2009-09-15 12:20:11 +0000881Condition MacroAssembler::CheckSmi(Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000882 ASSERT_EQ(0, kSmiTag);
883 testb(src, Immediate(kSmiTagMask));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000884 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000885}
886
887
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +0000888Condition MacroAssembler::CheckSmi(const Operand& src) {
889 ASSERT_EQ(0, kSmiTag);
890 testb(src, Immediate(kSmiTagMask));
891 return zero;
892}
893
894
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +0000895Condition MacroAssembler::CheckNonNegativeSmi(Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000896 ASSERT_EQ(0, kSmiTag);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000897 // Make mask 0x8000000000000001 and test that both bits are zero.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000898 movq(kScratchRegister, src);
899 rol(kScratchRegister, Immediate(1));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000900 testb(kScratchRegister, Immediate(3));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000901 return zero;
902}
903
904
ager@chromium.org4af710e2009-09-15 12:20:11 +0000905Condition MacroAssembler::CheckBothSmi(Register first, Register second) {
906 if (first.is(second)) {
907 return CheckSmi(first);
908 }
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000909 ASSERT(kSmiTag == 0 && kHeapObjectTag == 1 && kHeapObjectTagMask == 3);
910 leal(kScratchRegister, Operand(first, second, times_1, 0));
911 testb(kScratchRegister, Immediate(0x03));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000912 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000913}
914
915
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +0000916Condition MacroAssembler::CheckBothNonNegativeSmi(Register first,
917 Register second) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000918 if (first.is(second)) {
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +0000919 return CheckNonNegativeSmi(first);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000920 }
fschneider@chromium.org40b9da32010-06-28 11:29:21 +0000921 movq(kScratchRegister, first);
922 or_(kScratchRegister, second);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000923 rol(kScratchRegister, Immediate(1));
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +0000924 testl(kScratchRegister, Immediate(3));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000925 return zero;
926}
927
928
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000929Condition MacroAssembler::CheckEitherSmi(Register first,
930 Register second,
931 Register scratch) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000932 if (first.is(second)) {
933 return CheckSmi(first);
934 }
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000935 if (scratch.is(second)) {
936 andl(scratch, first);
937 } else {
938 if (!scratch.is(first)) {
939 movl(scratch, first);
940 }
941 andl(scratch, second);
942 }
943 testb(scratch, Immediate(kSmiTagMask));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000944 return zero;
945}
946
947
ager@chromium.org4af710e2009-09-15 12:20:11 +0000948Condition MacroAssembler::CheckIsMinSmi(Register src) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000949 ASSERT(!src.is(kScratchRegister));
950 // If we overflow by subtracting one, it's the minimal smi value.
951 cmpq(src, kSmiConstantRegister);
952 return overflow;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000953}
954
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000955
ager@chromium.org4af710e2009-09-15 12:20:11 +0000956Condition MacroAssembler::CheckInteger32ValidSmiValue(Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000957 // A 32-bit integer value can always be converted to a smi.
958 return always;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000959}
960
961
ager@chromium.org3811b432009-10-28 14:53:37 +0000962Condition MacroAssembler::CheckUInteger32ValidSmiValue(Register src) {
963 // An unsigned 32-bit integer value is valid as long as the high bit
964 // is not set.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000965 testl(src, src);
966 return positive;
ager@chromium.org3811b432009-10-28 14:53:37 +0000967}
968
969
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000970void MacroAssembler::SmiAddConstant(Register dst, Register src, Smi* constant) {
971 if (constant->value() == 0) {
972 if (!dst.is(src)) {
973 movq(dst, src);
974 }
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000975 return;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000976 } else if (dst.is(src)) {
977 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000978 switch (constant->value()) {
979 case 1:
980 addq(dst, kSmiConstantRegister);
981 return;
982 case 2:
983 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
984 return;
985 case 4:
986 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
987 return;
988 case 8:
989 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
990 return;
991 default:
992 Register constant_reg = GetSmiConstant(constant);
993 addq(dst, constant_reg);
994 return;
995 }
ager@chromium.org4af710e2009-09-15 12:20:11 +0000996 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000997 switch (constant->value()) {
998 case 1:
999 lea(dst, Operand(src, kSmiConstantRegister, times_1, 0));
1000 return;
1001 case 2:
1002 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
1003 return;
1004 case 4:
1005 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
1006 return;
1007 case 8:
1008 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
1009 return;
1010 default:
1011 LoadSmiConstant(dst, constant);
1012 addq(dst, src);
1013 return;
1014 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001015 }
1016}
1017
1018
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001019void MacroAssembler::SmiAddConstant(const Operand& dst, Smi* constant) {
1020 if (constant->value() != 0) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001021 addl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(constant->value()));
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001022 }
1023}
1024
1025
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001026void MacroAssembler::SmiSubConstant(Register dst, Register src, Smi* constant) {
1027 if (constant->value() == 0) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001028 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001029 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001030 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001031 } else if (dst.is(src)) {
1032 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001033 Register constant_reg = GetSmiConstant(constant);
1034 subq(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001035 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001036 if (constant->value() == Smi::kMinValue) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001037 LoadSmiConstant(dst, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001038 // Adding and subtracting the min-value gives the same result, it only
1039 // differs on the overflow bit, which we don't check here.
1040 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001041 } else {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001042 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001043 LoadSmiConstant(dst, Smi::FromInt(-constant->value()));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001044 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001045 }
1046 }
1047}
1048
1049
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001050void MacroAssembler::SmiAdd(Register dst,
1051 Register src1,
1052 Register src2) {
1053 // No overflow checking. Use only when it's known that
1054 // overflowing is impossible.
1055 ASSERT(!dst.is(src2));
1056 if (dst.is(src1)) {
1057 addq(dst, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001058 } else {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001059 movq(dst, src1);
1060 addq(dst, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001061 }
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001062 Assert(no_overflow, "Smi addition overflow");
ager@chromium.org4af710e2009-09-15 12:20:11 +00001063}
1064
1065
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001066void MacroAssembler::SmiSub(Register dst, Register src1, Register src2) {
1067 // No overflow checking. Use only when it's known that
1068 // overflowing is impossible (e.g., subtracting two positive smis).
1069 ASSERT(!dst.is(src2));
1070 if (dst.is(src1)) {
1071 subq(dst, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001072 } else {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001073 movq(dst, src1);
1074 subq(dst, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001075 }
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001076 Assert(no_overflow, "Smi subtraction overflow");
ager@chromium.org4af710e2009-09-15 12:20:11 +00001077}
1078
1079
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001080void MacroAssembler::SmiSub(Register dst,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001081 Register src1,
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001082 const Operand& src2) {
1083 // No overflow checking. Use only when it's known that
1084 // overflowing is impossible (e.g., subtracting two positive smis).
1085 if (dst.is(src1)) {
1086 subq(dst, src2);
1087 } else {
1088 movq(dst, src1);
1089 subq(dst, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001090 }
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001091 Assert(no_overflow, "Smi subtraction overflow");
ager@chromium.org4af710e2009-09-15 12:20:11 +00001092}
1093
1094
1095void MacroAssembler::SmiNot(Register dst, Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001096 ASSERT(!dst.is(kScratchRegister));
1097 ASSERT(!src.is(kScratchRegister));
1098 // Set tag and padding bits before negating, so that they are zero afterwards.
1099 movl(kScratchRegister, Immediate(~0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001100 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001101 xor_(dst, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001102 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001103 lea(dst, Operand(src, kScratchRegister, times_1, 0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001104 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001105 not_(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001106}
1107
1108
1109void MacroAssembler::SmiAnd(Register dst, Register src1, Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001110 ASSERT(!dst.is(src2));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001111 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001112 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001113 }
1114 and_(dst, src2);
1115}
1116
1117
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001118void MacroAssembler::SmiAndConstant(Register dst, Register src, Smi* constant) {
1119 if (constant->value() == 0) {
lrn@chromium.org5d00b602011-01-05 09:51:43 +00001120 Set(dst, 0);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001121 } else if (dst.is(src)) {
1122 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001123 Register constant_reg = GetSmiConstant(constant);
1124 and_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001125 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001126 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001127 and_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001128 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001129}
1130
1131
1132void MacroAssembler::SmiOr(Register dst, Register src1, Register src2) {
1133 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001134 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001135 }
1136 or_(dst, src2);
1137}
1138
1139
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001140void MacroAssembler::SmiOrConstant(Register dst, Register src, Smi* constant) {
1141 if (dst.is(src)) {
1142 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001143 Register constant_reg = GetSmiConstant(constant);
1144 or_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001145 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001146 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001147 or_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001148 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001149}
1150
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001151
ager@chromium.org4af710e2009-09-15 12:20:11 +00001152void MacroAssembler::SmiXor(Register dst, Register src1, Register src2) {
1153 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001154 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001155 }
1156 xor_(dst, src2);
1157}
1158
1159
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001160void MacroAssembler::SmiXorConstant(Register dst, Register src, Smi* constant) {
1161 if (dst.is(src)) {
1162 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001163 Register constant_reg = GetSmiConstant(constant);
1164 xor_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001165 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001166 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001167 xor_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001168 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001169}
1170
1171
ager@chromium.org4af710e2009-09-15 12:20:11 +00001172void MacroAssembler::SmiShiftArithmeticRightConstant(Register dst,
1173 Register src,
1174 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001175 ASSERT(is_uint5(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001176 if (shift_value > 0) {
1177 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001178 sar(dst, Immediate(shift_value + kSmiShift));
1179 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001180 } else {
1181 UNIMPLEMENTED(); // Not used.
1182 }
1183 }
1184}
1185
1186
ager@chromium.org4af710e2009-09-15 12:20:11 +00001187void MacroAssembler::SmiShiftLeftConstant(Register dst,
1188 Register src,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00001189 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001190 if (!dst.is(src)) {
1191 movq(dst, src);
1192 }
1193 if (shift_value > 0) {
1194 shl(dst, Immediate(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001195 }
1196}
1197
1198
1199void MacroAssembler::SmiShiftLeft(Register dst,
1200 Register src1,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00001201 Register src2) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001202 ASSERT(!dst.is(rcx));
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001203 NearLabel result_ok;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001204 // Untag shift amount.
1205 if (!dst.is(src1)) {
1206 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001207 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001208 SmiToInteger32(rcx, src2);
1209 // Shift amount specified by lower 5 bits, not six as the shl opcode.
1210 and_(rcx, Immediate(0x1f));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001211 shl_cl(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001212}
1213
1214
ager@chromium.org4af710e2009-09-15 12:20:11 +00001215void MacroAssembler::SmiShiftArithmeticRight(Register dst,
1216 Register src1,
1217 Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001218 ASSERT(!dst.is(kScratchRegister));
1219 ASSERT(!src1.is(kScratchRegister));
1220 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001221 ASSERT(!dst.is(rcx));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001222 if (src1.is(rcx)) {
1223 movq(kScratchRegister, src1);
1224 } else if (src2.is(rcx)) {
1225 movq(kScratchRegister, src2);
1226 }
1227 if (!dst.is(src1)) {
1228 movq(dst, src1);
1229 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001230 SmiToInteger32(rcx, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001231 orl(rcx, Immediate(kSmiShift));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001232 sar_cl(dst); // Shift 32 + original rcx & 0x1f.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001233 shl(dst, Immediate(kSmiShift));
1234 if (src1.is(rcx)) {
1235 movq(src1, kScratchRegister);
1236 } else if (src2.is(rcx)) {
1237 movq(src2, kScratchRegister);
1238 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001239}
1240
1241
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001242SmiIndex MacroAssembler::SmiToIndex(Register dst,
1243 Register src,
1244 int shift) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001245 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001246 // There is a possible optimization if shift is in the range 60-63, but that
1247 // will (and must) never happen.
1248 if (!dst.is(src)) {
1249 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001250 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001251 if (shift < kSmiShift) {
1252 sar(dst, Immediate(kSmiShift - shift));
1253 } else {
1254 shl(dst, Immediate(shift - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001255 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001256 return SmiIndex(dst, times_1);
1257}
1258
ager@chromium.org4af710e2009-09-15 12:20:11 +00001259SmiIndex MacroAssembler::SmiToNegativeIndex(Register dst,
1260 Register src,
1261 int shift) {
1262 // Register src holds a positive smi.
1263 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001264 if (!dst.is(src)) {
1265 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001266 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001267 neg(dst);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001268 if (shift < kSmiShift) {
1269 sar(dst, Immediate(kSmiShift - shift));
1270 } else {
1271 shl(dst, Immediate(shift - kSmiShift));
1272 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001273 return SmiIndex(dst, times_1);
1274}
1275
1276
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +00001277void MacroAssembler::Move(Register dst, Register src) {
1278 if (!dst.is(src)) {
1279 movq(dst, src);
1280 }
1281}
1282
1283
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001284void MacroAssembler::Move(Register dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001285 ASSERT(!source->IsFailure());
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001286 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001287 Move(dst, Smi::cast(*source));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001288 } else {
1289 movq(dst, source, RelocInfo::EMBEDDED_OBJECT);
1290 }
1291}
1292
1293
1294void MacroAssembler::Move(const Operand& dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001295 ASSERT(!source->IsFailure());
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001296 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001297 Move(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001298 } else {
1299 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1300 movq(dst, kScratchRegister);
1301 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001302}
1303
1304
1305void MacroAssembler::Cmp(Register dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001306 if (source->IsSmi()) {
1307 SmiCompare(dst, Smi::cast(*source));
1308 } else {
1309 Move(kScratchRegister, source);
1310 cmpq(dst, kScratchRegister);
1311 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001312}
1313
1314
ager@chromium.org3e875802009-06-29 08:26:34 +00001315void MacroAssembler::Cmp(const Operand& dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001316 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001317 SmiCompare(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001318 } else {
1319 ASSERT(source->IsHeapObject());
1320 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1321 cmpq(dst, kScratchRegister);
1322 }
ager@chromium.org3e875802009-06-29 08:26:34 +00001323}
1324
1325
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001326void MacroAssembler::Push(Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001327 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001328 Push(Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001329 } else {
1330 ASSERT(source->IsHeapObject());
1331 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1332 push(kScratchRegister);
1333 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001334}
1335
1336
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001337void MacroAssembler::Push(Smi* source) {
ager@chromium.org3811b432009-10-28 14:53:37 +00001338 intptr_t smi = reinterpret_cast<intptr_t>(source);
1339 if (is_int32(smi)) {
1340 push(Immediate(static_cast<int32_t>(smi)));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001341 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001342 Register constant = GetSmiConstant(source);
1343 push(constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001344 }
1345}
1346
1347
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001348void MacroAssembler::Drop(int stack_elements) {
1349 if (stack_elements > 0) {
1350 addq(rsp, Immediate(stack_elements * kPointerSize));
1351 }
1352}
1353
1354
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001355void MacroAssembler::Test(const Operand& src, Smi* source) {
kmillikin@chromium.org9155e252010-05-26 13:27:57 +00001356 testl(Operand(src, kIntSize), Immediate(source->value()));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001357}
1358
1359
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001360void MacroAssembler::Jump(ExternalReference ext) {
1361 movq(kScratchRegister, ext);
1362 jmp(kScratchRegister);
1363}
1364
1365
1366void MacroAssembler::Jump(Address destination, RelocInfo::Mode rmode) {
1367 movq(kScratchRegister, destination, rmode);
1368 jmp(kScratchRegister);
1369}
1370
1371
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001372void MacroAssembler::Jump(Handle<Code> code_object, RelocInfo::Mode rmode) {
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001373 // TODO(X64): Inline this
1374 jmp(code_object, rmode);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001375}
1376
1377
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001378void MacroAssembler::Call(ExternalReference ext) {
1379 movq(kScratchRegister, ext);
1380 call(kScratchRegister);
1381}
1382
1383
1384void MacroAssembler::Call(Address destination, RelocInfo::Mode rmode) {
1385 movq(kScratchRegister, destination, rmode);
1386 call(kScratchRegister);
1387}
1388
1389
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001390void MacroAssembler::Call(Handle<Code> code_object, RelocInfo::Mode rmode) {
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001391 ASSERT(RelocInfo::IsCodeTarget(rmode));
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001392 call(code_object, rmode);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001393}
1394
1395
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00001396void MacroAssembler::Pushad() {
1397 push(rax);
1398 push(rcx);
1399 push(rdx);
1400 push(rbx);
1401 // Not pushing rsp or rbp.
1402 push(rsi);
1403 push(rdi);
1404 push(r8);
1405 push(r9);
1406 // r10 is kScratchRegister.
1407 push(r11);
1408 push(r12);
1409 // r13 is kRootRegister.
1410 push(r14);
1411 // r15 is kSmiConstantRegister
1412}
1413
1414
1415void MacroAssembler::Popad() {
1416 pop(r14);
1417 pop(r12);
1418 pop(r11);
1419 pop(r9);
1420 pop(r8);
1421 pop(rdi);
1422 pop(rsi);
1423 pop(rbx);
1424 pop(rdx);
1425 pop(rcx);
1426 pop(rax);
1427}
1428
1429
ager@chromium.orge2902be2009-06-08 12:21:35 +00001430void MacroAssembler::PushTryHandler(CodeLocation try_location,
1431 HandlerType type) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001432 // Adjust this code if not the case.
1433 ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
1434
1435 // The pc (return address) is already on TOS. This code pushes state,
1436 // frame pointer and current handler. Check that they are expected
1437 // next on the stack, in that order.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001438 ASSERT_EQ(StackHandlerConstants::kStateOffset,
1439 StackHandlerConstants::kPCOffset - kPointerSize);
ager@chromium.orge2902be2009-06-08 12:21:35 +00001440 ASSERT_EQ(StackHandlerConstants::kFPOffset,
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001441 StackHandlerConstants::kStateOffset - kPointerSize);
1442 ASSERT_EQ(StackHandlerConstants::kNextOffset,
ager@chromium.orge2902be2009-06-08 12:21:35 +00001443 StackHandlerConstants::kFPOffset - kPointerSize);
1444
1445 if (try_location == IN_JAVASCRIPT) {
1446 if (type == TRY_CATCH_HANDLER) {
1447 push(Immediate(StackHandler::TRY_CATCH));
1448 } else {
1449 push(Immediate(StackHandler::TRY_FINALLY));
1450 }
ager@chromium.orge2902be2009-06-08 12:21:35 +00001451 push(rbp);
ager@chromium.orge2902be2009-06-08 12:21:35 +00001452 } else {
1453 ASSERT(try_location == IN_JS_ENTRY);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001454 // The frame pointer does not point to a JS frame so we save NULL
1455 // for rbp. We expect the code throwing an exception to check rbp
1456 // before dereferencing it to restore the context.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001457 push(Immediate(StackHandler::ENTRY));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001458 push(Immediate(0)); // NULL frame pointer.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001459 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001460 // Save the current handler.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001461 movq(kScratchRegister, ExternalReference(Top::k_handler_address));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001462 push(Operand(kScratchRegister, 0));
ager@chromium.orge2902be2009-06-08 12:21:35 +00001463 // Link this handler.
1464 movq(Operand(kScratchRegister, 0), rsp);
1465}
1466
1467
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001468void MacroAssembler::PopTryHandler() {
1469 ASSERT_EQ(0, StackHandlerConstants::kNextOffset);
1470 // Unlink this handler.
1471 movq(kScratchRegister, ExternalReference(Top::k_handler_address));
1472 pop(Operand(kScratchRegister, 0));
1473 // Remove the remaining fields.
1474 addq(rsp, Immediate(StackHandlerConstants::kSize - kPointerSize));
1475}
1476
1477
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001478void MacroAssembler::Ret() {
1479 ret(0);
1480}
1481
1482
ager@chromium.org3e875802009-06-29 08:26:34 +00001483void MacroAssembler::FCmp() {
ager@chromium.org3811b432009-10-28 14:53:37 +00001484 fucomip();
fschneider@chromium.org40b9da32010-06-28 11:29:21 +00001485 fstp(0);
ager@chromium.org3e875802009-06-29 08:26:34 +00001486}
1487
1488
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001489void MacroAssembler::CmpObjectType(Register heap_object,
1490 InstanceType type,
1491 Register map) {
1492 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
1493 CmpInstanceType(map, type);
1494}
1495
1496
1497void MacroAssembler::CmpInstanceType(Register map, InstanceType type) {
1498 cmpb(FieldOperand(map, Map::kInstanceTypeOffset),
1499 Immediate(static_cast<int8_t>(type)));
1500}
1501
1502
ager@chromium.org5c838252010-02-19 08:53:10 +00001503void MacroAssembler::CheckMap(Register obj,
1504 Handle<Map> map,
1505 Label* fail,
1506 bool is_heap_object) {
1507 if (!is_heap_object) {
1508 JumpIfSmi(obj, fail);
1509 }
1510 Cmp(FieldOperand(obj, HeapObject::kMapOffset), map);
1511 j(not_equal, fail);
1512}
1513
1514
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001515void MacroAssembler::AbortIfNotNumber(Register object) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001516 NearLabel ok;
ager@chromium.org5c838252010-02-19 08:53:10 +00001517 Condition is_smi = CheckSmi(object);
1518 j(is_smi, &ok);
1519 Cmp(FieldOperand(object, HeapObject::kMapOffset),
1520 Factory::heap_number_map());
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001521 Assert(equal, "Operand not a number");
ager@chromium.org5c838252010-02-19 08:53:10 +00001522 bind(&ok);
1523}
1524
1525
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001526void MacroAssembler::AbortIfSmi(Register object) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001527 NearLabel ok;
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001528 Condition is_smi = CheckSmi(object);
1529 Assert(NegateCondition(is_smi), "Operand is a smi");
1530}
1531
1532
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001533void MacroAssembler::AbortIfNotSmi(Register object) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001534 NearLabel ok;
lrn@chromium.org25156de2010-04-06 13:10:27 +00001535 Condition is_smi = CheckSmi(object);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001536 Assert(is_smi, "Operand is not a smi");
lrn@chromium.org25156de2010-04-06 13:10:27 +00001537}
1538
1539
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001540void MacroAssembler::AbortIfNotRootValue(Register src,
1541 Heap::RootListIndex root_value_index,
1542 const char* message) {
1543 ASSERT(!src.is(kScratchRegister));
1544 LoadRoot(kScratchRegister, root_value_index);
1545 cmpq(src, kScratchRegister);
1546 Check(equal, message);
1547}
1548
1549
1550
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001551Condition MacroAssembler::IsObjectStringType(Register heap_object,
1552 Register map,
1553 Register instance_type) {
1554 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
1555 movzxbl(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
1556 ASSERT(kNotStringTag != 0);
1557 testb(instance_type, Immediate(kIsNotStringMask));
1558 return zero;
1559}
1560
1561
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00001562void MacroAssembler::TryGetFunctionPrototype(Register function,
1563 Register result,
1564 Label* miss) {
1565 // Check that the receiver isn't a smi.
1566 testl(function, Immediate(kSmiTagMask));
1567 j(zero, miss);
1568
1569 // Check that the function really is a function.
1570 CmpObjectType(function, JS_FUNCTION_TYPE, result);
1571 j(not_equal, miss);
1572
1573 // Make sure that the function has an instance prototype.
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001574 NearLabel non_instance;
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00001575 testb(FieldOperand(result, Map::kBitFieldOffset),
1576 Immediate(1 << Map::kHasNonInstancePrototype));
1577 j(not_zero, &non_instance);
1578
1579 // Get the prototype or initial map from the function.
1580 movq(result,
1581 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
1582
1583 // If the prototype or initial map is the hole, don't return it and
1584 // simply miss the cache instead. This will allow us to allocate a
1585 // prototype object on-demand in the runtime system.
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001586 CompareRoot(result, Heap::kTheHoleValueRootIndex);
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00001587 j(equal, miss);
1588
1589 // If the function does not have an initial map, we're done.
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001590 NearLabel done;
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00001591 CmpObjectType(result, MAP_TYPE, kScratchRegister);
1592 j(not_equal, &done);
1593
1594 // Get the prototype from the initial map.
1595 movq(result, FieldOperand(result, Map::kPrototypeOffset));
1596 jmp(&done);
1597
1598 // Non-instance prototype: Fetch prototype from constructor field
1599 // in initial map.
1600 bind(&non_instance);
1601 movq(result, FieldOperand(result, Map::kConstructorOffset));
1602
1603 // All done.
1604 bind(&done);
1605}
1606
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001607
1608void MacroAssembler::SetCounter(StatsCounter* counter, int value) {
1609 if (FLAG_native_code_counters && counter->Enabled()) {
1610 movq(kScratchRegister, ExternalReference(counter));
1611 movl(Operand(kScratchRegister, 0), Immediate(value));
1612 }
1613}
1614
1615
1616void MacroAssembler::IncrementCounter(StatsCounter* counter, int value) {
1617 ASSERT(value > 0);
1618 if (FLAG_native_code_counters && counter->Enabled()) {
1619 movq(kScratchRegister, ExternalReference(counter));
1620 Operand operand(kScratchRegister, 0);
1621 if (value == 1) {
1622 incl(operand);
1623 } else {
1624 addl(operand, Immediate(value));
1625 }
1626 }
1627}
1628
1629
1630void MacroAssembler::DecrementCounter(StatsCounter* counter, int value) {
1631 ASSERT(value > 0);
1632 if (FLAG_native_code_counters && counter->Enabled()) {
1633 movq(kScratchRegister, ExternalReference(counter));
1634 Operand operand(kScratchRegister, 0);
1635 if (value == 1) {
1636 decl(operand);
1637 } else {
1638 subl(operand, Immediate(value));
1639 }
1640 }
1641}
1642
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001643
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001644#ifdef ENABLE_DEBUGGER_SUPPORT
ager@chromium.org5c838252010-02-19 08:53:10 +00001645void MacroAssembler::DebugBreak() {
1646 ASSERT(allow_stub_calls());
lrn@chromium.org5d00b602011-01-05 09:51:43 +00001647 Set(rax, 0); // No arguments.
ager@chromium.org5c838252010-02-19 08:53:10 +00001648 movq(rbx, ExternalReference(Runtime::kDebugBreak));
1649 CEntryStub ces(1);
1650 Call(ces.GetCode(), RelocInfo::DEBUG_BREAK);
ager@chromium.org3e875802009-06-29 08:26:34 +00001651}
ager@chromium.org5c838252010-02-19 08:53:10 +00001652#endif // ENABLE_DEBUGGER_SUPPORT
ager@chromium.org3e875802009-06-29 08:26:34 +00001653
1654
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001655void MacroAssembler::InvokeCode(Register code,
1656 const ParameterCount& expected,
1657 const ParameterCount& actual,
1658 InvokeFlag flag) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001659 NearLabel done;
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001660 InvokePrologue(expected, actual, Handle<Code>::null(), code, &done, flag);
1661 if (flag == CALL_FUNCTION) {
1662 call(code);
1663 } else {
1664 ASSERT(flag == JUMP_FUNCTION);
1665 jmp(code);
1666 }
1667 bind(&done);
1668}
1669
1670
1671void MacroAssembler::InvokeCode(Handle<Code> code,
1672 const ParameterCount& expected,
1673 const ParameterCount& actual,
1674 RelocInfo::Mode rmode,
1675 InvokeFlag flag) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001676 NearLabel done;
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001677 Register dummy = rax;
1678 InvokePrologue(expected, actual, code, dummy, &done, flag);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001679 if (flag == CALL_FUNCTION) {
ager@chromium.org3e875802009-06-29 08:26:34 +00001680 Call(code, rmode);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001681 } else {
1682 ASSERT(flag == JUMP_FUNCTION);
ager@chromium.org3e875802009-06-29 08:26:34 +00001683 Jump(code, rmode);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001684 }
1685 bind(&done);
1686}
1687
1688
1689void MacroAssembler::InvokeFunction(Register function,
1690 const ParameterCount& actual,
1691 InvokeFlag flag) {
1692 ASSERT(function.is(rdi));
1693 movq(rdx, FieldOperand(function, JSFunction::kSharedFunctionInfoOffset));
1694 movq(rsi, FieldOperand(function, JSFunction::kContextOffset));
ager@chromium.org3e875802009-06-29 08:26:34 +00001695 movsxlq(rbx,
1696 FieldOperand(rdx, SharedFunctionInfo::kFormalParameterCountOffset));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001697 // Advances rdx to the end of the Code object header, to the start of
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001698 // the executable code.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001699 movq(rdx, FieldOperand(rdi, JSFunction::kCodeEntryOffset));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001700
1701 ParameterCount expected(rbx);
1702 InvokeCode(rdx, expected, actual, flag);
1703}
1704
1705
ager@chromium.org5c838252010-02-19 08:53:10 +00001706void MacroAssembler::InvokeFunction(JSFunction* function,
1707 const ParameterCount& actual,
1708 InvokeFlag flag) {
1709 ASSERT(function->is_compiled());
1710 // Get the function and setup the context.
1711 Move(rdi, Handle<JSFunction>(function));
1712 movq(rsi, FieldOperand(rdi, JSFunction::kContextOffset));
1713
1714 // Invoke the cached code.
1715 Handle<Code> code(function->code());
1716 ParameterCount expected(function->shared()->formal_parameter_count());
1717 InvokeCode(code, expected, actual, RelocInfo::CODE_TARGET, flag);
1718}
1719
1720
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001721void MacroAssembler::EnterFrame(StackFrame::Type type) {
1722 push(rbp);
1723 movq(rbp, rsp);
1724 push(rsi); // Context.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001725 Push(Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001726 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
1727 push(kScratchRegister);
1728 if (FLAG_debug_code) {
1729 movq(kScratchRegister,
1730 Factory::undefined_value(),
1731 RelocInfo::EMBEDDED_OBJECT);
1732 cmpq(Operand(rsp, 0), kScratchRegister);
1733 Check(not_equal, "code object not properly patched");
1734 }
1735}
1736
1737
1738void MacroAssembler::LeaveFrame(StackFrame::Type type) {
1739 if (FLAG_debug_code) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001740 Move(kScratchRegister, Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001741 cmpq(Operand(rbp, StandardFrameConstants::kMarkerOffset), kScratchRegister);
1742 Check(equal, "stack frame types must match");
1743 }
1744 movq(rsp, rbp);
1745 pop(rbp);
1746}
1747
1748
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001749void MacroAssembler::EnterExitFramePrologue(bool save_rax) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001750 // Setup the frame structure on the stack.
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00001751 // All constants are relative to the frame pointer of the exit frame.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001752 ASSERT(ExitFrameConstants::kCallerSPDisplacement == +2 * kPointerSize);
1753 ASSERT(ExitFrameConstants::kCallerPCOffset == +1 * kPointerSize);
1754 ASSERT(ExitFrameConstants::kCallerFPOffset == 0 * kPointerSize);
1755 push(rbp);
1756 movq(rbp, rsp);
1757
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001758 // Reserve room for entry stack pointer and push the code object.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001759 ASSERT(ExitFrameConstants::kSPOffset == -1 * kPointerSize);
ager@chromium.org5c838252010-02-19 08:53:10 +00001760 push(Immediate(0)); // Saved entry sp, patched before call.
1761 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
1762 push(kScratchRegister); // Accessed from EditFrame::code_slot.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001763
1764 // Save the frame pointer and the context in top.
1765 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
1766 ExternalReference context_address(Top::k_context_address);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001767 if (save_rax) {
1768 movq(r14, rax); // Backup rax before we use it.
1769 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001770
1771 movq(rax, rbp);
1772 store_rax(c_entry_fp_address);
1773 movq(rax, rsi);
1774 store_rax(context_address);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001775}
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001776
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001777
1778void MacroAssembler::EnterExitFrameEpilogue(int arg_stack_space) {
ager@chromium.orga1645e22009-09-09 19:27:10 +00001779#ifdef _WIN64
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001780 const int kShaddowSpace = 4;
1781 arg_stack_space += kShaddowSpace;
ager@chromium.orga1645e22009-09-09 19:27:10 +00001782#endif
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001783 if (arg_stack_space > 0) {
1784 subq(rsp, Immediate(arg_stack_space * kPointerSize));
1785 }
ager@chromium.orga1645e22009-09-09 19:27:10 +00001786
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001787 // Get the required frame alignment for the OS.
1788 static const int kFrameAlignment = OS::ActivationFrameAlignment();
1789 if (kFrameAlignment > 0) {
1790 ASSERT(IsPowerOf2(kFrameAlignment));
1791 movq(kScratchRegister, Immediate(-kFrameAlignment));
1792 and_(rsp, kScratchRegister);
1793 }
1794
1795 // Patch the saved entry sp.
1796 movq(Operand(rbp, ExitFrameConstants::kSPOffset), rsp);
1797}
1798
1799
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001800void MacroAssembler::EnterExitFrame(int arg_stack_space) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001801 EnterExitFramePrologue(true);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001802
1803 // Setup argv in callee-saved register r12. It is reused in LeaveExitFrame,
1804 // so it must be retained across the C-call.
1805 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
1806 lea(r12, Operand(rbp, r14, times_pointer_size, offset));
1807
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001808 EnterExitFrameEpilogue(arg_stack_space);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001809}
1810
1811
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001812void MacroAssembler::EnterApiExitFrame(int arg_stack_space) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001813 EnterExitFramePrologue(false);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001814 EnterExitFrameEpilogue(arg_stack_space);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001815}
1816
1817
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001818void MacroAssembler::LeaveExitFrame() {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001819 // Registers:
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001820 // r12 : argv
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001821
1822 // Get the return address from the stack and restore the frame pointer.
1823 movq(rcx, Operand(rbp, 1 * kPointerSize));
1824 movq(rbp, Operand(rbp, 0 * kPointerSize));
1825
ager@chromium.orga1645e22009-09-09 19:27:10 +00001826 // Pop everything up to and including the arguments and the receiver
1827 // from the caller stack.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001828 lea(rsp, Operand(r12, 1 * kPointerSize));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001829
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001830 // Push the return address to get ready to return.
1831 push(rcx);
1832
1833 LeaveExitFrameEpilogue();
1834}
1835
1836
1837void MacroAssembler::LeaveApiExitFrame() {
1838 movq(rsp, rbp);
1839 pop(rbp);
1840
1841 LeaveExitFrameEpilogue();
1842}
1843
1844
1845void MacroAssembler::LeaveExitFrameEpilogue() {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001846 // Restore current context from top and clear it in debug mode.
1847 ExternalReference context_address(Top::k_context_address);
1848 movq(kScratchRegister, context_address);
1849 movq(rsi, Operand(kScratchRegister, 0));
1850#ifdef DEBUG
1851 movq(Operand(kScratchRegister, 0), Immediate(0));
1852#endif
1853
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001854 // Clear the top frame.
1855 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
1856 movq(kScratchRegister, c_entry_fp_address);
1857 movq(Operand(kScratchRegister, 0), Immediate(0));
1858}
1859
1860
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001861void MacroAssembler::CheckAccessGlobalProxy(Register holder_reg,
1862 Register scratch,
1863 Label* miss) {
1864 Label same_contexts;
1865
1866 ASSERT(!holder_reg.is(scratch));
1867 ASSERT(!scratch.is(kScratchRegister));
1868 // Load current lexical context from the stack frame.
1869 movq(scratch, Operand(rbp, StandardFrameConstants::kContextOffset));
1870
1871 // When generating debug code, make sure the lexical context is set.
1872 if (FLAG_debug_code) {
1873 cmpq(scratch, Immediate(0));
1874 Check(not_equal, "we should not have an empty lexical context");
1875 }
1876 // Load the global context of the current context.
1877 int offset = Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
1878 movq(scratch, FieldOperand(scratch, offset));
1879 movq(scratch, FieldOperand(scratch, GlobalObject::kGlobalContextOffset));
1880
1881 // Check the context is a global context.
1882 if (FLAG_debug_code) {
1883 Cmp(FieldOperand(scratch, HeapObject::kMapOffset),
1884 Factory::global_context_map());
1885 Check(equal, "JSGlobalObject::global_context should be a global context.");
1886 }
1887
1888 // Check if both contexts are the same.
1889 cmpq(scratch, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
1890 j(equal, &same_contexts);
1891
1892 // Compare security tokens.
1893 // Check that the security token in the calling global object is
1894 // compatible with the security token in the receiving global
1895 // object.
1896
1897 // Check the context is a global context.
1898 if (FLAG_debug_code) {
1899 // Preserve original value of holder_reg.
1900 push(holder_reg);
1901 movq(holder_reg, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001902 CompareRoot(holder_reg, Heap::kNullValueRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001903 Check(not_equal, "JSGlobalProxy::context() should not be null.");
1904
1905 // Read the first word and compare to global_context_map(),
1906 movq(holder_reg, FieldOperand(holder_reg, HeapObject::kMapOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001907 CompareRoot(holder_reg, Heap::kGlobalContextMapRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001908 Check(equal, "JSGlobalObject::global_context should be a global context.");
1909 pop(holder_reg);
1910 }
1911
1912 movq(kScratchRegister,
1913 FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001914 int token_offset =
1915 Context::kHeaderSize + Context::SECURITY_TOKEN_INDEX * kPointerSize;
kasperl@chromium.orge959c182009-07-27 08:59:04 +00001916 movq(scratch, FieldOperand(scratch, token_offset));
1917 cmpq(scratch, FieldOperand(kScratchRegister, token_offset));
1918 j(not_equal, miss);
1919
1920 bind(&same_contexts);
1921}
1922
1923
ager@chromium.orga1645e22009-09-09 19:27:10 +00001924void MacroAssembler::LoadAllocationTopHelper(Register result,
ager@chromium.orga1645e22009-09-09 19:27:10 +00001925 Register scratch,
1926 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001927 ExternalReference new_space_allocation_top =
1928 ExternalReference::new_space_allocation_top_address();
1929
1930 // Just return if allocation top is already known.
ager@chromium.orga1645e22009-09-09 19:27:10 +00001931 if ((flags & RESULT_CONTAINS_TOP) != 0) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001932 // No use of scratch if allocation top is provided.
ager@chromium.orgac091b72010-05-05 07:34:42 +00001933 ASSERT(!scratch.is_valid());
ager@chromium.orga1645e22009-09-09 19:27:10 +00001934#ifdef DEBUG
1935 // Assert that result actually contains top on entry.
1936 movq(kScratchRegister, new_space_allocation_top);
1937 cmpq(result, Operand(kScratchRegister, 0));
1938 Check(equal, "Unexpected allocation top");
1939#endif
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001940 return;
1941 }
1942
ager@chromium.orgac091b72010-05-05 07:34:42 +00001943 // Move address of new object to result. Use scratch register if available,
1944 // and keep address in scratch until call to UpdateAllocationTopHelper.
1945 if (scratch.is_valid()) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001946 movq(scratch, new_space_allocation_top);
1947 movq(result, Operand(scratch, 0));
ager@chromium.orgac091b72010-05-05 07:34:42 +00001948 } else if (result.is(rax)) {
1949 load_rax(new_space_allocation_top);
1950 } else {
1951 movq(kScratchRegister, new_space_allocation_top);
1952 movq(result, Operand(kScratchRegister, 0));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001953 }
1954}
1955
1956
1957void MacroAssembler::UpdateAllocationTopHelper(Register result_end,
1958 Register scratch) {
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001959 if (FLAG_debug_code) {
1960 testq(result_end, Immediate(kObjectAlignmentMask));
1961 Check(zero, "Unaligned allocation in new space");
1962 }
1963
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001964 ExternalReference new_space_allocation_top =
1965 ExternalReference::new_space_allocation_top_address();
1966
1967 // Update new top.
1968 if (result_end.is(rax)) {
1969 // rax can be stored directly to a memory location.
1970 store_rax(new_space_allocation_top);
1971 } else {
1972 // Register required - use scratch provided if available.
ager@chromium.orgac091b72010-05-05 07:34:42 +00001973 if (scratch.is_valid()) {
1974 movq(Operand(scratch, 0), result_end);
1975 } else {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001976 movq(kScratchRegister, new_space_allocation_top);
1977 movq(Operand(kScratchRegister, 0), result_end);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001978 }
1979 }
1980}
1981
1982
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001983void MacroAssembler::AllocateInNewSpace(int object_size,
1984 Register result,
1985 Register result_end,
1986 Register scratch,
1987 Label* gc_required,
1988 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00001989 if (!FLAG_inline_new) {
1990 if (FLAG_debug_code) {
1991 // Trash the registers to simulate an allocation failure.
1992 movl(result, Immediate(0x7091));
1993 if (result_end.is_valid()) {
1994 movl(result_end, Immediate(0x7191));
1995 }
1996 if (scratch.is_valid()) {
1997 movl(scratch, Immediate(0x7291));
1998 }
1999 }
2000 jmp(gc_required);
2001 return;
2002 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002003 ASSERT(!result.is(result_end));
2004
2005 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +00002006 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002007
2008 // Calculate new top and bail out if new space is exhausted.
2009 ExternalReference new_space_allocation_limit =
2010 ExternalReference::new_space_allocation_limit_address();
ager@chromium.orgac091b72010-05-05 07:34:42 +00002011
2012 Register top_reg = result_end.is_valid() ? result_end : result;
2013
2014 if (top_reg.is(result)) {
2015 addq(top_reg, Immediate(object_size));
2016 } else {
2017 lea(top_reg, Operand(result, object_size));
2018 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002019 movq(kScratchRegister, new_space_allocation_limit);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002020 cmpq(top_reg, Operand(kScratchRegister, 0));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002021 j(above, gc_required);
2022
2023 // Update allocation top.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002024 UpdateAllocationTopHelper(top_reg, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002025
ager@chromium.orgac091b72010-05-05 07:34:42 +00002026 if (top_reg.is(result)) {
2027 if ((flags & TAG_OBJECT) != 0) {
2028 subq(result, Immediate(object_size - kHeapObjectTag));
2029 } else {
2030 subq(result, Immediate(object_size));
2031 }
2032 } else if ((flags & TAG_OBJECT) != 0) {
2033 // Tag the result if requested.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002034 addq(result, Immediate(kHeapObjectTag));
2035 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002036}
2037
2038
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002039void MacroAssembler::AllocateInNewSpace(int header_size,
2040 ScaleFactor element_size,
2041 Register element_count,
2042 Register result,
2043 Register result_end,
2044 Register scratch,
2045 Label* gc_required,
2046 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00002047 if (!FLAG_inline_new) {
2048 if (FLAG_debug_code) {
2049 // Trash the registers to simulate an allocation failure.
2050 movl(result, Immediate(0x7091));
2051 movl(result_end, Immediate(0x7191));
2052 if (scratch.is_valid()) {
2053 movl(scratch, Immediate(0x7291));
2054 }
2055 // Register element_count is not modified by the function.
2056 }
2057 jmp(gc_required);
2058 return;
2059 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002060 ASSERT(!result.is(result_end));
2061
2062 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +00002063 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002064
2065 // Calculate new top and bail out if new space is exhausted.
2066 ExternalReference new_space_allocation_limit =
2067 ExternalReference::new_space_allocation_limit_address();
2068 lea(result_end, Operand(result, element_count, element_size, header_size));
2069 movq(kScratchRegister, new_space_allocation_limit);
2070 cmpq(result_end, Operand(kScratchRegister, 0));
2071 j(above, gc_required);
2072
2073 // Update allocation top.
2074 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002075
2076 // Tag the result if requested.
2077 if ((flags & TAG_OBJECT) != 0) {
2078 addq(result, Immediate(kHeapObjectTag));
2079 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002080}
2081
2082
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002083void MacroAssembler::AllocateInNewSpace(Register object_size,
2084 Register result,
2085 Register result_end,
2086 Register scratch,
2087 Label* gc_required,
2088 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00002089 if (!FLAG_inline_new) {
2090 if (FLAG_debug_code) {
2091 // Trash the registers to simulate an allocation failure.
2092 movl(result, Immediate(0x7091));
2093 movl(result_end, Immediate(0x7191));
2094 if (scratch.is_valid()) {
2095 movl(scratch, Immediate(0x7291));
2096 }
2097 // object_size is left unchanged by this function.
2098 }
2099 jmp(gc_required);
2100 return;
2101 }
2102 ASSERT(!result.is(result_end));
2103
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002104 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +00002105 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002106
2107 // Calculate new top and bail out if new space is exhausted.
2108 ExternalReference new_space_allocation_limit =
2109 ExternalReference::new_space_allocation_limit_address();
2110 if (!object_size.is(result_end)) {
2111 movq(result_end, object_size);
2112 }
2113 addq(result_end, result);
2114 movq(kScratchRegister, new_space_allocation_limit);
2115 cmpq(result_end, Operand(kScratchRegister, 0));
2116 j(above, gc_required);
2117
2118 // Update allocation top.
2119 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002120
2121 // Tag the result if requested.
2122 if ((flags & TAG_OBJECT) != 0) {
2123 addq(result, Immediate(kHeapObjectTag));
2124 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002125}
2126
2127
2128void MacroAssembler::UndoAllocationInNewSpace(Register object) {
2129 ExternalReference new_space_allocation_top =
2130 ExternalReference::new_space_allocation_top_address();
2131
2132 // Make sure the object has no tag before resetting top.
2133 and_(object, Immediate(~kHeapObjectTagMask));
2134 movq(kScratchRegister, new_space_allocation_top);
2135#ifdef DEBUG
2136 cmpq(object, Operand(kScratchRegister, 0));
2137 Check(below, "Undo allocation of non allocated memory");
2138#endif
2139 movq(Operand(kScratchRegister, 0), object);
2140}
2141
2142
ager@chromium.org3811b432009-10-28 14:53:37 +00002143void MacroAssembler::AllocateHeapNumber(Register result,
2144 Register scratch,
2145 Label* gc_required) {
2146 // Allocate heap number in new space.
2147 AllocateInNewSpace(HeapNumber::kSize,
2148 result,
2149 scratch,
2150 no_reg,
2151 gc_required,
2152 TAG_OBJECT);
2153
2154 // Set the map.
2155 LoadRoot(kScratchRegister, Heap::kHeapNumberMapRootIndex);
2156 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2157}
2158
2159
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002160void MacroAssembler::AllocateTwoByteString(Register result,
2161 Register length,
2162 Register scratch1,
2163 Register scratch2,
2164 Register scratch3,
2165 Label* gc_required) {
2166 // Calculate the number of bytes needed for the characters in the string while
2167 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002168 const int kHeaderAlignment = SeqTwoByteString::kHeaderSize &
2169 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002170 ASSERT(kShortSize == 2);
2171 // scratch1 = length * 2 + kObjectAlignmentMask.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002172 lea(scratch1, Operand(length, length, times_1, kObjectAlignmentMask +
2173 kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002174 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002175 if (kHeaderAlignment > 0) {
2176 subq(scratch1, Immediate(kHeaderAlignment));
2177 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002178
2179 // Allocate two byte string in new space.
2180 AllocateInNewSpace(SeqTwoByteString::kHeaderSize,
2181 times_1,
2182 scratch1,
2183 result,
2184 scratch2,
2185 scratch3,
2186 gc_required,
2187 TAG_OBJECT);
2188
2189 // Set the map, length and hash field.
2190 LoadRoot(kScratchRegister, Heap::kStringMapRootIndex);
2191 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002192 Integer32ToSmi(scratch1, length);
2193 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002194 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002195 Immediate(String::kEmptyHashField));
2196}
2197
2198
2199void MacroAssembler::AllocateAsciiString(Register result,
2200 Register length,
2201 Register scratch1,
2202 Register scratch2,
2203 Register scratch3,
2204 Label* gc_required) {
2205 // Calculate the number of bytes needed for the characters in the string while
2206 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002207 const int kHeaderAlignment = SeqAsciiString::kHeaderSize &
2208 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002209 movl(scratch1, length);
2210 ASSERT(kCharSize == 1);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002211 addq(scratch1, Immediate(kObjectAlignmentMask + kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002212 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002213 if (kHeaderAlignment > 0) {
2214 subq(scratch1, Immediate(kHeaderAlignment));
2215 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002216
2217 // Allocate ascii string in new space.
2218 AllocateInNewSpace(SeqAsciiString::kHeaderSize,
2219 times_1,
2220 scratch1,
2221 result,
2222 scratch2,
2223 scratch3,
2224 gc_required,
2225 TAG_OBJECT);
2226
2227 // Set the map, length and hash field.
2228 LoadRoot(kScratchRegister, Heap::kAsciiStringMapRootIndex);
2229 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002230 Integer32ToSmi(scratch1, length);
2231 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002232 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002233 Immediate(String::kEmptyHashField));
2234}
2235
2236
2237void MacroAssembler::AllocateConsString(Register result,
2238 Register scratch1,
2239 Register scratch2,
2240 Label* gc_required) {
2241 // Allocate heap number in new space.
2242 AllocateInNewSpace(ConsString::kSize,
2243 result,
2244 scratch1,
2245 scratch2,
2246 gc_required,
2247 TAG_OBJECT);
2248
2249 // Set the map. The other fields are left uninitialized.
2250 LoadRoot(kScratchRegister, Heap::kConsStringMapRootIndex);
2251 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2252}
2253
2254
2255void MacroAssembler::AllocateAsciiConsString(Register result,
2256 Register scratch1,
2257 Register scratch2,
2258 Label* gc_required) {
2259 // Allocate heap number in new space.
2260 AllocateInNewSpace(ConsString::kSize,
2261 result,
2262 scratch1,
2263 scratch2,
2264 gc_required,
2265 TAG_OBJECT);
2266
2267 // Set the map. The other fields are left uninitialized.
2268 LoadRoot(kScratchRegister, Heap::kConsAsciiStringMapRootIndex);
2269 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2270}
2271
2272
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002273void MacroAssembler::LoadContext(Register dst, int context_chain_length) {
2274 if (context_chain_length > 0) {
2275 // Move up the chain of contexts to the context containing the slot.
2276 movq(dst, Operand(rsi, Context::SlotOffset(Context::CLOSURE_INDEX)));
2277 // Load the function context (which is the incoming, outer context).
lrn@chromium.orgd5649e32010-01-19 13:36:12 +00002278 movq(dst, FieldOperand(dst, JSFunction::kContextOffset));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002279 for (int i = 1; i < context_chain_length; i++) {
2280 movq(dst, Operand(dst, Context::SlotOffset(Context::CLOSURE_INDEX)));
2281 movq(dst, FieldOperand(dst, JSFunction::kContextOffset));
2282 }
2283 // The context may be an intermediate context, not a function context.
2284 movq(dst, Operand(dst, Context::SlotOffset(Context::FCONTEXT_INDEX)));
2285 } else { // context is the current function context.
2286 // The context may be an intermediate context, not a function context.
2287 movq(dst, Operand(rsi, Context::SlotOffset(Context::FCONTEXT_INDEX)));
2288 }
2289}
2290
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002291
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002292void MacroAssembler::LoadGlobalFunction(int index, Register function) {
2293 // Load the global or builtins object from the current context.
2294 movq(function, Operand(rsi, Context::SlotOffset(Context::GLOBAL_INDEX)));
2295 // Load the global context from the global or builtins object.
2296 movq(function, FieldOperand(function, GlobalObject::kGlobalContextOffset));
2297 // Load the function from the global context.
2298 movq(function, Operand(function, Context::SlotOffset(index)));
2299}
2300
2301
2302void MacroAssembler::LoadGlobalFunctionInitialMap(Register function,
2303 Register map) {
2304 // Load the initial map. The global functions all have initial maps.
2305 movq(map, FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2306 if (FLAG_debug_code) {
2307 Label ok, fail;
2308 CheckMap(map, Factory::meta_map(), &fail, false);
2309 jmp(&ok);
2310 bind(&fail);
2311 Abort("Global functions must have initial map");
2312 bind(&ok);
2313 }
2314}
2315
2316
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002317int MacroAssembler::ArgumentStackSlotsForCFunctionCall(int num_arguments) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002318 // On Windows 64 stack slots are reserved by the caller for all arguments
2319 // including the ones passed in registers, and space is always allocated for
2320 // the four register arguments even if the function takes fewer than four
2321 // arguments.
2322 // On AMD64 ABI (Linux/Mac) the first six arguments are passed in registers
2323 // and the caller does not reserve stack slots for them.
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002324 ASSERT(num_arguments >= 0);
2325#ifdef _WIN64
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002326 static const int kMinimumStackSlots = 4;
2327 if (num_arguments < kMinimumStackSlots) return kMinimumStackSlots;
2328 return num_arguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002329#else
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002330 static const int kRegisterPassedArguments = 6;
2331 if (num_arguments < kRegisterPassedArguments) return 0;
2332 return num_arguments - kRegisterPassedArguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002333#endif
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002334}
2335
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002336
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002337void MacroAssembler::PrepareCallCFunction(int num_arguments) {
2338 int frame_alignment = OS::ActivationFrameAlignment();
2339 ASSERT(frame_alignment != 0);
2340 ASSERT(num_arguments >= 0);
2341 // Make stack end at alignment and allocate space for arguments and old rsp.
2342 movq(kScratchRegister, rsp);
2343 ASSERT(IsPowerOf2(frame_alignment));
2344 int argument_slots_on_stack =
2345 ArgumentStackSlotsForCFunctionCall(num_arguments);
2346 subq(rsp, Immediate((argument_slots_on_stack + 1) * kPointerSize));
2347 and_(rsp, Immediate(-frame_alignment));
2348 movq(Operand(rsp, argument_slots_on_stack * kPointerSize), kScratchRegister);
2349}
2350
2351
2352void MacroAssembler::CallCFunction(ExternalReference function,
2353 int num_arguments) {
2354 movq(rax, function);
2355 CallCFunction(rax, num_arguments);
2356}
2357
2358
2359void MacroAssembler::CallCFunction(Register function, int num_arguments) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002360 // Check stack alignment.
2361 if (FLAG_debug_code) {
2362 CheckStackAlignment();
2363 }
2364
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002365 call(function);
2366 ASSERT(OS::ActivationFrameAlignment() != 0);
2367 ASSERT(num_arguments >= 0);
2368 int argument_slots_on_stack =
2369 ArgumentStackSlotsForCFunctionCall(num_arguments);
2370 movq(rsp, Operand(rsp, argument_slots_on_stack * kPointerSize));
2371}
2372
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002373
ager@chromium.org4af710e2009-09-15 12:20:11 +00002374CodePatcher::CodePatcher(byte* address, int size)
2375 : address_(address), size_(size), masm_(address, size + Assembler::kGap) {
2376 // Create a new macro assembler pointing to the address of the code to patch.
2377 // The size is adjusted with kGap on order for the assembler to generate size
2378 // bytes of instructions without failing with buffer size constraints.
2379 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2380}
2381
2382
2383CodePatcher::~CodePatcher() {
2384 // Indicate that code has changed.
2385 CPU::FlushICache(address_, size_);
2386
2387 // Check that the code was patched as expected.
2388 ASSERT(masm_.pc_ == address_ + size_);
2389 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2390}
2391
kasperl@chromium.org71affb52009-05-26 05:44:31 +00002392} } // namespace v8::internal
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00002393
2394#endif // V8_TARGET_ARCH_X64