blob: a6837bbea6be079c8508f1cca54ddd5087e95dfe [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
ricow@chromium.org0b9f8502010-08-18 07:45:01 +0000265void MacroAssembler::AssertFastElements(Register elements) {
266 if (FLAG_debug_code) {
267 Label ok;
268 CompareRoot(FieldOperand(elements, HeapObject::kMapOffset),
269 Heap::kFixedArrayMapRootIndex);
270 j(equal, &ok);
271 CompareRoot(FieldOperand(elements, HeapObject::kMapOffset),
272 Heap::kFixedCOWArrayMapRootIndex);
273 j(equal, &ok);
274 Abort("JSObject with fast elements map has slow elements");
275 bind(&ok);
276 }
277}
278
279
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000280void MacroAssembler::Check(Condition cc, const char* msg) {
281 Label L;
282 j(cc, &L);
283 Abort(msg);
284 // will not return here
285 bind(&L);
286}
287
288
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000289void MacroAssembler::CheckStackAlignment() {
290 int frame_alignment = OS::ActivationFrameAlignment();
291 int frame_alignment_mask = frame_alignment - 1;
292 if (frame_alignment > kPointerSize) {
293 ASSERT(IsPowerOf2(frame_alignment));
294 Label alignment_as_expected;
295 testq(rsp, Immediate(frame_alignment_mask));
296 j(zero, &alignment_as_expected);
297 // Abort if stack is not aligned.
298 int3();
299 bind(&alignment_as_expected);
300 }
301}
302
303
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000304void MacroAssembler::NegativeZeroTest(Register result,
305 Register op,
306 Label* then_label) {
307 Label ok;
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000308 testl(result, result);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000309 j(not_zero, &ok);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000310 testl(op, op);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000311 j(sign, then_label);
312 bind(&ok);
313}
314
315
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000316void MacroAssembler::Abort(const char* msg) {
317 // We want to pass the msg string like a smi to avoid GC
318 // problems, however msg is not guaranteed to be aligned
319 // properly. Instead, we pass an aligned pointer that is
320 // a proper v8 smi, but also pass the alignment difference
321 // from the real pointer as a smi.
322 intptr_t p1 = reinterpret_cast<intptr_t>(msg);
323 intptr_t p0 = (p1 & ~kSmiTagMask) + kSmiTag;
324 // Note: p0 might not be a valid Smi *value*, but it has a valid Smi tag.
325 ASSERT(reinterpret_cast<Object*>(p0)->IsSmi());
326#ifdef DEBUG
327 if (msg != NULL) {
328 RecordComment("Abort message: ");
329 RecordComment(msg);
330 }
331#endif
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000332 // Disable stub call restrictions to always allow calls to abort.
333 set_allow_stub_calls(true);
334
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000335 push(rax);
336 movq(kScratchRegister, p0, RelocInfo::NONE);
337 push(kScratchRegister);
338 movq(kScratchRegister,
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000339 reinterpret_cast<intptr_t>(Smi::FromInt(static_cast<int>(p1 - p0))),
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000340 RelocInfo::NONE);
341 push(kScratchRegister);
342 CallRuntime(Runtime::kAbort, 2);
343 // will not return here
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000344 int3();
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000345}
346
347
348void MacroAssembler::CallStub(CodeStub* stub) {
349 ASSERT(allow_stub_calls()); // calls are not allowed in some stubs
sgjesse@chromium.org911335c2009-08-19 12:59:44 +0000350 Call(stub->GetCode(), RelocInfo::CODE_TARGET);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000351}
352
353
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000354Object* MacroAssembler::TryCallStub(CodeStub* stub) {
355 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
356 Object* result = stub->TryGetCode();
357 if (!result->IsFailure()) {
358 call(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
359 }
360 return result;
361}
362
363
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000364void MacroAssembler::TailCallStub(CodeStub* stub) {
365 ASSERT(allow_stub_calls()); // calls are not allowed in some stubs
366 Jump(stub->GetCode(), RelocInfo::CODE_TARGET);
367}
368
369
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000370Object* MacroAssembler::TryTailCallStub(CodeStub* stub) {
371 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
372 Object* result = stub->TryGetCode();
373 if (!result->IsFailure()) {
374 jmp(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
375 }
376 return result;
377}
378
379
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000380void MacroAssembler::StubReturn(int argc) {
381 ASSERT(argc >= 1 && generating_stub());
382 ret((argc - 1) * kPointerSize);
383}
384
385
386void MacroAssembler::IllegalOperation(int num_arguments) {
387 if (num_arguments > 0) {
388 addq(rsp, Immediate(num_arguments * kPointerSize));
389 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000390 LoadRoot(rax, Heap::kUndefinedValueRootIndex);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000391}
392
393
394void MacroAssembler::CallRuntime(Runtime::FunctionId id, int num_arguments) {
395 CallRuntime(Runtime::FunctionForId(id), num_arguments);
396}
397
398
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000399Object* MacroAssembler::TryCallRuntime(Runtime::FunctionId id,
400 int num_arguments) {
401 return TryCallRuntime(Runtime::FunctionForId(id), num_arguments);
402}
403
404
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000405void MacroAssembler::CallRuntime(Runtime::Function* f, int num_arguments) {
406 // If the expected number of arguments of the runtime function is
407 // constant, we check that the actual number of arguments match the
408 // expectation.
409 if (f->nargs >= 0 && f->nargs != num_arguments) {
410 IllegalOperation(num_arguments);
411 return;
412 }
413
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000414 // TODO(1236192): Most runtime routines don't need the number of
415 // arguments passed in because it is constant. At some point we
416 // should remove this need and make the runtime routine entry code
417 // smarter.
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000418 Set(rax, num_arguments);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000419 movq(rbx, ExternalReference(f));
420 CEntryStub ces(f->result_size);
421 CallStub(&ces);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000422}
423
424
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000425Object* MacroAssembler::TryCallRuntime(Runtime::Function* f,
426 int num_arguments) {
427 if (f->nargs >= 0 && f->nargs != num_arguments) {
428 IllegalOperation(num_arguments);
429 // Since we did not call the stub, there was no allocation failure.
430 // Return some non-failure object.
431 return Heap::undefined_value();
432 }
433
434 // TODO(1236192): Most runtime routines don't need the number of
435 // arguments passed in because it is constant. At some point we
436 // should remove this need and make the runtime routine entry code
437 // smarter.
438 Set(rax, num_arguments);
439 movq(rbx, ExternalReference(f));
440 CEntryStub ces(f->result_size);
441 return TryCallStub(&ces);
442}
443
444
ager@chromium.org5c838252010-02-19 08:53:10 +0000445void MacroAssembler::CallExternalReference(const ExternalReference& ext,
446 int num_arguments) {
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000447 Set(rax, num_arguments);
ager@chromium.org5c838252010-02-19 08:53:10 +0000448 movq(rbx, ext);
449
450 CEntryStub stub(1);
451 CallStub(&stub);
452}
453
454
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000455void MacroAssembler::TailCallExternalReference(const ExternalReference& ext,
456 int num_arguments,
457 int result_size) {
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000458 // ----------- S t a t e -------------
459 // -- rsp[0] : return address
460 // -- rsp[8] : argument num_arguments - 1
461 // ...
462 // -- rsp[8 * num_arguments] : argument 0 (receiver)
463 // -----------------------------------
464
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000465 // TODO(1236192): Most runtime routines don't need the number of
466 // arguments passed in because it is constant. At some point we
467 // should remove this need and make the runtime routine entry code
468 // smarter.
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000469 Set(rax, num_arguments);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000470 JumpToExternalReference(ext, result_size);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000471}
472
473
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000474void MacroAssembler::TailCallRuntime(Runtime::FunctionId fid,
475 int num_arguments,
476 int result_size) {
477 TailCallExternalReference(ExternalReference(fid), num_arguments, result_size);
478}
479
480
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000481static int Offset(ExternalReference ref0, ExternalReference ref1) {
482 int64_t offset = (ref0.address() - ref1.address());
483 // Check that fits into int.
484 ASSERT(static_cast<int>(offset) == offset);
485 return static_cast<int>(offset);
486}
487
488
489void MacroAssembler::PushHandleScope(Register scratch) {
490 ExternalReference extensions_address =
491 ExternalReference::handle_scope_extensions_address();
492 const int kExtensionsOffset = 0;
493 const int kNextOffset = Offset(
494 ExternalReference::handle_scope_next_address(),
495 extensions_address);
496 const int kLimitOffset = Offset(
497 ExternalReference::handle_scope_limit_address(),
498 extensions_address);
499
500 // Push the number of extensions, smi-tagged so the gc will ignore it.
501 movq(kScratchRegister, extensions_address);
502 movq(scratch, Operand(kScratchRegister, kExtensionsOffset));
503 movq(Operand(kScratchRegister, kExtensionsOffset), Immediate(0));
504 Integer32ToSmi(scratch, scratch);
505 push(scratch);
506 // Push next and limit pointers which will be wordsize aligned and
507 // hence automatically smi tagged.
508 push(Operand(kScratchRegister, kNextOffset));
509 push(Operand(kScratchRegister, kLimitOffset));
510}
511
512
513Object* MacroAssembler::PopHandleScopeHelper(Register saved,
514 Register scratch,
515 bool gc_allowed) {
516 ExternalReference extensions_address =
517 ExternalReference::handle_scope_extensions_address();
518 const int kExtensionsOffset = 0;
519 const int kNextOffset = Offset(
520 ExternalReference::handle_scope_next_address(),
521 extensions_address);
522 const int kLimitOffset = Offset(
523 ExternalReference::handle_scope_limit_address(),
524 extensions_address);
525
526 Object* result = NULL;
527 Label write_back;
528 movq(kScratchRegister, extensions_address);
529 cmpq(Operand(kScratchRegister, kExtensionsOffset), Immediate(0));
530 j(equal, &write_back);
531 push(saved);
532 if (gc_allowed) {
533 CallRuntime(Runtime::kDeleteHandleScopeExtensions, 0);
534 } else {
535 result = TryCallRuntime(Runtime::kDeleteHandleScopeExtensions, 0);
536 if (result->IsFailure()) return result;
537 }
538 pop(saved);
539 movq(kScratchRegister, extensions_address);
540
541 bind(&write_back);
542 pop(Operand(kScratchRegister, kLimitOffset));
543 pop(Operand(kScratchRegister, kNextOffset));
544 pop(scratch);
545 SmiToInteger32(scratch, scratch);
546 movq(Operand(kScratchRegister, kExtensionsOffset), scratch);
547
548 return result;
549}
550
551
552void MacroAssembler::PopHandleScope(Register saved, Register scratch) {
553 PopHandleScopeHelper(saved, scratch, true);
554}
555
556
557Object* MacroAssembler::TryPopHandleScope(Register saved, Register scratch) {
558 return PopHandleScopeHelper(saved, scratch, false);
559}
560
561
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000562void MacroAssembler::JumpToExternalReference(const ExternalReference& ext,
563 int result_size) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000564 // Set the entry point and jump to the C entry runtime stub.
565 movq(rbx, ext);
ager@chromium.orga1645e22009-09-09 19:27:10 +0000566 CEntryStub ces(result_size);
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000567 jmp(ces.GetCode(), RelocInfo::CODE_TARGET);
kasperl@chromium.org71affb52009-05-26 05:44:31 +0000568}
569
ager@chromium.orge2902be2009-06-08 12:21:35 +0000570
ager@chromium.org5c838252010-02-19 08:53:10 +0000571void MacroAssembler::InvokeBuiltin(Builtins::JavaScript id, InvokeFlag flag) {
572 // Calls are not allowed in some stubs.
573 ASSERT(flag == JUMP_FUNCTION || allow_stub_calls());
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000574
ager@chromium.org5c838252010-02-19 08:53:10 +0000575 // Rely on the assertion to check that the number of provided
576 // arguments match the expected number of arguments. Fake a
577 // parameter count to avoid emitting code to do the check.
578 ParameterCount expected(0);
579 GetBuiltinEntry(rdx, id);
580 InvokeCode(rdx, expected, expected, flag);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000581}
582
ager@chromium.org5c838252010-02-19 08:53:10 +0000583
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000584void MacroAssembler::GetBuiltinFunction(Register target,
585 Builtins::JavaScript id) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000586 // Load the builtins object into target register.
587 movq(target, Operand(rsi, Context::SlotOffset(Context::GLOBAL_INDEX)));
588 movq(target, FieldOperand(target, GlobalObject::kBuiltinsOffset));
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000589 movq(target, FieldOperand(target,
590 JSBuiltinsObject::OffsetOfFunctionWithId(id)));
591}
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000592
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000593
594void MacroAssembler::GetBuiltinEntry(Register target, Builtins::JavaScript id) {
595 ASSERT(!target.is(rdi));
ager@chromium.org5c838252010-02-19 08:53:10 +0000596 // Load the JavaScript builtin function from the builtins object.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000597 GetBuiltinFunction(rdi, id);
598 movq(target, FieldOperand(rdi, JSFunction::kCodeEntryOffset));
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000599}
600
601
ager@chromium.orge2902be2009-06-08 12:21:35 +0000602void MacroAssembler::Set(Register dst, int64_t x) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000603 if (x == 0) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000604 xorl(dst, dst);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000605 } else if (is_int32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000606 movq(dst, Immediate(static_cast<int32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000607 } else if (is_uint32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000608 movl(dst, Immediate(static_cast<uint32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000609 } else {
610 movq(dst, x, RelocInfo::NONE);
611 }
612}
613
ager@chromium.orge2902be2009-06-08 12:21:35 +0000614void MacroAssembler::Set(const Operand& dst, int64_t x) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000615 if (is_int32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000616 movq(dst, Immediate(static_cast<int32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000617 } else {
618 movq(kScratchRegister, x, RelocInfo::NONE);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000619 movq(dst, kScratchRegister);
ager@chromium.orge2902be2009-06-08 12:21:35 +0000620 }
ager@chromium.orge2902be2009-06-08 12:21:35 +0000621}
622
ager@chromium.org4af710e2009-09-15 12:20:11 +0000623// ----------------------------------------------------------------------------
624// Smi tagging, untagging and tag detection.
625
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000626static int kSmiShift = kSmiTagSize + kSmiShiftSize;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000627
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000628Register MacroAssembler::GetSmiConstant(Smi* source) {
629 int value = source->value();
630 if (value == 0) {
631 xorl(kScratchRegister, kScratchRegister);
632 return kScratchRegister;
633 }
634 if (value == 1) {
635 return kSmiConstantRegister;
636 }
637 LoadSmiConstant(kScratchRegister, source);
638 return kScratchRegister;
639}
640
641void MacroAssembler::LoadSmiConstant(Register dst, Smi* source) {
642 if (FLAG_debug_code) {
643 movq(dst,
644 reinterpret_cast<uint64_t>(Smi::FromInt(kSmiConstantRegisterValue)),
645 RelocInfo::NONE);
646 cmpq(dst, kSmiConstantRegister);
647 if (allow_stub_calls()) {
648 Assert(equal, "Uninitialized kSmiConstantRegister");
649 } else {
650 Label ok;
651 j(equal, &ok);
652 int3();
653 bind(&ok);
654 }
655 }
656 if (source->value() == 0) {
657 xorl(dst, dst);
658 return;
659 }
660 int value = source->value();
661 bool negative = value < 0;
662 unsigned int uvalue = negative ? -value : value;
663
664 switch (uvalue) {
665 case 9:
666 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_8, 0));
667 break;
668 case 8:
669 xorl(dst, dst);
670 lea(dst, Operand(dst, kSmiConstantRegister, times_8, 0));
671 break;
672 case 4:
673 xorl(dst, dst);
674 lea(dst, Operand(dst, kSmiConstantRegister, times_4, 0));
675 break;
676 case 5:
677 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_4, 0));
678 break;
679 case 3:
680 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_2, 0));
681 break;
682 case 2:
683 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_1, 0));
684 break;
685 case 1:
686 movq(dst, kSmiConstantRegister);
687 break;
688 case 0:
689 UNREACHABLE();
690 return;
691 default:
692 movq(dst, reinterpret_cast<uint64_t>(source), RelocInfo::NONE);
693 return;
694 }
695 if (negative) {
696 neg(dst);
697 }
698}
699
ager@chromium.org4af710e2009-09-15 12:20:11 +0000700void MacroAssembler::Integer32ToSmi(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000701 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000702 if (!dst.is(src)) {
703 movl(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000704 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000705 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000706}
707
708
709void MacroAssembler::Integer32ToSmi(Register dst,
710 Register src,
711 Label* on_overflow) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000712 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000713 // 32-bit integer always fits in a long smi.
ager@chromium.org4af710e2009-09-15 12:20:11 +0000714 if (!dst.is(src)) {
715 movl(dst, src);
716 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000717 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000718}
719
720
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000721void MacroAssembler::Integer32ToSmiField(const Operand& dst, Register src) {
722 if (FLAG_debug_code) {
723 testb(dst, Immediate(0x01));
724 Label ok;
725 j(zero, &ok);
726 if (allow_stub_calls()) {
727 Abort("Integer32ToSmiField writing to non-smi location");
728 } else {
729 int3();
730 }
731 bind(&ok);
732 }
733 ASSERT(kSmiShift % kBitsPerByte == 0);
734 movl(Operand(dst, kSmiShift / kBitsPerByte), src);
735}
736
737
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000738void MacroAssembler::Integer64PlusConstantToSmi(Register dst,
739 Register src,
740 int constant) {
741 if (dst.is(src)) {
742 addq(dst, Immediate(constant));
743 } else {
744 lea(dst, Operand(src, constant));
745 }
746 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000747}
748
749
750void MacroAssembler::SmiToInteger32(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000751 ASSERT_EQ(0, kSmiTag);
752 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000753 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000754 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000755 shr(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000756}
757
758
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000759void MacroAssembler::SmiToInteger32(Register dst, const Operand& src) {
760 movl(dst, Operand(src, kSmiShift / kBitsPerByte));
761}
762
763
ager@chromium.org4af710e2009-09-15 12:20:11 +0000764void MacroAssembler::SmiToInteger64(Register dst, Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000765 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000766 if (!dst.is(src)) {
767 movq(dst, src);
768 }
769 sar(dst, Immediate(kSmiShift));
770}
771
772
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000773void MacroAssembler::SmiToInteger64(Register dst, const Operand& src) {
774 movsxlq(dst, Operand(src, kSmiShift / kBitsPerByte));
775}
776
777
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000778void MacroAssembler::SmiTest(Register src) {
779 testq(src, src);
780}
781
782
783void MacroAssembler::SmiCompare(Register dst, Register src) {
784 cmpq(dst, src);
785}
786
787
788void MacroAssembler::SmiCompare(Register dst, Smi* src) {
789 ASSERT(!dst.is(kScratchRegister));
790 if (src->value() == 0) {
791 testq(dst, dst);
792 } else {
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000793 Register constant_reg = GetSmiConstant(src);
794 cmpq(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000795 }
796}
797
798
kmillikin@chromium.org9155e252010-05-26 13:27:57 +0000799void MacroAssembler::SmiCompare(Register dst, const Operand& src) {
ager@chromium.orgac091b72010-05-05 07:34:42 +0000800 cmpq(dst, src);
801}
802
803
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000804void MacroAssembler::SmiCompare(const Operand& dst, Register src) {
805 cmpq(dst, src);
806}
807
808
809void MacroAssembler::SmiCompare(const Operand& dst, Smi* src) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000810 cmpl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(src->value()));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000811}
812
813
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000814void MacroAssembler::SmiCompareInteger32(const Operand& dst, Register src) {
815 cmpl(Operand(dst, kSmiShift / kBitsPerByte), src);
816}
817
818
ager@chromium.org4af710e2009-09-15 12:20:11 +0000819void MacroAssembler::PositiveSmiTimesPowerOfTwoToInteger64(Register dst,
820 Register src,
821 int power) {
822 ASSERT(power >= 0);
823 ASSERT(power < 64);
824 if (power == 0) {
825 SmiToInteger64(dst, src);
826 return;
827 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000828 if (!dst.is(src)) {
829 movq(dst, src);
830 }
831 if (power < kSmiShift) {
832 sar(dst, Immediate(kSmiShift - power));
833 } else if (power > kSmiShift) {
834 shl(dst, Immediate(power - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000835 }
836}
837
838
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000839void MacroAssembler::PositiveSmiDivPowerOfTwoToInteger32(Register dst,
840 Register src,
841 int power) {
842 ASSERT((0 <= power) && (power < 32));
843 if (dst.is(src)) {
844 shr(dst, Immediate(power + kSmiShift));
845 } else {
846 UNIMPLEMENTED(); // Not used.
847 }
848}
849
850
ager@chromium.org4af710e2009-09-15 12:20:11 +0000851Condition MacroAssembler::CheckSmi(Register src) {
ager@chromium.org4af710e2009-09-15 12:20:11 +0000852 ASSERT_EQ(0, kSmiTag);
853 testb(src, Immediate(kSmiTagMask));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000854 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000855}
856
857
858Condition MacroAssembler::CheckPositiveSmi(Register src) {
859 ASSERT_EQ(0, kSmiTag);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000860 // Make mask 0x8000000000000001 and test that both bits are zero.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000861 movq(kScratchRegister, src);
862 rol(kScratchRegister, Immediate(1));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000863 testb(kScratchRegister, Immediate(3));
ager@chromium.org4af710e2009-09-15 12:20:11 +0000864 return zero;
865}
866
867
ager@chromium.org4af710e2009-09-15 12:20:11 +0000868Condition MacroAssembler::CheckBothSmi(Register first, Register second) {
869 if (first.is(second)) {
870 return CheckSmi(first);
871 }
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000872 ASSERT(kSmiTag == 0 && kHeapObjectTag == 1 && kHeapObjectTagMask == 3);
873 leal(kScratchRegister, Operand(first, second, times_1, 0));
874 testb(kScratchRegister, Immediate(0x03));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000875 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000876}
877
878
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000879Condition MacroAssembler::CheckBothPositiveSmi(Register first,
880 Register second) {
881 if (first.is(second)) {
882 return CheckPositiveSmi(first);
883 }
fschneider@chromium.org40b9da32010-06-28 11:29:21 +0000884 movq(kScratchRegister, first);
885 or_(kScratchRegister, second);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000886 rol(kScratchRegister, Immediate(1));
887 testl(kScratchRegister, Immediate(0x03));
888 return zero;
889}
890
891
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000892Condition MacroAssembler::CheckEitherSmi(Register first,
893 Register second,
894 Register scratch) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000895 if (first.is(second)) {
896 return CheckSmi(first);
897 }
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000898 if (scratch.is(second)) {
899 andl(scratch, first);
900 } else {
901 if (!scratch.is(first)) {
902 movl(scratch, first);
903 }
904 andl(scratch, second);
905 }
906 testb(scratch, Immediate(kSmiTagMask));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000907 return zero;
908}
909
910
ager@chromium.org4af710e2009-09-15 12:20:11 +0000911Condition MacroAssembler::CheckIsMinSmi(Register src) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000912 ASSERT(!src.is(kScratchRegister));
913 // If we overflow by subtracting one, it's the minimal smi value.
914 cmpq(src, kSmiConstantRegister);
915 return overflow;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000916}
917
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000918
ager@chromium.org4af710e2009-09-15 12:20:11 +0000919Condition MacroAssembler::CheckInteger32ValidSmiValue(Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000920 // A 32-bit integer value can always be converted to a smi.
921 return always;
ager@chromium.org4af710e2009-09-15 12:20:11 +0000922}
923
924
ager@chromium.org3811b432009-10-28 14:53:37 +0000925Condition MacroAssembler::CheckUInteger32ValidSmiValue(Register src) {
926 // An unsigned 32-bit integer value is valid as long as the high bit
927 // is not set.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000928 testl(src, src);
929 return positive;
ager@chromium.org3811b432009-10-28 14:53:37 +0000930}
931
932
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000933void MacroAssembler::SmiNeg(Register dst, Register src, Label* on_smi_result) {
934 if (dst.is(src)) {
935 ASSERT(!dst.is(kScratchRegister));
936 movq(kScratchRegister, src);
937 neg(dst); // Low 32 bits are retained as zero by negation.
938 // Test if result is zero or Smi::kMinValue.
939 cmpq(dst, kScratchRegister);
940 j(not_equal, on_smi_result);
941 movq(src, kScratchRegister);
942 } else {
943 movq(dst, src);
944 neg(dst);
945 cmpq(dst, src);
946 // If the result is zero or Smi::kMinValue, negation failed to create a smi.
947 j(not_equal, on_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000948 }
ager@chromium.org4af710e2009-09-15 12:20:11 +0000949}
950
951
952void MacroAssembler::SmiAdd(Register dst,
953 Register src1,
954 Register src2,
955 Label* on_not_smi_result) {
956 ASSERT(!dst.is(src2));
ager@chromium.orgac091b72010-05-05 07:34:42 +0000957 if (on_not_smi_result == NULL) {
958 // No overflow checking. Use only when it's known that
959 // overflowing is impossible.
960 if (dst.is(src1)) {
961 addq(dst, src2);
962 } else {
963 movq(dst, src1);
964 addq(dst, src2);
965 }
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000966 Assert(no_overflow, "Smi addition overflow");
ager@chromium.orgac091b72010-05-05 07:34:42 +0000967 } else if (dst.is(src1)) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000968 movq(kScratchRegister, src1);
969 addq(kScratchRegister, src2);
970 j(overflow, on_not_smi_result);
971 movq(dst, kScratchRegister);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000972 } else {
973 movq(dst, src1);
974 addq(dst, src2);
975 j(overflow, on_not_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +0000976 }
977}
978
979
ager@chromium.org4af710e2009-09-15 12:20:11 +0000980void MacroAssembler::SmiSub(Register dst,
981 Register src1,
982 Register src2,
983 Label* on_not_smi_result) {
984 ASSERT(!dst.is(src2));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000985 if (on_not_smi_result == NULL) {
986 // No overflow checking. Use only when it's known that
987 // overflowing is impossible (e.g., subtracting two positive smis).
988 if (dst.is(src1)) {
989 subq(dst, src2);
990 } else {
991 movq(dst, src1);
992 subq(dst, src2);
993 }
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000994 Assert(no_overflow, "Smi subtraction overflow");
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000995 } else if (dst.is(src1)) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000996 cmpq(dst, src2);
997 j(overflow, on_not_smi_result);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000998 subq(dst, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000999 } else {
1000 movq(dst, src1);
1001 subq(dst, src2);
1002 j(overflow, on_not_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001003 }
1004}
1005
1006
ager@chromium.orgac091b72010-05-05 07:34:42 +00001007void MacroAssembler::SmiSub(Register dst,
1008 Register src1,
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001009 const Operand& src2,
ager@chromium.orgac091b72010-05-05 07:34:42 +00001010 Label* on_not_smi_result) {
1011 if (on_not_smi_result == NULL) {
1012 // No overflow checking. Use only when it's known that
1013 // overflowing is impossible (e.g., subtracting two positive smis).
1014 if (dst.is(src1)) {
1015 subq(dst, src2);
1016 } else {
1017 movq(dst, src1);
1018 subq(dst, src2);
1019 }
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001020 Assert(no_overflow, "Smi subtraction overflow");
ager@chromium.orgac091b72010-05-05 07:34:42 +00001021 } else if (dst.is(src1)) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001022 movq(kScratchRegister, src2);
1023 cmpq(src1, kScratchRegister);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001024 j(overflow, on_not_smi_result);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001025 subq(src1, kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00001026 } else {
1027 movq(dst, src1);
1028 subq(dst, src2);
1029 j(overflow, on_not_smi_result);
1030 }
1031}
1032
ager@chromium.org4af710e2009-09-15 12:20:11 +00001033void MacroAssembler::SmiMul(Register dst,
1034 Register src1,
1035 Register src2,
1036 Label* on_not_smi_result) {
1037 ASSERT(!dst.is(src2));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001038 ASSERT(!dst.is(kScratchRegister));
1039 ASSERT(!src1.is(kScratchRegister));
1040 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001041
1042 if (dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001043 Label failure, zero_correct_result;
1044 movq(kScratchRegister, src1); // Create backup for later testing.
1045 SmiToInteger64(dst, src1);
1046 imul(dst, src2);
1047 j(overflow, &failure);
1048
1049 // Check for negative zero result. If product is zero, and one
1050 // argument is negative, go to slow case.
1051 Label correct_result;
1052 testq(dst, dst);
1053 j(not_zero, &correct_result);
1054
1055 movq(dst, kScratchRegister);
1056 xor_(dst, src2);
1057 j(positive, &zero_correct_result); // Result was positive zero.
1058
1059 bind(&failure); // Reused failure exit, restores src1.
1060 movq(src1, kScratchRegister);
1061 jmp(on_not_smi_result);
1062
1063 bind(&zero_correct_result);
1064 xor_(dst, dst);
1065
1066 bind(&correct_result);
1067 } else {
1068 SmiToInteger64(dst, src1);
1069 imul(dst, src2);
1070 j(overflow, on_not_smi_result);
1071 // Check for negative zero result. If product is zero, and one
1072 // argument is negative, go to slow case.
1073 Label correct_result;
1074 testq(dst, dst);
1075 j(not_zero, &correct_result);
1076 // One of src1 and src2 is zero, the check whether the other is
1077 // negative.
ager@chromium.org4af710e2009-09-15 12:20:11 +00001078 movq(kScratchRegister, src1);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001079 xor_(kScratchRegister, src2);
1080 j(negative, on_not_smi_result);
1081 bind(&correct_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001082 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001083}
1084
1085
1086void MacroAssembler::SmiTryAddConstant(Register dst,
1087 Register src,
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001088 Smi* constant,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001089 Label* on_not_smi_result) {
1090 // Does not assume that src is a smi.
ager@chromium.org3811b432009-10-28 14:53:37 +00001091 ASSERT_EQ(static_cast<int>(1), static_cast<int>(kSmiTagMask));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001092 ASSERT_EQ(0, kSmiTag);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001093 ASSERT(!dst.is(kScratchRegister));
1094 ASSERT(!src.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001095
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001096 JumpIfNotSmi(src, on_not_smi_result);
1097 Register tmp = (dst.is(src) ? kScratchRegister : dst);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001098 LoadSmiConstant(tmp, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001099 addq(tmp, src);
1100 j(overflow, on_not_smi_result);
1101 if (dst.is(src)) {
1102 movq(dst, tmp);
1103 }
1104}
1105
1106
1107void MacroAssembler::SmiAddConstant(Register dst, Register src, Smi* constant) {
1108 if (constant->value() == 0) {
1109 if (!dst.is(src)) {
1110 movq(dst, src);
1111 }
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001112 return;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001113 } else if (dst.is(src)) {
1114 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001115 switch (constant->value()) {
1116 case 1:
1117 addq(dst, kSmiConstantRegister);
1118 return;
1119 case 2:
1120 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
1121 return;
1122 case 4:
1123 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
1124 return;
1125 case 8:
1126 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
1127 return;
1128 default:
1129 Register constant_reg = GetSmiConstant(constant);
1130 addq(dst, constant_reg);
1131 return;
1132 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001133 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001134 switch (constant->value()) {
1135 case 1:
1136 lea(dst, Operand(src, kSmiConstantRegister, times_1, 0));
1137 return;
1138 case 2:
1139 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
1140 return;
1141 case 4:
1142 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
1143 return;
1144 case 8:
1145 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
1146 return;
1147 default:
1148 LoadSmiConstant(dst, constant);
1149 addq(dst, src);
1150 return;
1151 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001152 }
1153}
1154
1155
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001156void MacroAssembler::SmiAddConstant(const Operand& dst, Smi* constant) {
1157 if (constant->value() != 0) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001158 addl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(constant->value()));
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001159 }
1160}
1161
1162
ager@chromium.org4af710e2009-09-15 12:20:11 +00001163void MacroAssembler::SmiAddConstant(Register dst,
1164 Register src,
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001165 Smi* constant,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001166 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001167 if (constant->value() == 0) {
1168 if (!dst.is(src)) {
1169 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001170 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001171 } else if (dst.is(src)) {
1172 ASSERT(!dst.is(kScratchRegister));
1173
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001174 LoadSmiConstant(kScratchRegister, constant);
1175 addq(kScratchRegister, src);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001176 j(overflow, on_not_smi_result);
1177 movq(dst, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001178 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001179 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001180 addq(dst, src);
1181 j(overflow, on_not_smi_result);
1182 }
1183}
1184
1185
1186void MacroAssembler::SmiSubConstant(Register dst, Register src, Smi* constant) {
1187 if (constant->value() == 0) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001188 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001189 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001190 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001191 } else if (dst.is(src)) {
1192 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001193 Register constant_reg = GetSmiConstant(constant);
1194 subq(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001195 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001196 if (constant->value() == Smi::kMinValue) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001197 LoadSmiConstant(dst, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001198 // Adding and subtracting the min-value gives the same result, it only
1199 // differs on the overflow bit, which we don't check here.
1200 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001201 } else {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001202 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001203 LoadSmiConstant(dst, Smi::FromInt(-constant->value()));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001204 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001205 }
1206 }
1207}
1208
1209
1210void MacroAssembler::SmiSubConstant(Register dst,
1211 Register src,
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001212 Smi* constant,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001213 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001214 if (constant->value() == 0) {
1215 if (!dst.is(src)) {
1216 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001217 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001218 } else if (dst.is(src)) {
1219 ASSERT(!dst.is(kScratchRegister));
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001220 if (constant->value() == Smi::kMinValue) {
1221 // 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(kScratchRegister, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001226 subq(dst, kScratchRegister);
1227 } else {
1228 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001229 LoadSmiConstant(kScratchRegister, Smi::FromInt(-constant->value()));
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001230 addq(kScratchRegister, dst);
1231 j(overflow, on_not_smi_result);
1232 movq(dst, kScratchRegister);
1233 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001234 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001235 if (constant->value() == Smi::kMinValue) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001236 // Subtracting min-value from any non-negative value will overflow.
1237 // We test the non-negativeness before doing the subtraction.
1238 testq(src, src);
1239 j(not_sign, on_not_smi_result);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001240 LoadSmiConstant(dst, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001241 // Adding and subtracting the min-value gives the same result, it only
1242 // differs on the overflow bit, which we don't check here.
1243 addq(dst, src);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001244 } else {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001245 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001246 LoadSmiConstant(dst, Smi::FromInt(-(constant->value())));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001247 addq(dst, src);
1248 j(overflow, on_not_smi_result);
1249 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001250 }
1251}
1252
1253
1254void MacroAssembler::SmiDiv(Register dst,
1255 Register src1,
1256 Register src2,
1257 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001258 ASSERT(!src1.is(kScratchRegister));
1259 ASSERT(!src2.is(kScratchRegister));
1260 ASSERT(!dst.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001261 ASSERT(!src2.is(rax));
1262 ASSERT(!src2.is(rdx));
1263 ASSERT(!src1.is(rdx));
1264
1265 // Check for 0 divisor (result is +/-Infinity).
1266 Label positive_divisor;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001267 testq(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001268 j(zero, on_not_smi_result);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001269
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001270 if (src1.is(rax)) {
1271 movq(kScratchRegister, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001272 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001273 SmiToInteger32(rax, src1);
1274 // We need to rule out dividing Smi::kMinValue by -1, since that would
1275 // overflow in idiv and raise an exception.
1276 // We combine this with negative zero test (negative zero only happens
1277 // when dividing zero by a negative number).
ager@chromium.org4af710e2009-09-15 12:20:11 +00001278
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001279 // We overshoot a little and go to slow case if we divide min-value
1280 // by any negative value, not just -1.
1281 Label safe_div;
1282 testl(rax, Immediate(0x7fffffff));
1283 j(not_zero, &safe_div);
1284 testq(src2, src2);
1285 if (src1.is(rax)) {
1286 j(positive, &safe_div);
1287 movq(src1, kScratchRegister);
1288 jmp(on_not_smi_result);
1289 } else {
1290 j(negative, on_not_smi_result);
1291 }
1292 bind(&safe_div);
1293
1294 SmiToInteger32(src2, src2);
1295 // Sign extend src1 into edx:eax.
1296 cdq();
ager@chromium.org4af710e2009-09-15 12:20:11 +00001297 idivl(src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001298 Integer32ToSmi(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001299 // Check that the remainder is zero.
1300 testl(rdx, rdx);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001301 if (src1.is(rax)) {
1302 Label smi_result;
1303 j(zero, &smi_result);
1304 movq(src1, kScratchRegister);
1305 jmp(on_not_smi_result);
1306 bind(&smi_result);
1307 } else {
1308 j(not_zero, on_not_smi_result);
1309 }
1310 if (!dst.is(src1) && src1.is(rax)) {
1311 movq(src1, kScratchRegister);
1312 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001313 Integer32ToSmi(dst, rax);
1314}
1315
1316
1317void MacroAssembler::SmiMod(Register dst,
1318 Register src1,
1319 Register src2,
1320 Label* on_not_smi_result) {
1321 ASSERT(!dst.is(kScratchRegister));
1322 ASSERT(!src1.is(kScratchRegister));
1323 ASSERT(!src2.is(kScratchRegister));
1324 ASSERT(!src2.is(rax));
1325 ASSERT(!src2.is(rdx));
1326 ASSERT(!src1.is(rdx));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001327 ASSERT(!src1.is(src2));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001328
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001329 testq(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001330 j(zero, on_not_smi_result);
1331
1332 if (src1.is(rax)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001333 movq(kScratchRegister, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001334 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001335 SmiToInteger32(rax, src1);
1336 SmiToInteger32(src2, src2);
1337
1338 // Test for the edge case of dividing Smi::kMinValue by -1 (will overflow).
1339 Label safe_div;
1340 cmpl(rax, Immediate(Smi::kMinValue));
1341 j(not_equal, &safe_div);
1342 cmpl(src2, Immediate(-1));
1343 j(not_equal, &safe_div);
1344 // Retag inputs and go slow case.
1345 Integer32ToSmi(src2, src2);
1346 if (src1.is(rax)) {
1347 movq(src1, kScratchRegister);
1348 }
1349 jmp(on_not_smi_result);
1350 bind(&safe_div);
1351
ager@chromium.org4af710e2009-09-15 12:20:11 +00001352 // Sign extend eax into edx:eax.
1353 cdq();
1354 idivl(src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001355 // Restore smi tags on inputs.
1356 Integer32ToSmi(src2, src2);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001357 if (src1.is(rax)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001358 movq(src1, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001359 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001360 // Check for a negative zero result. If the result is zero, and the
1361 // dividend is negative, go slow to return a floating point negative zero.
1362 Label smi_result;
1363 testl(rdx, rdx);
1364 j(not_zero, &smi_result);
1365 testq(src1, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001366 j(negative, on_not_smi_result);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001367 bind(&smi_result);
1368 Integer32ToSmi(dst, rdx);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001369}
1370
1371
1372void MacroAssembler::SmiNot(Register dst, Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001373 ASSERT(!dst.is(kScratchRegister));
1374 ASSERT(!src.is(kScratchRegister));
1375 // Set tag and padding bits before negating, so that they are zero afterwards.
1376 movl(kScratchRegister, Immediate(~0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001377 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001378 xor_(dst, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001379 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001380 lea(dst, Operand(src, kScratchRegister, times_1, 0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001381 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001382 not_(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001383}
1384
1385
1386void MacroAssembler::SmiAnd(Register dst, Register src1, Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001387 ASSERT(!dst.is(src2));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001388 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001389 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001390 }
1391 and_(dst, src2);
1392}
1393
1394
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001395void MacroAssembler::SmiAndConstant(Register dst, Register src, Smi* constant) {
1396 if (constant->value() == 0) {
1397 xor_(dst, dst);
1398 } else if (dst.is(src)) {
1399 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001400 Register constant_reg = GetSmiConstant(constant);
1401 and_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001402 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001403 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001404 and_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001405 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001406}
1407
1408
1409void MacroAssembler::SmiOr(Register dst, Register src1, Register src2) {
1410 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001411 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001412 }
1413 or_(dst, src2);
1414}
1415
1416
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001417void MacroAssembler::SmiOrConstant(Register dst, Register src, Smi* constant) {
1418 if (dst.is(src)) {
1419 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001420 Register constant_reg = GetSmiConstant(constant);
1421 or_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001422 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001423 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001424 or_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001425 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001426}
1427
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001428
ager@chromium.org4af710e2009-09-15 12:20:11 +00001429void MacroAssembler::SmiXor(Register dst, Register src1, Register src2) {
1430 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001431 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001432 }
1433 xor_(dst, src2);
1434}
1435
1436
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001437void MacroAssembler::SmiXorConstant(Register dst, Register src, Smi* constant) {
1438 if (dst.is(src)) {
1439 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001440 Register constant_reg = GetSmiConstant(constant);
1441 xor_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001442 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001443 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001444 xor_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001445 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001446}
1447
1448
ager@chromium.org4af710e2009-09-15 12:20:11 +00001449void MacroAssembler::SmiShiftArithmeticRightConstant(Register dst,
1450 Register src,
1451 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001452 ASSERT(is_uint5(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001453 if (shift_value > 0) {
1454 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001455 sar(dst, Immediate(shift_value + kSmiShift));
1456 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001457 } else {
1458 UNIMPLEMENTED(); // Not used.
1459 }
1460 }
1461}
1462
1463
1464void MacroAssembler::SmiShiftLogicalRightConstant(Register dst,
1465 Register src,
1466 int shift_value,
1467 Label* on_not_smi_result) {
1468 // Logic right shift interprets its result as an *unsigned* number.
1469 if (dst.is(src)) {
1470 UNIMPLEMENTED(); // Not used.
1471 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001472 movq(dst, src);
1473 if (shift_value == 0) {
1474 testq(dst, dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001475 j(negative, on_not_smi_result);
1476 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001477 shr(dst, Immediate(shift_value + kSmiShift));
1478 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001479 }
1480}
1481
1482
1483void MacroAssembler::SmiShiftLeftConstant(Register dst,
1484 Register src,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00001485 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001486 if (!dst.is(src)) {
1487 movq(dst, src);
1488 }
1489 if (shift_value > 0) {
1490 shl(dst, Immediate(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001491 }
1492}
1493
1494
1495void MacroAssembler::SmiShiftLeft(Register dst,
1496 Register src1,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00001497 Register src2) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001498 ASSERT(!dst.is(rcx));
1499 Label result_ok;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001500 // Untag shift amount.
1501 if (!dst.is(src1)) {
1502 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001503 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001504 SmiToInteger32(rcx, src2);
1505 // Shift amount specified by lower 5 bits, not six as the shl opcode.
1506 and_(rcx, Immediate(0x1f));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001507 shl_cl(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001508}
1509
1510
1511void MacroAssembler::SmiShiftLogicalRight(Register dst,
1512 Register src1,
1513 Register src2,
1514 Label* on_not_smi_result) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001515 ASSERT(!dst.is(kScratchRegister));
1516 ASSERT(!src1.is(kScratchRegister));
1517 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001518 ASSERT(!dst.is(rcx));
1519 Label result_ok;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001520 if (src1.is(rcx) || src2.is(rcx)) {
1521 movq(kScratchRegister, rcx);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001522 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001523 if (!dst.is(src1)) {
1524 movq(dst, src1);
1525 }
1526 SmiToInteger32(rcx, src2);
1527 orl(rcx, Immediate(kSmiShift));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001528 shr_cl(dst); // Shift is rcx modulo 0x1f + 32.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001529 shl(dst, Immediate(kSmiShift));
1530 testq(dst, dst);
1531 if (src1.is(rcx) || src2.is(rcx)) {
1532 Label positive_result;
1533 j(positive, &positive_result);
1534 if (src1.is(rcx)) {
1535 movq(src1, kScratchRegister);
1536 } else {
1537 movq(src2, kScratchRegister);
1538 }
1539 jmp(on_not_smi_result);
1540 bind(&positive_result);
1541 } else {
1542 j(negative, on_not_smi_result); // src2 was zero and src1 negative.
1543 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001544}
1545
1546
1547void MacroAssembler::SmiShiftArithmeticRight(Register dst,
1548 Register src1,
1549 Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001550 ASSERT(!dst.is(kScratchRegister));
1551 ASSERT(!src1.is(kScratchRegister));
1552 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001553 ASSERT(!dst.is(rcx));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001554 if (src1.is(rcx)) {
1555 movq(kScratchRegister, src1);
1556 } else if (src2.is(rcx)) {
1557 movq(kScratchRegister, src2);
1558 }
1559 if (!dst.is(src1)) {
1560 movq(dst, src1);
1561 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001562 SmiToInteger32(rcx, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001563 orl(rcx, Immediate(kSmiShift));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001564 sar_cl(dst); // Shift 32 + original rcx & 0x1f.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001565 shl(dst, Immediate(kSmiShift));
1566 if (src1.is(rcx)) {
1567 movq(src1, kScratchRegister);
1568 } else if (src2.is(rcx)) {
1569 movq(src2, kScratchRegister);
1570 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001571}
1572
1573
1574void MacroAssembler::SelectNonSmi(Register dst,
1575 Register src1,
1576 Register src2,
1577 Label* on_not_smis) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001578 ASSERT(!dst.is(kScratchRegister));
1579 ASSERT(!src1.is(kScratchRegister));
1580 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001581 ASSERT(!dst.is(src1));
1582 ASSERT(!dst.is(src2));
1583 // Both operands must not be smis.
1584#ifdef DEBUG
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001585 if (allow_stub_calls()) { // Check contains a stub call.
1586 Condition not_both_smis = NegateCondition(CheckBothSmi(src1, src2));
1587 Check(not_both_smis, "Both registers were smis in SelectNonSmi.");
1588 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001589#endif
1590 ASSERT_EQ(0, kSmiTag);
1591 ASSERT_EQ(0, Smi::FromInt(0));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001592 movl(kScratchRegister, Immediate(kSmiTagMask));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001593 and_(kScratchRegister, src1);
1594 testl(kScratchRegister, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001595 // If non-zero then both are smis.
ager@chromium.org4af710e2009-09-15 12:20:11 +00001596 j(not_zero, on_not_smis);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001597
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001598 // Exactly one operand is a smi.
ager@chromium.org4af710e2009-09-15 12:20:11 +00001599 ASSERT_EQ(1, static_cast<int>(kSmiTagMask));
1600 // kScratchRegister still holds src1 & kSmiTag, which is either zero or one.
1601 subq(kScratchRegister, Immediate(1));
1602 // If src1 is a smi, then scratch register all 1s, else it is all 0s.
1603 movq(dst, src1);
1604 xor_(dst, src2);
1605 and_(dst, kScratchRegister);
1606 // If src1 is a smi, dst holds src1 ^ src2, else it is zero.
1607 xor_(dst, src1);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001608 // 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 +00001609}
1610
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001611
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001612SmiIndex MacroAssembler::SmiToIndex(Register dst,
1613 Register src,
1614 int shift) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001615 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001616 // There is a possible optimization if shift is in the range 60-63, but that
1617 // will (and must) never happen.
1618 if (!dst.is(src)) {
1619 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001620 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001621 if (shift < kSmiShift) {
1622 sar(dst, Immediate(kSmiShift - shift));
1623 } else {
1624 shl(dst, Immediate(shift - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001625 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001626 return SmiIndex(dst, times_1);
1627}
1628
ager@chromium.org4af710e2009-09-15 12:20:11 +00001629SmiIndex MacroAssembler::SmiToNegativeIndex(Register dst,
1630 Register src,
1631 int shift) {
1632 // Register src holds a positive smi.
1633 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001634 if (!dst.is(src)) {
1635 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001636 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001637 neg(dst);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001638 if (shift < kSmiShift) {
1639 sar(dst, Immediate(kSmiShift - shift));
1640 } else {
1641 shl(dst, Immediate(shift - kSmiShift));
1642 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001643 return SmiIndex(dst, times_1);
1644}
1645
1646
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001647void MacroAssembler::JumpIfSmi(Register src, Label* on_smi) {
1648 ASSERT_EQ(0, kSmiTag);
1649 Condition smi = CheckSmi(src);
1650 j(smi, on_smi);
1651}
1652
1653
1654void MacroAssembler::JumpIfNotSmi(Register src, Label* on_not_smi) {
1655 Condition smi = CheckSmi(src);
1656 j(NegateCondition(smi), on_not_smi);
1657}
1658
1659
1660void MacroAssembler::JumpIfNotPositiveSmi(Register src,
1661 Label* on_not_positive_smi) {
1662 Condition positive_smi = CheckPositiveSmi(src);
1663 j(NegateCondition(positive_smi), on_not_positive_smi);
1664}
1665
1666
1667void MacroAssembler::JumpIfSmiEqualsConstant(Register src,
1668 Smi* constant,
1669 Label* on_equals) {
1670 SmiCompare(src, constant);
1671 j(equal, on_equals);
1672}
1673
1674
1675void MacroAssembler::JumpIfNotValidSmiValue(Register src, Label* on_invalid) {
1676 Condition is_valid = CheckInteger32ValidSmiValue(src);
1677 j(NegateCondition(is_valid), on_invalid);
1678}
1679
1680
ager@chromium.org3811b432009-10-28 14:53:37 +00001681void MacroAssembler::JumpIfUIntNotValidSmiValue(Register src,
1682 Label* on_invalid) {
1683 Condition is_valid = CheckUInteger32ValidSmiValue(src);
1684 j(NegateCondition(is_valid), on_invalid);
1685}
1686
1687
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001688void MacroAssembler::JumpIfNotBothSmi(Register src1, Register src2,
1689 Label* on_not_both_smi) {
1690 Condition both_smi = CheckBothSmi(src1, src2);
1691 j(NegateCondition(both_smi), on_not_both_smi);
1692}
ager@chromium.org4af710e2009-09-15 12:20:11 +00001693
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001694
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001695void MacroAssembler::JumpIfNotBothPositiveSmi(Register src1, Register src2,
1696 Label* on_not_both_smi) {
1697 Condition both_smi = CheckBothPositiveSmi(src1, src2);
1698 j(NegateCondition(both_smi), on_not_both_smi);
1699}
1700
1701
1702
1703void MacroAssembler::JumpIfNotBothSequentialAsciiStrings(Register first_object,
1704 Register second_object,
1705 Register scratch1,
1706 Register scratch2,
1707 Label* on_fail) {
1708 // Check that both objects are not smis.
1709 Condition either_smi = CheckEitherSmi(first_object, second_object);
1710 j(either_smi, on_fail);
1711
1712 // Load instance type for both strings.
1713 movq(scratch1, FieldOperand(first_object, HeapObject::kMapOffset));
1714 movq(scratch2, FieldOperand(second_object, HeapObject::kMapOffset));
1715 movzxbl(scratch1, FieldOperand(scratch1, Map::kInstanceTypeOffset));
1716 movzxbl(scratch2, FieldOperand(scratch2, Map::kInstanceTypeOffset));
1717
1718 // Check that both are flat ascii strings.
1719 ASSERT(kNotStringTag != 0);
1720 const int kFlatAsciiStringMask =
1721 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
1722 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
1723
1724 andl(scratch1, Immediate(kFlatAsciiStringMask));
1725 andl(scratch2, Immediate(kFlatAsciiStringMask));
1726 // Interleave the bits to check both scratch1 and scratch2 in one test.
1727 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
1728 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
1729 cmpl(scratch1,
1730 Immediate(kFlatAsciiStringTag + (kFlatAsciiStringTag << 3)));
1731 j(not_equal, on_fail);
1732}
1733
1734
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001735void MacroAssembler::JumpIfInstanceTypeIsNotSequentialAscii(
1736 Register instance_type,
1737 Register scratch,
1738 Label *failure) {
1739 if (!scratch.is(instance_type)) {
1740 movl(scratch, instance_type);
1741 }
1742
1743 const int kFlatAsciiStringMask =
1744 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
1745
1746 andl(scratch, Immediate(kFlatAsciiStringMask));
1747 cmpl(scratch, Immediate(kStringTag | kSeqStringTag | kAsciiStringTag));
1748 j(not_equal, failure);
1749}
1750
1751
1752void MacroAssembler::JumpIfBothInstanceTypesAreNotSequentialAscii(
1753 Register first_object_instance_type,
1754 Register second_object_instance_type,
1755 Register scratch1,
1756 Register scratch2,
1757 Label* on_fail) {
1758 // Load instance type for both strings.
1759 movq(scratch1, first_object_instance_type);
1760 movq(scratch2, second_object_instance_type);
1761
1762 // Check that both are flat ascii strings.
1763 ASSERT(kNotStringTag != 0);
1764 const int kFlatAsciiStringMask =
1765 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
1766 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
1767
1768 andl(scratch1, Immediate(kFlatAsciiStringMask));
1769 andl(scratch2, Immediate(kFlatAsciiStringMask));
1770 // Interleave the bits to check both scratch1 and scratch2 in one test.
1771 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
1772 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
1773 cmpl(scratch1,
1774 Immediate(kFlatAsciiStringTag + (kFlatAsciiStringTag << 3)));
1775 j(not_equal, on_fail);
1776}
1777
1778
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001779void MacroAssembler::Move(Register dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001780 ASSERT(!source->IsFailure());
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001781 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001782 Move(dst, Smi::cast(*source));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001783 } else {
1784 movq(dst, source, RelocInfo::EMBEDDED_OBJECT);
1785 }
1786}
1787
1788
1789void MacroAssembler::Move(const Operand& dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001790 ASSERT(!source->IsFailure());
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001791 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001792 Move(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001793 } else {
1794 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1795 movq(dst, kScratchRegister);
1796 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001797}
1798
1799
1800void MacroAssembler::Cmp(Register dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001801 if (source->IsSmi()) {
1802 SmiCompare(dst, Smi::cast(*source));
1803 } else {
1804 Move(kScratchRegister, source);
1805 cmpq(dst, kScratchRegister);
1806 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001807}
1808
1809
ager@chromium.org3e875802009-06-29 08:26:34 +00001810void MacroAssembler::Cmp(const Operand& dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001811 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001812 SmiCompare(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001813 } else {
1814 ASSERT(source->IsHeapObject());
1815 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1816 cmpq(dst, kScratchRegister);
1817 }
ager@chromium.org3e875802009-06-29 08:26:34 +00001818}
1819
1820
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001821void MacroAssembler::Push(Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001822 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001823 Push(Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00001824 } else {
1825 ASSERT(source->IsHeapObject());
1826 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
1827 push(kScratchRegister);
1828 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001829}
1830
1831
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001832void MacroAssembler::Push(Smi* source) {
ager@chromium.org3811b432009-10-28 14:53:37 +00001833 intptr_t smi = reinterpret_cast<intptr_t>(source);
1834 if (is_int32(smi)) {
1835 push(Immediate(static_cast<int32_t>(smi)));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001836 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001837 Register constant = GetSmiConstant(source);
1838 push(constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001839 }
1840}
1841
1842
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001843void MacroAssembler::Drop(int stack_elements) {
1844 if (stack_elements > 0) {
1845 addq(rsp, Immediate(stack_elements * kPointerSize));
1846 }
1847}
1848
1849
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001850void MacroAssembler::Test(const Operand& src, Smi* source) {
kmillikin@chromium.org9155e252010-05-26 13:27:57 +00001851 testl(Operand(src, kIntSize), Immediate(source->value()));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00001852}
1853
1854
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001855void MacroAssembler::Jump(ExternalReference ext) {
1856 movq(kScratchRegister, ext);
1857 jmp(kScratchRegister);
1858}
1859
1860
1861void MacroAssembler::Jump(Address destination, RelocInfo::Mode rmode) {
1862 movq(kScratchRegister, destination, rmode);
1863 jmp(kScratchRegister);
1864}
1865
1866
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001867void MacroAssembler::Jump(Handle<Code> code_object, RelocInfo::Mode rmode) {
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001868 // TODO(X64): Inline this
1869 jmp(code_object, rmode);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001870}
1871
1872
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001873void MacroAssembler::Call(ExternalReference ext) {
1874 movq(kScratchRegister, ext);
1875 call(kScratchRegister);
1876}
1877
1878
1879void MacroAssembler::Call(Address destination, RelocInfo::Mode rmode) {
1880 movq(kScratchRegister, destination, rmode);
1881 call(kScratchRegister);
1882}
1883
1884
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001885void MacroAssembler::Call(Handle<Code> code_object, RelocInfo::Mode rmode) {
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001886 ASSERT(RelocInfo::IsCodeTarget(rmode));
sgjesse@chromium.org911335c2009-08-19 12:59:44 +00001887 WriteRecordedPositions();
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001888 call(code_object, rmode);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00001889}
1890
1891
ager@chromium.orge2902be2009-06-08 12:21:35 +00001892void MacroAssembler::PushTryHandler(CodeLocation try_location,
1893 HandlerType type) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001894 // Adjust this code if not the case.
1895 ASSERT(StackHandlerConstants::kSize == 4 * kPointerSize);
1896
1897 // The pc (return address) is already on TOS. This code pushes state,
1898 // frame pointer and current handler. Check that they are expected
1899 // next on the stack, in that order.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001900 ASSERT_EQ(StackHandlerConstants::kStateOffset,
1901 StackHandlerConstants::kPCOffset - kPointerSize);
ager@chromium.orge2902be2009-06-08 12:21:35 +00001902 ASSERT_EQ(StackHandlerConstants::kFPOffset,
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001903 StackHandlerConstants::kStateOffset - kPointerSize);
1904 ASSERT_EQ(StackHandlerConstants::kNextOffset,
ager@chromium.orge2902be2009-06-08 12:21:35 +00001905 StackHandlerConstants::kFPOffset - kPointerSize);
1906
1907 if (try_location == IN_JAVASCRIPT) {
1908 if (type == TRY_CATCH_HANDLER) {
1909 push(Immediate(StackHandler::TRY_CATCH));
1910 } else {
1911 push(Immediate(StackHandler::TRY_FINALLY));
1912 }
ager@chromium.orge2902be2009-06-08 12:21:35 +00001913 push(rbp);
ager@chromium.orge2902be2009-06-08 12:21:35 +00001914 } else {
1915 ASSERT(try_location == IN_JS_ENTRY);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001916 // The frame pointer does not point to a JS frame so we save NULL
1917 // for rbp. We expect the code throwing an exception to check rbp
1918 // before dereferencing it to restore the context.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001919 push(Immediate(StackHandler::ENTRY));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001920 push(Immediate(0)); // NULL frame pointer.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001921 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001922 // Save the current handler.
ager@chromium.orge2902be2009-06-08 12:21:35 +00001923 movq(kScratchRegister, ExternalReference(Top::k_handler_address));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001924 push(Operand(kScratchRegister, 0));
ager@chromium.orge2902be2009-06-08 12:21:35 +00001925 // Link this handler.
1926 movq(Operand(kScratchRegister, 0), rsp);
1927}
1928
1929
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001930void MacroAssembler::PopTryHandler() {
1931 ASSERT_EQ(0, StackHandlerConstants::kNextOffset);
1932 // Unlink this handler.
1933 movq(kScratchRegister, ExternalReference(Top::k_handler_address));
1934 pop(Operand(kScratchRegister, 0));
1935 // Remove the remaining fields.
1936 addq(rsp, Immediate(StackHandlerConstants::kSize - kPointerSize));
1937}
1938
1939
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001940void MacroAssembler::Ret() {
1941 ret(0);
1942}
1943
1944
ager@chromium.org3e875802009-06-29 08:26:34 +00001945void MacroAssembler::FCmp() {
ager@chromium.org3811b432009-10-28 14:53:37 +00001946 fucomip();
fschneider@chromium.org40b9da32010-06-28 11:29:21 +00001947 fstp(0);
ager@chromium.org3e875802009-06-29 08:26:34 +00001948}
1949
1950
ager@chromium.orgeadaf222009-06-16 09:43:10 +00001951void MacroAssembler::CmpObjectType(Register heap_object,
1952 InstanceType type,
1953 Register map) {
1954 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
1955 CmpInstanceType(map, type);
1956}
1957
1958
1959void MacroAssembler::CmpInstanceType(Register map, InstanceType type) {
1960 cmpb(FieldOperand(map, Map::kInstanceTypeOffset),
1961 Immediate(static_cast<int8_t>(type)));
1962}
1963
1964
ager@chromium.org5c838252010-02-19 08:53:10 +00001965void MacroAssembler::CheckMap(Register obj,
1966 Handle<Map> map,
1967 Label* fail,
1968 bool is_heap_object) {
1969 if (!is_heap_object) {
1970 JumpIfSmi(obj, fail);
1971 }
1972 Cmp(FieldOperand(obj, HeapObject::kMapOffset), map);
1973 j(not_equal, fail);
1974}
1975
1976
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001977void MacroAssembler::AbortIfNotNumber(Register object) {
ager@chromium.org5c838252010-02-19 08:53:10 +00001978 Label ok;
1979 Condition is_smi = CheckSmi(object);
1980 j(is_smi, &ok);
1981 Cmp(FieldOperand(object, HeapObject::kMapOffset),
1982 Factory::heap_number_map());
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001983 Assert(equal, "Operand not a number");
ager@chromium.org5c838252010-02-19 08:53:10 +00001984 bind(&ok);
1985}
1986
1987
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001988void MacroAssembler::AbortIfSmi(Register object) {
1989 Label ok;
1990 Condition is_smi = CheckSmi(object);
1991 Assert(NegateCondition(is_smi), "Operand is a smi");
1992}
1993
1994
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001995void MacroAssembler::AbortIfNotSmi(Register object) {
lrn@chromium.org25156de2010-04-06 13:10:27 +00001996 Label ok;
1997 Condition is_smi = CheckSmi(object);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001998 Assert(is_smi, "Operand is not a smi");
lrn@chromium.org25156de2010-04-06 13:10:27 +00001999}
2000
2001
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00002002void MacroAssembler::AbortIfNotRootValue(Register src,
2003 Heap::RootListIndex root_value_index,
2004 const char* message) {
2005 ASSERT(!src.is(kScratchRegister));
2006 LoadRoot(kScratchRegister, root_value_index);
2007 cmpq(src, kScratchRegister);
2008 Check(equal, message);
2009}
2010
2011
2012
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002013Condition MacroAssembler::IsObjectStringType(Register heap_object,
2014 Register map,
2015 Register instance_type) {
2016 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
2017 movzxbl(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
2018 ASSERT(kNotStringTag != 0);
2019 testb(instance_type, Immediate(kIsNotStringMask));
2020 return zero;
2021}
2022
2023
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002024void MacroAssembler::TryGetFunctionPrototype(Register function,
2025 Register result,
2026 Label* miss) {
2027 // Check that the receiver isn't a smi.
2028 testl(function, Immediate(kSmiTagMask));
2029 j(zero, miss);
2030
2031 // Check that the function really is a function.
2032 CmpObjectType(function, JS_FUNCTION_TYPE, result);
2033 j(not_equal, miss);
2034
2035 // Make sure that the function has an instance prototype.
2036 Label non_instance;
2037 testb(FieldOperand(result, Map::kBitFieldOffset),
2038 Immediate(1 << Map::kHasNonInstancePrototype));
2039 j(not_zero, &non_instance);
2040
2041 // Get the prototype or initial map from the function.
2042 movq(result,
2043 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2044
2045 // If the prototype or initial map is the hole, don't return it and
2046 // simply miss the cache instead. This will allow us to allocate a
2047 // prototype object on-demand in the runtime system.
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002048 CompareRoot(result, Heap::kTheHoleValueRootIndex);
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002049 j(equal, miss);
2050
2051 // If the function does not have an initial map, we're done.
2052 Label done;
2053 CmpObjectType(result, MAP_TYPE, kScratchRegister);
2054 j(not_equal, &done);
2055
2056 // Get the prototype from the initial map.
2057 movq(result, FieldOperand(result, Map::kPrototypeOffset));
2058 jmp(&done);
2059
2060 // Non-instance prototype: Fetch prototype from constructor field
2061 // in initial map.
2062 bind(&non_instance);
2063 movq(result, FieldOperand(result, Map::kConstructorOffset));
2064
2065 // All done.
2066 bind(&done);
2067}
2068
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002069
2070void MacroAssembler::SetCounter(StatsCounter* counter, int value) {
2071 if (FLAG_native_code_counters && counter->Enabled()) {
2072 movq(kScratchRegister, ExternalReference(counter));
2073 movl(Operand(kScratchRegister, 0), Immediate(value));
2074 }
2075}
2076
2077
2078void MacroAssembler::IncrementCounter(StatsCounter* counter, int value) {
2079 ASSERT(value > 0);
2080 if (FLAG_native_code_counters && counter->Enabled()) {
2081 movq(kScratchRegister, ExternalReference(counter));
2082 Operand operand(kScratchRegister, 0);
2083 if (value == 1) {
2084 incl(operand);
2085 } else {
2086 addl(operand, Immediate(value));
2087 }
2088 }
2089}
2090
2091
2092void MacroAssembler::DecrementCounter(StatsCounter* counter, int value) {
2093 ASSERT(value > 0);
2094 if (FLAG_native_code_counters && counter->Enabled()) {
2095 movq(kScratchRegister, ExternalReference(counter));
2096 Operand operand(kScratchRegister, 0);
2097 if (value == 1) {
2098 decl(operand);
2099 } else {
2100 subl(operand, Immediate(value));
2101 }
2102 }
2103}
2104
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002105#ifdef ENABLE_DEBUGGER_SUPPORT
2106
2107void MacroAssembler::PushRegistersFromMemory(RegList regs) {
2108 ASSERT((regs & ~kJSCallerSaved) == 0);
2109 // Push the content of the memory location to the stack.
2110 for (int i = 0; i < kNumJSCallerSaved; i++) {
2111 int r = JSCallerSavedCode(i);
2112 if ((regs & (1 << r)) != 0) {
2113 ExternalReference reg_addr =
2114 ExternalReference(Debug_Address::Register(i));
2115 movq(kScratchRegister, reg_addr);
2116 push(Operand(kScratchRegister, 0));
2117 }
2118 }
2119}
2120
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002121
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002122void MacroAssembler::SaveRegistersToMemory(RegList regs) {
2123 ASSERT((regs & ~kJSCallerSaved) == 0);
2124 // Copy the content of registers to memory location.
2125 for (int i = 0; i < kNumJSCallerSaved; i++) {
2126 int r = JSCallerSavedCode(i);
2127 if ((regs & (1 << r)) != 0) {
2128 Register reg = { r };
2129 ExternalReference reg_addr =
2130 ExternalReference(Debug_Address::Register(i));
2131 movq(kScratchRegister, reg_addr);
2132 movq(Operand(kScratchRegister, 0), reg);
2133 }
2134 }
2135}
2136
2137
2138void MacroAssembler::RestoreRegistersFromMemory(RegList regs) {
2139 ASSERT((regs & ~kJSCallerSaved) == 0);
2140 // Copy the content of memory location to registers.
2141 for (int i = kNumJSCallerSaved - 1; i >= 0; i--) {
2142 int r = JSCallerSavedCode(i);
2143 if ((regs & (1 << r)) != 0) {
2144 Register reg = { r };
2145 ExternalReference reg_addr =
2146 ExternalReference(Debug_Address::Register(i));
2147 movq(kScratchRegister, reg_addr);
2148 movq(reg, Operand(kScratchRegister, 0));
2149 }
2150 }
2151}
2152
2153
2154void MacroAssembler::PopRegistersToMemory(RegList regs) {
2155 ASSERT((regs & ~kJSCallerSaved) == 0);
2156 // Pop the content from the stack to the memory location.
2157 for (int i = kNumJSCallerSaved - 1; i >= 0; i--) {
2158 int r = JSCallerSavedCode(i);
2159 if ((regs & (1 << r)) != 0) {
2160 ExternalReference reg_addr =
2161 ExternalReference(Debug_Address::Register(i));
2162 movq(kScratchRegister, reg_addr);
2163 pop(Operand(kScratchRegister, 0));
2164 }
2165 }
2166}
2167
2168
2169void MacroAssembler::CopyRegistersFromStackToMemory(Register base,
2170 Register scratch,
2171 RegList regs) {
2172 ASSERT(!scratch.is(kScratchRegister));
2173 ASSERT(!base.is(kScratchRegister));
2174 ASSERT(!base.is(scratch));
2175 ASSERT((regs & ~kJSCallerSaved) == 0);
2176 // Copy the content of the stack to the memory location and adjust base.
2177 for (int i = kNumJSCallerSaved - 1; i >= 0; i--) {
2178 int r = JSCallerSavedCode(i);
2179 if ((regs & (1 << r)) != 0) {
2180 movq(scratch, Operand(base, 0));
2181 ExternalReference reg_addr =
2182 ExternalReference(Debug_Address::Register(i));
2183 movq(kScratchRegister, reg_addr);
2184 movq(Operand(kScratchRegister, 0), scratch);
2185 lea(base, Operand(base, kPointerSize));
2186 }
2187 }
2188}
2189
ager@chromium.org5c838252010-02-19 08:53:10 +00002190void MacroAssembler::DebugBreak() {
2191 ASSERT(allow_stub_calls());
2192 xor_(rax, rax); // no arguments
2193 movq(rbx, ExternalReference(Runtime::kDebugBreak));
2194 CEntryStub ces(1);
2195 Call(ces.GetCode(), RelocInfo::DEBUG_BREAK);
ager@chromium.org3e875802009-06-29 08:26:34 +00002196}
ager@chromium.org5c838252010-02-19 08:53:10 +00002197#endif // ENABLE_DEBUGGER_SUPPORT
ager@chromium.org3e875802009-06-29 08:26:34 +00002198
2199
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002200void MacroAssembler::InvokePrologue(const ParameterCount& expected,
2201 const ParameterCount& actual,
2202 Handle<Code> code_constant,
2203 Register code_register,
2204 Label* done,
2205 InvokeFlag flag) {
2206 bool definitely_matches = false;
2207 Label invoke;
2208 if (expected.is_immediate()) {
2209 ASSERT(actual.is_immediate());
2210 if (expected.immediate() == actual.immediate()) {
2211 definitely_matches = true;
2212 } else {
lrn@chromium.org32d961d2010-06-30 09:09:34 +00002213 Set(rax, actual.immediate());
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002214 if (expected.immediate() ==
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002215 SharedFunctionInfo::kDontAdaptArgumentsSentinel) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002216 // Don't worry about adapting arguments for built-ins that
2217 // don't want that done. Skip adaption code by making it look
2218 // like we have a match between expected and actual number of
2219 // arguments.
2220 definitely_matches = true;
2221 } else {
lrn@chromium.org32d961d2010-06-30 09:09:34 +00002222 Set(rbx, expected.immediate());
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002223 }
2224 }
2225 } else {
2226 if (actual.is_immediate()) {
2227 // Expected is in register, actual is immediate. This is the
2228 // case when we invoke function values without going through the
2229 // IC mechanism.
2230 cmpq(expected.reg(), Immediate(actual.immediate()));
2231 j(equal, &invoke);
2232 ASSERT(expected.reg().is(rbx));
lrn@chromium.org32d961d2010-06-30 09:09:34 +00002233 Set(rax, actual.immediate());
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002234 } else if (!expected.reg().is(actual.reg())) {
2235 // Both expected and actual are in (different) registers. This
2236 // is the case when we invoke functions using call and apply.
2237 cmpq(expected.reg(), actual.reg());
2238 j(equal, &invoke);
2239 ASSERT(actual.reg().is(rax));
2240 ASSERT(expected.reg().is(rbx));
2241 }
2242 }
2243
2244 if (!definitely_matches) {
2245 Handle<Code> adaptor =
2246 Handle<Code>(Builtins::builtin(Builtins::ArgumentsAdaptorTrampoline));
2247 if (!code_constant.is_null()) {
2248 movq(rdx, code_constant, RelocInfo::EMBEDDED_OBJECT);
2249 addq(rdx, Immediate(Code::kHeaderSize - kHeapObjectTag));
2250 } else if (!code_register.is(rdx)) {
2251 movq(rdx, code_register);
2252 }
2253
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002254 if (flag == CALL_FUNCTION) {
sgjesse@chromium.org911335c2009-08-19 12:59:44 +00002255 Call(adaptor, RelocInfo::CODE_TARGET);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002256 jmp(done);
2257 } else {
sgjesse@chromium.org911335c2009-08-19 12:59:44 +00002258 Jump(adaptor, RelocInfo::CODE_TARGET);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002259 }
2260 bind(&invoke);
2261 }
2262}
2263
2264
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002265void MacroAssembler::InvokeCode(Register code,
2266 const ParameterCount& expected,
2267 const ParameterCount& actual,
2268 InvokeFlag flag) {
2269 Label done;
2270 InvokePrologue(expected, actual, Handle<Code>::null(), code, &done, flag);
2271 if (flag == CALL_FUNCTION) {
2272 call(code);
2273 } else {
2274 ASSERT(flag == JUMP_FUNCTION);
2275 jmp(code);
2276 }
2277 bind(&done);
2278}
2279
2280
2281void MacroAssembler::InvokeCode(Handle<Code> code,
2282 const ParameterCount& expected,
2283 const ParameterCount& actual,
2284 RelocInfo::Mode rmode,
2285 InvokeFlag flag) {
2286 Label done;
2287 Register dummy = rax;
2288 InvokePrologue(expected, actual, code, dummy, &done, flag);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002289 if (flag == CALL_FUNCTION) {
ager@chromium.org3e875802009-06-29 08:26:34 +00002290 Call(code, rmode);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002291 } else {
2292 ASSERT(flag == JUMP_FUNCTION);
ager@chromium.org3e875802009-06-29 08:26:34 +00002293 Jump(code, rmode);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002294 }
2295 bind(&done);
2296}
2297
2298
2299void MacroAssembler::InvokeFunction(Register function,
2300 const ParameterCount& actual,
2301 InvokeFlag flag) {
2302 ASSERT(function.is(rdi));
2303 movq(rdx, FieldOperand(function, JSFunction::kSharedFunctionInfoOffset));
2304 movq(rsi, FieldOperand(function, JSFunction::kContextOffset));
ager@chromium.org3e875802009-06-29 08:26:34 +00002305 movsxlq(rbx,
2306 FieldOperand(rdx, SharedFunctionInfo::kFormalParameterCountOffset));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002307 // Advances rdx to the end of the Code object header, to the start of
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002308 // the executable code.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00002309 movq(rdx, FieldOperand(rdi, JSFunction::kCodeEntryOffset));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002310
2311 ParameterCount expected(rbx);
2312 InvokeCode(rdx, expected, actual, flag);
2313}
2314
2315
ager@chromium.org5c838252010-02-19 08:53:10 +00002316void MacroAssembler::InvokeFunction(JSFunction* function,
2317 const ParameterCount& actual,
2318 InvokeFlag flag) {
2319 ASSERT(function->is_compiled());
2320 // Get the function and setup the context.
2321 Move(rdi, Handle<JSFunction>(function));
2322 movq(rsi, FieldOperand(rdi, JSFunction::kContextOffset));
2323
2324 // Invoke the cached code.
2325 Handle<Code> code(function->code());
2326 ParameterCount expected(function->shared()->formal_parameter_count());
2327 InvokeCode(code, expected, actual, RelocInfo::CODE_TARGET, flag);
2328}
2329
2330
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002331void MacroAssembler::EnterFrame(StackFrame::Type type) {
2332 push(rbp);
2333 movq(rbp, rsp);
2334 push(rsi); // Context.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002335 Push(Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002336 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
2337 push(kScratchRegister);
2338 if (FLAG_debug_code) {
2339 movq(kScratchRegister,
2340 Factory::undefined_value(),
2341 RelocInfo::EMBEDDED_OBJECT);
2342 cmpq(Operand(rsp, 0), kScratchRegister);
2343 Check(not_equal, "code object not properly patched");
2344 }
2345}
2346
2347
2348void MacroAssembler::LeaveFrame(StackFrame::Type type) {
2349 if (FLAG_debug_code) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002350 Move(kScratchRegister, Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002351 cmpq(Operand(rbp, StandardFrameConstants::kMarkerOffset), kScratchRegister);
2352 Check(equal, "stack frame types must match");
2353 }
2354 movq(rsp, rbp);
2355 pop(rbp);
2356}
2357
2358
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002359void MacroAssembler::EnterExitFramePrologue(ExitFrame::Mode mode,
2360 bool save_rax) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002361 // Setup the frame structure on the stack.
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002362 // All constants are relative to the frame pointer of the exit frame.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002363 ASSERT(ExitFrameConstants::kCallerSPDisplacement == +2 * kPointerSize);
2364 ASSERT(ExitFrameConstants::kCallerPCOffset == +1 * kPointerSize);
2365 ASSERT(ExitFrameConstants::kCallerFPOffset == 0 * kPointerSize);
2366 push(rbp);
2367 movq(rbp, rsp);
2368
2369 // Reserve room for entry stack pointer and push the debug marker.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002370 ASSERT(ExitFrameConstants::kSPOffset == -1 * kPointerSize);
ager@chromium.org5c838252010-02-19 08:53:10 +00002371 push(Immediate(0)); // Saved entry sp, patched before call.
2372 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
2373 push(kScratchRegister); // Accessed from EditFrame::code_slot.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002374
2375 // Save the frame pointer and the context in top.
2376 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
2377 ExternalReference context_address(Top::k_context_address);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002378 if (save_rax) {
2379 movq(r14, rax); // Backup rax before we use it.
2380 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002381
2382 movq(rax, rbp);
2383 store_rax(c_entry_fp_address);
2384 movq(rax, rsi);
2385 store_rax(context_address);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002386}
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002387
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002388void MacroAssembler::EnterExitFrameEpilogue(ExitFrame::Mode mode,
2389 int result_size,
2390 int argc) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002391#ifdef ENABLE_DEBUGGER_SUPPORT
2392 // Save the state of all registers to the stack from the memory
2393 // location. This is needed to allow nested break points.
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002394 if (mode == ExitFrame::MODE_DEBUG) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002395 // TODO(1243899): This should be symmetric to
2396 // CopyRegistersFromStackToMemory() but it isn't! esp is assumed
2397 // correct here, but computed for the other call. Very error
2398 // prone! FIX THIS. Actually there are deeper problems with
2399 // register saving than this asymmetry (see the bug report
2400 // associated with this issue).
2401 PushRegistersFromMemory(kJSCallerSaved);
2402 }
2403#endif
2404
ager@chromium.orga1645e22009-09-09 19:27:10 +00002405#ifdef _WIN64
2406 // Reserve space on stack for result and argument structures, if necessary.
2407 int result_stack_space = (result_size < 2) ? 0 : result_size * kPointerSize;
2408 // Reserve space for the Arguments object. The Windows 64-bit ABI
2409 // requires us to pass this structure as a pointer to its location on
2410 // the stack. The structure contains 2 values.
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002411 int argument_stack_space = argc * kPointerSize;
ager@chromium.orga1645e22009-09-09 19:27:10 +00002412 // We also need backing space for 4 parameters, even though
2413 // we only pass one or two parameter, and it is in a register.
2414 int argument_mirror_space = 4 * kPointerSize;
2415 int total_stack_space =
2416 argument_mirror_space + argument_stack_space + result_stack_space;
2417 subq(rsp, Immediate(total_stack_space));
2418#endif
2419
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002420 // Get the required frame alignment for the OS.
2421 static const int kFrameAlignment = OS::ActivationFrameAlignment();
2422 if (kFrameAlignment > 0) {
2423 ASSERT(IsPowerOf2(kFrameAlignment));
2424 movq(kScratchRegister, Immediate(-kFrameAlignment));
2425 and_(rsp, kScratchRegister);
2426 }
2427
2428 // Patch the saved entry sp.
2429 movq(Operand(rbp, ExitFrameConstants::kSPOffset), rsp);
2430}
2431
2432
whesse@chromium.orge90029b2010-08-02 11:52:17 +00002433void MacroAssembler::EnterExitFrame(ExitFrame::Mode mode, int result_size) {
2434 EnterExitFramePrologue(mode, true);
2435
2436 // Setup argv in callee-saved register r12. It is reused in LeaveExitFrame,
2437 // so it must be retained across the C-call.
2438 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
2439 lea(r12, Operand(rbp, r14, times_pointer_size, offset));
2440
2441 EnterExitFrameEpilogue(mode, result_size, 2);
2442}
2443
2444
2445void MacroAssembler::EnterApiExitFrame(ExitFrame::Mode mode,
2446 int stack_space,
2447 int argc,
2448 int result_size) {
2449 EnterExitFramePrologue(mode, false);
2450
2451 // Setup argv in callee-saved register r12. It is reused in LeaveExitFrame,
2452 // so it must be retained across the C-call.
2453 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
2454 lea(r12, Operand(rbp, (stack_space * kPointerSize) + offset));
2455
2456 EnterExitFrameEpilogue(mode, result_size, argc);
2457}
2458
2459
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002460void MacroAssembler::LeaveExitFrame(ExitFrame::Mode mode, int result_size) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002461 // Registers:
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00002462 // r12 : argv
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002463#ifdef ENABLE_DEBUGGER_SUPPORT
2464 // Restore the memory copy of the registers by digging them out from
2465 // the stack. This is needed to allow nested break points.
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002466 if (mode == ExitFrame::MODE_DEBUG) {
ager@chromium.orga1645e22009-09-09 19:27:10 +00002467 // It's okay to clobber register rbx below because we don't need
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002468 // the function pointer after this.
2469 const int kCallerSavedSize = kNumJSCallerSaved * kPointerSize;
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002470 int kOffset = ExitFrameConstants::kCodeOffset - kCallerSavedSize;
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002471 lea(rbx, Operand(rbp, kOffset));
2472 CopyRegistersFromStackToMemory(rbx, rcx, kJSCallerSaved);
2473 }
2474#endif
2475
2476 // Get the return address from the stack and restore the frame pointer.
2477 movq(rcx, Operand(rbp, 1 * kPointerSize));
2478 movq(rbp, Operand(rbp, 0 * kPointerSize));
2479
ager@chromium.orga1645e22009-09-09 19:27:10 +00002480 // Pop everything up to and including the arguments and the receiver
2481 // from the caller stack.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00002482 lea(rsp, Operand(r12, 1 * kPointerSize));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002483
2484 // Restore current context from top and clear it in debug mode.
2485 ExternalReference context_address(Top::k_context_address);
2486 movq(kScratchRegister, context_address);
2487 movq(rsi, Operand(kScratchRegister, 0));
2488#ifdef DEBUG
2489 movq(Operand(kScratchRegister, 0), Immediate(0));
2490#endif
2491
2492 // Push the return address to get ready to return.
2493 push(rcx);
2494
2495 // Clear the top frame.
2496 ExternalReference c_entry_fp_address(Top::k_c_entry_fp_address);
2497 movq(kScratchRegister, c_entry_fp_address);
2498 movq(Operand(kScratchRegister, 0), Immediate(0));
2499}
2500
2501
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002502void MacroAssembler::CheckAccessGlobalProxy(Register holder_reg,
2503 Register scratch,
2504 Label* miss) {
2505 Label same_contexts;
2506
2507 ASSERT(!holder_reg.is(scratch));
2508 ASSERT(!scratch.is(kScratchRegister));
2509 // Load current lexical context from the stack frame.
2510 movq(scratch, Operand(rbp, StandardFrameConstants::kContextOffset));
2511
2512 // When generating debug code, make sure the lexical context is set.
2513 if (FLAG_debug_code) {
2514 cmpq(scratch, Immediate(0));
2515 Check(not_equal, "we should not have an empty lexical context");
2516 }
2517 // Load the global context of the current context.
2518 int offset = Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
2519 movq(scratch, FieldOperand(scratch, offset));
2520 movq(scratch, FieldOperand(scratch, GlobalObject::kGlobalContextOffset));
2521
2522 // Check the context is a global context.
2523 if (FLAG_debug_code) {
2524 Cmp(FieldOperand(scratch, HeapObject::kMapOffset),
2525 Factory::global_context_map());
2526 Check(equal, "JSGlobalObject::global_context should be a global context.");
2527 }
2528
2529 // Check if both contexts are the same.
2530 cmpq(scratch, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
2531 j(equal, &same_contexts);
2532
2533 // Compare security tokens.
2534 // Check that the security token in the calling global object is
2535 // compatible with the security token in the receiving global
2536 // object.
2537
2538 // Check the context is a global context.
2539 if (FLAG_debug_code) {
2540 // Preserve original value of holder_reg.
2541 push(holder_reg);
2542 movq(holder_reg, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002543 CompareRoot(holder_reg, Heap::kNullValueRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002544 Check(not_equal, "JSGlobalProxy::context() should not be null.");
2545
2546 // Read the first word and compare to global_context_map(),
2547 movq(holder_reg, FieldOperand(holder_reg, HeapObject::kMapOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002548 CompareRoot(holder_reg, Heap::kGlobalContextMapRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002549 Check(equal, "JSGlobalObject::global_context should be a global context.");
2550 pop(holder_reg);
2551 }
2552
2553 movq(kScratchRegister,
2554 FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002555 int token_offset =
2556 Context::kHeaderSize + Context::SECURITY_TOKEN_INDEX * kPointerSize;
kasperl@chromium.orge959c182009-07-27 08:59:04 +00002557 movq(scratch, FieldOperand(scratch, token_offset));
2558 cmpq(scratch, FieldOperand(kScratchRegister, token_offset));
2559 j(not_equal, miss);
2560
2561 bind(&same_contexts);
2562}
2563
2564
ager@chromium.orga1645e22009-09-09 19:27:10 +00002565void MacroAssembler::LoadAllocationTopHelper(Register result,
2566 Register result_end,
2567 Register scratch,
2568 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002569 ExternalReference new_space_allocation_top =
2570 ExternalReference::new_space_allocation_top_address();
2571
2572 // Just return if allocation top is already known.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002573 if ((flags & RESULT_CONTAINS_TOP) != 0) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002574 // No use of scratch if allocation top is provided.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002575 ASSERT(!scratch.is_valid());
ager@chromium.orga1645e22009-09-09 19:27:10 +00002576#ifdef DEBUG
2577 // Assert that result actually contains top on entry.
2578 movq(kScratchRegister, new_space_allocation_top);
2579 cmpq(result, Operand(kScratchRegister, 0));
2580 Check(equal, "Unexpected allocation top");
2581#endif
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002582 return;
2583 }
2584
ager@chromium.orgac091b72010-05-05 07:34:42 +00002585 // Move address of new object to result. Use scratch register if available,
2586 // and keep address in scratch until call to UpdateAllocationTopHelper.
2587 if (scratch.is_valid()) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002588 ASSERT(!scratch.is(result_end));
2589 movq(scratch, new_space_allocation_top);
2590 movq(result, Operand(scratch, 0));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002591 } else if (result.is(rax)) {
2592 load_rax(new_space_allocation_top);
2593 } else {
2594 movq(kScratchRegister, new_space_allocation_top);
2595 movq(result, Operand(kScratchRegister, 0));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002596 }
2597}
2598
2599
2600void MacroAssembler::UpdateAllocationTopHelper(Register result_end,
2601 Register scratch) {
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002602 if (FLAG_debug_code) {
2603 testq(result_end, Immediate(kObjectAlignmentMask));
2604 Check(zero, "Unaligned allocation in new space");
2605 }
2606
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002607 ExternalReference new_space_allocation_top =
2608 ExternalReference::new_space_allocation_top_address();
2609
2610 // Update new top.
2611 if (result_end.is(rax)) {
2612 // rax can be stored directly to a memory location.
2613 store_rax(new_space_allocation_top);
2614 } else {
2615 // Register required - use scratch provided if available.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002616 if (scratch.is_valid()) {
2617 movq(Operand(scratch, 0), result_end);
2618 } else {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002619 movq(kScratchRegister, new_space_allocation_top);
2620 movq(Operand(kScratchRegister, 0), result_end);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002621 }
2622 }
2623}
2624
2625
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002626void MacroAssembler::AllocateInNewSpace(int object_size,
2627 Register result,
2628 Register result_end,
2629 Register scratch,
2630 Label* gc_required,
2631 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002632 ASSERT(!result.is(result_end));
2633
2634 // Load address of new object into result.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002635 LoadAllocationTopHelper(result, result_end, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002636
2637 // Calculate new top and bail out if new space is exhausted.
2638 ExternalReference new_space_allocation_limit =
2639 ExternalReference::new_space_allocation_limit_address();
ager@chromium.orgac091b72010-05-05 07:34:42 +00002640
2641 Register top_reg = result_end.is_valid() ? result_end : result;
2642
2643 if (top_reg.is(result)) {
2644 addq(top_reg, Immediate(object_size));
2645 } else {
2646 lea(top_reg, Operand(result, object_size));
2647 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002648 movq(kScratchRegister, new_space_allocation_limit);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002649 cmpq(top_reg, Operand(kScratchRegister, 0));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002650 j(above, gc_required);
2651
2652 // Update allocation top.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002653 UpdateAllocationTopHelper(top_reg, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002654
ager@chromium.orgac091b72010-05-05 07:34:42 +00002655 if (top_reg.is(result)) {
2656 if ((flags & TAG_OBJECT) != 0) {
2657 subq(result, Immediate(object_size - kHeapObjectTag));
2658 } else {
2659 subq(result, Immediate(object_size));
2660 }
2661 } else if ((flags & TAG_OBJECT) != 0) {
2662 // Tag the result if requested.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002663 addq(result, Immediate(kHeapObjectTag));
2664 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002665}
2666
2667
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002668void MacroAssembler::AllocateInNewSpace(int header_size,
2669 ScaleFactor element_size,
2670 Register element_count,
2671 Register result,
2672 Register result_end,
2673 Register scratch,
2674 Label* gc_required,
2675 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002676 ASSERT(!result.is(result_end));
2677
2678 // Load address of new object into result.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002679 LoadAllocationTopHelper(result, result_end, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002680
2681 // Calculate new top and bail out if new space is exhausted.
2682 ExternalReference new_space_allocation_limit =
2683 ExternalReference::new_space_allocation_limit_address();
2684 lea(result_end, Operand(result, element_count, element_size, header_size));
2685 movq(kScratchRegister, new_space_allocation_limit);
2686 cmpq(result_end, Operand(kScratchRegister, 0));
2687 j(above, gc_required);
2688
2689 // Update allocation top.
2690 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002691
2692 // Tag the result if requested.
2693 if ((flags & TAG_OBJECT) != 0) {
2694 addq(result, Immediate(kHeapObjectTag));
2695 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002696}
2697
2698
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002699void MacroAssembler::AllocateInNewSpace(Register object_size,
2700 Register result,
2701 Register result_end,
2702 Register scratch,
2703 Label* gc_required,
2704 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002705 // Load address of new object into result.
ager@chromium.orga1645e22009-09-09 19:27:10 +00002706 LoadAllocationTopHelper(result, result_end, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002707
2708 // Calculate new top and bail out if new space is exhausted.
2709 ExternalReference new_space_allocation_limit =
2710 ExternalReference::new_space_allocation_limit_address();
2711 if (!object_size.is(result_end)) {
2712 movq(result_end, object_size);
2713 }
2714 addq(result_end, result);
2715 movq(kScratchRegister, new_space_allocation_limit);
2716 cmpq(result_end, Operand(kScratchRegister, 0));
2717 j(above, gc_required);
2718
2719 // Update allocation top.
2720 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00002721
2722 // Tag the result if requested.
2723 if ((flags & TAG_OBJECT) != 0) {
2724 addq(result, Immediate(kHeapObjectTag));
2725 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002726}
2727
2728
2729void MacroAssembler::UndoAllocationInNewSpace(Register object) {
2730 ExternalReference new_space_allocation_top =
2731 ExternalReference::new_space_allocation_top_address();
2732
2733 // Make sure the object has no tag before resetting top.
2734 and_(object, Immediate(~kHeapObjectTagMask));
2735 movq(kScratchRegister, new_space_allocation_top);
2736#ifdef DEBUG
2737 cmpq(object, Operand(kScratchRegister, 0));
2738 Check(below, "Undo allocation of non allocated memory");
2739#endif
2740 movq(Operand(kScratchRegister, 0), object);
2741}
2742
2743
ager@chromium.org3811b432009-10-28 14:53:37 +00002744void MacroAssembler::AllocateHeapNumber(Register result,
2745 Register scratch,
2746 Label* gc_required) {
2747 // Allocate heap number in new space.
2748 AllocateInNewSpace(HeapNumber::kSize,
2749 result,
2750 scratch,
2751 no_reg,
2752 gc_required,
2753 TAG_OBJECT);
2754
2755 // Set the map.
2756 LoadRoot(kScratchRegister, Heap::kHeapNumberMapRootIndex);
2757 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2758}
2759
2760
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002761void MacroAssembler::AllocateTwoByteString(Register result,
2762 Register length,
2763 Register scratch1,
2764 Register scratch2,
2765 Register scratch3,
2766 Label* gc_required) {
2767 // Calculate the number of bytes needed for the characters in the string while
2768 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002769 const int kHeaderAlignment = SeqTwoByteString::kHeaderSize &
2770 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002771 ASSERT(kShortSize == 2);
2772 // scratch1 = length * 2 + kObjectAlignmentMask.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002773 lea(scratch1, Operand(length, length, times_1, kObjectAlignmentMask +
2774 kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002775 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002776 if (kHeaderAlignment > 0) {
2777 subq(scratch1, Immediate(kHeaderAlignment));
2778 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002779
2780 // Allocate two byte string in new space.
2781 AllocateInNewSpace(SeqTwoByteString::kHeaderSize,
2782 times_1,
2783 scratch1,
2784 result,
2785 scratch2,
2786 scratch3,
2787 gc_required,
2788 TAG_OBJECT);
2789
2790 // Set the map, length and hash field.
2791 LoadRoot(kScratchRegister, Heap::kStringMapRootIndex);
2792 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002793 Integer32ToSmi(scratch1, length);
2794 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002795 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002796 Immediate(String::kEmptyHashField));
2797}
2798
2799
2800void MacroAssembler::AllocateAsciiString(Register result,
2801 Register length,
2802 Register scratch1,
2803 Register scratch2,
2804 Register scratch3,
2805 Label* gc_required) {
2806 // Calculate the number of bytes needed for the characters in the string while
2807 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00002808 const int kHeaderAlignment = SeqAsciiString::kHeaderSize &
2809 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002810 movl(scratch1, length);
2811 ASSERT(kCharSize == 1);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002812 addq(scratch1, Immediate(kObjectAlignmentMask + kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002813 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00002814 if (kHeaderAlignment > 0) {
2815 subq(scratch1, Immediate(kHeaderAlignment));
2816 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002817
2818 // Allocate ascii string in new space.
2819 AllocateInNewSpace(SeqAsciiString::kHeaderSize,
2820 times_1,
2821 scratch1,
2822 result,
2823 scratch2,
2824 scratch3,
2825 gc_required,
2826 TAG_OBJECT);
2827
2828 // Set the map, length and hash field.
2829 LoadRoot(kScratchRegister, Heap::kAsciiStringMapRootIndex);
2830 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00002831 Integer32ToSmi(scratch1, length);
2832 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002833 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002834 Immediate(String::kEmptyHashField));
2835}
2836
2837
2838void MacroAssembler::AllocateConsString(Register result,
2839 Register scratch1,
2840 Register scratch2,
2841 Label* gc_required) {
2842 // Allocate heap number in new space.
2843 AllocateInNewSpace(ConsString::kSize,
2844 result,
2845 scratch1,
2846 scratch2,
2847 gc_required,
2848 TAG_OBJECT);
2849
2850 // Set the map. The other fields are left uninitialized.
2851 LoadRoot(kScratchRegister, Heap::kConsStringMapRootIndex);
2852 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2853}
2854
2855
2856void MacroAssembler::AllocateAsciiConsString(Register result,
2857 Register scratch1,
2858 Register scratch2,
2859 Label* gc_required) {
2860 // Allocate heap number in new space.
2861 AllocateInNewSpace(ConsString::kSize,
2862 result,
2863 scratch1,
2864 scratch2,
2865 gc_required,
2866 TAG_OBJECT);
2867
2868 // Set the map. The other fields are left uninitialized.
2869 LoadRoot(kScratchRegister, Heap::kConsAsciiStringMapRootIndex);
2870 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
2871}
2872
2873
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002874void MacroAssembler::LoadContext(Register dst, int context_chain_length) {
2875 if (context_chain_length > 0) {
2876 // Move up the chain of contexts to the context containing the slot.
2877 movq(dst, Operand(rsi, Context::SlotOffset(Context::CLOSURE_INDEX)));
2878 // Load the function context (which is the incoming, outer context).
lrn@chromium.orgd5649e32010-01-19 13:36:12 +00002879 movq(dst, FieldOperand(dst, JSFunction::kContextOffset));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002880 for (int i = 1; i < context_chain_length; i++) {
2881 movq(dst, Operand(dst, Context::SlotOffset(Context::CLOSURE_INDEX)));
2882 movq(dst, FieldOperand(dst, JSFunction::kContextOffset));
2883 }
2884 // The context may be an intermediate context, not a function context.
2885 movq(dst, Operand(dst, Context::SlotOffset(Context::FCONTEXT_INDEX)));
2886 } else { // context is the current function context.
2887 // The context may be an intermediate context, not a function context.
2888 movq(dst, Operand(rsi, Context::SlotOffset(Context::FCONTEXT_INDEX)));
2889 }
2890}
2891
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002892
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002893int MacroAssembler::ArgumentStackSlotsForCFunctionCall(int num_arguments) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002894 // On Windows 64 stack slots are reserved by the caller for all arguments
2895 // including the ones passed in registers, and space is always allocated for
2896 // the four register arguments even if the function takes fewer than four
2897 // arguments.
2898 // On AMD64 ABI (Linux/Mac) the first six arguments are passed in registers
2899 // and the caller does not reserve stack slots for them.
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002900 ASSERT(num_arguments >= 0);
2901#ifdef _WIN64
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002902 static const int kMinimumStackSlots = 4;
2903 if (num_arguments < kMinimumStackSlots) return kMinimumStackSlots;
2904 return num_arguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002905#else
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002906 static const int kRegisterPassedArguments = 6;
2907 if (num_arguments < kRegisterPassedArguments) return 0;
2908 return num_arguments - kRegisterPassedArguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002909#endif
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002910}
2911
ricow@chromium.org30ce4112010-05-31 10:38:25 +00002912
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002913void MacroAssembler::PrepareCallCFunction(int num_arguments) {
2914 int frame_alignment = OS::ActivationFrameAlignment();
2915 ASSERT(frame_alignment != 0);
2916 ASSERT(num_arguments >= 0);
2917 // Make stack end at alignment and allocate space for arguments and old rsp.
2918 movq(kScratchRegister, rsp);
2919 ASSERT(IsPowerOf2(frame_alignment));
2920 int argument_slots_on_stack =
2921 ArgumentStackSlotsForCFunctionCall(num_arguments);
2922 subq(rsp, Immediate((argument_slots_on_stack + 1) * kPointerSize));
2923 and_(rsp, Immediate(-frame_alignment));
2924 movq(Operand(rsp, argument_slots_on_stack * kPointerSize), kScratchRegister);
2925}
2926
2927
2928void MacroAssembler::CallCFunction(ExternalReference function,
2929 int num_arguments) {
2930 movq(rax, function);
2931 CallCFunction(rax, num_arguments);
2932}
2933
2934
2935void MacroAssembler::CallCFunction(Register function, int num_arguments) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002936 // Check stack alignment.
2937 if (FLAG_debug_code) {
2938 CheckStackAlignment();
2939 }
2940
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002941 call(function);
2942 ASSERT(OS::ActivationFrameAlignment() != 0);
2943 ASSERT(num_arguments >= 0);
2944 int argument_slots_on_stack =
2945 ArgumentStackSlotsForCFunctionCall(num_arguments);
2946 movq(rsp, Operand(rsp, argument_slots_on_stack * kPointerSize));
2947}
2948
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002949
ager@chromium.org4af710e2009-09-15 12:20:11 +00002950CodePatcher::CodePatcher(byte* address, int size)
2951 : address_(address), size_(size), masm_(address, size + Assembler::kGap) {
2952 // Create a new macro assembler pointing to the address of the code to patch.
2953 // The size is adjusted with kGap on order for the assembler to generate size
2954 // bytes of instructions without failing with buffer size constraints.
2955 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2956}
2957
2958
2959CodePatcher::~CodePatcher() {
2960 // Indicate that code has changed.
2961 CPU::FlushICache(address_, size_);
2962
2963 // Check that the code was patched as expected.
2964 ASSERT(masm_.pc_ == address_ + size_);
2965 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2966}
2967
kasperl@chromium.org71affb52009-05-26 05:44:31 +00002968} } // namespace v8::internal
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00002969
2970#endif // V8_TARGET_ARCH_X64