blob: c1954a898a4ec1449568cd0683b2b6648feb455d [file] [log] [blame]
ager@chromium.org5ec48922009-05-05 07:25:34 +00001// Copyright 2009 the V8 project authors. All rights reserved.
2// 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
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +000077void MacroAssembler::StackLimitCheck(Label* on_stack_overflow) {
78 CompareRoot(rsp, Heap::kStackLimitRootIndex);
79 j(below, on_stack_overflow);
80}
81
82
ager@chromium.orgac091b72010-05-05 07:34:42 +000083void MacroAssembler::RecordWriteHelper(Register object,
84 Register addr,
85 Register scratch) {
86 if (FLAG_debug_code) {
87 // Check that the object is not in new space.
88 Label not_in_new_space;
89 InNewSpace(object, scratch, not_equal, &not_in_new_space);
90 Abort("new-space object passed to RecordWriteHelper");
91 bind(&not_in_new_space);
92 }
93
christian.plesner.hansen@gmail.com5a6af922009-08-12 14:20:51 +000094 // Compute the page start address from the heap object pointer, and reuse
95 // the 'object' register for it.
ricow@chromium.org30ce4112010-05-31 10:38:25 +000096 and_(object, Immediate(~Page::kPageAlignmentMask));
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +000097
ricow@chromium.org30ce4112010-05-31 10:38:25 +000098 // Compute number of region covering addr. See Page::GetRegionNumberForAddress
99 // method for more details.
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000100 shrl(addr, Immediate(Page::kRegionSizeLog2));
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000101 andl(addr, Immediate(Page::kPageAlignmentMask >> Page::kRegionSizeLog2));
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000102
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000103 // Set dirty mark for region.
104 bts(Operand(object, Page::kDirtyFlagOffset), addr);
kmillikin@chromium.org4111b802010-05-03 10:34:42 +0000105}
106
107
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000108void MacroAssembler::RecordWrite(Register object,
109 int offset,
110 Register value,
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000111 Register index) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000112 // The compiled code assumes that record write doesn't change the
113 // context register, so we check that none of the clobbered
114 // registers are rsi.
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000115 ASSERT(!object.is(rsi) && !value.is(rsi) && !index.is(rsi));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000116
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000117 // First, check if a write barrier is even needed. The tests below
118 // catch stores of Smis and stores into young gen.
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000119 Label done;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000120 JumpIfSmi(value, &done);
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000121
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000122 RecordWriteNonSmi(object, offset, value, index);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000123 bind(&done);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000124
125 // Clobber all input registers when running with the debug-code flag
126 // turned on to provoke errors. This clobbering repeats the
127 // clobbering done inside RecordWriteNonSmi but it's necessary to
128 // avoid having the fast case for smis leave the registers
129 // unchanged.
130 if (FLAG_debug_code) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000131 movq(object, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
132 movq(value, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000133 movq(index, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000134 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000135}
136
137
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000138void MacroAssembler::RecordWrite(Register object,
139 Register address,
140 Register value) {
141 // The compiled code assumes that record write doesn't change the
142 // context register, so we check that none of the clobbered
143 // registers are esi.
144 ASSERT(!object.is(rsi) && !value.is(rsi) && !address.is(rsi));
145
146 // First, check if a write barrier is even needed. The tests below
147 // catch stores of Smis and stores into young gen.
148 Label done;
149 JumpIfSmi(value, &done);
150
151 InNewSpace(object, value, equal, &done);
152
153 RecordWriteHelper(object, address, value);
154
155 bind(&done);
156
157 // Clobber all input registers when running with the debug-code flag
158 // turned on to provoke errors.
159 if (FLAG_debug_code) {
160 movq(object, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
161 movq(address, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
162 movq(value, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
163 }
164}
165
166
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000167void MacroAssembler::RecordWriteNonSmi(Register object,
168 int offset,
169 Register scratch,
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000170 Register index) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000171 Label done;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000172
173 if (FLAG_debug_code) {
174 Label okay;
175 JumpIfNotSmi(object, &okay);
176 Abort("MacroAssembler::RecordWriteNonSmi cannot deal with smis");
177 bind(&okay);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000178
179 if (offset == 0) {
180 // index must be int32.
181 Register tmp = index.is(rax) ? rbx : rax;
182 push(tmp);
183 movl(tmp, index);
184 cmpq(tmp, index);
185 Check(equal, "Index register for RecordWrite must be untagged int32.");
186 pop(tmp);
187 }
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000188 }
189
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000190 // Test that the object address is not in the new space. We cannot
191 // update page dirty marks for new space pages.
kmillikin@chromium.org4111b802010-05-03 10:34:42 +0000192 InNewSpace(object, scratch, equal, &done);
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000193
whesse@chromium.orge88a9ed2010-04-15 15:07:46 +0000194 // The offset is relative to a tagged or untagged HeapObject pointer,
195 // so either offset or offset + kHeapObjectTag must be a
196 // multiple of kPointerSize.
197 ASSERT(IsAligned(offset, kPointerSize) ||
198 IsAligned(offset + kHeapObjectTag, kPointerSize));
199
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000200 Register dst = index;
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000201 if (offset != 0) {
202 lea(dst, Operand(object, offset));
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000203 } else {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000204 // array access: calculate the destination address in the same manner as
205 // KeyedStoreIC::GenerateGeneric.
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000206 lea(dst, FieldOperand(object,
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000207 index,
208 times_pointer_size,
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000209 FixedArray::kHeaderSize));
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000210 }
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000211 RecordWriteHelper(object, dst, scratch);
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000212
213 bind(&done);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000214
215 // Clobber all input registers when running with the debug-code flag
216 // turned on to provoke errors.
217 if (FLAG_debug_code) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000218 movq(object, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
219 movq(scratch, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000220 movq(index, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000221 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000222}
223
224
ager@chromium.orgac091b72010-05-05 07:34:42 +0000225void MacroAssembler::InNewSpace(Register object,
226 Register scratch,
227 Condition cc,
228 Label* branch) {
229 if (Serializer::enabled()) {
230 // Can't do arithmetic on external references if it might get serialized.
231 // The mask isn't really an address. We load it as an external reference in
232 // case the size of the new space is different between the snapshot maker
233 // and the running system.
234 if (scratch.is(object)) {
235 movq(kScratchRegister, ExternalReference::new_space_mask());
236 and_(scratch, kScratchRegister);
237 } else {
238 movq(scratch, ExternalReference::new_space_mask());
239 and_(scratch, object);
240 }
241 movq(kScratchRegister, ExternalReference::new_space_start());
242 cmpq(scratch, kScratchRegister);
243 j(cc, branch);
244 } else {
245 ASSERT(is_int32(static_cast<int64_t>(Heap::NewSpaceMask())));
246 intptr_t new_space_start =
247 reinterpret_cast<intptr_t>(Heap::NewSpaceStart());
248 movq(kScratchRegister, -new_space_start, RelocInfo::NONE);
249 if (scratch.is(object)) {
250 addq(scratch, kScratchRegister);
251 } else {
252 lea(scratch, Operand(object, kScratchRegister, times_1, 0));
253 }
254 and_(scratch, Immediate(static_cast<int32_t>(Heap::NewSpaceMask())));
255 j(cc, branch);
256 }
257}
258
259
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000260void MacroAssembler::Assert(Condition cc, const char* msg) {
261 if (FLAG_debug_code) Check(cc, msg);
262}
263
264
265void MacroAssembler::Check(Condition cc, const char* msg) {
266 Label L;
267 j(cc, &L);
268 Abort(msg);
269 // will not return here
270 bind(&L);
271}
272
273
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000274void MacroAssembler::CheckStackAlignment() {
275 int frame_alignment = OS::ActivationFrameAlignment();
276 int frame_alignment_mask = frame_alignment - 1;
277 if (frame_alignment > kPointerSize) {
278 ASSERT(IsPowerOf2(frame_alignment));
279 Label alignment_as_expected;
280 testq(rsp, Immediate(frame_alignment_mask));
281 j(zero, &alignment_as_expected);
282 // Abort if stack is not aligned.
283 int3();
284 bind(&alignment_as_expected);
285 }
286}
287
288
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000289void MacroAssembler::NegativeZeroTest(Register result,
290 Register op,
291 Label* then_label) {
292 Label ok;
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000293 testl(result, result);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000294 j(not_zero, &ok);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000295 testl(op, op);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000296 j(sign, then_label);
297 bind(&ok);
298}
299
300
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000301void MacroAssembler::Abort(const char* msg) {
302 // We want to pass the msg string like a smi to avoid GC
303 // problems, however msg is not guaranteed to be aligned
304 // properly. Instead, we pass an aligned pointer that is
305 // a proper v8 smi, but also pass the alignment difference
306 // from the real pointer as a smi.
307 intptr_t p1 = reinterpret_cast<intptr_t>(msg);
308 intptr_t p0 = (p1 & ~kSmiTagMask) + kSmiTag;
309 // Note: p0 might not be a valid Smi *value*, but it has a valid Smi tag.
310 ASSERT(reinterpret_cast<Object*>(p0)->IsSmi());
311#ifdef DEBUG
312 if (msg != NULL) {
313 RecordComment("Abort message: ");
314 RecordComment(msg);
315 }
316#endif
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000317 // Disable stub call restrictions to always allow calls to abort.
318 set_allow_stub_calls(true);
319
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000320 push(rax);
321 movq(kScratchRegister, p0, RelocInfo::NONE);
322 push(kScratchRegister);
323 movq(kScratchRegister,
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000324 reinterpret_cast<intptr_t>(Smi::FromInt(static_cast<int>(p1 - p0))),
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000325 RelocInfo::NONE);
326 push(kScratchRegister);
327 CallRuntime(Runtime::kAbort, 2);
328 // will not return here
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000329 int3();
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000330}
331
332
333void MacroAssembler::CallStub(CodeStub* stub) {
334 ASSERT(allow_stub_calls()); // calls are not allowed in some stubs
sgjesse@chromium.org911335c2009-08-19 12:59:44 +0000335 Call(stub->GetCode(), RelocInfo::CODE_TARGET);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000336}
337
338
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000339Object* MacroAssembler::TryCallStub(CodeStub* stub) {
340 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
341 Object* result = stub->TryGetCode();
342 if (!result->IsFailure()) {
343 call(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
344 }
345 return result;
346}
347
348
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000349void MacroAssembler::TailCallStub(CodeStub* stub) {
350 ASSERT(allow_stub_calls()); // calls are not allowed in some stubs
351 Jump(stub->GetCode(), RelocInfo::CODE_TARGET);
352}
353
354
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000355Object* MacroAssembler::TryTailCallStub(CodeStub* stub) {
356 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
357 Object* result = stub->TryGetCode();
358 if (!result->IsFailure()) {
359 jmp(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
360 }
361 return result;
362}
363
364
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000365void MacroAssembler::StubReturn(int argc) {
366 ASSERT(argc >= 1 && generating_stub());
367 ret((argc - 1) * kPointerSize);
368}
369
370
371void MacroAssembler::IllegalOperation(int num_arguments) {
372 if (num_arguments > 0) {
373 addq(rsp, Immediate(num_arguments * kPointerSize));
374 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000375 LoadRoot(rax, Heap::kUndefinedValueRootIndex);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000376}
377
378
379void MacroAssembler::CallRuntime(Runtime::FunctionId id, int num_arguments) {
380 CallRuntime(Runtime::FunctionForId(id), num_arguments);
381}
382
383
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000384Object* MacroAssembler::TryCallRuntime(Runtime::FunctionId id,
385 int num_arguments) {
386 return TryCallRuntime(Runtime::FunctionForId(id), num_arguments);
387}
388
389
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000390void MacroAssembler::CallRuntime(Runtime::Function* f, int num_arguments) {
391 // If the expected number of arguments of the runtime function is
392 // constant, we check that the actual number of arguments match the
393 // expectation.
394 if (f->nargs >= 0 && f->nargs != num_arguments) {
395 IllegalOperation(num_arguments);
396 return;
397 }
398
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000399 // TODO(1236192): Most runtime routines don't need the number of
400 // arguments passed in because it is constant. At some point we
401 // should remove this need and make the runtime routine entry code
402 // smarter.
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000403 Set(rax, num_arguments);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000404 movq(rbx, ExternalReference(f));
405 CEntryStub ces(f->result_size);
406 CallStub(&ces);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000407}
408
409
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000410Object* MacroAssembler::TryCallRuntime(Runtime::Function* f,
411 int num_arguments) {
412 if (f->nargs >= 0 && f->nargs != num_arguments) {
413 IllegalOperation(num_arguments);
414 // Since we did not call the stub, there was no allocation failure.
415 // Return some non-failure object.
416 return Heap::undefined_value();
417 }
418
419 // TODO(1236192): Most runtime routines don't need the number of
420 // arguments passed in because it is constant. At some point we
421 // should remove this need and make the runtime routine entry code
422 // smarter.
423 Set(rax, num_arguments);
424 movq(rbx, ExternalReference(f));
425 CEntryStub ces(f->result_size);
426 return TryCallStub(&ces);
427}
428
429
ager@chromium.org5c838252010-02-19 08:53:10 +0000430void MacroAssembler::CallExternalReference(const ExternalReference& ext,
431 int num_arguments) {
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000432 Set(rax, num_arguments);
ager@chromium.org5c838252010-02-19 08:53:10 +0000433 movq(rbx, ext);
434
435 CEntryStub stub(1);
436 CallStub(&stub);
437}
438
439
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000440void MacroAssembler::TailCallExternalReference(const ExternalReference& ext,
441 int num_arguments,
442 int result_size) {
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000443 // ----------- S t a t e -------------
444 // -- rsp[0] : return address
445 // -- rsp[8] : argument num_arguments - 1
446 // ...
447 // -- rsp[8 * num_arguments] : argument 0 (receiver)
448 // -----------------------------------
449
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000450 // TODO(1236192): Most runtime routines don't need the number of
451 // arguments passed in because it is constant. At some point we
452 // should remove this need and make the runtime routine entry code
453 // smarter.
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000454 Set(rax, num_arguments);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000455 JumpToExternalReference(ext, result_size);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000456}
457
458
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000459void MacroAssembler::TailCallRuntime(Runtime::FunctionId fid,
460 int num_arguments,
461 int result_size) {
462 TailCallExternalReference(ExternalReference(fid), num_arguments, result_size);
463}
464
465
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000466static int Offset(ExternalReference ref0, ExternalReference ref1) {
467 int64_t offset = (ref0.address() - ref1.address());
468 // Check that fits into int.
469 ASSERT(static_cast<int>(offset) == offset);
470 return static_cast<int>(offset);
471}
472
473
474void MacroAssembler::PushHandleScope(Register scratch) {
475 ExternalReference extensions_address =
476 ExternalReference::handle_scope_extensions_address();
477 const int kExtensionsOffset = 0;
478 const int kNextOffset = Offset(
479 ExternalReference::handle_scope_next_address(),
480 extensions_address);
481 const int kLimitOffset = Offset(
482 ExternalReference::handle_scope_limit_address(),
483 extensions_address);
484
485 // Push the number of extensions, smi-tagged so the gc will ignore it.
486 movq(kScratchRegister, extensions_address);
487 movq(scratch, Operand(kScratchRegister, kExtensionsOffset));
488 movq(Operand(kScratchRegister, kExtensionsOffset), Immediate(0));
489 Integer32ToSmi(scratch, scratch);
490 push(scratch);
491 // Push next and limit pointers which will be wordsize aligned and
492 // hence automatically smi tagged.
493 push(Operand(kScratchRegister, kNextOffset));
494 push(Operand(kScratchRegister, kLimitOffset));
495}
496
497
498Object* MacroAssembler::PopHandleScopeHelper(Register saved,
499 Register scratch,
500 bool gc_allowed) {
501 ExternalReference extensions_address =
502 ExternalReference::handle_scope_extensions_address();
503 const int kExtensionsOffset = 0;
504 const int kNextOffset = Offset(
505 ExternalReference::handle_scope_next_address(),
506 extensions_address);
507 const int kLimitOffset = Offset(
508 ExternalReference::handle_scope_limit_address(),
509 extensions_address);
510
511 Object* result = NULL;
512 Label write_back;
513 movq(kScratchRegister, extensions_address);
514 cmpq(Operand(kScratchRegister, kExtensionsOffset), Immediate(0));
515 j(equal, &write_back);
516 push(saved);
517 if (gc_allowed) {
518 CallRuntime(Runtime::kDeleteHandleScopeExtensions, 0);
519 } else {
520 result = TryCallRuntime(Runtime::kDeleteHandleScopeExtensions, 0);
521 if (result->IsFailure()) return result;
522 }
523 pop(saved);
524 movq(kScratchRegister, extensions_address);
525
526 bind(&write_back);
527 pop(Operand(kScratchRegister, kLimitOffset));
528 pop(Operand(kScratchRegister, kNextOffset));
529 pop(scratch);
530 SmiToInteger32(scratch, scratch);
531 movq(Operand(kScratchRegister, kExtensionsOffset), scratch);
532
533 return result;
534}
535
536
537void MacroAssembler::PopHandleScope(Register saved, Register scratch) {
538 PopHandleScopeHelper(saved, scratch, true);
539}
540
541
542Object* MacroAssembler::TryPopHandleScope(Register saved, Register scratch) {
543 return PopHandleScopeHelper(saved, scratch, false);
544}
545
546
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000547void MacroAssembler::JumpToExternalReference(const ExternalReference& ext,
548 int result_size) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000549 // Set the entry point and jump to the C entry runtime stub.
550 movq(rbx, ext);
ager@chromium.orga1645e22009-09-09 19:27:10 +0000551 CEntryStub ces(result_size);
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000552 jmp(ces.GetCode(), RelocInfo::CODE_TARGET);
kasperl@chromium.org71affb52009-05-26 05:44:31 +0000553}
554
ager@chromium.orge2902be2009-06-08 12:21:35 +0000555
ager@chromium.org5c838252010-02-19 08:53:10 +0000556void MacroAssembler::InvokeBuiltin(Builtins::JavaScript id, InvokeFlag flag) {
557 // Calls are not allowed in some stubs.
558 ASSERT(flag == JUMP_FUNCTION || allow_stub_calls());
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000559
ager@chromium.org5c838252010-02-19 08:53:10 +0000560 // Rely on the assertion to check that the number of provided
561 // arguments match the expected number of arguments. Fake a
562 // parameter count to avoid emitting code to do the check.
563 ParameterCount expected(0);
564 GetBuiltinEntry(rdx, id);
565 InvokeCode(rdx, expected, expected, flag);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000566}
567
ager@chromium.org5c838252010-02-19 08:53:10 +0000568
569void MacroAssembler::GetBuiltinEntry(Register target, Builtins::JavaScript id) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000570 ASSERT(!target.is(rdi));
571
572 // Load the builtins object into target register.
573 movq(target, Operand(rsi, Context::SlotOffset(Context::GLOBAL_INDEX)));
574 movq(target, FieldOperand(target, GlobalObject::kBuiltinsOffset));
575
ager@chromium.org5c838252010-02-19 08:53:10 +0000576 // Load the JavaScript builtin function from the builtins object.
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000577 movq(rdi, FieldOperand(target, JSBuiltinsObject::OffsetOfFunctionWithId(id)));
578
579 // Load the code entry point from the builtins object.
580 movq(target, FieldOperand(target, JSBuiltinsObject::OffsetOfCodeWithId(id)));
581 if (FLAG_debug_code) {
582 // Make sure the code objects in the builtins object and in the
583 // builtin function are the same.
584 push(target);
vegorov@chromium.org26c16f82010-08-11 13:41:03 +0000585 movq(target, FieldOperand(rdi, JSFunction::kCodeOffset));
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000586 cmpq(target, Operand(rsp, 0));
587 Assert(equal, "Builtin code object changed");
588 pop(target);
589 }
590 lea(target, FieldOperand(target, Code::kHeaderSize));
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000591}
592
593
ager@chromium.orge2902be2009-06-08 12:21:35 +0000594void MacroAssembler::Set(Register dst, int64_t x) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000595 if (x == 0) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000596 xorl(dst, dst);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000597 } else if (is_int32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000598 movq(dst, Immediate(static_cast<int32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000599 } else if (is_uint32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000600 movl(dst, Immediate(static_cast<uint32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000601 } else {
602 movq(dst, x, RelocInfo::NONE);
603 }
604}
605
ager@chromium.orge2902be2009-06-08 12:21:35 +0000606void MacroAssembler::Set(const Operand& dst, int64_t x) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000607 if (is_int32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000608 movq(dst, Immediate(static_cast<int32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000609 } else {
610 movq(kScratchRegister, x, RelocInfo::NONE);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000611 movq(dst, kScratchRegister);
ager@chromium.orge2902be2009-06-08 12:21:35 +0000612 }
ager@chromium.orge2902be2009-06-08 12:21:35 +0000613}
614
ager@chromium.org4af710e2009-09-15 12:20:11 +0000615// ----------------------------------------------------------------------------
616// Smi tagging, untagging and tag detection.
617
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000618static int kSmiShift = kSmiTagSize + kSmiShiftSize;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000619
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000620Register MacroAssembler::GetSmiConstant(Smi* source) {
621 int value = source->value();
622 if (value == 0) {
623 xorl(kScratchRegister, kScratchRegister);
624 return kScratchRegister;
625 }
626 if (value == 1) {
627 return kSmiConstantRegister;
628 }
629 LoadSmiConstant(kScratchRegister, source);
630 return kScratchRegister;
631}
632
633void MacroAssembler::LoadSmiConstant(Register dst, Smi* source) {
634 if (FLAG_debug_code) {
635 movq(dst,
636 reinterpret_cast<uint64_t>(Smi::FromInt(kSmiConstantRegisterValue)),
637 RelocInfo::NONE);
638 cmpq(dst, kSmiConstantRegister);
639 if (allow_stub_calls()) {
640 Assert(equal, "Uninitialized kSmiConstantRegister");
641 } else {
642 Label ok;
643 j(equal, &ok);
644 int3();
645 bind(&ok);
646 }
647 }
648 if (source->value() == 0) {
649 xorl(dst, dst);
650 return;
651 }
652 int value = source->value();
653 bool negative = value < 0;
654 unsigned int uvalue = negative ? -value : value;
655
656 switch (uvalue) {
657 case 9:
658 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_8, 0));
659 break;
660 case 8:
661 xorl(dst, dst);
662 lea(dst, Operand(dst, kSmiConstantRegister, times_8, 0));
663 break;
664 case 4:
665 xorl(dst, dst);
666 lea(dst, Operand(dst, kSmiConstantRegister, times_4, 0));
667 break;
668 case 5:
669 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_4, 0));
670 break;
671 case 3:
672 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_2, 0));
673 break;
674 case 2:
675 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_1, 0));
676 break;
677 case 1:
678 movq(dst, kSmiConstantRegister);
679 break;
680 case 0:
681 UNREACHABLE();
682 return;
683 default:
684 movq(dst, reinterpret_cast<uint64_t>(source), RelocInfo::NONE);
685 return;
686 }
687 if (negative) {
688 neg(dst);
689 }
690}
691
ager@chromium.org4af710e2009-09-15 12:20:11 +0000692void MacroAssembler::Integer32ToSmi(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000693 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000694 if (!dst.is(src)) {
695 movl(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000696 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000697 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000698}
699
700
701void MacroAssembler::Integer32ToSmi(Register dst,
702 Register src,
703 Label* on_overflow) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000704 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000705 // 32-bit integer always fits in a long smi.
ager@chromium.org4af710e2009-09-15 12:20:11 +0000706 if (!dst.is(src)) {
707 movl(dst, src);
708 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000709 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000710}
711
712
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000713void MacroAssembler::Integer32ToSmiField(const Operand& dst, Register src) {
714 if (FLAG_debug_code) {
715 testb(dst, Immediate(0x01));
716 Label ok;
717 j(zero, &ok);
718 if (allow_stub_calls()) {
719 Abort("Integer32ToSmiField writing to non-smi location");
720 } else {
721 int3();
722 }
723 bind(&ok);
724 }
725 ASSERT(kSmiShift % kBitsPerByte == 0);
726 movl(Operand(dst, kSmiShift / kBitsPerByte), src);
727}
728
729
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000730void MacroAssembler::Integer64PlusConstantToSmi(Register dst,
731 Register src,
732 int constant) {
733 if (dst.is(src)) {
734 addq(dst, Immediate(constant));
735 } else {
736 lea(dst, Operand(src, constant));
737 }
738 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000739}
740
741
742void MacroAssembler::SmiToInteger32(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000743 ASSERT_EQ(0, kSmiTag);
744 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000745 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000746 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000747 shr(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000748}
749
750
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000751void MacroAssembler::SmiToInteger32(Register dst, const Operand& src) {
752 movl(dst, Operand(src, kSmiShift / kBitsPerByte));
753}
754
755
ager@chromium.org4af710e2009-09-15 12:20:11 +0000756void MacroAssembler::SmiToInteger64(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000757 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000758 if (!dst.is(src)) {
759 movq(dst, src);
760 }
761 sar(dst, Immediate(kSmiShift));
762}
763
764
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000765void MacroAssembler::SmiToInteger64(Register dst, const Operand& src) {
766 movsxlq(dst, Operand(src, kSmiShift / kBitsPerByte));
767}
768
769
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000770void MacroAssembler::SmiTest(Register src) {
771 testq(src, src);
772}
773
774
775void MacroAssembler::SmiCompare(Register dst, Register src) {
776 cmpq(dst, src);
777}
778
779
780void MacroAssembler::SmiCompare(Register dst, Smi* src) {
781 ASSERT(!dst.is(kScratchRegister));
782 if (src->value() == 0) {
783 testq(dst, dst);
784 } else {
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000785 Register constant_reg = GetSmiConstant(src);
786 cmpq(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000787 }
788}
789
790
kmillikin@chromium.org9155e252010-05-26 13:27:57 +0000791void MacroAssembler::SmiCompare(Register dst, const Operand& src) {
ager@chromium.orgac091b72010-05-05 07:34:42 +0000792 cmpq(dst, src);
793}
794
795
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000796void MacroAssembler::SmiCompare(const Operand& dst, Register src) {
797 cmpq(dst, src);
798}
799
800
801void MacroAssembler::SmiCompare(const Operand& dst, Smi* src) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000802 cmpl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(src->value()));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000803}
804
805
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000806void MacroAssembler::SmiCompareInteger32(const Operand& dst, Register src) {
807 cmpl(Operand(dst, kSmiShift / kBitsPerByte), src);
808}
809
810
ager@chromium.org4af710e2009-09-15 12:20:11 +0000811void MacroAssembler::PositiveSmiTimesPowerOfTwoToInteger64(Register dst,
812 Register src,
813 int power) {
814 ASSERT(power >= 0);
815 ASSERT(power < 64);
816 if (power == 0) {
817 SmiToInteger64(dst, src);
818 return;
819 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000820 if (!dst.is(src)) {
821 movq(dst, src);
822 }
823 if (power < kSmiShift) {
824 sar(dst, Immediate(kSmiShift - power));
825 } else if (power > kSmiShift) {
826 shl(dst, Immediate(power - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000827 }
828}
829
830
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000831void MacroAssembler::PositiveSmiDivPowerOfTwoToInteger32(Register dst,
832 Register src,
833 int power) {
834 ASSERT((0 <= power) && (power < 32));
835 if (dst.is(src)) {
836 shr(dst, Immediate(power + kSmiShift));
837 } else {
838 UNIMPLEMENTED(); // Not used.
839 }
840}
841
842
ager@chromium.org4af710e2009-09-15 12:20:11 +0000843Condition MacroAssembler::CheckSmi(Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000844 ASSERT_EQ(0, kSmiTag);
845 testb(src, Immediate(kSmiTagMask));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000846 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000847}
848
849
850Condition MacroAssembler::CheckPositiveSmi(Register src) {
851 ASSERT_EQ(0, kSmiTag);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000852 // Make mask 0x8000000000000001 and test that both bits are zero.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000853 movq(kScratchRegister, src);
854 rol(kScratchRegister, Immediate(1));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000855 testb(kScratchRegister, Immediate(3));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000856 return zero;
857}
858
859
ager@chromium.org4af710e2009-09-15 12:20:11 +0000860Condition MacroAssembler::CheckBothSmi(Register first, Register second) {
861 if (first.is(second)) {
862 return CheckSmi(first);
863 }
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000864 ASSERT(kSmiTag == 0 && kHeapObjectTag == 1 && kHeapObjectTagMask == 3);
865 leal(kScratchRegister, Operand(first, second, times_1, 0));
866 testb(kScratchRegister, Immediate(0x03));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000867 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000868}
869
870
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000871Condition MacroAssembler::CheckBothPositiveSmi(Register first,
872 Register second) {
873 if (first.is(second)) {
874 return CheckPositiveSmi(first);
875 }
fschneider@chromium.org40b9da32010-06-28 11:29:21 +0000876 movq(kScratchRegister, first);
877 or_(kScratchRegister, second);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000878 rol(kScratchRegister, Immediate(1));
879 testl(kScratchRegister, Immediate(0x03));
880 return zero;
881}
882
883
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000884Condition MacroAssembler::CheckEitherSmi(Register first,
885 Register second,
886 Register scratch) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000887 if (first.is(second)) {
888 return CheckSmi(first);
889 }
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000890 if (scratch.is(second)) {
891 andl(scratch, first);
892 } else {
893 if (!scratch.is(first)) {
894 movl(scratch, first);
895 }
896 andl(scratch, second);
897 }
898 testb(scratch, Immediate(kSmiTagMask));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000899 return zero;
900}
901
902
ager@chromium.org4af710e2009-09-15 12:20:11 +0000903Condition MacroAssembler::CheckIsMinSmi(Register src) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000904 ASSERT(!src.is(kScratchRegister));
905 // If we overflow by subtracting one, it's the minimal smi value.
906 cmpq(src, kSmiConstantRegister);
907 return overflow;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000908}
909
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000910
ager@chromium.org4af710e2009-09-15 12:20:11 +0000911Condition MacroAssembler::CheckInteger32ValidSmiValue(Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000912 // A 32-bit integer value can always be converted to a smi.
913 return always;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000914}
915
916
ager@chromium.org3811b432009-10-28 14:53:37 +0000917Condition MacroAssembler::CheckUInteger32ValidSmiValue(Register src) {
918 // An unsigned 32-bit integer value is valid as long as the high bit
919 // is not set.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000920 testl(src, src);
921 return positive;
ager@chromium.org3811b432009-10-28 14:53:37 +0000922}
923
924
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000925void MacroAssembler::SmiNeg(Register dst, Register src, Label* on_smi_result) {
926 if (dst.is(src)) {
927 ASSERT(!dst.is(kScratchRegister));
928 movq(kScratchRegister, src);
929 neg(dst); // Low 32 bits are retained as zero by negation.
930 // Test if result is zero or Smi::kMinValue.
931 cmpq(dst, kScratchRegister);
932 j(not_equal, on_smi_result);
933 movq(src, kScratchRegister);
934 } else {
935 movq(dst, src);
936 neg(dst);
937 cmpq(dst, src);
938 // If the result is zero or Smi::kMinValue, negation failed to create a smi.
939 j(not_equal, on_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000940 }
ager@chromium.org4af710e2009-09-15 12:20:11 +0000941}
942
943
944void MacroAssembler::SmiAdd(Register dst,
945 Register src1,
946 Register src2,
947 Label* on_not_smi_result) {
948 ASSERT(!dst.is(src2));
ager@chromium.orgac091b72010-05-05 07:34:42 +0000949 if (on_not_smi_result == NULL) {
950 // No overflow checking. Use only when it's known that
951 // overflowing is impossible.
952 if (dst.is(src1)) {
953 addq(dst, src2);
954 } else {
955 movq(dst, src1);
956 addq(dst, src2);
957 }
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000958 Assert(no_overflow, "Smi addition overflow");
ager@chromium.orgac091b72010-05-05 07:34:42 +0000959 } else if (dst.is(src1)) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000960 movq(kScratchRegister, src1);
961 addq(kScratchRegister, src2);
962 j(overflow, on_not_smi_result);
963 movq(dst, kScratchRegister);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000964 } else {
965 movq(dst, src1);
966 addq(dst, src2);
967 j(overflow, on_not_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000968 }
969}
970
971
ager@chromium.org4af710e2009-09-15 12:20:11 +0000972void MacroAssembler::SmiSub(Register dst,
973 Register src1,
974 Register src2,
975 Label* on_not_smi_result) {
976 ASSERT(!dst.is(src2));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000977 if (on_not_smi_result == NULL) {
978 // No overflow checking. Use only when it's known that
979 // overflowing is impossible (e.g., subtracting two positive smis).
980 if (dst.is(src1)) {
981 subq(dst, src2);
982 } else {
983 movq(dst, src1);
984 subq(dst, src2);
985 }
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000986 Assert(no_overflow, "Smi subtraction overflow");
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000987 } else if (dst.is(src1)) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000988 cmpq(dst, src2);
989 j(overflow, on_not_smi_result);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000990 subq(dst, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000991 } else {
992 movq(dst, src1);
993 subq(dst, src2);
994 j(overflow, on_not_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000995 }
996}
997
998
ager@chromium.orgac091b72010-05-05 07:34:42 +0000999void MacroAssembler::SmiSub(Register dst,
1000 Register src1,
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001001 const Operand& src2,
ager@chromium.orgac091b72010-05-05 07:34:42 +00001002 Label* on_not_smi_result) {
1003 if (on_not_smi_result == NULL) {
1004 // No overflow checking. Use only when it's known that
1005 // overflowing is impossible (e.g., subtracting two positive smis).
1006 if (dst.is(src1)) {
1007 subq(dst, src2);
1008 } else {
1009 movq(dst, src1);
1010 subq(dst, src2);
1011 }
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001012 Assert(no_overflow, "Smi subtraction overflow");
ager@chromium.orgac091b72010-05-05 07:34:42 +00001013 } else if (dst.is(src1)) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001014 movq(kScratchRegister, src2);
1015 cmpq(src1, kScratchRegister);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001016 j(overflow, on_not_smi_result);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001017 subq(src1, kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00001018 } else {
1019 movq(dst, src1);
1020 subq(dst, src2);
1021 j(overflow, on_not_smi_result);
1022 }
1023}
1024
ager@chromium.org4af710e2009-09-15 12:20:11 +00001025void MacroAssembler::SmiMul(Register dst,
1026 Register src1,
1027 Register src2,
1028 Label* on_not_smi_result) {
1029 ASSERT(!dst.is(src2));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001030 ASSERT(!dst.is(kScratchRegister));
1031 ASSERT(!src1.is(kScratchRegister));
1032 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001033
1034 if (dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001035 Label failure, zero_correct_result;
1036 movq(kScratchRegister, src1); // Create backup for later testing.
1037 SmiToInteger64(dst, src1);
1038 imul(dst, src2);
1039 j(overflow, &failure);
1040
1041 // Check for negative zero result. If product is zero, and one
1042 // argument is negative, go to slow case.
1043 Label correct_result;
1044 testq(dst, dst);
1045 j(not_zero, &correct_result);
1046
1047 movq(dst, kScratchRegister);
1048 xor_(dst, src2);
1049 j(positive, &zero_correct_result); // Result was positive zero.
1050
1051 bind(&failure); // Reused failure exit, restores src1.
1052 movq(src1, kScratchRegister);
1053 jmp(on_not_smi_result);
1054
1055 bind(&zero_correct_result);
1056 xor_(dst, dst);
1057
1058 bind(&correct_result);
1059 } else {
1060 SmiToInteger64(dst, src1);
1061 imul(dst, src2);
1062 j(overflow, on_not_smi_result);
1063 // Check for negative zero result. If product is zero, and one
1064 // argument is negative, go to slow case.
1065 Label correct_result;
1066 testq(dst, dst);
1067 j(not_zero, &correct_result);
1068 // One of src1 and src2 is zero, the check whether the other is
1069 // negative.
ager@chromium.org4af710e2009-09-15 12:20:11 +00001070 movq(kScratchRegister, src1);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001071 xor_(kScratchRegister, src2);
1072 j(negative, on_not_smi_result);
1073 bind(&correct_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001074 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001075}
1076
1077
1078void MacroAssembler::SmiTryAddConstant(Register dst,
1079 Register src,
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001080 Smi* constant,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001081 Label* on_not_smi_result) {
1082 // Does not assume that src is a smi.
ager@chromium.org3811b432009-10-28 14:53:37 +00001083 ASSERT_EQ(static_cast<int>(1), static_cast<int>(kSmiTagMask));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001084 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001085 ASSERT(!dst.is(kScratchRegister));
1086 ASSERT(!src.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001087
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001088 JumpIfNotSmi(src, on_not_smi_result);
1089 Register tmp = (dst.is(src) ? kScratchRegister : dst);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001090 LoadSmiConstant(tmp, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001091 addq(tmp, src);
1092 j(overflow, on_not_smi_result);
1093 if (dst.is(src)) {
1094 movq(dst, tmp);
1095 }
1096}
1097
1098
1099void MacroAssembler::SmiAddConstant(Register dst, Register src, Smi* constant) {
1100 if (constant->value() == 0) {
1101 if (!dst.is(src)) {
1102 movq(dst, src);
1103 }
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001104 return;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001105 } else if (dst.is(src)) {
1106 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001107 switch (constant->value()) {
1108 case 1:
1109 addq(dst, kSmiConstantRegister);
1110 return;
1111 case 2:
1112 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
1113 return;
1114 case 4:
1115 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
1116 return;
1117 case 8:
1118 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
1119 return;
1120 default:
1121 Register constant_reg = GetSmiConstant(constant);
1122 addq(dst, constant_reg);
1123 return;
1124 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001125 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001126 switch (constant->value()) {
1127 case 1:
1128 lea(dst, Operand(src, kSmiConstantRegister, times_1, 0));
1129 return;
1130 case 2:
1131 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
1132 return;
1133 case 4:
1134 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
1135 return;
1136 case 8:
1137 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
1138 return;
1139 default:
1140 LoadSmiConstant(dst, constant);
1141 addq(dst, src);
1142 return;
1143 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001144 }
1145}
1146
1147
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001148void MacroAssembler::SmiAddConstant(const Operand& dst, Smi* constant) {
1149 if (constant->value() != 0) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001150 addl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(constant->value()));
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001151 }
1152}
1153
1154
ager@chromium.org4af710e2009-09-15 12:20:11 +00001155void MacroAssembler::SmiAddConstant(Register dst,
1156 Register src,
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001157 Smi* constant,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001158 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001159 if (constant->value() == 0) {
1160 if (!dst.is(src)) {
1161 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001162 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001163 } else if (dst.is(src)) {
1164 ASSERT(!dst.is(kScratchRegister));
1165
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001166 LoadSmiConstant(kScratchRegister, constant);
1167 addq(kScratchRegister, src);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001168 j(overflow, on_not_smi_result);
1169 movq(dst, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001170 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001171 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001172 addq(dst, src);
1173 j(overflow, on_not_smi_result);
1174 }
1175}
1176
1177
1178void MacroAssembler::SmiSubConstant(Register dst, Register src, Smi* constant) {
1179 if (constant->value() == 0) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001180 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001181 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001182 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001183 } else if (dst.is(src)) {
1184 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001185 Register constant_reg = GetSmiConstant(constant);
1186 subq(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001187 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001188 if (constant->value() == Smi::kMinValue) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001189 LoadSmiConstant(dst, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001190 // Adding and subtracting the min-value gives the same result, it only
1191 // differs on the overflow bit, which we don't check here.
1192 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001193 } else {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001194 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001195 LoadSmiConstant(dst, Smi::FromInt(-constant->value()));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001196 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001197 }
1198 }
1199}
1200
1201
1202void MacroAssembler::SmiSubConstant(Register dst,
1203 Register src,
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001204 Smi* constant,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001205 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001206 if (constant->value() == 0) {
1207 if (!dst.is(src)) {
1208 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001209 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001210 } else if (dst.is(src)) {
1211 ASSERT(!dst.is(kScratchRegister));
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001212 if (constant->value() == Smi::kMinValue) {
1213 // Subtracting min-value from any non-negative value will overflow.
1214 // We test the non-negativeness before doing the subtraction.
1215 testq(src, src);
1216 j(not_sign, on_not_smi_result);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001217 LoadSmiConstant(kScratchRegister, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001218 subq(dst, kScratchRegister);
1219 } else {
1220 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001221 LoadSmiConstant(kScratchRegister, Smi::FromInt(-constant->value()));
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001222 addq(kScratchRegister, dst);
1223 j(overflow, on_not_smi_result);
1224 movq(dst, kScratchRegister);
1225 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001226 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001227 if (constant->value() == Smi::kMinValue) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001228 // Subtracting min-value from any non-negative value will overflow.
1229 // We test the non-negativeness before doing the subtraction.
1230 testq(src, src);
1231 j(not_sign, on_not_smi_result);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001232 LoadSmiConstant(dst, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001233 // Adding and subtracting the min-value gives the same result, it only
1234 // differs on the overflow bit, which we don't check here.
1235 addq(dst, src);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001236 } else {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001237 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001238 LoadSmiConstant(dst, Smi::FromInt(-(constant->value())));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001239 addq(dst, src);
1240 j(overflow, on_not_smi_result);
1241 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001242 }
1243}
1244
1245
1246void MacroAssembler::SmiDiv(Register dst,
1247 Register src1,
1248 Register src2,
1249 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001250 ASSERT(!src1.is(kScratchRegister));
1251 ASSERT(!src2.is(kScratchRegister));
1252 ASSERT(!dst.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001253 ASSERT(!src2.is(rax));
1254 ASSERT(!src2.is(rdx));
1255 ASSERT(!src1.is(rdx));
1256
1257 // Check for 0 divisor (result is +/-Infinity).
1258 Label positive_divisor;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001259 testq(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001260 j(zero, on_not_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001261
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001262 if (src1.is(rax)) {
1263 movq(kScratchRegister, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001264 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001265 SmiToInteger32(rax, src1);
1266 // We need to rule out dividing Smi::kMinValue by -1, since that would
1267 // overflow in idiv and raise an exception.
1268 // We combine this with negative zero test (negative zero only happens
1269 // when dividing zero by a negative number).
ager@chromium.org4af710e2009-09-15 12:20:11 +00001270
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001271 // We overshoot a little and go to slow case if we divide min-value
1272 // by any negative value, not just -1.
1273 Label safe_div;
1274 testl(rax, Immediate(0x7fffffff));
1275 j(not_zero, &safe_div);
1276 testq(src2, src2);
1277 if (src1.is(rax)) {
1278 j(positive, &safe_div);
1279 movq(src1, kScratchRegister);
1280 jmp(on_not_smi_result);
1281 } else {
1282 j(negative, on_not_smi_result);
1283 }
1284 bind(&safe_div);
1285
1286 SmiToInteger32(src2, src2);
1287 // Sign extend src1 into edx:eax.
1288 cdq();
ager@chromium.org4af710e2009-09-15 12:20:11 +00001289 idivl(src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001290 Integer32ToSmi(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001291 // Check that the remainder is zero.
1292 testl(rdx, rdx);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001293 if (src1.is(rax)) {
1294 Label smi_result;
1295 j(zero, &smi_result);
1296 movq(src1, kScratchRegister);
1297 jmp(on_not_smi_result);
1298 bind(&smi_result);
1299 } else {
1300 j(not_zero, on_not_smi_result);
1301 }
1302 if (!dst.is(src1) && src1.is(rax)) {
1303 movq(src1, kScratchRegister);
1304 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001305 Integer32ToSmi(dst, rax);
1306}
1307
1308
1309void MacroAssembler::SmiMod(Register dst,
1310 Register src1,
1311 Register src2,
1312 Label* on_not_smi_result) {
1313 ASSERT(!dst.is(kScratchRegister));
1314 ASSERT(!src1.is(kScratchRegister));
1315 ASSERT(!src2.is(kScratchRegister));
1316 ASSERT(!src2.is(rax));
1317 ASSERT(!src2.is(rdx));
1318 ASSERT(!src1.is(rdx));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001319 ASSERT(!src1.is(src2));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001320
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001321 testq(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001322 j(zero, on_not_smi_result);
1323
1324 if (src1.is(rax)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001325 movq(kScratchRegister, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001326 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001327 SmiToInteger32(rax, src1);
1328 SmiToInteger32(src2, src2);
1329
1330 // Test for the edge case of dividing Smi::kMinValue by -1 (will overflow).
1331 Label safe_div;
1332 cmpl(rax, Immediate(Smi::kMinValue));
1333 j(not_equal, &safe_div);
1334 cmpl(src2, Immediate(-1));
1335 j(not_equal, &safe_div);
1336 // Retag inputs and go slow case.
1337 Integer32ToSmi(src2, src2);
1338 if (src1.is(rax)) {
1339 movq(src1, kScratchRegister);
1340 }
1341 jmp(on_not_smi_result);
1342 bind(&safe_div);
1343
ager@chromium.org4af710e2009-09-15 12:20:11 +00001344 // Sign extend eax into edx:eax.
1345 cdq();
1346 idivl(src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001347 // Restore smi tags on inputs.
1348 Integer32ToSmi(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001349 if (src1.is(rax)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001350 movq(src1, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001351 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001352 // Check for a negative zero result. If the result is zero, and the
1353 // dividend is negative, go slow to return a floating point negative zero.
1354 Label smi_result;
1355 testl(rdx, rdx);
1356 j(not_zero, &smi_result);
1357 testq(src1, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001358 j(negative, on_not_smi_result);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001359 bind(&smi_result);
1360 Integer32ToSmi(dst, rdx);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001361}
1362
1363
1364void MacroAssembler::SmiNot(Register dst, Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001365 ASSERT(!dst.is(kScratchRegister));
1366 ASSERT(!src.is(kScratchRegister));
1367 // Set tag and padding bits before negating, so that they are zero afterwards.
1368 movl(kScratchRegister, Immediate(~0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001369 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001370 xor_(dst, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001371 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001372 lea(dst, Operand(src, kScratchRegister, times_1, 0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001373 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001374 not_(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001375}
1376
1377
1378void MacroAssembler::SmiAnd(Register dst, Register src1, Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001379 ASSERT(!dst.is(src2));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001380 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001381 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001382 }
1383 and_(dst, src2);
1384}
1385
1386
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001387void MacroAssembler::SmiAndConstant(Register dst, Register src, Smi* constant) {
1388 if (constant->value() == 0) {
1389 xor_(dst, dst);
1390 } else if (dst.is(src)) {
1391 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001392 Register constant_reg = GetSmiConstant(constant);
1393 and_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001394 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001395 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001396 and_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001397 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001398}
1399
1400
1401void MacroAssembler::SmiOr(Register dst, Register src1, Register src2) {
1402 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001403 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001404 }
1405 or_(dst, src2);
1406}
1407
1408
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001409void MacroAssembler::SmiOrConstant(Register dst, Register src, Smi* constant) {
1410 if (dst.is(src)) {
1411 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001412 Register constant_reg = GetSmiConstant(constant);
1413 or_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001414 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001415 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001416 or_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001417 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001418}
1419
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001420
ager@chromium.org4af710e2009-09-15 12:20:11 +00001421void MacroAssembler::SmiXor(Register dst, Register src1, Register src2) {
1422 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001423 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001424 }
1425 xor_(dst, src2);
1426}
1427
1428
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001429void MacroAssembler::SmiXorConstant(Register dst, Register src, Smi* constant) {
1430 if (dst.is(src)) {
1431 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001432 Register constant_reg = GetSmiConstant(constant);
1433 xor_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001434 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001435 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001436 xor_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001437 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001438}
1439
1440
ager@chromium.org4af710e2009-09-15 12:20:11 +00001441void MacroAssembler::SmiShiftArithmeticRightConstant(Register dst,
1442 Register src,
1443 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001444 ASSERT(is_uint5(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001445 if (shift_value > 0) {
1446 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001447 sar(dst, Immediate(shift_value + kSmiShift));
1448 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001449 } else {
1450 UNIMPLEMENTED(); // Not used.
1451 }
1452 }
1453}
1454
1455
1456void MacroAssembler::SmiShiftLogicalRightConstant(Register dst,
1457 Register src,
1458 int shift_value,
1459 Label* on_not_smi_result) {
1460 // Logic right shift interprets its result as an *unsigned* number.
1461 if (dst.is(src)) {
1462 UNIMPLEMENTED(); // Not used.
1463 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001464 movq(dst, src);
1465 if (shift_value == 0) {
1466 testq(dst, dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001467 j(negative, on_not_smi_result);
1468 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001469 shr(dst, Immediate(shift_value + kSmiShift));
1470 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001471 }
1472}
1473
1474
1475void MacroAssembler::SmiShiftLeftConstant(Register dst,
1476 Register src,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00001477 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001478 if (!dst.is(src)) {
1479 movq(dst, src);
1480 }
1481 if (shift_value > 0) {
1482 shl(dst, Immediate(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001483 }
1484}
1485
1486
1487void MacroAssembler::SmiShiftLeft(Register dst,
1488 Register src1,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00001489 Register src2) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001490 ASSERT(!dst.is(rcx));
1491 Label result_ok;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001492 // Untag shift amount.
1493 if (!dst.is(src1)) {
1494 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001495 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001496 SmiToInteger32(rcx, src2);
1497 // Shift amount specified by lower 5 bits, not six as the shl opcode.
1498 and_(rcx, Immediate(0x1f));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001499 shl_cl(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001500}
1501
1502
1503void MacroAssembler::SmiShiftLogicalRight(Register dst,
1504 Register src1,
1505 Register src2,
1506 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001507 ASSERT(!dst.is(kScratchRegister));
1508 ASSERT(!src1.is(kScratchRegister));
1509 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001510 ASSERT(!dst.is(rcx));
1511 Label result_ok;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001512 if (src1.is(rcx) || src2.is(rcx)) {
1513 movq(kScratchRegister, rcx);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001514 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001515 if (!dst.is(src1)) {
1516 movq(dst, src1);
1517 }
1518 SmiToInteger32(rcx, src2);
1519 orl(rcx, Immediate(kSmiShift));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001520 shr_cl(dst); // Shift is rcx modulo 0x1f + 32.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001521 shl(dst, Immediate(kSmiShift));
1522 testq(dst, dst);
1523 if (src1.is(rcx) || src2.is(rcx)) {
1524 Label positive_result;
1525 j(positive, &positive_result);
1526 if (src1.is(rcx)) {
1527 movq(src1, kScratchRegister);
1528 } else {
1529 movq(src2, kScratchRegister);
1530 }
1531 jmp(on_not_smi_result);
1532 bind(&positive_result);
1533 } else {
1534 j(negative, on_not_smi_result); // src2 was zero and src1 negative.
1535 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001536}
1537
1538
1539void MacroAssembler::SmiShiftArithmeticRight(Register dst,
1540 Register src1,
1541 Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001542 ASSERT(!dst.is(kScratchRegister));
1543 ASSERT(!src1.is(kScratchRegister));
1544 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001545 ASSERT(!dst.is(rcx));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001546 if (src1.is(rcx)) {
1547 movq(kScratchRegister, src1);
1548 } else if (src2.is(rcx)) {
1549 movq(kScratchRegister, src2);
1550 }
1551 if (!dst.is(src1)) {
1552 movq(dst, src1);
1553 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001554 SmiToInteger32(rcx, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001555 orl(rcx, Immediate(kSmiShift));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001556 sar_cl(dst); // Shift 32 + original rcx & 0x1f.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001557 shl(dst, Immediate(kSmiShift));
1558 if (src1.is(rcx)) {
1559 movq(src1, kScratchRegister);
1560 } else if (src2.is(rcx)) {
1561 movq(src2, kScratchRegister);
1562 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001563}
1564
1565
1566void MacroAssembler::SelectNonSmi(Register dst,
1567 Register src1,
1568 Register src2,
1569 Label* on_not_smis) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001570 ASSERT(!dst.is(kScratchRegister));
1571 ASSERT(!src1.is(kScratchRegister));
1572 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001573 ASSERT(!dst.is(src1));
1574 ASSERT(!dst.is(src2));
1575 // Both operands must not be smis.
1576#ifdef DEBUG
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001577 if (allow_stub_calls()) { // Check contains a stub call.
1578 Condition not_both_smis = NegateCondition(CheckBothSmi(src1, src2));
1579 Check(not_both_smis, "Both registers were smis in SelectNonSmi.");
1580 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001581#endif
1582 ASSERT_EQ(0, kSmiTag);
1583 ASSERT_EQ(0, Smi::FromInt(0));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001584 movl(kScratchRegister, Immediate(kSmiTagMask));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001585 and_(kScratchRegister, src1);
1586 testl(kScratchRegister, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001587 // If non-zero then both are smis.
ager@chromium.org4af710e2009-09-15 12:20:11 +00001588 j(not_zero, on_not_smis);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001589
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001590 // Exactly one operand is a smi.
ager@chromium.org4af710e2009-09-15 12:20:11 +00001591 ASSERT_EQ(1, static_cast<int>(kSmiTagMask));
1592 // kScratchRegister still holds src1 & kSmiTag, which is either zero or one.
1593 subq(kScratchRegister, Immediate(1));
1594 // If src1 is a smi, then scratch register all 1s, else it is all 0s.
1595 movq(dst, src1);
1596 xor_(dst, src2);
1597 and_(dst, kScratchRegister);
1598 // If src1 is a smi, dst holds src1 ^ src2, else it is zero.
1599 xor_(dst, src1);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001600 // If src1 is a smi, dst is src2, else it is src1, i.e., the non-smi.
ager@chromium.org4af710e2009-09-15 12:20:11 +00001601}
1602
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001603
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001604SmiIndex MacroAssembler::SmiToIndex(Register dst,
1605 Register src,
1606 int shift) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001607 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001608 // There is a possible optimization if shift is in the range 60-63, but that
1609 // will (and must) never happen.
1610 if (!dst.is(src)) {
1611 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001612 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001613 if (shift < kSmiShift) {
1614 sar(dst, Immediate(kSmiShift - shift));
1615 } else {
1616 shl(dst, Immediate(shift - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001617 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001618 return SmiIndex(dst, times_1);
1619}
1620
ager@chromium.org4af710e2009-09-15 12:20:11 +00001621SmiIndex MacroAssembler::SmiToNegativeIndex(Register dst,
1622 Register src,
1623 int shift) {
1624 // Register src holds a positive smi.
1625 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001626 if (!dst.is(src)) {
1627 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001628 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001629 neg(dst);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001630 if (shift < kSmiShift) {
1631 sar(dst, Immediate(kSmiShift - shift));
1632 } else {
1633 shl(dst, Immediate(shift - kSmiShift));
1634 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001635 return SmiIndex(dst, times_1);
1636}
1637
1638
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001639void MacroAssembler::JumpIfSmi(Register src, Label* on_smi) {
1640 ASSERT_EQ(0, kSmiTag);
1641 Condition smi = CheckSmi(src);
1642 j(smi, on_smi);
1643}
1644
1645
1646void MacroAssembler::JumpIfNotSmi(Register src, Label* on_not_smi) {
1647 Condition smi = CheckSmi(src);
1648 j(NegateCondition(smi), on_not_smi);
1649}
1650
1651
1652void MacroAssembler::JumpIfNotPositiveSmi(Register src,
1653 Label* on_not_positive_smi) {
1654 Condition positive_smi = CheckPositiveSmi(src);
1655 j(NegateCondition(positive_smi), on_not_positive_smi);
1656}
1657
1658
1659void MacroAssembler::JumpIfSmiEqualsConstant(Register src,
1660 Smi* constant,
1661 Label* on_equals) {
1662 SmiCompare(src, constant);
1663 j(equal, on_equals);
1664}
1665
1666
1667void MacroAssembler::JumpIfNotValidSmiValue(Register src, Label* on_invalid) {
1668 Condition is_valid = CheckInteger32ValidSmiValue(src);
1669 j(NegateCondition(is_valid), on_invalid);
1670}
1671
1672
ager@chromium.org3811b432009-10-28 14:53:37 +00001673void MacroAssembler::JumpIfUIntNotValidSmiValue(Register src,
1674 Label* on_invalid) {
1675 Condition is_valid = CheckUInteger32ValidSmiValue(src);
1676 j(NegateCondition(is_valid), on_invalid);
1677}
1678
1679
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001680void MacroAssembler::JumpIfNotBothSmi(Register src1, Register src2,
1681 Label* on_not_both_smi) {
1682 Condition both_smi = CheckBothSmi(src1, src2);
1683 j(NegateCondition(both_smi), on_not_both_smi);
1684}
ager@chromium.org4af710e2009-09-15 12:20:11 +00001685
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001686
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001687void MacroAssembler::JumpIfNotBothPositiveSmi(Register src1, Register src2,
1688 Label* on_not_both_smi) {
1689 Condition both_smi = CheckBothPositiveSmi(src1, src2);
1690 j(NegateCondition(both_smi), on_not_both_smi);
1691}
1692
1693
1694
1695void MacroAssembler::JumpIfNotBothSequentialAsciiStrings(Register first_object,
1696 Register second_object,
1697 Register scratch1,
1698 Register scratch2,
1699 Label* on_fail) {
1700 // Check that both objects are not smis.
1701 Condition either_smi = CheckEitherSmi(first_object, second_object);
1702 j(either_smi, on_fail);
1703
1704 // Load instance type for both strings.
1705 movq(scratch1, FieldOperand(first_object, HeapObject::kMapOffset));
1706 movq(scratch2, FieldOperand(second_object, HeapObject::kMapOffset));
1707 movzxbl(scratch1, FieldOperand(scratch1, Map::kInstanceTypeOffset));
1708 movzxbl(scratch2, FieldOperand(scratch2, Map::kInstanceTypeOffset));
1709
1710 // Check that both are flat ascii strings.
1711 ASSERT(kNotStringTag != 0);
1712 const int kFlatAsciiStringMask =
1713 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
1714 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
1715
1716 andl(scratch1, Immediate(kFlatAsciiStringMask));
1717 andl(scratch2, Immediate(kFlatAsciiStringMask));
1718 // Interleave the bits to check both scratch1 and scratch2 in one test.
1719 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
1720 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
1721 cmpl(scratch1,
1722 Immediate(kFlatAsciiStringTag + (kFlatAsciiStringTag << 3)));
1723 j(not_equal, on_fail);
1724}
1725
1726
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001727void MacroAssembler::JumpIfInstanceTypeIsNotSequentialAscii(
1728 Register instance_type,
1729 Register scratch,
1730 Label *failure) {
1731 if (!scratch.is(instance_type)) {
1732 movl(scratch, instance_type);
1733 }
1734
1735 const int kFlatAsciiStringMask =
1736 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
1737
1738 andl(scratch, Immediate(kFlatAsciiStringMask));
1739 cmpl(scratch, Immediate(kStringTag | kSeqStringTag | kAsciiStringTag));
1740 j(not_equal, failure);
1741}
1742
1743
1744void MacroAssembler::JumpIfBothInstanceTypesAreNotSequentialAscii(
1745 Register first_object_instance_type,
1746 Register second_object_instance_type,
1747 Register scratch1,
1748 Register scratch2,
1749 Label* on_fail) {
1750 // Load instance type for both strings.
1751 movq(scratch1, first_object_instance_type);
1752 movq(scratch2, second_object_instance_type);
1753
1754 // Check that both are flat ascii strings.
1755 ASSERT(kNotStringTag != 0);
1756 const int kFlatAsciiStringMask =
1757 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
1758 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
1759
1760 andl(scratch1, Immediate(kFlatAsciiStringMask));
1761 andl(scratch2, Immediate(kFlatAsciiStringMask));
1762 // Interleave the bits to check both scratch1 and scratch2 in one test.
1763 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
1764 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
1765 cmpl(scratch1,
1766 Immediate(kFlatAsciiStringTag + (kFlatAsciiStringTag << 3)));
1767 j(not_equal, on_fail);
1768}
1769
1770
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001771void MacroAssembler::Move(Register dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001772 ASSERT(!source->IsFailure());
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001773 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001774 Move(dst, Smi::cast(*source));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001775 } else {
1776 movq(dst, source, RelocInfo::EMBEDDED_OBJECT);
1777 }
1778}
1779
1780
1781void MacroAssembler::Move(const Operand& dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001782 ASSERT(!source->IsFailure());
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001783 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001784 Move(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001785 } else {
1786 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1787 movq(dst, kScratchRegister);
1788 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001789}
1790
1791
1792void MacroAssembler::Cmp(Register dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001793 if (source->IsSmi()) {
1794 SmiCompare(dst, Smi::cast(*source));
1795 } else {
1796 Move(kScratchRegister, source);
1797 cmpq(dst, kScratchRegister);
1798 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001799}
1800
1801
ager@chromium.org3e875802009-06-29 08:26:34 +00001802void MacroAssembler::Cmp(const Operand& dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001803 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001804 SmiCompare(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001805 } else {
1806 ASSERT(source->IsHeapObject());
1807 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1808 cmpq(dst, kScratchRegister);
1809 }
ager@chromium.org3e875802009-06-29 08:26:34 +00001810}
1811
1812
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001813void MacroAssembler::Push(Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001814 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001815 Push(Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001816 } else {
1817 ASSERT(source->IsHeapObject());
1818 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1819 push(kScratchRegister);
1820 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001821}
1822
1823
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001824void MacroAssembler::Push(Smi* source) {
ager@chromium.org3811b432009-10-28 14:53:37 +00001825 intptr_t smi = reinterpret_cast<intptr_t>(source);
1826 if (is_int32(smi)) {
1827 push(Immediate(static_cast<int32_t>(smi)));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001828 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001829 Register constant = GetSmiConstant(source);
1830 push(constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001831 }
1832}
1833
1834
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001835void MacroAssembler::Drop(int stack_elements) {
1836 if (stack_elements > 0) {
1837 addq(rsp, Immediate(stack_elements * kPointerSize));
1838 }
1839}
1840
1841
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001842void MacroAssembler::Test(const Operand& src, Smi* source) {
kmillikin@chromium.org9155e252010-05-26 13:27:57 +00001843 testl(Operand(src, kIntSize), Immediate(source->value()));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001844}
1845
1846
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001847void MacroAssembler::Jump(ExternalReference ext) {
1848 movq(kScratchRegister, ext);
1849 jmp(kScratchRegister);
1850}
1851
1852
1853void MacroAssembler::Jump(Address destination, RelocInfo::Mode rmode) {
1854 movq(kScratchRegister, destination, rmode);
1855 jmp(kScratchRegister);
1856}
1857
1858
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001859void MacroAssembler::Jump(Handle<Code> code_object, RelocInfo::Mode rmode) {
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001860 // TODO(X64): Inline this
1861 jmp(code_object, rmode);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001862}
1863
1864
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001865void MacroAssembler::Call(ExternalReference ext) {
1866 movq(kScratchRegister, ext);
1867 call(kScratchRegister);
1868}
1869
1870
1871void MacroAssembler::Call(Address destination, RelocInfo::Mode rmode) {
1872 movq(kScratchRegister, destination, rmode);
1873 call(kScratchRegister);
1874}
1875
1876
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001877void MacroAssembler::Call(Handle<Code> code_object, RelocInfo::Mode rmode) {
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001878 ASSERT(RelocInfo::IsCodeTarget(rmode));
sgjesse@chromium.org911335c2009-08-19 12:59:44 +00001879 WriteRecordedPositions();
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001880 call(code_object, rmode);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001881}
1882
1883
ager@chromium.orge2902be2009-06-08 12:21:35 +00001884void MacroAssembler::PushTryHandler(CodeLocation try_location,
1885 HandlerType type) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001886 // Adjust this code if not the case.
1887 ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
1888
1889 // The pc (return address) is already on TOS. This code pushes state,
1890 // frame pointer and current handler. Check that they are expected
1891 // next on the stack, in that order.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001892 ASSERT_EQ(StackHandlerConstants::kStateOffset,
1893 StackHandlerConstants::kPCOffset - kPointerSize);
ager@chromium.orge2902be2009-06-08 12:21:35 +00001894 ASSERT_EQ(StackHandlerConstants::kFPOffset,
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001895 StackHandlerConstants::kStateOffset - kPointerSize);
1896 ASSERT_EQ(StackHandlerConstants::kNextOffset,
ager@chromium.orge2902be2009-06-08 12:21:35 +00001897 StackHandlerConstants::kFPOffset - kPointerSize);
1898
1899 if (try_location == IN_JAVASCRIPT) {
1900 if (type == TRY_CATCH_HANDLER) {
1901 push(Immediate(StackHandler::TRY_CATCH));
1902 } else {
1903 push(Immediate(StackHandler::TRY_FINALLY));
1904 }
ager@chromium.orge2902be2009-06-08 12:21:35 +00001905 push(rbp);
ager@chromium.orge2902be2009-06-08 12:21:35 +00001906 } else {
1907 ASSERT(try_location == IN_JS_ENTRY);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001908 // The frame pointer does not point to a JS frame so we save NULL
1909 // for rbp. We expect the code throwing an exception to check rbp
1910 // before dereferencing it to restore the context.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001911 push(Immediate(StackHandler::ENTRY));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001912 push(Immediate(0)); // NULL frame pointer.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001913 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001914 // Save the current handler.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001915 movq(kScratchRegister, ExternalReference(Top::k_handler_address));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001916 push(Operand(kScratchRegister, 0));
ager@chromium.orge2902be2009-06-08 12:21:35 +00001917 // Link this handler.
1918 movq(Operand(kScratchRegister, 0), rsp);
1919}
1920
1921
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001922void MacroAssembler::PopTryHandler() {
1923 ASSERT_EQ(0, StackHandlerConstants::kNextOffset);
1924 // Unlink this handler.
1925 movq(kScratchRegister, ExternalReference(Top::k_handler_address));
1926 pop(Operand(kScratchRegister, 0));
1927 // Remove the remaining fields.
1928 addq(rsp, Immediate(StackHandlerConstants::kSize - kPointerSize));
1929}
1930
1931
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001932void MacroAssembler::Ret() {
1933 ret(0);
1934}
1935
1936
ager@chromium.org3e875802009-06-29 08:26:34 +00001937void MacroAssembler::FCmp() {
ager@chromium.org3811b432009-10-28 14:53:37 +00001938 fucomip();
fschneider@chromium.org40b9da32010-06-28 11:29:21 +00001939 fstp(0);
ager@chromium.org3e875802009-06-29 08:26:34 +00001940}
1941
1942
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001943void MacroAssembler::CmpObjectType(Register heap_object,
1944 InstanceType type,
1945 Register map) {
1946 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
1947 CmpInstanceType(map, type);
1948}
1949
1950
1951void MacroAssembler::CmpInstanceType(Register map, InstanceType type) {
1952 cmpb(FieldOperand(map, Map::kInstanceTypeOffset),
1953 Immediate(static_cast<int8_t>(type)));
1954}
1955
1956
ager@chromium.org5c838252010-02-19 08:53:10 +00001957void MacroAssembler::CheckMap(Register obj,
1958 Handle<Map> map,
1959 Label* fail,
1960 bool is_heap_object) {
1961 if (!is_heap_object) {
1962 JumpIfSmi(obj, fail);
1963 }
1964 Cmp(FieldOperand(obj, HeapObject::kMapOffset), map);
1965 j(not_equal, fail);
1966}
1967
1968
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001969void MacroAssembler::AbortIfNotNumber(Register object) {
ager@chromium.org5c838252010-02-19 08:53:10 +00001970 Label ok;
1971 Condition is_smi = CheckSmi(object);
1972 j(is_smi, &ok);
1973 Cmp(FieldOperand(object, HeapObject::kMapOffset),
1974 Factory::heap_number_map());
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001975 Assert(equal, "Operand not a number");
ager@chromium.org5c838252010-02-19 08:53:10 +00001976 bind(&ok);
1977}
1978
1979
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001980void MacroAssembler::AbortIfSmi(Register object) {
1981 Label ok;
1982 Condition is_smi = CheckSmi(object);
1983 Assert(NegateCondition(is_smi), "Operand is a smi");
1984}
1985
1986
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001987void MacroAssembler::AbortIfNotSmi(Register object) {
lrn@chromium.org25156de2010-04-06 13:10:27 +00001988 Label ok;
1989 Condition is_smi = CheckSmi(object);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001990 Assert(is_smi, "Operand is not a smi");
lrn@chromium.org25156de2010-04-06 13:10:27 +00001991}
1992
1993
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001994void MacroAssembler::AbortIfNotRootValue(Register src,
1995 Heap::RootListIndex root_value_index,
1996 const char* message) {
1997 ASSERT(!src.is(kScratchRegister));
1998 LoadRoot(kScratchRegister, root_value_index);
1999 cmpq(src, kScratchRegister);
2000 Check(equal, message);
2001}
2002
2003
2004
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002005Condition MacroAssembler::IsObjectStringType(Register heap_object,
2006 Register map,
2007 Register instance_type) {
2008 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
2009 movzxbl(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
2010 ASSERT(kNotStringTag != 0);
2011 testb(instance_type, Immediate(kIsNotStringMask));
2012 return zero;
2013}
2014
2015
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002016void MacroAssembler::TryGetFunctionPrototype(Register function,
2017 Register result,
2018 Label* miss) {
2019 // Check that the receiver isn't a smi.
2020 testl(function, Immediate(kSmiTagMask));
2021 j(zero, miss);
2022
2023 // Check that the function really is a function.
2024 CmpObjectType(function, JS_FUNCTION_TYPE, result);
2025 j(not_equal, miss);
2026
2027 // Make sure that the function has an instance prototype.
2028 Label non_instance;
2029 testb(FieldOperand(result, Map::kBitFieldOffset),
2030 Immediate(1 << Map::kHasNonInstancePrototype));
2031 j(not_zero, &non_instance);
2032
2033 // Get the prototype or initial map from the function.
2034 movq(result,
2035 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2036
2037 // If the prototype or initial map is the hole, don't return it and
2038 // simply miss the cache instead. This will allow us to allocate a
2039 // prototype object on-demand in the runtime system.
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002040 CompareRoot(result, Heap::kTheHoleValueRootIndex);
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002041 j(equal, miss);
2042
2043 // If the function does not have an initial map, we're done.
2044 Label done;
2045 CmpObjectType(result, MAP_TYPE, kScratchRegister);
2046 j(not_equal, &done);
2047
2048 // Get the prototype from the initial map.
2049 movq(result, FieldOperand(result, Map::kPrototypeOffset));
2050 jmp(&done);
2051
2052 // Non-instance prototype: Fetch prototype from constructor field
2053 // in initial map.
2054 bind(&non_instance);
2055 movq(result, FieldOperand(result, Map::kConstructorOffset));
2056
2057 // All done.
2058 bind(&done);
2059}
2060
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002061
2062void MacroAssembler::SetCounter(StatsCounter* counter, int value) {
2063 if (FLAG_native_code_counters && counter->Enabled()) {
2064 movq(kScratchRegister, ExternalReference(counter));
2065 movl(Operand(kScratchRegister, 0), Immediate(value));
2066 }
2067}
2068
2069
2070void MacroAssembler::IncrementCounter(StatsCounter* counter, int value) {
2071 ASSERT(value > 0);
2072 if (FLAG_native_code_counters && counter->Enabled()) {
2073 movq(kScratchRegister, ExternalReference(counter));
2074 Operand operand(kScratchRegister, 0);
2075 if (value == 1) {
2076 incl(operand);
2077 } else {
2078 addl(operand, Immediate(value));
2079 }
2080 }
2081}
2082
2083
2084void MacroAssembler::DecrementCounter(StatsCounter* counter, int value) {
2085 ASSERT(value > 0);
2086 if (FLAG_native_code_counters && counter->Enabled()) {
2087 movq(kScratchRegister, ExternalReference(counter));
2088 Operand operand(kScratchRegister, 0);
2089 if (value == 1) {
2090 decl(operand);
2091 } else {
2092 subl(operand, Immediate(value));
2093 }
2094 }
2095}
2096
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002097#ifdef ENABLE_DEBUGGER_SUPPORT
2098
2099void MacroAssembler::PushRegistersFromMemory(RegList regs) {
2100 ASSERT((regs & ~kJSCallerSaved) == 0);
2101 // Push the content of the memory location to the stack.
2102 for (int i = 0; i < kNumJSCallerSaved; i++) {
2103 int r = JSCallerSavedCode(i);
2104 if ((regs & (1 << r)) != 0) {
2105 ExternalReference reg_addr =
2106 ExternalReference(Debug_Address::Register(i));
2107 movq(kScratchRegister, reg_addr);
2108 push(Operand(kScratchRegister, 0));
2109 }
2110 }
2111}
2112
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002113
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002114void MacroAssembler::SaveRegistersToMemory(RegList regs) {
2115 ASSERT((regs & ~kJSCallerSaved) == 0);
2116 // Copy the content of registers to memory location.
2117 for (int i = 0; i < kNumJSCallerSaved; i++) {
2118 int r = JSCallerSavedCode(i);
2119 if ((regs & (1 << r)) != 0) {
2120 Register reg = { r };
2121 ExternalReference reg_addr =
2122 ExternalReference(Debug_Address::Register(i));
2123 movq(kScratchRegister, reg_addr);
2124 movq(Operand(kScratchRegister, 0), reg);
2125 }
2126 }
2127}
2128
2129
2130void MacroAssembler::RestoreRegistersFromMemory(RegList regs) {
2131 ASSERT((regs & ~kJSCallerSaved) == 0);
2132 // Copy the content of memory location to registers.
2133 for (int i = kNumJSCallerSaved - 1; i >= 0; i--) {
2134 int r = JSCallerSavedCode(i);
2135 if ((regs & (1 << r)) != 0) {
2136 Register reg = { r };
2137 ExternalReference reg_addr =
2138 ExternalReference(Debug_Address::Register(i));
2139 movq(kScratchRegister, reg_addr);
2140 movq(reg, Operand(kScratchRegister, 0));
2141 }
2142 }
2143}
2144
2145
2146void MacroAssembler::PopRegistersToMemory(RegList regs) {
2147 ASSERT((regs & ~kJSCallerSaved) == 0);
2148 // Pop the content from the stack to the memory location.
2149 for (int i = kNumJSCallerSaved - 1; i >= 0; i--) {
2150 int r = JSCallerSavedCode(i);
2151 if ((regs & (1 << r)) != 0) {
2152 ExternalReference reg_addr =
2153 ExternalReference(Debug_Address::Register(i));
2154 movq(kScratchRegister, reg_addr);
2155 pop(Operand(kScratchRegister, 0));
2156 }
2157 }
2158}
2159
2160
2161void MacroAssembler::CopyRegistersFromStackToMemory(Register base,
2162 Register scratch,
2163 RegList regs) {
2164 ASSERT(!scratch.is(kScratchRegister));
2165 ASSERT(!base.is(kScratchRegister));
2166 ASSERT(!base.is(scratch));
2167 ASSERT((regs & ~kJSCallerSaved) == 0);
2168 // Copy the content of the stack to the memory location and adjust base.
2169 for (int i = kNumJSCallerSaved - 1; i >= 0; i--) {
2170 int r = JSCallerSavedCode(i);
2171 if ((regs & (1 << r)) != 0) {
2172 movq(scratch, Operand(base, 0));
2173 ExternalReference reg_addr =
2174 ExternalReference(Debug_Address::Register(i));
2175 movq(kScratchRegister, reg_addr);
2176 movq(Operand(kScratchRegister, 0), scratch);
2177 lea(base, Operand(base, kPointerSize));
2178 }
2179 }
2180}
2181
ager@chromium.org5c838252010-02-19 08:53:10 +00002182void MacroAssembler::DebugBreak() {
2183 ASSERT(allow_stub_calls());
2184 xor_(rax, rax); // no arguments
2185 movq(rbx, ExternalReference(Runtime::kDebugBreak));
2186 CEntryStub ces(1);
2187 Call(ces.GetCode(), RelocInfo::DEBUG_BREAK);
ager@chromium.org3e875802009-06-29 08:26:34 +00002188}
ager@chromium.org5c838252010-02-19 08:53:10 +00002189#endif // ENABLE_DEBUGGER_SUPPORT
ager@chromium.org3e875802009-06-29 08:26:34 +00002190
2191
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002192void MacroAssembler::InvokePrologue(const ParameterCount& expected,
2193 const ParameterCount& actual,
2194 Handle<Code> code_constant,
2195 Register code_register,
2196 Label* done,
2197 InvokeFlag flag) {
2198 bool definitely_matches = false;
2199 Label invoke;
2200 if (expected.is_immediate()) {
2201 ASSERT(actual.is_immediate());
2202 if (expected.immediate() == actual.immediate()) {
2203 definitely_matches = true;
2204 } else {
lrn@chromium.org32d961d2010-06-30 09:09:34 +00002205 Set(rax, actual.immediate());
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002206 if (expected.immediate() ==
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002207 SharedFunctionInfo::kDontAdaptArgumentsSentinel) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002208 // Don't worry about adapting arguments for built-ins that
2209 // don't want that done. Skip adaption code by making it look
2210 // like we have a match between expected and actual number of
2211 // arguments.
2212 definitely_matches = true;
2213 } else {
lrn@chromium.org32d961d2010-06-30 09:09:34 +00002214 Set(rbx, expected.immediate());
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002215 }
2216 }
2217 } else {
2218 if (actual.is_immediate()) {
2219 // Expected is in register, actual is immediate. This is the
2220 // case when we invoke function values without going through the
2221 // IC mechanism.
2222 cmpq(expected.reg(), Immediate(actual.immediate()));
2223 j(equal, &invoke);
2224 ASSERT(expected.reg().is(rbx));
lrn@chromium.org32d961d2010-06-30 09:09:34 +00002225 Set(rax, actual.immediate());
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002226 } else if (!expected.reg().is(actual.reg())) {
2227 // Both expected and actual are in (different) registers. This
2228 // is the case when we invoke functions using call and apply.
2229 cmpq(expected.reg(), actual.reg());
2230 j(equal, &invoke);
2231 ASSERT(actual.reg().is(rax));
2232 ASSERT(expected.reg().is(rbx));
2233 }
2234 }
2235
2236 if (!definitely_matches) {
2237 Handle<Code> adaptor =
2238 Handle<Code>(Builtins::builtin(Builtins::ArgumentsAdaptorTrampoline));
2239 if (!code_constant.is_null()) {
2240 movq(rdx, code_constant, RelocInfo::EMBEDDED_OBJECT);
2241 addq(rdx, Immediate(Code::kHeaderSize - kHeapObjectTag));
2242 } else if (!code_register.is(rdx)) {
2243 movq(rdx, code_register);
2244 }
2245
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002246 if (flag == CALL_FUNCTION) {
sgjesse@chromium.org911335c2009-08-19 12:59:44 +00002247 Call(adaptor, RelocInfo::CODE_TARGET);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002248 jmp(done);
2249 } else {
sgjesse@chromium.org911335c2009-08-19 12:59:44 +00002250 Jump(adaptor, RelocInfo::CODE_TARGET);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002251 }
2252 bind(&invoke);
2253 }
2254}
2255
2256
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002257void MacroAssembler::InvokeCode(Register code,
2258 const ParameterCount& expected,
2259 const ParameterCount& actual,
2260 InvokeFlag flag) {
2261 Label done;
2262 InvokePrologue(expected, actual, Handle<Code>::null(), code, &done, flag);
2263 if (flag == CALL_FUNCTION) {
2264 call(code);
2265 } else {
2266 ASSERT(flag == JUMP_FUNCTION);
2267 jmp(code);
2268 }
2269 bind(&done);
2270}
2271
2272
2273void MacroAssembler::InvokeCode(Handle<Code> code,
2274 const ParameterCount& expected,
2275 const ParameterCount& actual,
2276 RelocInfo::Mode rmode,
2277 InvokeFlag flag) {
2278 Label done;
2279 Register dummy = rax;
2280 InvokePrologue(expected, actual, code, dummy, &done, flag);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002281 if (flag == CALL_FUNCTION) {
ager@chromium.org3e875802009-06-29 08:26:34 +00002282 Call(code, rmode);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002283 } else {
2284 ASSERT(flag == JUMP_FUNCTION);
ager@chromium.org3e875802009-06-29 08:26:34 +00002285 Jump(code, rmode);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002286 }
2287 bind(&done);
2288}
2289
2290
2291void MacroAssembler::InvokeFunction(Register function,
2292 const ParameterCount& actual,
2293 InvokeFlag flag) {
2294 ASSERT(function.is(rdi));
2295 movq(rdx, FieldOperand(function, JSFunction::kSharedFunctionInfoOffset));
2296 movq(rsi, FieldOperand(function, JSFunction::kContextOffset));
ager@chromium.org3e875802009-06-29 08:26:34 +00002297 movsxlq(rbx,
2298 FieldOperand(rdx, SharedFunctionInfo::kFormalParameterCountOffset));
vegorov@chromium.org26c16f82010-08-11 13:41:03 +00002299 movq(rdx, FieldOperand(rdi, JSFunction::kCodeOffset));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002300 // Advances rdx to the end of the Code object header, to the start of
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002301 // the executable code.
2302 lea(rdx, FieldOperand(rdx, Code::kHeaderSize));
2303
2304 ParameterCount expected(rbx);
2305 InvokeCode(rdx, expected, actual, flag);
2306}
2307
2308
ager@chromium.org5c838252010-02-19 08:53:10 +00002309void MacroAssembler::InvokeFunction(JSFunction* function,
2310 const ParameterCount& actual,
2311 InvokeFlag flag) {
2312 ASSERT(function->is_compiled());
2313 // Get the function and setup the context.
2314 Move(rdi, Handle<JSFunction>(function));
2315 movq(rsi, FieldOperand(rdi, JSFunction::kContextOffset));
2316
2317 // Invoke the cached code.
2318 Handle<Code> code(function->code());
2319 ParameterCount expected(function->shared()->formal_parameter_count());
2320 InvokeCode(code, expected, actual, RelocInfo::CODE_TARGET, flag);
2321}
2322
2323
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002324void MacroAssembler::EnterFrame(StackFrame::Type type) {
2325 push(rbp);
2326 movq(rbp, rsp);
2327 push(rsi); // Context.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002328 Push(Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002329 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
2330 push(kScratchRegister);
2331 if (FLAG_debug_code) {
2332 movq(kScratchRegister,
2333 Factory::undefined_value(),
2334 RelocInfo::EMBEDDED_OBJECT);
2335 cmpq(Operand(rsp, 0), kScratchRegister);
2336 Check(not_equal, "code object not properly patched");
2337 }
2338}
2339
2340
2341void MacroAssembler::LeaveFrame(StackFrame::Type type) {
2342 if (FLAG_debug_code) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002343 Move(kScratchRegister, Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002344 cmpq(Operand(rbp, StandardFrameConstants::kMarkerOffset), kScratchRegister);
2345 Check(equal, "stack frame types must match");
2346 }
2347 movq(rsp, rbp);
2348 pop(rbp);
2349}
2350
2351
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002352void MacroAssembler::EnterExitFramePrologue(ExitFrame::Mode mode,
2353 bool save_rax) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002354 // Setup the frame structure on the stack.
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002355 // All constants are relative to the frame pointer of the exit frame.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002356 ASSERT(ExitFrameConstants::kCallerSPDisplacement == +2 * kPointerSize);
2357 ASSERT(ExitFrameConstants::kCallerPCOffset == +1 * kPointerSize);
2358 ASSERT(ExitFrameConstants::kCallerFPOffset == 0 * kPointerSize);
2359 push(rbp);
2360 movq(rbp, rsp);
2361
2362 // Reserve room for entry stack pointer and push the debug marker.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002363 ASSERT(ExitFrameConstants::kSPOffset == -1 * kPointerSize);
ager@chromium.org5c838252010-02-19 08:53:10 +00002364 push(Immediate(0)); // Saved entry sp, patched before call.
2365 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
2366 push(kScratchRegister); // Accessed from EditFrame::code_slot.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002367
2368 // Save the frame pointer and the context in top.
2369 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
2370 ExternalReference context_address(Top::k_context_address);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002371 if (save_rax) {
2372 movq(r14, rax); // Backup rax before we use it.
2373 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002374
2375 movq(rax, rbp);
2376 store_rax(c_entry_fp_address);
2377 movq(rax, rsi);
2378 store_rax(context_address);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002379}
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002380
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002381void MacroAssembler::EnterExitFrameEpilogue(ExitFrame::Mode mode,
2382 int result_size,
2383 int argc) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002384#ifdef ENABLE_DEBUGGER_SUPPORT
2385 // Save the state of all registers to the stack from the memory
2386 // location. This is needed to allow nested break points.
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002387 if (mode == ExitFrame::MODE_DEBUG) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002388 // TODO(1243899): This should be symmetric to
2389 // CopyRegistersFromStackToMemory() but it isn't! esp is assumed
2390 // correct here, but computed for the other call. Very error
2391 // prone! FIX THIS. Actually there are deeper problems with
2392 // register saving than this asymmetry (see the bug report
2393 // associated with this issue).
2394 PushRegistersFromMemory(kJSCallerSaved);
2395 }
2396#endif
2397
ager@chromium.orga1645e22009-09-09 19:27:10 +00002398#ifdef _WIN64
2399 // Reserve space on stack for result and argument structures, if necessary.
2400 int result_stack_space = (result_size < 2) ? 0 : result_size * kPointerSize;
2401 // Reserve space for the Arguments object. The Windows 64-bit ABI
2402 // requires us to pass this structure as a pointer to its location on
2403 // the stack. The structure contains 2 values.
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002404 int argument_stack_space = argc * kPointerSize;
ager@chromium.orga1645e22009-09-09 19:27:10 +00002405 // We also need backing space for 4 parameters, even though
2406 // we only pass one or two parameter, and it is in a register.
2407 int argument_mirror_space = 4 * kPointerSize;
2408 int total_stack_space =
2409 argument_mirror_space + argument_stack_space + result_stack_space;
2410 subq(rsp, Immediate(total_stack_space));
2411#endif
2412
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002413 // Get the required frame alignment for the OS.
2414 static const int kFrameAlignment = OS::ActivationFrameAlignment();
2415 if (kFrameAlignment > 0) {
2416 ASSERT(IsPowerOf2(kFrameAlignment));
2417 movq(kScratchRegister, Immediate(-kFrameAlignment));
2418 and_(rsp, kScratchRegister);
2419 }
2420
2421 // Patch the saved entry sp.
2422 movq(Operand(rbp, ExitFrameConstants::kSPOffset), rsp);
2423}
2424
2425
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002426void MacroAssembler::EnterExitFrame(ExitFrame::Mode mode, int result_size) {
2427 EnterExitFramePrologue(mode, true);
2428
2429 // Setup argv in callee-saved register r12. It is reused in LeaveExitFrame,
2430 // so it must be retained across the C-call.
2431 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
2432 lea(r12, Operand(rbp, r14, times_pointer_size, offset));
2433
2434 EnterExitFrameEpilogue(mode, result_size, 2);
2435}
2436
2437
2438void MacroAssembler::EnterApiExitFrame(ExitFrame::Mode mode,
2439 int stack_space,
2440 int argc,
2441 int result_size) {
2442 EnterExitFramePrologue(mode, false);
2443
2444 // Setup argv in callee-saved register r12. It is reused in LeaveExitFrame,
2445 // so it must be retained across the C-call.
2446 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
2447 lea(r12, Operand(rbp, (stack_space * kPointerSize) + offset));
2448
2449 EnterExitFrameEpilogue(mode, result_size, argc);
2450}
2451
2452
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002453void MacroAssembler::LeaveExitFrame(ExitFrame::Mode mode, int result_size) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002454 // Registers:
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00002455 // r12 : argv
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002456#ifdef ENABLE_DEBUGGER_SUPPORT
2457 // Restore the memory copy of the registers by digging them out from
2458 // the stack. This is needed to allow nested break points.
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002459 if (mode == ExitFrame::MODE_DEBUG) {
ager@chromium.orga1645e22009-09-09 19:27:10 +00002460 // It's okay to clobber register rbx below because we don't need
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002461 // the function pointer after this.
2462 const int kCallerSavedSize = kNumJSCallerSaved * kPointerSize;
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002463 int kOffset = ExitFrameConstants::kCodeOffset - kCallerSavedSize;
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002464 lea(rbx, Operand(rbp, kOffset));
2465 CopyRegistersFromStackToMemory(rbx, rcx, kJSCallerSaved);
2466 }
2467#endif
2468
2469 // Get the return address from the stack and restore the frame pointer.
2470 movq(rcx, Operand(rbp, 1 * kPointerSize));
2471 movq(rbp, Operand(rbp, 0 * kPointerSize));
2472
ager@chromium.orga1645e22009-09-09 19:27:10 +00002473 // Pop everything up to and including the arguments and the receiver
2474 // from the caller stack.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00002475 lea(rsp, Operand(r12, 1 * kPointerSize));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002476
2477 // Restore current context from top and clear it in debug mode.
2478 ExternalReference context_address(Top::k_context_address);
2479 movq(kScratchRegister, context_address);
2480 movq(rsi, Operand(kScratchRegister, 0));
2481#ifdef DEBUG
2482 movq(Operand(kScratchRegister, 0), Immediate(0));
2483#endif
2484
2485 // Push the return address to get ready to return.
2486 push(rcx);
2487
2488 // Clear the top frame.
2489 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
2490 movq(kScratchRegister, c_entry_fp_address);
2491 movq(Operand(kScratchRegister, 0), Immediate(0));
2492}
2493
2494
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002495void MacroAssembler::CheckAccessGlobalProxy(Register holder_reg,
2496 Register scratch,
2497 Label* miss) {
2498 Label same_contexts;
2499
2500 ASSERT(!holder_reg.is(scratch));
2501 ASSERT(!scratch.is(kScratchRegister));
2502 // Load current lexical context from the stack frame.
2503 movq(scratch, Operand(rbp, StandardFrameConstants::kContextOffset));
2504
2505 // When generating debug code, make sure the lexical context is set.
2506 if (FLAG_debug_code) {
2507 cmpq(scratch, Immediate(0));
2508 Check(not_equal, "we should not have an empty lexical context");
2509 }
2510 // Load the global context of the current context.
2511 int offset = Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
2512 movq(scratch, FieldOperand(scratch, offset));
2513 movq(scratch, FieldOperand(scratch, GlobalObject::kGlobalContextOffset));
2514
2515 // Check the context is a global context.
2516 if (FLAG_debug_code) {
2517 Cmp(FieldOperand(scratch, HeapObject::kMapOffset),
2518 Factory::global_context_map());
2519 Check(equal, "JSGlobalObject::global_context should be a global context.");
2520 }
2521
2522 // Check if both contexts are the same.
2523 cmpq(scratch, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
2524 j(equal, &same_contexts);
2525
2526 // Compare security tokens.
2527 // Check that the security token in the calling global object is
2528 // compatible with the security token in the receiving global
2529 // object.
2530
2531 // Check the context is a global context.
2532 if (FLAG_debug_code) {
2533 // Preserve original value of holder_reg.
2534 push(holder_reg);
2535 movq(holder_reg, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002536 CompareRoot(holder_reg, Heap::kNullValueRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002537 Check(not_equal, "JSGlobalProxy::context() should not be null.");
2538
2539 // Read the first word and compare to global_context_map(),
2540 movq(holder_reg, FieldOperand(holder_reg, HeapObject::kMapOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002541 CompareRoot(holder_reg, Heap::kGlobalContextMapRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002542 Check(equal, "JSGlobalObject::global_context should be a global context.");
2543 pop(holder_reg);
2544 }
2545
2546 movq(kScratchRegister,
2547 FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002548 int token_offset =
2549 Context::kHeaderSize + Context::SECURITY_TOKEN_INDEX * kPointerSize;
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002550 movq(scratch, FieldOperand(scratch, token_offset));
2551 cmpq(scratch, FieldOperand(kScratchRegister, token_offset));
2552 j(not_equal, miss);
2553
2554 bind(&same_contexts);
2555}
2556
2557
ager@chromium.orga1645e22009-09-09 19:27:10 +00002558void MacroAssembler::LoadAllocationTopHelper(Register result,
2559 Register result_end,
2560 Register scratch,
2561 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002562 ExternalReference new_space_allocation_top =
2563 ExternalReference::new_space_allocation_top_address();
2564
2565 // Just return if allocation top is already known.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002566 if ((flags & RESULT_CONTAINS_TOP) != 0) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002567 // No use of scratch if allocation top is provided.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002568 ASSERT(!scratch.is_valid());
ager@chromium.orga1645e22009-09-09 19:27:10 +00002569#ifdef DEBUG
2570 // Assert that result actually contains top on entry.
2571 movq(kScratchRegister, new_space_allocation_top);
2572 cmpq(result, Operand(kScratchRegister, 0));
2573 Check(equal, "Unexpected allocation top");
2574#endif
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002575 return;
2576 }
2577
ager@chromium.orgac091b72010-05-05 07:34:42 +00002578 // Move address of new object to result. Use scratch register if available,
2579 // and keep address in scratch until call to UpdateAllocationTopHelper.
2580 if (scratch.is_valid()) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002581 ASSERT(!scratch.is(result_end));
2582 movq(scratch, new_space_allocation_top);
2583 movq(result, Operand(scratch, 0));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002584 } else if (result.is(rax)) {
2585 load_rax(new_space_allocation_top);
2586 } else {
2587 movq(kScratchRegister, new_space_allocation_top);
2588 movq(result, Operand(kScratchRegister, 0));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002589 }
2590}
2591
2592
2593void MacroAssembler::UpdateAllocationTopHelper(Register result_end,
2594 Register scratch) {
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002595 if (FLAG_debug_code) {
2596 testq(result_end, Immediate(kObjectAlignmentMask));
2597 Check(zero, "Unaligned allocation in new space");
2598 }
2599
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002600 ExternalReference new_space_allocation_top =
2601 ExternalReference::new_space_allocation_top_address();
2602
2603 // Update new top.
2604 if (result_end.is(rax)) {
2605 // rax can be stored directly to a memory location.
2606 store_rax(new_space_allocation_top);
2607 } else {
2608 // Register required - use scratch provided if available.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002609 if (scratch.is_valid()) {
2610 movq(Operand(scratch, 0), result_end);
2611 } else {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002612 movq(kScratchRegister, new_space_allocation_top);
2613 movq(Operand(kScratchRegister, 0), result_end);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002614 }
2615 }
2616}
2617
2618
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002619void MacroAssembler::AllocateInNewSpace(int object_size,
2620 Register result,
2621 Register result_end,
2622 Register scratch,
2623 Label* gc_required,
2624 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002625 ASSERT(!result.is(result_end));
2626
2627 // Load address of new object into result.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002628 LoadAllocationTopHelper(result, result_end, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002629
2630 // Calculate new top and bail out if new space is exhausted.
2631 ExternalReference new_space_allocation_limit =
2632 ExternalReference::new_space_allocation_limit_address();
ager@chromium.orgac091b72010-05-05 07:34:42 +00002633
2634 Register top_reg = result_end.is_valid() ? result_end : result;
2635
2636 if (top_reg.is(result)) {
2637 addq(top_reg, Immediate(object_size));
2638 } else {
2639 lea(top_reg, Operand(result, object_size));
2640 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002641 movq(kScratchRegister, new_space_allocation_limit);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002642 cmpq(top_reg, Operand(kScratchRegister, 0));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002643 j(above, gc_required);
2644
2645 // Update allocation top.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002646 UpdateAllocationTopHelper(top_reg, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002647
ager@chromium.orgac091b72010-05-05 07:34:42 +00002648 if (top_reg.is(result)) {
2649 if ((flags & TAG_OBJECT) != 0) {
2650 subq(result, Immediate(object_size - kHeapObjectTag));
2651 } else {
2652 subq(result, Immediate(object_size));
2653 }
2654 } else if ((flags & TAG_OBJECT) != 0) {
2655 // Tag the result if requested.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002656 addq(result, Immediate(kHeapObjectTag));
2657 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002658}
2659
2660
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002661void MacroAssembler::AllocateInNewSpace(int header_size,
2662 ScaleFactor element_size,
2663 Register element_count,
2664 Register result,
2665 Register result_end,
2666 Register scratch,
2667 Label* gc_required,
2668 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002669 ASSERT(!result.is(result_end));
2670
2671 // Load address of new object into result.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002672 LoadAllocationTopHelper(result, result_end, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002673
2674 // Calculate new top and bail out if new space is exhausted.
2675 ExternalReference new_space_allocation_limit =
2676 ExternalReference::new_space_allocation_limit_address();
2677 lea(result_end, Operand(result, element_count, element_size, header_size));
2678 movq(kScratchRegister, new_space_allocation_limit);
2679 cmpq(result_end, Operand(kScratchRegister, 0));
2680 j(above, gc_required);
2681
2682 // Update allocation top.
2683 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002684
2685 // Tag the result if requested.
2686 if ((flags & TAG_OBJECT) != 0) {
2687 addq(result, Immediate(kHeapObjectTag));
2688 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002689}
2690
2691
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002692void MacroAssembler::AllocateInNewSpace(Register object_size,
2693 Register result,
2694 Register result_end,
2695 Register scratch,
2696 Label* gc_required,
2697 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002698 // Load address of new object into result.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002699 LoadAllocationTopHelper(result, result_end, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002700
2701 // Calculate new top and bail out if new space is exhausted.
2702 ExternalReference new_space_allocation_limit =
2703 ExternalReference::new_space_allocation_limit_address();
2704 if (!object_size.is(result_end)) {
2705 movq(result_end, object_size);
2706 }
2707 addq(result_end, result);
2708 movq(kScratchRegister, new_space_allocation_limit);
2709 cmpq(result_end, Operand(kScratchRegister, 0));
2710 j(above, gc_required);
2711
2712 // Update allocation top.
2713 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002714
2715 // Tag the result if requested.
2716 if ((flags & TAG_OBJECT) != 0) {
2717 addq(result, Immediate(kHeapObjectTag));
2718 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002719}
2720
2721
2722void MacroAssembler::UndoAllocationInNewSpace(Register object) {
2723 ExternalReference new_space_allocation_top =
2724 ExternalReference::new_space_allocation_top_address();
2725
2726 // Make sure the object has no tag before resetting top.
2727 and_(object, Immediate(~kHeapObjectTagMask));
2728 movq(kScratchRegister, new_space_allocation_top);
2729#ifdef DEBUG
2730 cmpq(object, Operand(kScratchRegister, 0));
2731 Check(below, "Undo allocation of non allocated memory");
2732#endif
2733 movq(Operand(kScratchRegister, 0), object);
2734}
2735
2736
ager@chromium.org3811b432009-10-28 14:53:37 +00002737void MacroAssembler::AllocateHeapNumber(Register result,
2738 Register scratch,
2739 Label* gc_required) {
2740 // Allocate heap number in new space.
2741 AllocateInNewSpace(HeapNumber::kSize,
2742 result,
2743 scratch,
2744 no_reg,
2745 gc_required,
2746 TAG_OBJECT);
2747
2748 // Set the map.
2749 LoadRoot(kScratchRegister, Heap::kHeapNumberMapRootIndex);
2750 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2751}
2752
2753
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002754void MacroAssembler::AllocateTwoByteString(Register result,
2755 Register length,
2756 Register scratch1,
2757 Register scratch2,
2758 Register scratch3,
2759 Label* gc_required) {
2760 // Calculate the number of bytes needed for the characters in the string while
2761 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002762 const int kHeaderAlignment = SeqTwoByteString::kHeaderSize &
2763 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002764 ASSERT(kShortSize == 2);
2765 // scratch1 = length * 2 + kObjectAlignmentMask.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002766 lea(scratch1, Operand(length, length, times_1, kObjectAlignmentMask +
2767 kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002768 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002769 if (kHeaderAlignment > 0) {
2770 subq(scratch1, Immediate(kHeaderAlignment));
2771 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002772
2773 // Allocate two byte string in new space.
2774 AllocateInNewSpace(SeqTwoByteString::kHeaderSize,
2775 times_1,
2776 scratch1,
2777 result,
2778 scratch2,
2779 scratch3,
2780 gc_required,
2781 TAG_OBJECT);
2782
2783 // Set the map, length and hash field.
2784 LoadRoot(kScratchRegister, Heap::kStringMapRootIndex);
2785 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002786 Integer32ToSmi(scratch1, length);
2787 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002788 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002789 Immediate(String::kEmptyHashField));
2790}
2791
2792
2793void MacroAssembler::AllocateAsciiString(Register result,
2794 Register length,
2795 Register scratch1,
2796 Register scratch2,
2797 Register scratch3,
2798 Label* gc_required) {
2799 // Calculate the number of bytes needed for the characters in the string while
2800 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002801 const int kHeaderAlignment = SeqAsciiString::kHeaderSize &
2802 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002803 movl(scratch1, length);
2804 ASSERT(kCharSize == 1);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002805 addq(scratch1, Immediate(kObjectAlignmentMask + kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002806 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002807 if (kHeaderAlignment > 0) {
2808 subq(scratch1, Immediate(kHeaderAlignment));
2809 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002810
2811 // Allocate ascii string in new space.
2812 AllocateInNewSpace(SeqAsciiString::kHeaderSize,
2813 times_1,
2814 scratch1,
2815 result,
2816 scratch2,
2817 scratch3,
2818 gc_required,
2819 TAG_OBJECT);
2820
2821 // Set the map, length and hash field.
2822 LoadRoot(kScratchRegister, Heap::kAsciiStringMapRootIndex);
2823 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002824 Integer32ToSmi(scratch1, length);
2825 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002826 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002827 Immediate(String::kEmptyHashField));
2828}
2829
2830
2831void MacroAssembler::AllocateConsString(Register result,
2832 Register scratch1,
2833 Register scratch2,
2834 Label* gc_required) {
2835 // Allocate heap number in new space.
2836 AllocateInNewSpace(ConsString::kSize,
2837 result,
2838 scratch1,
2839 scratch2,
2840 gc_required,
2841 TAG_OBJECT);
2842
2843 // Set the map. The other fields are left uninitialized.
2844 LoadRoot(kScratchRegister, Heap::kConsStringMapRootIndex);
2845 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2846}
2847
2848
2849void MacroAssembler::AllocateAsciiConsString(Register result,
2850 Register scratch1,
2851 Register scratch2,
2852 Label* gc_required) {
2853 // Allocate heap number in new space.
2854 AllocateInNewSpace(ConsString::kSize,
2855 result,
2856 scratch1,
2857 scratch2,
2858 gc_required,
2859 TAG_OBJECT);
2860
2861 // Set the map. The other fields are left uninitialized.
2862 LoadRoot(kScratchRegister, Heap::kConsAsciiStringMapRootIndex);
2863 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2864}
2865
2866
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002867void MacroAssembler::LoadContext(Register dst, int context_chain_length) {
2868 if (context_chain_length > 0) {
2869 // Move up the chain of contexts to the context containing the slot.
2870 movq(dst, Operand(rsi, Context::SlotOffset(Context::CLOSURE_INDEX)));
2871 // Load the function context (which is the incoming, outer context).
lrn@chromium.orgd5649e32010-01-19 13:36:12 +00002872 movq(dst, FieldOperand(dst, JSFunction::kContextOffset));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002873 for (int i = 1; i < context_chain_length; i++) {
2874 movq(dst, Operand(dst, Context::SlotOffset(Context::CLOSURE_INDEX)));
2875 movq(dst, FieldOperand(dst, JSFunction::kContextOffset));
2876 }
2877 // The context may be an intermediate context, not a function context.
2878 movq(dst, Operand(dst, Context::SlotOffset(Context::FCONTEXT_INDEX)));
2879 } else { // context is the current function context.
2880 // The context may be an intermediate context, not a function context.
2881 movq(dst, Operand(rsi, Context::SlotOffset(Context::FCONTEXT_INDEX)));
2882 }
2883}
2884
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002885
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002886int MacroAssembler::ArgumentStackSlotsForCFunctionCall(int num_arguments) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002887 // On Windows 64 stack slots are reserved by the caller for all arguments
2888 // including the ones passed in registers, and space is always allocated for
2889 // the four register arguments even if the function takes fewer than four
2890 // arguments.
2891 // On AMD64 ABI (Linux/Mac) the first six arguments are passed in registers
2892 // and the caller does not reserve stack slots for them.
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002893 ASSERT(num_arguments >= 0);
2894#ifdef _WIN64
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002895 static const int kMinimumStackSlots = 4;
2896 if (num_arguments < kMinimumStackSlots) return kMinimumStackSlots;
2897 return num_arguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002898#else
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002899 static const int kRegisterPassedArguments = 6;
2900 if (num_arguments < kRegisterPassedArguments) return 0;
2901 return num_arguments - kRegisterPassedArguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002902#endif
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002903}
2904
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002905
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002906void MacroAssembler::PrepareCallCFunction(int num_arguments) {
2907 int frame_alignment = OS::ActivationFrameAlignment();
2908 ASSERT(frame_alignment != 0);
2909 ASSERT(num_arguments >= 0);
2910 // Make stack end at alignment and allocate space for arguments and old rsp.
2911 movq(kScratchRegister, rsp);
2912 ASSERT(IsPowerOf2(frame_alignment));
2913 int argument_slots_on_stack =
2914 ArgumentStackSlotsForCFunctionCall(num_arguments);
2915 subq(rsp, Immediate((argument_slots_on_stack + 1) * kPointerSize));
2916 and_(rsp, Immediate(-frame_alignment));
2917 movq(Operand(rsp, argument_slots_on_stack * kPointerSize), kScratchRegister);
2918}
2919
2920
2921void MacroAssembler::CallCFunction(ExternalReference function,
2922 int num_arguments) {
2923 movq(rax, function);
2924 CallCFunction(rax, num_arguments);
2925}
2926
2927
2928void MacroAssembler::CallCFunction(Register function, int num_arguments) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002929 // Check stack alignment.
2930 if (FLAG_debug_code) {
2931 CheckStackAlignment();
2932 }
2933
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002934 call(function);
2935 ASSERT(OS::ActivationFrameAlignment() != 0);
2936 ASSERT(num_arguments >= 0);
2937 int argument_slots_on_stack =
2938 ArgumentStackSlotsForCFunctionCall(num_arguments);
2939 movq(rsp, Operand(rsp, argument_slots_on_stack * kPointerSize));
2940}
2941
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002942
ager@chromium.org4af710e2009-09-15 12:20:11 +00002943CodePatcher::CodePatcher(byte* address, int size)
2944 : address_(address), size_(size), masm_(address, size + Assembler::kGap) {
2945 // Create a new macro assembler pointing to the address of the code to patch.
2946 // The size is adjusted with kGap on order for the assembler to generate size
2947 // bytes of instructions without failing with buffer size constraints.
2948 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2949}
2950
2951
2952CodePatcher::~CodePatcher() {
2953 // Indicate that code has changed.
2954 CPU::FlushICache(address_, size_);
2955
2956 // Check that the code was patched as expected.
2957 ASSERT(masm_.pc_ == address_ + size_);
2958 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2959}
2960
kasperl@chromium.org71affb52009-05-26 05:44:31 +00002961} } // namespace v8::internal
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00002962
2963#endif // V8_TARGET_ARCH_X64