blob: 88f61d4725751b647b3a8b7ad40a156011db2bd5 [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);
585 movq(target, FieldOperand(rdi, JSFunction::kSharedFunctionInfoOffset));
586 movq(target, FieldOperand(target, SharedFunctionInfo::kCodeOffset));
587 cmpq(target, Operand(rsp, 0));
588 Assert(equal, "Builtin code object changed");
589 pop(target);
590 }
591 lea(target, FieldOperand(target, Code::kHeaderSize));
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000592}
593
594
ager@chromium.orge2902be2009-06-08 12:21:35 +0000595void MacroAssembler::Set(Register dst, int64_t x) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000596 if (x == 0) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000597 xorl(dst, dst);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000598 } else if (is_int32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000599 movq(dst, Immediate(static_cast<int32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000600 } else if (is_uint32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000601 movl(dst, Immediate(static_cast<uint32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000602 } else {
603 movq(dst, x, RelocInfo::NONE);
604 }
605}
606
ager@chromium.orge2902be2009-06-08 12:21:35 +0000607void MacroAssembler::Set(const Operand& dst, int64_t x) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000608 if (is_int32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000609 movq(dst, Immediate(static_cast<int32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000610 } else {
611 movq(kScratchRegister, x, RelocInfo::NONE);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000612 movq(dst, kScratchRegister);
ager@chromium.orge2902be2009-06-08 12:21:35 +0000613 }
ager@chromium.orge2902be2009-06-08 12:21:35 +0000614}
615
ager@chromium.org4af710e2009-09-15 12:20:11 +0000616// ----------------------------------------------------------------------------
617// Smi tagging, untagging and tag detection.
618
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000619static int kSmiShift = kSmiTagSize + kSmiShiftSize;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000620
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000621Register MacroAssembler::GetSmiConstant(Smi* source) {
622 int value = source->value();
623 if (value == 0) {
624 xorl(kScratchRegister, kScratchRegister);
625 return kScratchRegister;
626 }
627 if (value == 1) {
628 return kSmiConstantRegister;
629 }
630 LoadSmiConstant(kScratchRegister, source);
631 return kScratchRegister;
632}
633
634void MacroAssembler::LoadSmiConstant(Register dst, Smi* source) {
635 if (FLAG_debug_code) {
636 movq(dst,
637 reinterpret_cast<uint64_t>(Smi::FromInt(kSmiConstantRegisterValue)),
638 RelocInfo::NONE);
639 cmpq(dst, kSmiConstantRegister);
640 if (allow_stub_calls()) {
641 Assert(equal, "Uninitialized kSmiConstantRegister");
642 } else {
643 Label ok;
644 j(equal, &ok);
645 int3();
646 bind(&ok);
647 }
648 }
649 if (source->value() == 0) {
650 xorl(dst, dst);
651 return;
652 }
653 int value = source->value();
654 bool negative = value < 0;
655 unsigned int uvalue = negative ? -value : value;
656
657 switch (uvalue) {
658 case 9:
659 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_8, 0));
660 break;
661 case 8:
662 xorl(dst, dst);
663 lea(dst, Operand(dst, kSmiConstantRegister, times_8, 0));
664 break;
665 case 4:
666 xorl(dst, dst);
667 lea(dst, Operand(dst, kSmiConstantRegister, times_4, 0));
668 break;
669 case 5:
670 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_4, 0));
671 break;
672 case 3:
673 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_2, 0));
674 break;
675 case 2:
676 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_1, 0));
677 break;
678 case 1:
679 movq(dst, kSmiConstantRegister);
680 break;
681 case 0:
682 UNREACHABLE();
683 return;
684 default:
685 movq(dst, reinterpret_cast<uint64_t>(source), RelocInfo::NONE);
686 return;
687 }
688 if (negative) {
689 neg(dst);
690 }
691}
692
ager@chromium.org4af710e2009-09-15 12:20:11 +0000693void MacroAssembler::Integer32ToSmi(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000694 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000695 if (!dst.is(src)) {
696 movl(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000697 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000698 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000699}
700
701
702void MacroAssembler::Integer32ToSmi(Register dst,
703 Register src,
704 Label* on_overflow) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000705 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000706 // 32-bit integer always fits in a long smi.
ager@chromium.org4af710e2009-09-15 12:20:11 +0000707 if (!dst.is(src)) {
708 movl(dst, src);
709 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000710 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000711}
712
713
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000714void MacroAssembler::Integer32ToSmiField(const Operand& dst, Register src) {
715 if (FLAG_debug_code) {
716 testb(dst, Immediate(0x01));
717 Label ok;
718 j(zero, &ok);
719 if (allow_stub_calls()) {
720 Abort("Integer32ToSmiField writing to non-smi location");
721 } else {
722 int3();
723 }
724 bind(&ok);
725 }
726 ASSERT(kSmiShift % kBitsPerByte == 0);
727 movl(Operand(dst, kSmiShift / kBitsPerByte), src);
728}
729
730
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000731void MacroAssembler::Integer64PlusConstantToSmi(Register dst,
732 Register src,
733 int constant) {
734 if (dst.is(src)) {
735 addq(dst, Immediate(constant));
736 } else {
737 lea(dst, Operand(src, constant));
738 }
739 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000740}
741
742
743void MacroAssembler::SmiToInteger32(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000744 ASSERT_EQ(0, kSmiTag);
745 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000746 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000747 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000748 shr(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000749}
750
751
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000752void MacroAssembler::SmiToInteger32(Register dst, const Operand& src) {
753 movl(dst, Operand(src, kSmiShift / kBitsPerByte));
754}
755
756
ager@chromium.org4af710e2009-09-15 12:20:11 +0000757void MacroAssembler::SmiToInteger64(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000758 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000759 if (!dst.is(src)) {
760 movq(dst, src);
761 }
762 sar(dst, Immediate(kSmiShift));
763}
764
765
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000766void MacroAssembler::SmiToInteger64(Register dst, const Operand& src) {
767 movsxlq(dst, Operand(src, kSmiShift / kBitsPerByte));
768}
769
770
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000771void MacroAssembler::SmiTest(Register src) {
772 testq(src, src);
773}
774
775
776void MacroAssembler::SmiCompare(Register dst, Register src) {
777 cmpq(dst, src);
778}
779
780
781void MacroAssembler::SmiCompare(Register dst, Smi* src) {
782 ASSERT(!dst.is(kScratchRegister));
783 if (src->value() == 0) {
784 testq(dst, dst);
785 } else {
786 Move(kScratchRegister, src);
787 cmpq(dst, kScratchRegister);
788 }
789}
790
791
kmillikin@chromium.org9155e252010-05-26 13:27:57 +0000792void MacroAssembler::SmiCompare(Register dst, const Operand& src) {
ager@chromium.orgac091b72010-05-05 07:34:42 +0000793 cmpq(dst, src);
794}
795
796
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000797void MacroAssembler::SmiCompare(const Operand& dst, Register src) {
798 cmpq(dst, src);
799}
800
801
802void MacroAssembler::SmiCompare(const Operand& dst, Smi* src) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000803 cmpl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(src->value()));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000804}
805
806
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000807void MacroAssembler::SmiCompareInteger32(const Operand& dst, Register src) {
808 cmpl(Operand(dst, kSmiShift / kBitsPerByte), src);
809}
810
811
ager@chromium.org4af710e2009-09-15 12:20:11 +0000812void MacroAssembler::PositiveSmiTimesPowerOfTwoToInteger64(Register dst,
813 Register src,
814 int power) {
815 ASSERT(power >= 0);
816 ASSERT(power < 64);
817 if (power == 0) {
818 SmiToInteger64(dst, src);
819 return;
820 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000821 if (!dst.is(src)) {
822 movq(dst, src);
823 }
824 if (power < kSmiShift) {
825 sar(dst, Immediate(kSmiShift - power));
826 } else if (power > kSmiShift) {
827 shl(dst, Immediate(power - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000828 }
829}
830
831
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000832void MacroAssembler::PositiveSmiDivPowerOfTwoToInteger32(Register dst,
833 Register src,
834 int power) {
835 ASSERT((0 <= power) && (power < 32));
836 if (dst.is(src)) {
837 shr(dst, Immediate(power + kSmiShift));
838 } else {
839 UNIMPLEMENTED(); // Not used.
840 }
841}
842
843
ager@chromium.org4af710e2009-09-15 12:20:11 +0000844Condition MacroAssembler::CheckSmi(Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000845 ASSERT_EQ(0, kSmiTag);
846 testb(src, Immediate(kSmiTagMask));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000847 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000848}
849
850
851Condition MacroAssembler::CheckPositiveSmi(Register src) {
852 ASSERT_EQ(0, kSmiTag);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000853 // Make mask 0x8000000000000001 and test that both bits are zero.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000854 movq(kScratchRegister, src);
855 rol(kScratchRegister, Immediate(1));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000856 testb(kScratchRegister, Immediate(3));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000857 return zero;
858}
859
860
ager@chromium.org4af710e2009-09-15 12:20:11 +0000861Condition MacroAssembler::CheckBothSmi(Register first, Register second) {
862 if (first.is(second)) {
863 return CheckSmi(first);
864 }
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000865 ASSERT(kSmiTag == 0 && kHeapObjectTag == 1 && kHeapObjectTagMask == 3);
866 leal(kScratchRegister, Operand(first, second, times_1, 0));
867 testb(kScratchRegister, Immediate(0x03));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000868 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000869}
870
871
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000872Condition MacroAssembler::CheckBothPositiveSmi(Register first,
873 Register second) {
874 if (first.is(second)) {
875 return CheckPositiveSmi(first);
876 }
fschneider@chromium.org40b9da32010-06-28 11:29:21 +0000877 movq(kScratchRegister, first);
878 or_(kScratchRegister, second);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000879 rol(kScratchRegister, Immediate(1));
880 testl(kScratchRegister, Immediate(0x03));
881 return zero;
882}
883
884
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000885Condition MacroAssembler::CheckEitherSmi(Register first, Register second) {
886 if (first.is(second)) {
887 return CheckSmi(first);
888 }
889 movl(kScratchRegister, first);
890 andl(kScratchRegister, second);
891 testb(kScratchRegister, Immediate(kSmiTagMask));
892 return zero;
893}
894
895
ager@chromium.org4af710e2009-09-15 12:20:11 +0000896Condition MacroAssembler::CheckIsMinSmi(Register src) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000897 ASSERT(!src.is(kScratchRegister));
898 // If we overflow by subtracting one, it's the minimal smi value.
899 cmpq(src, kSmiConstantRegister);
900 return overflow;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000901}
902
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000903
ager@chromium.org4af710e2009-09-15 12:20:11 +0000904Condition MacroAssembler::CheckInteger32ValidSmiValue(Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000905 // A 32-bit integer value can always be converted to a smi.
906 return always;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000907}
908
909
ager@chromium.org3811b432009-10-28 14:53:37 +0000910Condition MacroAssembler::CheckUInteger32ValidSmiValue(Register src) {
911 // An unsigned 32-bit integer value is valid as long as the high bit
912 // is not set.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000913 testl(src, src);
914 return positive;
ager@chromium.org3811b432009-10-28 14:53:37 +0000915}
916
917
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000918void MacroAssembler::SmiNeg(Register dst, Register src, Label* on_smi_result) {
919 if (dst.is(src)) {
920 ASSERT(!dst.is(kScratchRegister));
921 movq(kScratchRegister, src);
922 neg(dst); // Low 32 bits are retained as zero by negation.
923 // Test if result is zero or Smi::kMinValue.
924 cmpq(dst, kScratchRegister);
925 j(not_equal, on_smi_result);
926 movq(src, kScratchRegister);
927 } else {
928 movq(dst, src);
929 neg(dst);
930 cmpq(dst, src);
931 // If the result is zero or Smi::kMinValue, negation failed to create a smi.
932 j(not_equal, on_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000933 }
ager@chromium.org4af710e2009-09-15 12:20:11 +0000934}
935
936
937void MacroAssembler::SmiAdd(Register dst,
938 Register src1,
939 Register src2,
940 Label* on_not_smi_result) {
941 ASSERT(!dst.is(src2));
ager@chromium.orgac091b72010-05-05 07:34:42 +0000942 if (on_not_smi_result == NULL) {
943 // No overflow checking. Use only when it's known that
944 // overflowing is impossible.
945 if (dst.is(src1)) {
946 addq(dst, src2);
947 } else {
948 movq(dst, src1);
949 addq(dst, src2);
950 }
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000951 Assert(no_overflow, "Smi addition overflow");
ager@chromium.orgac091b72010-05-05 07:34:42 +0000952 } else if (dst.is(src1)) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000953 movq(kScratchRegister, src1);
954 addq(kScratchRegister, src2);
955 j(overflow, on_not_smi_result);
956 movq(dst, kScratchRegister);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000957 } else {
958 movq(dst, src1);
959 addq(dst, src2);
960 j(overflow, on_not_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000961 }
962}
963
964
ager@chromium.org4af710e2009-09-15 12:20:11 +0000965void MacroAssembler::SmiSub(Register dst,
966 Register src1,
967 Register src2,
968 Label* on_not_smi_result) {
969 ASSERT(!dst.is(src2));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000970 if (on_not_smi_result == NULL) {
971 // No overflow checking. Use only when it's known that
972 // overflowing is impossible (e.g., subtracting two positive smis).
973 if (dst.is(src1)) {
974 subq(dst, src2);
975 } else {
976 movq(dst, src1);
977 subq(dst, src2);
978 }
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000979 Assert(no_overflow, "Smi subtraction overflow");
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000980 } else if (dst.is(src1)) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000981 cmpq(dst, src2);
982 j(overflow, on_not_smi_result);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000983 subq(dst, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000984 } else {
985 movq(dst, src1);
986 subq(dst, src2);
987 j(overflow, on_not_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000988 }
989}
990
991
ager@chromium.orgac091b72010-05-05 07:34:42 +0000992void MacroAssembler::SmiSub(Register dst,
993 Register src1,
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +0000994 const Operand& src2,
ager@chromium.orgac091b72010-05-05 07:34:42 +0000995 Label* on_not_smi_result) {
996 if (on_not_smi_result == NULL) {
997 // No overflow checking. Use only when it's known that
998 // overflowing is impossible (e.g., subtracting two positive smis).
999 if (dst.is(src1)) {
1000 subq(dst, src2);
1001 } else {
1002 movq(dst, src1);
1003 subq(dst, src2);
1004 }
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001005 Assert(no_overflow, "Smi subtraction overflow");
ager@chromium.orgac091b72010-05-05 07:34:42 +00001006 } else if (dst.is(src1)) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001007 movq(kScratchRegister, src2);
1008 cmpq(src1, kScratchRegister);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001009 j(overflow, on_not_smi_result);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001010 subq(src1, kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00001011 } else {
1012 movq(dst, src1);
1013 subq(dst, src2);
1014 j(overflow, on_not_smi_result);
1015 }
1016}
1017
ager@chromium.org4af710e2009-09-15 12:20:11 +00001018void MacroAssembler::SmiMul(Register dst,
1019 Register src1,
1020 Register src2,
1021 Label* on_not_smi_result) {
1022 ASSERT(!dst.is(src2));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001023 ASSERT(!dst.is(kScratchRegister));
1024 ASSERT(!src1.is(kScratchRegister));
1025 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001026
1027 if (dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001028 Label failure, zero_correct_result;
1029 movq(kScratchRegister, src1); // Create backup for later testing.
1030 SmiToInteger64(dst, src1);
1031 imul(dst, src2);
1032 j(overflow, &failure);
1033
1034 // Check for negative zero result. If product is zero, and one
1035 // argument is negative, go to slow case.
1036 Label correct_result;
1037 testq(dst, dst);
1038 j(not_zero, &correct_result);
1039
1040 movq(dst, kScratchRegister);
1041 xor_(dst, src2);
1042 j(positive, &zero_correct_result); // Result was positive zero.
1043
1044 bind(&failure); // Reused failure exit, restores src1.
1045 movq(src1, kScratchRegister);
1046 jmp(on_not_smi_result);
1047
1048 bind(&zero_correct_result);
1049 xor_(dst, dst);
1050
1051 bind(&correct_result);
1052 } else {
1053 SmiToInteger64(dst, src1);
1054 imul(dst, src2);
1055 j(overflow, on_not_smi_result);
1056 // Check for negative zero result. If product is zero, and one
1057 // argument is negative, go to slow case.
1058 Label correct_result;
1059 testq(dst, dst);
1060 j(not_zero, &correct_result);
1061 // One of src1 and src2 is zero, the check whether the other is
1062 // negative.
ager@chromium.org4af710e2009-09-15 12:20:11 +00001063 movq(kScratchRegister, src1);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001064 xor_(kScratchRegister, src2);
1065 j(negative, on_not_smi_result);
1066 bind(&correct_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001067 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001068}
1069
1070
1071void MacroAssembler::SmiTryAddConstant(Register dst,
1072 Register src,
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001073 Smi* constant,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001074 Label* on_not_smi_result) {
1075 // Does not assume that src is a smi.
ager@chromium.org3811b432009-10-28 14:53:37 +00001076 ASSERT_EQ(static_cast<int>(1), static_cast<int>(kSmiTagMask));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001077 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001078 ASSERT(!dst.is(kScratchRegister));
1079 ASSERT(!src.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001080
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001081 JumpIfNotSmi(src, on_not_smi_result);
1082 Register tmp = (dst.is(src) ? kScratchRegister : dst);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001083 LoadSmiConstant(tmp, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001084 addq(tmp, src);
1085 j(overflow, on_not_smi_result);
1086 if (dst.is(src)) {
1087 movq(dst, tmp);
1088 }
1089}
1090
1091
1092void MacroAssembler::SmiAddConstant(Register dst, Register src, Smi* constant) {
1093 if (constant->value() == 0) {
1094 if (!dst.is(src)) {
1095 movq(dst, src);
1096 }
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001097 return;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001098 } else if (dst.is(src)) {
1099 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001100 switch (constant->value()) {
1101 case 1:
1102 addq(dst, kSmiConstantRegister);
1103 return;
1104 case 2:
1105 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
1106 return;
1107 case 4:
1108 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
1109 return;
1110 case 8:
1111 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
1112 return;
1113 default:
1114 Register constant_reg = GetSmiConstant(constant);
1115 addq(dst, constant_reg);
1116 return;
1117 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001118 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001119 switch (constant->value()) {
1120 case 1:
1121 lea(dst, Operand(src, kSmiConstantRegister, times_1, 0));
1122 return;
1123 case 2:
1124 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
1125 return;
1126 case 4:
1127 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
1128 return;
1129 case 8:
1130 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
1131 return;
1132 default:
1133 LoadSmiConstant(dst, constant);
1134 addq(dst, src);
1135 return;
1136 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001137 }
1138}
1139
1140
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001141void MacroAssembler::SmiAddConstant(const Operand& dst, Smi* constant) {
1142 if (constant->value() != 0) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001143 addl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(constant->value()));
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001144 }
1145}
1146
1147
ager@chromium.org4af710e2009-09-15 12:20:11 +00001148void MacroAssembler::SmiAddConstant(Register dst,
1149 Register src,
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001150 Smi* constant,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001151 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001152 if (constant->value() == 0) {
1153 if (!dst.is(src)) {
1154 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001155 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001156 } else if (dst.is(src)) {
1157 ASSERT(!dst.is(kScratchRegister));
1158
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001159 LoadSmiConstant(kScratchRegister, constant);
1160 addq(kScratchRegister, src);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001161 j(overflow, on_not_smi_result);
1162 movq(dst, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001163 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001164 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001165 addq(dst, src);
1166 j(overflow, on_not_smi_result);
1167 }
1168}
1169
1170
1171void MacroAssembler::SmiSubConstant(Register dst, Register src, Smi* constant) {
1172 if (constant->value() == 0) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001173 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001174 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001175 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001176 } else if (dst.is(src)) {
1177 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001178 Register constant_reg = GetSmiConstant(constant);
1179 subq(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001180 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001181 if (constant->value() == Smi::kMinValue) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001182 LoadSmiConstant(dst, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001183 // Adding and subtracting the min-value gives the same result, it only
1184 // differs on the overflow bit, which we don't check here.
1185 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001186 } else {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001187 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001188 LoadSmiConstant(dst, Smi::FromInt(-constant->value()));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001189 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001190 }
1191 }
1192}
1193
1194
1195void MacroAssembler::SmiSubConstant(Register dst,
1196 Register src,
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001197 Smi* constant,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001198 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001199 if (constant->value() == 0) {
1200 if (!dst.is(src)) {
1201 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001202 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001203 } else if (dst.is(src)) {
1204 ASSERT(!dst.is(kScratchRegister));
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001205 if (constant->value() == Smi::kMinValue) {
1206 // Subtracting min-value from any non-negative value will overflow.
1207 // We test the non-negativeness before doing the subtraction.
1208 testq(src, src);
1209 j(not_sign, on_not_smi_result);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001210 LoadSmiConstant(kScratchRegister, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001211 subq(dst, kScratchRegister);
1212 } else {
1213 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001214 LoadSmiConstant(kScratchRegister, Smi::FromInt(-constant->value()));
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001215 addq(kScratchRegister, dst);
1216 j(overflow, on_not_smi_result);
1217 movq(dst, kScratchRegister);
1218 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001219 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001220 if (constant->value() == Smi::kMinValue) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001221 // Subtracting min-value from any non-negative value will overflow.
1222 // We test the non-negativeness before doing the subtraction.
1223 testq(src, src);
1224 j(not_sign, on_not_smi_result);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001225 LoadSmiConstant(dst, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001226 // Adding and subtracting the min-value gives the same result, it only
1227 // differs on the overflow bit, which we don't check here.
1228 addq(dst, src);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001229 } else {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001230 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001231 LoadSmiConstant(dst, Smi::FromInt(-(constant->value())));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001232 addq(dst, src);
1233 j(overflow, on_not_smi_result);
1234 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001235 }
1236}
1237
1238
1239void MacroAssembler::SmiDiv(Register dst,
1240 Register src1,
1241 Register src2,
1242 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001243 ASSERT(!src1.is(kScratchRegister));
1244 ASSERT(!src2.is(kScratchRegister));
1245 ASSERT(!dst.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001246 ASSERT(!src2.is(rax));
1247 ASSERT(!src2.is(rdx));
1248 ASSERT(!src1.is(rdx));
1249
1250 // Check for 0 divisor (result is +/-Infinity).
1251 Label positive_divisor;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001252 testq(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001253 j(zero, on_not_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001254
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001255 if (src1.is(rax)) {
1256 movq(kScratchRegister, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001257 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001258 SmiToInteger32(rax, src1);
1259 // We need to rule out dividing Smi::kMinValue by -1, since that would
1260 // overflow in idiv and raise an exception.
1261 // We combine this with negative zero test (negative zero only happens
1262 // when dividing zero by a negative number).
ager@chromium.org4af710e2009-09-15 12:20:11 +00001263
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001264 // We overshoot a little and go to slow case if we divide min-value
1265 // by any negative value, not just -1.
1266 Label safe_div;
1267 testl(rax, Immediate(0x7fffffff));
1268 j(not_zero, &safe_div);
1269 testq(src2, src2);
1270 if (src1.is(rax)) {
1271 j(positive, &safe_div);
1272 movq(src1, kScratchRegister);
1273 jmp(on_not_smi_result);
1274 } else {
1275 j(negative, on_not_smi_result);
1276 }
1277 bind(&safe_div);
1278
1279 SmiToInteger32(src2, src2);
1280 // Sign extend src1 into edx:eax.
1281 cdq();
ager@chromium.org4af710e2009-09-15 12:20:11 +00001282 idivl(src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001283 Integer32ToSmi(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001284 // Check that the remainder is zero.
1285 testl(rdx, rdx);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001286 if (src1.is(rax)) {
1287 Label smi_result;
1288 j(zero, &smi_result);
1289 movq(src1, kScratchRegister);
1290 jmp(on_not_smi_result);
1291 bind(&smi_result);
1292 } else {
1293 j(not_zero, on_not_smi_result);
1294 }
1295 if (!dst.is(src1) && src1.is(rax)) {
1296 movq(src1, kScratchRegister);
1297 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001298 Integer32ToSmi(dst, rax);
1299}
1300
1301
1302void MacroAssembler::SmiMod(Register dst,
1303 Register src1,
1304 Register src2,
1305 Label* on_not_smi_result) {
1306 ASSERT(!dst.is(kScratchRegister));
1307 ASSERT(!src1.is(kScratchRegister));
1308 ASSERT(!src2.is(kScratchRegister));
1309 ASSERT(!src2.is(rax));
1310 ASSERT(!src2.is(rdx));
1311 ASSERT(!src1.is(rdx));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001312 ASSERT(!src1.is(src2));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001313
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001314 testq(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001315 j(zero, on_not_smi_result);
1316
1317 if (src1.is(rax)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001318 movq(kScratchRegister, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001319 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001320 SmiToInteger32(rax, src1);
1321 SmiToInteger32(src2, src2);
1322
1323 // Test for the edge case of dividing Smi::kMinValue by -1 (will overflow).
1324 Label safe_div;
1325 cmpl(rax, Immediate(Smi::kMinValue));
1326 j(not_equal, &safe_div);
1327 cmpl(src2, Immediate(-1));
1328 j(not_equal, &safe_div);
1329 // Retag inputs and go slow case.
1330 Integer32ToSmi(src2, src2);
1331 if (src1.is(rax)) {
1332 movq(src1, kScratchRegister);
1333 }
1334 jmp(on_not_smi_result);
1335 bind(&safe_div);
1336
ager@chromium.org4af710e2009-09-15 12:20:11 +00001337 // Sign extend eax into edx:eax.
1338 cdq();
1339 idivl(src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001340 // Restore smi tags on inputs.
1341 Integer32ToSmi(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001342 if (src1.is(rax)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001343 movq(src1, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001344 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001345 // Check for a negative zero result. If the result is zero, and the
1346 // dividend is negative, go slow to return a floating point negative zero.
1347 Label smi_result;
1348 testl(rdx, rdx);
1349 j(not_zero, &smi_result);
1350 testq(src1, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001351 j(negative, on_not_smi_result);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001352 bind(&smi_result);
1353 Integer32ToSmi(dst, rdx);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001354}
1355
1356
1357void MacroAssembler::SmiNot(Register dst, Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001358 ASSERT(!dst.is(kScratchRegister));
1359 ASSERT(!src.is(kScratchRegister));
1360 // Set tag and padding bits before negating, so that they are zero afterwards.
1361 movl(kScratchRegister, Immediate(~0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001362 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001363 xor_(dst, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001364 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001365 lea(dst, Operand(src, kScratchRegister, times_1, 0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001366 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001367 not_(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001368}
1369
1370
1371void MacroAssembler::SmiAnd(Register dst, Register src1, Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001372 ASSERT(!dst.is(src2));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001373 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001374 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001375 }
1376 and_(dst, src2);
1377}
1378
1379
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001380void MacroAssembler::SmiAndConstant(Register dst, Register src, Smi* constant) {
1381 if (constant->value() == 0) {
1382 xor_(dst, dst);
1383 } else if (dst.is(src)) {
1384 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001385 Register constant_reg = GetSmiConstant(constant);
1386 and_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001387 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001388 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001389 and_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001390 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001391}
1392
1393
1394void MacroAssembler::SmiOr(Register dst, Register src1, Register src2) {
1395 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001396 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001397 }
1398 or_(dst, src2);
1399}
1400
1401
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001402void MacroAssembler::SmiOrConstant(Register dst, Register src, Smi* constant) {
1403 if (dst.is(src)) {
1404 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001405 Register constant_reg = GetSmiConstant(constant);
1406 or_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001407 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001408 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001409 or_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001410 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001411}
1412
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001413
ager@chromium.org4af710e2009-09-15 12:20:11 +00001414void MacroAssembler::SmiXor(Register dst, Register src1, Register src2) {
1415 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001416 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001417 }
1418 xor_(dst, src2);
1419}
1420
1421
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001422void MacroAssembler::SmiXorConstant(Register dst, Register src, Smi* constant) {
1423 if (dst.is(src)) {
1424 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001425 Register constant_reg = GetSmiConstant(constant);
1426 xor_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001427 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001428 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001429 xor_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001430 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001431}
1432
1433
ager@chromium.org4af710e2009-09-15 12:20:11 +00001434void MacroAssembler::SmiShiftArithmeticRightConstant(Register dst,
1435 Register src,
1436 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001437 ASSERT(is_uint5(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001438 if (shift_value > 0) {
1439 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001440 sar(dst, Immediate(shift_value + kSmiShift));
1441 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001442 } else {
1443 UNIMPLEMENTED(); // Not used.
1444 }
1445 }
1446}
1447
1448
1449void MacroAssembler::SmiShiftLogicalRightConstant(Register dst,
1450 Register src,
1451 int shift_value,
1452 Label* on_not_smi_result) {
1453 // Logic right shift interprets its result as an *unsigned* number.
1454 if (dst.is(src)) {
1455 UNIMPLEMENTED(); // Not used.
1456 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001457 movq(dst, src);
1458 if (shift_value == 0) {
1459 testq(dst, dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001460 j(negative, on_not_smi_result);
1461 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001462 shr(dst, Immediate(shift_value + kSmiShift));
1463 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001464 }
1465}
1466
1467
1468void MacroAssembler::SmiShiftLeftConstant(Register dst,
1469 Register src,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00001470 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001471 if (!dst.is(src)) {
1472 movq(dst, src);
1473 }
1474 if (shift_value > 0) {
1475 shl(dst, Immediate(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001476 }
1477}
1478
1479
1480void MacroAssembler::SmiShiftLeft(Register dst,
1481 Register src1,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00001482 Register src2) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001483 ASSERT(!dst.is(rcx));
1484 Label result_ok;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001485 // Untag shift amount.
1486 if (!dst.is(src1)) {
1487 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001488 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001489 SmiToInteger32(rcx, src2);
1490 // Shift amount specified by lower 5 bits, not six as the shl opcode.
1491 and_(rcx, Immediate(0x1f));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001492 shl_cl(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001493}
1494
1495
1496void MacroAssembler::SmiShiftLogicalRight(Register dst,
1497 Register src1,
1498 Register src2,
1499 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001500 ASSERT(!dst.is(kScratchRegister));
1501 ASSERT(!src1.is(kScratchRegister));
1502 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001503 ASSERT(!dst.is(rcx));
1504 Label result_ok;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001505 if (src1.is(rcx) || src2.is(rcx)) {
1506 movq(kScratchRegister, rcx);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001507 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001508 if (!dst.is(src1)) {
1509 movq(dst, src1);
1510 }
1511 SmiToInteger32(rcx, src2);
1512 orl(rcx, Immediate(kSmiShift));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001513 shr_cl(dst); // Shift is rcx modulo 0x1f + 32.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001514 shl(dst, Immediate(kSmiShift));
1515 testq(dst, dst);
1516 if (src1.is(rcx) || src2.is(rcx)) {
1517 Label positive_result;
1518 j(positive, &positive_result);
1519 if (src1.is(rcx)) {
1520 movq(src1, kScratchRegister);
1521 } else {
1522 movq(src2, kScratchRegister);
1523 }
1524 jmp(on_not_smi_result);
1525 bind(&positive_result);
1526 } else {
1527 j(negative, on_not_smi_result); // src2 was zero and src1 negative.
1528 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001529}
1530
1531
1532void MacroAssembler::SmiShiftArithmeticRight(Register dst,
1533 Register src1,
1534 Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001535 ASSERT(!dst.is(kScratchRegister));
1536 ASSERT(!src1.is(kScratchRegister));
1537 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001538 ASSERT(!dst.is(rcx));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001539 if (src1.is(rcx)) {
1540 movq(kScratchRegister, src1);
1541 } else if (src2.is(rcx)) {
1542 movq(kScratchRegister, src2);
1543 }
1544 if (!dst.is(src1)) {
1545 movq(dst, src1);
1546 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001547 SmiToInteger32(rcx, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001548 orl(rcx, Immediate(kSmiShift));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001549 sar_cl(dst); // Shift 32 + original rcx & 0x1f.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001550 shl(dst, Immediate(kSmiShift));
1551 if (src1.is(rcx)) {
1552 movq(src1, kScratchRegister);
1553 } else if (src2.is(rcx)) {
1554 movq(src2, kScratchRegister);
1555 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001556}
1557
1558
1559void MacroAssembler::SelectNonSmi(Register dst,
1560 Register src1,
1561 Register src2,
1562 Label* on_not_smis) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001563 ASSERT(!dst.is(kScratchRegister));
1564 ASSERT(!src1.is(kScratchRegister));
1565 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001566 ASSERT(!dst.is(src1));
1567 ASSERT(!dst.is(src2));
1568 // Both operands must not be smis.
1569#ifdef DEBUG
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001570 if (allow_stub_calls()) { // Check contains a stub call.
1571 Condition not_both_smis = NegateCondition(CheckBothSmi(src1, src2));
1572 Check(not_both_smis, "Both registers were smis in SelectNonSmi.");
1573 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001574#endif
1575 ASSERT_EQ(0, kSmiTag);
1576 ASSERT_EQ(0, Smi::FromInt(0));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001577 movl(kScratchRegister, Immediate(kSmiTagMask));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001578 and_(kScratchRegister, src1);
1579 testl(kScratchRegister, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001580 // If non-zero then both are smis.
ager@chromium.org4af710e2009-09-15 12:20:11 +00001581 j(not_zero, on_not_smis);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001582
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001583 // Exactly one operand is a smi.
ager@chromium.org4af710e2009-09-15 12:20:11 +00001584 ASSERT_EQ(1, static_cast<int>(kSmiTagMask));
1585 // kScratchRegister still holds src1 & kSmiTag, which is either zero or one.
1586 subq(kScratchRegister, Immediate(1));
1587 // If src1 is a smi, then scratch register all 1s, else it is all 0s.
1588 movq(dst, src1);
1589 xor_(dst, src2);
1590 and_(dst, kScratchRegister);
1591 // If src1 is a smi, dst holds src1 ^ src2, else it is zero.
1592 xor_(dst, src1);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001593 // 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 +00001594}
1595
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001596
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001597SmiIndex MacroAssembler::SmiToIndex(Register dst,
1598 Register src,
1599 int shift) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001600 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001601 // There is a possible optimization if shift is in the range 60-63, but that
1602 // will (and must) never happen.
1603 if (!dst.is(src)) {
1604 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001605 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001606 if (shift < kSmiShift) {
1607 sar(dst, Immediate(kSmiShift - shift));
1608 } else {
1609 shl(dst, Immediate(shift - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001610 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001611 return SmiIndex(dst, times_1);
1612}
1613
ager@chromium.org4af710e2009-09-15 12:20:11 +00001614SmiIndex MacroAssembler::SmiToNegativeIndex(Register dst,
1615 Register src,
1616 int shift) {
1617 // Register src holds a positive smi.
1618 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001619 if (!dst.is(src)) {
1620 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001621 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001622 neg(dst);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001623 if (shift < kSmiShift) {
1624 sar(dst, Immediate(kSmiShift - shift));
1625 } else {
1626 shl(dst, Immediate(shift - kSmiShift));
1627 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001628 return SmiIndex(dst, times_1);
1629}
1630
1631
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001632void MacroAssembler::JumpIfSmi(Register src, Label* on_smi) {
1633 ASSERT_EQ(0, kSmiTag);
1634 Condition smi = CheckSmi(src);
1635 j(smi, on_smi);
1636}
1637
1638
1639void MacroAssembler::JumpIfNotSmi(Register src, Label* on_not_smi) {
1640 Condition smi = CheckSmi(src);
1641 j(NegateCondition(smi), on_not_smi);
1642}
1643
1644
1645void MacroAssembler::JumpIfNotPositiveSmi(Register src,
1646 Label* on_not_positive_smi) {
1647 Condition positive_smi = CheckPositiveSmi(src);
1648 j(NegateCondition(positive_smi), on_not_positive_smi);
1649}
1650
1651
1652void MacroAssembler::JumpIfSmiEqualsConstant(Register src,
1653 Smi* constant,
1654 Label* on_equals) {
1655 SmiCompare(src, constant);
1656 j(equal, on_equals);
1657}
1658
1659
1660void MacroAssembler::JumpIfNotValidSmiValue(Register src, Label* on_invalid) {
1661 Condition is_valid = CheckInteger32ValidSmiValue(src);
1662 j(NegateCondition(is_valid), on_invalid);
1663}
1664
1665
ager@chromium.org3811b432009-10-28 14:53:37 +00001666void MacroAssembler::JumpIfUIntNotValidSmiValue(Register src,
1667 Label* on_invalid) {
1668 Condition is_valid = CheckUInteger32ValidSmiValue(src);
1669 j(NegateCondition(is_valid), on_invalid);
1670}
1671
1672
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001673void MacroAssembler::JumpIfNotBothSmi(Register src1, Register src2,
1674 Label* on_not_both_smi) {
1675 Condition both_smi = CheckBothSmi(src1, src2);
1676 j(NegateCondition(both_smi), on_not_both_smi);
1677}
ager@chromium.org4af710e2009-09-15 12:20:11 +00001678
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001679
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001680void MacroAssembler::JumpIfNotBothPositiveSmi(Register src1, Register src2,
1681 Label* on_not_both_smi) {
1682 Condition both_smi = CheckBothPositiveSmi(src1, src2);
1683 j(NegateCondition(both_smi), on_not_both_smi);
1684}
1685
1686
1687
1688void MacroAssembler::JumpIfNotBothSequentialAsciiStrings(Register first_object,
1689 Register second_object,
1690 Register scratch1,
1691 Register scratch2,
1692 Label* on_fail) {
1693 // Check that both objects are not smis.
1694 Condition either_smi = CheckEitherSmi(first_object, second_object);
1695 j(either_smi, on_fail);
1696
1697 // Load instance type for both strings.
1698 movq(scratch1, FieldOperand(first_object, HeapObject::kMapOffset));
1699 movq(scratch2, FieldOperand(second_object, HeapObject::kMapOffset));
1700 movzxbl(scratch1, FieldOperand(scratch1, Map::kInstanceTypeOffset));
1701 movzxbl(scratch2, FieldOperand(scratch2, Map::kInstanceTypeOffset));
1702
1703 // Check that both are flat ascii strings.
1704 ASSERT(kNotStringTag != 0);
1705 const int kFlatAsciiStringMask =
1706 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
1707 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
1708
1709 andl(scratch1, Immediate(kFlatAsciiStringMask));
1710 andl(scratch2, Immediate(kFlatAsciiStringMask));
1711 // Interleave the bits to check both scratch1 and scratch2 in one test.
1712 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
1713 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
1714 cmpl(scratch1,
1715 Immediate(kFlatAsciiStringTag + (kFlatAsciiStringTag << 3)));
1716 j(not_equal, on_fail);
1717}
1718
1719
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001720void MacroAssembler::JumpIfInstanceTypeIsNotSequentialAscii(
1721 Register instance_type,
1722 Register scratch,
1723 Label *failure) {
1724 if (!scratch.is(instance_type)) {
1725 movl(scratch, instance_type);
1726 }
1727
1728 const int kFlatAsciiStringMask =
1729 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
1730
1731 andl(scratch, Immediate(kFlatAsciiStringMask));
1732 cmpl(scratch, Immediate(kStringTag | kSeqStringTag | kAsciiStringTag));
1733 j(not_equal, failure);
1734}
1735
1736
1737void MacroAssembler::JumpIfBothInstanceTypesAreNotSequentialAscii(
1738 Register first_object_instance_type,
1739 Register second_object_instance_type,
1740 Register scratch1,
1741 Register scratch2,
1742 Label* on_fail) {
1743 // Load instance type for both strings.
1744 movq(scratch1, first_object_instance_type);
1745 movq(scratch2, second_object_instance_type);
1746
1747 // Check that both are flat ascii strings.
1748 ASSERT(kNotStringTag != 0);
1749 const int kFlatAsciiStringMask =
1750 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
1751 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
1752
1753 andl(scratch1, Immediate(kFlatAsciiStringMask));
1754 andl(scratch2, Immediate(kFlatAsciiStringMask));
1755 // Interleave the bits to check both scratch1 and scratch2 in one test.
1756 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
1757 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
1758 cmpl(scratch1,
1759 Immediate(kFlatAsciiStringTag + (kFlatAsciiStringTag << 3)));
1760 j(not_equal, on_fail);
1761}
1762
1763
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001764void MacroAssembler::Move(Register dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001765 ASSERT(!source->IsFailure());
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001766 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001767 Move(dst, Smi::cast(*source));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001768 } else {
1769 movq(dst, source, RelocInfo::EMBEDDED_OBJECT);
1770 }
1771}
1772
1773
1774void MacroAssembler::Move(const Operand& dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001775 ASSERT(!source->IsFailure());
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001776 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001777 Move(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001778 } else {
1779 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1780 movq(dst, kScratchRegister);
1781 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001782}
1783
1784
1785void MacroAssembler::Cmp(Register dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001786 if (source->IsSmi()) {
1787 SmiCompare(dst, Smi::cast(*source));
1788 } else {
1789 Move(kScratchRegister, source);
1790 cmpq(dst, kScratchRegister);
1791 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001792}
1793
1794
ager@chromium.org3e875802009-06-29 08:26:34 +00001795void MacroAssembler::Cmp(const Operand& dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001796 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001797 SmiCompare(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001798 } else {
1799 ASSERT(source->IsHeapObject());
1800 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1801 cmpq(dst, kScratchRegister);
1802 }
ager@chromium.org3e875802009-06-29 08:26:34 +00001803}
1804
1805
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001806void MacroAssembler::Push(Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001807 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001808 Push(Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001809 } else {
1810 ASSERT(source->IsHeapObject());
1811 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1812 push(kScratchRegister);
1813 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001814}
1815
1816
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001817void MacroAssembler::Push(Smi* source) {
ager@chromium.org3811b432009-10-28 14:53:37 +00001818 intptr_t smi = reinterpret_cast<intptr_t>(source);
1819 if (is_int32(smi)) {
1820 push(Immediate(static_cast<int32_t>(smi)));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001821 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001822 Register constant = GetSmiConstant(source);
1823 push(constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001824 }
1825}
1826
1827
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001828void MacroAssembler::Drop(int stack_elements) {
1829 if (stack_elements > 0) {
1830 addq(rsp, Immediate(stack_elements * kPointerSize));
1831 }
1832}
1833
1834
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001835void MacroAssembler::Test(const Operand& src, Smi* source) {
kmillikin@chromium.org9155e252010-05-26 13:27:57 +00001836 testl(Operand(src, kIntSize), Immediate(source->value()));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001837}
1838
1839
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001840void MacroAssembler::Jump(ExternalReference ext) {
1841 movq(kScratchRegister, ext);
1842 jmp(kScratchRegister);
1843}
1844
1845
1846void MacroAssembler::Jump(Address destination, RelocInfo::Mode rmode) {
1847 movq(kScratchRegister, destination, rmode);
1848 jmp(kScratchRegister);
1849}
1850
1851
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001852void MacroAssembler::Jump(Handle<Code> code_object, RelocInfo::Mode rmode) {
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001853 // TODO(X64): Inline this
1854 jmp(code_object, rmode);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001855}
1856
1857
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001858void MacroAssembler::Call(ExternalReference ext) {
1859 movq(kScratchRegister, ext);
1860 call(kScratchRegister);
1861}
1862
1863
1864void MacroAssembler::Call(Address destination, RelocInfo::Mode rmode) {
1865 movq(kScratchRegister, destination, rmode);
1866 call(kScratchRegister);
1867}
1868
1869
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001870void MacroAssembler::Call(Handle<Code> code_object, RelocInfo::Mode rmode) {
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001871 ASSERT(RelocInfo::IsCodeTarget(rmode));
sgjesse@chromium.org911335c2009-08-19 12:59:44 +00001872 WriteRecordedPositions();
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001873 call(code_object, rmode);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001874}
1875
1876
ager@chromium.orge2902be2009-06-08 12:21:35 +00001877void MacroAssembler::PushTryHandler(CodeLocation try_location,
1878 HandlerType type) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001879 // Adjust this code if not the case.
1880 ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
1881
1882 // The pc (return address) is already on TOS. This code pushes state,
1883 // frame pointer and current handler. Check that they are expected
1884 // next on the stack, in that order.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001885 ASSERT_EQ(StackHandlerConstants::kStateOffset,
1886 StackHandlerConstants::kPCOffset - kPointerSize);
ager@chromium.orge2902be2009-06-08 12:21:35 +00001887 ASSERT_EQ(StackHandlerConstants::kFPOffset,
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001888 StackHandlerConstants::kStateOffset - kPointerSize);
1889 ASSERT_EQ(StackHandlerConstants::kNextOffset,
ager@chromium.orge2902be2009-06-08 12:21:35 +00001890 StackHandlerConstants::kFPOffset - kPointerSize);
1891
1892 if (try_location == IN_JAVASCRIPT) {
1893 if (type == TRY_CATCH_HANDLER) {
1894 push(Immediate(StackHandler::TRY_CATCH));
1895 } else {
1896 push(Immediate(StackHandler::TRY_FINALLY));
1897 }
ager@chromium.orge2902be2009-06-08 12:21:35 +00001898 push(rbp);
ager@chromium.orge2902be2009-06-08 12:21:35 +00001899 } else {
1900 ASSERT(try_location == IN_JS_ENTRY);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001901 // The frame pointer does not point to a JS frame so we save NULL
1902 // for rbp. We expect the code throwing an exception to check rbp
1903 // before dereferencing it to restore the context.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001904 push(Immediate(StackHandler::ENTRY));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001905 push(Immediate(0)); // NULL frame pointer.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001906 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001907 // Save the current handler.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001908 movq(kScratchRegister, ExternalReference(Top::k_handler_address));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001909 push(Operand(kScratchRegister, 0));
ager@chromium.orge2902be2009-06-08 12:21:35 +00001910 // Link this handler.
1911 movq(Operand(kScratchRegister, 0), rsp);
1912}
1913
1914
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001915void MacroAssembler::PopTryHandler() {
1916 ASSERT_EQ(0, StackHandlerConstants::kNextOffset);
1917 // Unlink this handler.
1918 movq(kScratchRegister, ExternalReference(Top::k_handler_address));
1919 pop(Operand(kScratchRegister, 0));
1920 // Remove the remaining fields.
1921 addq(rsp, Immediate(StackHandlerConstants::kSize - kPointerSize));
1922}
1923
1924
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001925void MacroAssembler::Ret() {
1926 ret(0);
1927}
1928
1929
ager@chromium.org3e875802009-06-29 08:26:34 +00001930void MacroAssembler::FCmp() {
ager@chromium.org3811b432009-10-28 14:53:37 +00001931 fucomip();
fschneider@chromium.org40b9da32010-06-28 11:29:21 +00001932 fstp(0);
ager@chromium.org3e875802009-06-29 08:26:34 +00001933}
1934
1935
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001936void MacroAssembler::CmpObjectType(Register heap_object,
1937 InstanceType type,
1938 Register map) {
1939 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
1940 CmpInstanceType(map, type);
1941}
1942
1943
1944void MacroAssembler::CmpInstanceType(Register map, InstanceType type) {
1945 cmpb(FieldOperand(map, Map::kInstanceTypeOffset),
1946 Immediate(static_cast<int8_t>(type)));
1947}
1948
1949
ager@chromium.org5c838252010-02-19 08:53:10 +00001950void MacroAssembler::CheckMap(Register obj,
1951 Handle<Map> map,
1952 Label* fail,
1953 bool is_heap_object) {
1954 if (!is_heap_object) {
1955 JumpIfSmi(obj, fail);
1956 }
1957 Cmp(FieldOperand(obj, HeapObject::kMapOffset), map);
1958 j(not_equal, fail);
1959}
1960
1961
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001962void MacroAssembler::AbortIfNotNumber(Register object) {
ager@chromium.org5c838252010-02-19 08:53:10 +00001963 Label ok;
1964 Condition is_smi = CheckSmi(object);
1965 j(is_smi, &ok);
1966 Cmp(FieldOperand(object, HeapObject::kMapOffset),
1967 Factory::heap_number_map());
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001968 Assert(equal, "Operand not a number");
ager@chromium.org5c838252010-02-19 08:53:10 +00001969 bind(&ok);
1970}
1971
1972
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001973void MacroAssembler::AbortIfNotSmi(Register object) {
lrn@chromium.org25156de2010-04-06 13:10:27 +00001974 Label ok;
1975 Condition is_smi = CheckSmi(object);
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001976 Assert(is_smi, "Operand not a smi");
lrn@chromium.org25156de2010-04-06 13:10:27 +00001977}
1978
1979
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001980void MacroAssembler::AbortIfNotRootValue(Register src,
1981 Heap::RootListIndex root_value_index,
1982 const char* message) {
1983 ASSERT(!src.is(kScratchRegister));
1984 LoadRoot(kScratchRegister, root_value_index);
1985 cmpq(src, kScratchRegister);
1986 Check(equal, message);
1987}
1988
1989
1990
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001991Condition MacroAssembler::IsObjectStringType(Register heap_object,
1992 Register map,
1993 Register instance_type) {
1994 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
1995 movzxbl(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
1996 ASSERT(kNotStringTag != 0);
1997 testb(instance_type, Immediate(kIsNotStringMask));
1998 return zero;
1999}
2000
2001
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002002void MacroAssembler::TryGetFunctionPrototype(Register function,
2003 Register result,
2004 Label* miss) {
2005 // Check that the receiver isn't a smi.
2006 testl(function, Immediate(kSmiTagMask));
2007 j(zero, miss);
2008
2009 // Check that the function really is a function.
2010 CmpObjectType(function, JS_FUNCTION_TYPE, result);
2011 j(not_equal, miss);
2012
2013 // Make sure that the function has an instance prototype.
2014 Label non_instance;
2015 testb(FieldOperand(result, Map::kBitFieldOffset),
2016 Immediate(1 << Map::kHasNonInstancePrototype));
2017 j(not_zero, &non_instance);
2018
2019 // Get the prototype or initial map from the function.
2020 movq(result,
2021 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2022
2023 // If the prototype or initial map is the hole, don't return it and
2024 // simply miss the cache instead. This will allow us to allocate a
2025 // prototype object on-demand in the runtime system.
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002026 CompareRoot(result, Heap::kTheHoleValueRootIndex);
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002027 j(equal, miss);
2028
2029 // If the function does not have an initial map, we're done.
2030 Label done;
2031 CmpObjectType(result, MAP_TYPE, kScratchRegister);
2032 j(not_equal, &done);
2033
2034 // Get the prototype from the initial map.
2035 movq(result, FieldOperand(result, Map::kPrototypeOffset));
2036 jmp(&done);
2037
2038 // Non-instance prototype: Fetch prototype from constructor field
2039 // in initial map.
2040 bind(&non_instance);
2041 movq(result, FieldOperand(result, Map::kConstructorOffset));
2042
2043 // All done.
2044 bind(&done);
2045}
2046
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002047
2048void MacroAssembler::SetCounter(StatsCounter* counter, int value) {
2049 if (FLAG_native_code_counters && counter->Enabled()) {
2050 movq(kScratchRegister, ExternalReference(counter));
2051 movl(Operand(kScratchRegister, 0), Immediate(value));
2052 }
2053}
2054
2055
2056void MacroAssembler::IncrementCounter(StatsCounter* counter, int value) {
2057 ASSERT(value > 0);
2058 if (FLAG_native_code_counters && counter->Enabled()) {
2059 movq(kScratchRegister, ExternalReference(counter));
2060 Operand operand(kScratchRegister, 0);
2061 if (value == 1) {
2062 incl(operand);
2063 } else {
2064 addl(operand, Immediate(value));
2065 }
2066 }
2067}
2068
2069
2070void MacroAssembler::DecrementCounter(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 decl(operand);
2077 } else {
2078 subl(operand, Immediate(value));
2079 }
2080 }
2081}
2082
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002083#ifdef ENABLE_DEBUGGER_SUPPORT
2084
2085void MacroAssembler::PushRegistersFromMemory(RegList regs) {
2086 ASSERT((regs & ~kJSCallerSaved) == 0);
2087 // Push the content of the memory location to the stack.
2088 for (int i = 0; i < kNumJSCallerSaved; i++) {
2089 int r = JSCallerSavedCode(i);
2090 if ((regs & (1 << r)) != 0) {
2091 ExternalReference reg_addr =
2092 ExternalReference(Debug_Address::Register(i));
2093 movq(kScratchRegister, reg_addr);
2094 push(Operand(kScratchRegister, 0));
2095 }
2096 }
2097}
2098
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002099
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002100void MacroAssembler::SaveRegistersToMemory(RegList regs) {
2101 ASSERT((regs & ~kJSCallerSaved) == 0);
2102 // Copy the content of registers to memory location.
2103 for (int i = 0; i < kNumJSCallerSaved; i++) {
2104 int r = JSCallerSavedCode(i);
2105 if ((regs & (1 << r)) != 0) {
2106 Register reg = { r };
2107 ExternalReference reg_addr =
2108 ExternalReference(Debug_Address::Register(i));
2109 movq(kScratchRegister, reg_addr);
2110 movq(Operand(kScratchRegister, 0), reg);
2111 }
2112 }
2113}
2114
2115
2116void MacroAssembler::RestoreRegistersFromMemory(RegList regs) {
2117 ASSERT((regs & ~kJSCallerSaved) == 0);
2118 // Copy the content of memory location to registers.
2119 for (int i = kNumJSCallerSaved - 1; i >= 0; i--) {
2120 int r = JSCallerSavedCode(i);
2121 if ((regs & (1 << r)) != 0) {
2122 Register reg = { r };
2123 ExternalReference reg_addr =
2124 ExternalReference(Debug_Address::Register(i));
2125 movq(kScratchRegister, reg_addr);
2126 movq(reg, Operand(kScratchRegister, 0));
2127 }
2128 }
2129}
2130
2131
2132void MacroAssembler::PopRegistersToMemory(RegList regs) {
2133 ASSERT((regs & ~kJSCallerSaved) == 0);
2134 // Pop the content from the stack to the memory location.
2135 for (int i = kNumJSCallerSaved - 1; i >= 0; i--) {
2136 int r = JSCallerSavedCode(i);
2137 if ((regs & (1 << r)) != 0) {
2138 ExternalReference reg_addr =
2139 ExternalReference(Debug_Address::Register(i));
2140 movq(kScratchRegister, reg_addr);
2141 pop(Operand(kScratchRegister, 0));
2142 }
2143 }
2144}
2145
2146
2147void MacroAssembler::CopyRegistersFromStackToMemory(Register base,
2148 Register scratch,
2149 RegList regs) {
2150 ASSERT(!scratch.is(kScratchRegister));
2151 ASSERT(!base.is(kScratchRegister));
2152 ASSERT(!base.is(scratch));
2153 ASSERT((regs & ~kJSCallerSaved) == 0);
2154 // Copy the content of the stack to the memory location and adjust base.
2155 for (int i = kNumJSCallerSaved - 1; i >= 0; i--) {
2156 int r = JSCallerSavedCode(i);
2157 if ((regs & (1 << r)) != 0) {
2158 movq(scratch, Operand(base, 0));
2159 ExternalReference reg_addr =
2160 ExternalReference(Debug_Address::Register(i));
2161 movq(kScratchRegister, reg_addr);
2162 movq(Operand(kScratchRegister, 0), scratch);
2163 lea(base, Operand(base, kPointerSize));
2164 }
2165 }
2166}
2167
ager@chromium.org5c838252010-02-19 08:53:10 +00002168void MacroAssembler::DebugBreak() {
2169 ASSERT(allow_stub_calls());
2170 xor_(rax, rax); // no arguments
2171 movq(rbx, ExternalReference(Runtime::kDebugBreak));
2172 CEntryStub ces(1);
2173 Call(ces.GetCode(), RelocInfo::DEBUG_BREAK);
ager@chromium.org3e875802009-06-29 08:26:34 +00002174}
ager@chromium.org5c838252010-02-19 08:53:10 +00002175#endif // ENABLE_DEBUGGER_SUPPORT
ager@chromium.org3e875802009-06-29 08:26:34 +00002176
2177
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002178void MacroAssembler::InvokePrologue(const ParameterCount& expected,
2179 const ParameterCount& actual,
2180 Handle<Code> code_constant,
2181 Register code_register,
2182 Label* done,
2183 InvokeFlag flag) {
2184 bool definitely_matches = false;
2185 Label invoke;
2186 if (expected.is_immediate()) {
2187 ASSERT(actual.is_immediate());
2188 if (expected.immediate() == actual.immediate()) {
2189 definitely_matches = true;
2190 } else {
lrn@chromium.org32d961d2010-06-30 09:09:34 +00002191 Set(rax, actual.immediate());
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002192 if (expected.immediate() ==
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002193 SharedFunctionInfo::kDontAdaptArgumentsSentinel) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002194 // Don't worry about adapting arguments for built-ins that
2195 // don't want that done. Skip adaption code by making it look
2196 // like we have a match between expected and actual number of
2197 // arguments.
2198 definitely_matches = true;
2199 } else {
lrn@chromium.org32d961d2010-06-30 09:09:34 +00002200 Set(rbx, expected.immediate());
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002201 }
2202 }
2203 } else {
2204 if (actual.is_immediate()) {
2205 // Expected is in register, actual is immediate. This is the
2206 // case when we invoke function values without going through the
2207 // IC mechanism.
2208 cmpq(expected.reg(), Immediate(actual.immediate()));
2209 j(equal, &invoke);
2210 ASSERT(expected.reg().is(rbx));
lrn@chromium.org32d961d2010-06-30 09:09:34 +00002211 Set(rax, actual.immediate());
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002212 } else if (!expected.reg().is(actual.reg())) {
2213 // Both expected and actual are in (different) registers. This
2214 // is the case when we invoke functions using call and apply.
2215 cmpq(expected.reg(), actual.reg());
2216 j(equal, &invoke);
2217 ASSERT(actual.reg().is(rax));
2218 ASSERT(expected.reg().is(rbx));
2219 }
2220 }
2221
2222 if (!definitely_matches) {
2223 Handle<Code> adaptor =
2224 Handle<Code>(Builtins::builtin(Builtins::ArgumentsAdaptorTrampoline));
2225 if (!code_constant.is_null()) {
2226 movq(rdx, code_constant, RelocInfo::EMBEDDED_OBJECT);
2227 addq(rdx, Immediate(Code::kHeaderSize - kHeapObjectTag));
2228 } else if (!code_register.is(rdx)) {
2229 movq(rdx, code_register);
2230 }
2231
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002232 if (flag == CALL_FUNCTION) {
sgjesse@chromium.org911335c2009-08-19 12:59:44 +00002233 Call(adaptor, RelocInfo::CODE_TARGET);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002234 jmp(done);
2235 } else {
sgjesse@chromium.org911335c2009-08-19 12:59:44 +00002236 Jump(adaptor, RelocInfo::CODE_TARGET);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002237 }
2238 bind(&invoke);
2239 }
2240}
2241
2242
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002243void MacroAssembler::InvokeCode(Register code,
2244 const ParameterCount& expected,
2245 const ParameterCount& actual,
2246 InvokeFlag flag) {
2247 Label done;
2248 InvokePrologue(expected, actual, Handle<Code>::null(), code, &done, flag);
2249 if (flag == CALL_FUNCTION) {
2250 call(code);
2251 } else {
2252 ASSERT(flag == JUMP_FUNCTION);
2253 jmp(code);
2254 }
2255 bind(&done);
2256}
2257
2258
2259void MacroAssembler::InvokeCode(Handle<Code> code,
2260 const ParameterCount& expected,
2261 const ParameterCount& actual,
2262 RelocInfo::Mode rmode,
2263 InvokeFlag flag) {
2264 Label done;
2265 Register dummy = rax;
2266 InvokePrologue(expected, actual, code, dummy, &done, flag);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002267 if (flag == CALL_FUNCTION) {
ager@chromium.org3e875802009-06-29 08:26:34 +00002268 Call(code, rmode);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002269 } else {
2270 ASSERT(flag == JUMP_FUNCTION);
ager@chromium.org3e875802009-06-29 08:26:34 +00002271 Jump(code, rmode);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002272 }
2273 bind(&done);
2274}
2275
2276
2277void MacroAssembler::InvokeFunction(Register function,
2278 const ParameterCount& actual,
2279 InvokeFlag flag) {
2280 ASSERT(function.is(rdi));
2281 movq(rdx, FieldOperand(function, JSFunction::kSharedFunctionInfoOffset));
2282 movq(rsi, FieldOperand(function, JSFunction::kContextOffset));
ager@chromium.org3e875802009-06-29 08:26:34 +00002283 movsxlq(rbx,
2284 FieldOperand(rdx, SharedFunctionInfo::kFormalParameterCountOffset));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002285 movq(rdx, FieldOperand(rdx, SharedFunctionInfo::kCodeOffset));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002286 // Advances rdx to the end of the Code object header, to the start of
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002287 // the executable code.
2288 lea(rdx, FieldOperand(rdx, Code::kHeaderSize));
2289
2290 ParameterCount expected(rbx);
2291 InvokeCode(rdx, expected, actual, flag);
2292}
2293
2294
ager@chromium.org5c838252010-02-19 08:53:10 +00002295void MacroAssembler::InvokeFunction(JSFunction* function,
2296 const ParameterCount& actual,
2297 InvokeFlag flag) {
2298 ASSERT(function->is_compiled());
2299 // Get the function and setup the context.
2300 Move(rdi, Handle<JSFunction>(function));
2301 movq(rsi, FieldOperand(rdi, JSFunction::kContextOffset));
2302
2303 // Invoke the cached code.
2304 Handle<Code> code(function->code());
2305 ParameterCount expected(function->shared()->formal_parameter_count());
2306 InvokeCode(code, expected, actual, RelocInfo::CODE_TARGET, flag);
2307}
2308
2309
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002310void MacroAssembler::EnterFrame(StackFrame::Type type) {
2311 push(rbp);
2312 movq(rbp, rsp);
2313 push(rsi); // Context.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002314 Push(Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002315 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
2316 push(kScratchRegister);
2317 if (FLAG_debug_code) {
2318 movq(kScratchRegister,
2319 Factory::undefined_value(),
2320 RelocInfo::EMBEDDED_OBJECT);
2321 cmpq(Operand(rsp, 0), kScratchRegister);
2322 Check(not_equal, "code object not properly patched");
2323 }
2324}
2325
2326
2327void MacroAssembler::LeaveFrame(StackFrame::Type type) {
2328 if (FLAG_debug_code) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002329 Move(kScratchRegister, Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002330 cmpq(Operand(rbp, StandardFrameConstants::kMarkerOffset), kScratchRegister);
2331 Check(equal, "stack frame types must match");
2332 }
2333 movq(rsp, rbp);
2334 pop(rbp);
2335}
2336
2337
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002338void MacroAssembler::EnterExitFramePrologue(ExitFrame::Mode mode,
2339 bool save_rax) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002340 // Setup the frame structure on the stack.
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002341 // All constants are relative to the frame pointer of the exit frame.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002342 ASSERT(ExitFrameConstants::kCallerSPDisplacement == +2 * kPointerSize);
2343 ASSERT(ExitFrameConstants::kCallerPCOffset == +1 * kPointerSize);
2344 ASSERT(ExitFrameConstants::kCallerFPOffset == 0 * kPointerSize);
2345 push(rbp);
2346 movq(rbp, rsp);
2347
2348 // Reserve room for entry stack pointer and push the debug marker.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002349 ASSERT(ExitFrameConstants::kSPOffset == -1 * kPointerSize);
ager@chromium.org5c838252010-02-19 08:53:10 +00002350 push(Immediate(0)); // Saved entry sp, patched before call.
2351 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
2352 push(kScratchRegister); // Accessed from EditFrame::code_slot.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002353
2354 // Save the frame pointer and the context in top.
2355 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
2356 ExternalReference context_address(Top::k_context_address);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002357 if (save_rax) {
2358 movq(r14, rax); // Backup rax before we use it.
2359 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002360
2361 movq(rax, rbp);
2362 store_rax(c_entry_fp_address);
2363 movq(rax, rsi);
2364 store_rax(context_address);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002365}
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002366
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002367void MacroAssembler::EnterExitFrameEpilogue(ExitFrame::Mode mode,
2368 int result_size,
2369 int argc) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002370#ifdef ENABLE_DEBUGGER_SUPPORT
2371 // Save the state of all registers to the stack from the memory
2372 // location. This is needed to allow nested break points.
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002373 if (mode == ExitFrame::MODE_DEBUG) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002374 // TODO(1243899): This should be symmetric to
2375 // CopyRegistersFromStackToMemory() but it isn't! esp is assumed
2376 // correct here, but computed for the other call. Very error
2377 // prone! FIX THIS. Actually there are deeper problems with
2378 // register saving than this asymmetry (see the bug report
2379 // associated with this issue).
2380 PushRegistersFromMemory(kJSCallerSaved);
2381 }
2382#endif
2383
ager@chromium.orga1645e22009-09-09 19:27:10 +00002384#ifdef _WIN64
2385 // Reserve space on stack for result and argument structures, if necessary.
2386 int result_stack_space = (result_size < 2) ? 0 : result_size * kPointerSize;
2387 // Reserve space for the Arguments object. The Windows 64-bit ABI
2388 // requires us to pass this structure as a pointer to its location on
2389 // the stack. The structure contains 2 values.
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002390 int argument_stack_space = argc * kPointerSize;
ager@chromium.orga1645e22009-09-09 19:27:10 +00002391 // We also need backing space for 4 parameters, even though
2392 // we only pass one or two parameter, and it is in a register.
2393 int argument_mirror_space = 4 * kPointerSize;
2394 int total_stack_space =
2395 argument_mirror_space + argument_stack_space + result_stack_space;
2396 subq(rsp, Immediate(total_stack_space));
2397#endif
2398
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002399 // Get the required frame alignment for the OS.
2400 static const int kFrameAlignment = OS::ActivationFrameAlignment();
2401 if (kFrameAlignment > 0) {
2402 ASSERT(IsPowerOf2(kFrameAlignment));
2403 movq(kScratchRegister, Immediate(-kFrameAlignment));
2404 and_(rsp, kScratchRegister);
2405 }
2406
2407 // Patch the saved entry sp.
2408 movq(Operand(rbp, ExitFrameConstants::kSPOffset), rsp);
2409}
2410
2411
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002412void MacroAssembler::EnterExitFrame(ExitFrame::Mode mode, int result_size) {
2413 EnterExitFramePrologue(mode, true);
2414
2415 // Setup argv in callee-saved register r12. It is reused in LeaveExitFrame,
2416 // so it must be retained across the C-call.
2417 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
2418 lea(r12, Operand(rbp, r14, times_pointer_size, offset));
2419
2420 EnterExitFrameEpilogue(mode, result_size, 2);
2421}
2422
2423
2424void MacroAssembler::EnterApiExitFrame(ExitFrame::Mode mode,
2425 int stack_space,
2426 int argc,
2427 int result_size) {
2428 EnterExitFramePrologue(mode, false);
2429
2430 // Setup argv in callee-saved register r12. It is reused in LeaveExitFrame,
2431 // so it must be retained across the C-call.
2432 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
2433 lea(r12, Operand(rbp, (stack_space * kPointerSize) + offset));
2434
2435 EnterExitFrameEpilogue(mode, result_size, argc);
2436}
2437
2438
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002439void MacroAssembler::LeaveExitFrame(ExitFrame::Mode mode, int result_size) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002440 // Registers:
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00002441 // r12 : argv
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002442#ifdef ENABLE_DEBUGGER_SUPPORT
2443 // Restore the memory copy of the registers by digging them out from
2444 // the stack. This is needed to allow nested break points.
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002445 if (mode == ExitFrame::MODE_DEBUG) {
ager@chromium.orga1645e22009-09-09 19:27:10 +00002446 // It's okay to clobber register rbx below because we don't need
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002447 // the function pointer after this.
2448 const int kCallerSavedSize = kNumJSCallerSaved * kPointerSize;
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002449 int kOffset = ExitFrameConstants::kCodeOffset - kCallerSavedSize;
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002450 lea(rbx, Operand(rbp, kOffset));
2451 CopyRegistersFromStackToMemory(rbx, rcx, kJSCallerSaved);
2452 }
2453#endif
2454
2455 // Get the return address from the stack and restore the frame pointer.
2456 movq(rcx, Operand(rbp, 1 * kPointerSize));
2457 movq(rbp, Operand(rbp, 0 * kPointerSize));
2458
ager@chromium.orga1645e22009-09-09 19:27:10 +00002459 // Pop everything up to and including the arguments and the receiver
2460 // from the caller stack.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00002461 lea(rsp, Operand(r12, 1 * kPointerSize));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002462
2463 // Restore current context from top and clear it in debug mode.
2464 ExternalReference context_address(Top::k_context_address);
2465 movq(kScratchRegister, context_address);
2466 movq(rsi, Operand(kScratchRegister, 0));
2467#ifdef DEBUG
2468 movq(Operand(kScratchRegister, 0), Immediate(0));
2469#endif
2470
2471 // Push the return address to get ready to return.
2472 push(rcx);
2473
2474 // Clear the top frame.
2475 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
2476 movq(kScratchRegister, c_entry_fp_address);
2477 movq(Operand(kScratchRegister, 0), Immediate(0));
2478}
2479
2480
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002481void MacroAssembler::CheckAccessGlobalProxy(Register holder_reg,
2482 Register scratch,
2483 Label* miss) {
2484 Label same_contexts;
2485
2486 ASSERT(!holder_reg.is(scratch));
2487 ASSERT(!scratch.is(kScratchRegister));
2488 // Load current lexical context from the stack frame.
2489 movq(scratch, Operand(rbp, StandardFrameConstants::kContextOffset));
2490
2491 // When generating debug code, make sure the lexical context is set.
2492 if (FLAG_debug_code) {
2493 cmpq(scratch, Immediate(0));
2494 Check(not_equal, "we should not have an empty lexical context");
2495 }
2496 // Load the global context of the current context.
2497 int offset = Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
2498 movq(scratch, FieldOperand(scratch, offset));
2499 movq(scratch, FieldOperand(scratch, GlobalObject::kGlobalContextOffset));
2500
2501 // Check the context is a global context.
2502 if (FLAG_debug_code) {
2503 Cmp(FieldOperand(scratch, HeapObject::kMapOffset),
2504 Factory::global_context_map());
2505 Check(equal, "JSGlobalObject::global_context should be a global context.");
2506 }
2507
2508 // Check if both contexts are the same.
2509 cmpq(scratch, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
2510 j(equal, &same_contexts);
2511
2512 // Compare security tokens.
2513 // Check that the security token in the calling global object is
2514 // compatible with the security token in the receiving global
2515 // object.
2516
2517 // Check the context is a global context.
2518 if (FLAG_debug_code) {
2519 // Preserve original value of holder_reg.
2520 push(holder_reg);
2521 movq(holder_reg, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002522 CompareRoot(holder_reg, Heap::kNullValueRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002523 Check(not_equal, "JSGlobalProxy::context() should not be null.");
2524
2525 // Read the first word and compare to global_context_map(),
2526 movq(holder_reg, FieldOperand(holder_reg, HeapObject::kMapOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002527 CompareRoot(holder_reg, Heap::kGlobalContextMapRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002528 Check(equal, "JSGlobalObject::global_context should be a global context.");
2529 pop(holder_reg);
2530 }
2531
2532 movq(kScratchRegister,
2533 FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002534 int token_offset =
2535 Context::kHeaderSize + Context::SECURITY_TOKEN_INDEX * kPointerSize;
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002536 movq(scratch, FieldOperand(scratch, token_offset));
2537 cmpq(scratch, FieldOperand(kScratchRegister, token_offset));
2538 j(not_equal, miss);
2539
2540 bind(&same_contexts);
2541}
2542
2543
ager@chromium.orga1645e22009-09-09 19:27:10 +00002544void MacroAssembler::LoadAllocationTopHelper(Register result,
2545 Register result_end,
2546 Register scratch,
2547 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002548 ExternalReference new_space_allocation_top =
2549 ExternalReference::new_space_allocation_top_address();
2550
2551 // Just return if allocation top is already known.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002552 if ((flags & RESULT_CONTAINS_TOP) != 0) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002553 // No use of scratch if allocation top is provided.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002554 ASSERT(!scratch.is_valid());
ager@chromium.orga1645e22009-09-09 19:27:10 +00002555#ifdef DEBUG
2556 // Assert that result actually contains top on entry.
2557 movq(kScratchRegister, new_space_allocation_top);
2558 cmpq(result, Operand(kScratchRegister, 0));
2559 Check(equal, "Unexpected allocation top");
2560#endif
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002561 return;
2562 }
2563
ager@chromium.orgac091b72010-05-05 07:34:42 +00002564 // Move address of new object to result. Use scratch register if available,
2565 // and keep address in scratch until call to UpdateAllocationTopHelper.
2566 if (scratch.is_valid()) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002567 ASSERT(!scratch.is(result_end));
2568 movq(scratch, new_space_allocation_top);
2569 movq(result, Operand(scratch, 0));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002570 } else if (result.is(rax)) {
2571 load_rax(new_space_allocation_top);
2572 } else {
2573 movq(kScratchRegister, new_space_allocation_top);
2574 movq(result, Operand(kScratchRegister, 0));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002575 }
2576}
2577
2578
2579void MacroAssembler::UpdateAllocationTopHelper(Register result_end,
2580 Register scratch) {
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002581 if (FLAG_debug_code) {
2582 testq(result_end, Immediate(kObjectAlignmentMask));
2583 Check(zero, "Unaligned allocation in new space");
2584 }
2585
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002586 ExternalReference new_space_allocation_top =
2587 ExternalReference::new_space_allocation_top_address();
2588
2589 // Update new top.
2590 if (result_end.is(rax)) {
2591 // rax can be stored directly to a memory location.
2592 store_rax(new_space_allocation_top);
2593 } else {
2594 // Register required - use scratch provided if available.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002595 if (scratch.is_valid()) {
2596 movq(Operand(scratch, 0), result_end);
2597 } else {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002598 movq(kScratchRegister, new_space_allocation_top);
2599 movq(Operand(kScratchRegister, 0), result_end);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002600 }
2601 }
2602}
2603
2604
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002605void MacroAssembler::AllocateInNewSpace(int object_size,
2606 Register result,
2607 Register result_end,
2608 Register scratch,
2609 Label* gc_required,
2610 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002611 ASSERT(!result.is(result_end));
2612
2613 // Load address of new object into result.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002614 LoadAllocationTopHelper(result, result_end, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002615
2616 // Calculate new top and bail out if new space is exhausted.
2617 ExternalReference new_space_allocation_limit =
2618 ExternalReference::new_space_allocation_limit_address();
ager@chromium.orgac091b72010-05-05 07:34:42 +00002619
2620 Register top_reg = result_end.is_valid() ? result_end : result;
2621
2622 if (top_reg.is(result)) {
2623 addq(top_reg, Immediate(object_size));
2624 } else {
2625 lea(top_reg, Operand(result, object_size));
2626 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002627 movq(kScratchRegister, new_space_allocation_limit);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002628 cmpq(top_reg, Operand(kScratchRegister, 0));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002629 j(above, gc_required);
2630
2631 // Update allocation top.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002632 UpdateAllocationTopHelper(top_reg, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002633
ager@chromium.orgac091b72010-05-05 07:34:42 +00002634 if (top_reg.is(result)) {
2635 if ((flags & TAG_OBJECT) != 0) {
2636 subq(result, Immediate(object_size - kHeapObjectTag));
2637 } else {
2638 subq(result, Immediate(object_size));
2639 }
2640 } else if ((flags & TAG_OBJECT) != 0) {
2641 // Tag the result if requested.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002642 addq(result, Immediate(kHeapObjectTag));
2643 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002644}
2645
2646
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002647void MacroAssembler::AllocateInNewSpace(int header_size,
2648 ScaleFactor element_size,
2649 Register element_count,
2650 Register result,
2651 Register result_end,
2652 Register scratch,
2653 Label* gc_required,
2654 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002655 ASSERT(!result.is(result_end));
2656
2657 // Load address of new object into result.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002658 LoadAllocationTopHelper(result, result_end, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002659
2660 // Calculate new top and bail out if new space is exhausted.
2661 ExternalReference new_space_allocation_limit =
2662 ExternalReference::new_space_allocation_limit_address();
2663 lea(result_end, Operand(result, element_count, element_size, header_size));
2664 movq(kScratchRegister, new_space_allocation_limit);
2665 cmpq(result_end, Operand(kScratchRegister, 0));
2666 j(above, gc_required);
2667
2668 // Update allocation top.
2669 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002670
2671 // Tag the result if requested.
2672 if ((flags & TAG_OBJECT) != 0) {
2673 addq(result, Immediate(kHeapObjectTag));
2674 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002675}
2676
2677
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002678void MacroAssembler::AllocateInNewSpace(Register object_size,
2679 Register result,
2680 Register result_end,
2681 Register scratch,
2682 Label* gc_required,
2683 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002684 // Load address of new object into result.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002685 LoadAllocationTopHelper(result, result_end, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002686
2687 // Calculate new top and bail out if new space is exhausted.
2688 ExternalReference new_space_allocation_limit =
2689 ExternalReference::new_space_allocation_limit_address();
2690 if (!object_size.is(result_end)) {
2691 movq(result_end, object_size);
2692 }
2693 addq(result_end, result);
2694 movq(kScratchRegister, new_space_allocation_limit);
2695 cmpq(result_end, Operand(kScratchRegister, 0));
2696 j(above, gc_required);
2697
2698 // Update allocation top.
2699 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002700
2701 // Tag the result if requested.
2702 if ((flags & TAG_OBJECT) != 0) {
2703 addq(result, Immediate(kHeapObjectTag));
2704 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002705}
2706
2707
2708void MacroAssembler::UndoAllocationInNewSpace(Register object) {
2709 ExternalReference new_space_allocation_top =
2710 ExternalReference::new_space_allocation_top_address();
2711
2712 // Make sure the object has no tag before resetting top.
2713 and_(object, Immediate(~kHeapObjectTagMask));
2714 movq(kScratchRegister, new_space_allocation_top);
2715#ifdef DEBUG
2716 cmpq(object, Operand(kScratchRegister, 0));
2717 Check(below, "Undo allocation of non allocated memory");
2718#endif
2719 movq(Operand(kScratchRegister, 0), object);
2720}
2721
2722
ager@chromium.org3811b432009-10-28 14:53:37 +00002723void MacroAssembler::AllocateHeapNumber(Register result,
2724 Register scratch,
2725 Label* gc_required) {
2726 // Allocate heap number in new space.
2727 AllocateInNewSpace(HeapNumber::kSize,
2728 result,
2729 scratch,
2730 no_reg,
2731 gc_required,
2732 TAG_OBJECT);
2733
2734 // Set the map.
2735 LoadRoot(kScratchRegister, Heap::kHeapNumberMapRootIndex);
2736 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2737}
2738
2739
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002740void MacroAssembler::AllocateTwoByteString(Register result,
2741 Register length,
2742 Register scratch1,
2743 Register scratch2,
2744 Register scratch3,
2745 Label* gc_required) {
2746 // Calculate the number of bytes needed for the characters in the string while
2747 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002748 const int kHeaderAlignment = SeqTwoByteString::kHeaderSize &
2749 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002750 ASSERT(kShortSize == 2);
2751 // scratch1 = length * 2 + kObjectAlignmentMask.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002752 lea(scratch1, Operand(length, length, times_1, kObjectAlignmentMask +
2753 kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002754 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002755 if (kHeaderAlignment > 0) {
2756 subq(scratch1, Immediate(kHeaderAlignment));
2757 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002758
2759 // Allocate two byte string in new space.
2760 AllocateInNewSpace(SeqTwoByteString::kHeaderSize,
2761 times_1,
2762 scratch1,
2763 result,
2764 scratch2,
2765 scratch3,
2766 gc_required,
2767 TAG_OBJECT);
2768
2769 // Set the map, length and hash field.
2770 LoadRoot(kScratchRegister, Heap::kStringMapRootIndex);
2771 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002772 Integer32ToSmi(scratch1, length);
2773 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002774 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002775 Immediate(String::kEmptyHashField));
2776}
2777
2778
2779void MacroAssembler::AllocateAsciiString(Register result,
2780 Register length,
2781 Register scratch1,
2782 Register scratch2,
2783 Register scratch3,
2784 Label* gc_required) {
2785 // Calculate the number of bytes needed for the characters in the string while
2786 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002787 const int kHeaderAlignment = SeqAsciiString::kHeaderSize &
2788 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002789 movl(scratch1, length);
2790 ASSERT(kCharSize == 1);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002791 addq(scratch1, Immediate(kObjectAlignmentMask + kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002792 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002793 if (kHeaderAlignment > 0) {
2794 subq(scratch1, Immediate(kHeaderAlignment));
2795 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002796
2797 // Allocate ascii string in new space.
2798 AllocateInNewSpace(SeqAsciiString::kHeaderSize,
2799 times_1,
2800 scratch1,
2801 result,
2802 scratch2,
2803 scratch3,
2804 gc_required,
2805 TAG_OBJECT);
2806
2807 // Set the map, length and hash field.
2808 LoadRoot(kScratchRegister, Heap::kAsciiStringMapRootIndex);
2809 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002810 Integer32ToSmi(scratch1, length);
2811 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002812 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002813 Immediate(String::kEmptyHashField));
2814}
2815
2816
2817void MacroAssembler::AllocateConsString(Register result,
2818 Register scratch1,
2819 Register scratch2,
2820 Label* gc_required) {
2821 // Allocate heap number in new space.
2822 AllocateInNewSpace(ConsString::kSize,
2823 result,
2824 scratch1,
2825 scratch2,
2826 gc_required,
2827 TAG_OBJECT);
2828
2829 // Set the map. The other fields are left uninitialized.
2830 LoadRoot(kScratchRegister, Heap::kConsStringMapRootIndex);
2831 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2832}
2833
2834
2835void MacroAssembler::AllocateAsciiConsString(Register result,
2836 Register scratch1,
2837 Register scratch2,
2838 Label* gc_required) {
2839 // Allocate heap number in new space.
2840 AllocateInNewSpace(ConsString::kSize,
2841 result,
2842 scratch1,
2843 scratch2,
2844 gc_required,
2845 TAG_OBJECT);
2846
2847 // Set the map. The other fields are left uninitialized.
2848 LoadRoot(kScratchRegister, Heap::kConsAsciiStringMapRootIndex);
2849 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2850}
2851
2852
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002853void MacroAssembler::LoadContext(Register dst, int context_chain_length) {
2854 if (context_chain_length > 0) {
2855 // Move up the chain of contexts to the context containing the slot.
2856 movq(dst, Operand(rsi, Context::SlotOffset(Context::CLOSURE_INDEX)));
2857 // Load the function context (which is the incoming, outer context).
lrn@chromium.orgd5649e32010-01-19 13:36:12 +00002858 movq(dst, FieldOperand(dst, JSFunction::kContextOffset));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002859 for (int i = 1; i < context_chain_length; i++) {
2860 movq(dst, Operand(dst, Context::SlotOffset(Context::CLOSURE_INDEX)));
2861 movq(dst, FieldOperand(dst, JSFunction::kContextOffset));
2862 }
2863 // The context may be an intermediate context, not a function context.
2864 movq(dst, Operand(dst, Context::SlotOffset(Context::FCONTEXT_INDEX)));
2865 } else { // context is the current function context.
2866 // The context may be an intermediate context, not a function context.
2867 movq(dst, Operand(rsi, Context::SlotOffset(Context::FCONTEXT_INDEX)));
2868 }
2869}
2870
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002871
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002872int MacroAssembler::ArgumentStackSlotsForCFunctionCall(int num_arguments) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002873 // On Windows 64 stack slots are reserved by the caller for all arguments
2874 // including the ones passed in registers, and space is always allocated for
2875 // the four register arguments even if the function takes fewer than four
2876 // arguments.
2877 // On AMD64 ABI (Linux/Mac) the first six arguments are passed in registers
2878 // and the caller does not reserve stack slots for them.
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002879 ASSERT(num_arguments >= 0);
2880#ifdef _WIN64
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002881 static const int kMinimumStackSlots = 4;
2882 if (num_arguments < kMinimumStackSlots) return kMinimumStackSlots;
2883 return num_arguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002884#else
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002885 static const int kRegisterPassedArguments = 6;
2886 if (num_arguments < kRegisterPassedArguments) return 0;
2887 return num_arguments - kRegisterPassedArguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002888#endif
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002889}
2890
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002891
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002892void MacroAssembler::PrepareCallCFunction(int num_arguments) {
2893 int frame_alignment = OS::ActivationFrameAlignment();
2894 ASSERT(frame_alignment != 0);
2895 ASSERT(num_arguments >= 0);
2896 // Make stack end at alignment and allocate space for arguments and old rsp.
2897 movq(kScratchRegister, rsp);
2898 ASSERT(IsPowerOf2(frame_alignment));
2899 int argument_slots_on_stack =
2900 ArgumentStackSlotsForCFunctionCall(num_arguments);
2901 subq(rsp, Immediate((argument_slots_on_stack + 1) * kPointerSize));
2902 and_(rsp, Immediate(-frame_alignment));
2903 movq(Operand(rsp, argument_slots_on_stack * kPointerSize), kScratchRegister);
2904}
2905
2906
2907void MacroAssembler::CallCFunction(ExternalReference function,
2908 int num_arguments) {
2909 movq(rax, function);
2910 CallCFunction(rax, num_arguments);
2911}
2912
2913
2914void MacroAssembler::CallCFunction(Register function, int num_arguments) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002915 // Check stack alignment.
2916 if (FLAG_debug_code) {
2917 CheckStackAlignment();
2918 }
2919
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002920 call(function);
2921 ASSERT(OS::ActivationFrameAlignment() != 0);
2922 ASSERT(num_arguments >= 0);
2923 int argument_slots_on_stack =
2924 ArgumentStackSlotsForCFunctionCall(num_arguments);
2925 movq(rsp, Operand(rsp, argument_slots_on_stack * kPointerSize));
2926}
2927
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002928
ager@chromium.org4af710e2009-09-15 12:20:11 +00002929CodePatcher::CodePatcher(byte* address, int size)
2930 : address_(address), size_(size), masm_(address, size + Assembler::kGap) {
2931 // Create a new macro assembler pointing to the address of the code to patch.
2932 // The size is adjusted with kGap on order for the assembler to generate size
2933 // bytes of instructions without failing with buffer size constraints.
2934 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2935}
2936
2937
2938CodePatcher::~CodePatcher() {
2939 // Indicate that code has changed.
2940 CPU::FlushICache(address_, size_);
2941
2942 // Check that the code was patched as expected.
2943 ASSERT(masm_.pc_ == address_ + size_);
2944 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2945}
2946
kasperl@chromium.org71affb52009-05-26 05:44:31 +00002947} } // namespace v8::internal
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00002948
2949#endif // V8_TARGET_ARCH_X64