Merge remote branch 'origin/v0.6'
[platform/upstream/nodejs.git] / deps / v8 / src / ia32 / macro-assembler-ia32.cc
1 // Copyright 2011 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are
4 // met:
5 //
6 //     * Redistributions of source code must retain the above copyright
7 //       notice, this list of conditions and the following disclaimer.
8 //     * Redistributions in binary form must reproduce the above
9 //       copyright notice, this list of conditions and the following
10 //       disclaimer in the documentation and/or other materials provided
11 //       with the distribution.
12 //     * Neither the name of Google Inc. nor the names of its
13 //       contributors may be used to endorse or promote products derived
14 //       from this software without specific prior written permission.
15 //
16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28 #include "v8.h"
29
30 #if defined(V8_TARGET_ARCH_IA32)
31
32 #include "bootstrapper.h"
33 #include "codegen.h"
34 #include "debug.h"
35 #include "runtime.h"
36 #include "serialize.h"
37
38 namespace v8 {
39 namespace internal {
40
41 // -------------------------------------------------------------------------
42 // MacroAssembler implementation.
43
44 MacroAssembler::MacroAssembler(Isolate* arg_isolate, void* buffer, int size)
45     : Assembler(arg_isolate, buffer, size),
46       generating_stub_(false),
47       allow_stub_calls_(true),
48       has_frame_(false) {
49   if (isolate() != NULL) {
50     code_object_ = Handle<Object>(isolate()->heap()->undefined_value(),
51                                   isolate());
52   }
53 }
54
55
56 void MacroAssembler::InNewSpace(
57     Register object,
58     Register scratch,
59     Condition cc,
60     Label* condition_met,
61     Label::Distance condition_met_distance) {
62   ASSERT(cc == equal || cc == not_equal);
63   if (scratch.is(object)) {
64     and_(scratch, Immediate(~Page::kPageAlignmentMask));
65   } else {
66     mov(scratch, Immediate(~Page::kPageAlignmentMask));
67     and_(scratch, object);
68   }
69   // Check that we can use a test_b.
70   ASSERT(MemoryChunk::IN_FROM_SPACE < 8);
71   ASSERT(MemoryChunk::IN_TO_SPACE < 8);
72   int mask = (1 << MemoryChunk::IN_FROM_SPACE)
73            | (1 << MemoryChunk::IN_TO_SPACE);
74   // If non-zero, the page belongs to new-space.
75   test_b(Operand(scratch, MemoryChunk::kFlagsOffset),
76          static_cast<uint8_t>(mask));
77   j(cc, condition_met, condition_met_distance);
78 }
79
80
81 void MacroAssembler::RememberedSetHelper(
82     Register object,  // Only used for debug checks.
83     Register addr,
84     Register scratch,
85     SaveFPRegsMode save_fp,
86     MacroAssembler::RememberedSetFinalAction and_then) {
87   Label done;
88   if (FLAG_debug_code) {
89     Label ok;
90     JumpIfNotInNewSpace(object, scratch, &ok, Label::kNear);
91     int3();
92     bind(&ok);
93   }
94   // Load store buffer top.
95   ExternalReference store_buffer =
96       ExternalReference::store_buffer_top(isolate());
97   mov(scratch, Operand::StaticVariable(store_buffer));
98   // Store pointer to buffer.
99   mov(Operand(scratch, 0), addr);
100   // Increment buffer top.
101   add(scratch, Immediate(kPointerSize));
102   // Write back new top of buffer.
103   mov(Operand::StaticVariable(store_buffer), scratch);
104   // Call stub on end of buffer.
105   // Check for end of buffer.
106   test(scratch, Immediate(StoreBuffer::kStoreBufferOverflowBit));
107   if (and_then == kReturnAtEnd) {
108     Label buffer_overflowed;
109     j(not_equal, &buffer_overflowed, Label::kNear);
110     ret(0);
111     bind(&buffer_overflowed);
112   } else {
113     ASSERT(and_then == kFallThroughAtEnd);
114     j(equal, &done, Label::kNear);
115   }
116   StoreBufferOverflowStub store_buffer_overflow =
117       StoreBufferOverflowStub(save_fp);
118   CallStub(&store_buffer_overflow);
119   if (and_then == kReturnAtEnd) {
120     ret(0);
121   } else {
122     ASSERT(and_then == kFallThroughAtEnd);
123     bind(&done);
124   }
125 }
126
127
128 void MacroAssembler::ClampDoubleToUint8(XMMRegister input_reg,
129                                         XMMRegister scratch_reg,
130                                         Register result_reg) {
131   Label done;
132   ExternalReference zero_ref = ExternalReference::address_of_zero();
133   movdbl(scratch_reg, Operand::StaticVariable(zero_ref));
134   Set(result_reg, Immediate(0));
135   ucomisd(input_reg, scratch_reg);
136   j(below, &done, Label::kNear);
137   ExternalReference half_ref = ExternalReference::address_of_one_half();
138   movdbl(scratch_reg, Operand::StaticVariable(half_ref));
139   addsd(scratch_reg, input_reg);
140   cvttsd2si(result_reg, Operand(scratch_reg));
141   test(result_reg, Immediate(0xFFFFFF00));
142   j(zero, &done, Label::kNear);
143   Set(result_reg, Immediate(255));
144   bind(&done);
145 }
146
147
148 void MacroAssembler::ClampUint8(Register reg) {
149   Label done;
150   test(reg, Immediate(0xFFFFFF00));
151   j(zero, &done, Label::kNear);
152   setcc(negative, reg);  // 1 if negative, 0 if positive.
153   dec_b(reg);  // 0 if negative, 255 if positive.
154   bind(&done);
155 }
156
157
158 void MacroAssembler::RecordWriteArray(Register object,
159                                       Register value,
160                                       Register index,
161                                       SaveFPRegsMode save_fp,
162                                       RememberedSetAction remembered_set_action,
163                                       SmiCheck smi_check) {
164   // First, check if a write barrier is even needed. The tests below
165   // catch stores of Smis.
166   Label done;
167
168   // Skip barrier if writing a smi.
169   if (smi_check == INLINE_SMI_CHECK) {
170     ASSERT_EQ(0, kSmiTag);
171     test(value, Immediate(kSmiTagMask));
172     j(zero, &done);
173   }
174
175   // Array access: calculate the destination address in the same manner as
176   // KeyedStoreIC::GenerateGeneric.  Multiply a smi by 2 to get an offset
177   // into an array of words.
178   Register dst = index;
179   lea(dst, Operand(object, index, times_half_pointer_size,
180                    FixedArray::kHeaderSize - kHeapObjectTag));
181
182   RecordWrite(
183       object, dst, value, save_fp, remembered_set_action, OMIT_SMI_CHECK);
184
185   bind(&done);
186
187   // Clobber clobbered input registers when running with the debug-code flag
188   // turned on to provoke errors.
189   if (emit_debug_code()) {
190     mov(value, Immediate(BitCast<int32_t>(kZapValue)));
191     mov(index, Immediate(BitCast<int32_t>(kZapValue)));
192   }
193 }
194
195
196 void MacroAssembler::RecordWriteField(
197     Register object,
198     int offset,
199     Register value,
200     Register dst,
201     SaveFPRegsMode save_fp,
202     RememberedSetAction remembered_set_action,
203     SmiCheck smi_check) {
204   // First, check if a write barrier is even needed. The tests below
205   // catch stores of Smis.
206   Label done;
207
208   // Skip barrier if writing a smi.
209   if (smi_check == INLINE_SMI_CHECK) {
210     JumpIfSmi(value, &done, Label::kNear);
211   }
212
213   // Although the object register is tagged, the offset is relative to the start
214   // of the object, so so offset must be a multiple of kPointerSize.
215   ASSERT(IsAligned(offset, kPointerSize));
216
217   lea(dst, FieldOperand(object, offset));
218   if (emit_debug_code()) {
219     Label ok;
220     test_b(dst, (1 << kPointerSizeLog2) - 1);
221     j(zero, &ok, Label::kNear);
222     int3();
223     bind(&ok);
224   }
225
226   RecordWrite(
227       object, dst, value, save_fp, remembered_set_action, OMIT_SMI_CHECK);
228
229   bind(&done);
230
231   // Clobber clobbered input registers when running with the debug-code flag
232   // turned on to provoke errors.
233   if (emit_debug_code()) {
234     mov(value, Immediate(BitCast<int32_t>(kZapValue)));
235     mov(dst, Immediate(BitCast<int32_t>(kZapValue)));
236   }
237 }
238
239
240 void MacroAssembler::RecordWrite(Register object,
241                                  Register address,
242                                  Register value,
243                                  SaveFPRegsMode fp_mode,
244                                  RememberedSetAction remembered_set_action,
245                                  SmiCheck smi_check) {
246   ASSERT(!object.is(value));
247   ASSERT(!object.is(address));
248   ASSERT(!value.is(address));
249   if (emit_debug_code()) {
250     AbortIfSmi(object);
251   }
252
253   if (remembered_set_action == OMIT_REMEMBERED_SET &&
254       !FLAG_incremental_marking) {
255     return;
256   }
257
258   if (FLAG_debug_code) {
259     Label ok;
260     cmp(value, Operand(address, 0));
261     j(equal, &ok, Label::kNear);
262     int3();
263     bind(&ok);
264   }
265
266   // First, check if a write barrier is even needed. The tests below
267   // catch stores of Smis and stores into young gen.
268   Label done;
269
270   if (smi_check == INLINE_SMI_CHECK) {
271     // Skip barrier if writing a smi.
272     JumpIfSmi(value, &done, Label::kNear);
273   }
274
275   CheckPageFlag(value,
276                 value,  // Used as scratch.
277                 MemoryChunk::kPointersToHereAreInterestingMask,
278                 zero,
279                 &done,
280                 Label::kNear);
281   CheckPageFlag(object,
282                 value,  // Used as scratch.
283                 MemoryChunk::kPointersFromHereAreInterestingMask,
284                 zero,
285                 &done,
286                 Label::kNear);
287
288   RecordWriteStub stub(object, value, address, remembered_set_action, fp_mode);
289   CallStub(&stub);
290
291   bind(&done);
292
293   // Clobber clobbered registers when running with the debug-code flag
294   // turned on to provoke errors.
295   if (emit_debug_code()) {
296     mov(address, Immediate(BitCast<int32_t>(kZapValue)));
297     mov(value, Immediate(BitCast<int32_t>(kZapValue)));
298   }
299 }
300
301
302 #ifdef ENABLE_DEBUGGER_SUPPORT
303 void MacroAssembler::DebugBreak() {
304   Set(eax, Immediate(0));
305   mov(ebx, Immediate(ExternalReference(Runtime::kDebugBreak, isolate())));
306   CEntryStub ces(1);
307   call(ces.GetCode(), RelocInfo::DEBUG_BREAK);
308 }
309 #endif
310
311
312 void MacroAssembler::Set(Register dst, const Immediate& x) {
313   if (x.is_zero()) {
314     xor_(dst, dst);  // Shorter than mov.
315   } else {
316     mov(dst, x);
317   }
318 }
319
320
321 void MacroAssembler::Set(const Operand& dst, const Immediate& x) {
322   mov(dst, x);
323 }
324
325
326 bool MacroAssembler::IsUnsafeImmediate(const Immediate& x) {
327   static const int kMaxImmediateBits = 17;
328   if (x.rmode_ != RelocInfo::NONE) return false;
329   return !is_intn(x.x_, kMaxImmediateBits);
330 }
331
332
333 void MacroAssembler::SafeSet(Register dst, const Immediate& x) {
334   if (IsUnsafeImmediate(x) && jit_cookie() != 0) {
335     Set(dst, Immediate(x.x_ ^ jit_cookie()));
336     xor_(dst, jit_cookie());
337   } else {
338     Set(dst, x);
339   }
340 }
341
342
343 void MacroAssembler::SafePush(const Immediate& x) {
344   if (IsUnsafeImmediate(x) && jit_cookie() != 0) {
345     push(Immediate(x.x_ ^ jit_cookie()));
346     xor_(Operand(esp, 0), Immediate(jit_cookie()));
347   } else {
348     push(x);
349   }
350 }
351
352
353 void MacroAssembler::CompareRoot(Register with, Heap::RootListIndex index) {
354   // see ROOT_ACCESSOR macro in factory.h
355   Handle<Object> value(&isolate()->heap()->roots_array_start()[index]);
356   cmp(with, value);
357 }
358
359
360 void MacroAssembler::CompareRoot(const Operand& with,
361                                  Heap::RootListIndex index) {
362   // see ROOT_ACCESSOR macro in factory.h
363   Handle<Object> value(&isolate()->heap()->roots_array_start()[index]);
364   cmp(with, value);
365 }
366
367
368 void MacroAssembler::CmpObjectType(Register heap_object,
369                                    InstanceType type,
370                                    Register map) {
371   mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
372   CmpInstanceType(map, type);
373 }
374
375
376 void MacroAssembler::CmpInstanceType(Register map, InstanceType type) {
377   cmpb(FieldOperand(map, Map::kInstanceTypeOffset),
378        static_cast<int8_t>(type));
379 }
380
381
382 void MacroAssembler::CheckFastElements(Register map,
383                                        Label* fail,
384                                        Label::Distance distance) {
385   STATIC_ASSERT(FAST_SMI_ONLY_ELEMENTS == 0);
386   STATIC_ASSERT(FAST_ELEMENTS == 1);
387   cmpb(FieldOperand(map, Map::kBitField2Offset),
388        Map::kMaximumBitField2FastElementValue);
389   j(above, fail, distance);
390 }
391
392
393 void MacroAssembler::CheckFastObjectElements(Register map,
394                                              Label* fail,
395                                              Label::Distance distance) {
396   STATIC_ASSERT(FAST_SMI_ONLY_ELEMENTS == 0);
397   STATIC_ASSERT(FAST_ELEMENTS == 1);
398   cmpb(FieldOperand(map, Map::kBitField2Offset),
399        Map::kMaximumBitField2FastSmiOnlyElementValue);
400   j(below_equal, fail, distance);
401   cmpb(FieldOperand(map, Map::kBitField2Offset),
402        Map::kMaximumBitField2FastElementValue);
403   j(above, fail, distance);
404 }
405
406
407 void MacroAssembler::CheckFastSmiOnlyElements(Register map,
408                                               Label* fail,
409                                               Label::Distance distance) {
410   STATIC_ASSERT(FAST_SMI_ONLY_ELEMENTS == 0);
411   cmpb(FieldOperand(map, Map::kBitField2Offset),
412        Map::kMaximumBitField2FastSmiOnlyElementValue);
413   j(above, fail, distance);
414 }
415
416
417 void MacroAssembler::StoreNumberToDoubleElements(
418     Register maybe_number,
419     Register elements,
420     Register key,
421     Register scratch1,
422     XMMRegister scratch2,
423     Label* fail,
424     bool specialize_for_processor) {
425   Label smi_value, done, maybe_nan, not_nan, is_nan, have_double_value;
426   JumpIfSmi(maybe_number, &smi_value, Label::kNear);
427
428   CheckMap(maybe_number,
429            isolate()->factory()->heap_number_map(),
430            fail,
431            DONT_DO_SMI_CHECK);
432
433   // Double value, canonicalize NaN.
434   uint32_t offset = HeapNumber::kValueOffset + sizeof(kHoleNanLower32);
435   cmp(FieldOperand(maybe_number, offset),
436       Immediate(kNaNOrInfinityLowerBoundUpper32));
437   j(greater_equal, &maybe_nan, Label::kNear);
438
439   bind(&not_nan);
440   ExternalReference canonical_nan_reference =
441       ExternalReference::address_of_canonical_non_hole_nan();
442   if (CpuFeatures::IsSupported(SSE2) && specialize_for_processor) {
443     CpuFeatures::Scope use_sse2(SSE2);
444     movdbl(scratch2, FieldOperand(maybe_number, HeapNumber::kValueOffset));
445     bind(&have_double_value);
446     movdbl(FieldOperand(elements, key, times_4, FixedDoubleArray::kHeaderSize),
447            scratch2);
448   } else {
449     fld_d(FieldOperand(maybe_number, HeapNumber::kValueOffset));
450     bind(&have_double_value);
451     fstp_d(FieldOperand(elements, key, times_4, FixedDoubleArray::kHeaderSize));
452   }
453   jmp(&done);
454
455   bind(&maybe_nan);
456   // Could be NaN or Infinity. If fraction is not zero, it's NaN, otherwise
457   // it's an Infinity, and the non-NaN code path applies.
458   j(greater, &is_nan, Label::kNear);
459   cmp(FieldOperand(maybe_number, HeapNumber::kValueOffset), Immediate(0));
460   j(zero, &not_nan);
461   bind(&is_nan);
462   if (CpuFeatures::IsSupported(SSE2) && specialize_for_processor) {
463     CpuFeatures::Scope use_sse2(SSE2);
464     movdbl(scratch2, Operand::StaticVariable(canonical_nan_reference));
465   } else {
466     fld_d(Operand::StaticVariable(canonical_nan_reference));
467   }
468   jmp(&have_double_value, Label::kNear);
469
470   bind(&smi_value);
471   // Value is a smi. Convert to a double and store.
472   // Preserve original value.
473   mov(scratch1, maybe_number);
474   SmiUntag(scratch1);
475   if (CpuFeatures::IsSupported(SSE2) && specialize_for_processor) {
476     CpuFeatures::Scope fscope(SSE2);
477     cvtsi2sd(scratch2, scratch1);
478     movdbl(FieldOperand(elements, key, times_4, FixedDoubleArray::kHeaderSize),
479            scratch2);
480   } else {
481     push(scratch1);
482     fild_s(Operand(esp, 0));
483     pop(scratch1);
484     fstp_d(FieldOperand(elements, key, times_4, FixedDoubleArray::kHeaderSize));
485   }
486   bind(&done);
487 }
488
489
490 void MacroAssembler::CheckMap(Register obj,
491                               Handle<Map> map,
492                               Label* fail,
493                               SmiCheckType smi_check_type) {
494   if (smi_check_type == DO_SMI_CHECK) {
495     JumpIfSmi(obj, fail);
496   }
497   cmp(FieldOperand(obj, HeapObject::kMapOffset), Immediate(map));
498   j(not_equal, fail);
499 }
500
501
502 void MacroAssembler::DispatchMap(Register obj,
503                                  Handle<Map> map,
504                                  Handle<Code> success,
505                                  SmiCheckType smi_check_type) {
506   Label fail;
507   if (smi_check_type == DO_SMI_CHECK) {
508     JumpIfSmi(obj, &fail);
509   }
510   cmp(FieldOperand(obj, HeapObject::kMapOffset), Immediate(map));
511   j(equal, success);
512
513   bind(&fail);
514 }
515
516
517 Condition MacroAssembler::IsObjectStringType(Register heap_object,
518                                              Register map,
519                                              Register instance_type) {
520   mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
521   movzx_b(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
522   STATIC_ASSERT(kNotStringTag != 0);
523   test(instance_type, Immediate(kIsNotStringMask));
524   return zero;
525 }
526
527
528 void MacroAssembler::IsObjectJSObjectType(Register heap_object,
529                                           Register map,
530                                           Register scratch,
531                                           Label* fail) {
532   mov(map, FieldOperand(heap_object, HeapObject::kMapOffset));
533   IsInstanceJSObjectType(map, scratch, fail);
534 }
535
536
537 void MacroAssembler::IsInstanceJSObjectType(Register map,
538                                             Register scratch,
539                                             Label* fail) {
540   movzx_b(scratch, FieldOperand(map, Map::kInstanceTypeOffset));
541   sub(scratch, Immediate(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE));
542   cmp(scratch,
543       LAST_NONCALLABLE_SPEC_OBJECT_TYPE - FIRST_NONCALLABLE_SPEC_OBJECT_TYPE);
544   j(above, fail);
545 }
546
547
548 void MacroAssembler::FCmp() {
549   if (CpuFeatures::IsSupported(CMOV)) {
550     fucomip();
551     fstp(0);
552   } else {
553     fucompp();
554     push(eax);
555     fnstsw_ax();
556     sahf();
557     pop(eax);
558   }
559 }
560
561
562 void MacroAssembler::AbortIfNotNumber(Register object) {
563   Label ok;
564   JumpIfSmi(object, &ok);
565   cmp(FieldOperand(object, HeapObject::kMapOffset),
566       isolate()->factory()->heap_number_map());
567   Assert(equal, "Operand not a number");
568   bind(&ok);
569 }
570
571
572 void MacroAssembler::AbortIfNotSmi(Register object) {
573   test(object, Immediate(kSmiTagMask));
574   Assert(equal, "Operand is not a smi");
575 }
576
577
578 void MacroAssembler::AbortIfNotString(Register object) {
579   test(object, Immediate(kSmiTagMask));
580   Assert(not_equal, "Operand is not a string");
581   push(object);
582   mov(object, FieldOperand(object, HeapObject::kMapOffset));
583   CmpInstanceType(object, FIRST_NONSTRING_TYPE);
584   pop(object);
585   Assert(below, "Operand is not a string");
586 }
587
588
589 void MacroAssembler::AbortIfSmi(Register object) {
590   test(object, Immediate(kSmiTagMask));
591   Assert(not_equal, "Operand is a smi");
592 }
593
594
595 void MacroAssembler::EnterFrame(StackFrame::Type type) {
596   push(ebp);
597   mov(ebp, esp);
598   push(esi);
599   push(Immediate(Smi::FromInt(type)));
600   push(Immediate(CodeObject()));
601   if (emit_debug_code()) {
602     cmp(Operand(esp, 0), Immediate(isolate()->factory()->undefined_value()));
603     Check(not_equal, "code object not properly patched");
604   }
605 }
606
607
608 void MacroAssembler::LeaveFrame(StackFrame::Type type) {
609   if (emit_debug_code()) {
610     cmp(Operand(ebp, StandardFrameConstants::kMarkerOffset),
611         Immediate(Smi::FromInt(type)));
612     Check(equal, "stack frame types must match");
613   }
614   leave();
615 }
616
617
618 void MacroAssembler::EnterExitFramePrologue() {
619   // Setup the frame structure on the stack.
620   ASSERT(ExitFrameConstants::kCallerSPDisplacement == +2 * kPointerSize);
621   ASSERT(ExitFrameConstants::kCallerPCOffset == +1 * kPointerSize);
622   ASSERT(ExitFrameConstants::kCallerFPOffset ==  0 * kPointerSize);
623   push(ebp);
624   mov(ebp, esp);
625
626   // Reserve room for entry stack pointer and push the code object.
627   ASSERT(ExitFrameConstants::kSPOffset  == -1 * kPointerSize);
628   push(Immediate(0));  // Saved entry sp, patched before call.
629   push(Immediate(CodeObject()));  // Accessed from ExitFrame::code_slot.
630
631   // Save the frame pointer and the context in top.
632   ExternalReference c_entry_fp_address(Isolate::kCEntryFPAddress,
633                                        isolate());
634   ExternalReference context_address(Isolate::kContextAddress,
635                                     isolate());
636   mov(Operand::StaticVariable(c_entry_fp_address), ebp);
637   mov(Operand::StaticVariable(context_address), esi);
638 }
639
640
641 void MacroAssembler::EnterExitFrameEpilogue(int argc, bool save_doubles) {
642   // Optionally save all XMM registers.
643   if (save_doubles) {
644     CpuFeatures::Scope scope(SSE2);
645     int space = XMMRegister::kNumRegisters * kDoubleSize + argc * kPointerSize;
646     sub(esp, Immediate(space));
647     const int offset = -2 * kPointerSize;
648     for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
649       XMMRegister reg = XMMRegister::from_code(i);
650       movdbl(Operand(ebp, offset - ((i + 1) * kDoubleSize)), reg);
651     }
652   } else {
653     sub(esp, Immediate(argc * kPointerSize));
654   }
655
656   // Get the required frame alignment for the OS.
657   const int kFrameAlignment = OS::ActivationFrameAlignment();
658   if (kFrameAlignment > 0) {
659     ASSERT(IsPowerOf2(kFrameAlignment));
660     and_(esp, -kFrameAlignment);
661   }
662
663   // Patch the saved entry sp.
664   mov(Operand(ebp, ExitFrameConstants::kSPOffset), esp);
665 }
666
667
668 void MacroAssembler::EnterExitFrame(bool save_doubles) {
669   EnterExitFramePrologue();
670
671   // Setup argc and argv in callee-saved registers.
672   int offset = StandardFrameConstants::kCallerSPOffset - kPointerSize;
673   mov(edi, eax);
674   lea(esi, Operand(ebp, eax, times_4, offset));
675
676   // Reserve space for argc, argv and isolate.
677   EnterExitFrameEpilogue(3, save_doubles);
678 }
679
680
681 void MacroAssembler::EnterApiExitFrame(int argc) {
682   EnterExitFramePrologue();
683   EnterExitFrameEpilogue(argc, false);
684 }
685
686
687 void MacroAssembler::LeaveExitFrame(bool save_doubles) {
688   // Optionally restore all XMM registers.
689   if (save_doubles) {
690     CpuFeatures::Scope scope(SSE2);
691     const int offset = -2 * kPointerSize;
692     for (int i = 0; i < XMMRegister::kNumRegisters; i++) {
693       XMMRegister reg = XMMRegister::from_code(i);
694       movdbl(reg, Operand(ebp, offset - ((i + 1) * kDoubleSize)));
695     }
696   }
697
698   // Get the return address from the stack and restore the frame pointer.
699   mov(ecx, Operand(ebp, 1 * kPointerSize));
700   mov(ebp, Operand(ebp, 0 * kPointerSize));
701
702   // Pop the arguments and the receiver from the caller stack.
703   lea(esp, Operand(esi, 1 * kPointerSize));
704
705   // Push the return address to get ready to return.
706   push(ecx);
707
708   LeaveExitFrameEpilogue();
709 }
710
711 void MacroAssembler::LeaveExitFrameEpilogue() {
712   // Restore current context from top and clear it in debug mode.
713   ExternalReference context_address(Isolate::kContextAddress, isolate());
714   mov(esi, Operand::StaticVariable(context_address));
715 #ifdef DEBUG
716   mov(Operand::StaticVariable(context_address), Immediate(0));
717 #endif
718
719   // Clear the top frame.
720   ExternalReference c_entry_fp_address(Isolate::kCEntryFPAddress,
721                                        isolate());
722   mov(Operand::StaticVariable(c_entry_fp_address), Immediate(0));
723 }
724
725
726 void MacroAssembler::LeaveApiExitFrame() {
727   mov(esp, ebp);
728   pop(ebp);
729
730   LeaveExitFrameEpilogue();
731 }
732
733
734 void MacroAssembler::PushTryHandler(CodeLocation try_location,
735                                     HandlerType type,
736                                     int handler_index) {
737   // Adjust this code if not the case.
738   STATIC_ASSERT(StackHandlerConstants::kSize == 5 * kPointerSize);
739   STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
740   STATIC_ASSERT(StackHandlerConstants::kCodeOffset == 1 * kPointerSize);
741   STATIC_ASSERT(StackHandlerConstants::kStateOffset == 2 * kPointerSize);
742   STATIC_ASSERT(StackHandlerConstants::kContextOffset == 3 * kPointerSize);
743   STATIC_ASSERT(StackHandlerConstants::kFPOffset == 4 * kPointerSize);
744
745   // We will build up the handler from the bottom by pushing on the stack.
746   // First compute the state and push the frame pointer and context.
747   unsigned state = StackHandler::OffsetField::encode(handler_index);
748   if (try_location == IN_JAVASCRIPT) {
749     push(ebp);
750     push(esi);
751     state |= (type == TRY_CATCH_HANDLER)
752         ? StackHandler::KindField::encode(StackHandler::TRY_CATCH)
753         : StackHandler::KindField::encode(StackHandler::TRY_FINALLY);
754   } else {
755     ASSERT(try_location == IN_JS_ENTRY);
756     // The frame pointer does not point to a JS frame so we save NULL for
757     // ebp. We expect the code throwing an exception to check ebp before
758     // dereferencing it to restore the context.
759     push(Immediate(0));  // NULL frame pointer.
760     push(Immediate(Smi::FromInt(0)));  // No context.
761     state |= StackHandler::KindField::encode(StackHandler::ENTRY);
762   }
763
764   // Push the state and the code object.
765   push(Immediate(state));
766   Push(CodeObject());
767
768   // Link the current handler as the next handler.
769   ExternalReference handler_address(Isolate::kHandlerAddress, isolate());
770   push(Operand::StaticVariable(handler_address));
771   // Set this new handler as the current one.
772   mov(Operand::StaticVariable(handler_address), esp);
773 }
774
775
776 void MacroAssembler::PopTryHandler() {
777   STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
778   ExternalReference handler_address(Isolate::kHandlerAddress, isolate());
779   pop(Operand::StaticVariable(handler_address));
780   add(esp, Immediate(StackHandlerConstants::kSize - kPointerSize));
781 }
782
783
784 void MacroAssembler::JumpToHandlerEntry() {
785   // Compute the handler entry address and jump to it.  The handler table is
786   // a fixed array of (smi-tagged) code offsets.
787   // eax = exception, edi = code object, edx = state.
788   mov(ebx, FieldOperand(edi, Code::kHandlerTableOffset));
789   shr(edx, StackHandler::kKindWidth);
790   mov(edx, FieldOperand(ebx, edx, times_4, FixedArray::kHeaderSize));
791   SmiUntag(edx);
792   lea(edi, FieldOperand(edi, edx, times_1, Code::kHeaderSize));
793   jmp(edi);
794 }
795
796
797 void MacroAssembler::Throw(Register value) {
798   // Adjust this code if not the case.
799   STATIC_ASSERT(StackHandlerConstants::kSize == 5 * kPointerSize);
800   STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
801   STATIC_ASSERT(StackHandlerConstants::kCodeOffset == 1 * kPointerSize);
802   STATIC_ASSERT(StackHandlerConstants::kStateOffset == 2 * kPointerSize);
803   STATIC_ASSERT(StackHandlerConstants::kContextOffset == 3 * kPointerSize);
804   STATIC_ASSERT(StackHandlerConstants::kFPOffset == 4 * kPointerSize);
805
806   // The exception is expected in eax.
807   if (!value.is(eax)) {
808     mov(eax, value);
809   }
810   // Drop the stack pointer to the top of the top handler.
811   ExternalReference handler_address(Isolate::kHandlerAddress, isolate());
812   mov(esp, Operand::StaticVariable(handler_address));
813   // Restore the next handler.
814   pop(Operand::StaticVariable(handler_address));
815
816   // Remove the code object and state, compute the handler address in edi.
817   pop(edi);  // Code object.
818   pop(edx);  // Index and state.
819
820   // Restore the context and frame pointer.
821   pop(esi);  // Context.
822   pop(ebp);  // Frame pointer.
823
824   // If the handler is a JS frame, restore the context to the frame.
825   // (kind == ENTRY) == (ebp == 0) == (esi == 0), so we could test either
826   // ebp or esi.
827   Label skip;
828   test(esi, esi);
829   j(zero, &skip, Label::kNear);
830   mov(Operand(ebp, StandardFrameConstants::kContextOffset), esi);
831   bind(&skip);
832
833   JumpToHandlerEntry();
834 }
835
836
837 void MacroAssembler::ThrowUncatchable(UncatchableExceptionType type,
838                                       Register value) {
839   // Adjust this code if not the case.
840   STATIC_ASSERT(StackHandlerConstants::kSize == 5 * kPointerSize);
841   STATIC_ASSERT(StackHandlerConstants::kNextOffset == 0);
842   STATIC_ASSERT(StackHandlerConstants::kCodeOffset == 1 * kPointerSize);
843   STATIC_ASSERT(StackHandlerConstants::kStateOffset == 2 * kPointerSize);
844   STATIC_ASSERT(StackHandlerConstants::kContextOffset == 3 * kPointerSize);
845   STATIC_ASSERT(StackHandlerConstants::kFPOffset == 4 * kPointerSize);
846
847   // The exception is expected in eax.
848   if (type == OUT_OF_MEMORY) {
849     // Set external caught exception to false.
850     ExternalReference external_caught(Isolate::kExternalCaughtExceptionAddress,
851                                       isolate());
852     mov(Operand::StaticVariable(external_caught), Immediate(false));
853
854     // Set pending exception and eax to out of memory exception.
855     ExternalReference pending_exception(Isolate::kPendingExceptionAddress,
856                                         isolate());
857     mov(eax, reinterpret_cast<int32_t>(Failure::OutOfMemoryException()));
858     mov(Operand::StaticVariable(pending_exception), eax);
859   } else if (!value.is(eax)) {
860     mov(eax, value);
861   }
862
863   // Drop the stack pointer to the top of the top stack handler.
864   ExternalReference handler_address(Isolate::kHandlerAddress, isolate());
865   mov(esp, Operand::StaticVariable(handler_address));
866
867   // Unwind the handlers until the top ENTRY handler is found.
868   Label fetch_next, check_kind;
869   jmp(&check_kind, Label::kNear);
870   bind(&fetch_next);
871   mov(esp, Operand(esp, StackHandlerConstants::kNextOffset));
872
873   bind(&check_kind);
874   STATIC_ASSERT(StackHandler::ENTRY == 0);
875   test(Operand(esp, StackHandlerConstants::kStateOffset),
876        Immediate(StackHandler::KindField::kMask));
877   j(not_zero, &fetch_next);
878
879   // Set the top handler address to next handler past the top ENTRY handler.
880   pop(Operand::StaticVariable(handler_address));
881
882   // Remove the code object and state, compute the handler address in edi.
883   pop(edi);  // Code object.
884   pop(edx);  // Index and state.
885
886   // Clear the context pointer and frame pointer (0 was saved in the handler).
887   pop(esi);
888   pop(ebp);
889
890   JumpToHandlerEntry();
891 }
892
893
894 void MacroAssembler::CheckAccessGlobalProxy(Register holder_reg,
895                                             Register scratch,
896                                             Label* miss) {
897   Label same_contexts;
898
899   ASSERT(!holder_reg.is(scratch));
900
901   // Load current lexical context from the stack frame.
902   mov(scratch, Operand(ebp, StandardFrameConstants::kContextOffset));
903
904   // When generating debug code, make sure the lexical context is set.
905   if (emit_debug_code()) {
906     cmp(scratch, Immediate(0));
907     Check(not_equal, "we should not have an empty lexical context");
908   }
909   // Load the global context of the current context.
910   int offset = Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
911   mov(scratch, FieldOperand(scratch, offset));
912   mov(scratch, FieldOperand(scratch, GlobalObject::kGlobalContextOffset));
913
914   // Check the context is a global context.
915   if (emit_debug_code()) {
916     push(scratch);
917     // Read the first word and compare to global_context_map.
918     mov(scratch, FieldOperand(scratch, HeapObject::kMapOffset));
919     cmp(scratch, isolate()->factory()->global_context_map());
920     Check(equal, "JSGlobalObject::global_context should be a global context.");
921     pop(scratch);
922   }
923
924   // Check if both contexts are the same.
925   cmp(scratch, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
926   j(equal, &same_contexts);
927
928   // Compare security tokens, save holder_reg on the stack so we can use it
929   // as a temporary register.
930   //
931   // TODO(119): avoid push(holder_reg)/pop(holder_reg)
932   push(holder_reg);
933   // Check that the security token in the calling global object is
934   // compatible with the security token in the receiving global
935   // object.
936   mov(holder_reg, FieldOperand(holder_reg, JSGlobalProxy::kContextOffset));
937
938   // Check the context is a global context.
939   if (emit_debug_code()) {
940     cmp(holder_reg, isolate()->factory()->null_value());
941     Check(not_equal, "JSGlobalProxy::context() should not be null.");
942
943     push(holder_reg);
944     // Read the first word and compare to global_context_map(),
945     mov(holder_reg, FieldOperand(holder_reg, HeapObject::kMapOffset));
946     cmp(holder_reg, isolate()->factory()->global_context_map());
947     Check(equal, "JSGlobalObject::global_context should be a global context.");
948     pop(holder_reg);
949   }
950
951   int token_offset = Context::kHeaderSize +
952                      Context::SECURITY_TOKEN_INDEX * kPointerSize;
953   mov(scratch, FieldOperand(scratch, token_offset));
954   cmp(scratch, FieldOperand(holder_reg, token_offset));
955   pop(holder_reg);
956   j(not_equal, miss);
957
958   bind(&same_contexts);
959 }
960
961
962 void MacroAssembler::LoadFromNumberDictionary(Label* miss,
963                                               Register elements,
964                                               Register key,
965                                               Register r0,
966                                               Register r1,
967                                               Register r2,
968                                               Register result) {
969   // Register use:
970   //
971   // elements - holds the slow-case elements of the receiver and is unchanged.
972   //
973   // key      - holds the smi key on entry and is unchanged.
974   //
975   // Scratch registers:
976   //
977   // r0 - holds the untagged key on entry and holds the hash once computed.
978   //
979   // r1 - used to hold the capacity mask of the dictionary
980   //
981   // r2 - used for the index into the dictionary.
982   //
983   // result - holds the result on exit if the load succeeds and we fall through.
984
985   Label done;
986
987   // Compute the hash code from the untagged key.  This must be kept in sync
988   // with ComputeIntegerHash in utils.h.
989   //
990   // hash = ~hash + (hash << 15);
991   mov(r1, r0);
992   not_(r0);
993   shl(r1, 15);
994   add(r0, r1);
995   // hash = hash ^ (hash >> 12);
996   mov(r1, r0);
997   shr(r1, 12);
998   xor_(r0, r1);
999   // hash = hash + (hash << 2);
1000   lea(r0, Operand(r0, r0, times_4, 0));
1001   // hash = hash ^ (hash >> 4);
1002   mov(r1, r0);
1003   shr(r1, 4);
1004   xor_(r0, r1);
1005   // hash = hash * 2057;
1006   imul(r0, r0, 2057);
1007   // hash = hash ^ (hash >> 16);
1008   mov(r1, r0);
1009   shr(r1, 16);
1010   xor_(r0, r1);
1011
1012   // Compute capacity mask.
1013   mov(r1, FieldOperand(elements, NumberDictionary::kCapacityOffset));
1014   shr(r1, kSmiTagSize);  // convert smi to int
1015   dec(r1);
1016
1017   // Generate an unrolled loop that performs a few probes before giving up.
1018   const int kProbes = 4;
1019   for (int i = 0; i < kProbes; i++) {
1020     // Use r2 for index calculations and keep the hash intact in r0.
1021     mov(r2, r0);
1022     // Compute the masked index: (hash + i + i * i) & mask.
1023     if (i > 0) {
1024       add(r2, Immediate(NumberDictionary::GetProbeOffset(i)));
1025     }
1026     and_(r2, r1);
1027
1028     // Scale the index by multiplying by the entry size.
1029     ASSERT(NumberDictionary::kEntrySize == 3);
1030     lea(r2, Operand(r2, r2, times_2, 0));  // r2 = r2 * 3
1031
1032     // Check if the key matches.
1033     cmp(key, FieldOperand(elements,
1034                           r2,
1035                           times_pointer_size,
1036                           NumberDictionary::kElementsStartOffset));
1037     if (i != (kProbes - 1)) {
1038       j(equal, &done);
1039     } else {
1040       j(not_equal, miss);
1041     }
1042   }
1043
1044   bind(&done);
1045   // Check that the value is a normal propety.
1046   const int kDetailsOffset =
1047       NumberDictionary::kElementsStartOffset + 2 * kPointerSize;
1048   ASSERT_EQ(NORMAL, 0);
1049   test(FieldOperand(elements, r2, times_pointer_size, kDetailsOffset),
1050        Immediate(PropertyDetails::TypeField::kMask << kSmiTagSize));
1051   j(not_zero, miss);
1052
1053   // Get the value at the masked, scaled index.
1054   const int kValueOffset =
1055       NumberDictionary::kElementsStartOffset + kPointerSize;
1056   mov(result, FieldOperand(elements, r2, times_pointer_size, kValueOffset));
1057 }
1058
1059
1060 void MacroAssembler::LoadAllocationTopHelper(Register result,
1061                                              Register scratch,
1062                                              AllocationFlags flags) {
1063   ExternalReference new_space_allocation_top =
1064       ExternalReference::new_space_allocation_top_address(isolate());
1065
1066   // Just return if allocation top is already known.
1067   if ((flags & RESULT_CONTAINS_TOP) != 0) {
1068     // No use of scratch if allocation top is provided.
1069     ASSERT(scratch.is(no_reg));
1070 #ifdef DEBUG
1071     // Assert that result actually contains top on entry.
1072     cmp(result, Operand::StaticVariable(new_space_allocation_top));
1073     Check(equal, "Unexpected allocation top");
1074 #endif
1075     return;
1076   }
1077
1078   // Move address of new object to result. Use scratch register if available.
1079   if (scratch.is(no_reg)) {
1080     mov(result, Operand::StaticVariable(new_space_allocation_top));
1081   } else {
1082     mov(scratch, Immediate(new_space_allocation_top));
1083     mov(result, Operand(scratch, 0));
1084   }
1085 }
1086
1087
1088 void MacroAssembler::UpdateAllocationTopHelper(Register result_end,
1089                                                Register scratch) {
1090   if (emit_debug_code()) {
1091     test(result_end, Immediate(kObjectAlignmentMask));
1092     Check(zero, "Unaligned allocation in new space");
1093   }
1094
1095   ExternalReference new_space_allocation_top =
1096       ExternalReference::new_space_allocation_top_address(isolate());
1097
1098   // Update new top. Use scratch if available.
1099   if (scratch.is(no_reg)) {
1100     mov(Operand::StaticVariable(new_space_allocation_top), result_end);
1101   } else {
1102     mov(Operand(scratch, 0), result_end);
1103   }
1104 }
1105
1106
1107 void MacroAssembler::AllocateInNewSpace(int object_size,
1108                                         Register result,
1109                                         Register result_end,
1110                                         Register scratch,
1111                                         Label* gc_required,
1112                                         AllocationFlags flags) {
1113   if (!FLAG_inline_new) {
1114     if (emit_debug_code()) {
1115       // Trash the registers to simulate an allocation failure.
1116       mov(result, Immediate(0x7091));
1117       if (result_end.is_valid()) {
1118         mov(result_end, Immediate(0x7191));
1119       }
1120       if (scratch.is_valid()) {
1121         mov(scratch, Immediate(0x7291));
1122       }
1123     }
1124     jmp(gc_required);
1125     return;
1126   }
1127   ASSERT(!result.is(result_end));
1128
1129   // Load address of new object into result.
1130   LoadAllocationTopHelper(result, scratch, flags);
1131
1132   Register top_reg = result_end.is_valid() ? result_end : result;
1133
1134   // Calculate new top and bail out if new space is exhausted.
1135   ExternalReference new_space_allocation_limit =
1136       ExternalReference::new_space_allocation_limit_address(isolate());
1137
1138   if (!top_reg.is(result)) {
1139     mov(top_reg, result);
1140   }
1141   add(top_reg, Immediate(object_size));
1142   j(carry, gc_required);
1143   cmp(top_reg, Operand::StaticVariable(new_space_allocation_limit));
1144   j(above, gc_required);
1145
1146   // Update allocation top.
1147   UpdateAllocationTopHelper(top_reg, scratch);
1148
1149   // Tag result if requested.
1150   if (top_reg.is(result)) {
1151     if ((flags & TAG_OBJECT) != 0) {
1152       sub(result, Immediate(object_size - kHeapObjectTag));
1153     } else {
1154       sub(result, Immediate(object_size));
1155     }
1156   } else if ((flags & TAG_OBJECT) != 0) {
1157     add(result, Immediate(kHeapObjectTag));
1158   }
1159 }
1160
1161
1162 void MacroAssembler::AllocateInNewSpace(int header_size,
1163                                         ScaleFactor element_size,
1164                                         Register element_count,
1165                                         Register result,
1166                                         Register result_end,
1167                                         Register scratch,
1168                                         Label* gc_required,
1169                                         AllocationFlags flags) {
1170   if (!FLAG_inline_new) {
1171     if (emit_debug_code()) {
1172       // Trash the registers to simulate an allocation failure.
1173       mov(result, Immediate(0x7091));
1174       mov(result_end, Immediate(0x7191));
1175       if (scratch.is_valid()) {
1176         mov(scratch, Immediate(0x7291));
1177       }
1178       // Register element_count is not modified by the function.
1179     }
1180     jmp(gc_required);
1181     return;
1182   }
1183   ASSERT(!result.is(result_end));
1184
1185   // Load address of new object into result.
1186   LoadAllocationTopHelper(result, scratch, flags);
1187
1188   // Calculate new top and bail out if new space is exhausted.
1189   ExternalReference new_space_allocation_limit =
1190       ExternalReference::new_space_allocation_limit_address(isolate());
1191
1192   // We assume that element_count*element_size + header_size does not
1193   // overflow.
1194   lea(result_end, Operand(element_count, element_size, header_size));
1195   add(result_end, result);
1196   j(carry, gc_required);
1197   cmp(result_end, Operand::StaticVariable(new_space_allocation_limit));
1198   j(above, gc_required);
1199
1200   // Tag result if requested.
1201   if ((flags & TAG_OBJECT) != 0) {
1202     lea(result, Operand(result, kHeapObjectTag));
1203   }
1204
1205   // Update allocation top.
1206   UpdateAllocationTopHelper(result_end, scratch);
1207 }
1208
1209
1210 void MacroAssembler::AllocateInNewSpace(Register object_size,
1211                                         Register result,
1212                                         Register result_end,
1213                                         Register scratch,
1214                                         Label* gc_required,
1215                                         AllocationFlags flags) {
1216   if (!FLAG_inline_new) {
1217     if (emit_debug_code()) {
1218       // Trash the registers to simulate an allocation failure.
1219       mov(result, Immediate(0x7091));
1220       mov(result_end, Immediate(0x7191));
1221       if (scratch.is_valid()) {
1222         mov(scratch, Immediate(0x7291));
1223       }
1224       // object_size is left unchanged by this function.
1225     }
1226     jmp(gc_required);
1227     return;
1228   }
1229   ASSERT(!result.is(result_end));
1230
1231   // Load address of new object into result.
1232   LoadAllocationTopHelper(result, scratch, flags);
1233
1234   // Calculate new top and bail out if new space is exhausted.
1235   ExternalReference new_space_allocation_limit =
1236       ExternalReference::new_space_allocation_limit_address(isolate());
1237   if (!object_size.is(result_end)) {
1238     mov(result_end, object_size);
1239   }
1240   add(result_end, result);
1241   j(carry, gc_required);
1242   cmp(result_end, Operand::StaticVariable(new_space_allocation_limit));
1243   j(above, gc_required);
1244
1245   // Tag result if requested.
1246   if ((flags & TAG_OBJECT) != 0) {
1247     lea(result, Operand(result, kHeapObjectTag));
1248   }
1249
1250   // Update allocation top.
1251   UpdateAllocationTopHelper(result_end, scratch);
1252 }
1253
1254
1255 void MacroAssembler::UndoAllocationInNewSpace(Register object) {
1256   ExternalReference new_space_allocation_top =
1257       ExternalReference::new_space_allocation_top_address(isolate());
1258
1259   // Make sure the object has no tag before resetting top.
1260   and_(object, Immediate(~kHeapObjectTagMask));
1261 #ifdef DEBUG
1262   cmp(object, Operand::StaticVariable(new_space_allocation_top));
1263   Check(below, "Undo allocation of non allocated memory");
1264 #endif
1265   mov(Operand::StaticVariable(new_space_allocation_top), object);
1266 }
1267
1268
1269 void MacroAssembler::AllocateHeapNumber(Register result,
1270                                         Register scratch1,
1271                                         Register scratch2,
1272                                         Label* gc_required) {
1273   // Allocate heap number in new space.
1274   AllocateInNewSpace(HeapNumber::kSize,
1275                      result,
1276                      scratch1,
1277                      scratch2,
1278                      gc_required,
1279                      TAG_OBJECT);
1280
1281   // Set the map.
1282   mov(FieldOperand(result, HeapObject::kMapOffset),
1283       Immediate(isolate()->factory()->heap_number_map()));
1284 }
1285
1286
1287 void MacroAssembler::AllocateTwoByteString(Register result,
1288                                            Register length,
1289                                            Register scratch1,
1290                                            Register scratch2,
1291                                            Register scratch3,
1292                                            Label* gc_required) {
1293   // Calculate the number of bytes needed for the characters in the string while
1294   // observing object alignment.
1295   ASSERT((SeqTwoByteString::kHeaderSize & kObjectAlignmentMask) == 0);
1296   ASSERT(kShortSize == 2);
1297   // scratch1 = length * 2 + kObjectAlignmentMask.
1298   lea(scratch1, Operand(length, length, times_1, kObjectAlignmentMask));
1299   and_(scratch1, Immediate(~kObjectAlignmentMask));
1300
1301   // Allocate two byte string in new space.
1302   AllocateInNewSpace(SeqTwoByteString::kHeaderSize,
1303                      times_1,
1304                      scratch1,
1305                      result,
1306                      scratch2,
1307                      scratch3,
1308                      gc_required,
1309                      TAG_OBJECT);
1310
1311   // Set the map, length and hash field.
1312   mov(FieldOperand(result, HeapObject::kMapOffset),
1313       Immediate(isolate()->factory()->string_map()));
1314   mov(scratch1, length);
1315   SmiTag(scratch1);
1316   mov(FieldOperand(result, String::kLengthOffset), scratch1);
1317   mov(FieldOperand(result, String::kHashFieldOffset),
1318       Immediate(String::kEmptyHashField));
1319 }
1320
1321
1322 void MacroAssembler::AllocateAsciiString(Register result,
1323                                          Register length,
1324                                          Register scratch1,
1325                                          Register scratch2,
1326                                          Register scratch3,
1327                                          Label* gc_required) {
1328   // Calculate the number of bytes needed for the characters in the string while
1329   // observing object alignment.
1330   ASSERT((SeqAsciiString::kHeaderSize & kObjectAlignmentMask) == 0);
1331   mov(scratch1, length);
1332   ASSERT(kCharSize == 1);
1333   add(scratch1, Immediate(kObjectAlignmentMask));
1334   and_(scratch1, Immediate(~kObjectAlignmentMask));
1335
1336   // Allocate ascii string in new space.
1337   AllocateInNewSpace(SeqAsciiString::kHeaderSize,
1338                      times_1,
1339                      scratch1,
1340                      result,
1341                      scratch2,
1342                      scratch3,
1343                      gc_required,
1344                      TAG_OBJECT);
1345
1346   // Set the map, length and hash field.
1347   mov(FieldOperand(result, HeapObject::kMapOffset),
1348       Immediate(isolate()->factory()->ascii_string_map()));
1349   mov(scratch1, length);
1350   SmiTag(scratch1);
1351   mov(FieldOperand(result, String::kLengthOffset), scratch1);
1352   mov(FieldOperand(result, String::kHashFieldOffset),
1353       Immediate(String::kEmptyHashField));
1354 }
1355
1356
1357 void MacroAssembler::AllocateAsciiString(Register result,
1358                                          int length,
1359                                          Register scratch1,
1360                                          Register scratch2,
1361                                          Label* gc_required) {
1362   ASSERT(length > 0);
1363
1364   // Allocate ascii string in new space.
1365   AllocateInNewSpace(SeqAsciiString::SizeFor(length),
1366                      result,
1367                      scratch1,
1368                      scratch2,
1369                      gc_required,
1370                      TAG_OBJECT);
1371
1372   // Set the map, length and hash field.
1373   mov(FieldOperand(result, HeapObject::kMapOffset),
1374       Immediate(isolate()->factory()->ascii_string_map()));
1375   mov(FieldOperand(result, String::kLengthOffset),
1376       Immediate(Smi::FromInt(length)));
1377   mov(FieldOperand(result, String::kHashFieldOffset),
1378       Immediate(String::kEmptyHashField));
1379 }
1380
1381
1382 void MacroAssembler::AllocateTwoByteConsString(Register result,
1383                                         Register scratch1,
1384                                         Register scratch2,
1385                                         Label* gc_required) {
1386   // Allocate heap number in new space.
1387   AllocateInNewSpace(ConsString::kSize,
1388                      result,
1389                      scratch1,
1390                      scratch2,
1391                      gc_required,
1392                      TAG_OBJECT);
1393
1394   // Set the map. The other fields are left uninitialized.
1395   mov(FieldOperand(result, HeapObject::kMapOffset),
1396       Immediate(isolate()->factory()->cons_string_map()));
1397 }
1398
1399
1400 void MacroAssembler::AllocateAsciiConsString(Register result,
1401                                              Register scratch1,
1402                                              Register scratch2,
1403                                              Label* gc_required) {
1404   // Allocate heap number in new space.
1405   AllocateInNewSpace(ConsString::kSize,
1406                      result,
1407                      scratch1,
1408                      scratch2,
1409                      gc_required,
1410                      TAG_OBJECT);
1411
1412   // Set the map. The other fields are left uninitialized.
1413   mov(FieldOperand(result, HeapObject::kMapOffset),
1414       Immediate(isolate()->factory()->cons_ascii_string_map()));
1415 }
1416
1417
1418 void MacroAssembler::AllocateTwoByteSlicedString(Register result,
1419                                           Register scratch1,
1420                                           Register scratch2,
1421                                           Label* gc_required) {
1422   // Allocate heap number in new space.
1423   AllocateInNewSpace(SlicedString::kSize,
1424                      result,
1425                      scratch1,
1426                      scratch2,
1427                      gc_required,
1428                      TAG_OBJECT);
1429
1430   // Set the map. The other fields are left uninitialized.
1431   mov(FieldOperand(result, HeapObject::kMapOffset),
1432       Immediate(isolate()->factory()->sliced_string_map()));
1433 }
1434
1435
1436 void MacroAssembler::AllocateAsciiSlicedString(Register result,
1437                                                Register scratch1,
1438                                                Register scratch2,
1439                                                Label* gc_required) {
1440   // Allocate heap number in new space.
1441   AllocateInNewSpace(SlicedString::kSize,
1442                      result,
1443                      scratch1,
1444                      scratch2,
1445                      gc_required,
1446                      TAG_OBJECT);
1447
1448   // Set the map. The other fields are left uninitialized.
1449   mov(FieldOperand(result, HeapObject::kMapOffset),
1450       Immediate(isolate()->factory()->sliced_ascii_string_map()));
1451 }
1452
1453
1454 // Copy memory, byte-by-byte, from source to destination.  Not optimized for
1455 // long or aligned copies.  The contents of scratch and length are destroyed.
1456 // Source and destination are incremented by length.
1457 // Many variants of movsb, loop unrolling, word moves, and indexed operands
1458 // have been tried here already, and this is fastest.
1459 // A simpler loop is faster on small copies, but 30% slower on large ones.
1460 // The cld() instruction must have been emitted, to set the direction flag(),
1461 // before calling this function.
1462 void MacroAssembler::CopyBytes(Register source,
1463                                Register destination,
1464                                Register length,
1465                                Register scratch) {
1466   Label loop, done, short_string, short_loop;
1467   // Experimentation shows that the short string loop is faster if length < 10.
1468   cmp(length, Immediate(10));
1469   j(less_equal, &short_string);
1470
1471   ASSERT(source.is(esi));
1472   ASSERT(destination.is(edi));
1473   ASSERT(length.is(ecx));
1474
1475   // Because source is 4-byte aligned in our uses of this function,
1476   // we keep source aligned for the rep_movs call by copying the odd bytes
1477   // at the end of the ranges.
1478   mov(scratch, Operand(source, length, times_1, -4));
1479   mov(Operand(destination, length, times_1, -4), scratch);
1480   mov(scratch, ecx);
1481   shr(ecx, 2);
1482   rep_movs();
1483   and_(scratch, Immediate(0x3));
1484   add(destination, scratch);
1485   jmp(&done);
1486
1487   bind(&short_string);
1488   test(length, length);
1489   j(zero, &done);
1490
1491   bind(&short_loop);
1492   mov_b(scratch, Operand(source, 0));
1493   mov_b(Operand(destination, 0), scratch);
1494   inc(source);
1495   inc(destination);
1496   dec(length);
1497   j(not_zero, &short_loop);
1498
1499   bind(&done);
1500 }
1501
1502
1503 void MacroAssembler::InitializeFieldsWithFiller(Register start_offset,
1504                                                 Register end_offset,
1505                                                 Register filler) {
1506   Label loop, entry;
1507   jmp(&entry);
1508   bind(&loop);
1509   mov(Operand(start_offset, 0), filler);
1510   add(start_offset, Immediate(kPointerSize));
1511   bind(&entry);
1512   cmp(start_offset, end_offset);
1513   j(less, &loop);
1514 }
1515
1516
1517 void MacroAssembler::BooleanBitTest(Register object,
1518                                     int field_offset,
1519                                     int bit_index) {
1520   bit_index += kSmiTagSize + kSmiShiftSize;
1521   ASSERT(IsPowerOf2(kBitsPerByte));
1522   int byte_index = bit_index / kBitsPerByte;
1523   int byte_bit_index = bit_index & (kBitsPerByte - 1);
1524   test_b(FieldOperand(object, field_offset + byte_index),
1525          static_cast<byte>(1 << byte_bit_index));
1526 }
1527
1528
1529
1530 void MacroAssembler::NegativeZeroTest(Register result,
1531                                       Register op,
1532                                       Label* then_label) {
1533   Label ok;
1534   test(result, result);
1535   j(not_zero, &ok);
1536   test(op, op);
1537   j(sign, then_label);
1538   bind(&ok);
1539 }
1540
1541
1542 void MacroAssembler::NegativeZeroTest(Register result,
1543                                       Register op1,
1544                                       Register op2,
1545                                       Register scratch,
1546                                       Label* then_label) {
1547   Label ok;
1548   test(result, result);
1549   j(not_zero, &ok);
1550   mov(scratch, op1);
1551   or_(scratch, op2);
1552   j(sign, then_label);
1553   bind(&ok);
1554 }
1555
1556
1557 void MacroAssembler::TryGetFunctionPrototype(Register function,
1558                                              Register result,
1559                                              Register scratch,
1560                                              Label* miss,
1561                                              bool miss_on_bound_function) {
1562   // Check that the receiver isn't a smi.
1563   JumpIfSmi(function, miss);
1564
1565   // Check that the function really is a function.
1566   CmpObjectType(function, JS_FUNCTION_TYPE, result);
1567   j(not_equal, miss);
1568
1569   if (miss_on_bound_function) {
1570     // If a bound function, go to miss label.
1571     mov(scratch,
1572         FieldOperand(function, JSFunction::kSharedFunctionInfoOffset));
1573     BooleanBitTest(scratch, SharedFunctionInfo::kCompilerHintsOffset,
1574                    SharedFunctionInfo::kBoundFunction);
1575     j(not_zero, miss);
1576   }
1577
1578   // Make sure that the function has an instance prototype.
1579   Label non_instance;
1580   movzx_b(scratch, FieldOperand(result, Map::kBitFieldOffset));
1581   test(scratch, Immediate(1 << Map::kHasNonInstancePrototype));
1582   j(not_zero, &non_instance);
1583
1584   // Get the prototype or initial map from the function.
1585   mov(result,
1586       FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
1587
1588   // If the prototype or initial map is the hole, don't return it and
1589   // simply miss the cache instead. This will allow us to allocate a
1590   // prototype object on-demand in the runtime system.
1591   cmp(result, Immediate(isolate()->factory()->the_hole_value()));
1592   j(equal, miss);
1593
1594   // If the function does not have an initial map, we're done.
1595   Label done;
1596   CmpObjectType(result, MAP_TYPE, scratch);
1597   j(not_equal, &done);
1598
1599   // Get the prototype from the initial map.
1600   mov(result, FieldOperand(result, Map::kPrototypeOffset));
1601   jmp(&done);
1602
1603   // Non-instance prototype: Fetch prototype from constructor field
1604   // in initial map.
1605   bind(&non_instance);
1606   mov(result, FieldOperand(result, Map::kConstructorOffset));
1607
1608   // All done.
1609   bind(&done);
1610 }
1611
1612
1613 void MacroAssembler::CallStub(CodeStub* stub, unsigned ast_id) {
1614   ASSERT(AllowThisStubCall(stub));  // Calls are not allowed in some stubs.
1615   call(stub->GetCode(), RelocInfo::CODE_TARGET, ast_id);
1616 }
1617
1618
1619 void MacroAssembler::TailCallStub(CodeStub* stub) {
1620   ASSERT(allow_stub_calls_ || stub->CompilingCallsToThisStubIsGCSafe());
1621   jmp(stub->GetCode(), RelocInfo::CODE_TARGET);
1622 }
1623
1624
1625 void MacroAssembler::StubReturn(int argc) {
1626   ASSERT(argc >= 1 && generating_stub());
1627   ret((argc - 1) * kPointerSize);
1628 }
1629
1630
1631 bool MacroAssembler::AllowThisStubCall(CodeStub* stub) {
1632   if (!has_frame_ && stub->SometimesSetsUpAFrame()) return false;
1633   return allow_stub_calls_ || stub->CompilingCallsToThisStubIsGCSafe();
1634 }
1635
1636
1637 void MacroAssembler::IllegalOperation(int num_arguments) {
1638   if (num_arguments > 0) {
1639     add(esp, Immediate(num_arguments * kPointerSize));
1640   }
1641   mov(eax, Immediate(isolate()->factory()->undefined_value()));
1642 }
1643
1644
1645 void MacroAssembler::IndexFromHash(Register hash, Register index) {
1646   // The assert checks that the constants for the maximum number of digits
1647   // for an array index cached in the hash field and the number of bits
1648   // reserved for it does not conflict.
1649   ASSERT(TenToThe(String::kMaxCachedArrayIndexLength) <
1650          (1 << String::kArrayIndexValueBits));
1651   // We want the smi-tagged index in key.  kArrayIndexValueMask has zeros in
1652   // the low kHashShift bits.
1653   and_(hash, String::kArrayIndexValueMask);
1654   STATIC_ASSERT(String::kHashShift >= kSmiTagSize && kSmiTag == 0);
1655   if (String::kHashShift > kSmiTagSize) {
1656     shr(hash, String::kHashShift - kSmiTagSize);
1657   }
1658   if (!index.is(hash)) {
1659     mov(index, hash);
1660   }
1661 }
1662
1663
1664 void MacroAssembler::CallRuntime(Runtime::FunctionId id, int num_arguments) {
1665   CallRuntime(Runtime::FunctionForId(id), num_arguments);
1666 }
1667
1668
1669 void MacroAssembler::CallRuntimeSaveDoubles(Runtime::FunctionId id) {
1670   const Runtime::Function* function = Runtime::FunctionForId(id);
1671   Set(eax, Immediate(function->nargs));
1672   mov(ebx, Immediate(ExternalReference(function, isolate())));
1673   CEntryStub ces(1, kSaveFPRegs);
1674   CallStub(&ces);
1675 }
1676
1677
1678 void MacroAssembler::CallRuntime(const Runtime::Function* f,
1679                                  int num_arguments) {
1680   // If the expected number of arguments of the runtime function is
1681   // constant, we check that the actual number of arguments match the
1682   // expectation.
1683   if (f->nargs >= 0 && f->nargs != num_arguments) {
1684     IllegalOperation(num_arguments);
1685     return;
1686   }
1687
1688   // TODO(1236192): Most runtime routines don't need the number of
1689   // arguments passed in because it is constant. At some point we
1690   // should remove this need and make the runtime routine entry code
1691   // smarter.
1692   Set(eax, Immediate(num_arguments));
1693   mov(ebx, Immediate(ExternalReference(f, isolate())));
1694   CEntryStub ces(1);
1695   CallStub(&ces);
1696 }
1697
1698
1699 void MacroAssembler::CallExternalReference(ExternalReference ref,
1700                                            int num_arguments) {
1701   mov(eax, Immediate(num_arguments));
1702   mov(ebx, Immediate(ref));
1703
1704   CEntryStub stub(1);
1705   CallStub(&stub);
1706 }
1707
1708
1709 void MacroAssembler::TailCallExternalReference(const ExternalReference& ext,
1710                                                int num_arguments,
1711                                                int result_size) {
1712   // TODO(1236192): Most runtime routines don't need the number of
1713   // arguments passed in because it is constant. At some point we
1714   // should remove this need and make the runtime routine entry code
1715   // smarter.
1716   Set(eax, Immediate(num_arguments));
1717   JumpToExternalReference(ext);
1718 }
1719
1720
1721 void MacroAssembler::TailCallRuntime(Runtime::FunctionId fid,
1722                                      int num_arguments,
1723                                      int result_size) {
1724   TailCallExternalReference(ExternalReference(fid, isolate()),
1725                             num_arguments,
1726                             result_size);
1727 }
1728
1729
1730 // If true, a Handle<T> returned by value from a function with cdecl calling
1731 // convention will be returned directly as a value of location_ field in a
1732 // register eax.
1733 // If false, it is returned as a pointer to a preallocated by caller memory
1734 // region. Pointer to this region should be passed to a function as an
1735 // implicit first argument.
1736 #if defined(USING_BSD_ABI) || defined(__MINGW32__) || defined(__CYGWIN__)
1737 static const bool kReturnHandlesDirectly = true;
1738 #else
1739 static const bool kReturnHandlesDirectly = false;
1740 #endif
1741
1742
1743 Operand ApiParameterOperand(int index) {
1744   return Operand(
1745       esp, (index + (kReturnHandlesDirectly ? 0 : 1)) * kPointerSize);
1746 }
1747
1748
1749 void MacroAssembler::PrepareCallApiFunction(int argc) {
1750   if (kReturnHandlesDirectly) {
1751     EnterApiExitFrame(argc);
1752     // When handles are returned directly we don't have to allocate extra
1753     // space for and pass an out parameter.
1754     if (emit_debug_code()) {
1755       mov(esi, Immediate(BitCast<int32_t>(kZapValue)));
1756     }
1757   } else {
1758     // We allocate two additional slots: return value and pointer to it.
1759     EnterApiExitFrame(argc + 2);
1760
1761     // The argument slots are filled as follows:
1762     //
1763     //   n + 1: output slot
1764     //   n: arg n
1765     //   ...
1766     //   1: arg1
1767     //   0: pointer to the output slot
1768
1769     lea(esi, Operand(esp, (argc + 1) * kPointerSize));
1770     mov(Operand(esp, 0 * kPointerSize), esi);
1771     if (emit_debug_code()) {
1772       mov(Operand(esi, 0), Immediate(0));
1773     }
1774   }
1775 }
1776
1777
1778 void MacroAssembler::CallApiFunctionAndReturn(Address function_address,
1779                                               int stack_space) {
1780   ExternalReference next_address =
1781       ExternalReference::handle_scope_next_address();
1782   ExternalReference limit_address =
1783       ExternalReference::handle_scope_limit_address();
1784   ExternalReference level_address =
1785       ExternalReference::handle_scope_level_address();
1786
1787   // Allocate HandleScope in callee-save registers.
1788   mov(ebx, Operand::StaticVariable(next_address));
1789   mov(edi, Operand::StaticVariable(limit_address));
1790   add(Operand::StaticVariable(level_address), Immediate(1));
1791
1792   // Call the api function.
1793   call(function_address, RelocInfo::RUNTIME_ENTRY);
1794
1795   if (!kReturnHandlesDirectly) {
1796     // PrepareCallApiFunction saved pointer to the output slot into
1797     // callee-save register esi.
1798     mov(eax, Operand(esi, 0));
1799   }
1800
1801   Label empty_handle;
1802   Label prologue;
1803   Label promote_scheduled_exception;
1804   Label delete_allocated_handles;
1805   Label leave_exit_frame;
1806
1807   // Check if the result handle holds 0.
1808   test(eax, eax);
1809   j(zero, &empty_handle);
1810   // It was non-zero.  Dereference to get the result value.
1811   mov(eax, Operand(eax, 0));
1812   bind(&prologue);
1813   // No more valid handles (the result handle was the last one). Restore
1814   // previous handle scope.
1815   mov(Operand::StaticVariable(next_address), ebx);
1816   sub(Operand::StaticVariable(level_address), Immediate(1));
1817   Assert(above_equal, "Invalid HandleScope level");
1818   cmp(edi, Operand::StaticVariable(limit_address));
1819   j(not_equal, &delete_allocated_handles);
1820   bind(&leave_exit_frame);
1821
1822   // Check if the function scheduled an exception.
1823   ExternalReference scheduled_exception_address =
1824       ExternalReference::scheduled_exception_address(isolate());
1825   cmp(Operand::StaticVariable(scheduled_exception_address),
1826       Immediate(isolate()->factory()->the_hole_value()));
1827   j(not_equal, &promote_scheduled_exception);
1828   LeaveApiExitFrame();
1829   ret(stack_space * kPointerSize);
1830   bind(&promote_scheduled_exception);
1831   TailCallRuntime(Runtime::kPromoteScheduledException, 0, 1);
1832
1833   bind(&empty_handle);
1834   // It was zero; the result is undefined.
1835   mov(eax, isolate()->factory()->undefined_value());
1836   jmp(&prologue);
1837
1838   // HandleScope limit has changed. Delete allocated extensions.
1839   ExternalReference delete_extensions =
1840       ExternalReference::delete_handle_scope_extensions(isolate());
1841   bind(&delete_allocated_handles);
1842   mov(Operand::StaticVariable(limit_address), edi);
1843   mov(edi, eax);
1844   mov(Operand(esp, 0), Immediate(ExternalReference::isolate_address()));
1845   mov(eax, Immediate(delete_extensions));
1846   call(eax);
1847   mov(eax, edi);
1848   jmp(&leave_exit_frame);
1849 }
1850
1851
1852 void MacroAssembler::JumpToExternalReference(const ExternalReference& ext) {
1853   // Set the entry point and jump to the C entry runtime stub.
1854   mov(ebx, Immediate(ext));
1855   CEntryStub ces(1);
1856   jmp(ces.GetCode(), RelocInfo::CODE_TARGET);
1857 }
1858
1859
1860 void MacroAssembler::SetCallKind(Register dst, CallKind call_kind) {
1861   // This macro takes the dst register to make the code more readable
1862   // at the call sites. However, the dst register has to be ecx to
1863   // follow the calling convention which requires the call type to be
1864   // in ecx.
1865   ASSERT(dst.is(ecx));
1866   if (call_kind == CALL_AS_FUNCTION) {
1867     // Set to some non-zero smi by updating the least significant
1868     // byte.
1869     mov_b(dst, 1 << kSmiTagSize);
1870   } else {
1871     // Set to smi zero by clearing the register.
1872     xor_(dst, dst);
1873   }
1874 }
1875
1876
1877 void MacroAssembler::InvokePrologue(const ParameterCount& expected,
1878                                     const ParameterCount& actual,
1879                                     Handle<Code> code_constant,
1880                                     const Operand& code_operand,
1881                                     Label* done,
1882                                     InvokeFlag flag,
1883                                     Label::Distance done_near,
1884                                     const CallWrapper& call_wrapper,
1885                                     CallKind call_kind) {
1886   bool definitely_matches = false;
1887   Label invoke;
1888   if (expected.is_immediate()) {
1889     ASSERT(actual.is_immediate());
1890     if (expected.immediate() == actual.immediate()) {
1891       definitely_matches = true;
1892     } else {
1893       mov(eax, actual.immediate());
1894       const int sentinel = SharedFunctionInfo::kDontAdaptArgumentsSentinel;
1895       if (expected.immediate() == sentinel) {
1896         // Don't worry about adapting arguments for builtins that
1897         // don't want that done. Skip adaption code by making it look
1898         // like we have a match between expected and actual number of
1899         // arguments.
1900         definitely_matches = true;
1901       } else {
1902         mov(ebx, expected.immediate());
1903       }
1904     }
1905   } else {
1906     if (actual.is_immediate()) {
1907       // Expected is in register, actual is immediate. This is the
1908       // case when we invoke function values without going through the
1909       // IC mechanism.
1910       cmp(expected.reg(), actual.immediate());
1911       j(equal, &invoke);
1912       ASSERT(expected.reg().is(ebx));
1913       mov(eax, actual.immediate());
1914     } else if (!expected.reg().is(actual.reg())) {
1915       // Both expected and actual are in (different) registers. This
1916       // is the case when we invoke functions using call and apply.
1917       cmp(expected.reg(), actual.reg());
1918       j(equal, &invoke);
1919       ASSERT(actual.reg().is(eax));
1920       ASSERT(expected.reg().is(ebx));
1921     }
1922   }
1923
1924   if (!definitely_matches) {
1925     Handle<Code> adaptor =
1926         isolate()->builtins()->ArgumentsAdaptorTrampoline();
1927     if (!code_constant.is_null()) {
1928       mov(edx, Immediate(code_constant));
1929       add(edx, Immediate(Code::kHeaderSize - kHeapObjectTag));
1930     } else if (!code_operand.is_reg(edx)) {
1931       mov(edx, code_operand);
1932     }
1933
1934     if (flag == CALL_FUNCTION) {
1935       call_wrapper.BeforeCall(CallSize(adaptor, RelocInfo::CODE_TARGET));
1936       SetCallKind(ecx, call_kind);
1937       call(adaptor, RelocInfo::CODE_TARGET);
1938       call_wrapper.AfterCall();
1939       jmp(done, done_near);
1940     } else {
1941       SetCallKind(ecx, call_kind);
1942       jmp(adaptor, RelocInfo::CODE_TARGET);
1943     }
1944     bind(&invoke);
1945   }
1946 }
1947
1948
1949 void MacroAssembler::InvokeCode(const Operand& code,
1950                                 const ParameterCount& expected,
1951                                 const ParameterCount& actual,
1952                                 InvokeFlag flag,
1953                                 const CallWrapper& call_wrapper,
1954                                 CallKind call_kind) {
1955   // You can't call a function without a valid frame.
1956   ASSERT(flag == JUMP_FUNCTION || has_frame());
1957
1958   Label done;
1959   InvokePrologue(expected, actual, Handle<Code>::null(), code,
1960                  &done, flag, Label::kNear, call_wrapper,
1961                  call_kind);
1962   if (flag == CALL_FUNCTION) {
1963     call_wrapper.BeforeCall(CallSize(code));
1964     SetCallKind(ecx, call_kind);
1965     call(code);
1966     call_wrapper.AfterCall();
1967   } else {
1968     ASSERT(flag == JUMP_FUNCTION);
1969     SetCallKind(ecx, call_kind);
1970     jmp(code);
1971   }
1972   bind(&done);
1973 }
1974
1975
1976 void MacroAssembler::InvokeCode(Handle<Code> code,
1977                                 const ParameterCount& expected,
1978                                 const ParameterCount& actual,
1979                                 RelocInfo::Mode rmode,
1980                                 InvokeFlag flag,
1981                                 const CallWrapper& call_wrapper,
1982                                 CallKind call_kind) {
1983   // You can't call a function without a valid frame.
1984   ASSERT(flag == JUMP_FUNCTION || has_frame());
1985
1986   Label done;
1987   Operand dummy(eax, 0);
1988   InvokePrologue(expected, actual, code, dummy, &done, flag, Label::kNear,
1989                  call_wrapper, call_kind);
1990   if (flag == CALL_FUNCTION) {
1991     call_wrapper.BeforeCall(CallSize(code, rmode));
1992     SetCallKind(ecx, call_kind);
1993     call(code, rmode);
1994     call_wrapper.AfterCall();
1995   } else {
1996     ASSERT(flag == JUMP_FUNCTION);
1997     SetCallKind(ecx, call_kind);
1998     jmp(code, rmode);
1999   }
2000   bind(&done);
2001 }
2002
2003
2004 void MacroAssembler::InvokeFunction(Register fun,
2005                                     const ParameterCount& actual,
2006                                     InvokeFlag flag,
2007                                     const CallWrapper& call_wrapper,
2008                                     CallKind call_kind) {
2009   // You can't call a function without a valid frame.
2010   ASSERT(flag == JUMP_FUNCTION || has_frame());
2011
2012   ASSERT(fun.is(edi));
2013   mov(edx, FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset));
2014   mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
2015   mov(ebx, FieldOperand(edx, SharedFunctionInfo::kFormalParameterCountOffset));
2016   SmiUntag(ebx);
2017
2018   ParameterCount expected(ebx);
2019   InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
2020              expected, actual, flag, call_wrapper, call_kind);
2021 }
2022
2023
2024 void MacroAssembler::InvokeFunction(Handle<JSFunction> function,
2025                                     const ParameterCount& actual,
2026                                     InvokeFlag flag,
2027                                     const CallWrapper& call_wrapper,
2028                                     CallKind call_kind) {
2029   // You can't call a function without a valid frame.
2030   ASSERT(flag == JUMP_FUNCTION || has_frame());
2031
2032   // Get the function and setup the context.
2033   LoadHeapObject(edi, function);
2034   mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
2035
2036   ParameterCount expected(function->shared()->formal_parameter_count());
2037   // We call indirectly through the code field in the function to
2038   // allow recompilation to take effect without changing any of the
2039   // call sites.
2040   InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
2041              expected, actual, flag, call_wrapper, call_kind);
2042 }
2043
2044
2045 void MacroAssembler::InvokeBuiltin(Builtins::JavaScript id,
2046                                    InvokeFlag flag,
2047                                    const CallWrapper& call_wrapper) {
2048   // You can't call a builtin without a valid frame.
2049   ASSERT(flag == JUMP_FUNCTION || has_frame());
2050
2051   // Rely on the assertion to check that the number of provided
2052   // arguments match the expected number of arguments. Fake a
2053   // parameter count to avoid emitting code to do the check.
2054   ParameterCount expected(0);
2055   GetBuiltinFunction(edi, id);
2056   InvokeCode(FieldOperand(edi, JSFunction::kCodeEntryOffset),
2057              expected, expected, flag, call_wrapper, CALL_AS_METHOD);
2058 }
2059
2060
2061 void MacroAssembler::GetBuiltinFunction(Register target,
2062                                         Builtins::JavaScript id) {
2063   // Load the JavaScript builtin function from the builtins object.
2064   mov(target, Operand(esi, Context::SlotOffset(Context::GLOBAL_INDEX)));
2065   mov(target, FieldOperand(target, GlobalObject::kBuiltinsOffset));
2066   mov(target, FieldOperand(target,
2067                            JSBuiltinsObject::OffsetOfFunctionWithId(id)));
2068 }
2069
2070
2071 void MacroAssembler::GetBuiltinEntry(Register target, Builtins::JavaScript id) {
2072   ASSERT(!target.is(edi));
2073   // Load the JavaScript builtin function from the builtins object.
2074   GetBuiltinFunction(edi, id);
2075   // Load the code entry point from the function into the target register.
2076   mov(target, FieldOperand(edi, JSFunction::kCodeEntryOffset));
2077 }
2078
2079
2080 void MacroAssembler::LoadContext(Register dst, int context_chain_length) {
2081   if (context_chain_length > 0) {
2082     // Move up the chain of contexts to the context containing the slot.
2083     mov(dst, Operand(esi, Context::SlotOffset(Context::PREVIOUS_INDEX)));
2084     for (int i = 1; i < context_chain_length; i++) {
2085       mov(dst, Operand(dst, Context::SlotOffset(Context::PREVIOUS_INDEX)));
2086     }
2087   } else {
2088     // Slot is in the current function context.  Move it into the
2089     // destination register in case we store into it (the write barrier
2090     // cannot be allowed to destroy the context in esi).
2091     mov(dst, esi);
2092   }
2093
2094   // We should not have found a with context by walking the context chain
2095   // (i.e., the static scope chain and runtime context chain do not agree).
2096   // A variable occurring in such a scope should have slot type LOOKUP and
2097   // not CONTEXT.
2098   if (emit_debug_code()) {
2099     cmp(FieldOperand(dst, HeapObject::kMapOffset),
2100         isolate()->factory()->with_context_map());
2101     Check(not_equal, "Variable resolved to with context.");
2102   }
2103 }
2104
2105
2106 void MacroAssembler::LoadGlobalFunction(int index, Register function) {
2107   // Load the global or builtins object from the current context.
2108   mov(function, Operand(esi, Context::SlotOffset(Context::GLOBAL_INDEX)));
2109   // Load the global context from the global or builtins object.
2110   mov(function, FieldOperand(function, GlobalObject::kGlobalContextOffset));
2111   // Load the function from the global context.
2112   mov(function, Operand(function, Context::SlotOffset(index)));
2113 }
2114
2115
2116 void MacroAssembler::LoadGlobalFunctionInitialMap(Register function,
2117                                                   Register map) {
2118   // Load the initial map.  The global functions all have initial maps.
2119   mov(map, FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2120   if (emit_debug_code()) {
2121     Label ok, fail;
2122     CheckMap(map, isolate()->factory()->meta_map(), &fail, DO_SMI_CHECK);
2123     jmp(&ok);
2124     bind(&fail);
2125     Abort("Global functions must have initial map");
2126     bind(&ok);
2127   }
2128 }
2129
2130
2131 // Store the value in register src in the safepoint register stack
2132 // slot for register dst.
2133 void MacroAssembler::StoreToSafepointRegisterSlot(Register dst, Register src) {
2134   mov(SafepointRegisterSlot(dst), src);
2135 }
2136
2137
2138 void MacroAssembler::StoreToSafepointRegisterSlot(Register dst, Immediate src) {
2139   mov(SafepointRegisterSlot(dst), src);
2140 }
2141
2142
2143 void MacroAssembler::LoadFromSafepointRegisterSlot(Register dst, Register src) {
2144   mov(dst, SafepointRegisterSlot(src));
2145 }
2146
2147
2148 Operand MacroAssembler::SafepointRegisterSlot(Register reg) {
2149   return Operand(esp, SafepointRegisterStackIndex(reg.code()) * kPointerSize);
2150 }
2151
2152
2153 int MacroAssembler::SafepointRegisterStackIndex(int reg_code) {
2154   // The registers are pushed starting with the lowest encoding,
2155   // which means that lowest encodings are furthest away from
2156   // the stack pointer.
2157   ASSERT(reg_code >= 0 && reg_code < kNumSafepointRegisters);
2158   return kNumSafepointRegisters - reg_code - 1;
2159 }
2160
2161
2162 void MacroAssembler::LoadHeapObject(Register result,
2163                                     Handle<HeapObject> object) {
2164   if (isolate()->heap()->InNewSpace(*object)) {
2165     Handle<JSGlobalPropertyCell> cell =
2166         isolate()->factory()->NewJSGlobalPropertyCell(object);
2167     mov(result, Operand::Cell(cell));
2168   } else {
2169     mov(result, object);
2170   }
2171 }
2172
2173
2174 void MacroAssembler::PushHeapObject(Handle<HeapObject> object) {
2175   if (isolate()->heap()->InNewSpace(*object)) {
2176     Handle<JSGlobalPropertyCell> cell =
2177         isolate()->factory()->NewJSGlobalPropertyCell(object);
2178     push(Operand::Cell(cell));
2179   } else {
2180     Push(object);
2181   }
2182 }
2183
2184
2185 void MacroAssembler::Ret() {
2186   ret(0);
2187 }
2188
2189
2190 void MacroAssembler::Ret(int bytes_dropped, Register scratch) {
2191   if (is_uint16(bytes_dropped)) {
2192     ret(bytes_dropped);
2193   } else {
2194     pop(scratch);
2195     add(esp, Immediate(bytes_dropped));
2196     push(scratch);
2197     ret(0);
2198   }
2199 }
2200
2201
2202 void MacroAssembler::Drop(int stack_elements) {
2203   if (stack_elements > 0) {
2204     add(esp, Immediate(stack_elements * kPointerSize));
2205   }
2206 }
2207
2208
2209 void MacroAssembler::Move(Register dst, Register src) {
2210   if (!dst.is(src)) {
2211     mov(dst, src);
2212   }
2213 }
2214
2215
2216 void MacroAssembler::SetCounter(StatsCounter* counter, int value) {
2217   if (FLAG_native_code_counters && counter->Enabled()) {
2218     mov(Operand::StaticVariable(ExternalReference(counter)), Immediate(value));
2219   }
2220 }
2221
2222
2223 void MacroAssembler::IncrementCounter(StatsCounter* counter, int value) {
2224   ASSERT(value > 0);
2225   if (FLAG_native_code_counters && counter->Enabled()) {
2226     Operand operand = Operand::StaticVariable(ExternalReference(counter));
2227     if (value == 1) {
2228       inc(operand);
2229     } else {
2230       add(operand, Immediate(value));
2231     }
2232   }
2233 }
2234
2235
2236 void MacroAssembler::DecrementCounter(StatsCounter* counter, int value) {
2237   ASSERT(value > 0);
2238   if (FLAG_native_code_counters && counter->Enabled()) {
2239     Operand operand = Operand::StaticVariable(ExternalReference(counter));
2240     if (value == 1) {
2241       dec(operand);
2242     } else {
2243       sub(operand, Immediate(value));
2244     }
2245   }
2246 }
2247
2248
2249 void MacroAssembler::IncrementCounter(Condition cc,
2250                                       StatsCounter* counter,
2251                                       int value) {
2252   ASSERT(value > 0);
2253   if (FLAG_native_code_counters && counter->Enabled()) {
2254     Label skip;
2255     j(NegateCondition(cc), &skip);
2256     pushfd();
2257     IncrementCounter(counter, value);
2258     popfd();
2259     bind(&skip);
2260   }
2261 }
2262
2263
2264 void MacroAssembler::DecrementCounter(Condition cc,
2265                                       StatsCounter* counter,
2266                                       int value) {
2267   ASSERT(value > 0);
2268   if (FLAG_native_code_counters && counter->Enabled()) {
2269     Label skip;
2270     j(NegateCondition(cc), &skip);
2271     pushfd();
2272     DecrementCounter(counter, value);
2273     popfd();
2274     bind(&skip);
2275   }
2276 }
2277
2278
2279 void MacroAssembler::Assert(Condition cc, const char* msg) {
2280   if (emit_debug_code()) Check(cc, msg);
2281 }
2282
2283
2284 void MacroAssembler::AssertFastElements(Register elements) {
2285   if (emit_debug_code()) {
2286     Factory* factory = isolate()->factory();
2287     Label ok;
2288     cmp(FieldOperand(elements, HeapObject::kMapOffset),
2289         Immediate(factory->fixed_array_map()));
2290     j(equal, &ok);
2291     cmp(FieldOperand(elements, HeapObject::kMapOffset),
2292         Immediate(factory->fixed_double_array_map()));
2293     j(equal, &ok);
2294     cmp(FieldOperand(elements, HeapObject::kMapOffset),
2295         Immediate(factory->fixed_cow_array_map()));
2296     j(equal, &ok);
2297     Abort("JSObject with fast elements map has slow elements");
2298     bind(&ok);
2299   }
2300 }
2301
2302
2303 void MacroAssembler::Check(Condition cc, const char* msg) {
2304   Label L;
2305   j(cc, &L);
2306   Abort(msg);
2307   // will not return here
2308   bind(&L);
2309 }
2310
2311
2312 void MacroAssembler::CheckStackAlignment() {
2313   int frame_alignment = OS::ActivationFrameAlignment();
2314   int frame_alignment_mask = frame_alignment - 1;
2315   if (frame_alignment > kPointerSize) {
2316     ASSERT(IsPowerOf2(frame_alignment));
2317     Label alignment_as_expected;
2318     test(esp, Immediate(frame_alignment_mask));
2319     j(zero, &alignment_as_expected);
2320     // Abort if stack is not aligned.
2321     int3();
2322     bind(&alignment_as_expected);
2323   }
2324 }
2325
2326
2327 void MacroAssembler::Abort(const char* msg) {
2328   // We want to pass the msg string like a smi to avoid GC
2329   // problems, however msg is not guaranteed to be aligned
2330   // properly. Instead, we pass an aligned pointer that is
2331   // a proper v8 smi, but also pass the alignment difference
2332   // from the real pointer as a smi.
2333   intptr_t p1 = reinterpret_cast<intptr_t>(msg);
2334   intptr_t p0 = (p1 & ~kSmiTagMask) + kSmiTag;
2335   ASSERT(reinterpret_cast<Object*>(p0)->IsSmi());
2336 #ifdef DEBUG
2337   if (msg != NULL) {
2338     RecordComment("Abort message: ");
2339     RecordComment(msg);
2340   }
2341 #endif
2342
2343   push(eax);
2344   push(Immediate(p0));
2345   push(Immediate(reinterpret_cast<intptr_t>(Smi::FromInt(p1 - p0))));
2346   // Disable stub call restrictions to always allow calls to abort.
2347   if (!has_frame_) {
2348     // We don't actually want to generate a pile of code for this, so just
2349     // claim there is a stack frame, without generating one.
2350     FrameScope scope(this, StackFrame::NONE);
2351     CallRuntime(Runtime::kAbort, 2);
2352   } else {
2353     CallRuntime(Runtime::kAbort, 2);
2354   }
2355   // will not return here
2356   int3();
2357 }
2358
2359
2360 void MacroAssembler::LoadInstanceDescriptors(Register map,
2361                                              Register descriptors) {
2362   mov(descriptors,
2363       FieldOperand(map, Map::kInstanceDescriptorsOrBitField3Offset));
2364   Label not_smi;
2365   JumpIfNotSmi(descriptors, &not_smi);
2366   mov(descriptors, isolate()->factory()->empty_descriptor_array());
2367   bind(&not_smi);
2368 }
2369
2370
2371 void MacroAssembler::LoadPowerOf2(XMMRegister dst,
2372                                   Register scratch,
2373                                   int power) {
2374   ASSERT(is_uintn(power + HeapNumber::kExponentBias,
2375                   HeapNumber::kExponentBits));
2376   mov(scratch, Immediate(power + HeapNumber::kExponentBias));
2377   movd(dst, scratch);
2378   psllq(dst, HeapNumber::kMantissaBits);
2379 }
2380
2381
2382 void MacroAssembler::JumpIfInstanceTypeIsNotSequentialAscii(
2383     Register instance_type,
2384     Register scratch,
2385     Label* failure) {
2386   if (!scratch.is(instance_type)) {
2387     mov(scratch, instance_type);
2388   }
2389   and_(scratch,
2390        kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask);
2391   cmp(scratch, kStringTag | kSeqStringTag | kAsciiStringTag);
2392   j(not_equal, failure);
2393 }
2394
2395
2396 void MacroAssembler::JumpIfNotBothSequentialAsciiStrings(Register object1,
2397                                                          Register object2,
2398                                                          Register scratch1,
2399                                                          Register scratch2,
2400                                                          Label* failure) {
2401   // Check that both objects are not smis.
2402   STATIC_ASSERT(kSmiTag == 0);
2403   mov(scratch1, object1);
2404   and_(scratch1, object2);
2405   JumpIfSmi(scratch1, failure);
2406
2407   // Load instance type for both strings.
2408   mov(scratch1, FieldOperand(object1, HeapObject::kMapOffset));
2409   mov(scratch2, FieldOperand(object2, HeapObject::kMapOffset));
2410   movzx_b(scratch1, FieldOperand(scratch1, Map::kInstanceTypeOffset));
2411   movzx_b(scratch2, FieldOperand(scratch2, Map::kInstanceTypeOffset));
2412
2413   // Check that both are flat ascii strings.
2414   const int kFlatAsciiStringMask =
2415       kIsNotStringMask | kStringRepresentationMask | kStringEncodingMask;
2416   const int kFlatAsciiStringTag = ASCII_STRING_TYPE;
2417   // Interleave bits from both instance types and compare them in one check.
2418   ASSERT_EQ(0, kFlatAsciiStringMask & (kFlatAsciiStringMask << 3));
2419   and_(scratch1, kFlatAsciiStringMask);
2420   and_(scratch2, kFlatAsciiStringMask);
2421   lea(scratch1, Operand(scratch1, scratch2, times_8, 0));
2422   cmp(scratch1, kFlatAsciiStringTag | (kFlatAsciiStringTag << 3));
2423   j(not_equal, failure);
2424 }
2425
2426
2427 void MacroAssembler::PrepareCallCFunction(int num_arguments, Register scratch) {
2428   int frame_alignment = OS::ActivationFrameAlignment();
2429   if (frame_alignment != 0) {
2430     // Make stack end at alignment and make room for num_arguments words
2431     // and the original value of esp.
2432     mov(scratch, esp);
2433     sub(esp, Immediate((num_arguments + 1) * kPointerSize));
2434     ASSERT(IsPowerOf2(frame_alignment));
2435     and_(esp, -frame_alignment);
2436     mov(Operand(esp, num_arguments * kPointerSize), scratch);
2437   } else {
2438     sub(esp, Immediate(num_arguments * kPointerSize));
2439   }
2440 }
2441
2442
2443 void MacroAssembler::CallCFunction(ExternalReference function,
2444                                    int num_arguments) {
2445   // Trashing eax is ok as it will be the return value.
2446   mov(eax, Immediate(function));
2447   CallCFunction(eax, num_arguments);
2448 }
2449
2450
2451 void MacroAssembler::CallCFunction(Register function,
2452                                    int num_arguments) {
2453   ASSERT(has_frame());
2454   // Check stack alignment.
2455   if (emit_debug_code()) {
2456     CheckStackAlignment();
2457   }
2458
2459   call(function);
2460   if (OS::ActivationFrameAlignment() != 0) {
2461     mov(esp, Operand(esp, num_arguments * kPointerSize));
2462   } else {
2463     add(esp, Immediate(num_arguments * kPointerSize));
2464   }
2465 }
2466
2467
2468 bool AreAliased(Register r1, Register r2, Register r3, Register r4) {
2469   if (r1.is(r2)) return true;
2470   if (r1.is(r3)) return true;
2471   if (r1.is(r4)) return true;
2472   if (r2.is(r3)) return true;
2473   if (r2.is(r4)) return true;
2474   if (r3.is(r4)) return true;
2475   return false;
2476 }
2477
2478
2479 CodePatcher::CodePatcher(byte* address, int size)
2480     : address_(address),
2481       size_(size),
2482       masm_(Isolate::Current(), address, size + Assembler::kGap) {
2483   // Create a new macro assembler pointing to the address of the code to patch.
2484   // The size is adjusted with kGap on order for the assembler to generate size
2485   // bytes of instructions without failing with buffer size constraints.
2486   ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2487 }
2488
2489
2490 CodePatcher::~CodePatcher() {
2491   // Indicate that code has changed.
2492   CPU::FlushICache(address_, size_);
2493
2494   // Check that the code was patched as expected.
2495   ASSERT(masm_.pc_ == address_ + size_);
2496   ASSERT(masm_.reloc_info_writer.pos() == address_ + size_ + Assembler::kGap);
2497 }
2498
2499
2500 void MacroAssembler::CheckPageFlag(
2501     Register object,
2502     Register scratch,
2503     int mask,
2504     Condition cc,
2505     Label* condition_met,
2506     Label::Distance condition_met_distance) {
2507   ASSERT(cc == zero || cc == not_zero);
2508   if (scratch.is(object)) {
2509     and_(scratch, Immediate(~Page::kPageAlignmentMask));
2510   } else {
2511     mov(scratch, Immediate(~Page::kPageAlignmentMask));
2512     and_(scratch, object);
2513   }
2514   if (mask < (1 << kBitsPerByte)) {
2515     test_b(Operand(scratch, MemoryChunk::kFlagsOffset),
2516            static_cast<uint8_t>(mask));
2517   } else {
2518     test(Operand(scratch, MemoryChunk::kFlagsOffset), Immediate(mask));
2519   }
2520   j(cc, condition_met, condition_met_distance);
2521 }
2522
2523
2524 void MacroAssembler::JumpIfBlack(Register object,
2525                                  Register scratch0,
2526                                  Register scratch1,
2527                                  Label* on_black,
2528                                  Label::Distance on_black_near) {
2529   HasColor(object, scratch0, scratch1,
2530            on_black, on_black_near,
2531            1, 0);  // kBlackBitPattern.
2532   ASSERT(strcmp(Marking::kBlackBitPattern, "10") == 0);
2533 }
2534
2535
2536 void MacroAssembler::HasColor(Register object,
2537                               Register bitmap_scratch,
2538                               Register mask_scratch,
2539                               Label* has_color,
2540                               Label::Distance has_color_distance,
2541                               int first_bit,
2542                               int second_bit) {
2543   ASSERT(!AreAliased(object, bitmap_scratch, mask_scratch, ecx));
2544
2545   GetMarkBits(object, bitmap_scratch, mask_scratch);
2546
2547   Label other_color, word_boundary;
2548   test(mask_scratch, Operand(bitmap_scratch, MemoryChunk::kHeaderSize));
2549   j(first_bit == 1 ? zero : not_zero, &other_color, Label::kNear);
2550   add(mask_scratch, mask_scratch);  // Shift left 1 by adding.
2551   j(zero, &word_boundary, Label::kNear);
2552   test(mask_scratch, Operand(bitmap_scratch, MemoryChunk::kHeaderSize));
2553   j(second_bit == 1 ? not_zero : zero, has_color, has_color_distance);
2554   jmp(&other_color, Label::kNear);
2555
2556   bind(&word_boundary);
2557   test_b(Operand(bitmap_scratch, MemoryChunk::kHeaderSize + kPointerSize), 1);
2558
2559   j(second_bit == 1 ? not_zero : zero, has_color, has_color_distance);
2560   bind(&other_color);
2561 }
2562
2563
2564 void MacroAssembler::GetMarkBits(Register addr_reg,
2565                                  Register bitmap_reg,
2566                                  Register mask_reg) {
2567   ASSERT(!AreAliased(addr_reg, mask_reg, bitmap_reg, ecx));
2568   mov(bitmap_reg, Immediate(~Page::kPageAlignmentMask));
2569   and_(bitmap_reg, addr_reg);
2570   mov(ecx, addr_reg);
2571   int shift =
2572       Bitmap::kBitsPerCellLog2 + kPointerSizeLog2 - Bitmap::kBytesPerCellLog2;
2573   shr(ecx, shift);
2574   and_(ecx,
2575        (Page::kPageAlignmentMask >> shift) & ~(Bitmap::kBytesPerCell - 1));
2576
2577   add(bitmap_reg, ecx);
2578   mov(ecx, addr_reg);
2579   shr(ecx, kPointerSizeLog2);
2580   and_(ecx, (1 << Bitmap::kBitsPerCellLog2) - 1);
2581   mov(mask_reg, Immediate(1));
2582   shl_cl(mask_reg);
2583 }
2584
2585
2586 void MacroAssembler::EnsureNotWhite(
2587     Register value,
2588     Register bitmap_scratch,
2589     Register mask_scratch,
2590     Label* value_is_white_and_not_data,
2591     Label::Distance distance) {
2592   ASSERT(!AreAliased(value, bitmap_scratch, mask_scratch, ecx));
2593   GetMarkBits(value, bitmap_scratch, mask_scratch);
2594
2595   // If the value is black or grey we don't need to do anything.
2596   ASSERT(strcmp(Marking::kWhiteBitPattern, "00") == 0);
2597   ASSERT(strcmp(Marking::kBlackBitPattern, "10") == 0);
2598   ASSERT(strcmp(Marking::kGreyBitPattern, "11") == 0);
2599   ASSERT(strcmp(Marking::kImpossibleBitPattern, "01") == 0);
2600
2601   Label done;
2602
2603   // Since both black and grey have a 1 in the first position and white does
2604   // not have a 1 there we only need to check one bit.
2605   test(mask_scratch, Operand(bitmap_scratch, MemoryChunk::kHeaderSize));
2606   j(not_zero, &done, Label::kNear);
2607
2608   if (FLAG_debug_code) {
2609     // Check for impossible bit pattern.
2610     Label ok;
2611     push(mask_scratch);
2612     // shl.  May overflow making the check conservative.
2613     add(mask_scratch, mask_scratch);
2614     test(mask_scratch, Operand(bitmap_scratch, MemoryChunk::kHeaderSize));
2615     j(zero, &ok, Label::kNear);
2616     int3();
2617     bind(&ok);
2618     pop(mask_scratch);
2619   }
2620
2621   // Value is white.  We check whether it is data that doesn't need scanning.
2622   // Currently only checks for HeapNumber and non-cons strings.
2623   Register map = ecx;  // Holds map while checking type.
2624   Register length = ecx;  // Holds length of object after checking type.
2625   Label not_heap_number;
2626   Label is_data_object;
2627
2628   // Check for heap-number
2629   mov(map, FieldOperand(value, HeapObject::kMapOffset));
2630   cmp(map, FACTORY->heap_number_map());
2631   j(not_equal, &not_heap_number, Label::kNear);
2632   mov(length, Immediate(HeapNumber::kSize));
2633   jmp(&is_data_object, Label::kNear);
2634
2635   bind(&not_heap_number);
2636   // Check for strings.
2637   ASSERT(kIsIndirectStringTag == 1 && kIsIndirectStringMask == 1);
2638   ASSERT(kNotStringTag == 0x80 && kIsNotStringMask == 0x80);
2639   // If it's a string and it's not a cons string then it's an object containing
2640   // no GC pointers.
2641   Register instance_type = ecx;
2642   movzx_b(instance_type, FieldOperand(map, Map::kInstanceTypeOffset));
2643   test_b(instance_type, kIsIndirectStringMask | kIsNotStringMask);
2644   j(not_zero, value_is_white_and_not_data);
2645   // It's a non-indirect (non-cons and non-slice) string.
2646   // If it's external, the length is just ExternalString::kSize.
2647   // Otherwise it's String::kHeaderSize + string->length() * (1 or 2).
2648   Label not_external;
2649   // External strings are the only ones with the kExternalStringTag bit
2650   // set.
2651   ASSERT_EQ(0, kSeqStringTag & kExternalStringTag);
2652   ASSERT_EQ(0, kConsStringTag & kExternalStringTag);
2653   test_b(instance_type, kExternalStringTag);
2654   j(zero, &not_external, Label::kNear);
2655   mov(length, Immediate(ExternalString::kSize));
2656   jmp(&is_data_object, Label::kNear);
2657
2658   bind(&not_external);
2659   // Sequential string, either ASCII or UC16.
2660   ASSERT(kAsciiStringTag == 0x04);
2661   and_(length, Immediate(kStringEncodingMask));
2662   xor_(length, Immediate(kStringEncodingMask));
2663   add(length, Immediate(0x04));
2664   // Value now either 4 (if ASCII) or 8 (if UC16), i.e., char-size shifted
2665   // by 2. If we multiply the string length as smi by this, it still
2666   // won't overflow a 32-bit value.
2667   ASSERT_EQ(SeqAsciiString::kMaxSize, SeqTwoByteString::kMaxSize);
2668   ASSERT(SeqAsciiString::kMaxSize <=
2669          static_cast<int>(0xffffffffu >> (2 + kSmiTagSize)));
2670   imul(length, FieldOperand(value, String::kLengthOffset));
2671   shr(length, 2 + kSmiTagSize + kSmiShiftSize);
2672   add(length, Immediate(SeqString::kHeaderSize + kObjectAlignmentMask));
2673   and_(length, Immediate(~kObjectAlignmentMask));
2674
2675   bind(&is_data_object);
2676   // Value is a data object, and it is white.  Mark it black.  Since we know
2677   // that the object is white we can make it black by flipping one bit.
2678   or_(Operand(bitmap_scratch, MemoryChunk::kHeaderSize), mask_scratch);
2679
2680   and_(bitmap_scratch, Immediate(~Page::kPageAlignmentMask));
2681   add(Operand(bitmap_scratch, MemoryChunk::kLiveBytesOffset),
2682       length);
2683   if (FLAG_debug_code) {
2684     mov(length, Operand(bitmap_scratch, MemoryChunk::kLiveBytesOffset));
2685     cmp(length, Operand(bitmap_scratch, MemoryChunk::kSizeOffset));
2686     Check(less_equal, "Live Bytes Count overflow chunk size");
2687   }
2688
2689   bind(&done);
2690 }
2691
2692 } }  // namespace v8::internal
2693
2694 #endif  // V8_TARGET_ARCH_IA32