blob: 9df5cad915a0a615e0510d514c70d19b16893730 [file] [log] [blame]
ager@chromium.org0ee099b2011-01-25 14:06:47 +00001// Copyright 2011 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +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
28#include "v8.h"
29
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +000030#if defined(V8_TARGET_ARCH_IA32)
31
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000032#include "bootstrapper.h"
karlklose@chromium.org44bc7082011-04-11 12:33:05 +000033#include "codegen.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000034#include "debug.h"
35#include "runtime.h"
36#include "serialize.h"
37
kasperl@chromium.org71affb52009-05-26 05:44:31 +000038namespace v8 {
39namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000040
kasperl@chromium.org7be3c992009-03-12 07:19:55 +000041// -------------------------------------------------------------------------
42// MacroAssembler implementation.
43
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +000044MacroAssembler::MacroAssembler(Isolate* arg_isolate, void* buffer, int size)
45 : Assembler(arg_isolate, buffer, size),
kasper.lund7276f142008-07-30 08:49:36 +000046 generating_stub_(false),
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +000047 allow_stub_calls_(true) {
48 if (isolate() != NULL) {
49 code_object_ = Handle<Object>(isolate()->heap()->undefined_value(),
50 isolate());
51 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000052}
53
54
vegorov@chromium.orgf8372902010-03-15 10:26:20 +000055void MacroAssembler::RecordWriteHelper(Register object,
56 Register addr,
57 Register scratch) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +000058 if (emit_debug_code()) {
ager@chromium.orgac091b72010-05-05 07:34:42 +000059 // Check that the object is not in new space.
60 Label not_in_new_space;
61 InNewSpace(object, scratch, not_equal, &not_in_new_space);
62 Abort("new-space object passed to RecordWriteHelper");
63 bind(&not_in_new_space);
64 }
65
christian.plesner.hansen@gmail.com5a6af922009-08-12 14:20:51 +000066 // Compute the page start address from the heap object pointer, and reuse
67 // the 'object' register for it.
vegorov@chromium.orgf8372902010-03-15 10:26:20 +000068 and_(object, ~Page::kPageAlignmentMask);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000069
ricow@chromium.org30ce4112010-05-31 10:38:25 +000070 // Compute number of region covering addr. See Page::GetRegionNumberForAddress
71 // method for more details.
ricow@chromium.org30ce4112010-05-31 10:38:25 +000072 shr(addr, Page::kRegionSizeLog2);
rossberg@chromium.org28a37082011-08-22 11:03:23 +000073 and_(addr, Page::kPageAlignmentMask >> Page::kRegionSizeLog2);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000074
ricow@chromium.org30ce4112010-05-31 10:38:25 +000075 // Set dirty mark for region.
danno@chromium.org40cb8782011-05-25 07:58:50 +000076 // Bit tests with a memory operand should be avoided on Intel processors,
77 // as they usually have long latency and multiple uops. We load the bit base
78 // operand to a register at first and store it back after bit set.
79 mov(scratch, Operand(object, Page::kDirtyFlagOffset));
80 bts(Operand(scratch), addr);
81 mov(Operand(object, Page::kDirtyFlagOffset), scratch);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000082}
83
84
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +000085void MacroAssembler::ClampDoubleToUint8(XMMRegister input_reg,
86 XMMRegister scratch_reg,
87 Register result_reg) {
88 Label done;
89 ExternalReference zero_ref = ExternalReference::address_of_zero();
90 movdbl(scratch_reg, Operand::StaticVariable(zero_ref));
91 Set(result_reg, Immediate(0));
92 ucomisd(input_reg, scratch_reg);
93 j(below, &done, Label::kNear);
94 ExternalReference half_ref = ExternalReference::address_of_one_half();
95 movdbl(scratch_reg, Operand::StaticVariable(half_ref));
96 addsd(scratch_reg, input_reg);
97 cvttsd2si(result_reg, Operand(scratch_reg));
98 test(result_reg, Immediate(0xFFFFFF00));
99 j(zero, &done, Label::kNear);
100 Set(result_reg, Immediate(255));
101 bind(&done);
102}
103
104
105void MacroAssembler::ClampUint8(Register reg) {
106 Label done;
107 test(reg, Immediate(0xFFFFFF00));
108 j(zero, &done, Label::kNear);
109 setcc(negative, reg); // 1 if negative, 0 if positive.
110 dec_b(reg); // 0 if negative, 255 if positive.
111 bind(&done);
112}
113
114
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000115void MacroAssembler::InNewSpace(Register object,
116 Register scratch,
117 Condition cc,
118 Label* branch,
119 Label::Distance branch_near) {
120 ASSERT(cc == equal || cc == not_equal);
121 if (Serializer::enabled()) {
122 // Can't do arithmetic on external references if it might get serialized.
123 mov(scratch, Operand(object));
124 // The mask isn't really an address. We load it as an external reference in
125 // case the size of the new space is different between the snapshot maker
126 // and the running system.
127 and_(Operand(scratch),
128 Immediate(ExternalReference::new_space_mask(isolate())));
129 cmp(Operand(scratch),
130 Immediate(ExternalReference::new_space_start(isolate())));
131 j(cc, branch, branch_near);
132 } else {
133 int32_t new_space_start = reinterpret_cast<int32_t>(
134 ExternalReference::new_space_start(isolate()).address());
135 lea(scratch, Operand(object, -new_space_start));
136 and_(scratch, isolate()->heap()->NewSpaceMask());
137 j(cc, branch, branch_near);
138 }
139}
140
141
fschneider@chromium.orged78ffd2010-07-21 11:05:19 +0000142void MacroAssembler::RecordWrite(Register object,
143 int offset,
144 Register value,
145 Register scratch) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000146 // First, check if a write barrier is even needed. The tests below
147 // catch stores of Smis and stores into young gen.
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000148 Label done;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000149
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000150 // Skip barrier if writing a smi.
151 ASSERT_EQ(0, kSmiTag);
whesse@chromium.org7b260152011-06-20 15:33:18 +0000152 JumpIfSmi(value, &done, Label::kNear);
sgjesse@chromium.orgb9d7da12009-08-05 08:38:10 +0000153
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000154 InNewSpace(object, value, equal, &done, Label::kNear);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000155
whesse@chromium.orge88a9ed2010-04-15 15:07:46 +0000156 // The offset is relative to a tagged or untagged HeapObject pointer,
157 // so either offset or offset + kHeapObjectTag must be a
158 // multiple of kPointerSize.
159 ASSERT(IsAligned(offset, kPointerSize) ||
160 IsAligned(offset + kHeapObjectTag, kPointerSize));
161
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000162 Register dst = scratch;
163 if (offset != 0) {
164 lea(dst, Operand(object, offset));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000165 } else {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000166 // Array access: calculate the destination address in the same manner as
167 // KeyedStoreIC::GenerateGeneric. Multiply a smi by 2 to get an offset
168 // into an array of words.
169 ASSERT_EQ(1, kSmiTagSize);
170 ASSERT_EQ(0, kSmiTag);
171 lea(dst, Operand(object, dst, times_half_pointer_size,
172 FixedArray::kHeaderSize - kHeapObjectTag));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000173 }
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000174 RecordWriteHelper(object, dst, value);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000175
176 bind(&done);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000177
178 // Clobber all input registers when running with the debug-code flag
179 // turned on to provoke errors.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000180 if (emit_debug_code()) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000181 mov(object, Immediate(BitCast<int32_t>(kZapValue)));
182 mov(value, Immediate(BitCast<int32_t>(kZapValue)));
183 mov(scratch, Immediate(BitCast<int32_t>(kZapValue)));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000184 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000185}
186
187
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000188void MacroAssembler::RecordWrite(Register object,
189 Register address,
190 Register value) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000191 // First, check if a write barrier is even needed. The tests below
192 // catch stores of Smis and stores into young gen.
193 Label done;
194
195 // Skip barrier if writing a smi.
196 ASSERT_EQ(0, kSmiTag);
whesse@chromium.org7b260152011-06-20 15:33:18 +0000197 JumpIfSmi(value, &done, Label::kNear);
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000198
199 InNewSpace(object, value, equal, &done);
200
201 RecordWriteHelper(object, address, value);
202
203 bind(&done);
204
205 // Clobber all input registers when running with the debug-code flag
206 // turned on to provoke errors.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000207 if (emit_debug_code()) {
kmillikin@chromium.org69ea3962010-07-05 11:01:40 +0000208 mov(object, Immediate(BitCast<int32_t>(kZapValue)));
209 mov(address, Immediate(BitCast<int32_t>(kZapValue)));
210 mov(value, Immediate(BitCast<int32_t>(kZapValue)));
211 }
212}
213
214
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000215#ifdef ENABLE_DEBUGGER_SUPPORT
ager@chromium.org5c838252010-02-19 08:53:10 +0000216void MacroAssembler::DebugBreak() {
217 Set(eax, Immediate(0));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000218 mov(ebx, Immediate(ExternalReference(Runtime::kDebugBreak, isolate())));
ager@chromium.org5c838252010-02-19 08:53:10 +0000219 CEntryStub ces(1);
220 call(ces.GetCode(), RelocInfo::DEBUG_BREAK);
221}
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000222#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000223
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000224
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000225void MacroAssembler::Set(Register dst, const Immediate& x) {
226 if (x.is_zero()) {
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000227 xor_(dst, Operand(dst)); // Shorter than mov.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000228 } else {
ager@chromium.org3bf7b912008-11-17 09:09:45 +0000229 mov(dst, x);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000230 }
231}
232
233
234void MacroAssembler::Set(const Operand& dst, const Immediate& x) {
235 mov(dst, x);
236}
237
238
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000239bool MacroAssembler::IsUnsafeImmediate(const Immediate& x) {
240 static const int kMaxImmediateBits = 17;
241 if (x.rmode_ != RelocInfo::NONE) return false;
242 return !is_intn(x.x_, kMaxImmediateBits);
243}
244
245
246void MacroAssembler::SafeSet(Register dst, const Immediate& x) {
247 if (IsUnsafeImmediate(x) && jit_cookie() != 0) {
248 Set(dst, Immediate(x.x_ ^ jit_cookie()));
249 xor_(dst, jit_cookie());
250 } else {
251 Set(dst, x);
252 }
253}
254
255
256void MacroAssembler::SafePush(const Immediate& x) {
257 if (IsUnsafeImmediate(x) && jit_cookie() != 0) {
258 push(Immediate(x.x_ ^ jit_cookie()));
259 xor_(Operand(esp, 0), Immediate(jit_cookie()));
260 } else {
261 push(x);
262 }
263}
264
265
lrn@chromium.orgd4e9e222011-08-03 12:01:58 +0000266void MacroAssembler::CompareRoot(Register with, Heap::RootListIndex index) {
267 // see ROOT_ACCESSOR macro in factory.h
268 Handle<Object> value(&isolate()->heap()->roots_address()[index]);
269 cmp(with, value);
270}
271
272
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000273void MacroAssembler::CmpObjectType(Register heap_object,
274 InstanceType type,
275 Register map) {
276 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
277 CmpInstanceType(map, type);
278}
279
280
281void MacroAssembler::CmpInstanceType(Register map, InstanceType type) {
282 cmpb(FieldOperand(map, Map::kInstanceTypeOffset),
283 static_cast<int8_t>(type));
284}
285
286
erik.corry@gmail.comd6076d92011-06-06 09:39:18 +0000287void MacroAssembler::CheckFastElements(Register map,
288 Label* fail,
289 Label::Distance distance) {
290 STATIC_ASSERT(JSObject::FAST_ELEMENTS == 0);
291 cmpb(FieldOperand(map, Map::kBitField2Offset),
292 Map::kMaximumBitField2FastElementValue);
293 j(above, fail, distance);
294}
295
296
ager@chromium.org5c838252010-02-19 08:53:10 +0000297void MacroAssembler::CheckMap(Register obj,
298 Handle<Map> map,
299 Label* fail,
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +0000300 SmiCheckType smi_check_type) {
danno@chromium.org40cb8782011-05-25 07:58:50 +0000301 if (smi_check_type == DO_SMI_CHECK) {
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +0000302 JumpIfSmi(obj, fail);
ager@chromium.org5c838252010-02-19 08:53:10 +0000303 }
304 cmp(FieldOperand(obj, HeapObject::kMapOffset), Immediate(map));
305 j(not_equal, fail);
306}
307
308
ager@chromium.orgea91cc52011-05-23 06:06:11 +0000309void MacroAssembler::DispatchMap(Register obj,
310 Handle<Map> map,
311 Handle<Code> success,
312 SmiCheckType smi_check_type) {
313 Label fail;
ager@chromium.org560b07b2011-05-23 16:33:44 +0000314 if (smi_check_type == DO_SMI_CHECK) {
ager@chromium.orgea91cc52011-05-23 06:06:11 +0000315 JumpIfSmi(obj, &fail);
316 }
317 cmp(FieldOperand(obj, HeapObject::kMapOffset), Immediate(map));
318 j(equal, success);
319
320 bind(&fail);
321}
322
323
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000324Condition MacroAssembler::IsObjectStringType(Register heap_object,
325 Register map,
326 Register instance_type) {
327 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
328 movzx_b(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
329 ASSERT(kNotStringTag != 0);
330 test(instance_type, Immediate(kIsNotStringMask));
331 return zero;
332}
333
334
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000335void MacroAssembler::IsObjectJSObjectType(Register heap_object,
336 Register map,
337 Register scratch,
338 Label* fail) {
339 mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
340 IsInstanceJSObjectType(map, scratch, fail);
341}
342
343
344void MacroAssembler::IsInstanceJSObjectType(Register map,
345 Register scratch,
346 Label* fail) {
347 movzx_b(scratch, FieldOperand(map, Map::kInstanceTypeOffset));
ricow@chromium.orgd2be9012011-06-01 06:00:58 +0000348 sub(Operand(scratch), Immediate(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE));
349 cmp(scratch,
350 LAST_NONCALLABLE_SPEC_OBJECT_TYPE - FIRST_NONCALLABLE_SPEC_OBJECT_TYPE);
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000351 j(above, fail);
352}
353
354
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000355void MacroAssembler::FCmp() {
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +0000356 if (CpuFeatures::IsSupported(CMOV)) {
ager@chromium.org3811b432009-10-28 14:53:37 +0000357 fucomip();
358 ffree(0);
359 fincstp();
360 } else {
361 fucompp();
362 push(eax);
363 fnstsw_ax();
364 sahf();
365 pop(eax);
366 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000367}
368
369
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000370void MacroAssembler::AbortIfNotNumber(Register object) {
ager@chromium.org5c838252010-02-19 08:53:10 +0000371 Label ok;
whesse@chromium.org7b260152011-06-20 15:33:18 +0000372 JumpIfSmi(object, &ok);
ager@chromium.org5c838252010-02-19 08:53:10 +0000373 cmp(FieldOperand(object, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000374 isolate()->factory()->heap_number_map());
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000375 Assert(equal, "Operand not a number");
ager@chromium.org5c838252010-02-19 08:53:10 +0000376 bind(&ok);
377}
378
379
whesse@chromium.orgcec079d2010-03-22 14:44:04 +0000380void MacroAssembler::AbortIfNotSmi(Register object) {
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000381 test(object, Immediate(kSmiTagMask));
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000382 Assert(equal, "Operand is not a smi");
vegorov@chromium.orgf8372902010-03-15 10:26:20 +0000383}
384
385
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000386void MacroAssembler::AbortIfNotString(Register object) {
387 test(object, Immediate(kSmiTagMask));
388 Assert(not_equal, "Operand is not a string");
389 push(object);
390 mov(object, FieldOperand(object, HeapObject::kMapOffset));
391 CmpInstanceType(object, FIRST_NONSTRING_TYPE);
392 pop(object);
393 Assert(below, "Operand is not a string");
394}
395
396
vegorov@chromium.org26c16f82010-08-11 13:41:03 +0000397void MacroAssembler::AbortIfSmi(Register object) {
398 test(object, Immediate(kSmiTagMask));
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000399 Assert(not_equal, "Operand is a smi");
vegorov@chromium.org26c16f82010-08-11 13:41:03 +0000400}
401
402
ager@chromium.org7c537e22008-10-16 08:43:32 +0000403void MacroAssembler::EnterFrame(StackFrame::Type type) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000404 push(ebp);
405 mov(ebp, Operand(esp));
406 push(esi);
407 push(Immediate(Smi::FromInt(type)));
kasperl@chromium.org061ef742009-02-27 12:16:20 +0000408 push(Immediate(CodeObject()));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000409 if (emit_debug_code()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000410 cmp(Operand(esp, 0), Immediate(isolate()->factory()->undefined_value()));
kasperl@chromium.org061ef742009-02-27 12:16:20 +0000411 Check(not_equal, "code object not properly patched");
412 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000413}
414
415
ager@chromium.org7c537e22008-10-16 08:43:32 +0000416void MacroAssembler::LeaveFrame(StackFrame::Type type) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000417 if (emit_debug_code()) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000418 cmp(Operand(ebp, StandardFrameConstants::kMarkerOffset),
419 Immediate(Smi::FromInt(type)));
420 Check(equal, "stack frame types must match");
421 }
422 leave();
423}
424
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000425
426void MacroAssembler::EnterExitFramePrologue() {
ager@chromium.org236ad962008-09-25 09:45:57 +0000427 // Setup the frame structure on the stack.
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000428 ASSERT(ExitFrameConstants::kCallerSPDisplacement == +2 * kPointerSize);
ager@chromium.org236ad962008-09-25 09:45:57 +0000429 ASSERT(ExitFrameConstants::kCallerPCOffset == +1 * kPointerSize);
430 ASSERT(ExitFrameConstants::kCallerFPOffset == 0 * kPointerSize);
431 push(ebp);
432 mov(ebp, Operand(esp));
433
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000434 // Reserve room for entry stack pointer and push the code object.
ager@chromium.org236ad962008-09-25 09:45:57 +0000435 ASSERT(ExitFrameConstants::kSPOffset == -1 * kPointerSize);
ager@chromium.org5c838252010-02-19 08:53:10 +0000436 push(Immediate(0)); // Saved entry sp, patched before call.
437 push(Immediate(CodeObject())); // Accessed from ExitFrame::code_slot.
ager@chromium.org236ad962008-09-25 09:45:57 +0000438
439 // Save the frame pointer and the context in top.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000440 ExternalReference c_entry_fp_address(Isolate::k_c_entry_fp_address,
441 isolate());
442 ExternalReference context_address(Isolate::k_context_address,
443 isolate());
ager@chromium.org236ad962008-09-25 09:45:57 +0000444 mov(Operand::StaticVariable(c_entry_fp_address), ebp);
445 mov(Operand::StaticVariable(context_address), esi);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000446}
ager@chromium.org236ad962008-09-25 09:45:57 +0000447
ager@chromium.org236ad962008-09-25 09:45:57 +0000448
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000449void MacroAssembler::EnterExitFrameEpilogue(int argc, bool save_doubles) {
450 // Optionally save all XMM registers.
451 if (save_doubles) {
452 CpuFeatures::Scope scope(SSE2);
453 int space = XMMRegister::kNumRegisters * kDoubleSize + argc * kPointerSize;
454 sub(Operand(esp), Immediate(space));
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000455 const int offset = -2 * kPointerSize;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000456 for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
457 XMMRegister reg = XMMRegister::from_code(i);
458 movdbl(Operand(ebp, offset - ((i + 1) * kDoubleSize)), reg);
459 }
460 } else {
461 sub(Operand(esp), Immediate(argc * kPointerSize));
462 }
ager@chromium.org236ad962008-09-25 09:45:57 +0000463
464 // Get the required frame alignment for the OS.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000465 const int kFrameAlignment = OS::ActivationFrameAlignment();
ager@chromium.org236ad962008-09-25 09:45:57 +0000466 if (kFrameAlignment > 0) {
467 ASSERT(IsPowerOf2(kFrameAlignment));
468 and_(esp, -kFrameAlignment);
469 }
470
471 // Patch the saved entry sp.
472 mov(Operand(ebp, ExitFrameConstants::kSPOffset), esp);
473}
474
475
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000476void MacroAssembler::EnterExitFrame(bool save_doubles) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000477 EnterExitFramePrologue();
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000478
479 // Setup argc and argv in callee-saved registers.
480 int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
481 mov(edi, Operand(eax));
482 lea(esi, Operand(ebp, eax, times_4, offset));
483
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000484 // Reserve space for argc, argv and isolate.
485 EnterExitFrameEpilogue(3, save_doubles);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000486}
487
488
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000489void MacroAssembler::EnterApiExitFrame(int argc) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +0000490 EnterExitFramePrologue();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000491 EnterExitFrameEpilogue(argc, false);
ager@chromium.orgc4c92722009-11-18 14:12:51 +0000492}
493
494
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000495void MacroAssembler::LeaveExitFrame(bool save_doubles) {
496 // Optionally restore all XMM registers.
497 if (save_doubles) {
498 CpuFeatures::Scope scope(SSE2);
ager@chromium.org0ee099b2011-01-25 14:06:47 +0000499 const int offset = -2 * kPointerSize;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000500 for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
501 XMMRegister reg = XMMRegister::from_code(i);
502 movdbl(reg, Operand(ebp, offset - ((i + 1) * kDoubleSize)));
503 }
504 }
505
ager@chromium.org236ad962008-09-25 09:45:57 +0000506 // Get the return address from the stack and restore the frame pointer.
507 mov(ecx, Operand(ebp, 1 * kPointerSize));
508 mov(ebp, Operand(ebp, 0 * kPointerSize));
509
510 // Pop the arguments and the receiver from the caller stack.
511 lea(esp, Operand(esi, 1 * kPointerSize));
512
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000513 // Push the return address to get ready to return.
514 push(ecx);
515
516 LeaveExitFrameEpilogue();
517}
518
519void MacroAssembler::LeaveExitFrameEpilogue() {
ager@chromium.org236ad962008-09-25 09:45:57 +0000520 // Restore current context from top and clear it in debug mode.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000521 ExternalReference context_address(Isolate::k_context_address, isolate());
ager@chromium.org236ad962008-09-25 09:45:57 +0000522 mov(esi, Operand::StaticVariable(context_address));
ager@chromium.org65dad4b2009-04-23 08:48:43 +0000523#ifdef DEBUG
524 mov(Operand::StaticVariable(context_address), Immediate(0));
525#endif
ager@chromium.org236ad962008-09-25 09:45:57 +0000526
ager@chromium.org236ad962008-09-25 09:45:57 +0000527 // Clear the top frame.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000528 ExternalReference c_entry_fp_address(Isolate::k_c_entry_fp_address,
529 isolate());
ager@chromium.org236ad962008-09-25 09:45:57 +0000530 mov(Operand::StaticVariable(c_entry_fp_address), Immediate(0));
531}
532
533
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +0000534void MacroAssembler::LeaveApiExitFrame() {
535 mov(esp, Operand(ebp));
536 pop(ebp);
537
538 LeaveExitFrameEpilogue();
539}
540
541
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000542void MacroAssembler::PushTryHandler(CodeLocation try_location,
543 HandlerType type) {
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000544 // Adjust this code if not the case.
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000545 STATIC_ASSERT(StackHandlerConstants::kSize == 5 * kPointerSize);
546 STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
547 STATIC_ASSERT(StackHandlerConstants::kContextOffset == 1 * kPointerSize);
548 STATIC_ASSERT(StackHandlerConstants::kFPOffset == 2 * kPointerSize);
549 STATIC_ASSERT(StackHandlerConstants::kStateOffset == 3 * kPointerSize);
550 STATIC_ASSERT(StackHandlerConstants::kPCOffset == 4 * kPointerSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000551 // The pc (return address) is already on TOS.
552 if (try_location == IN_JAVASCRIPT) {
553 if (type == TRY_CATCH_HANDLER) {
554 push(Immediate(StackHandler::TRY_CATCH));
555 } else {
556 push(Immediate(StackHandler::TRY_FINALLY));
557 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000558 push(ebp);
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000559 push(esi);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000560 } else {
561 ASSERT(try_location == IN_JS_ENTRY);
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000562 // The frame pointer does not point to a JS frame so we save NULL
563 // for ebp. We expect the code throwing an exception to check ebp
564 // before dereferencing it to restore the context.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000565 push(Immediate(StackHandler::ENTRY));
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000566 push(Immediate(0)); // NULL frame pointer.
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000567 push(Immediate(Smi::FromInt(0))); // No context.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000568 }
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000569 // Save the current handler as the next handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000570 push(Operand::StaticVariable(ExternalReference(Isolate::k_handler_address,
571 isolate())));
ager@chromium.orgeadaf222009-06-16 09:43:10 +0000572 // Link this handler as the new current one.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000573 mov(Operand::StaticVariable(ExternalReference(Isolate::k_handler_address,
574 isolate())),
575 esp);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000576}
577
578
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000579void MacroAssembler::PopTryHandler() {
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000580 STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000581 pop(Operand::StaticVariable(ExternalReference(Isolate::k_handler_address,
582 isolate())));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000583 add(Operand(esp), Immediate(StackHandlerConstants::kSize - kPointerSize));
584}
585
586
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000587void MacroAssembler::Throw(Register value) {
588 // Adjust this code if not the case.
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000589 STATIC_ASSERT(StackHandlerConstants::kSize == 5 * kPointerSize);
590 STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
591 STATIC_ASSERT(StackHandlerConstants::kContextOffset == 1 * kPointerSize);
592 STATIC_ASSERT(StackHandlerConstants::kFPOffset == 2 * kPointerSize);
593 STATIC_ASSERT(StackHandlerConstants::kStateOffset == 3 * kPointerSize);
594 STATIC_ASSERT(StackHandlerConstants::kPCOffset == 4 * kPointerSize);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000595 // eax must hold the exception.
596 if (!value.is(eax)) {
597 mov(eax, value);
598 }
599
600 // Drop the sp to the top of the handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000601 ExternalReference handler_address(Isolate::k_handler_address,
602 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000603 mov(esp, Operand::StaticVariable(handler_address));
604
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000605 // Restore next handler, context, and frame pointer; discard handler state.
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000606 pop(Operand::StaticVariable(handler_address));
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000607 pop(esi); // Context.
608 pop(ebp); // Frame pointer.
609 pop(edx); // State.
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000610
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000611 // If the handler is a JS frame, restore the context to the frame.
612 // (edx == ENTRY) == (ebp == 0) == (esi == 0), so we could test any
613 // of them.
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000614 Label skip;
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000615 cmp(Operand(edx), Immediate(StackHandler::ENTRY));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000616 j(equal, &skip, Label::kNear);
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000617 mov(Operand(ebp, StandardFrameConstants::kContextOffset), esi);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000618 bind(&skip);
619
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000620 ret(0);
621}
622
623
624void MacroAssembler::ThrowUncatchable(UncatchableExceptionType type,
625 Register value) {
626 // Adjust this code if not the case.
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000627 STATIC_ASSERT(StackHandlerConstants::kSize == 5 * kPointerSize);
628 STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
629 STATIC_ASSERT(StackHandlerConstants::kContextOffset == 1 * kPointerSize);
630 STATIC_ASSERT(StackHandlerConstants::kFPOffset == 2 * kPointerSize);
631 STATIC_ASSERT(StackHandlerConstants::kStateOffset == 3 * kPointerSize);
632 STATIC_ASSERT(StackHandlerConstants::kPCOffset == 4 * kPointerSize);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000633
634 // eax must hold the exception.
635 if (!value.is(eax)) {
636 mov(eax, value);
637 }
638
639 // Drop sp to the top stack handler.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000640 ExternalReference handler_address(Isolate::k_handler_address,
641 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000642 mov(esp, Operand::StaticVariable(handler_address));
643
644 // Unwind the handlers until the ENTRY handler is found.
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000645 Label loop, done;
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000646 bind(&loop);
647 // Load the type of the current stack handler.
648 const int kStateOffset = StackHandlerConstants::kStateOffset;
649 cmp(Operand(esp, kStateOffset), Immediate(StackHandler::ENTRY));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000650 j(equal, &done, Label::kNear);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000651 // Fetch the next handler in the list.
652 const int kNextOffset = StackHandlerConstants::kNextOffset;
653 mov(esp, Operand(esp, kNextOffset));
654 jmp(&loop);
655 bind(&done);
656
657 // Set the top handler address to next handler past the current ENTRY handler.
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000658 pop(Operand::StaticVariable(handler_address));
659
660 if (type == OUT_OF_MEMORY) {
661 // Set external caught exception to false.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000662 ExternalReference external_caught(
663 Isolate::k_external_caught_exception_address,
664 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000665 mov(eax, false);
666 mov(Operand::StaticVariable(external_caught), eax);
667
668 // Set pending exception and eax to out of memory exception.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000669 ExternalReference pending_exception(Isolate::k_pending_exception_address,
670 isolate());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000671 mov(eax, reinterpret_cast<int32_t>(Failure::OutOfMemoryException()));
672 mov(Operand::StaticVariable(pending_exception), eax);
673 }
674
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +0000675 // Discard the context saved in the handler and clear the context pointer.
676 pop(edx);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000677 Set(esi, Immediate(0));
678
679 // Restore fp from handler and discard handler state.
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000680 pop(ebp);
681 pop(edx); // State.
682
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +0000683 ret(0);
684}
685
686
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000687void MacroAssembler::CheckAccessGlobalProxy(Register holder_reg,
ager@chromium.orge2902be2009-06-08 12:21:35 +0000688 Register scratch,
689 Label* miss) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000690 Label same_contexts;
691
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000692 ASSERT(!holder_reg.is(scratch));
693
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000694 // Load current lexical context from the stack frame.
695 mov(scratch, Operand(ebp, StandardFrameConstants::kContextOffset));
696
697 // When generating debug code, make sure the lexical context is set.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000698 if (emit_debug_code()) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000699 cmp(Operand(scratch), Immediate(0));
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000700 Check(not_equal, "we should not have an empty lexical context");
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000701 }
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000702 // Load the global context of the current context.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000703 int offset = Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
704 mov(scratch, FieldOperand(scratch, offset));
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000705 mov(scratch, FieldOperand(scratch, GlobalObject::kGlobalContextOffset));
706
707 // Check the context is a global context.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000708 if (emit_debug_code()) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000709 push(scratch);
710 // Read the first word and compare to global_context_map.
711 mov(scratch, FieldOperand(scratch, HeapObject::kMapOffset));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000712 cmp(scratch, isolate()->factory()->global_context_map());
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000713 Check(equal, "JSGlobalObject::global_context should be a global context.");
714 pop(scratch);
715 }
716
717 // Check if both contexts are the same.
718 cmp(scratch, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000719 j(equal, &same_contexts);
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000720
721 // Compare security tokens, save holder_reg on the stack so we can use it
722 // as a temporary register.
723 //
724 // TODO(119): avoid push(holder_reg)/pop(holder_reg)
725 push(holder_reg);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000726 // Check that the security token in the calling global object is
727 // compatible with the security token in the receiving global
728 // object.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000729 mov(holder_reg, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
730
731 // Check the context is a global context.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000732 if (emit_debug_code()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000733 cmp(holder_reg, isolate()->factory()->null_value());
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000734 Check(not_equal, "JSGlobalProxy::context() should not be null.");
735
736 push(holder_reg);
737 // Read the first word and compare to global_context_map(),
738 mov(holder_reg, FieldOperand(holder_reg, HeapObject::kMapOffset));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000739 cmp(holder_reg, isolate()->factory()->global_context_map());
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000740 Check(equal, "JSGlobalObject::global_context should be a global context.");
741 pop(holder_reg);
742 }
743
744 int token_offset = Context::kHeaderSize +
745 Context::SECURITY_TOKEN_INDEX * kPointerSize;
746 mov(scratch, FieldOperand(scratch, token_offset));
747 cmp(scratch, FieldOperand(holder_reg, token_offset));
748 pop(holder_reg);
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000749 j(not_equal, miss);
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000750
751 bind(&same_contexts);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000752}
753
754
sgjesse@chromium.org6db88712011-07-11 11:41:22 +0000755void MacroAssembler::LoadFromNumberDictionary(Label* miss,
756 Register elements,
757 Register key,
758 Register r0,
759 Register r1,
760 Register r2,
761 Register result) {
762 // Register use:
763 //
764 // elements - holds the slow-case elements of the receiver and is unchanged.
765 //
766 // key - holds the smi key on entry and is unchanged.
767 //
768 // Scratch registers:
769 //
770 // r0 - holds the untagged key on entry and holds the hash once computed.
771 //
772 // r1 - used to hold the capacity mask of the dictionary
773 //
774 // r2 - used for the index into the dictionary.
775 //
776 // result - holds the result on exit if the load succeeds and we fall through.
777
778 Label done;
779
780 // Compute the hash code from the untagged key. This must be kept in sync
781 // with ComputeIntegerHash in utils.h.
782 //
783 // hash = ~hash + (hash << 15);
784 mov(r1, r0);
785 not_(r0);
786 shl(r1, 15);
787 add(r0, Operand(r1));
788 // hash = hash ^ (hash >> 12);
789 mov(r1, r0);
790 shr(r1, 12);
791 xor_(r0, Operand(r1));
792 // hash = hash + (hash << 2);
793 lea(r0, Operand(r0, r0, times_4, 0));
794 // hash = hash ^ (hash >> 4);
795 mov(r1, r0);
796 shr(r1, 4);
797 xor_(r0, Operand(r1));
798 // hash = hash * 2057;
799 imul(r0, r0, 2057);
800 // hash = hash ^ (hash >> 16);
801 mov(r1, r0);
802 shr(r1, 16);
803 xor_(r0, Operand(r1));
804
805 // Compute capacity mask.
806 mov(r1, FieldOperand(elements, NumberDictionary::kCapacityOffset));
807 shr(r1, kSmiTagSize); // convert smi to int
808 dec(r1);
809
810 // Generate an unrolled loop that performs a few probes before giving up.
811 const int kProbes = 4;
812 for (int i = 0; i < kProbes; i++) {
813 // Use r2 for index calculations and keep the hash intact in r0.
814 mov(r2, r0);
815 // Compute the masked index: (hash + i + i * i) & mask.
816 if (i > 0) {
817 add(Operand(r2), Immediate(NumberDictionary::GetProbeOffset(i)));
818 }
819 and_(r2, Operand(r1));
820
821 // Scale the index by multiplying by the entry size.
822 ASSERT(NumberDictionary::kEntrySize == 3);
823 lea(r2, Operand(r2, r2, times_2, 0)); // r2 = r2 * 3
824
825 // Check if the key matches.
826 cmp(key, FieldOperand(elements,
827 r2,
828 times_pointer_size,
829 NumberDictionary::kElementsStartOffset));
830 if (i != (kProbes - 1)) {
831 j(equal, &done);
832 } else {
833 j(not_equal, miss);
834 }
835 }
836
837 bind(&done);
838 // Check that the value is a normal propety.
839 const int kDetailsOffset =
840 NumberDictionary::kElementsStartOffset + 2 * kPointerSize;
841 ASSERT_EQ(NORMAL, 0);
842 test(FieldOperand(elements, r2, times_pointer_size, kDetailsOffset),
843 Immediate(PropertyDetails::TypeField::mask() << kSmiTagSize));
844 j(not_zero, miss);
845
846 // Get the value at the masked, scaled index.
847 const int kValueOffset =
848 NumberDictionary::kElementsStartOffset + kPointerSize;
849 mov(result, FieldOperand(elements, r2, times_pointer_size, kValueOffset));
850}
851
852
ager@chromium.orga1645e22009-09-09 19:27:10 +0000853void MacroAssembler::LoadAllocationTopHelper(Register result,
ager@chromium.orga1645e22009-09-09 19:27:10 +0000854 Register scratch,
855 AllocationFlags flags) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000856 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000857 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000858
859 // Just return if allocation top is already known.
ager@chromium.orga1645e22009-09-09 19:27:10 +0000860 if ((flags & RESULT_CONTAINS_TOP) != 0) {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000861 // No use of scratch if allocation top is provided.
862 ASSERT(scratch.is(no_reg));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000863#ifdef DEBUG
864 // Assert that result actually contains top on entry.
865 cmp(result, Operand::StaticVariable(new_space_allocation_top));
866 Check(equal, "Unexpected allocation top");
867#endif
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000868 return;
869 }
870
871 // Move address of new object to result. Use scratch register if available.
872 if (scratch.is(no_reg)) {
873 mov(result, Operand::StaticVariable(new_space_allocation_top));
874 } else {
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000875 mov(Operand(scratch), Immediate(new_space_allocation_top));
876 mov(result, Operand(scratch, 0));
877 }
878}
879
880
881void MacroAssembler::UpdateAllocationTopHelper(Register result_end,
882 Register scratch) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000883 if (emit_debug_code()) {
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000884 test(result_end, Immediate(kObjectAlignmentMask));
885 Check(zero, "Unaligned allocation in new space");
886 }
887
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000888 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000889 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000890
891 // Update new top. Use scratch if available.
892 if (scratch.is(no_reg)) {
893 mov(Operand::StaticVariable(new_space_allocation_top), result_end);
894 } else {
895 mov(Operand(scratch, 0), result_end);
896 }
897}
898
ager@chromium.orga1645e22009-09-09 19:27:10 +0000899
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000900void MacroAssembler::AllocateInNewSpace(int object_size,
901 Register result,
902 Register result_end,
903 Register scratch,
904 Label* gc_required,
905 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000906 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000907 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000908 // Trash the registers to simulate an allocation failure.
909 mov(result, Immediate(0x7091));
910 if (result_end.is_valid()) {
911 mov(result_end, Immediate(0x7191));
912 }
913 if (scratch.is_valid()) {
914 mov(scratch, Immediate(0x7291));
915 }
916 }
917 jmp(gc_required);
918 return;
919 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000920 ASSERT(!result.is(result_end));
921
922 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +0000923 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000924
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000925 Register top_reg = result_end.is_valid() ? result_end : result;
926
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000927 // Calculate new top and bail out if new space is exhausted.
928 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000929 ExternalReference::new_space_allocation_limit_address(isolate());
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000930
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000931 if (!top_reg.is(result)) {
932 mov(top_reg, result);
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000933 }
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000934 add(Operand(top_reg), Immediate(object_size));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000935 j(carry, gc_required);
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000936 cmp(top_reg, Operand::StaticVariable(new_space_allocation_limit));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000937 j(above, gc_required);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000938
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000939 // Update allocation top.
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000940 UpdateAllocationTopHelper(top_reg, scratch);
941
942 // Tag result if requested.
943 if (top_reg.is(result)) {
944 if ((flags & TAG_OBJECT) != 0) {
945 sub(Operand(result), Immediate(object_size - kHeapObjectTag));
946 } else {
947 sub(Operand(result), Immediate(object_size));
948 }
949 } else if ((flags & TAG_OBJECT) != 0) {
950 add(Operand(result), Immediate(kHeapObjectTag));
951 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000952}
953
954
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +0000955void MacroAssembler::AllocateInNewSpace(int header_size,
956 ScaleFactor element_size,
957 Register element_count,
958 Register result,
959 Register result_end,
960 Register scratch,
961 Label* gc_required,
962 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000963 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000964 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +0000965 // Trash the registers to simulate an allocation failure.
966 mov(result, Immediate(0x7091));
967 mov(result_end, Immediate(0x7191));
968 if (scratch.is_valid()) {
969 mov(scratch, Immediate(0x7291));
970 }
971 // Register element_count is not modified by the function.
972 }
973 jmp(gc_required);
974 return;
975 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000976 ASSERT(!result.is(result_end));
977
978 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +0000979 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000980
981 // Calculate new top and bail out if new space is exhausted.
982 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000983 ExternalReference::new_space_allocation_limit_address(isolate());
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000984
985 // We assume that element_count*element_size + header_size does not
986 // overflow.
987 lea(result_end, Operand(element_count, element_size, header_size));
988 add(result_end, Operand(result));
989 j(carry, gc_required);
ager@chromium.org18ad94b2009-09-02 08:22:29 +0000990 cmp(result_end, Operand::StaticVariable(new_space_allocation_limit));
991 j(above, gc_required);
992
ager@chromium.orga1645e22009-09-09 19:27:10 +0000993 // Tag result if requested.
994 if ((flags & TAG_OBJECT) != 0) {
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000995 lea(result, Operand(result, kHeapObjectTag));
ager@chromium.orga1645e22009-09-09 19:27:10 +0000996 }
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000997
998 // Update allocation top.
999 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001000}
1001
1002
sgjesse@chromium.orgc5145742009-10-07 09:00:33 +00001003void MacroAssembler::AllocateInNewSpace(Register object_size,
1004 Register result,
1005 Register result_end,
1006 Register scratch,
1007 Label* gc_required,
1008 AllocationFlags flags) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00001009 if (!FLAG_inline_new) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001010 if (emit_debug_code()) {
lrn@chromium.org303ada72010-10-27 09:33:13 +00001011 // Trash the registers to simulate an allocation failure.
1012 mov(result, Immediate(0x7091));
1013 mov(result_end, Immediate(0x7191));
1014 if (scratch.is_valid()) {
1015 mov(scratch, Immediate(0x7291));
1016 }
1017 // object_size is left unchanged by this function.
1018 }
1019 jmp(gc_required);
1020 return;
1021 }
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001022 ASSERT(!result.is(result_end));
1023
1024 // Load address of new object into result.
ager@chromium.orgbeb25712010-11-29 08:02:25 +00001025 LoadAllocationTopHelper(result, scratch, flags);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001026
1027 // Calculate new top and bail out if new space is exhausted.
1028 ExternalReference new_space_allocation_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001029 ExternalReference::new_space_allocation_limit_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001030 if (!object_size.is(result_end)) {
1031 mov(result_end, object_size);
1032 }
1033 add(result_end, Operand(result));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001034 j(carry, gc_required);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001035 cmp(result_end, Operand::StaticVariable(new_space_allocation_limit));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001036 j(above, gc_required);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001037
ager@chromium.orga1645e22009-09-09 19:27:10 +00001038 // Tag result if requested.
1039 if ((flags & TAG_OBJECT) != 0) {
fschneider@chromium.org0c20e672010-01-14 15:28:53 +00001040 lea(result, Operand(result, kHeapObjectTag));
ager@chromium.orga1645e22009-09-09 19:27:10 +00001041 }
fschneider@chromium.org0c20e672010-01-14 15:28:53 +00001042
1043 // Update allocation top.
1044 UpdateAllocationTopHelper(result_end, scratch);
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001045}
1046
1047
1048void MacroAssembler::UndoAllocationInNewSpace(Register object) {
1049 ExternalReference new_space_allocation_top =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001050 ExternalReference::new_space_allocation_top_address(isolate());
ager@chromium.org18ad94b2009-09-02 08:22:29 +00001051
1052 // Make sure the object has no tag before resetting top.
1053 and_(Operand(object), Immediate(~kHeapObjectTagMask));
1054#ifdef DEBUG
1055 cmp(object, Operand::StaticVariable(new_space_allocation_top));
1056 Check(below, "Undo allocation of non allocated memory");
1057#endif
1058 mov(Operand::StaticVariable(new_space_allocation_top), object);
1059}
1060
1061
ager@chromium.org3811b432009-10-28 14:53:37 +00001062void MacroAssembler::AllocateHeapNumber(Register result,
1063 Register scratch1,
1064 Register scratch2,
1065 Label* gc_required) {
1066 // Allocate heap number in new space.
1067 AllocateInNewSpace(HeapNumber::kSize,
1068 result,
1069 scratch1,
1070 scratch2,
1071 gc_required,
1072 TAG_OBJECT);
1073
1074 // Set the map.
1075 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001076 Immediate(isolate()->factory()->heap_number_map()));
ager@chromium.org3811b432009-10-28 14:53:37 +00001077}
1078
1079
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001080void MacroAssembler::AllocateTwoByteString(Register result,
1081 Register length,
1082 Register scratch1,
1083 Register scratch2,
1084 Register scratch3,
1085 Label* gc_required) {
1086 // Calculate the number of bytes needed for the characters in the string while
1087 // observing object alignment.
1088 ASSERT((SeqTwoByteString::kHeaderSize & kObjectAlignmentMask) == 0);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001089 ASSERT(kShortSize == 2);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001090 // scratch1 = length * 2 + kObjectAlignmentMask.
1091 lea(scratch1, Operand(length, length, times_1, kObjectAlignmentMask));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001092 and_(Operand(scratch1), Immediate(~kObjectAlignmentMask));
1093
1094 // Allocate two byte string in new space.
1095 AllocateInNewSpace(SeqTwoByteString::kHeaderSize,
1096 times_1,
1097 scratch1,
1098 result,
1099 scratch2,
1100 scratch3,
1101 gc_required,
1102 TAG_OBJECT);
1103
1104 // Set the map, length and hash field.
1105 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001106 Immediate(isolate()->factory()->string_map()));
ager@chromium.orgac091b72010-05-05 07:34:42 +00001107 mov(scratch1, length);
1108 SmiTag(scratch1);
1109 mov(FieldOperand(result, String::kLengthOffset), scratch1);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001110 mov(FieldOperand(result, String::kHashFieldOffset),
1111 Immediate(String::kEmptyHashField));
1112}
1113
1114
1115void MacroAssembler::AllocateAsciiString(Register result,
1116 Register length,
1117 Register scratch1,
1118 Register scratch2,
1119 Register scratch3,
1120 Label* gc_required) {
1121 // Calculate the number of bytes needed for the characters in the string while
1122 // observing object alignment.
1123 ASSERT((SeqAsciiString::kHeaderSize & kObjectAlignmentMask) == 0);
1124 mov(scratch1, length);
1125 ASSERT(kCharSize == 1);
1126 add(Operand(scratch1), Immediate(kObjectAlignmentMask));
1127 and_(Operand(scratch1), Immediate(~kObjectAlignmentMask));
1128
1129 // Allocate ascii string in new space.
1130 AllocateInNewSpace(SeqAsciiString::kHeaderSize,
1131 times_1,
1132 scratch1,
1133 result,
1134 scratch2,
1135 scratch3,
1136 gc_required,
1137 TAG_OBJECT);
1138
1139 // Set the map, length and hash field.
1140 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001141 Immediate(isolate()->factory()->ascii_string_map()));
ager@chromium.orgac091b72010-05-05 07:34:42 +00001142 mov(scratch1, length);
1143 SmiTag(scratch1);
1144 mov(FieldOperand(result, String::kLengthOffset), scratch1);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001145 mov(FieldOperand(result, String::kHashFieldOffset),
1146 Immediate(String::kEmptyHashField));
1147}
1148
1149
kmillikin@chromium.org3cdd9e12010-09-06 11:39:48 +00001150void MacroAssembler::AllocateAsciiString(Register result,
1151 int length,
1152 Register scratch1,
1153 Register scratch2,
1154 Label* gc_required) {
1155 ASSERT(length > 0);
1156
1157 // Allocate ascii string in new space.
1158 AllocateInNewSpace(SeqAsciiString::SizeFor(length),
1159 result,
1160 scratch1,
1161 scratch2,
1162 gc_required,
1163 TAG_OBJECT);
1164
1165 // Set the map, length and hash field.
1166 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001167 Immediate(isolate()->factory()->ascii_string_map()));
kmillikin@chromium.org3cdd9e12010-09-06 11:39:48 +00001168 mov(FieldOperand(result, String::kLengthOffset),
1169 Immediate(Smi::FromInt(length)));
1170 mov(FieldOperand(result, String::kHashFieldOffset),
1171 Immediate(String::kEmptyHashField));
1172}
1173
1174
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001175void MacroAssembler::AllocateConsString(Register result,
1176 Register scratch1,
1177 Register scratch2,
1178 Label* gc_required) {
1179 // Allocate heap number in new space.
1180 AllocateInNewSpace(ConsString::kSize,
1181 result,
1182 scratch1,
1183 scratch2,
1184 gc_required,
1185 TAG_OBJECT);
1186
1187 // Set the map. The other fields are left uninitialized.
1188 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001189 Immediate(isolate()->factory()->cons_string_map()));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001190}
1191
1192
1193void MacroAssembler::AllocateAsciiConsString(Register result,
1194 Register scratch1,
1195 Register scratch2,
1196 Label* gc_required) {
1197 // Allocate heap number in new space.
1198 AllocateInNewSpace(ConsString::kSize,
1199 result,
1200 scratch1,
1201 scratch2,
1202 gc_required,
1203 TAG_OBJECT);
1204
1205 // Set the map. The other fields are left uninitialized.
1206 mov(FieldOperand(result, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001207 Immediate(isolate()->factory()->cons_ascii_string_map()));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001208}
1209
vegorov@chromium.org21b5e952010-11-23 10:24:40 +00001210
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00001211// Copy memory, byte-by-byte, from source to destination. Not optimized for
1212// long or aligned copies. The contents of scratch and length are destroyed.
1213// Source and destination are incremented by length.
1214// Many variants of movsb, loop unrolling, word moves, and indexed operands
1215// have been tried here already, and this is fastest.
1216// A simpler loop is faster on small copies, but 30% slower on large ones.
1217// The cld() instruction must have been emitted, to set the direction flag(),
1218// before calling this function.
1219void MacroAssembler::CopyBytes(Register source,
1220 Register destination,
1221 Register length,
1222 Register scratch) {
1223 Label loop, done, short_string, short_loop;
1224 // Experimentation shows that the short string loop is faster if length < 10.
1225 cmp(Operand(length), Immediate(10));
1226 j(less_equal, &short_string);
1227
1228 ASSERT(source.is(esi));
1229 ASSERT(destination.is(edi));
1230 ASSERT(length.is(ecx));
1231
1232 // Because source is 4-byte aligned in our uses of this function,
1233 // we keep source aligned for the rep_movs call by copying the odd bytes
1234 // at the end of the ranges.
1235 mov(scratch, Operand(source, length, times_1, -4));
1236 mov(Operand(destination, length, times_1, -4), scratch);
1237 mov(scratch, ecx);
1238 shr(ecx, 2);
1239 rep_movs();
1240 and_(Operand(scratch), Immediate(0x3));
1241 add(destination, Operand(scratch));
1242 jmp(&done);
1243
1244 bind(&short_string);
1245 test(length, Operand(length));
1246 j(zero, &done);
1247
1248 bind(&short_loop);
1249 mov_b(scratch, Operand(source, 0));
1250 mov_b(Operand(destination, 0), scratch);
1251 inc(source);
1252 inc(destination);
1253 dec(length);
1254 j(not_zero, &short_loop);
1255
1256 bind(&done);
vegorov@chromium.org21b5e952010-11-23 10:24:40 +00001257}
1258
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001259
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001260void MacroAssembler::NegativeZeroTest(Register result,
1261 Register op,
1262 Label* then_label) {
1263 Label ok;
1264 test(result, Operand(result));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001265 j(not_zero, &ok);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001266 test(op, Operand(op));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001267 j(sign, then_label);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001268 bind(&ok);
1269}
1270
1271
1272void MacroAssembler::NegativeZeroTest(Register result,
1273 Register op1,
1274 Register op2,
1275 Register scratch,
1276 Label* then_label) {
1277 Label ok;
1278 test(result, Operand(result));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001279 j(not_zero, &ok);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001280 mov(scratch, Operand(op1));
1281 or_(scratch, Operand(op2));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001282 j(sign, then_label);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001283 bind(&ok);
1284}
1285
1286
ager@chromium.org7c537e22008-10-16 08:43:32 +00001287void MacroAssembler::TryGetFunctionPrototype(Register function,
1288 Register result,
1289 Register scratch,
1290 Label* miss) {
1291 // Check that the receiver isn't a smi.
whesse@chromium.org7b260152011-06-20 15:33:18 +00001292 JumpIfSmi(function, miss);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001293
1294 // Check that the function really is a function.
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001295 CmpObjectType(function, JS_FUNCTION_TYPE, result);
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001296 j(not_equal, miss);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001297
1298 // Make sure that the function has an instance prototype.
1299 Label non_instance;
1300 movzx_b(scratch, FieldOperand(result, Map::kBitFieldOffset));
1301 test(scratch, Immediate(1 << Map::kHasNonInstancePrototype));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001302 j(not_zero, &non_instance);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001303
1304 // Get the prototype or initial map from the function.
1305 mov(result,
1306 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
1307
1308 // If the prototype or initial map is the hole, don't return it and
1309 // simply miss the cache instead. This will allow us to allocate a
1310 // prototype object on-demand in the runtime system.
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001311 cmp(Operand(result), Immediate(isolate()->factory()->the_hole_value()));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001312 j(equal, miss);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001313
1314 // If the function does not have an initial map, we're done.
1315 Label done;
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001316 CmpObjectType(result, MAP_TYPE, scratch);
ager@chromium.org7c537e22008-10-16 08:43:32 +00001317 j(not_equal, &done);
1318
1319 // Get the prototype from the initial map.
1320 mov(result, FieldOperand(result, Map::kPrototypeOffset));
1321 jmp(&done);
1322
1323 // Non-instance prototype: Fetch prototype from constructor field
1324 // in initial map.
1325 bind(&non_instance);
1326 mov(result, FieldOperand(result, Map::kConstructorOffset));
1327
1328 // All done.
1329 bind(&done);
1330}
1331
1332
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00001333void MacroAssembler::CallStub(CodeStub* stub, unsigned ast_id) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001334 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +00001335 call(stub->GetCode(), RelocInfo::CODE_TARGET, ast_id);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001336}
1337
1338
lrn@chromium.org303ada72010-10-27 09:33:13 +00001339MaybeObject* MacroAssembler::TryCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001340 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
lrn@chromium.org303ada72010-10-27 09:33:13 +00001341 Object* result;
1342 { MaybeObject* maybe_result = stub->TryGetCode();
1343 if (!maybe_result->ToObject(&result)) return maybe_result;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001344 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001345 call(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001346 return result;
1347}
1348
1349
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001350void MacroAssembler::TailCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001351 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001352 jmp(stub->GetCode(), RelocInfo::CODE_TARGET);
1353}
1354
1355
lrn@chromium.org303ada72010-10-27 09:33:13 +00001356MaybeObject* MacroAssembler::TryTailCallStub(CodeStub* stub) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001357 ASSERT(allow_stub_calls()); // Calls are not allowed in some stubs.
lrn@chromium.org303ada72010-10-27 09:33:13 +00001358 Object* result;
1359 { MaybeObject* maybe_result = stub->TryGetCode();
1360 if (!maybe_result->ToObject(&result)) return maybe_result;
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001361 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001362 jmp(Handle<Code>(Code::cast(result)), RelocInfo::CODE_TARGET);
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001363 return result;
1364}
1365
1366
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001367void MacroAssembler::StubReturn(int argc) {
1368 ASSERT(argc >= 1 && generating_stub());
1369 ret((argc - 1) * kPointerSize);
1370}
1371
1372
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00001373void MacroAssembler::IllegalOperation(int num_arguments) {
1374 if (num_arguments > 0) {
1375 add(Operand(esp), Immediate(num_arguments * kPointerSize));
1376 }
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001377 mov(eax, Immediate(isolate()->factory()->undefined_value()));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001378}
1379
1380
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001381void MacroAssembler::IndexFromHash(Register hash, Register index) {
1382 // The assert checks that the constants for the maximum number of digits
1383 // for an array index cached in the hash field and the number of bits
1384 // reserved for it does not conflict.
1385 ASSERT(TenToThe(String::kMaxCachedArrayIndexLength) <
1386 (1 << String::kArrayIndexValueBits));
1387 // We want the smi-tagged index in key. kArrayIndexValueMask has zeros in
1388 // the low kHashShift bits.
1389 and_(hash, String::kArrayIndexValueMask);
1390 STATIC_ASSERT(String::kHashShift >= kSmiTagSize && kSmiTag == 0);
1391 if (String::kHashShift > kSmiTagSize) {
1392 shr(hash, String::kHashShift - kSmiTagSize);
1393 }
1394 if (!index.is(hash)) {
1395 mov(index, hash);
1396 }
1397}
1398
1399
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001400void MacroAssembler::CallRuntime(Runtime::FunctionId id, int num_arguments) {
1401 CallRuntime(Runtime::FunctionForId(id), num_arguments);
1402}
1403
1404
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001405void MacroAssembler::CallRuntimeSaveDoubles(Runtime::FunctionId id) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001406 const Runtime::Function* function = Runtime::FunctionForId(id);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001407 Set(eax, Immediate(function->nargs));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001408 mov(ebx, Immediate(ExternalReference(function, isolate())));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001409 CEntryStub ces(1);
1410 ces.SaveDoubles();
1411 CallStub(&ces);
1412}
1413
1414
lrn@chromium.org303ada72010-10-27 09:33:13 +00001415MaybeObject* MacroAssembler::TryCallRuntime(Runtime::FunctionId id,
1416 int num_arguments) {
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001417 return TryCallRuntime(Runtime::FunctionForId(id), num_arguments);
1418}
1419
1420
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001421void MacroAssembler::CallRuntime(const Runtime::Function* f,
1422 int num_arguments) {
mads.s.ager31e71382008-08-13 09:32:07 +00001423 // If the expected number of arguments of the runtime function is
1424 // constant, we check that the actual number of arguments match the
1425 // expectation.
1426 if (f->nargs >= 0 && f->nargs != num_arguments) {
kasperl@chromium.org41044eb2008-10-06 08:24:46 +00001427 IllegalOperation(num_arguments);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001428 return;
1429 }
1430
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001431 // TODO(1236192): Most runtime routines don't need the number of
1432 // arguments passed in because it is constant. At some point we
1433 // should remove this need and make the runtime routine entry code
1434 // smarter.
1435 Set(eax, Immediate(num_arguments));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001436 mov(ebx, Immediate(ExternalReference(f, isolate())));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001437 CEntryStub ces(1);
1438 CallStub(&ces);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001439}
1440
1441
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001442MaybeObject* MacroAssembler::TryCallRuntime(const Runtime::Function* f,
lrn@chromium.org303ada72010-10-27 09:33:13 +00001443 int num_arguments) {
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001444 if (f->nargs >= 0 && f->nargs != num_arguments) {
1445 IllegalOperation(num_arguments);
1446 // Since we did not call the stub, there was no allocation failure.
1447 // Return some non-failure object.
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001448 return isolate()->heap()->undefined_value();
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001449 }
1450
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001451 // TODO(1236192): Most runtime routines don't need the number of
1452 // arguments passed in because it is constant. At some point we
1453 // should remove this need and make the runtime routine entry code
1454 // smarter.
1455 Set(eax, Immediate(num_arguments));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001456 mov(ebx, Immediate(ExternalReference(f, isolate())));
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00001457 CEntryStub ces(1);
1458 return TryCallStub(&ces);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001459}
1460
1461
whesse@chromium.orge90029b2010-08-02 11:52:17 +00001462void MacroAssembler::CallExternalReference(ExternalReference ref,
1463 int num_arguments) {
1464 mov(eax, Immediate(num_arguments));
1465 mov(ebx, Immediate(ref));
1466
1467 CEntryStub stub(1);
1468 CallStub(&stub);
1469}
1470
1471
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001472void MacroAssembler::TailCallExternalReference(const ExternalReference& ext,
1473 int num_arguments,
1474 int result_size) {
mads.s.ager31e71382008-08-13 09:32:07 +00001475 // TODO(1236192): Most runtime routines don't need the number of
1476 // arguments passed in because it is constant. At some point we
1477 // should remove this need and make the runtime routine entry code
1478 // smarter.
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001479 Set(eax, Immediate(num_arguments));
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001480 JumpToExternalReference(ext);
1481}
1482
1483
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001484MaybeObject* MacroAssembler::TryTailCallExternalReference(
1485 const ExternalReference& ext, int num_arguments, int result_size) {
1486 // TODO(1236192): Most runtime routines don't need the number of
1487 // arguments passed in because it is constant. At some point we
1488 // should remove this need and make the runtime routine entry code
1489 // smarter.
1490 Set(eax, Immediate(num_arguments));
1491 return TryJumpToExternalReference(ext);
1492}
1493
1494
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001495void MacroAssembler::TailCallRuntime(Runtime::FunctionId fid,
1496 int num_arguments,
1497 int result_size) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001498 TailCallExternalReference(ExternalReference(fid, isolate()),
1499 num_arguments,
1500 result_size);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001501}
1502
1503
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001504MaybeObject* MacroAssembler::TryTailCallRuntime(Runtime::FunctionId fid,
1505 int num_arguments,
1506 int result_size) {
1507 return TryTailCallExternalReference(
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001508 ExternalReference(fid, isolate()), num_arguments, result_size);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001509}
1510
1511
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001512// If true, a Handle<T> returned by value from a function with cdecl calling
1513// convention will be returned directly as a value of location_ field in a
1514// register eax.
1515// If false, it is returned as a pointer to a preallocated by caller memory
1516// region. Pointer to this region should be passed to a function as an
1517// implicit first argument.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001518#if defined(USING_BSD_ABI) || defined(__MINGW32__) || defined(__CYGWIN__)
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001519static const bool kReturnHandlesDirectly = true;
lrn@chromium.org303ada72010-10-27 09:33:13 +00001520#else
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001521static const bool kReturnHandlesDirectly = false;
lrn@chromium.org303ada72010-10-27 09:33:13 +00001522#endif
1523
1524
1525Operand ApiParameterOperand(int index) {
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001526 return Operand(
1527 esp, (index + (kReturnHandlesDirectly ? 0 : 1)) * kPointerSize);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001528}
1529
1530
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001531void MacroAssembler::PrepareCallApiFunction(int argc) {
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001532 if (kReturnHandlesDirectly) {
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001533 EnterApiExitFrame(argc);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001534 // When handles are returned directly we don't have to allocate extra
lrn@chromium.org303ada72010-10-27 09:33:13 +00001535 // space for and pass an out parameter.
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001536 if (emit_debug_code()) {
1537 mov(esi, Immediate(BitCast<int32_t>(kZapValue)));
1538 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001539 } else {
1540 // We allocate two additional slots: return value and pointer to it.
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001541 EnterApiExitFrame(argc + 2);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001542
lrn@chromium.org303ada72010-10-27 09:33:13 +00001543 // The argument slots are filled as follows:
1544 //
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001545 // n + 1: output slot
lrn@chromium.org303ada72010-10-27 09:33:13 +00001546 // n: arg n
1547 // ...
1548 // 1: arg1
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001549 // 0: pointer to the output slot
lrn@chromium.org303ada72010-10-27 09:33:13 +00001550
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001551 lea(esi, Operand(esp, (argc + 1) * kPointerSize));
1552 mov(Operand(esp, 0 * kPointerSize), esi);
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001553 if (emit_debug_code()) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001554 mov(Operand(esi, 0), Immediate(0));
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001555 }
1556 }
1557}
1558
1559
1560MaybeObject* MacroAssembler::TryCallApiFunctionAndReturn(ApiFunction* function,
1561 int stack_space) {
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001562 ExternalReference next_address =
1563 ExternalReference::handle_scope_next_address();
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001564 ExternalReference limit_address =
1565 ExternalReference::handle_scope_limit_address();
lrn@chromium.org303ada72010-10-27 09:33:13 +00001566 ExternalReference level_address =
1567 ExternalReference::handle_scope_level_address();
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001568
lrn@chromium.org303ada72010-10-27 09:33:13 +00001569 // Allocate HandleScope in callee-save registers.
1570 mov(ebx, Operand::StaticVariable(next_address));
1571 mov(edi, Operand::StaticVariable(limit_address));
1572 add(Operand::StaticVariable(level_address), Immediate(1));
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001573
lrn@chromium.org303ada72010-10-27 09:33:13 +00001574 // Call the api function!
1575 call(function->address(), RelocInfo::RUNTIME_ENTRY);
1576
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001577 if (!kReturnHandlesDirectly) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001578 // PrepareCallApiFunction saved pointer to the output slot into
1579 // callee-save register esi.
1580 mov(eax, Operand(esi, 0));
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001581 }
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001582
lrn@chromium.org303ada72010-10-27 09:33:13 +00001583 Label empty_handle;
1584 Label prologue;
1585 Label promote_scheduled_exception;
1586 Label delete_allocated_handles;
1587 Label leave_exit_frame;
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001588
lrn@chromium.org303ada72010-10-27 09:33:13 +00001589 // Check if the result handle holds 0.
1590 test(eax, Operand(eax));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001591 j(zero, &empty_handle);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001592 // It was non-zero. Dereference to get the result value.
1593 mov(eax, Operand(eax, 0));
1594 bind(&prologue);
1595 // No more valid handles (the result handle was the last one). Restore
1596 // previous handle scope.
1597 mov(Operand::StaticVariable(next_address), ebx);
1598 sub(Operand::StaticVariable(level_address), Immediate(1));
1599 Assert(above_equal, "Invalid HandleScope level");
1600 cmp(edi, Operand::StaticVariable(limit_address));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001601 j(not_equal, &delete_allocated_handles);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001602 bind(&leave_exit_frame);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001603
lrn@chromium.org303ada72010-10-27 09:33:13 +00001604 // Check if the function scheduled an exception.
1605 ExternalReference scheduled_exception_address =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001606 ExternalReference::scheduled_exception_address(isolate());
lrn@chromium.org303ada72010-10-27 09:33:13 +00001607 cmp(Operand::StaticVariable(scheduled_exception_address),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001608 Immediate(isolate()->factory()->the_hole_value()));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001609 j(not_equal, &promote_scheduled_exception);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001610 LeaveApiExitFrame();
1611 ret(stack_space * kPointerSize);
lrn@chromium.org303ada72010-10-27 09:33:13 +00001612 bind(&promote_scheduled_exception);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001613 MaybeObject* result =
1614 TryTailCallRuntime(Runtime::kPromoteScheduledException, 0, 1);
1615 if (result->IsFailure()) {
1616 return result;
1617 }
lrn@chromium.org303ada72010-10-27 09:33:13 +00001618 bind(&empty_handle);
1619 // It was zero; the result is undefined.
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001620 mov(eax, isolate()->factory()->undefined_value());
lrn@chromium.org303ada72010-10-27 09:33:13 +00001621 jmp(&prologue);
kmillikin@chromium.org2d5475f2009-12-20 18:15:52 +00001622
lrn@chromium.org303ada72010-10-27 09:33:13 +00001623 // HandleScope limit has changed. Delete allocated extensions.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001624 ExternalReference delete_extensions =
1625 ExternalReference::delete_handle_scope_extensions(isolate());
lrn@chromium.org303ada72010-10-27 09:33:13 +00001626 bind(&delete_allocated_handles);
1627 mov(Operand::StaticVariable(limit_address), edi);
1628 mov(edi, eax);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001629 mov(Operand(esp, 0), Immediate(ExternalReference::isolate_address()));
1630 mov(eax, Immediate(delete_extensions));
lrn@chromium.org303ada72010-10-27 09:33:13 +00001631 call(Operand(eax));
1632 mov(eax, edi);
1633 jmp(&leave_exit_frame);
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001634
1635 return result;
ager@chromium.orgc4c92722009-11-18 14:12:51 +00001636}
1637
1638
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00001639void MacroAssembler::JumpToExternalReference(const ExternalReference& ext) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001640 // Set the entry point and jump to the C entry runtime stub.
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001641 mov(ebx, Immediate(ext));
ager@chromium.orga1645e22009-09-09 19:27:10 +00001642 CEntryStub ces(1);
ager@chromium.org236ad962008-09-25 09:45:57 +00001643 jmp(ces.GetCode(), RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001644}
1645
1646
erik.corry@gmail.com4a6c3272010-11-18 12:04:40 +00001647MaybeObject* MacroAssembler::TryJumpToExternalReference(
1648 const ExternalReference& ext) {
1649 // Set the entry point and jump to the C entry runtime stub.
1650 mov(ebx, Immediate(ext));
1651 CEntryStub ces(1);
1652 return TryTailCallStub(&ces);
1653}
1654
1655
danno@chromium.org40cb8782011-05-25 07:58:50 +00001656void MacroAssembler::SetCallKind(Register dst, CallKind call_kind) {
1657 // This macro takes the dst register to make the code more readable
1658 // at the call sites. However, the dst register has to be ecx to
1659 // follow the calling convention which requires the call type to be
1660 // in ecx.
1661 ASSERT(dst.is(ecx));
1662 if (call_kind == CALL_AS_FUNCTION) {
1663 // Set to some non-zero smi by updating the least significant
1664 // byte.
1665 mov_b(Operand(dst), 1 << kSmiTagSize);
1666 } else {
1667 // Set to smi zero by clearing the register.
1668 xor_(dst, Operand(dst));
1669 }
1670}
1671
1672
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001673void MacroAssembler::InvokePrologue(const ParameterCount& expected,
1674 const ParameterCount& actual,
1675 Handle<Code> code_constant,
1676 const Operand& code_operand,
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001677 Label* done,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001678 InvokeFlag flag,
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001679 Label::Distance done_near,
danno@chromium.org40cb8782011-05-25 07:58:50 +00001680 const CallWrapper& call_wrapper,
1681 CallKind call_kind) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001682 bool definitely_matches = false;
1683 Label invoke;
1684 if (expected.is_immediate()) {
1685 ASSERT(actual.is_immediate());
1686 if (expected.immediate() == actual.immediate()) {
1687 definitely_matches = true;
1688 } else {
1689 mov(eax, actual.immediate());
kasperl@chromium.orgb9123622008-09-17 14:05:56 +00001690 const int sentinel = SharedFunctionInfo::kDontAdaptArgumentsSentinel;
1691 if (expected.immediate() == sentinel) {
1692 // Don't worry about adapting arguments for builtins that
1693 // don't want that done. Skip adaption code by making it look
1694 // like we have a match between expected and actual number of
1695 // arguments.
1696 definitely_matches = true;
1697 } else {
1698 mov(ebx, expected.immediate());
1699 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001700 }
1701 } else {
1702 if (actual.is_immediate()) {
1703 // Expected is in register, actual is immediate. This is the
1704 // case when we invoke function values without going through the
1705 // IC mechanism.
1706 cmp(expected.reg(), actual.immediate());
1707 j(equal, &invoke);
1708 ASSERT(expected.reg().is(ebx));
1709 mov(eax, actual.immediate());
1710 } else if (!expected.reg().is(actual.reg())) {
1711 // Both expected and actual are in (different) registers. This
1712 // is the case when we invoke functions using call and apply.
1713 cmp(expected.reg(), Operand(actual.reg()));
1714 j(equal, &invoke);
1715 ASSERT(actual.reg().is(eax));
1716 ASSERT(expected.reg().is(ebx));
1717 }
1718 }
1719
1720 if (!definitely_matches) {
1721 Handle<Code> adaptor =
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00001722 isolate()->builtins()->ArgumentsAdaptorTrampoline();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001723 if (!code_constant.is_null()) {
ager@chromium.org3bf7b912008-11-17 09:09:45 +00001724 mov(edx, Immediate(code_constant));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001725 add(Operand(edx), Immediate(Code::kHeaderSize - kHeapObjectTag));
1726 } else if (!code_operand.is_reg(edx)) {
1727 mov(edx, code_operand);
1728 }
1729
1730 if (flag == CALL_FUNCTION) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001731 call_wrapper.BeforeCall(CallSize(adaptor, RelocInfo::CODE_TARGET));
danno@chromium.org40cb8782011-05-25 07:58:50 +00001732 SetCallKind(ecx, call_kind);
ager@chromium.org236ad962008-09-25 09:45:57 +00001733 call(adaptor, RelocInfo::CODE_TARGET);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001734 call_wrapper.AfterCall();
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001735 jmp(done, done_near);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001736 } else {
danno@chromium.org40cb8782011-05-25 07:58:50 +00001737 SetCallKind(ecx, call_kind);
ager@chromium.org236ad962008-09-25 09:45:57 +00001738 jmp(adaptor, RelocInfo::CODE_TARGET);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001739 }
1740 bind(&invoke);
1741 }
1742}
1743
1744
1745void MacroAssembler::InvokeCode(const Operand& code,
1746 const ParameterCount& expected,
1747 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001748 InvokeFlag flag,
danno@chromium.org40cb8782011-05-25 07:58:50 +00001749 const CallWrapper& call_wrapper,
1750 CallKind call_kind) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001751 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001752 InvokePrologue(expected, actual, Handle<Code>::null(), code,
danno@chromium.org40cb8782011-05-25 07:58:50 +00001753 &done, flag, Label::kNear, call_wrapper,
1754 call_kind);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001755 if (flag == CALL_FUNCTION) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001756 call_wrapper.BeforeCall(CallSize(code));
danno@chromium.org40cb8782011-05-25 07:58:50 +00001757 SetCallKind(ecx, call_kind);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001758 call(code);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001759 call_wrapper.AfterCall();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001760 } else {
1761 ASSERT(flag == JUMP_FUNCTION);
danno@chromium.org40cb8782011-05-25 07:58:50 +00001762 SetCallKind(ecx, call_kind);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001763 jmp(code);
1764 }
1765 bind(&done);
1766}
1767
1768
1769void MacroAssembler::InvokeCode(Handle<Code> code,
1770 const ParameterCount& expected,
1771 const ParameterCount& actual,
ager@chromium.org236ad962008-09-25 09:45:57 +00001772 RelocInfo::Mode rmode,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001773 InvokeFlag flag,
danno@chromium.org40cb8782011-05-25 07:58:50 +00001774 const CallWrapper& call_wrapper,
1775 CallKind call_kind) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001776 Label done;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001777 Operand dummy(eax);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001778 InvokePrologue(expected, actual, code, dummy, &done, flag, Label::kNear,
danno@chromium.org40cb8782011-05-25 07:58:50 +00001779 call_wrapper, call_kind);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001780 if (flag == CALL_FUNCTION) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001781 call_wrapper.BeforeCall(CallSize(code, rmode));
danno@chromium.org40cb8782011-05-25 07:58:50 +00001782 SetCallKind(ecx, call_kind);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001783 call(code, rmode);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001784 call_wrapper.AfterCall();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001785 } else {
1786 ASSERT(flag == JUMP_FUNCTION);
danno@chromium.org40cb8782011-05-25 07:58:50 +00001787 SetCallKind(ecx, call_kind);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001788 jmp(code, rmode);
1789 }
1790 bind(&done);
1791}
1792
1793
1794void MacroAssembler::InvokeFunction(Register fun,
1795 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001796 InvokeFlag flag,
danno@chromium.org40cb8782011-05-25 07:58:50 +00001797 const CallWrapper& call_wrapper,
1798 CallKind call_kind) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001799 ASSERT(fun.is(edi));
1800 mov(edx, FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset));
1801 mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
1802 mov(ebx, FieldOperand(edx, SharedFunctionInfo::kFormalParameterCountOffset));
ricow@chromium.org30ce4112010-05-31 10:38:25 +00001803 SmiUntag(ebx);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001804
1805 ParameterCount expected(ebx);
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001806 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
danno@chromium.org40cb8782011-05-25 07:58:50 +00001807 expected, actual, flag, call_wrapper, call_kind);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001808}
1809
1810
ager@chromium.org5c838252010-02-19 08:53:10 +00001811void MacroAssembler::InvokeFunction(JSFunction* function,
1812 const ParameterCount& actual,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001813 InvokeFlag flag,
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001814 const CallWrapper& call_wrapper,
1815 CallKind call_kind) {
ager@chromium.org5c838252010-02-19 08:53:10 +00001816 ASSERT(function->is_compiled());
1817 // Get the function and setup the context.
1818 mov(edi, Immediate(Handle<JSFunction>(function)));
1819 mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001820
ager@chromium.org5c838252010-02-19 08:53:10 +00001821 ParameterCount expected(function->shared()->formal_parameter_count());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001822 if (V8::UseCrankshaft()) {
1823 // TODO(kasperl): For now, we always call indirectly through the
1824 // code field in the function to allow recompilation to take effect
1825 // without changing any of the call sites.
1826 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001827 expected, actual, flag, call_wrapper, call_kind);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001828 } else {
1829 Handle<Code> code(function->code());
1830 InvokeCode(code, expected, actual, RelocInfo::CODE_TARGET,
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001831 flag, call_wrapper, call_kind);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001832 }
ager@chromium.org5c838252010-02-19 08:53:10 +00001833}
1834
1835
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001836void MacroAssembler::InvokeBuiltin(Builtins::JavaScript id,
1837 InvokeFlag flag,
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001838 const CallWrapper& call_wrapper) {
kasperl@chromium.org7be3c992009-03-12 07:19:55 +00001839 // Calls are not allowed in some stubs.
kasper.lund7276f142008-07-30 08:49:36 +00001840 ASSERT(flag == JUMP_FUNCTION || allow_stub_calls());
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001841
1842 // Rely on the assertion to check that the number of provided
1843 // arguments match the expected number of arguments. Fake a
1844 // parameter count to avoid emitting code to do the check.
1845 ParameterCount expected(0);
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001846 GetBuiltinFunction(edi, id);
1847 InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001848 expected, expected, flag, call_wrapper, CALL_AS_METHOD);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001849}
1850
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001851void MacroAssembler::GetBuiltinFunction(Register target,
1852 Builtins::JavaScript id) {
1853 // Load the JavaScript builtin function from the builtins object.
1854 mov(target, Operand(esi, Context::SlotOffset(Context::GLOBAL_INDEX)));
1855 mov(target, FieldOperand(target, GlobalObject::kBuiltinsOffset));
1856 mov(target, FieldOperand(target,
1857 JSBuiltinsObject::OffsetOfFunctionWithId(id)));
1858}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001859
1860void MacroAssembler::GetBuiltinEntry(Register target, Builtins::JavaScript id) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00001861 ASSERT(!target.is(edi));
ager@chromium.org5c838252010-02-19 08:53:10 +00001862 // Load the JavaScript builtin function from the builtins object.
erik.corry@gmail.com145eff52010-08-23 11:36:18 +00001863 GetBuiltinFunction(edi, id);
1864 // Load the code entry point from the function into the target register.
1865 mov(target, FieldOperand(edi, JSFunction::kCodeEntryOffset));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001866}
1867
1868
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001869void MacroAssembler::LoadContext(Register dst, int context_chain_length) {
1870 if (context_chain_length > 0) {
1871 // Move up the chain of contexts to the context containing the slot.
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00001872 mov(dst, Operand(esi, Context::SlotOffset(Context::PREVIOUS_INDEX)));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001873 for (int i = 1; i < context_chain_length; i++) {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00001874 mov(dst, Operand(dst, Context::SlotOffset(Context::PREVIOUS_INDEX)));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001875 }
ricow@chromium.org83aa5492011-02-07 12:42:56 +00001876 } else {
1877 // Slot is in the current function context. Move it into the
1878 // destination register in case we store into it (the write barrier
1879 // cannot be allowed to destroy the context in esi).
1880 mov(dst, esi);
1881 }
1882
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001883 // We should not have found a with context by walking the context chain
1884 // (i.e., the static scope chain and runtime context chain do not agree).
1885 // A variable occurring in such a scope should have slot type LOOKUP and
1886 // not CONTEXT.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001887 if (emit_debug_code()) {
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001888 cmp(FieldOperand(dst, HeapObject::kMapOffset),
1889 isolate()->factory()->with_context_map());
1890 Check(not_equal, "Variable resolved to with context.");
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001891 }
1892}
1893
1894
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001895void MacroAssembler::LoadGlobalFunction(int index, Register function) {
1896 // Load the global or builtins object from the current context.
1897 mov(function, Operand(esi, Context::SlotOffset(Context::GLOBAL_INDEX)));
1898 // Load the global context from the global or builtins object.
1899 mov(function, FieldOperand(function, GlobalObject::kGlobalContextOffset));
1900 // Load the function from the global context.
1901 mov(function, Operand(function, Context::SlotOffset(index)));
1902}
1903
1904
1905void MacroAssembler::LoadGlobalFunctionInitialMap(Register function,
1906 Register map) {
1907 // Load the initial map. The global functions all have initial maps.
1908 mov(map, FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001909 if (emit_debug_code()) {
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001910 Label ok, fail;
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +00001911 CheckMap(map, isolate()->factory()->meta_map(), &fail, DO_SMI_CHECK);
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +00001912 jmp(&ok);
1913 bind(&fail);
1914 Abort("Global functions must have initial map");
1915 bind(&ok);
1916 }
1917}
1918
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00001919
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001920// Store the value in register src in the safepoint register stack
1921// slot for register dst.
1922void MacroAssembler::StoreToSafepointRegisterSlot(Register dst, Register src) {
1923 mov(SafepointRegisterSlot(dst), src);
1924}
1925
1926
1927void MacroAssembler::StoreToSafepointRegisterSlot(Register dst, Immediate src) {
1928 mov(SafepointRegisterSlot(dst), src);
1929}
1930
1931
1932void MacroAssembler::LoadFromSafepointRegisterSlot(Register dst, Register src) {
1933 mov(dst, SafepointRegisterSlot(src));
1934}
1935
1936
1937Operand MacroAssembler::SafepointRegisterSlot(Register reg) {
1938 return Operand(esp, SafepointRegisterStackIndex(reg.code()) * kPointerSize);
1939}
1940
1941
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001942int MacroAssembler::SafepointRegisterStackIndex(int reg_code) {
1943 // The registers are pushed starting with the lowest encoding,
1944 // which means that lowest encodings are furthest away from
1945 // the stack pointer.
1946 ASSERT(reg_code >= 0 && reg_code < kNumSafepointRegisters);
1947 return kNumSafepointRegisters - reg_code - 1;
1948}
1949
1950
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001951void MacroAssembler::Ret() {
1952 ret(0);
1953}
1954
1955
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001956void MacroAssembler::Ret(int bytes_dropped, Register scratch) {
1957 if (is_uint16(bytes_dropped)) {
1958 ret(bytes_dropped);
1959 } else {
1960 pop(scratch);
1961 add(Operand(esp), Immediate(bytes_dropped));
1962 push(scratch);
1963 ret(0);
1964 }
1965}
1966
1967
1968
1969
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001970void MacroAssembler::Drop(int stack_elements) {
1971 if (stack_elements > 0) {
1972 add(Operand(esp), Immediate(stack_elements * kPointerSize));
1973 }
1974}
1975
1976
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +00001977void MacroAssembler::Move(Register dst, Register src) {
1978 if (!dst.is(src)) {
1979 mov(dst, src);
1980 }
1981}
1982
1983
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +00001984void MacroAssembler::Move(Register dst, Handle<Object> value) {
1985 mov(dst, value);
1986}
1987
1988
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00001989void MacroAssembler::SetCounter(StatsCounter* counter, int value) {
1990 if (FLAG_native_code_counters && counter->Enabled()) {
1991 mov(Operand::StaticVariable(ExternalReference(counter)), Immediate(value));
1992 }
1993}
1994
1995
1996void MacroAssembler::IncrementCounter(StatsCounter* counter, int value) {
1997 ASSERT(value > 0);
1998 if (FLAG_native_code_counters && counter->Enabled()) {
1999 Operand operand = Operand::StaticVariable(ExternalReference(counter));
2000 if (value == 1) {
2001 inc(operand);
2002 } else {
2003 add(operand, Immediate(value));
2004 }
2005 }
2006}
2007
2008
2009void MacroAssembler::DecrementCounter(StatsCounter* counter, int value) {
2010 ASSERT(value > 0);
2011 if (FLAG_native_code_counters && counter->Enabled()) {
2012 Operand operand = Operand::StaticVariable(ExternalReference(counter));
2013 if (value == 1) {
2014 dec(operand);
2015 } else {
2016 sub(operand, Immediate(value));
2017 }
2018 }
2019}
2020
2021
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002022void MacroAssembler::IncrementCounter(Condition cc,
2023 StatsCounter* counter,
2024 int value) {
2025 ASSERT(value > 0);
2026 if (FLAG_native_code_counters && counter->Enabled()) {
2027 Label skip;
2028 j(NegateCondition(cc), &skip);
2029 pushfd();
2030 IncrementCounter(counter, value);
2031 popfd();
2032 bind(&skip);
2033 }
2034}
2035
2036
2037void MacroAssembler::DecrementCounter(Condition cc,
2038 StatsCounter* counter,
2039 int value) {
2040 ASSERT(value > 0);
2041 if (FLAG_native_code_counters && counter->Enabled()) {
2042 Label skip;
2043 j(NegateCondition(cc), &skip);
2044 pushfd();
2045 DecrementCounter(counter, value);
2046 popfd();
2047 bind(&skip);
2048 }
2049}
2050
2051
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002052void MacroAssembler::Assert(Condition cc, const char* msg) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00002053 if (emit_debug_code()) Check(cc, msg);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002054}
2055
2056
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00002057void MacroAssembler::AssertFastElements(Register elements) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00002058 if (emit_debug_code()) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002059 Factory* factory = isolate()->factory();
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00002060 Label ok;
2061 cmp(FieldOperand(elements, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002062 Immediate(factory->fixed_array_map()));
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00002063 j(equal, &ok);
2064 cmp(FieldOperand(elements, HeapObject::kMapOffset),
svenpanne@chromium.org84bcc552011-07-18 09:50:57 +00002065 Immediate(factory->fixed_double_array_map()));
2066 j(equal, &ok);
2067 cmp(FieldOperand(elements, HeapObject::kMapOffset),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002068 Immediate(factory->fixed_cow_array_map()));
ricow@chromium.org0b9f8502010-08-18 07:45:01 +00002069 j(equal, &ok);
2070 Abort("JSObject with fast elements map has slow elements");
2071 bind(&ok);
2072 }
2073}
2074
2075
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002076void MacroAssembler::Check(Condition cc, const char* msg) {
2077 Label L;
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00002078 j(cc, &L);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002079 Abort(msg);
2080 // will not return here
2081 bind(&L);
2082}
2083
2084
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002085void MacroAssembler::CheckStackAlignment() {
2086 int frame_alignment = OS::ActivationFrameAlignment();
2087 int frame_alignment_mask = frame_alignment - 1;
2088 if (frame_alignment > kPointerSize) {
2089 ASSERT(IsPowerOf2(frame_alignment));
2090 Label alignment_as_expected;
2091 test(esp, Immediate(frame_alignment_mask));
2092 j(zero, &alignment_as_expected);
2093 // Abort if stack is not aligned.
2094 int3();
2095 bind(&alignment_as_expected);
2096 }
2097}
2098
2099
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002100void MacroAssembler::Abort(const char* msg) {
2101 // We want to pass the msg string like a smi to avoid GC
2102 // problems, however msg is not guaranteed to be aligned
2103 // properly. Instead, we pass an aligned pointer that is
ager@chromium.org32912102009-01-16 10:38:43 +00002104 // a proper v8 smi, but also pass the alignment difference
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002105 // from the real pointer as a smi.
2106 intptr_t p1 = reinterpret_cast<intptr_t>(msg);
2107 intptr_t p0 = (p1 & ~kSmiTagMask) + kSmiTag;
2108 ASSERT(reinterpret_cast<Object*>(p0)->IsSmi());
2109#ifdef DEBUG
2110 if (msg != NULL) {
2111 RecordComment("Abort message: ");
2112 RecordComment(msg);
2113 }
2114#endif
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002115 // Disable stub call restrictions to always allow calls to abort.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002116 AllowStubCallsScope allow_scope(this, true);
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002117
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002118 push(eax);
2119 push(Immediate(p0));
2120 push(Immediate(reinterpret_cast<intptr_t>(Smi::FromInt(p1 - p0))));
2121 CallRuntime(Runtime::kAbort, 2);
2122 // will not return here
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +00002123 int3();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002124}
2125
2126
danno@chromium.org40cb8782011-05-25 07:58:50 +00002127void MacroAssembler::LoadInstanceDescriptors(Register map,
2128 Register descriptors) {
2129 mov(descriptors,
2130 FieldOperand(map, Map::kInstanceDescriptorsOrBitField3Offset));
2131 Label not_smi;
2132 JumpIfNotSmi(descriptors, &not_smi);
2133 mov(descriptors, isolate()->factory()->empty_descriptor_array());
2134 bind(&not_smi);
2135}
2136
2137
fschneider@chromium.orgc20610a2010-09-22 09:44:58 +00002138void MacroAssembler::LoadPowerOf2(XMMRegister dst,
2139 Register scratch,
2140 int power) {
2141 ASSERT(is_uintn(power + HeapNumber::kExponentBias,
2142 HeapNumber::kExponentBits));
2143 mov(scratch, Immediate(power + HeapNumber::kExponentBias));
2144 movd(dst, Operand(scratch));
2145 psllq(dst, HeapNumber::kMantissaBits);
2146}
2147
2148
ager@chromium.org5c838252010-02-19 08:53:10 +00002149void MacroAssembler::JumpIfInstanceTypeIsNotSequentialAscii(
2150 Register instance_type,
2151 Register scratch,
whesse@chromium.orgcec079d2010-03-22 14:44:04 +00002152 Label* failure) {
ager@chromium.org5c838252010-02-19 08:53:10 +00002153 if (!scratch.is(instance_type)) {
2154 mov(scratch, instance_type);
2155 }
2156 and_(scratch,
2157 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask);
2158 cmp(scratch, kStringTag | kSeqStringTag | kAsciiStringTag);
2159 j(not_equal, failure);
2160}
2161
2162
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002163void MacroAssembler::JumpIfNotBothSequentialAsciiStrings(Register object1,
2164 Register object2,
2165 Register scratch1,
2166 Register scratch2,
2167 Label* failure) {
2168 // Check that both objects are not smis.
2169 ASSERT_EQ(0, kSmiTag);
2170 mov(scratch1, Operand(object1));
2171 and_(scratch1, Operand(object2));
whesse@chromium.org7b260152011-06-20 15:33:18 +00002172 JumpIfSmi(scratch1, failure);
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +00002173
2174 // Load instance type for both strings.
2175 mov(scratch1, FieldOperand(object1, HeapObject::kMapOffset));
2176 mov(scratch2, FieldOperand(object2, HeapObject::kMapOffset));
2177 movzx_b(scratch1, FieldOperand(scratch1, Map::kInstanceTypeOffset));
2178 movzx_b(scratch2, FieldOperand(scratch2, Map::kInstanceTypeOffset));
2179
2180 // Check that both are flat ascii strings.
2181 const int kFlatAsciiStringMask =
2182 kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
2183 const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
2184 // Interleave bits from both instance types and compare them in one check.
2185 ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
2186 and_(scratch1, kFlatAsciiStringMask);
2187 and_(scratch2, kFlatAsciiStringMask);
2188 lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
2189 cmp(scratch1, kFlatAsciiStringTag | (kFlatAsciiStringTag << 3));
2190 j(not_equal, failure);
2191}
2192
2193
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002194void MacroAssembler::PrepareCallCFunction(int num_arguments, Register scratch) {
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002195 int frame_alignment = OS::ActivationFrameAlignment();
2196 if (frame_alignment != 0) {
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002197 // Make stack end at alignment and make room for num_arguments words
2198 // and the original value of esp.
2199 mov(scratch, esp);
2200 sub(Operand(esp), Immediate((num_arguments + 1) * kPointerSize));
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002201 ASSERT(IsPowerOf2(frame_alignment));
2202 and_(esp, -frame_alignment);
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002203 mov(Operand(esp, num_arguments * kPointerSize), scratch);
2204 } else {
2205 sub(Operand(esp), Immediate(num_arguments * kPointerSize));
2206 }
2207}
2208
2209
2210void MacroAssembler::CallCFunction(ExternalReference function,
2211 int num_arguments) {
2212 // Trashing eax is ok as it will be the return value.
2213 mov(Operand(eax), Immediate(function));
2214 CallCFunction(eax, num_arguments);
2215}
2216
2217
2218void MacroAssembler::CallCFunction(Register function,
2219 int num_arguments) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002220 // Check stack alignment.
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00002221 if (emit_debug_code()) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +00002222 CheckStackAlignment();
2223 }
2224
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002225 call(Operand(function));
2226 if (OS::ActivationFrameAlignment() != 0) {
2227 mov(esp, Operand(esp, num_arguments * kPointerSize));
2228 } else {
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002229 add(Operand(esp), Immediate(num_arguments * kPointerSize));
ager@chromium.orgce5e87b2010-03-10 10:24:18 +00002230 }
2231}
2232
2233
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002234CodePatcher::CodePatcher(byte* address, int size)
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002235 : address_(address),
2236 size_(size),
2237 masm_(Isolate::Current(), address, size + Assembler::kGap) {
ager@chromium.org32912102009-01-16 10:38:43 +00002238 // Create a new macro assembler pointing to the address of the code to patch.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002239 // The size is adjusted with kGap on order for the assembler to generate size
2240 // bytes of instructions without failing with buffer size constraints.
2241 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2242}
2243
2244
2245CodePatcher::~CodePatcher() {
2246 // Indicate that code has changed.
2247 CPU::FlushICache(address_, size_);
2248
2249 // Check that the code was patched as expected.
2250 ASSERT(masm_.pc_ == address_ + size_);
2251 ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2252}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002253
2254
2255} } // namespace v8::internal
erik.corry@gmail.com9dfbea42010-05-21 12:58:28 +00002256
2257#endif // V8_TARGET_ARCH_IA32