blob: e3d463400fd0bdeed72edfcbbef3c037886f4105 [file] [log] [blame]
vegorov@chromium.org5d6c1f52011-02-28 13:13:38 +00001// Copyright 2011 the V8 project authors. All rights reserved.
ager@chromium.org5ec48922009-05-05 07:25:34 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
kasperl@chromium.org71affb52009-05-26 05:44:31 +000028#include "v8.h"
29
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +000030#if defined(V8_TARGET_ARCH_X64)
31
kasperl@chromium.org71affb52009-05-26 05:44:31 +000032#include "bootstrapper.h"
karlklose@chromium.org44bc7082011-04-11 12:33:05 +000033#include "codegen.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
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +000043MacroAssembler::MacroAssembler(Isolate* arg_isolate, void* buffer, int size)
44 : Assembler(arg_isolate, buffer, size),
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +000045 generating_stub_(false),
46 allow_stub_calls_(true),
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000047 has_frame_(false),
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +000048 root_array_available_(true) {
49 if (isolate() != NULL) {
50 code_object_ = Handle<Object>(isolate()->heap()->undefined_value(),
51 isolate());
52 }
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000053}
54
55
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000056static intptr_t RootRegisterDelta(ExternalReference other, Isolate* isolate) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000057 Address roots_register_value = kRootRegisterBias +
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +000058 reinterpret_cast<Address>(isolate->heap()->roots_array_start());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000059 intptr_t delta = other.address() - roots_register_value;
60 return delta;
61}
62
63
64Operand MacroAssembler::ExternalOperand(ExternalReference target,
65 Register scratch) {
66 if (root_array_available_ && !Serializer::enabled()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000067 intptr_t delta = RootRegisterDelta(target, isolate());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000068 if (is_int32(delta)) {
69 Serializer::TooLateToEnableNow();
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000070 return Operand(kRootRegister, static_cast<int32_t>(delta));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000071 }
72 }
73 movq(scratch, target);
74 return Operand(scratch, 0);
75}
76
77
78void MacroAssembler::Load(Register destination, ExternalReference source) {
79 if (root_array_available_ && !Serializer::enabled()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000080 intptr_t delta = RootRegisterDelta(source, isolate());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000081 if (is_int32(delta)) {
82 Serializer::TooLateToEnableNow();
83 movq(destination, Operand(kRootRegister, static_cast<int32_t>(delta)));
84 return;
85 }
86 }
87 // Safe code.
88 if (destination.is(rax)) {
89 load_rax(source);
90 } else {
91 movq(kScratchRegister, source);
92 movq(destination, Operand(kScratchRegister, 0));
93 }
94}
95
96
97void MacroAssembler::Store(ExternalReference destination, Register source) {
98 if (root_array_available_ && !Serializer::enabled()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000099 intptr_t delta = RootRegisterDelta(destination, isolate());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000100 if (is_int32(delta)) {
101 Serializer::TooLateToEnableNow();
102 movq(Operand(kRootRegister, static_cast<int32_t>(delta)), source);
103 return;
104 }
105 }
106 // Safe code.
107 if (source.is(rax)) {
108 store_rax(destination);
109 } else {
110 movq(kScratchRegister, destination);
111 movq(Operand(kScratchRegister, 0), source);
112 }
113}
114
115
116void MacroAssembler::LoadAddress(Register destination,
117 ExternalReference source) {
118 if (root_array_available_ && !Serializer::enabled()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000119 intptr_t delta = RootRegisterDelta(source, isolate());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000120 if (is_int32(delta)) {
121 Serializer::TooLateToEnableNow();
122 lea(destination, Operand(kRootRegister, static_cast<int32_t>(delta)));
123 return;
124 }
125 }
126 // Safe code.
127 movq(destination, source);
128}
129
130
131int MacroAssembler::LoadAddressSize(ExternalReference source) {
132 if (root_array_available_ && !Serializer::enabled()) {
133 // This calculation depends on the internals of LoadAddress.
134 // It's correctness is ensured by the asserts in the Call
135 // instruction below.
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000136 intptr_t delta = RootRegisterDelta(source, isolate());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000137 if (is_int32(delta)) {
138 Serializer::TooLateToEnableNow();
139 // Operand is lea(scratch, Operand(kRootRegister, delta));
140 // Opcodes : REX.W 8D ModRM Disp8/Disp32 - 4 or 7.
141 int size = 4;
142 if (!is_int8(static_cast<int32_t>(delta))) {
143 size += 3; // Need full four-byte displacement in lea.
144 }
145 return size;
146 }
147 }
148 // Size of movq(destination, src);
149 return 10;
kasperl@chromium.org71affb52009-05-26 05:44:31 +0000150}
151
ager@chromium.orge2902be2009-06-08 12:21:35 +0000152
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000153void MacroAssembler::LoadRoot(Register destination, Heap::RootListIndex index) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000154 ASSERT(root_array_available_);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +0000155 movq(destination, Operand(kRootRegister,
156 (index << kPointerSizeLog2) - kRootRegisterBias));
157}
158
159
160void MacroAssembler::LoadRootIndexed(Register destination,
161 Register variable_offset,
162 int fixed_offset) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000163 ASSERT(root_array_available_);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +0000164 movq(destination,
165 Operand(kRootRegister,
166 variable_offset, times_pointer_size,
167 (fixed_offset << kPointerSizeLog2) - kRootRegisterBias));
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000168}
169
170
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +0000171void MacroAssembler::StoreRoot(Register source, Heap::RootListIndex index) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000172 ASSERT(root_array_available_);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +0000173 movq(Operand(kRootRegister, (index << kPointerSizeLog2) - kRootRegisterBias),
174 source);
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +0000175}
176
177
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000178void MacroAssembler::PushRoot(Heap::RootListIndex index) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000179 ASSERT(root_array_available_);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +0000180 push(Operand(kRootRegister, (index << kPointerSizeLog2) - kRootRegisterBias));
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000181}
182
183
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000184void MacroAssembler::CompareRoot(Register with, Heap::RootListIndex index) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000185 ASSERT(root_array_available_);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +0000186 cmpq(with, Operand(kRootRegister,
187 (index << kPointerSizeLog2) - kRootRegisterBias));
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000188}
189
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000190
ricow@chromium.org83aa5492011-02-07 12:42:56 +0000191void MacroAssembler::CompareRoot(const Operand& with,
192 Heap::RootListIndex index) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000193 ASSERT(root_array_available_);
ricow@chromium.org83aa5492011-02-07 12:42:56 +0000194 ASSERT(!with.AddressUsesRegister(kScratchRegister));
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000195 LoadRoot(kScratchRegister, index);
196 cmpq(with, kScratchRegister);
197}
198
199
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000200void MacroAssembler::RememberedSetHelper(Register object, // For debug tests.
201 Register addr,
202 Register scratch,
203 SaveFPRegsMode save_fp,
204 RememberedSetFinalAction and_then) {
205 if (FLAG_debug_code) {
206 Label ok;
207 JumpIfNotInNewSpace(object, scratch, &ok, Label::kNear);
208 int3();
209 bind(&ok);
ager@chromium.orgac091b72010-05-05 07:34:42 +0000210 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000211 // Load store buffer top.
212 LoadRoot(scratch, Heap::kStoreBufferTopRootIndex);
213 // Store pointer to buffer.
214 movq(Operand(scratch, 0), addr);
215 // Increment buffer top.
216 addq(scratch, Immediate(kPointerSize));
217 // Write back new top of buffer.
218 StoreRoot(scratch, Heap::kStoreBufferTopRootIndex);
219 // Call stub on end of buffer.
220 Label done;
221 // Check for end of buffer.
222 testq(scratch, Immediate(StoreBuffer::kStoreBufferOverflowBit));
223 if (and_then == kReturnAtEnd) {
224 Label buffer_overflowed;
225 j(not_equal, &buffer_overflowed, Label::kNear);
226 ret(0);
227 bind(&buffer_overflowed);
228 } else {
229 ASSERT(and_then == kFallThroughAtEnd);
230 j(equal, &done, Label::kNear);
231 }
232 StoreBufferOverflowStub store_buffer_overflow =
233 StoreBufferOverflowStub(save_fp);
234 CallStub(&store_buffer_overflow);
235 if (and_then == kReturnAtEnd) {
236 ret(0);
237 } else {
238 ASSERT(and_then == kFallThroughAtEnd);
239 bind(&done);
240 }
kmillikin@chromium.org4111b802010-05-03 10:34:42 +0000241}
242
243
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000244void MacroAssembler::InNewSpace(Register object,
245 Register scratch,
246 Condition cc,
247 Label* branch,
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000248 Label::Distance distance) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000249 if (Serializer::enabled()) {
250 // Can't do arithmetic on external references if it might get serialized.
251 // The mask isn't really an address. We load it as an external reference in
252 // case the size of the new space is different between the snapshot maker
253 // and the running system.
254 if (scratch.is(object)) {
255 movq(kScratchRegister, ExternalReference::new_space_mask(isolate()));
256 and_(scratch, kScratchRegister);
257 } else {
258 movq(scratch, ExternalReference::new_space_mask(isolate()));
259 and_(scratch, object);
260 }
261 movq(kScratchRegister, ExternalReference::new_space_start(isolate()));
262 cmpq(scratch, kScratchRegister);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000263 j(cc, branch, distance);
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000264 } else {
265 ASSERT(is_int32(static_cast<int64_t>(HEAP->NewSpaceMask())));
266 intptr_t new_space_start =
267 reinterpret_cast<intptr_t>(HEAP->NewSpaceStart());
268 movq(kScratchRegister, -new_space_start, RelocInfo::NONE);
269 if (scratch.is(object)) {
270 addq(scratch, kScratchRegister);
271 } else {
272 lea(scratch, Operand(object, kScratchRegister, times_1, 0));
273 }
274 and_(scratch, Immediate(static_cast<int32_t>(HEAP->NewSpaceMask())));
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000275 j(cc, branch, distance);
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000276 }
277}
278
279
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000280void MacroAssembler::RecordWriteField(
281 Register object,
282 int offset,
283 Register value,
284 Register dst,
285 SaveFPRegsMode save_fp,
286 RememberedSetAction remembered_set_action,
287 SmiCheck smi_check) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000288 // The compiled code assumes that record write doesn't change the
289 // context register, so we check that none of the clobbered
290 // registers are rsi.
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000291 ASSERT(!value.is(rsi) && !dst.is(rsi));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000292
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000293 // First, check if a write barrier is even needed. The tests below
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000294 // catch stores of Smis.
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000295 Label done;
296
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000297 // Skip barrier if writing a smi.
298 if (smi_check == INLINE_SMI_CHECK) {
299 JumpIfSmi(value, &done);
300 }
301
302 // Although the object register is tagged, the offset is relative to the start
303 // of the object, so so offset must be a multiple of kPointerSize.
304 ASSERT(IsAligned(offset, kPointerSize));
305
306 lea(dst, FieldOperand(object, offset));
307 if (emit_debug_code()) {
308 Label ok;
309 testb(dst, Immediate((1 << kPointerSizeLog2) - 1));
310 j(zero, &ok, Label::kNear);
311 int3();
312 bind(&ok);
313 }
314
315 RecordWrite(
316 object, dst, value, save_fp, remembered_set_action, OMIT_SMI_CHECK);
317
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000318 bind(&done);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000319
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000320 // Clobber clobbered input registers when running with the debug-code flag
321 // turned on to provoke errors.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000322 if (emit_debug_code()) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000323 movq(value, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000324 movq(dst, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000325 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +0000326}
327
328
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000329void MacroAssembler::RecordWriteArray(Register object,
330 Register value,
331 Register index,
332 SaveFPRegsMode save_fp,
333 RememberedSetAction remembered_set_action,
334 SmiCheck smi_check) {
335 // First, check if a write barrier is even needed. The tests below
336 // catch stores of Smis.
337 Label done;
338
339 // Skip barrier if writing a smi.
340 if (smi_check == INLINE_SMI_CHECK) {
341 JumpIfSmi(value, &done);
342 }
343
344 // Array access: calculate the destination address. Index is not a smi.
345 Register dst = index;
346 lea(dst, Operand(object, index, times_pointer_size,
347 FixedArray::kHeaderSize - kHeapObjectTag));
348
349 RecordWrite(
350 object, dst, value, save_fp, remembered_set_action, OMIT_SMI_CHECK);
351
352 bind(&done);
353
354 // Clobber clobbered input registers when running with the debug-code flag
355 // turned on to provoke errors.
356 if (emit_debug_code()) {
357 movq(value, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
358 movq(index, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
359 }
360}
361
362
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000363void MacroAssembler::RecordWrite(Register object,
364 Register address,
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000365 Register value,
366 SaveFPRegsMode fp_mode,
367 RememberedSetAction remembered_set_action,
368 SmiCheck smi_check) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000369 // The compiled code assumes that record write doesn't change the
370 // context register, so we check that none of the clobbered
vegorov@chromium.org5d6c1f52011-02-28 13:13:38 +0000371 // registers are rsi.
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000372 ASSERT(!value.is(rsi) && !address.is(rsi));
373
374 ASSERT(!object.is(value));
375 ASSERT(!object.is(address));
376 ASSERT(!value.is(address));
377 if (emit_debug_code()) {
378 AbortIfSmi(object);
379 }
380
381 if (remembered_set_action == OMIT_REMEMBERED_SET &&
382 !FLAG_incremental_marking) {
383 return;
384 }
385
386 if (FLAG_debug_code) {
387 Label ok;
388 cmpq(value, Operand(address, 0));
389 j(equal, &ok, Label::kNear);
390 int3();
391 bind(&ok);
392 }
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000393
394 // First, check if a write barrier is even needed. The tests below
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000395 // catch stores of smis and stores into the young generation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000396 Label done;
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000397
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000398 if (smi_check == INLINE_SMI_CHECK) {
399 // Skip barrier if writing a smi.
400 JumpIfSmi(value, &done);
401 }
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000402
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000403 CheckPageFlag(value,
404 value, // Used as scratch.
405 MemoryChunk::kPointersToHereAreInterestingMask,
406 zero,
407 &done,
408 Label::kNear);
409
410 CheckPageFlag(object,
411 value, // Used as scratch.
412 MemoryChunk::kPointersFromHereAreInterestingMask,
413 zero,
414 &done,
415 Label::kNear);
416
417 RecordWriteStub stub(object, value, address, remembered_set_action, fp_mode);
418 CallStub(&stub);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000419
420 bind(&done);
421
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000422 // Clobber clobbered registers when running with the debug-code flag
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000423 // turned on to provoke errors.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000424 if (emit_debug_code()) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000425 movq(address, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
426 movq(value, BitCast<int64_t>(kZapValue), RelocInfo::NONE);
427 }
428}
429
430
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000431void MacroAssembler::Assert(Condition cc, const char* msg) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000432 if (emit_debug_code()) Check(cc, msg);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000433}
434
435
ricow@chromium.org0b9f8502010-08-18 07:45:01 +0000436void MacroAssembler::AssertFastElements(Register elements) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000437 if (emit_debug_code()) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000438 Label ok;
ricow@chromium.org0b9f8502010-08-18 07:45:01 +0000439 CompareRoot(FieldOperand(elements, HeapObject::kMapOffset),
440 Heap::kFixedArrayMapRootIndex);
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000441 j(equal, &ok, Label::kNear);
ricow@chromium.org0b9f8502010-08-18 07:45:01 +0000442 CompareRoot(FieldOperand(elements, HeapObject::kMapOffset),
svenpanne@chromium.org84bcc552011-07-18 09:50:57 +0000443 Heap::kFixedDoubleArrayMapRootIndex);
444 j(equal, &ok, Label::kNear);
445 CompareRoot(FieldOperand(elements, HeapObject::kMapOffset),
ricow@chromium.org0b9f8502010-08-18 07:45:01 +0000446 Heap::kFixedCOWArrayMapRootIndex);
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000447 j(equal, &ok, Label::kNear);
ricow@chromium.org0b9f8502010-08-18 07:45:01 +0000448 Abort("JSObject with fast elements map has slow elements");
449 bind(&ok);
450 }
451}
452
453
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000454void MacroAssembler::Check(Condition cc, const char* msg) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000455 Label L;
456 j(cc, &L, Label::kNear);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000457 Abort(msg);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000458 // Control will not return here.
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000459 bind(&L);
460}
461
462
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000463void MacroAssembler::CheckStackAlignment() {
464 int frame_alignment = OS::ActivationFrameAlignment();
465 int frame_alignment_mask = frame_alignment - 1;
466 if (frame_alignment > kPointerSize) {
467 ASSERT(IsPowerOf2(frame_alignment));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000468 Label alignment_as_expected;
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000469 testq(rsp, Immediate(frame_alignment_mask));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000470 j(zero, &alignment_as_expected, Label::kNear);
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000471 // Abort if stack is not aligned.
472 int3();
473 bind(&alignment_as_expected);
474 }
475}
476
477
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000478void MacroAssembler::NegativeZeroTest(Register result,
479 Register op,
480 Label* then_label) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000481 Label ok;
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000482 testl(result, result);
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000483 j(not_zero, &ok, Label::kNear);
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000484 testl(op, op);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000485 j(sign, then_label);
486 bind(&ok);
487}
488
489
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000490void MacroAssembler::Abort(const char* msg) {
491 // We want to pass the msg string like a smi to avoid GC
492 // problems, however msg is not guaranteed to be aligned
493 // properly. Instead, we pass an aligned pointer that is
494 // a proper v8 smi, but also pass the alignment difference
495 // from the real pointer as a smi.
496 intptr_t p1 = reinterpret_cast<intptr_t>(msg);
497 intptr_t p0 = (p1 & ~kSmiTagMask) + kSmiTag;
498 // Note: p0 might not be a valid Smi *value*, but it has a valid Smi tag.
499 ASSERT(reinterpret_cast<Object*>(p0)->IsSmi());
500#ifdef DEBUG
501 if (msg != NULL) {
502 RecordComment("Abort message: ");
503 RecordComment(msg);
504 }
505#endif
506 push(rax);
507 movq(kScratchRegister, p0, RelocInfo::NONE);
508 push(kScratchRegister);
509 movq(kScratchRegister,
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000510 reinterpret_cast<intptr_t>(Smi::FromInt(static_cast<int>(p1 - p0))),
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000511 RelocInfo::NONE);
512 push(kScratchRegister);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000513
514 if (!has_frame_) {
515 // We don't actually want to generate a pile of code for this, so just
516 // claim there is a stack frame, without generating one.
517 FrameScope scope(this, StackFrame::NONE);
518 CallRuntime(Runtime::kAbort, 2);
519 } else {
520 CallRuntime(Runtime::kAbort, 2);
521 }
522 // Control will not return here.
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000523 int3();
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000524}
525
526
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000527void MacroAssembler::CallStub(CodeStub* stub, unsigned ast_id) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000528 ASSERT(AllowThisStubCall(stub)); // Calls are not allowed in some stubs
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000529 Call(stub->GetCode(), RelocInfo::CODE_TARGET, ast_id);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000530}
531
532
lrn@chromium.org303ada72010-10-27 09:33:13 +0000533MaybeObject* MacroAssembler::TryCallStub(CodeStub* stub) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000534 ASSERT(AllowThisStubCall(stub)); // Calls are not allowed in some stubs.
lrn@chromium.org303ada72010-10-27 09:33:13 +0000535 MaybeObject* result = stub->TryGetCode();
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000536 if (!result->IsFailure()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000537 call(Handle<Code>(Code::cast(result->ToObjectUnchecked())),
538 RelocInfo::CODE_TARGET);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000539 }
540 return result;
541}
542
543
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000544void MacroAssembler::TailCallStub(CodeStub* stub) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000545 ASSERT(allow_stub_calls_ || stub->CompilingCallsToThisStubIsGCSafe());
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000546 Jump(stub->GetCode(), RelocInfo::CODE_TARGET);
547}
548
549
lrn@chromium.org303ada72010-10-27 09:33:13 +0000550MaybeObject* MacroAssembler::TryTailCallStub(CodeStub* stub) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000551 MaybeObject* result = stub->TryGetCode();
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000552 if (!result->IsFailure()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000553 jmp(Handle<Code>(Code::cast(result->ToObjectUnchecked())),
554 RelocInfo::CODE_TARGET);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000555 }
556 return result;
557}
558
559
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000560void MacroAssembler::StubReturn(int argc) {
561 ASSERT(argc >= 1 && generating_stub());
562 ret((argc - 1) * kPointerSize);
563}
564
565
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000566bool MacroAssembler::AllowThisStubCall(CodeStub* stub) {
567 if (!has_frame_ && stub->SometimesSetsUpAFrame()) return false;
568 return allow_stub_calls_ || stub->CompilingCallsToThisStubIsGCSafe();
569}
570
571
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000572void MacroAssembler::IllegalOperation(int num_arguments) {
573 if (num_arguments > 0) {
574 addq(rsp, Immediate(num_arguments * kPointerSize));
575 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000576 LoadRoot(rax, Heap::kUndefinedValueRootIndex);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000577}
578
579
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000580void MacroAssembler::IndexFromHash(Register hash, Register index) {
581 // The assert checks that the constants for the maximum number of digits
582 // for an array index cached in the hash field and the number of bits
583 // reserved for it does not conflict.
584 ASSERT(TenToThe(String::kMaxCachedArrayIndexLength) <
585 (1 << String::kArrayIndexValueBits));
586 // We want the smi-tagged index in key. Even if we subsequently go to
587 // the slow case, converting the key to a smi is always valid.
588 // key: string key
589 // hash: key's hash field, including its array index value.
590 and_(hash, Immediate(String::kArrayIndexValueMask));
591 shr(hash, Immediate(String::kHashShift));
592 // Here we actually clobber the key which will be used if calling into
593 // runtime later. However as the new key is the numeric value of a string key
594 // there is no difference in using either key.
595 Integer32ToSmi(index, hash);
596}
597
598
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000599void MacroAssembler::CallRuntime(Runtime::FunctionId id, int num_arguments) {
600 CallRuntime(Runtime::FunctionForId(id), num_arguments);
601}
602
603
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000604void MacroAssembler::CallRuntimeSaveDoubles(Runtime::FunctionId id) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000605 const Runtime::Function* function = Runtime::FunctionForId(id);
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000606 Set(rax, function->nargs);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000607 LoadAddress(rbx, ExternalReference(function, isolate()));
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000608 CEntryStub ces(1, kSaveFPRegs);
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000609 CallStub(&ces);
610}
611
612
lrn@chromium.org303ada72010-10-27 09:33:13 +0000613MaybeObject* MacroAssembler::TryCallRuntime(Runtime::FunctionId id,
614 int num_arguments) {
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000615 return TryCallRuntime(Runtime::FunctionForId(id), num_arguments);
616}
617
618
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000619void MacroAssembler::CallRuntime(const Runtime::Function* f,
620 int num_arguments) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000621 // If the expected number of arguments of the runtime function is
622 // constant, we check that the actual number of arguments match the
623 // expectation.
624 if (f->nargs >= 0 && f->nargs != num_arguments) {
625 IllegalOperation(num_arguments);
626 return;
627 }
628
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000629 // TODO(1236192): Most runtime routines don't need the number of
630 // arguments passed in because it is constant. At some point we
631 // should remove this need and make the runtime routine entry code
632 // smarter.
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000633 Set(rax, num_arguments);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000634 LoadAddress(rbx, ExternalReference(f, isolate()));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000635 CEntryStub ces(f->result_size);
636 CallStub(&ces);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000637}
638
639
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000640MaybeObject* MacroAssembler::TryCallRuntime(const Runtime::Function* f,
lrn@chromium.org303ada72010-10-27 09:33:13 +0000641 int num_arguments) {
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000642 if (f->nargs >= 0 && f->nargs != num_arguments) {
643 IllegalOperation(num_arguments);
644 // Since we did not call the stub, there was no allocation failure.
645 // Return some non-failure object.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000646 return HEAP->undefined_value();
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000647 }
648
649 // TODO(1236192): Most runtime routines don't need the number of
650 // arguments passed in because it is constant. At some point we
651 // should remove this need and make the runtime routine entry code
652 // smarter.
653 Set(rax, num_arguments);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000654 LoadAddress(rbx, ExternalReference(f, isolate()));
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000655 CEntryStub ces(f->result_size);
656 return TryCallStub(&ces);
657}
658
659
ager@chromium.org5c838252010-02-19 08:53:10 +0000660void MacroAssembler::CallExternalReference(const ExternalReference& ext,
661 int num_arguments) {
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000662 Set(rax, num_arguments);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000663 LoadAddress(rbx, ext);
ager@chromium.org5c838252010-02-19 08:53:10 +0000664
665 CEntryStub stub(1);
666 CallStub(&stub);
667}
668
669
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000670void MacroAssembler::TailCallExternalReference(const ExternalReference& ext,
671 int num_arguments,
672 int result_size) {
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +0000673 // ----------- S t a t e -------------
674 // -- rsp[0] : return address
675 // -- rsp[8] : argument num_arguments - 1
676 // ...
677 // -- rsp[8 * num_arguments] : argument 0 (receiver)
678 // -----------------------------------
679
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000680 // TODO(1236192): Most runtime routines don't need the number of
681 // arguments passed in because it is constant. At some point we
682 // should remove this need and make the runtime routine entry code
683 // smarter.
lrn@chromium.org32d961d2010-06-30 09:09:34 +0000684 Set(rax, num_arguments);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000685 JumpToExternalReference(ext, result_size);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000686}
687
688
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000689MaybeObject* MacroAssembler::TryTailCallExternalReference(
690 const ExternalReference& ext, int num_arguments, int result_size) {
691 // ----------- S t a t e -------------
692 // -- rsp[0] : return address
693 // -- rsp[8] : argument num_arguments - 1
694 // ...
695 // -- rsp[8 * num_arguments] : argument 0 (receiver)
696 // -----------------------------------
697
698 // TODO(1236192): Most runtime routines don't need the number of
699 // arguments passed in because it is constant. At some point we
700 // should remove this need and make the runtime routine entry code
701 // smarter.
702 Set(rax, num_arguments);
703 return TryJumpToExternalReference(ext, result_size);
704}
705
706
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000707void MacroAssembler::TailCallRuntime(Runtime::FunctionId fid,
708 int num_arguments,
709 int result_size) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000710 TailCallExternalReference(ExternalReference(fid, isolate()),
711 num_arguments,
712 result_size);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000713}
714
715
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000716MaybeObject* MacroAssembler::TryTailCallRuntime(Runtime::FunctionId fid,
717 int num_arguments,
718 int result_size) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000719 return TryTailCallExternalReference(ExternalReference(fid, isolate()),
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000720 num_arguments,
721 result_size);
722}
723
724
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000725static int Offset(ExternalReference ref0, ExternalReference ref1) {
726 int64_t offset = (ref0.address() - ref1.address());
727 // Check that fits into int.
728 ASSERT(static_cast<int>(offset) == offset);
729 return static_cast<int>(offset);
730}
731
732
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000733void MacroAssembler::PrepareCallApiFunction(int arg_stack_space) {
734#ifdef _WIN64
735 // We need to prepare a slot for result handle on stack and put
736 // a pointer to it into 1st arg register.
737 EnterApiExitFrame(arg_stack_space + 1);
738
739 // rcx must be used to pass the pointer to the return value slot.
740 lea(rcx, StackSpaceOperand(arg_stack_space));
741#else
742 EnterApiExitFrame(arg_stack_space);
743#endif
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000744}
745
746
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000747MaybeObject* MacroAssembler::TryCallApiFunctionAndReturn(
748 ApiFunction* function, int stack_space) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000749 Label empty_result;
750 Label prologue;
751 Label promote_scheduled_exception;
752 Label delete_allocated_handles;
753 Label leave_exit_frame;
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000754 Label write_back;
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000755
danno@chromium.org160a7b02011-04-18 15:51:38 +0000756 Factory* factory = isolate()->factory();
lrn@chromium.org303ada72010-10-27 09:33:13 +0000757 ExternalReference next_address =
758 ExternalReference::handle_scope_next_address();
759 const int kNextOffset = 0;
760 const int kLimitOffset = Offset(
761 ExternalReference::handle_scope_limit_address(),
762 next_address);
763 const int kLevelOffset = Offset(
764 ExternalReference::handle_scope_level_address(),
765 next_address);
766 ExternalReference scheduled_exception_address =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000767 ExternalReference::scheduled_exception_address(isolate());
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000768
lrn@chromium.org303ada72010-10-27 09:33:13 +0000769 // Allocate HandleScope in callee-save registers.
770 Register prev_next_address_reg = r14;
771 Register prev_limit_reg = rbx;
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000772 Register base_reg = r15;
lrn@chromium.org303ada72010-10-27 09:33:13 +0000773 movq(base_reg, next_address);
774 movq(prev_next_address_reg, Operand(base_reg, kNextOffset));
775 movq(prev_limit_reg, Operand(base_reg, kLimitOffset));
776 addl(Operand(base_reg, kLevelOffset), Immediate(1));
777 // Call the api function!
778 movq(rax,
779 reinterpret_cast<int64_t>(function->address()),
780 RelocInfo::RUNTIME_ENTRY);
781 call(rax);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000782
lrn@chromium.org303ada72010-10-27 09:33:13 +0000783#ifdef _WIN64
784 // rax keeps a pointer to v8::Handle, unpack it.
785 movq(rax, Operand(rax, 0));
786#endif
787 // Check if the result handle holds 0.
788 testq(rax, rax);
789 j(zero, &empty_result);
790 // It was non-zero. Dereference to get the result value.
791 movq(rax, Operand(rax, 0));
792 bind(&prologue);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000793
lrn@chromium.org303ada72010-10-27 09:33:13 +0000794 // No more valid handles (the result handle was the last one). Restore
795 // previous handle scope.
796 subl(Operand(base_reg, kLevelOffset), Immediate(1));
797 movq(Operand(base_reg, kNextOffset), prev_next_address_reg);
798 cmpq(prev_limit_reg, Operand(base_reg, kLimitOffset));
799 j(not_equal, &delete_allocated_handles);
800 bind(&leave_exit_frame);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000801
lrn@chromium.org303ada72010-10-27 09:33:13 +0000802 // Check if the function scheduled an exception.
803 movq(rsi, scheduled_exception_address);
danno@chromium.org160a7b02011-04-18 15:51:38 +0000804 Cmp(Operand(rsi, 0), factory->the_hole_value());
lrn@chromium.org303ada72010-10-27 09:33:13 +0000805 j(not_equal, &promote_scheduled_exception);
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000806
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000807 LeaveApiExitFrame();
808 ret(stack_space * kPointerSize);
lrn@chromium.org303ada72010-10-27 09:33:13 +0000809
810 bind(&promote_scheduled_exception);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000811 MaybeObject* result = TryTailCallRuntime(Runtime::kPromoteScheduledException,
812 0, 1);
813 if (result->IsFailure()) {
814 return result;
815 }
lrn@chromium.org303ada72010-10-27 09:33:13 +0000816
817 bind(&empty_result);
818 // It was zero; the result is undefined.
danno@chromium.org160a7b02011-04-18 15:51:38 +0000819 Move(rax, factory->undefined_value());
lrn@chromium.org303ada72010-10-27 09:33:13 +0000820 jmp(&prologue);
821
822 // HandleScope limit has changed. Delete allocated extensions.
823 bind(&delete_allocated_handles);
824 movq(Operand(base_reg, kLimitOffset), prev_limit_reg);
825 movq(prev_limit_reg, rax);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000826#ifdef _WIN64
827 LoadAddress(rcx, ExternalReference::isolate_address());
828#else
829 LoadAddress(rdi, ExternalReference::isolate_address());
830#endif
831 LoadAddress(rax,
832 ExternalReference::delete_handle_scope_extensions(isolate()));
lrn@chromium.org303ada72010-10-27 09:33:13 +0000833 call(rax);
834 movq(rax, prev_limit_reg);
835 jmp(&leave_exit_frame);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000836
837 return result;
whesse@chromium.orge90029b2010-08-02 11:52:17 +0000838}
839
840
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000841void MacroAssembler::JumpToExternalReference(const ExternalReference& ext,
842 int result_size) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000843 // Set the entry point and jump to the C entry runtime stub.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000844 LoadAddress(rbx, ext);
ager@chromium.orga1645e22009-09-09 19:27:10 +0000845 CEntryStub ces(result_size);
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000846 jmp(ces.GetCode(), RelocInfo::CODE_TARGET);
kasperl@chromium.org71affb52009-05-26 05:44:31 +0000847}
848
ager@chromium.orge2902be2009-06-08 12:21:35 +0000849
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000850MaybeObject* MacroAssembler::TryJumpToExternalReference(
851 const ExternalReference& ext, int result_size) {
852 // Set the entry point and jump to the C entry runtime stub.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000853 LoadAddress(rbx, ext);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000854 CEntryStub ces(result_size);
855 return TryTailCallStub(&ces);
856}
857
858
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000859void MacroAssembler::InvokeBuiltin(Builtins::JavaScript id,
860 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +0000861 const CallWrapper& call_wrapper) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000862 // You can't call a builtin without a valid frame.
863 ASSERT(flag == JUMP_FUNCTION || has_frame());
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000864
ager@chromium.org5c838252010-02-19 08:53:10 +0000865 // Rely on the assertion to check that the number of provided
866 // arguments match the expected number of arguments. Fake a
867 // parameter count to avoid emitting code to do the check.
868 ParameterCount expected(0);
869 GetBuiltinEntry(rdx, id);
ricow@chromium.orgd2be9012011-06-01 06:00:58 +0000870 InvokeCode(rdx, expected, expected, flag, call_wrapper, CALL_AS_METHOD);
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000871}
872
ager@chromium.org5c838252010-02-19 08:53:10 +0000873
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000874void MacroAssembler::GetBuiltinFunction(Register target,
875 Builtins::JavaScript id) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000876 // Load the builtins object into target register.
877 movq(target, Operand(rsi, Context::SlotOffset(Context::GLOBAL_INDEX)));
878 movq(target, FieldOperand(target, GlobalObject::kBuiltinsOffset));
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000879 movq(target, FieldOperand(target,
880 JSBuiltinsObject::OffsetOfFunctionWithId(id)));
881}
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000882
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000883
884void MacroAssembler::GetBuiltinEntry(Register target, Builtins::JavaScript id) {
885 ASSERT(!target.is(rdi));
ager@chromium.org5c838252010-02-19 08:53:10 +0000886 // Load the JavaScript builtin function from the builtins object.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000887 GetBuiltinFunction(rdi, id);
888 movq(target, FieldOperand(rdi, JSFunction::kCodeEntryOffset));
ager@chromium.org5aa501c2009-06-23 07:57:28 +0000889}
890
891
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000892static const Register saved_regs[] =
893 { rax, rcx, rdx, rbx, rbp, rsi, rdi, r8, r9, r10, r11 };
894static const int kNumberOfSavedRegs = sizeof(saved_regs) / sizeof(Register);
895
896
897void MacroAssembler::PushCallerSaved(SaveFPRegsMode fp_mode,
898 Register exclusion1,
899 Register exclusion2,
900 Register exclusion3) {
901 // We don't allow a GC during a store buffer overflow so there is no need to
902 // store the registers in any particular way, but we do have to store and
903 // restore them.
904 for (int i = 0; i < kNumberOfSavedRegs; i++) {
905 Register reg = saved_regs[i];
906 if (!reg.is(exclusion1) && !reg.is(exclusion2) && !reg.is(exclusion3)) {
907 push(reg);
908 }
909 }
910 // R12 to r15 are callee save on all platforms.
911 if (fp_mode == kSaveFPRegs) {
912 CpuFeatures::Scope scope(SSE2);
913 subq(rsp, Immediate(kDoubleSize * XMMRegister::kNumRegisters));
914 for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
915 XMMRegister reg = XMMRegister::from_code(i);
916 movsd(Operand(rsp, i * kDoubleSize), reg);
917 }
918 }
919}
920
921
922void MacroAssembler::PopCallerSaved(SaveFPRegsMode fp_mode,
923 Register exclusion1,
924 Register exclusion2,
925 Register exclusion3) {
926 if (fp_mode == kSaveFPRegs) {
927 CpuFeatures::Scope scope(SSE2);
928 for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
929 XMMRegister reg = XMMRegister::from_code(i);
930 movsd(reg, Operand(rsp, i * kDoubleSize));
931 }
932 addq(rsp, Immediate(kDoubleSize * XMMRegister::kNumRegisters));
933 }
934 for (int i = kNumberOfSavedRegs - 1; i >= 0; i--) {
935 Register reg = saved_regs[i];
936 if (!reg.is(exclusion1) && !reg.is(exclusion2) && !reg.is(exclusion3)) {
937 pop(reg);
938 }
939 }
940}
941
942
ager@chromium.orge2902be2009-06-08 12:21:35 +0000943void MacroAssembler::Set(Register dst, int64_t x) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000944 if (x == 0) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000945 xorl(dst, dst);
ager@chromium.orge2902be2009-06-08 12:21:35 +0000946 } else if (is_uint32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000947 movl(dst, Immediate(static_cast<uint32_t>(x)));
ager@chromium.orga9aa5fa2011-04-13 08:46:07 +0000948 } else if (is_int32(x)) {
949 movq(dst, Immediate(static_cast<int32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000950 } else {
951 movq(dst, x, RelocInfo::NONE);
952 }
953}
954
ager@chromium.orge2902be2009-06-08 12:21:35 +0000955void MacroAssembler::Set(const Operand& dst, int64_t x) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +0000956 if (is_int32(x)) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000957 movq(dst, Immediate(static_cast<int32_t>(x)));
ager@chromium.orge2902be2009-06-08 12:21:35 +0000958 } else {
ager@chromium.orga9aa5fa2011-04-13 08:46:07 +0000959 Set(kScratchRegister, x);
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000960 movq(dst, kScratchRegister);
ager@chromium.orge2902be2009-06-08 12:21:35 +0000961 }
ager@chromium.orge2902be2009-06-08 12:21:35 +0000962}
963
ager@chromium.org4af710e2009-09-15 12:20:11 +0000964// ----------------------------------------------------------------------------
965// Smi tagging, untagging and tag detection.
966
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000967Register MacroAssembler::GetSmiConstant(Smi* source) {
968 int value = source->value();
969 if (value == 0) {
970 xorl(kScratchRegister, kScratchRegister);
971 return kScratchRegister;
972 }
973 if (value == 1) {
974 return kSmiConstantRegister;
975 }
976 LoadSmiConstant(kScratchRegister, source);
977 return kScratchRegister;
978}
979
980void MacroAssembler::LoadSmiConstant(Register dst, Smi* source) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000981 if (emit_debug_code()) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000982 movq(dst,
983 reinterpret_cast<uint64_t>(Smi::FromInt(kSmiConstantRegisterValue)),
984 RelocInfo::NONE);
985 cmpq(dst, kSmiConstantRegister);
986 if (allow_stub_calls()) {
987 Assert(equal, "Uninitialized kSmiConstantRegister");
988 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000989 Label ok;
990 j(equal, &ok, Label::kNear);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000991 int3();
992 bind(&ok);
993 }
994 }
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000995 int value = source->value();
996 if (value == 0) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000997 xorl(dst, dst);
998 return;
999 }
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001000 bool negative = value < 0;
1001 unsigned int uvalue = negative ? -value : value;
1002
1003 switch (uvalue) {
1004 case 9:
1005 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_8, 0));
1006 break;
1007 case 8:
1008 xorl(dst, dst);
1009 lea(dst, Operand(dst, kSmiConstantRegister, times_8, 0));
1010 break;
1011 case 4:
1012 xorl(dst, dst);
1013 lea(dst, Operand(dst, kSmiConstantRegister, times_4, 0));
1014 break;
1015 case 5:
1016 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_4, 0));
1017 break;
1018 case 3:
1019 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_2, 0));
1020 break;
1021 case 2:
1022 lea(dst, Operand(kSmiConstantRegister, kSmiConstantRegister, times_1, 0));
1023 break;
1024 case 1:
1025 movq(dst, kSmiConstantRegister);
1026 break;
1027 case 0:
1028 UNREACHABLE();
1029 return;
1030 default:
1031 movq(dst, reinterpret_cast<uint64_t>(source), RelocInfo::NONE);
1032 return;
1033 }
1034 if (negative) {
1035 neg(dst);
1036 }
1037}
1038
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001039
ager@chromium.org4af710e2009-09-15 12:20:11 +00001040void MacroAssembler::Integer32ToSmi(Register dst, Register src) {
yangguo@chromium.org80c42ed2011-08-31 09:03:56 +00001041 STATIC_ASSERT(kSmiTag == 0);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001042 if (!dst.is(src)) {
1043 movl(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001044 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001045 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001046}
1047
1048
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001049void MacroAssembler::Integer32ToSmiField(const Operand& dst, Register src) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001050 if (emit_debug_code()) {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001051 testb(dst, Immediate(0x01));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001052 Label ok;
1053 j(zero, &ok, Label::kNear);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001054 if (allow_stub_calls()) {
1055 Abort("Integer32ToSmiField writing to non-smi location");
1056 } else {
1057 int3();
1058 }
1059 bind(&ok);
1060 }
1061 ASSERT(kSmiShift % kBitsPerByte == 0);
1062 movl(Operand(dst, kSmiShift / kBitsPerByte), src);
1063}
1064
1065
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001066void MacroAssembler::Integer64PlusConstantToSmi(Register dst,
1067 Register src,
1068 int constant) {
1069 if (dst.is(src)) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001070 addl(dst, Immediate(constant));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001071 } else {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001072 leal(dst, Operand(src, constant));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001073 }
1074 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001075}
1076
1077
1078void MacroAssembler::SmiToInteger32(Register dst, Register src) {
yangguo@chromium.org80c42ed2011-08-31 09:03:56 +00001079 STATIC_ASSERT(kSmiTag == 0);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001080 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001081 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001082 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001083 shr(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001084}
1085
1086
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001087void MacroAssembler::SmiToInteger32(Register dst, const Operand& src) {
1088 movl(dst, Operand(src, kSmiShift / kBitsPerByte));
1089}
1090
1091
ager@chromium.org4af710e2009-09-15 12:20:11 +00001092void MacroAssembler::SmiToInteger64(Register dst, Register src) {
yangguo@chromium.org80c42ed2011-08-31 09:03:56 +00001093 STATIC_ASSERT(kSmiTag == 0);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001094 if (!dst.is(src)) {
1095 movq(dst, src);
1096 }
1097 sar(dst, Immediate(kSmiShift));
1098}
1099
1100
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001101void MacroAssembler::SmiToInteger64(Register dst, const Operand& src) {
1102 movsxlq(dst, Operand(src, kSmiShift / kBitsPerByte));
1103}
1104
1105
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001106void MacroAssembler::SmiTest(Register src) {
1107 testq(src, src);
1108}
1109
1110
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001111void MacroAssembler::SmiCompare(Register smi1, Register smi2) {
1112 if (emit_debug_code()) {
1113 AbortIfNotSmi(smi1);
1114 AbortIfNotSmi(smi2);
1115 }
1116 cmpq(smi1, smi2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001117}
1118
1119
1120void MacroAssembler::SmiCompare(Register dst, Smi* src) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001121 if (emit_debug_code()) {
1122 AbortIfNotSmi(dst);
1123 }
1124 Cmp(dst, src);
1125}
1126
1127
1128void MacroAssembler::Cmp(Register dst, Smi* src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001129 ASSERT(!dst.is(kScratchRegister));
1130 if (src->value() == 0) {
1131 testq(dst, dst);
1132 } else {
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00001133 Register constant_reg = GetSmiConstant(src);
1134 cmpq(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001135 }
1136}
1137
1138
kmillikin@chromium.org9155e252010-05-26 13:27:57 +00001139void MacroAssembler::SmiCompare(Register dst, const Operand& src) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001140 if (emit_debug_code()) {
1141 AbortIfNotSmi(dst);
1142 AbortIfNotSmi(src);
1143 }
ager@chromium.orgac091b72010-05-05 07:34:42 +00001144 cmpq(dst, src);
1145}
1146
1147
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001148void MacroAssembler::SmiCompare(const Operand& dst, Register src) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001149 if (emit_debug_code()) {
1150 AbortIfNotSmi(dst);
1151 AbortIfNotSmi(src);
1152 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001153 cmpq(dst, src);
1154}
1155
1156
1157void MacroAssembler::SmiCompare(const Operand& dst, Smi* src) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001158 if (emit_debug_code()) {
1159 AbortIfNotSmi(dst);
1160 }
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001161 cmpl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(src->value()));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001162}
1163
1164
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001165void MacroAssembler::Cmp(const Operand& dst, Smi* src) {
1166 // The Operand cannot use the smi register.
1167 Register smi_reg = GetSmiConstant(src);
1168 ASSERT(!dst.AddressUsesRegister(smi_reg));
1169 cmpq(dst, smi_reg);
1170}
1171
1172
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001173void MacroAssembler::SmiCompareInteger32(const Operand& dst, Register src) {
1174 cmpl(Operand(dst, kSmiShift / kBitsPerByte), src);
1175}
1176
1177
ager@chromium.org4af710e2009-09-15 12:20:11 +00001178void MacroAssembler::PositiveSmiTimesPowerOfTwoToInteger64(Register dst,
1179 Register src,
1180 int power) {
1181 ASSERT(power >= 0);
1182 ASSERT(power < 64);
1183 if (power == 0) {
1184 SmiToInteger64(dst, src);
1185 return;
1186 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001187 if (!dst.is(src)) {
1188 movq(dst, src);
1189 }
1190 if (power < kSmiShift) {
1191 sar(dst, Immediate(kSmiShift - power));
1192 } else if (power > kSmiShift) {
1193 shl(dst, Immediate(power - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001194 }
1195}
1196
1197
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001198void MacroAssembler::PositiveSmiDivPowerOfTwoToInteger32(Register dst,
1199 Register src,
1200 int power) {
1201 ASSERT((0 <= power) && (power < 32));
1202 if (dst.is(src)) {
1203 shr(dst, Immediate(power + kSmiShift));
1204 } else {
1205 UNIMPLEMENTED(); // Not used.
1206 }
1207}
1208
1209
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001210void MacroAssembler::SmiOrIfSmis(Register dst, Register src1, Register src2,
1211 Label* on_not_smis,
1212 Label::Distance near_jump) {
1213 if (dst.is(src1) || dst.is(src2)) {
1214 ASSERT(!src1.is(kScratchRegister));
1215 ASSERT(!src2.is(kScratchRegister));
1216 movq(kScratchRegister, src1);
1217 or_(kScratchRegister, src2);
1218 JumpIfNotSmi(kScratchRegister, on_not_smis, near_jump);
1219 movq(dst, kScratchRegister);
1220 } else {
1221 movq(dst, src1);
1222 or_(dst, src2);
1223 JumpIfNotSmi(dst, on_not_smis, near_jump);
1224 }
1225}
1226
1227
ager@chromium.org4af710e2009-09-15 12:20:11 +00001228Condition MacroAssembler::CheckSmi(Register src) {
yangguo@chromium.org80c42ed2011-08-31 09:03:56 +00001229 STATIC_ASSERT(kSmiTag == 0);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001230 testb(src, Immediate(kSmiTagMask));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001231 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +00001232}
1233
1234
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00001235Condition MacroAssembler::CheckSmi(const Operand& src) {
yangguo@chromium.org80c42ed2011-08-31 09:03:56 +00001236 STATIC_ASSERT(kSmiTag == 0);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00001237 testb(src, Immediate(kSmiTagMask));
1238 return zero;
1239}
1240
1241
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +00001242Condition MacroAssembler::CheckNonNegativeSmi(Register src) {
yangguo@chromium.org80c42ed2011-08-31 09:03:56 +00001243 STATIC_ASSERT(kSmiTag == 0);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001244 // Test that both bits of the mask 0x8000000000000001 are zero.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001245 movq(kScratchRegister, src);
1246 rol(kScratchRegister, Immediate(1));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001247 testb(kScratchRegister, Immediate(3));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001248 return zero;
1249}
1250
1251
ager@chromium.org4af710e2009-09-15 12:20:11 +00001252Condition MacroAssembler::CheckBothSmi(Register first, Register second) {
1253 if (first.is(second)) {
1254 return CheckSmi(first);
1255 }
yangguo@chromium.org80c42ed2011-08-31 09:03:56 +00001256 STATIC_ASSERT(kSmiTag == 0 && kHeapObjectTag == 1 && kHeapObjectTagMask == 3);
lrn@chromium.org32d961d2010-06-30 09:09:34 +00001257 leal(kScratchRegister, Operand(first, second, times_1, 0));
1258 testb(kScratchRegister, Immediate(0x03));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001259 return zero;
ager@chromium.org4af710e2009-09-15 12:20:11 +00001260}
1261
1262
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +00001263Condition MacroAssembler::CheckBothNonNegativeSmi(Register first,
1264 Register second) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001265 if (first.is(second)) {
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +00001266 return CheckNonNegativeSmi(first);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001267 }
fschneider@chromium.org40b9da32010-06-28 11:29:21 +00001268 movq(kScratchRegister, first);
1269 or_(kScratchRegister, second);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001270 rol(kScratchRegister, Immediate(1));
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +00001271 testl(kScratchRegister, Immediate(3));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001272 return zero;
1273}
1274
1275
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +00001276Condition MacroAssembler::CheckEitherSmi(Register first,
1277 Register second,
1278 Register scratch) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001279 if (first.is(second)) {
1280 return CheckSmi(first);
1281 }
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +00001282 if (scratch.is(second)) {
1283 andl(scratch, first);
1284 } else {
1285 if (!scratch.is(first)) {
1286 movl(scratch, first);
1287 }
1288 andl(scratch, second);
1289 }
1290 testb(scratch, Immediate(kSmiTagMask));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001291 return zero;
1292}
1293
1294
ager@chromium.org4af710e2009-09-15 12:20:11 +00001295Condition MacroAssembler::CheckIsMinSmi(Register src) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001296 ASSERT(!src.is(kScratchRegister));
1297 // If we overflow by subtracting one, it's the minimal smi value.
1298 cmpq(src, kSmiConstantRegister);
1299 return overflow;
ager@chromium.org4af710e2009-09-15 12:20:11 +00001300}
1301
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001302
ager@chromium.org4af710e2009-09-15 12:20:11 +00001303Condition MacroAssembler::CheckInteger32ValidSmiValue(Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001304 // A 32-bit integer value can always be converted to a smi.
1305 return always;
ager@chromium.org4af710e2009-09-15 12:20:11 +00001306}
1307
1308
ager@chromium.org3811b432009-10-28 14:53:37 +00001309Condition MacroAssembler::CheckUInteger32ValidSmiValue(Register src) {
1310 // An unsigned 32-bit integer value is valid as long as the high bit
1311 // is not set.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001312 testl(src, src);
1313 return positive;
ager@chromium.org3811b432009-10-28 14:53:37 +00001314}
1315
1316
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001317void MacroAssembler::CheckSmiToIndicator(Register dst, Register src) {
1318 if (dst.is(src)) {
1319 andl(dst, Immediate(kSmiTagMask));
1320 } else {
1321 movl(dst, Immediate(kSmiTagMask));
1322 andl(dst, src);
1323 }
1324}
1325
1326
1327void MacroAssembler::CheckSmiToIndicator(Register dst, const Operand& src) {
1328 if (!(src.AddressUsesRegister(dst))) {
1329 movl(dst, Immediate(kSmiTagMask));
1330 andl(dst, src);
1331 } else {
1332 movl(dst, src);
1333 andl(dst, Immediate(kSmiTagMask));
1334 }
1335}
1336
1337
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001338void MacroAssembler::JumpIfNotValidSmiValue(Register src,
1339 Label* on_invalid,
1340 Label::Distance near_jump) {
1341 Condition is_valid = CheckInteger32ValidSmiValue(src);
1342 j(NegateCondition(is_valid), on_invalid, near_jump);
1343}
1344
1345
1346void MacroAssembler::JumpIfUIntNotValidSmiValue(Register src,
1347 Label* on_invalid,
1348 Label::Distance near_jump) {
1349 Condition is_valid = CheckUInteger32ValidSmiValue(src);
1350 j(NegateCondition(is_valid), on_invalid, near_jump);
1351}
1352
1353
1354void MacroAssembler::JumpIfSmi(Register src,
1355 Label* on_smi,
1356 Label::Distance near_jump) {
1357 Condition smi = CheckSmi(src);
1358 j(smi, on_smi, near_jump);
1359}
1360
1361
1362void MacroAssembler::JumpIfNotSmi(Register src,
1363 Label* on_not_smi,
1364 Label::Distance near_jump) {
1365 Condition smi = CheckSmi(src);
1366 j(NegateCondition(smi), on_not_smi, near_jump);
1367}
1368
1369
1370void MacroAssembler::JumpUnlessNonNegativeSmi(
1371 Register src, Label* on_not_smi_or_negative,
1372 Label::Distance near_jump) {
1373 Condition non_negative_smi = CheckNonNegativeSmi(src);
1374 j(NegateCondition(non_negative_smi), on_not_smi_or_negative, near_jump);
1375}
1376
1377
1378void MacroAssembler::JumpIfSmiEqualsConstant(Register src,
1379 Smi* constant,
1380 Label* on_equals,
1381 Label::Distance near_jump) {
1382 SmiCompare(src, constant);
1383 j(equal, on_equals, near_jump);
1384}
1385
1386
1387void MacroAssembler::JumpIfNotBothSmi(Register src1,
1388 Register src2,
1389 Label* on_not_both_smi,
1390 Label::Distance near_jump) {
1391 Condition both_smi = CheckBothSmi(src1, src2);
1392 j(NegateCondition(both_smi), on_not_both_smi, near_jump);
1393}
1394
1395
1396void MacroAssembler::JumpUnlessBothNonNegativeSmi(Register src1,
1397 Register src2,
1398 Label* on_not_both_smi,
1399 Label::Distance near_jump) {
1400 Condition both_smi = CheckBothNonNegativeSmi(src1, src2);
1401 j(NegateCondition(both_smi), on_not_both_smi, near_jump);
1402}
1403
1404
1405void MacroAssembler::SmiTryAddConstant(Register dst,
1406 Register src,
1407 Smi* constant,
1408 Label* on_not_smi_result,
1409 Label::Distance near_jump) {
1410 // Does not assume that src is a smi.
1411 ASSERT_EQ(static_cast<int>(1), static_cast<int>(kSmiTagMask));
yangguo@chromium.org80c42ed2011-08-31 09:03:56 +00001412 STATIC_ASSERT(kSmiTag == 0);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001413 ASSERT(!dst.is(kScratchRegister));
1414 ASSERT(!src.is(kScratchRegister));
1415
1416 JumpIfNotSmi(src, on_not_smi_result, near_jump);
1417 Register tmp = (dst.is(src) ? kScratchRegister : dst);
1418 LoadSmiConstant(tmp, constant);
1419 addq(tmp, src);
1420 j(overflow, on_not_smi_result, near_jump);
1421 if (dst.is(src)) {
1422 movq(dst, tmp);
1423 }
1424}
1425
1426
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001427void MacroAssembler::SmiAddConstant(Register dst, Register src, Smi* constant) {
1428 if (constant->value() == 0) {
1429 if (!dst.is(src)) {
1430 movq(dst, src);
1431 }
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001432 return;
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001433 } else if (dst.is(src)) {
1434 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001435 switch (constant->value()) {
1436 case 1:
1437 addq(dst, kSmiConstantRegister);
1438 return;
1439 case 2:
1440 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
1441 return;
1442 case 4:
1443 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
1444 return;
1445 case 8:
1446 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
1447 return;
1448 default:
1449 Register constant_reg = GetSmiConstant(constant);
1450 addq(dst, constant_reg);
1451 return;
1452 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001453 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001454 switch (constant->value()) {
1455 case 1:
1456 lea(dst, Operand(src, kSmiConstantRegister, times_1, 0));
1457 return;
1458 case 2:
1459 lea(dst, Operand(src, kSmiConstantRegister, times_2, 0));
1460 return;
1461 case 4:
1462 lea(dst, Operand(src, kSmiConstantRegister, times_4, 0));
1463 return;
1464 case 8:
1465 lea(dst, Operand(src, kSmiConstantRegister, times_8, 0));
1466 return;
1467 default:
1468 LoadSmiConstant(dst, constant);
1469 addq(dst, src);
1470 return;
1471 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001472 }
1473}
1474
1475
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001476void MacroAssembler::SmiAddConstant(const Operand& dst, Smi* constant) {
1477 if (constant->value() != 0) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001478 addl(Operand(dst, kSmiShift / kBitsPerByte), Immediate(constant->value()));
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00001479 }
1480}
1481
1482
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001483void MacroAssembler::SmiAddConstant(Register dst,
1484 Register src,
1485 Smi* constant,
1486 Label* on_not_smi_result,
1487 Label::Distance near_jump) {
1488 if (constant->value() == 0) {
1489 if (!dst.is(src)) {
1490 movq(dst, src);
1491 }
1492 } else if (dst.is(src)) {
1493 ASSERT(!dst.is(kScratchRegister));
1494
1495 LoadSmiConstant(kScratchRegister, constant);
1496 addq(kScratchRegister, src);
1497 j(overflow, on_not_smi_result, near_jump);
1498 movq(dst, kScratchRegister);
1499 } else {
1500 LoadSmiConstant(dst, constant);
1501 addq(dst, src);
1502 j(overflow, on_not_smi_result, near_jump);
1503 }
1504}
1505
1506
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001507void MacroAssembler::SmiSubConstant(Register dst, Register src, Smi* constant) {
1508 if (constant->value() == 0) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00001509 if (!dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001510 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001511 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001512 } else if (dst.is(src)) {
1513 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001514 Register constant_reg = GetSmiConstant(constant);
1515 subq(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001516 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001517 if (constant->value() == Smi::kMinValue) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001518 LoadSmiConstant(dst, constant);
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001519 // Adding and subtracting the min-value gives the same result, it only
1520 // differs on the overflow bit, which we don't check here.
1521 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001522 } else {
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00001523 // Subtract by adding the negation.
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001524 LoadSmiConstant(dst, Smi::FromInt(-constant->value()));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001525 addq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001526 }
1527 }
1528}
1529
1530
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001531void MacroAssembler::SmiSubConstant(Register dst,
1532 Register src,
1533 Smi* constant,
1534 Label* on_not_smi_result,
1535 Label::Distance near_jump) {
1536 if (constant->value() == 0) {
1537 if (!dst.is(src)) {
1538 movq(dst, src);
1539 }
1540 } else if (dst.is(src)) {
1541 ASSERT(!dst.is(kScratchRegister));
1542 if (constant->value() == Smi::kMinValue) {
1543 // Subtracting min-value from any non-negative value will overflow.
1544 // We test the non-negativeness before doing the subtraction.
1545 testq(src, src);
1546 j(not_sign, on_not_smi_result, near_jump);
1547 LoadSmiConstant(kScratchRegister, constant);
1548 subq(dst, kScratchRegister);
1549 } else {
1550 // Subtract by adding the negation.
1551 LoadSmiConstant(kScratchRegister, Smi::FromInt(-constant->value()));
1552 addq(kScratchRegister, dst);
1553 j(overflow, on_not_smi_result, near_jump);
1554 movq(dst, kScratchRegister);
1555 }
1556 } else {
1557 if (constant->value() == Smi::kMinValue) {
1558 // Subtracting min-value from any non-negative value will overflow.
1559 // We test the non-negativeness before doing the subtraction.
1560 testq(src, src);
1561 j(not_sign, on_not_smi_result, near_jump);
1562 LoadSmiConstant(dst, constant);
1563 // Adding and subtracting the min-value gives the same result, it only
1564 // differs on the overflow bit, which we don't check here.
1565 addq(dst, src);
1566 } else {
1567 // Subtract by adding the negation.
1568 LoadSmiConstant(dst, Smi::FromInt(-(constant->value())));
1569 addq(dst, src);
1570 j(overflow, on_not_smi_result, near_jump);
1571 }
1572 }
1573}
1574
1575
1576void MacroAssembler::SmiNeg(Register dst,
1577 Register src,
1578 Label* on_smi_result,
1579 Label::Distance near_jump) {
1580 if (dst.is(src)) {
1581 ASSERT(!dst.is(kScratchRegister));
1582 movq(kScratchRegister, src);
1583 neg(dst); // Low 32 bits are retained as zero by negation.
1584 // Test if result is zero or Smi::kMinValue.
1585 cmpq(dst, kScratchRegister);
1586 j(not_equal, on_smi_result, near_jump);
1587 movq(src, kScratchRegister);
1588 } else {
1589 movq(dst, src);
1590 neg(dst);
1591 cmpq(dst, src);
1592 // If the result is zero or Smi::kMinValue, negation failed to create a smi.
1593 j(not_equal, on_smi_result, near_jump);
1594 }
1595}
1596
1597
1598void MacroAssembler::SmiAdd(Register dst,
1599 Register src1,
1600 Register src2,
1601 Label* on_not_smi_result,
1602 Label::Distance near_jump) {
1603 ASSERT_NOT_NULL(on_not_smi_result);
1604 ASSERT(!dst.is(src2));
1605 if (dst.is(src1)) {
1606 movq(kScratchRegister, src1);
1607 addq(kScratchRegister, src2);
1608 j(overflow, on_not_smi_result, near_jump);
1609 movq(dst, kScratchRegister);
1610 } else {
1611 movq(dst, src1);
1612 addq(dst, src2);
1613 j(overflow, on_not_smi_result, near_jump);
1614 }
1615}
1616
1617
1618void MacroAssembler::SmiAdd(Register dst,
1619 Register src1,
1620 const Operand& src2,
1621 Label* on_not_smi_result,
1622 Label::Distance near_jump) {
1623 ASSERT_NOT_NULL(on_not_smi_result);
1624 if (dst.is(src1)) {
1625 movq(kScratchRegister, src1);
1626 addq(kScratchRegister, src2);
1627 j(overflow, on_not_smi_result, near_jump);
1628 movq(dst, kScratchRegister);
1629 } else {
1630 ASSERT(!src2.AddressUsesRegister(dst));
1631 movq(dst, src1);
1632 addq(dst, src2);
1633 j(overflow, on_not_smi_result, near_jump);
1634 }
1635}
1636
1637
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001638void MacroAssembler::SmiAdd(Register dst,
1639 Register src1,
1640 Register src2) {
1641 // No overflow checking. Use only when it's known that
1642 // overflowing is impossible.
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001643 if (!dst.is(src1)) {
danno@chromium.org160a7b02011-04-18 15:51:38 +00001644 if (emit_debug_code()) {
1645 movq(kScratchRegister, src1);
1646 addq(kScratchRegister, src2);
1647 Check(no_overflow, "Smi addition overflow");
1648 }
1649 lea(dst, Operand(src1, src2, times_1, 0));
1650 } else {
1651 addq(dst, src2);
1652 Assert(no_overflow, "Smi addition overflow");
ager@chromium.org4af710e2009-09-15 12:20:11 +00001653 }
1654}
1655
1656
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001657void MacroAssembler::SmiSub(Register dst,
1658 Register src1,
1659 Register src2,
1660 Label* on_not_smi_result,
1661 Label::Distance near_jump) {
1662 ASSERT_NOT_NULL(on_not_smi_result);
1663 ASSERT(!dst.is(src2));
1664 if (dst.is(src1)) {
1665 cmpq(dst, src2);
1666 j(overflow, on_not_smi_result, near_jump);
1667 subq(dst, src2);
1668 } else {
1669 movq(dst, src1);
1670 subq(dst, src2);
1671 j(overflow, on_not_smi_result, near_jump);
1672 }
1673}
1674
1675
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001676void MacroAssembler::SmiSub(Register dst, Register src1, Register src2) {
1677 // No overflow checking. Use only when it's known that
1678 // overflowing is impossible (e.g., subtracting two positive smis).
1679 ASSERT(!dst.is(src2));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001680 if (!dst.is(src1)) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001681 movq(dst, src1);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001682 }
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001683 subq(dst, src2);
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001684 Assert(no_overflow, "Smi subtraction overflow");
ager@chromium.org4af710e2009-09-15 12:20:11 +00001685}
1686
1687
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001688void MacroAssembler::SmiSub(Register dst,
ager@chromium.org4af710e2009-09-15 12:20:11 +00001689 Register src1,
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001690 const Operand& src2,
1691 Label* on_not_smi_result,
1692 Label::Distance near_jump) {
1693 ASSERT_NOT_NULL(on_not_smi_result);
1694 if (dst.is(src1)) {
1695 movq(kScratchRegister, src2);
1696 cmpq(src1, kScratchRegister);
1697 j(overflow, on_not_smi_result, near_jump);
1698 subq(src1, kScratchRegister);
1699 } else {
1700 movq(dst, src1);
1701 subq(dst, src2);
1702 j(overflow, on_not_smi_result, near_jump);
1703 }
1704}
1705
1706
1707void MacroAssembler::SmiSub(Register dst,
1708 Register src1,
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001709 const Operand& src2) {
1710 // No overflow checking. Use only when it's known that
1711 // overflowing is impossible (e.g., subtracting two positive smis).
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001712 if (!dst.is(src1)) {
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001713 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001714 }
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001715 subq(dst, src2);
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00001716 Assert(no_overflow, "Smi subtraction overflow");
ager@chromium.org4af710e2009-09-15 12:20:11 +00001717}
1718
1719
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001720void MacroAssembler::SmiMul(Register dst,
1721 Register src1,
1722 Register src2,
1723 Label* on_not_smi_result,
1724 Label::Distance near_jump) {
1725 ASSERT(!dst.is(src2));
1726 ASSERT(!dst.is(kScratchRegister));
1727 ASSERT(!src1.is(kScratchRegister));
1728 ASSERT(!src2.is(kScratchRegister));
1729
1730 if (dst.is(src1)) {
1731 Label failure, zero_correct_result;
1732 movq(kScratchRegister, src1); // Create backup for later testing.
1733 SmiToInteger64(dst, src1);
1734 imul(dst, src2);
1735 j(overflow, &failure, Label::kNear);
1736
1737 // Check for negative zero result. If product is zero, and one
1738 // argument is negative, go to slow case.
1739 Label correct_result;
1740 testq(dst, dst);
1741 j(not_zero, &correct_result, Label::kNear);
1742
1743 movq(dst, kScratchRegister);
1744 xor_(dst, src2);
1745 // Result was positive zero.
1746 j(positive, &zero_correct_result, Label::kNear);
1747
1748 bind(&failure); // Reused failure exit, restores src1.
1749 movq(src1, kScratchRegister);
1750 jmp(on_not_smi_result, near_jump);
1751
1752 bind(&zero_correct_result);
1753 Set(dst, 0);
1754
1755 bind(&correct_result);
1756 } else {
1757 SmiToInteger64(dst, src1);
1758 imul(dst, src2);
1759 j(overflow, on_not_smi_result, near_jump);
1760 // Check for negative zero result. If product is zero, and one
1761 // argument is negative, go to slow case.
1762 Label correct_result;
1763 testq(dst, dst);
1764 j(not_zero, &correct_result, Label::kNear);
1765 // One of src1 and src2 is zero, the check whether the other is
1766 // negative.
1767 movq(kScratchRegister, src1);
1768 xor_(kScratchRegister, src2);
1769 j(negative, on_not_smi_result, near_jump);
1770 bind(&correct_result);
1771 }
1772}
1773
1774
1775void MacroAssembler::SmiDiv(Register dst,
1776 Register src1,
1777 Register src2,
1778 Label* on_not_smi_result,
1779 Label::Distance near_jump) {
1780 ASSERT(!src1.is(kScratchRegister));
1781 ASSERT(!src2.is(kScratchRegister));
1782 ASSERT(!dst.is(kScratchRegister));
1783 ASSERT(!src2.is(rax));
1784 ASSERT(!src2.is(rdx));
1785 ASSERT(!src1.is(rdx));
1786
1787 // Check for 0 divisor (result is +/-Infinity).
1788 testq(src2, src2);
1789 j(zero, on_not_smi_result, near_jump);
1790
1791 if (src1.is(rax)) {
1792 movq(kScratchRegister, src1);
1793 }
1794 SmiToInteger32(rax, src1);
1795 // We need to rule out dividing Smi::kMinValue by -1, since that would
1796 // overflow in idiv and raise an exception.
1797 // We combine this with negative zero test (negative zero only happens
1798 // when dividing zero by a negative number).
1799
1800 // We overshoot a little and go to slow case if we divide min-value
1801 // by any negative value, not just -1.
1802 Label safe_div;
1803 testl(rax, Immediate(0x7fffffff));
1804 j(not_zero, &safe_div, Label::kNear);
1805 testq(src2, src2);
1806 if (src1.is(rax)) {
1807 j(positive, &safe_div, Label::kNear);
1808 movq(src1, kScratchRegister);
1809 jmp(on_not_smi_result, near_jump);
1810 } else {
1811 j(negative, on_not_smi_result, near_jump);
1812 }
1813 bind(&safe_div);
1814
1815 SmiToInteger32(src2, src2);
1816 // Sign extend src1 into edx:eax.
1817 cdq();
1818 idivl(src2);
1819 Integer32ToSmi(src2, src2);
1820 // Check that the remainder is zero.
1821 testl(rdx, rdx);
1822 if (src1.is(rax)) {
1823 Label smi_result;
1824 j(zero, &smi_result, Label::kNear);
1825 movq(src1, kScratchRegister);
1826 jmp(on_not_smi_result, near_jump);
1827 bind(&smi_result);
1828 } else {
1829 j(not_zero, on_not_smi_result, near_jump);
1830 }
1831 if (!dst.is(src1) && src1.is(rax)) {
1832 movq(src1, kScratchRegister);
1833 }
1834 Integer32ToSmi(dst, rax);
1835}
1836
1837
1838void MacroAssembler::SmiMod(Register dst,
1839 Register src1,
1840 Register src2,
1841 Label* on_not_smi_result,
1842 Label::Distance near_jump) {
1843 ASSERT(!dst.is(kScratchRegister));
1844 ASSERT(!src1.is(kScratchRegister));
1845 ASSERT(!src2.is(kScratchRegister));
1846 ASSERT(!src2.is(rax));
1847 ASSERT(!src2.is(rdx));
1848 ASSERT(!src1.is(rdx));
1849 ASSERT(!src1.is(src2));
1850
1851 testq(src2, src2);
1852 j(zero, on_not_smi_result, near_jump);
1853
1854 if (src1.is(rax)) {
1855 movq(kScratchRegister, src1);
1856 }
1857 SmiToInteger32(rax, src1);
1858 SmiToInteger32(src2, src2);
1859
1860 // Test for the edge case of dividing Smi::kMinValue by -1 (will overflow).
1861 Label safe_div;
1862 cmpl(rax, Immediate(Smi::kMinValue));
1863 j(not_equal, &safe_div, Label::kNear);
1864 cmpl(src2, Immediate(-1));
1865 j(not_equal, &safe_div, Label::kNear);
1866 // Retag inputs and go slow case.
1867 Integer32ToSmi(src2, src2);
1868 if (src1.is(rax)) {
1869 movq(src1, kScratchRegister);
1870 }
1871 jmp(on_not_smi_result, near_jump);
1872 bind(&safe_div);
1873
1874 // Sign extend eax into edx:eax.
1875 cdq();
1876 idivl(src2);
1877 // Restore smi tags on inputs.
1878 Integer32ToSmi(src2, src2);
1879 if (src1.is(rax)) {
1880 movq(src1, kScratchRegister);
1881 }
1882 // Check for a negative zero result. If the result is zero, and the
1883 // dividend is negative, go slow to return a floating point negative zero.
1884 Label smi_result;
1885 testl(rdx, rdx);
1886 j(not_zero, &smi_result, Label::kNear);
1887 testq(src1, src1);
1888 j(negative, on_not_smi_result, near_jump);
1889 bind(&smi_result);
1890 Integer32ToSmi(dst, rdx);
1891}
1892
1893
ager@chromium.org4af710e2009-09-15 12:20:11 +00001894void MacroAssembler::SmiNot(Register dst, Register src) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001895 ASSERT(!dst.is(kScratchRegister));
1896 ASSERT(!src.is(kScratchRegister));
1897 // Set tag and padding bits before negating, so that they are zero afterwards.
1898 movl(kScratchRegister, Immediate(~0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001899 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001900 xor_(dst, kScratchRegister);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001901 } else {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001902 lea(dst, Operand(src, kScratchRegister, times_1, 0));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001903 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001904 not_(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001905}
1906
1907
1908void MacroAssembler::SmiAnd(Register dst, Register src1, Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001909 ASSERT(!dst.is(src2));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001910 if (!dst.is(src1)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001911 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001912 }
1913 and_(dst, src2);
1914}
1915
1916
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001917void MacroAssembler::SmiAndConstant(Register dst, Register src, Smi* constant) {
1918 if (constant->value() == 0) {
lrn@chromium.org5d00b602011-01-05 09:51:43 +00001919 Set(dst, 0);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001920 } else if (dst.is(src)) {
1921 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001922 Register constant_reg = GetSmiConstant(constant);
1923 and_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001924 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001925 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001926 and_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001927 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001928}
1929
1930
1931void MacroAssembler::SmiOr(Register dst, Register src1, Register src2) {
1932 if (!dst.is(src1)) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001933 ASSERT(!src1.is(src2));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001934 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001935 }
1936 or_(dst, src2);
1937}
1938
1939
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001940void MacroAssembler::SmiOrConstant(Register dst, Register src, Smi* constant) {
1941 if (dst.is(src)) {
1942 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001943 Register constant_reg = GetSmiConstant(constant);
1944 or_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001945 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001946 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001947 or_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001948 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001949}
1950
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001951
ager@chromium.org4af710e2009-09-15 12:20:11 +00001952void MacroAssembler::SmiXor(Register dst, Register src1, Register src2) {
1953 if (!dst.is(src1)) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001954 ASSERT(!src1.is(src2));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001955 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001956 }
1957 xor_(dst, src2);
1958}
1959
1960
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001961void MacroAssembler::SmiXorConstant(Register dst, Register src, Smi* constant) {
1962 if (dst.is(src)) {
1963 ASSERT(!dst.is(kScratchRegister));
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001964 Register constant_reg = GetSmiConstant(constant);
1965 xor_(dst, constant_reg);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001966 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00001967 LoadSmiConstant(dst, constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001968 xor_(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00001969 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00001970}
1971
1972
ager@chromium.org4af710e2009-09-15 12:20:11 +00001973void MacroAssembler::SmiShiftArithmeticRightConstant(Register dst,
1974 Register src,
1975 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001976 ASSERT(is_uint5(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001977 if (shift_value > 0) {
1978 if (dst.is(src)) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001979 sar(dst, Immediate(shift_value + kSmiShift));
1980 shl(dst, Immediate(kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001981 } else {
1982 UNIMPLEMENTED(); // Not used.
1983 }
1984 }
1985}
1986
1987
ager@chromium.org4af710e2009-09-15 12:20:11 +00001988void MacroAssembler::SmiShiftLeftConstant(Register dst,
1989 Register src,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00001990 int shift_value) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00001991 if (!dst.is(src)) {
1992 movq(dst, src);
1993 }
1994 if (shift_value > 0) {
1995 shl(dst, Immediate(shift_value));
ager@chromium.org4af710e2009-09-15 12:20:11 +00001996 }
1997}
1998
1999
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002000void MacroAssembler::SmiShiftLogicalRightConstant(
2001 Register dst, Register src, int shift_value,
2002 Label* on_not_smi_result, Label::Distance near_jump) {
2003 // Logic right shift interprets its result as an *unsigned* number.
2004 if (dst.is(src)) {
2005 UNIMPLEMENTED(); // Not used.
2006 } else {
2007 movq(dst, src);
2008 if (shift_value == 0) {
2009 testq(dst, dst);
2010 j(negative, on_not_smi_result, near_jump);
2011 }
2012 shr(dst, Immediate(shift_value + kSmiShift));
2013 shl(dst, Immediate(kSmiShift));
2014 }
2015}
2016
2017
ager@chromium.org4af710e2009-09-15 12:20:11 +00002018void MacroAssembler::SmiShiftLeft(Register dst,
2019 Register src1,
sgjesse@chromium.org720dc0b2010-05-10 09:25:39 +00002020 Register src2) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00002021 ASSERT(!dst.is(rcx));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002022 // Untag shift amount.
2023 if (!dst.is(src1)) {
2024 movq(dst, src1);
ager@chromium.org4af710e2009-09-15 12:20:11 +00002025 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002026 SmiToInteger32(rcx, src2);
2027 // Shift amount specified by lower 5 bits, not six as the shl opcode.
2028 and_(rcx, Immediate(0x1f));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002029 shl_cl(dst);
ager@chromium.org4af710e2009-09-15 12:20:11 +00002030}
2031
2032
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002033void MacroAssembler::SmiShiftLogicalRight(Register dst,
2034 Register src1,
2035 Register src2,
2036 Label* on_not_smi_result,
2037 Label::Distance near_jump) {
2038 ASSERT(!dst.is(kScratchRegister));
2039 ASSERT(!src1.is(kScratchRegister));
2040 ASSERT(!src2.is(kScratchRegister));
2041 ASSERT(!dst.is(rcx));
2042 // dst and src1 can be the same, because the one case that bails out
2043 // is a shift by 0, which leaves dst, and therefore src1, unchanged.
2044 if (src1.is(rcx) || src2.is(rcx)) {
2045 movq(kScratchRegister, rcx);
2046 }
2047 if (!dst.is(src1)) {
2048 movq(dst, src1);
2049 }
2050 SmiToInteger32(rcx, src2);
2051 orl(rcx, Immediate(kSmiShift));
2052 shr_cl(dst); // Shift is rcx modulo 0x1f + 32.
2053 shl(dst, Immediate(kSmiShift));
2054 testq(dst, dst);
2055 if (src1.is(rcx) || src2.is(rcx)) {
2056 Label positive_result;
2057 j(positive, &positive_result, Label::kNear);
2058 if (src1.is(rcx)) {
2059 movq(src1, kScratchRegister);
2060 } else {
2061 movq(src2, kScratchRegister);
2062 }
2063 jmp(on_not_smi_result, near_jump);
2064 bind(&positive_result);
2065 } else {
2066 // src2 was zero and src1 negative.
2067 j(negative, on_not_smi_result, near_jump);
2068 }
2069}
2070
2071
ager@chromium.org4af710e2009-09-15 12:20:11 +00002072void MacroAssembler::SmiShiftArithmeticRight(Register dst,
2073 Register src1,
2074 Register src2) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002075 ASSERT(!dst.is(kScratchRegister));
2076 ASSERT(!src1.is(kScratchRegister));
2077 ASSERT(!src2.is(kScratchRegister));
ager@chromium.org4af710e2009-09-15 12:20:11 +00002078 ASSERT(!dst.is(rcx));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002079 if (src1.is(rcx)) {
2080 movq(kScratchRegister, src1);
2081 } else if (src2.is(rcx)) {
2082 movq(kScratchRegister, src2);
2083 }
2084 if (!dst.is(src1)) {
2085 movq(dst, src1);
2086 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00002087 SmiToInteger32(rcx, src2);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002088 orl(rcx, Immediate(kSmiShift));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00002089 sar_cl(dst); // Shift 32 + original rcx & 0x1f.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002090 shl(dst, Immediate(kSmiShift));
2091 if (src1.is(rcx)) {
2092 movq(src1, kScratchRegister);
2093 } else if (src2.is(rcx)) {
2094 movq(src2, kScratchRegister);
2095 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00002096}
2097
2098
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002099void MacroAssembler::SelectNonSmi(Register dst,
2100 Register src1,
2101 Register src2,
2102 Label* on_not_smis,
2103 Label::Distance near_jump) {
2104 ASSERT(!dst.is(kScratchRegister));
2105 ASSERT(!src1.is(kScratchRegister));
2106 ASSERT(!src2.is(kScratchRegister));
2107 ASSERT(!dst.is(src1));
2108 ASSERT(!dst.is(src2));
2109 // Both operands must not be smis.
2110#ifdef DEBUG
2111 if (allow_stub_calls()) { // Check contains a stub call.
2112 Condition not_both_smis = NegateCondition(CheckBothSmi(src1, src2));
2113 Check(not_both_smis, "Both registers were smis in SelectNonSmi.");
2114 }
2115#endif
yangguo@chromium.org80c42ed2011-08-31 09:03:56 +00002116 STATIC_ASSERT(kSmiTag == 0);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002117 ASSERT_EQ(0, Smi::FromInt(0));
2118 movl(kScratchRegister, Immediate(kSmiTagMask));
2119 and_(kScratchRegister, src1);
2120 testl(kScratchRegister, src2);
2121 // If non-zero then both are smis.
2122 j(not_zero, on_not_smis, near_jump);
2123
2124 // Exactly one operand is a smi.
2125 ASSERT_EQ(1, static_cast<int>(kSmiTagMask));
2126 // kScratchRegister still holds src1 & kSmiTag, which is either zero or one.
2127 subq(kScratchRegister, Immediate(1));
2128 // If src1 is a smi, then scratch register all 1s, else it is all 0s.
2129 movq(dst, src1);
2130 xor_(dst, src2);
2131 and_(dst, kScratchRegister);
2132 // If src1 is a smi, dst holds src1 ^ src2, else it is zero.
2133 xor_(dst, src1);
2134 // If src1 is a smi, dst is src2, else it is src1, i.e., the non-smi.
2135}
2136
2137
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002138SmiIndex MacroAssembler::SmiToIndex(Register dst,
2139 Register src,
2140 int shift) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00002141 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002142 // There is a possible optimization if shift is in the range 60-63, but that
2143 // will (and must) never happen.
2144 if (!dst.is(src)) {
2145 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00002146 }
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002147 if (shift < kSmiShift) {
2148 sar(dst, Immediate(kSmiShift - shift));
2149 } else {
2150 shl(dst, Immediate(shift - kSmiShift));
ager@chromium.org4af710e2009-09-15 12:20:11 +00002151 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00002152 return SmiIndex(dst, times_1);
2153}
2154
ager@chromium.org4af710e2009-09-15 12:20:11 +00002155SmiIndex MacroAssembler::SmiToNegativeIndex(Register dst,
2156 Register src,
2157 int shift) {
2158 // Register src holds a positive smi.
2159 ASSERT(is_uint6(shift));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002160 if (!dst.is(src)) {
2161 movq(dst, src);
ager@chromium.org4af710e2009-09-15 12:20:11 +00002162 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00002163 neg(dst);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002164 if (shift < kSmiShift) {
2165 sar(dst, Immediate(kSmiShift - shift));
2166 } else {
2167 shl(dst, Immediate(shift - kSmiShift));
2168 }
ager@chromium.org4af710e2009-09-15 12:20:11 +00002169 return SmiIndex(dst, times_1);
2170}
2171
2172
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002173void MacroAssembler::AddSmiField(Register dst, const Operand& src) {
2174 ASSERT_EQ(0, kSmiShift % kBitsPerByte);
2175 addl(dst, Operand(src, kSmiShift / kBitsPerByte));
2176}
2177
2178
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002179void MacroAssembler::JumpIfNotString(Register object,
2180 Register object_map,
2181 Label* not_string,
2182 Label::Distance near_jump) {
2183 Condition is_smi = CheckSmi(object);
2184 j(is_smi, not_string, near_jump);
2185 CmpObjectType(object, FIRST_NONSTRING_TYPE, object_map);
2186 j(above_equal, not_string, near_jump);
2187}
2188
2189
2190void MacroAssembler::JumpIfNotBothSequentialAsciiStrings(
2191 Register first_object,
2192 Register second_object,
2193 Register scratch1,
2194 Register scratch2,
2195 Label* on_fail,
2196 Label::Distance near_jump) {
2197 // Check that both objects are not smis.
2198 Condition either_smi = CheckEitherSmi(first_object, second_object);
2199 j(either_smi, on_fail, near_jump);
2200
2201 // Load instance type for both strings.
2202 movq(scratch1, FieldOperand(first_object, HeapObject::kMapOffset));
2203 movq(scratch2, FieldOperand(second_object, HeapObject::kMapOffset));
2204 movzxbl(scratch1, FieldOperand(scratch1, Map::kInstanceTypeOffset));
2205 movzxbl(scratch2, FieldOperand(scratch2, Map::kInstanceTypeOffset));
2206
2207 // Check that both are flat ascii strings.
2208 ASSERT(kNotStringTag != 0);
2209 const int kFlatAsciiStringMask =
2210 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
2211 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
2212
2213 andl(scratch1, Immediate(kFlatAsciiStringMask));
2214 andl(scratch2, Immediate(kFlatAsciiStringMask));
2215 // Interleave the bits to check both scratch1 and scratch2 in one test.
2216 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
2217 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
2218 cmpl(scratch1,
2219 Immediate(kFlatAsciiStringTag + (kFlatAsciiStringTag << 3)));
2220 j(not_equal, on_fail, near_jump);
2221}
2222
2223
2224void MacroAssembler::JumpIfInstanceTypeIsNotSequentialAscii(
2225 Register instance_type,
2226 Register scratch,
2227 Label* failure,
2228 Label::Distance near_jump) {
2229 if (!scratch.is(instance_type)) {
2230 movl(scratch, instance_type);
2231 }
2232
2233 const int kFlatAsciiStringMask =
2234 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
2235
2236 andl(scratch, Immediate(kFlatAsciiStringMask));
2237 cmpl(scratch, Immediate(kStringTag | kSeqStringTag | kAsciiStringTag));
2238 j(not_equal, failure, near_jump);
2239}
2240
2241
2242void MacroAssembler::JumpIfBothInstanceTypesAreNotSequentialAscii(
2243 Register first_object_instance_type,
2244 Register second_object_instance_type,
2245 Register scratch1,
2246 Register scratch2,
2247 Label* on_fail,
2248 Label::Distance near_jump) {
2249 // Load instance type for both strings.
2250 movq(scratch1, first_object_instance_type);
2251 movq(scratch2, second_object_instance_type);
2252
2253 // Check that both are flat ascii strings.
2254 ASSERT(kNotStringTag != 0);
2255 const int kFlatAsciiStringMask =
2256 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
2257 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
2258
2259 andl(scratch1, Immediate(kFlatAsciiStringMask));
2260 andl(scratch2, Immediate(kFlatAsciiStringMask));
2261 // Interleave the bits to check both scratch1 and scratch2 in one test.
2262 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
2263 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
2264 cmpl(scratch1,
2265 Immediate(kFlatAsciiStringTag + (kFlatAsciiStringTag << 3)));
2266 j(not_equal, on_fail, near_jump);
2267}
2268
2269
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002270
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +00002271void MacroAssembler::Move(Register dst, Register src) {
2272 if (!dst.is(src)) {
2273 movq(dst, src);
2274 }
2275}
2276
2277
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002278void MacroAssembler::Move(Register dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00002279 ASSERT(!source->IsFailure());
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002280 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002281 Move(dst, Smi::cast(*source));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002282 } else {
2283 movq(dst, source, RelocInfo::EMBEDDED_OBJECT);
2284 }
2285}
2286
2287
2288void MacroAssembler::Move(const Operand& dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002289 ASSERT(!source->IsFailure());
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00002290 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002291 Move(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00002292 } else {
2293 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
2294 movq(dst, kScratchRegister);
2295 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002296}
2297
2298
2299void MacroAssembler::Cmp(Register dst, Handle<Object> source) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002300 if (source->IsSmi()) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00002301 Cmp(dst, Smi::cast(*source));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002302 } else {
2303 Move(kScratchRegister, source);
2304 cmpq(dst, kScratchRegister);
2305 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002306}
2307
2308
ager@chromium.org3e875802009-06-29 08:26:34 +00002309void MacroAssembler::Cmp(const Operand& dst, Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00002310 if (source->IsSmi()) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00002311 Cmp(dst, Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00002312 } else {
2313 ASSERT(source->IsHeapObject());
2314 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
2315 cmpq(dst, kScratchRegister);
2316 }
ager@chromium.org3e875802009-06-29 08:26:34 +00002317}
2318
2319
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002320void MacroAssembler::Push(Handle<Object> source) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00002321 if (source->IsSmi()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002322 Push(Smi::cast(*source));
kasperl@chromium.org68ac0092009-07-09 06:00:35 +00002323 } else {
2324 ASSERT(source->IsHeapObject());
2325 movq(kScratchRegister, source, RelocInfo::EMBEDDED_OBJECT);
2326 push(kScratchRegister);
2327 }
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002328}
2329
2330
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00002331void MacroAssembler::Push(Smi* source) {
ager@chromium.org3811b432009-10-28 14:53:37 +00002332 intptr_t smi = reinterpret_cast<intptr_t>(source);
2333 if (is_int32(smi)) {
2334 push(Immediate(static_cast<int32_t>(smi)));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00002335 } else {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +00002336 Register constant = GetSmiConstant(source);
2337 push(constant);
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002338 }
2339}
2340
2341
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002342void MacroAssembler::Drop(int stack_elements) {
2343 if (stack_elements > 0) {
2344 addq(rsp, Immediate(stack_elements * kPointerSize));
2345 }
2346}
2347
2348
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00002349void MacroAssembler::Test(const Operand& src, Smi* source) {
kmillikin@chromium.org9155e252010-05-26 13:27:57 +00002350 testl(Operand(src, kIntSize), Immediate(source->value()));
sgjesse@chromium.org0b6db592009-07-30 14:48:31 +00002351}
2352
2353
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002354void MacroAssembler::TestBit(const Operand& src, int bits) {
2355 int byte_offset = bits / kBitsPerByte;
2356 int bit_in_byte = bits & (kBitsPerByte - 1);
2357 testb(Operand(src, byte_offset), Immediate(1 << bit_in_byte));
2358}
2359
2360
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002361void MacroAssembler::Jump(ExternalReference ext) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002362 LoadAddress(kScratchRegister, ext);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002363 jmp(kScratchRegister);
2364}
2365
2366
2367void MacroAssembler::Jump(Address destination, RelocInfo::Mode rmode) {
2368 movq(kScratchRegister, destination, rmode);
2369 jmp(kScratchRegister);
2370}
2371
2372
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002373void MacroAssembler::Jump(Handle<Code> code_object, RelocInfo::Mode rmode) {
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00002374 // TODO(X64): Inline this
2375 jmp(code_object, rmode);
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002376}
2377
2378
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002379int MacroAssembler::CallSize(ExternalReference ext) {
2380 // Opcode for call kScratchRegister is: Rex.B FF D4 (three bytes).
2381 const int kCallInstructionSize = 3;
2382 return LoadAddressSize(ext) + kCallInstructionSize;
2383}
2384
2385
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002386void MacroAssembler::Call(ExternalReference ext) {
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002387#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002388 int end_position = pc_offset() + CallSize(ext);
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002389#endif
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002390 LoadAddress(kScratchRegister, ext);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002391 call(kScratchRegister);
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002392#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002393 CHECK_EQ(end_position, pc_offset());
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002394#endif
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002395}
2396
2397
2398void MacroAssembler::Call(Address destination, RelocInfo::Mode rmode) {
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002399#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002400 int end_position = pc_offset() + CallSize(destination, rmode);
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002401#endif
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002402 movq(kScratchRegister, destination, rmode);
2403 call(kScratchRegister);
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002404#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002405 CHECK_EQ(pc_offset(), end_position);
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002406#endif
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002407}
2408
2409
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002410void MacroAssembler::Call(Handle<Code> code_object,
2411 RelocInfo::Mode rmode,
2412 unsigned ast_id) {
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002413#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002414 int end_position = pc_offset() + CallSize(code_object);
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002415#endif
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002416 ASSERT(RelocInfo::IsCodeTarget(rmode));
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00002417 call(code_object, rmode, ast_id);
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002418#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002419 CHECK_EQ(end_position, pc_offset());
ricow@chromium.orgeb96f4f2011-03-09 13:41:48 +00002420#endif
ager@chromium.org5aa501c2009-06-23 07:57:28 +00002421}
2422
2423
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002424void MacroAssembler::Pushad() {
2425 push(rax);
2426 push(rcx);
2427 push(rdx);
2428 push(rbx);
2429 // Not pushing rsp or rbp.
2430 push(rsi);
2431 push(rdi);
2432 push(r8);
2433 push(r9);
2434 // r10 is kScratchRegister.
2435 push(r11);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00002436 // r12 is kSmiConstantRegister.
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002437 // r13 is kRootRegister.
2438 push(r14);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00002439 push(r15);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002440 STATIC_ASSERT(11 == kNumSafepointSavedRegisters);
2441 // Use lea for symmetry with Popad.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002442 int sp_delta =
2443 (kNumSafepointRegisters - kNumSafepointSavedRegisters) * kPointerSize;
2444 lea(rsp, Operand(rsp, -sp_delta));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002445}
2446
2447
2448void MacroAssembler::Popad() {
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002449 // Popad must not change the flags, so use lea instead of addq.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002450 int sp_delta =
2451 (kNumSafepointRegisters - kNumSafepointSavedRegisters) * kPointerSize;
2452 lea(rsp, Operand(rsp, sp_delta));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00002453 pop(r15);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002454 pop(r14);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002455 pop(r11);
2456 pop(r9);
2457 pop(r8);
2458 pop(rdi);
2459 pop(rsi);
2460 pop(rbx);
2461 pop(rdx);
2462 pop(rcx);
2463 pop(rax);
2464}
2465
2466
ager@chromium.org0ee099b2011-01-25 14:06:47 +00002467void MacroAssembler::Dropad() {
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002468 addq(rsp, Immediate(kNumSafepointRegisters * kPointerSize));
ager@chromium.org0ee099b2011-01-25 14:06:47 +00002469}
2470
2471
2472// Order general registers are pushed by Pushad:
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00002473// rax, rcx, rdx, rbx, rsi, rdi, r8, r9, r11, r14, r15.
ager@chromium.org0ee099b2011-01-25 14:06:47 +00002474int MacroAssembler::kSafepointPushRegisterIndices[Register::kNumRegisters] = {
2475 0,
2476 1,
2477 2,
2478 3,
2479 -1,
2480 -1,
2481 4,
2482 5,
2483 6,
2484 7,
2485 -1,
2486 8,
ager@chromium.org0ee099b2011-01-25 14:06:47 +00002487 -1,
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00002488 -1,
2489 9,
2490 10
ager@chromium.org0ee099b2011-01-25 14:06:47 +00002491};
2492
2493
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002494void MacroAssembler::StoreToSafepointRegisterSlot(Register dst, Register src) {
2495 movq(SafepointRegisterSlot(dst), src);
2496}
2497
2498
vegorov@chromium.org5d6c1f52011-02-28 13:13:38 +00002499void MacroAssembler::LoadFromSafepointRegisterSlot(Register dst, Register src) {
2500 movq(dst, SafepointRegisterSlot(src));
2501}
2502
2503
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002504Operand MacroAssembler::SafepointRegisterSlot(Register reg) {
2505 return Operand(rsp, SafepointRegisterStackIndex(reg.code()) * kPointerSize);
2506}
2507
2508
ager@chromium.orge2902be2009-06-08 12:21:35 +00002509void MacroAssembler::PushTryHandler(CodeLocation try_location,
2510 HandlerType type) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002511 // Adjust this code if not the case.
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002512 STATIC_ASSERT(StackHandlerConstants::kSize == 5 * kPointerSize);
2513 STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0 * kPointerSize);
2514 STATIC_ASSERT(StackHandlerConstants::kContextOffset == 1 * kPointerSize);
2515 STATIC_ASSERT(StackHandlerConstants::kFPOffset == 2 * kPointerSize);
2516 STATIC_ASSERT(StackHandlerConstants::kStateOffset == 3 * kPointerSize);
2517 STATIC_ASSERT(StackHandlerConstants::kPCOffset == 4 * kPointerSize);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002518
2519 // The pc (return address) is already on TOS. This code pushes state,
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002520 // frame pointer, context, and current handler.
ager@chromium.orge2902be2009-06-08 12:21:35 +00002521 if (try_location == IN_JAVASCRIPT) {
2522 if (type == TRY_CATCH_HANDLER) {
2523 push(Immediate(StackHandler::TRY_CATCH));
2524 } else {
2525 push(Immediate(StackHandler::TRY_FINALLY));
2526 }
ager@chromium.orge2902be2009-06-08 12:21:35 +00002527 push(rbp);
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002528 push(rsi);
ager@chromium.orge2902be2009-06-08 12:21:35 +00002529 } else {
2530 ASSERT(try_location == IN_JS_ENTRY);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002531 // The frame pointer does not point to a JS frame so we save NULL
2532 // for rbp. We expect the code throwing an exception to check rbp
2533 // before dereferencing it to restore the context.
ager@chromium.orge2902be2009-06-08 12:21:35 +00002534 push(Immediate(StackHandler::ENTRY));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002535 push(Immediate(0)); // NULL frame pointer.
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002536 Push(Smi::FromInt(0)); // No context.
ager@chromium.orge2902be2009-06-08 12:21:35 +00002537 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002538 // Save the current handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002539 Operand handler_operand =
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002540 ExternalOperand(ExternalReference(Isolate::kHandlerAddress, isolate()));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002541 push(handler_operand);
ager@chromium.orge2902be2009-06-08 12:21:35 +00002542 // Link this handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002543 movq(handler_operand, rsp);
ager@chromium.orge2902be2009-06-08 12:21:35 +00002544}
2545
2546
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002547void MacroAssembler::PopTryHandler() {
2548 ASSERT_EQ(0, StackHandlerConstants::kNextOffset);
2549 // Unlink this handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002550 Operand handler_operand =
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002551 ExternalOperand(ExternalReference(Isolate::kHandlerAddress, isolate()));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002552 pop(handler_operand);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00002553 // Remove the remaining fields.
2554 addq(rsp, Immediate(StackHandlerConstants::kSize - kPointerSize));
2555}
2556
2557
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002558void MacroAssembler::Throw(Register value) {
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002559 // Adjust this code if not the case.
2560 STATIC_ASSERT(StackHandlerConstants::kSize == 5 * kPointerSize);
2561 STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0 * kPointerSize);
2562 STATIC_ASSERT(StackHandlerConstants::kContextOffset == 1 * kPointerSize);
2563 STATIC_ASSERT(StackHandlerConstants::kFPOffset == 2 * kPointerSize);
2564 STATIC_ASSERT(StackHandlerConstants::kStateOffset == 3 * kPointerSize);
2565 STATIC_ASSERT(StackHandlerConstants::kPCOffset == 4 * kPointerSize);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002566 // Keep thrown value in rax.
2567 if (!value.is(rax)) {
2568 movq(rax, value);
2569 }
2570
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002571 ExternalReference handler_address(Isolate::kHandlerAddress, isolate());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002572 Operand handler_operand = ExternalOperand(handler_address);
2573 movq(rsp, handler_operand);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002574 // get next in chain
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002575 pop(handler_operand);
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002576 pop(rsi); // Context.
2577 pop(rbp); // Frame pointer.
2578 pop(rdx); // State.
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002579
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002580 // If the handler is a JS frame, restore the context to the frame.
2581 // (rdx == ENTRY) == (rbp == 0) == (rsi == 0), so we could test any
2582 // of them.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002583 Label skip;
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002584 cmpq(rdx, Immediate(StackHandler::ENTRY));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002585 j(equal, &skip, Label::kNear);
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002586 movq(Operand(rbp, StandardFrameConstants::kContextOffset), rsi);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002587 bind(&skip);
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002588
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002589 ret(0);
2590}
2591
2592
2593void MacroAssembler::ThrowUncatchable(UncatchableExceptionType type,
2594 Register value) {
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002595 // Adjust this code if not the case.
2596 STATIC_ASSERT(StackHandlerConstants::kSize == 5 * kPointerSize);
2597 STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0 * kPointerSize);
2598 STATIC_ASSERT(StackHandlerConstants::kContextOffset == 1 * kPointerSize);
2599 STATIC_ASSERT(StackHandlerConstants::kFPOffset == 2 * kPointerSize);
2600 STATIC_ASSERT(StackHandlerConstants::kStateOffset == 3 * kPointerSize);
2601 STATIC_ASSERT(StackHandlerConstants::kPCOffset == 4 * kPointerSize);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002602 // Keep thrown value in rax.
2603 if (!value.is(rax)) {
2604 movq(rax, value);
2605 }
2606 // Fetch top stack handler.
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002607 ExternalReference handler_address(Isolate::kHandlerAddress, isolate());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002608 Load(rsp, handler_address);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002609
2610 // Unwind the handlers until the ENTRY handler is found.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002611 Label loop, done;
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002612 bind(&loop);
2613 // Load the type of the current stack handler.
2614 const int kStateOffset = StackHandlerConstants::kStateOffset;
2615 cmpq(Operand(rsp, kStateOffset), Immediate(StackHandler::ENTRY));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002616 j(equal, &done, Label::kNear);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002617 // Fetch the next handler in the list.
2618 const int kNextOffset = StackHandlerConstants::kNextOffset;
2619 movq(rsp, Operand(rsp, kNextOffset));
2620 jmp(&loop);
2621 bind(&done);
2622
2623 // Set the top handler address to next handler past the current ENTRY handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002624 Operand handler_operand = ExternalOperand(handler_address);
2625 pop(handler_operand);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002626
2627 if (type == OUT_OF_MEMORY) {
2628 // Set external caught exception to false.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002629 ExternalReference external_caught(
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002630 Isolate::kExternalCaughtExceptionAddress, isolate());
ager@chromium.orga9aa5fa2011-04-13 08:46:07 +00002631 Set(rax, static_cast<int64_t>(false));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002632 Store(external_caught, rax);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002633
2634 // Set pending exception and rax to out of memory exception.
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002635 ExternalReference pending_exception(Isolate::kPendingExceptionAddress,
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002636 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002637 movq(rax, Failure::OutOfMemoryException(), RelocInfo::NONE);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002638 Store(pending_exception, rax);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002639 }
2640
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002641 // Discard the context saved in the handler and clear the context pointer.
2642 pop(rdx);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002643 Set(rsi, 0);
2644
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002645 pop(rbp); // Restore frame pointer.
2646 pop(rdx); // Discard state.
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002647
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002648 ret(0);
2649}
2650
2651
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002652void MacroAssembler::Ret() {
2653 ret(0);
2654}
2655
2656
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00002657void MacroAssembler::Ret(int bytes_dropped, Register scratch) {
2658 if (is_uint16(bytes_dropped)) {
2659 ret(bytes_dropped);
2660 } else {
2661 pop(scratch);
2662 addq(rsp, Immediate(bytes_dropped));
2663 push(scratch);
2664 ret(0);
2665 }
2666}
2667
2668
ager@chromium.org3e875802009-06-29 08:26:34 +00002669void MacroAssembler::FCmp() {
ager@chromium.org3811b432009-10-28 14:53:37 +00002670 fucomip();
fschneider@chromium.org40b9da32010-06-28 11:29:21 +00002671 fstp(0);
ager@chromium.org3e875802009-06-29 08:26:34 +00002672}
2673
2674
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002675void MacroAssembler::CmpObjectType(Register heap_object,
2676 InstanceType type,
2677 Register map) {
2678 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
2679 CmpInstanceType(map, type);
2680}
2681
2682
2683void MacroAssembler::CmpInstanceType(Register map, InstanceType type) {
2684 cmpb(FieldOperand(map, Map::kInstanceTypeOffset),
2685 Immediate(static_cast<int8_t>(type)));
2686}
2687
2688
erik.corry@gmail.comd6076d92011-06-06 09:39:18 +00002689void MacroAssembler::CheckFastElements(Register map,
2690 Label* fail,
2691 Label::Distance distance) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002692 STATIC_ASSERT(FAST_SMI_ONLY_ELEMENTS == 0);
2693 STATIC_ASSERT(FAST_ELEMENTS == 1);
erik.corry@gmail.comd6076d92011-06-06 09:39:18 +00002694 cmpb(FieldOperand(map, Map::kBitField2Offset),
2695 Immediate(Map::kMaximumBitField2FastElementValue));
2696 j(above, fail, distance);
2697}
2698
2699
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002700void MacroAssembler::CheckFastObjectElements(Register map,
2701 Label* fail,
2702 Label::Distance distance) {
2703 STATIC_ASSERT(FAST_SMI_ONLY_ELEMENTS == 0);
2704 STATIC_ASSERT(FAST_ELEMENTS == 1);
2705 cmpb(FieldOperand(map, Map::kBitField2Offset),
2706 Immediate(Map::kMaximumBitField2FastSmiOnlyElementValue));
2707 j(below_equal, fail, distance);
2708 cmpb(FieldOperand(map, Map::kBitField2Offset),
2709 Immediate(Map::kMaximumBitField2FastElementValue));
2710 j(above, fail, distance);
2711}
2712
2713
2714void MacroAssembler::CheckFastSmiOnlyElements(Register map,
2715 Label* fail,
2716 Label::Distance distance) {
2717 STATIC_ASSERT(FAST_SMI_ONLY_ELEMENTS == 0);
2718 cmpb(FieldOperand(map, Map::kBitField2Offset),
2719 Immediate(Map::kMaximumBitField2FastSmiOnlyElementValue));
2720 j(above, fail, distance);
2721}
2722
2723
2724void MacroAssembler::StoreNumberToDoubleElements(
2725 Register maybe_number,
2726 Register elements,
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002727 Register index,
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002728 XMMRegister xmm_scratch,
2729 Label* fail) {
2730 Label smi_value, is_nan, maybe_nan, not_nan, have_double_value, done;
2731
2732 JumpIfSmi(maybe_number, &smi_value, Label::kNear);
2733
2734 CheckMap(maybe_number,
2735 isolate()->factory()->heap_number_map(),
2736 fail,
2737 DONT_DO_SMI_CHECK);
2738
2739 // Double value, canonicalize NaN.
2740 uint32_t offset = HeapNumber::kValueOffset + sizeof(kHoleNanLower32);
2741 cmpl(FieldOperand(maybe_number, offset),
2742 Immediate(kNaNOrInfinityLowerBoundUpper32));
2743 j(greater_equal, &maybe_nan, Label::kNear);
2744
2745 bind(&not_nan);
2746 movsd(xmm_scratch, FieldOperand(maybe_number, HeapNumber::kValueOffset));
2747 bind(&have_double_value);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002748 movsd(FieldOperand(elements, index, times_8, FixedDoubleArray::kHeaderSize),
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002749 xmm_scratch);
2750 jmp(&done);
2751
2752 bind(&maybe_nan);
2753 // Could be NaN or Infinity. If fraction is not zero, it's NaN, otherwise
2754 // it's an Infinity, and the non-NaN code path applies.
2755 j(greater, &is_nan, Label::kNear);
2756 cmpl(FieldOperand(maybe_number, HeapNumber::kValueOffset), Immediate(0));
2757 j(zero, &not_nan);
2758 bind(&is_nan);
2759 // Convert all NaNs to the same canonical NaN value when they are stored in
2760 // the double array.
2761 Set(kScratchRegister, BitCast<uint64_t>(
2762 FixedDoubleArray::canonical_not_the_hole_nan_as_double()));
2763 movq(xmm_scratch, kScratchRegister);
2764 jmp(&have_double_value, Label::kNear);
2765
2766 bind(&smi_value);
2767 // Value is a smi. convert to a double and store.
2768 // Preserve original value.
2769 SmiToInteger32(kScratchRegister, maybe_number);
2770 cvtlsi2sd(xmm_scratch, kScratchRegister);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002771 movsd(FieldOperand(elements, index, times_8, FixedDoubleArray::kHeaderSize),
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002772 xmm_scratch);
2773 bind(&done);
2774}
2775
2776
ager@chromium.org5c838252010-02-19 08:53:10 +00002777void MacroAssembler::CheckMap(Register obj,
2778 Handle<Map> map,
2779 Label* fail,
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +00002780 SmiCheckType smi_check_type) {
2781 if (smi_check_type == DO_SMI_CHECK) {
ager@chromium.org5c838252010-02-19 08:53:10 +00002782 JumpIfSmi(obj, fail);
2783 }
2784 Cmp(FieldOperand(obj, HeapObject::kMapOffset), map);
2785 j(not_equal, fail);
2786}
2787
2788
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +00002789void MacroAssembler::ClampUint8(Register reg) {
2790 Label done;
2791 testl(reg, Immediate(0xFFFFFF00));
2792 j(zero, &done, Label::kNear);
2793 setcc(negative, reg); // 1 if negative, 0 if positive.
2794 decb(reg); // 0 if negative, 255 if positive.
2795 bind(&done);
2796}
2797
2798
2799void MacroAssembler::ClampDoubleToUint8(XMMRegister input_reg,
2800 XMMRegister temp_xmm_reg,
2801 Register result_reg,
2802 Register temp_reg) {
2803 Label done;
2804 Set(result_reg, 0);
2805 xorps(temp_xmm_reg, temp_xmm_reg);
2806 ucomisd(input_reg, temp_xmm_reg);
2807 j(below, &done, Label::kNear);
2808 uint64_t one_half = BitCast<uint64_t, double>(0.5);
2809 Set(temp_reg, one_half);
2810 movq(temp_xmm_reg, temp_reg);
2811 addsd(temp_xmm_reg, input_reg);
2812 cvttsd2si(result_reg, temp_xmm_reg);
2813 testl(result_reg, Immediate(0xFFFFFF00));
2814 j(zero, &done, Label::kNear);
2815 Set(result_reg, 255);
2816 bind(&done);
2817}
2818
2819
danno@chromium.org40cb8782011-05-25 07:58:50 +00002820void MacroAssembler::LoadInstanceDescriptors(Register map,
2821 Register descriptors) {
2822 movq(descriptors, FieldOperand(map,
2823 Map::kInstanceDescriptorsOrBitField3Offset));
2824 Label not_smi;
2825 JumpIfNotSmi(descriptors, &not_smi, Label::kNear);
2826 Move(descriptors, isolate()->factory()->empty_descriptor_array());
2827 bind(&not_smi);
2828}
2829
2830
ager@chromium.orgea91cc52011-05-23 06:06:11 +00002831void MacroAssembler::DispatchMap(Register obj,
2832 Handle<Map> map,
2833 Handle<Code> success,
2834 SmiCheckType smi_check_type) {
2835 Label fail;
2836 if (smi_check_type == DO_SMI_CHECK) {
2837 JumpIfSmi(obj, &fail);
2838 }
2839 Cmp(FieldOperand(obj, HeapObject::kMapOffset), map);
2840 j(equal, success, RelocInfo::CODE_TARGET);
2841
2842 bind(&fail);
2843}
2844
2845
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00002846void MacroAssembler::AbortIfNotNumber(Register object) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002847 Label ok;
ager@chromium.org5c838252010-02-19 08:53:10 +00002848 Condition is_smi = CheckSmi(object);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002849 j(is_smi, &ok, Label::kNear);
ager@chromium.org5c838252010-02-19 08:53:10 +00002850 Cmp(FieldOperand(object, HeapObject::kMapOffset),
danno@chromium.org160a7b02011-04-18 15:51:38 +00002851 isolate()->factory()->heap_number_map());
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00002852 Assert(equal, "Operand not a number");
ager@chromium.org5c838252010-02-19 08:53:10 +00002853 bind(&ok);
2854}
2855
2856
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00002857void MacroAssembler::AbortIfSmi(Register object) {
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00002858 Condition is_smi = CheckSmi(object);
2859 Assert(NegateCondition(is_smi), "Operand is a smi");
2860}
2861
2862
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00002863void MacroAssembler::AbortIfNotSmi(Register object) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00002864 Condition is_smi = CheckSmi(object);
2865 Assert(is_smi, "Operand is not a smi");
2866}
2867
2868
2869void MacroAssembler::AbortIfNotSmi(const Operand& object) {
lrn@chromium.org25156de2010-04-06 13:10:27 +00002870 Condition is_smi = CheckSmi(object);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +00002871 Assert(is_smi, "Operand is not a smi");
lrn@chromium.org25156de2010-04-06 13:10:27 +00002872}
2873
2874
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00002875void MacroAssembler::AbortIfNotString(Register object) {
2876 testb(object, Immediate(kSmiTagMask));
2877 Assert(not_equal, "Operand is not a string");
2878 push(object);
2879 movq(object, FieldOperand(object, HeapObject::kMapOffset));
2880 CmpInstanceType(object, FIRST_NONSTRING_TYPE);
2881 pop(object);
2882 Assert(below, "Operand is not a string");
2883}
2884
2885
ricow@chromium.org5ad5ace2010-06-23 09:06:43 +00002886void MacroAssembler::AbortIfNotRootValue(Register src,
2887 Heap::RootListIndex root_value_index,
2888 const char* message) {
2889 ASSERT(!src.is(kScratchRegister));
2890 LoadRoot(kScratchRegister, root_value_index);
2891 cmpq(src, kScratchRegister);
2892 Check(equal, message);
2893}
2894
2895
2896
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002897Condition MacroAssembler::IsObjectStringType(Register heap_object,
2898 Register map,
2899 Register instance_type) {
2900 movq(map, FieldOperand(heap_object, HeapObject::kMapOffset));
2901 movzxbl(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
yangguo@chromium.org80c42ed2011-08-31 09:03:56 +00002902 STATIC_ASSERT(kNotStringTag != 0);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002903 testb(instance_type, Immediate(kIsNotStringMask));
2904 return zero;
2905}
2906
2907
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002908void MacroAssembler::TryGetFunctionPrototype(Register function,
2909 Register result,
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002910 Label* miss,
2911 bool miss_on_bound_function) {
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002912 // Check that the receiver isn't a smi.
2913 testl(function, Immediate(kSmiTagMask));
2914 j(zero, miss);
2915
2916 // Check that the function really is a function.
2917 CmpObjectType(function, JS_FUNCTION_TYPE, result);
2918 j(not_equal, miss);
2919
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002920 if (miss_on_bound_function) {
2921 movq(kScratchRegister,
2922 FieldOperand(function, JSFunction::kSharedFunctionInfoOffset));
2923 // It's not smi-tagged (stored in the top half of a smi-tagged 8-byte
2924 // field).
2925 TestBit(FieldOperand(kScratchRegister,
2926 SharedFunctionInfo::kCompilerHintsOffset),
2927 SharedFunctionInfo::kBoundFunction);
2928 j(not_zero, miss);
2929 }
2930
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002931 // Make sure that the function has an instance prototype.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002932 Label non_instance;
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002933 testb(FieldOperand(result, Map::kBitFieldOffset),
2934 Immediate(1 << Map::kHasNonInstancePrototype));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002935 j(not_zero, &non_instance, Label::kNear);
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002936
2937 // Get the prototype or initial map from the function.
2938 movq(result,
2939 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2940
2941 // If the prototype or initial map is the hole, don't return it and
2942 // simply miss the cache instead. This will allow us to allocate a
2943 // prototype object on-demand in the runtime system.
ager@chromium.org18ad94b2009-09-02 08:22:29 +00002944 CompareRoot(result, Heap::kTheHoleValueRootIndex);
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002945 j(equal, miss);
2946
2947 // If the function does not have an initial map, we're done.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002948 Label done;
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002949 CmpObjectType(result, MAP_TYPE, kScratchRegister);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002950 j(not_equal, &done, Label::kNear);
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002951
2952 // Get the prototype from the initial map.
2953 movq(result, FieldOperand(result, Map::kPrototypeOffset));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002954 jmp(&done, Label::kNear);
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00002955
2956 // Non-instance prototype: Fetch prototype from constructor field
2957 // in initial map.
2958 bind(&non_instance);
2959 movq(result, FieldOperand(result, Map::kConstructorOffset));
2960
2961 // All done.
2962 bind(&done);
2963}
2964
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002965
2966void MacroAssembler::SetCounter(StatsCounter* counter, int value) {
2967 if (FLAG_native_code_counters && counter->Enabled()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002968 Operand counter_operand = ExternalOperand(ExternalReference(counter));
ager@chromium.orga9aa5fa2011-04-13 08:46:07 +00002969 movl(counter_operand, Immediate(value));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002970 }
2971}
2972
2973
2974void MacroAssembler::IncrementCounter(StatsCounter* counter, int value) {
2975 ASSERT(value > 0);
2976 if (FLAG_native_code_counters && counter->Enabled()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002977 Operand counter_operand = ExternalOperand(ExternalReference(counter));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002978 if (value == 1) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002979 incl(counter_operand);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002980 } else {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002981 addl(counter_operand, Immediate(value));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002982 }
2983 }
2984}
2985
2986
2987void MacroAssembler::DecrementCounter(StatsCounter* counter, int value) {
2988 ASSERT(value > 0);
2989 if (FLAG_native_code_counters && counter->Enabled()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002990 Operand counter_operand = ExternalOperand(ExternalReference(counter));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002991 if (value == 1) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002992 decl(counter_operand);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002993 } else {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002994 subl(counter_operand, Immediate(value));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00002995 }
2996 }
2997}
2998
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00002999
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003000#ifdef ENABLE_DEBUGGER_SUPPORT
ager@chromium.org5c838252010-02-19 08:53:10 +00003001void MacroAssembler::DebugBreak() {
lrn@chromium.org5d00b602011-01-05 09:51:43 +00003002 Set(rax, 0); // No arguments.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003003 LoadAddress(rbx, ExternalReference(Runtime::kDebugBreak, isolate()));
ager@chromium.org5c838252010-02-19 08:53:10 +00003004 CEntryStub ces(1);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003005 ASSERT(AllowThisStubCall(&ces));
ager@chromium.org5c838252010-02-19 08:53:10 +00003006 Call(ces.GetCode(), RelocInfo::DEBUG_BREAK);
ager@chromium.org3e875802009-06-29 08:26:34 +00003007}
ager@chromium.org5c838252010-02-19 08:53:10 +00003008#endif // ENABLE_DEBUGGER_SUPPORT
ager@chromium.org3e875802009-06-29 08:26:34 +00003009
3010
danno@chromium.org40cb8782011-05-25 07:58:50 +00003011void MacroAssembler::SetCallKind(Register dst, CallKind call_kind) {
3012 // This macro takes the dst register to make the code more readable
3013 // at the call sites. However, the dst register has to be rcx to
3014 // follow the calling convention which requires the call type to be
3015 // in rcx.
3016 ASSERT(dst.is(rcx));
3017 if (call_kind == CALL_AS_FUNCTION) {
3018 LoadSmiConstant(dst, Smi::FromInt(1));
3019 } else {
3020 LoadSmiConstant(dst, Smi::FromInt(0));
3021 }
3022}
3023
3024
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003025void MacroAssembler::InvokeCode(Register code,
3026 const ParameterCount& expected,
3027 const ParameterCount& actual,
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003028 InvokeFlag flag,
danno@chromium.org40cb8782011-05-25 07:58:50 +00003029 const CallWrapper& call_wrapper,
3030 CallKind call_kind) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003031 // You can't call a function without a valid frame.
3032 ASSERT(flag == JUMP_FUNCTION || has_frame());
3033
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003034 Label done;
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003035 InvokePrologue(expected,
3036 actual,
3037 Handle<Code>::null(),
3038 code,
3039 &done,
3040 flag,
danno@chromium.org40cb8782011-05-25 07:58:50 +00003041 Label::kNear,
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003042 call_wrapper,
danno@chromium.org40cb8782011-05-25 07:58:50 +00003043 call_kind);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003044 if (flag == CALL_FUNCTION) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00003045 call_wrapper.BeforeCall(CallSize(code));
danno@chromium.org40cb8782011-05-25 07:58:50 +00003046 SetCallKind(rcx, call_kind);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003047 call(code);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00003048 call_wrapper.AfterCall();
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003049 } else {
3050 ASSERT(flag == JUMP_FUNCTION);
danno@chromium.org40cb8782011-05-25 07:58:50 +00003051 SetCallKind(rcx, call_kind);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003052 jmp(code);
3053 }
3054 bind(&done);
3055}
3056
3057
3058void MacroAssembler::InvokeCode(Handle<Code> code,
3059 const ParameterCount& expected,
3060 const ParameterCount& actual,
3061 RelocInfo::Mode rmode,
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003062 InvokeFlag flag,
danno@chromium.org40cb8782011-05-25 07:58:50 +00003063 const CallWrapper& call_wrapper,
3064 CallKind call_kind) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003065 // You can't call a function without a valid frame.
3066 ASSERT(flag == JUMP_FUNCTION || has_frame());
3067
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003068 Label done;
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003069 Register dummy = rax;
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003070 InvokePrologue(expected,
3071 actual,
3072 code,
3073 dummy,
3074 &done,
3075 flag,
danno@chromium.org40cb8782011-05-25 07:58:50 +00003076 Label::kNear,
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003077 call_wrapper,
danno@chromium.org40cb8782011-05-25 07:58:50 +00003078 call_kind);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003079 if (flag == CALL_FUNCTION) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00003080 call_wrapper.BeforeCall(CallSize(code));
danno@chromium.org40cb8782011-05-25 07:58:50 +00003081 SetCallKind(rcx, call_kind);
ager@chromium.org3e875802009-06-29 08:26:34 +00003082 Call(code, rmode);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00003083 call_wrapper.AfterCall();
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003084 } else {
3085 ASSERT(flag == JUMP_FUNCTION);
danno@chromium.org40cb8782011-05-25 07:58:50 +00003086 SetCallKind(rcx, call_kind);
ager@chromium.org3e875802009-06-29 08:26:34 +00003087 Jump(code, rmode);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003088 }
3089 bind(&done);
3090}
3091
3092
3093void MacroAssembler::InvokeFunction(Register function,
3094 const ParameterCount& actual,
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003095 InvokeFlag flag,
danno@chromium.org40cb8782011-05-25 07:58:50 +00003096 const CallWrapper& call_wrapper,
3097 CallKind call_kind) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003098 // You can't call a function without a valid frame.
3099 ASSERT(flag == JUMP_FUNCTION || has_frame());
3100
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003101 ASSERT(function.is(rdi));
3102 movq(rdx, FieldOperand(function, JSFunction::kSharedFunctionInfoOffset));
3103 movq(rsi, FieldOperand(function, JSFunction::kContextOffset));
ager@chromium.org3e875802009-06-29 08:26:34 +00003104 movsxlq(rbx,
3105 FieldOperand(rdx, SharedFunctionInfo::kFormalParameterCountOffset));
ager@chromium.org5aa501c2009-06-23 07:57:28 +00003106 // Advances rdx to the end of the Code object header, to the start of
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003107 // the executable code.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00003108 movq(rdx, FieldOperand(rdi, JSFunction::kCodeEntryOffset));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003109
3110 ParameterCount expected(rbx);
danno@chromium.org40cb8782011-05-25 07:58:50 +00003111 InvokeCode(rdx, expected, actual, flag, call_wrapper, call_kind);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003112}
3113
3114
ager@chromium.org5c838252010-02-19 08:53:10 +00003115void MacroAssembler::InvokeFunction(JSFunction* function,
3116 const ParameterCount& actual,
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003117 InvokeFlag flag,
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00003118 const CallWrapper& call_wrapper,
3119 CallKind call_kind) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003120 // You can't call a function without a valid frame.
3121 ASSERT(flag == JUMP_FUNCTION || has_frame());
3122
ager@chromium.org5c838252010-02-19 08:53:10 +00003123 // Get the function and setup the context.
3124 Move(rdi, Handle<JSFunction>(function));
3125 movq(rsi, FieldOperand(rdi, JSFunction::kContextOffset));
3126
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00003127 // We call indirectly through the code field in the function to
3128 // allow recompilation to take effect without changing any of the
3129 // call sites.
3130 movq(rdx, FieldOperand(rdi, JSFunction::kCodeEntryOffset));
3131 ParameterCount expected(function->shared()->formal_parameter_count());
3132 InvokeCode(rdx, expected, actual, flag, call_wrapper, call_kind);
ager@chromium.org5c838252010-02-19 08:53:10 +00003133}
3134
3135
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003136void MacroAssembler::InvokePrologue(const ParameterCount& expected,
3137 const ParameterCount& actual,
3138 Handle<Code> code_constant,
3139 Register code_register,
3140 Label* done,
3141 InvokeFlag flag,
danno@chromium.org40cb8782011-05-25 07:58:50 +00003142 Label::Distance near_jump,
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003143 const CallWrapper& call_wrapper,
danno@chromium.org40cb8782011-05-25 07:58:50 +00003144 CallKind call_kind) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003145 bool definitely_matches = false;
3146 Label invoke;
3147 if (expected.is_immediate()) {
3148 ASSERT(actual.is_immediate());
3149 if (expected.immediate() == actual.immediate()) {
3150 definitely_matches = true;
3151 } else {
3152 Set(rax, actual.immediate());
3153 if (expected.immediate() ==
3154 SharedFunctionInfo::kDontAdaptArgumentsSentinel) {
3155 // Don't worry about adapting arguments for built-ins that
3156 // don't want that done. Skip adaption code by making it look
3157 // like we have a match between expected and actual number of
3158 // arguments.
3159 definitely_matches = true;
3160 } else {
3161 Set(rbx, expected.immediate());
3162 }
3163 }
3164 } else {
3165 if (actual.is_immediate()) {
3166 // Expected is in register, actual is immediate. This is the
3167 // case when we invoke function values without going through the
3168 // IC mechanism.
3169 cmpq(expected.reg(), Immediate(actual.immediate()));
3170 j(equal, &invoke, Label::kNear);
3171 ASSERT(expected.reg().is(rbx));
3172 Set(rax, actual.immediate());
3173 } else if (!expected.reg().is(actual.reg())) {
3174 // Both expected and actual are in (different) registers. This
3175 // is the case when we invoke functions using call and apply.
3176 cmpq(expected.reg(), actual.reg());
3177 j(equal, &invoke, Label::kNear);
3178 ASSERT(actual.reg().is(rax));
3179 ASSERT(expected.reg().is(rbx));
3180 }
3181 }
3182
3183 if (!definitely_matches) {
3184 Handle<Code> adaptor = isolate()->builtins()->ArgumentsAdaptorTrampoline();
3185 if (!code_constant.is_null()) {
3186 movq(rdx, code_constant, RelocInfo::EMBEDDED_OBJECT);
3187 addq(rdx, Immediate(Code::kHeaderSize - kHeapObjectTag));
3188 } else if (!code_register.is(rdx)) {
3189 movq(rdx, code_register);
3190 }
3191
3192 if (flag == CALL_FUNCTION) {
3193 call_wrapper.BeforeCall(CallSize(adaptor));
danno@chromium.org40cb8782011-05-25 07:58:50 +00003194 SetCallKind(rcx, call_kind);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003195 Call(adaptor, RelocInfo::CODE_TARGET);
3196 call_wrapper.AfterCall();
3197 jmp(done, near_jump);
3198 } else {
danno@chromium.org40cb8782011-05-25 07:58:50 +00003199 SetCallKind(rcx, call_kind);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003200 Jump(adaptor, RelocInfo::CODE_TARGET);
3201 }
3202 bind(&invoke);
3203 }
3204}
3205
3206
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003207void MacroAssembler::EnterFrame(StackFrame::Type type) {
3208 push(rbp);
3209 movq(rbp, rsp);
3210 push(rsi); // Context.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00003211 Push(Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003212 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
3213 push(kScratchRegister);
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003214 if (emit_debug_code()) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003215 movq(kScratchRegister,
danno@chromium.org160a7b02011-04-18 15:51:38 +00003216 isolate()->factory()->undefined_value(),
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003217 RelocInfo::EMBEDDED_OBJECT);
3218 cmpq(Operand(rsp, 0), kScratchRegister);
3219 Check(not_equal, "code object not properly patched");
3220 }
3221}
3222
3223
3224void MacroAssembler::LeaveFrame(StackFrame::Type type) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003225 if (emit_debug_code()) {
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00003226 Move(kScratchRegister, Smi::FromInt(type));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003227 cmpq(Operand(rbp, StandardFrameConstants::kMarkerOffset), kScratchRegister);
3228 Check(equal, "stack frame types must match");
3229 }
3230 movq(rsp, rbp);
3231 pop(rbp);
3232}
3233
3234
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00003235void MacroAssembler::EnterExitFramePrologue(bool save_rax) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003236 // Setup the frame structure on the stack.
kasperl@chromium.org86f77b72009-07-06 08:21:57 +00003237 // All constants are relative to the frame pointer of the exit frame.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003238 ASSERT(ExitFrameConstants::kCallerSPDisplacement == +2 * kPointerSize);
3239 ASSERT(ExitFrameConstants::kCallerPCOffset == +1 * kPointerSize);
3240 ASSERT(ExitFrameConstants::kCallerFPOffset == 0 * kPointerSize);
3241 push(rbp);
3242 movq(rbp, rsp);
3243
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00003244 // Reserve room for entry stack pointer and push the code object.
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00003245 ASSERT(ExitFrameConstants::kSPOffset == -1 * kPointerSize);
ager@chromium.org5c838252010-02-19 08:53:10 +00003246 push(Immediate(0)); // Saved entry sp, patched before call.
3247 movq(kScratchRegister, CodeObject(), RelocInfo::EMBEDDED_OBJECT);
3248 push(kScratchRegister); // Accessed from EditFrame::code_slot.
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003249
3250 // Save the frame pointer and the context in top.
whesse@chromium.orge90029b2010-08-02 11:52:17 +00003251 if (save_rax) {
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00003252 movq(r14, rax); // Backup rax in callee-save register.
whesse@chromium.orge90029b2010-08-02 11:52:17 +00003253 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003254
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003255 Store(ExternalReference(Isolate::kCEntryFPAddress, isolate()), rbp);
3256 Store(ExternalReference(Isolate::kContextAddress, isolate()), rsi);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00003257}
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003258
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00003259
ager@chromium.org0ee099b2011-01-25 14:06:47 +00003260void MacroAssembler::EnterExitFrameEpilogue(int arg_stack_space,
3261 bool save_doubles) {
ager@chromium.orga1645e22009-09-09 19:27:10 +00003262#ifdef _WIN64
ager@chromium.org0ee099b2011-01-25 14:06:47 +00003263 const int kShadowSpace = 4;
3264 arg_stack_space += kShadowSpace;
ager@chromium.orga1645e22009-09-09 19:27:10 +00003265#endif
ager@chromium.org0ee099b2011-01-25 14:06:47 +00003266 // Optionally save all XMM registers.
3267 if (save_doubles) {
ager@chromium.org0ee099b2011-01-25 14:06:47 +00003268 int space = XMMRegister::kNumRegisters * kDoubleSize +
3269 arg_stack_space * kPointerSize;
3270 subq(rsp, Immediate(space));
3271 int offset = -2 * kPointerSize;
3272 for (int i = 0; i < XMMRegister::kNumAllocatableRegisters; i++) {
3273 XMMRegister reg = XMMRegister::FromAllocationIndex(i);
3274 movsd(Operand(rbp, offset - ((i + 1) * kDoubleSize)), reg);
3275 }
3276 } else if (arg_stack_space > 0) {
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00003277 subq(rsp, Immediate(arg_stack_space * kPointerSize));
3278 }
ager@chromium.orga1645e22009-09-09 19:27:10 +00003279
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003280 // Get the required frame alignment for the OS.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003281 const int kFrameAlignment = OS::ActivationFrameAlignment();
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003282 if (kFrameAlignment > 0) {
3283 ASSERT(IsPowerOf2(kFrameAlignment));
ager@chromium.orga9aa5fa2011-04-13 08:46:07 +00003284 ASSERT(is_int8(kFrameAlignment));
3285 and_(rsp, Immediate(-kFrameAlignment));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003286 }
3287
3288 // Patch the saved entry sp.
3289 movq(Operand(rbp, ExitFrameConstants::kSPOffset), rsp);
3290}
3291
3292
ager@chromium.org0ee099b2011-01-25 14:06:47 +00003293void MacroAssembler::EnterExitFrame(int arg_stack_space, bool save_doubles) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00003294 EnterExitFramePrologue(true);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00003295
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003296 // Setup argv in callee-saved register r15. It is reused in LeaveExitFrame,
whesse@chromium.orge90029b2010-08-02 11:52:17 +00003297 // so it must be retained across the C-call.
3298 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003299 lea(r15, Operand(rbp, r14, times_pointer_size, offset));
whesse@chromium.orge90029b2010-08-02 11:52:17 +00003300
ager@chromium.org0ee099b2011-01-25 14:06:47 +00003301 EnterExitFrameEpilogue(arg_stack_space, save_doubles);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00003302}
3303
3304
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00003305void MacroAssembler::EnterApiExitFrame(int arg_stack_space) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00003306 EnterExitFramePrologue(false);
ager@chromium.org0ee099b2011-01-25 14:06:47 +00003307 EnterExitFrameEpilogue(arg_stack_space, false);
whesse@chromium.orge90029b2010-08-02 11:52:17 +00003308}
3309
3310
ager@chromium.org0ee099b2011-01-25 14:06:47 +00003311void MacroAssembler::LeaveExitFrame(bool save_doubles) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003312 // Registers:
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003313 // r15 : argv
ager@chromium.org0ee099b2011-01-25 14:06:47 +00003314 if (save_doubles) {
3315 int offset = -2 * kPointerSize;
3316 for (int i = 0; i < XMMRegister::kNumAllocatableRegisters; i++) {
3317 XMMRegister reg = XMMRegister::FromAllocationIndex(i);
3318 movsd(reg, Operand(rbp, offset - ((i + 1) * kDoubleSize)));
3319 }
3320 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003321 // Get the return address from the stack and restore the frame pointer.
3322 movq(rcx, Operand(rbp, 1 * kPointerSize));
3323 movq(rbp, Operand(rbp, 0 * kPointerSize));
3324
ager@chromium.org0ee099b2011-01-25 14:06:47 +00003325 // Drop everything up to and including the arguments and the receiver
ager@chromium.orga1645e22009-09-09 19:27:10 +00003326 // from the caller stack.
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003327 lea(rsp, Operand(r15, 1 * kPointerSize));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003328
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00003329 // Push the return address to get ready to return.
3330 push(rcx);
3331
3332 LeaveExitFrameEpilogue();
3333}
3334
3335
3336void MacroAssembler::LeaveApiExitFrame() {
3337 movq(rsp, rbp);
3338 pop(rbp);
3339
3340 LeaveExitFrameEpilogue();
3341}
3342
3343
3344void MacroAssembler::LeaveExitFrameEpilogue() {
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003345 // Restore current context from top and clear it in debug mode.
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003346 ExternalReference context_address(Isolate::kContextAddress, isolate());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003347 Operand context_operand = ExternalOperand(context_address);
3348 movq(rsi, context_operand);
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003349#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003350 movq(context_operand, Immediate(0));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003351#endif
3352
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003353 // Clear the top frame.
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003354 ExternalReference c_entry_fp_address(Isolate::kCEntryFPAddress,
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003355 isolate());
3356 Operand c_entry_fp_operand = ExternalOperand(c_entry_fp_address);
3357 movq(c_entry_fp_operand, Immediate(0));
ager@chromium.orgeadaf222009-06-16 09:43:10 +00003358}
3359
3360
kasperl@chromium.orge959c182009-07-27 08:59:04 +00003361void MacroAssembler::CheckAccessGlobalProxy(Register holder_reg,
3362 Register scratch,
3363 Label* miss) {
3364 Label same_contexts;
3365
3366 ASSERT(!holder_reg.is(scratch));
3367 ASSERT(!scratch.is(kScratchRegister));
3368 // Load current lexical context from the stack frame.
3369 movq(scratch, Operand(rbp, StandardFrameConstants::kContextOffset));
3370
3371 // When generating debug code, make sure the lexical context is set.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003372 if (emit_debug_code()) {
kasperl@chromium.orge959c182009-07-27 08:59:04 +00003373 cmpq(scratch, Immediate(0));
3374 Check(not_equal, "we should not have an empty lexical context");
3375 }
3376 // Load the global context of the current context.
3377 int offset = Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
3378 movq(scratch, FieldOperand(scratch, offset));
3379 movq(scratch, FieldOperand(scratch, GlobalObject::kGlobalContextOffset));
3380
3381 // Check the context is a global context.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003382 if (emit_debug_code()) {
kasperl@chromium.orge959c182009-07-27 08:59:04 +00003383 Cmp(FieldOperand(scratch, HeapObject::kMapOffset),
danno@chromium.org160a7b02011-04-18 15:51:38 +00003384 isolate()->factory()->global_context_map());
kasperl@chromium.orge959c182009-07-27 08:59:04 +00003385 Check(equal, "JSGlobalObject::global_context should be a global context.");
3386 }
3387
3388 // Check if both contexts are the same.
3389 cmpq(scratch, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
3390 j(equal, &same_contexts);
3391
3392 // Compare security tokens.
3393 // Check that the security token in the calling global object is
3394 // compatible with the security token in the receiving global
3395 // object.
3396
3397 // Check the context is a global context.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003398 if (emit_debug_code()) {
kasperl@chromium.orge959c182009-07-27 08:59:04 +00003399 // Preserve original value of holder_reg.
3400 push(holder_reg);
3401 movq(holder_reg, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003402 CompareRoot(holder_reg, Heap::kNullValueRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00003403 Check(not_equal, "JSGlobalProxy::context() should not be null.");
3404
3405 // Read the first word and compare to global_context_map(),
3406 movq(holder_reg, FieldOperand(holder_reg, HeapObject::kMapOffset));
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003407 CompareRoot(holder_reg, Heap::kGlobalContextMapRootIndex);
kasperl@chromium.orge959c182009-07-27 08:59:04 +00003408 Check(equal, "JSGlobalObject::global_context should be a global context.");
3409 pop(holder_reg);
3410 }
3411
3412 movq(kScratchRegister,
3413 FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
christian.plesner.hansen@gmail.com9d58c2b2009-10-16 11:48:38 +00003414 int token_offset =
3415 Context::kHeaderSize + Context::SECURITY_TOKEN_INDEX * kPointerSize;
kasperl@chromium.orge959c182009-07-27 08:59:04 +00003416 movq(scratch, FieldOperand(scratch, token_offset));
3417 cmpq(scratch, FieldOperand(kScratchRegister, token_offset));
3418 j(not_equal, miss);
3419
3420 bind(&same_contexts);
3421}
3422
3423
sgjesse@chromium.org6db88712011-07-11 11:41:22 +00003424void MacroAssembler::LoadFromNumberDictionary(Label* miss,
3425 Register elements,
3426 Register key,
3427 Register r0,
3428 Register r1,
3429 Register r2,
3430 Register result) {
3431 // Register use:
3432 //
3433 // elements - holds the slow-case elements of the receiver on entry.
3434 // Unchanged unless 'result' is the same register.
3435 //
3436 // key - holds the smi key on entry.
3437 // Unchanged unless 'result' is the same register.
3438 //
3439 // Scratch registers:
3440 //
3441 // r0 - holds the untagged key on entry and holds the hash once computed.
3442 //
3443 // r1 - used to hold the capacity mask of the dictionary
3444 //
3445 // r2 - used for the index into the dictionary.
3446 //
3447 // result - holds the result on exit if the load succeeded.
3448 // Allowed to be the same as 'key' or 'result'.
3449 // Unchanged on bailout so 'key' or 'result' can be used
3450 // in further computation.
3451
3452 Label done;
3453
3454 // Compute the hash code from the untagged key. This must be kept in sync
3455 // with ComputeIntegerHash in utils.h.
3456 //
3457 // hash = ~hash + (hash << 15);
3458 movl(r1, r0);
3459 notl(r0);
3460 shll(r1, Immediate(15));
3461 addl(r0, r1);
3462 // hash = hash ^ (hash >> 12);
3463 movl(r1, r0);
3464 shrl(r1, Immediate(12));
3465 xorl(r0, r1);
3466 // hash = hash + (hash << 2);
3467 leal(r0, Operand(r0, r0, times_4, 0));
3468 // hash = hash ^ (hash >> 4);
3469 movl(r1, r0);
3470 shrl(r1, Immediate(4));
3471 xorl(r0, r1);
3472 // hash = hash * 2057;
3473 imull(r0, r0, Immediate(2057));
3474 // hash = hash ^ (hash >> 16);
3475 movl(r1, r0);
3476 shrl(r1, Immediate(16));
3477 xorl(r0, r1);
3478
3479 // Compute capacity mask.
3480 SmiToInteger32(r1,
3481 FieldOperand(elements, NumberDictionary::kCapacityOffset));
3482 decl(r1);
3483
3484 // Generate an unrolled loop that performs a few probes before giving up.
3485 const int kProbes = 4;
3486 for (int i = 0; i < kProbes; i++) {
3487 // Use r2 for index calculations and keep the hash intact in r0.
3488 movq(r2, r0);
3489 // Compute the masked index: (hash + i + i * i) & mask.
3490 if (i > 0) {
3491 addl(r2, Immediate(NumberDictionary::GetProbeOffset(i)));
3492 }
3493 and_(r2, r1);
3494
3495 // Scale the index by multiplying by the entry size.
3496 ASSERT(NumberDictionary::kEntrySize == 3);
3497 lea(r2, Operand(r2, r2, times_2, 0)); // r2 = r2 * 3
3498
3499 // Check if the key matches.
3500 cmpq(key, FieldOperand(elements,
3501 r2,
3502 times_pointer_size,
3503 NumberDictionary::kElementsStartOffset));
3504 if (i != (kProbes - 1)) {
3505 j(equal, &done);
3506 } else {
3507 j(not_equal, miss);
3508 }
3509 }
3510
3511 bind(&done);
3512 // Check that the value is a normal propety.
3513 const int kDetailsOffset =
3514 NumberDictionary::kElementsStartOffset + 2 * kPointerSize;
3515 ASSERT_EQ(NORMAL, 0);
3516 Test(FieldOperand(elements, r2, times_pointer_size, kDetailsOffset),
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003517 Smi::FromInt(PropertyDetails::TypeField::kMask));
sgjesse@chromium.org6db88712011-07-11 11:41:22 +00003518 j(not_zero, miss);
3519
3520 // Get the value at the masked, scaled index.
3521 const int kValueOffset =
3522 NumberDictionary::kElementsStartOffset + kPointerSize;
3523 movq(result, FieldOperand(elements, r2, times_pointer_size, kValueOffset));
3524}
3525
3526
ager@chromium.orga1645e22009-09-09 19:27:10 +00003527void MacroAssembler::LoadAllocationTopHelper(Register result,
ager@chromium.orga1645e22009-09-09 19:27:10 +00003528 Register scratch,
3529 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003530 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003531 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003532
3533 // Just return if allocation top is already known.
ager@chromium.orga1645e22009-09-09 19:27:10 +00003534 if ((flags & RESULT_CONTAINS_TOP) != 0) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003535 // No use of scratch if allocation top is provided.
ager@chromium.orgac091b72010-05-05 07:34:42 +00003536 ASSERT(!scratch.is_valid());
ager@chromium.orga1645e22009-09-09 19:27:10 +00003537#ifdef DEBUG
3538 // Assert that result actually contains top on entry.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003539 Operand top_operand = ExternalOperand(new_space_allocation_top);
3540 cmpq(result, top_operand);
ager@chromium.orga1645e22009-09-09 19:27:10 +00003541 Check(equal, "Unexpected allocation top");
3542#endif
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003543 return;
3544 }
3545
ager@chromium.orgac091b72010-05-05 07:34:42 +00003546 // Move address of new object to result. Use scratch register if available,
3547 // and keep address in scratch until call to UpdateAllocationTopHelper.
3548 if (scratch.is_valid()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003549 LoadAddress(scratch, new_space_allocation_top);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003550 movq(result, Operand(scratch, 0));
ager@chromium.orgac091b72010-05-05 07:34:42 +00003551 } else {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003552 Load(result, new_space_allocation_top);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003553 }
3554}
3555
3556
3557void MacroAssembler::UpdateAllocationTopHelper(Register result_end,
3558 Register scratch) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003559 if (emit_debug_code()) {
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00003560 testq(result_end, Immediate(kObjectAlignmentMask));
3561 Check(zero, "Unaligned allocation in new space");
3562 }
3563
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003564 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003565 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003566
3567 // Update new top.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003568 if (scratch.is_valid()) {
3569 // Scratch already contains address of allocation top.
3570 movq(Operand(scratch, 0), result_end);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003571 } else {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003572 Store(new_space_allocation_top, result_end);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003573 }
3574}
3575
3576
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00003577void MacroAssembler::AllocateInNewSpace(int object_size,
3578 Register result,
3579 Register result_end,
3580 Register scratch,
3581 Label* gc_required,
3582 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00003583 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003584 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00003585 // Trash the registers to simulate an allocation failure.
3586 movl(result, Immediate(0x7091));
3587 if (result_end.is_valid()) {
3588 movl(result_end, Immediate(0x7191));
3589 }
3590 if (scratch.is_valid()) {
3591 movl(scratch, Immediate(0x7291));
3592 }
3593 }
3594 jmp(gc_required);
3595 return;
3596 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003597 ASSERT(!result.is(result_end));
3598
3599 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +00003600 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003601
3602 // Calculate new top and bail out if new space is exhausted.
3603 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003604 ExternalReference::new_space_allocation_limit_address(isolate());
ager@chromium.orgac091b72010-05-05 07:34:42 +00003605
3606 Register top_reg = result_end.is_valid() ? result_end : result;
3607
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003608 if (!top_reg.is(result)) {
3609 movq(top_reg, result);
ager@chromium.orgac091b72010-05-05 07:34:42 +00003610 }
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003611 addq(top_reg, Immediate(object_size));
3612 j(carry, gc_required);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003613 Operand limit_operand = ExternalOperand(new_space_allocation_limit);
3614 cmpq(top_reg, limit_operand);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003615 j(above, gc_required);
3616
3617 // Update allocation top.
ager@chromium.orgac091b72010-05-05 07:34:42 +00003618 UpdateAllocationTopHelper(top_reg, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00003619
ager@chromium.orgac091b72010-05-05 07:34:42 +00003620 if (top_reg.is(result)) {
3621 if ((flags & TAG_OBJECT) != 0) {
3622 subq(result, Immediate(object_size - kHeapObjectTag));
3623 } else {
3624 subq(result, Immediate(object_size));
3625 }
3626 } else if ((flags & TAG_OBJECT) != 0) {
3627 // Tag the result if requested.
ager@chromium.orga1645e22009-09-09 19:27:10 +00003628 addq(result, Immediate(kHeapObjectTag));
3629 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003630}
3631
3632
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00003633void MacroAssembler::AllocateInNewSpace(int header_size,
3634 ScaleFactor element_size,
3635 Register element_count,
3636 Register result,
3637 Register result_end,
3638 Register scratch,
3639 Label* gc_required,
3640 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00003641 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003642 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00003643 // Trash the registers to simulate an allocation failure.
3644 movl(result, Immediate(0x7091));
3645 movl(result_end, Immediate(0x7191));
3646 if (scratch.is_valid()) {
3647 movl(scratch, Immediate(0x7291));
3648 }
3649 // Register element_count is not modified by the function.
3650 }
3651 jmp(gc_required);
3652 return;
3653 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003654 ASSERT(!result.is(result_end));
3655
3656 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +00003657 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003658
3659 // Calculate new top and bail out if new space is exhausted.
3660 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003661 ExternalReference::new_space_allocation_limit_address(isolate());
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003662
3663 // We assume that element_count*element_size + header_size does not
3664 // overflow.
3665 lea(result_end, Operand(element_count, element_size, header_size));
3666 addq(result_end, result);
3667 j(carry, gc_required);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003668 Operand limit_operand = ExternalOperand(new_space_allocation_limit);
3669 cmpq(result_end, limit_operand);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003670 j(above, gc_required);
3671
3672 // Update allocation top.
3673 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00003674
3675 // Tag the result if requested.
3676 if ((flags & TAG_OBJECT) != 0) {
3677 addq(result, Immediate(kHeapObjectTag));
3678 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003679}
3680
3681
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00003682void MacroAssembler::AllocateInNewSpace(Register object_size,
3683 Register result,
3684 Register result_end,
3685 Register scratch,
3686 Label* gc_required,
3687 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00003688 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003689 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00003690 // Trash the registers to simulate an allocation failure.
3691 movl(result, Immediate(0x7091));
3692 movl(result_end, Immediate(0x7191));
3693 if (scratch.is_valid()) {
3694 movl(scratch, Immediate(0x7291));
3695 }
3696 // object_size is left unchanged by this function.
3697 }
3698 jmp(gc_required);
3699 return;
3700 }
3701 ASSERT(!result.is(result_end));
3702
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003703 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +00003704 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003705
3706 // Calculate new top and bail out if new space is exhausted.
3707 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003708 ExternalReference::new_space_allocation_limit_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003709 if (!object_size.is(result_end)) {
3710 movq(result_end, object_size);
3711 }
3712 addq(result_end, result);
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003713 j(carry, gc_required);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003714 Operand limit_operand = ExternalOperand(new_space_allocation_limit);
3715 cmpq(result_end, limit_operand);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003716 j(above, gc_required);
3717
3718 // Update allocation top.
3719 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.orga1645e22009-09-09 19:27:10 +00003720
3721 // Tag the result if requested.
3722 if ((flags & TAG_OBJECT) != 0) {
3723 addq(result, Immediate(kHeapObjectTag));
3724 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003725}
3726
3727
3728void MacroAssembler::UndoAllocationInNewSpace(Register object) {
3729 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003730 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003731
3732 // Make sure the object has no tag before resetting top.
3733 and_(object, Immediate(~kHeapObjectTagMask));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003734 Operand top_operand = ExternalOperand(new_space_allocation_top);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003735#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003736 cmpq(object, top_operand);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003737 Check(below, "Undo allocation of non allocated memory");
3738#endif
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003739 movq(top_operand, object);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00003740}
3741
3742
ager@chromium.org3811b432009-10-28 14:53:37 +00003743void MacroAssembler::AllocateHeapNumber(Register result,
3744 Register scratch,
3745 Label* gc_required) {
3746 // Allocate heap number in new space.
3747 AllocateInNewSpace(HeapNumber::kSize,
3748 result,
3749 scratch,
3750 no_reg,
3751 gc_required,
3752 TAG_OBJECT);
3753
3754 // Set the map.
3755 LoadRoot(kScratchRegister, Heap::kHeapNumberMapRootIndex);
3756 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
3757}
3758
3759
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00003760void MacroAssembler::AllocateTwoByteString(Register result,
3761 Register length,
3762 Register scratch1,
3763 Register scratch2,
3764 Register scratch3,
3765 Label* gc_required) {
3766 // Calculate the number of bytes needed for the characters in the string while
3767 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00003768 const int kHeaderAlignment = SeqTwoByteString::kHeaderSize &
3769 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00003770 ASSERT(kShortSize == 2);
3771 // scratch1 = length * 2 + kObjectAlignmentMask.
ager@chromium.orgac091b72010-05-05 07:34:42 +00003772 lea(scratch1, Operand(length, length, times_1, kObjectAlignmentMask +
3773 kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00003774 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00003775 if (kHeaderAlignment > 0) {
3776 subq(scratch1, Immediate(kHeaderAlignment));
3777 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00003778
3779 // Allocate two byte string in new space.
3780 AllocateInNewSpace(SeqTwoByteString::kHeaderSize,
3781 times_1,
3782 scratch1,
3783 result,
3784 scratch2,
3785 scratch3,
3786 gc_required,
3787 TAG_OBJECT);
3788
3789 // Set the map, length and hash field.
3790 LoadRoot(kScratchRegister, Heap::kStringMapRootIndex);
3791 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00003792 Integer32ToSmi(scratch1, length);
3793 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00003794 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00003795 Immediate(String::kEmptyHashField));
3796}
3797
3798
3799void MacroAssembler::AllocateAsciiString(Register result,
3800 Register length,
3801 Register scratch1,
3802 Register scratch2,
3803 Register scratch3,
3804 Label* gc_required) {
3805 // Calculate the number of bytes needed for the characters in the string while
3806 // observing object alignment.
ager@chromium.orgac091b72010-05-05 07:34:42 +00003807 const int kHeaderAlignment = SeqAsciiString::kHeaderSize &
3808 kObjectAlignmentMask;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00003809 movl(scratch1, length);
3810 ASSERT(kCharSize == 1);
ager@chromium.orgac091b72010-05-05 07:34:42 +00003811 addq(scratch1, Immediate(kObjectAlignmentMask + kHeaderAlignment));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00003812 and_(scratch1, Immediate(~kObjectAlignmentMask));
ager@chromium.orgac091b72010-05-05 07:34:42 +00003813 if (kHeaderAlignment > 0) {
3814 subq(scratch1, Immediate(kHeaderAlignment));
3815 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00003816
3817 // Allocate ascii string in new space.
3818 AllocateInNewSpace(SeqAsciiString::kHeaderSize,
3819 times_1,
3820 scratch1,
3821 result,
3822 scratch2,
3823 scratch3,
3824 gc_required,
3825 TAG_OBJECT);
3826
3827 // Set the map, length and hash field.
3828 LoadRoot(kScratchRegister, Heap::kAsciiStringMapRootIndex);
3829 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
ager@chromium.orgac091b72010-05-05 07:34:42 +00003830 Integer32ToSmi(scratch1, length);
3831 movq(FieldOperand(result, String::kLengthOffset), scratch1);
ricow@chromium.org30ce4112010-05-31 10:38:25 +00003832 movq(FieldOperand(result, String::kHashFieldOffset),
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00003833 Immediate(String::kEmptyHashField));
3834}
3835
3836
fschneider@chromium.org1805e212011-09-05 10:49:12 +00003837void MacroAssembler::AllocateTwoByteConsString(Register result,
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00003838 Register scratch1,
3839 Register scratch2,
3840 Label* gc_required) {
3841 // Allocate heap number in new space.
3842 AllocateInNewSpace(ConsString::kSize,
3843 result,
3844 scratch1,
3845 scratch2,
3846 gc_required,
3847 TAG_OBJECT);
3848
3849 // Set the map. The other fields are left uninitialized.
3850 LoadRoot(kScratchRegister, Heap::kConsStringMapRootIndex);
3851 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
3852}
3853
3854
3855void MacroAssembler::AllocateAsciiConsString(Register result,
3856 Register scratch1,
3857 Register scratch2,
3858 Label* gc_required) {
3859 // Allocate heap number in new space.
3860 AllocateInNewSpace(ConsString::kSize,
3861 result,
3862 scratch1,
3863 scratch2,
3864 gc_required,
3865 TAG_OBJECT);
3866
3867 // Set the map. The other fields are left uninitialized.
3868 LoadRoot(kScratchRegister, Heap::kConsAsciiStringMapRootIndex);
3869 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
3870}
3871
3872
fschneider@chromium.org1805e212011-09-05 10:49:12 +00003873void MacroAssembler::AllocateTwoByteSlicedString(Register result,
3874 Register scratch1,
3875 Register scratch2,
3876 Label* gc_required) {
3877 // Allocate heap number in new space.
3878 AllocateInNewSpace(SlicedString::kSize,
3879 result,
3880 scratch1,
3881 scratch2,
3882 gc_required,
3883 TAG_OBJECT);
3884
3885 // Set the map. The other fields are left uninitialized.
3886 LoadRoot(kScratchRegister, Heap::kSlicedStringMapRootIndex);
3887 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
3888}
3889
3890
3891void MacroAssembler::AllocateAsciiSlicedString(Register result,
3892 Register scratch1,
3893 Register scratch2,
3894 Label* gc_required) {
3895 // Allocate heap number in new space.
3896 AllocateInNewSpace(SlicedString::kSize,
3897 result,
3898 scratch1,
3899 scratch2,
3900 gc_required,
3901 TAG_OBJECT);
3902
3903 // Set the map. The other fields are left uninitialized.
3904 LoadRoot(kScratchRegister, Heap::kSlicedAsciiStringMapRootIndex);
3905 movq(FieldOperand(result, HeapObject::kMapOffset), kScratchRegister);
3906}
3907
3908
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003909// Copy memory, byte-by-byte, from source to destination. Not optimized for
3910// long or aligned copies. The contents of scratch and length are destroyed.
3911// Destination is incremented by length, source, length and scratch are
3912// clobbered.
3913// A simpler loop is faster on small copies, but slower on large ones.
3914// The cld() instruction must have been emitted, to set the direction flag(),
3915// before calling this function.
3916void MacroAssembler::CopyBytes(Register destination,
3917 Register source,
3918 Register length,
3919 int min_length,
3920 Register scratch) {
3921 ASSERT(min_length >= 0);
3922 if (FLAG_debug_code) {
3923 cmpl(length, Immediate(min_length));
3924 Assert(greater_equal, "Invalid min_length");
3925 }
3926 Label loop, done, short_string, short_loop;
3927
3928 const int kLongStringLimit = 20;
3929 if (min_length <= kLongStringLimit) {
3930 cmpl(length, Immediate(kLongStringLimit));
3931 j(less_equal, &short_string);
3932 }
3933
3934 ASSERT(source.is(rsi));
3935 ASSERT(destination.is(rdi));
3936 ASSERT(length.is(rcx));
3937
3938 // Because source is 8-byte aligned in our uses of this function,
3939 // we keep source aligned for the rep movs operation by copying the odd bytes
3940 // at the end of the ranges.
3941 movq(scratch, length);
3942 shrl(length, Immediate(3));
3943 repmovsq();
3944 // Move remaining bytes of length.
3945 andl(scratch, Immediate(0x7));
3946 movq(length, Operand(source, scratch, times_1, -8));
3947 movq(Operand(destination, scratch, times_1, -8), length);
3948 addq(destination, scratch);
3949
3950 if (min_length <= kLongStringLimit) {
3951 jmp(&done);
3952
3953 bind(&short_string);
3954 if (min_length == 0) {
3955 testl(length, length);
3956 j(zero, &done);
3957 }
3958 lea(scratch, Operand(destination, length, times_1, 0));
3959
3960 bind(&short_loop);
3961 movb(length, Operand(source, 0));
3962 movb(Operand(destination, 0), length);
3963 incq(source);
3964 incq(destination);
3965 cmpq(destination, scratch);
3966 j(not_equal, &short_loop);
3967
3968 bind(&done);
3969 }
3970}
3971
3972
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003973void MacroAssembler::InitializeFieldsWithFiller(Register start_offset,
3974 Register end_offset,
3975 Register filler) {
3976 Label loop, entry;
3977 jmp(&entry);
3978 bind(&loop);
3979 movq(Operand(start_offset, 0), filler);
3980 addq(start_offset, Immediate(kPointerSize));
3981 bind(&entry);
3982 cmpq(start_offset, end_offset);
3983 j(less, &loop);
3984}
3985
3986
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00003987void MacroAssembler::LoadContext(Register dst, int context_chain_length) {
3988 if (context_chain_length > 0) {
3989 // Move up the chain of contexts to the context containing the slot.
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003990 movq(dst, Operand(rsi, Context::SlotOffset(Context::PREVIOUS_INDEX)));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00003991 for (int i = 1; i < context_chain_length; i++) {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003992 movq(dst, Operand(dst, Context::SlotOffset(Context::PREVIOUS_INDEX)));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00003993 }
vegorov@chromium.org5d6c1f52011-02-28 13:13:38 +00003994 } else {
3995 // Slot is in the current function context. Move it into the
3996 // destination register in case we store into it (the write barrier
3997 // cannot be allowed to destroy the context in rsi).
3998 movq(dst, rsi);
3999 }
4000
ricow@chromium.org4f693d62011-07-04 14:01:31 +00004001 // We should not have found a with context by walking the context
4002 // chain (i.e., the static scope chain and runtime context chain do
4003 // not agree). A variable occurring in such a scope should have
4004 // slot type LOOKUP and not CONTEXT.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00004005 if (emit_debug_code()) {
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00004006 CompareRoot(FieldOperand(dst, HeapObject::kMapOffset),
4007 Heap::kWithContextMapRootIndex);
4008 Check(not_equal, "Variable resolved to with context.");
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00004009 }
4010}
4011
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004012#ifdef _WIN64
4013static const int kRegisterPassedArguments = 4;
4014#else
4015static const int kRegisterPassedArguments = 6;
4016#endif
ricow@chromium.org30ce4112010-05-31 10:38:25 +00004017
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00004018void MacroAssembler::LoadGlobalFunction(int index, Register function) {
4019 // Load the global or builtins object from the current context.
4020 movq(function, Operand(rsi, Context::SlotOffset(Context::GLOBAL_INDEX)));
4021 // Load the global context from the global or builtins object.
4022 movq(function, FieldOperand(function, GlobalObject::kGlobalContextOffset));
4023 // Load the function from the global context.
4024 movq(function, Operand(function, Context::SlotOffset(index)));
4025}
4026
4027
4028void MacroAssembler::LoadGlobalFunctionInitialMap(Register function,
4029 Register map) {
4030 // Load the initial map. The global functions all have initial maps.
4031 movq(map, FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00004032 if (emit_debug_code()) {
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00004033 Label ok, fail;
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +00004034 CheckMap(map, isolate()->factory()->meta_map(), &fail, DO_SMI_CHECK);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00004035 jmp(&ok);
4036 bind(&fail);
4037 Abort("Global functions must have initial map");
4038 bind(&ok);
4039 }
4040}
4041
4042
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00004043int MacroAssembler::ArgumentStackSlotsForCFunctionCall(int num_arguments) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +00004044 // On Windows 64 stack slots are reserved by the caller for all arguments
4045 // including the ones passed in registers, and space is always allocated for
4046 // the four register arguments even if the function takes fewer than four
4047 // arguments.
4048 // On AMD64 ABI (Linux/Mac) the first six arguments are passed in registers
4049 // and the caller does not reserve stack slots for them.
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00004050 ASSERT(num_arguments >= 0);
4051#ifdef _WIN64
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004052 const int kMinimumStackSlots = kRegisterPassedArguments;
ricow@chromium.org30ce4112010-05-31 10:38:25 +00004053 if (num_arguments < kMinimumStackSlots) return kMinimumStackSlots;
4054 return num_arguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00004055#else
ricow@chromium.org30ce4112010-05-31 10:38:25 +00004056 if (num_arguments < kRegisterPassedArguments) return 0;
4057 return num_arguments - kRegisterPassedArguments;
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00004058#endif
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00004059}
4060
ricow@chromium.org30ce4112010-05-31 10:38:25 +00004061
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00004062void MacroAssembler::PrepareCallCFunction(int num_arguments) {
4063 int frame_alignment = OS::ActivationFrameAlignment();
4064 ASSERT(frame_alignment != 0);
4065 ASSERT(num_arguments >= 0);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004066
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00004067 // Make stack end at alignment and allocate space for arguments and old rsp.
4068 movq(kScratchRegister, rsp);
4069 ASSERT(IsPowerOf2(frame_alignment));
4070 int argument_slots_on_stack =
4071 ArgumentStackSlotsForCFunctionCall(num_arguments);
4072 subq(rsp, Immediate((argument_slots_on_stack + 1) * kPointerSize));
4073 and_(rsp, Immediate(-frame_alignment));
4074 movq(Operand(rsp, argument_slots_on_stack * kPointerSize), kScratchRegister);
4075}
4076
4077
4078void MacroAssembler::CallCFunction(ExternalReference function,
4079 int num_arguments) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004080 LoadAddress(rax, function);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00004081 CallCFunction(rax, num_arguments);
4082}
4083
4084
4085void MacroAssembler::CallCFunction(Register function, int num_arguments) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00004086 ASSERT(has_frame());
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00004087 // Check stack alignment.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00004088 if (emit_debug_code()) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00004089 CheckStackAlignment();
4090 }
4091
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00004092 call(function);
4093 ASSERT(OS::ActivationFrameAlignment() != 0);
4094 ASSERT(num_arguments >= 0);
4095 int argument_slots_on_stack =
4096 ArgumentStackSlotsForCFunctionCall(num_arguments);
4097 movq(rsp, Operand(rsp, argument_slots_on_stack * kPointerSize));
4098}
4099
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00004100
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00004101bool AreAliased(Register r1, Register r2, Register r3, Register r4) {
4102 if (r1.is(r2)) return true;
4103 if (r1.is(r3)) return true;
4104 if (r1.is(r4)) return true;
4105 if (r2.is(r3)) return true;
4106 if (r2.is(r4)) return true;
4107 if (r3.is(r4)) return true;
4108 return false;
4109}
4110
4111
ager@chromium.org4af710e2009-09-15 12:20:11 +00004112CodePatcher::CodePatcher(byte* address, int size)
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00004113 : address_(address),
4114 size_(size),
4115 masm_(Isolate::Current(), address, size + Assembler::kGap) {
ager@chromium.org4af710e2009-09-15 12:20:11 +00004116 // Create a new macro assembler pointing to the address of the code to patch.
4117 // The size is adjusted with kGap on order for the assembler to generate size
4118 // bytes of instructions without failing with buffer size constraints.
4119 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
4120}
4121
4122
4123CodePatcher::~CodePatcher() {
4124 // Indicate that code has changed.
4125 CPU::FlushICache(address_, size_);
4126
4127 // Check that the code was patched as expected.
4128 ASSERT(masm_.pc_ == address_ + size_);
4129 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
4130}
4131
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00004132
4133void MacroAssembler::CheckPageFlag(
4134 Register object,
4135 Register scratch,
4136 int mask,
4137 Condition cc,
4138 Label* condition_met,
4139 Label::Distance condition_met_distance) {
4140 ASSERT(cc == zero || cc == not_zero);
4141 if (scratch.is(object)) {
4142 and_(scratch, Immediate(~Page::kPageAlignmentMask));
4143 } else {
4144 movq(scratch, Immediate(~Page::kPageAlignmentMask));
4145 and_(scratch, object);
4146 }
4147 if (mask < (1 << kBitsPerByte)) {
4148 testb(Operand(scratch, MemoryChunk::kFlagsOffset),
4149 Immediate(static_cast<uint8_t>(mask)));
4150 } else {
4151 testl(Operand(scratch, MemoryChunk::kFlagsOffset), Immediate(mask));
4152 }
4153 j(cc, condition_met, condition_met_distance);
4154}
4155
4156
4157void MacroAssembler::JumpIfBlack(Register object,
4158 Register bitmap_scratch,
4159 Register mask_scratch,
4160 Label* on_black,
4161 Label::Distance on_black_distance) {
4162 ASSERT(!AreAliased(object, bitmap_scratch, mask_scratch, rcx));
4163 GetMarkBits(object, bitmap_scratch, mask_scratch);
4164
4165 ASSERT(strcmp(Marking::kBlackBitPattern, "10") == 0);
4166 // The mask_scratch register contains a 1 at the position of the first bit
4167 // and a 0 at all other positions, including the position of the second bit.
4168 movq(rcx, mask_scratch);
4169 // Make rcx into a mask that covers both marking bits using the operation
4170 // rcx = mask | (mask << 1).
4171 lea(rcx, Operand(mask_scratch, mask_scratch, times_2, 0));
4172 // Note that we are using a 4-byte aligned 8-byte load.
4173 and_(rcx, Operand(bitmap_scratch, MemoryChunk::kHeaderSize));
4174 cmpq(mask_scratch, rcx);
4175 j(equal, on_black, on_black_distance);
4176}
4177
4178
4179// Detect some, but not all, common pointer-free objects. This is used by the
4180// incremental write barrier which doesn't care about oddballs (they are always
4181// marked black immediately so this code is not hit).
4182void MacroAssembler::JumpIfDataObject(
4183 Register value,
4184 Register scratch,
4185 Label* not_data_object,
4186 Label::Distance not_data_object_distance) {
4187 Label is_data_object;
4188 movq(scratch, FieldOperand(value, HeapObject::kMapOffset));
4189 CompareRoot(scratch, Heap::kHeapNumberMapRootIndex);
4190 j(equal, &is_data_object, Label::kNear);
4191 ASSERT(kIsIndirectStringTag == 1 && kIsIndirectStringMask == 1);
4192 ASSERT(kNotStringTag == 0x80 && kIsNotStringMask == 0x80);
4193 // If it's a string and it's not a cons string then it's an object containing
4194 // no GC pointers.
4195 testb(FieldOperand(scratch, Map::kInstanceTypeOffset),
4196 Immediate(kIsIndirectStringMask | kIsNotStringMask));
4197 j(not_zero, not_data_object, not_data_object_distance);
4198 bind(&is_data_object);
4199}
4200
4201
4202void MacroAssembler::GetMarkBits(Register addr_reg,
4203 Register bitmap_reg,
4204 Register mask_reg) {
4205 ASSERT(!AreAliased(addr_reg, bitmap_reg, mask_reg, rcx));
4206 movq(bitmap_reg, addr_reg);
4207 // Sign extended 32 bit immediate.
4208 and_(bitmap_reg, Immediate(~Page::kPageAlignmentMask));
4209 movq(rcx, addr_reg);
4210 int shift =
4211 Bitmap::kBitsPerCellLog2 + kPointerSizeLog2 - Bitmap::kBytesPerCellLog2;
4212 shrl(rcx, Immediate(shift));
4213 and_(rcx,
4214 Immediate((Page::kPageAlignmentMask >> shift) &
4215 ~(Bitmap::kBytesPerCell - 1)));
4216
4217 addq(bitmap_reg, rcx);
4218 movq(rcx, addr_reg);
4219 shrl(rcx, Immediate(kPointerSizeLog2));
4220 and_(rcx, Immediate((1 << Bitmap::kBitsPerCellLog2) - 1));
4221 movl(mask_reg, Immediate(1));
4222 shl_cl(mask_reg);
4223}
4224
4225
4226void MacroAssembler::EnsureNotWhite(
4227 Register value,
4228 Register bitmap_scratch,
4229 Register mask_scratch,
4230 Label* value_is_white_and_not_data,
4231 Label::Distance distance) {
4232 ASSERT(!AreAliased(value, bitmap_scratch, mask_scratch, rcx));
4233 GetMarkBits(value, bitmap_scratch, mask_scratch);
4234
4235 // If the value is black or grey we don't need to do anything.
4236 ASSERT(strcmp(Marking::kWhiteBitPattern, "00") == 0);
4237 ASSERT(strcmp(Marking::kBlackBitPattern, "10") == 0);
4238 ASSERT(strcmp(Marking::kGreyBitPattern, "11") == 0);
4239 ASSERT(strcmp(Marking::kImpossibleBitPattern, "01") == 0);
4240
4241 Label done;
4242
4243 // Since both black and grey have a 1 in the first position and white does
4244 // not have a 1 there we only need to check one bit.
4245 testq(Operand(bitmap_scratch, MemoryChunk::kHeaderSize), mask_scratch);
4246 j(not_zero, &done, Label::kNear);
4247
4248 if (FLAG_debug_code) {
4249 // Check for impossible bit pattern.
4250 Label ok;
4251 push(mask_scratch);
4252 // shl. May overflow making the check conservative.
4253 addq(mask_scratch, mask_scratch);
4254 testq(Operand(bitmap_scratch, MemoryChunk::kHeaderSize), mask_scratch);
4255 j(zero, &ok, Label::kNear);
4256 int3();
4257 bind(&ok);
4258 pop(mask_scratch);
4259 }
4260
4261 // Value is white. We check whether it is data that doesn't need scanning.
4262 // Currently only checks for HeapNumber and non-cons strings.
4263 Register map = rcx; // Holds map while checking type.
4264 Register length = rcx; // Holds length of object after checking type.
4265 Label not_heap_number;
4266 Label is_data_object;
4267
4268 // Check for heap-number
4269 movq(map, FieldOperand(value, HeapObject::kMapOffset));
4270 CompareRoot(map, Heap::kHeapNumberMapRootIndex);
4271 j(not_equal, &not_heap_number, Label::kNear);
4272 movq(length, Immediate(HeapNumber::kSize));
4273 jmp(&is_data_object, Label::kNear);
4274
4275 bind(&not_heap_number);
4276 // Check for strings.
4277 ASSERT(kIsIndirectStringTag == 1 && kIsIndirectStringMask == 1);
4278 ASSERT(kNotStringTag == 0x80 && kIsNotStringMask == 0x80);
4279 // If it's a string and it's not a cons string then it's an object containing
4280 // no GC pointers.
4281 Register instance_type = rcx;
4282 movzxbl(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
4283 testb(instance_type, Immediate(kIsIndirectStringMask | kIsNotStringMask));
4284 j(not_zero, value_is_white_and_not_data);
4285 // It's a non-indirect (non-cons and non-slice) string.
4286 // If it's external, the length is just ExternalString::kSize.
4287 // Otherwise it's String::kHeaderSize + string->length() * (1 or 2).
4288 Label not_external;
4289 // External strings are the only ones with the kExternalStringTag bit
4290 // set.
4291 ASSERT_EQ(0, kSeqStringTag & kExternalStringTag);
4292 ASSERT_EQ(0, kConsStringTag & kExternalStringTag);
4293 testb(instance_type, Immediate(kExternalStringTag));
4294 j(zero, &not_external, Label::kNear);
4295 movq(length, Immediate(ExternalString::kSize));
4296 jmp(&is_data_object, Label::kNear);
4297
4298 bind(&not_external);
4299 // Sequential string, either ASCII or UC16.
4300 ASSERT(kAsciiStringTag == 0x04);
4301 and_(length, Immediate(kStringEncodingMask));
4302 xor_(length, Immediate(kStringEncodingMask));
4303 addq(length, Immediate(0x04));
4304 // Value now either 4 (if ASCII) or 8 (if UC16), i.e. char-size shifted by 2.
4305 imul(length, FieldOperand(value, String::kLengthOffset));
4306 shr(length, Immediate(2 + kSmiTagSize + kSmiShiftSize));
4307 addq(length, Immediate(SeqString::kHeaderSize + kObjectAlignmentMask));
4308 and_(length, Immediate(~kObjectAlignmentMask));
4309
4310 bind(&is_data_object);
4311 // Value is a data object, and it is white. Mark it black. Since we know
4312 // that the object is white we can make it black by flipping one bit.
4313 or_(Operand(bitmap_scratch, MemoryChunk::kHeaderSize), mask_scratch);
4314
4315 and_(bitmap_scratch, Immediate(~Page::kPageAlignmentMask));
4316 addl(Operand(bitmap_scratch, MemoryChunk::kLiveBytesOffset), length);
4317
4318 bind(&done);
4319}
4320
kasperl@chromium.org71affb52009-05-26 05:44:31 +00004321} } // namespace v8::internal
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00004322
4323#endif // V8_TARGET_ARCH_X64