blob: 0ec80e27ec8b1c39cec72fbb5721fedbebba2ab2 [file] [log] [blame]
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00001// Copyright 2011 the V8 project authors. All rights reserved.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +000028#include "v8.h"
29
30#if defined(V8_TARGET_ARCH_IA32)
31
kasperl@chromium.orga5551262010-12-07 12:49:48 +000032#include "ia32/lithium-codegen-ia32.h"
33#include "code-stubs.h"
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000034#include "deoptimizer.h"
kasperl@chromium.orga5551262010-12-07 12:49:48 +000035#include "stub-cache.h"
36
37namespace v8 {
38namespace internal {
39
40
kmillikin@chromium.org31b12772011-02-02 16:08:26 +000041// When invoking builtins, we need to record the safepoint in the middle of
42// the invoke instruction sequence generated by the macro assembler.
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +000043class SafepointGenerator : public CallWrapper {
kasperl@chromium.orga5551262010-12-07 12:49:48 +000044 public:
45 SafepointGenerator(LCodeGen* codegen,
46 LPointerMap* pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000047 int deoptimization_index)
kasperl@chromium.orga5551262010-12-07 12:49:48 +000048 : codegen_(codegen),
49 pointers_(pointers),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000050 deoptimization_index_(deoptimization_index) {}
kasperl@chromium.orga5551262010-12-07 12:49:48 +000051 virtual ~SafepointGenerator() { }
52
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +000053 virtual void BeforeCall(int call_size) const {}
54
55 virtual void AfterCall() const {
kasperl@chromium.orga5551262010-12-07 12:49:48 +000056 codegen_->RecordSafepoint(pointers_, deoptimization_index_);
57 }
58
59 private:
60 LCodeGen* codegen_;
61 LPointerMap* pointers_;
62 int deoptimization_index_;
63};
64
65
66#define __ masm()->
67
68bool LCodeGen::GenerateCode() {
69 HPhase phase("Code generation", chunk());
70 ASSERT(is_unused());
71 status_ = GENERATING;
72 CpuFeatures::Scope scope(SSE2);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000073
74 CodeStub::GenerateFPStubs();
75
76 // Open a frame scope to indicate that there is a frame on the stack. The
77 // MANUAL indicates that the scope shouldn't actually generate code to set up
78 // the frame (that is done in GeneratePrologue).
79 FrameScope frame_scope(masm_, StackFrame::MANUAL);
80
81 dynamic_frame_alignment_ = chunk()->num_double_slots() > 2 ||
82 info()->osr_ast_id() != AstNode::kNoNumber;
83
kasperl@chromium.orga5551262010-12-07 12:49:48 +000084 return GeneratePrologue() &&
85 GenerateBody() &&
86 GenerateDeferredCode() &&
87 GenerateSafepointTable();
88}
89
90
91void LCodeGen::FinishCode(Handle<Code> code) {
92 ASSERT(is_done());
danno@chromium.org160a7b02011-04-18 15:51:38 +000093 code->set_stack_slots(GetStackSlotCount());
ricow@chromium.org83aa5492011-02-07 12:42:56 +000094 code->set_safepoint_table_offset(safepoints_.GetCodeOffset());
kasperl@chromium.orga5551262010-12-07 12:49:48 +000095 PopulateDeoptimizationData(code);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000096 Deoptimizer::EnsureRelocSpaceForLazyDeoptimization(code);
kasperl@chromium.orga5551262010-12-07 12:49:48 +000097}
98
99
100void LCodeGen::Abort(const char* format, ...) {
101 if (FLAG_trace_bailout) {
kmillikin@chromium.org83e16822011-09-13 08:21:47 +0000102 SmartArrayPointer<char> name(
103 info()->shared_info()->DebugName()->ToCString());
karlklose@chromium.org8f806e82011-03-07 14:06:08 +0000104 PrintF("Aborting LCodeGen in @\"%s\": ", *name);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000105 va_list arguments;
106 va_start(arguments, format);
107 OS::VPrint(format, arguments);
108 va_end(arguments);
109 PrintF("\n");
110 }
111 status_ = ABORTED;
112}
113
114
115void LCodeGen::Comment(const char* format, ...) {
116 if (!FLAG_code_comments) return;
117 char buffer[4 * KB];
118 StringBuilder builder(buffer, ARRAY_SIZE(buffer));
119 va_list arguments;
120 va_start(arguments, format);
121 builder.AddFormattedList(format, arguments);
122 va_end(arguments);
123
124 // Copy the string before recording it in the assembler to avoid
125 // issues when the stack allocated buffer goes out of scope.
126 size_t length = builder.position();
127 Vector<char> copy = Vector<char>::New(length + 1);
128 memcpy(copy.start(), builder.Finalize(), copy.length());
129 masm()->RecordComment(copy.start());
130}
131
132
133bool LCodeGen::GeneratePrologue() {
134 ASSERT(is_generating());
135
136#ifdef DEBUG
137 if (strlen(FLAG_stop_at) > 0 &&
138 info_->function()->name()->IsEqualTo(CStrVector(FLAG_stop_at))) {
139 __ int3();
140 }
141#endif
142
ricow@chromium.orgd2be9012011-06-01 06:00:58 +0000143 // Strict mode functions and builtins need to replace the receiver
144 // with undefined when called as functions (without an explicit
145 // receiver object). ecx is zero for method calls and non-zero for
146 // function calls.
147 if (info_->is_strict_mode() || info_->is_native()) {
danno@chromium.org40cb8782011-05-25 07:58:50 +0000148 Label ok;
149 __ test(ecx, Operand(ecx));
150 __ j(zero, &ok, Label::kNear);
151 // +1 for return address.
152 int receiver_offset = (scope()->num_parameters() + 1) * kPointerSize;
153 __ mov(Operand(esp, receiver_offset),
154 Immediate(isolate()->factory()->undefined_value()));
155 __ bind(&ok);
156 }
157
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000158 if (dynamic_frame_alignment_) {
159 Label do_not_pad, align_loop;
160 STATIC_ASSERT(kDoubleSize == 2 * kPointerSize);
161 // Align esp to a multiple of 2 * kPointerSize.
162 __ test(esp, Immediate(kPointerSize));
163 __ j(zero, &do_not_pad, Label::kNear);
164 __ push(Immediate(0));
165 __ mov(ebx, esp);
166 // Copy arguments, receiver, and return address.
167 __ mov(ecx, Immediate(scope()->num_parameters() + 2));
168
169 __ bind(&align_loop);
170 __ mov(eax, Operand(ebx, 1 * kPointerSize));
171 __ mov(Operand(ebx, 0), eax);
172 __ add(Operand(ebx), Immediate(kPointerSize));
173 __ dec(ecx);
174 __ j(not_zero, &align_loop, Label::kNear);
175 __ mov(Operand(ebx, 0),
176 Immediate(isolate()->factory()->frame_alignment_marker()));
177
178 __ bind(&do_not_pad);
179 }
180
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000181 __ push(ebp); // Caller's frame pointer.
182 __ mov(ebp, esp);
183 __ push(esi); // Callee's context.
184 __ push(edi); // Callee's JS function.
185
186 // Reserve space for the stack slots needed by the code.
danno@chromium.org160a7b02011-04-18 15:51:38 +0000187 int slots = GetStackSlotCount();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000188 if (slots > 0) {
189 if (FLAG_debug_code) {
190 __ mov(Operand(eax), Immediate(slots));
191 Label loop;
192 __ bind(&loop);
193 __ push(Immediate(kSlotsZapValue));
194 __ dec(eax);
195 __ j(not_zero, &loop);
196 } else {
197 __ sub(Operand(esp), Immediate(slots * kPointerSize));
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000198#ifdef _MSC_VER
199 // On windows, you may not access the stack more than one page below
200 // the most recently mapped page. To make the allocated area randomly
201 // accessible, we write to each page in turn (the value is irrelevant).
202 const int kPageSize = 4 * KB;
203 for (int offset = slots * kPointerSize - kPageSize;
204 offset > 0;
205 offset -= kPageSize) {
206 __ mov(Operand(esp, offset), eax);
207 }
208#endif
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000209 }
210 }
211
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000212 // Possibly allocate a local context.
213 int heap_slots = scope()->num_heap_slots() - Context::MIN_CONTEXT_SLOTS;
214 if (heap_slots > 0) {
215 Comment(";;; Allocate local context");
216 // Argument to NewContext is the function, which is still in edi.
217 __ push(edi);
218 if (heap_slots <= FastNewContextStub::kMaximumSlots) {
219 FastNewContextStub stub(heap_slots);
220 __ CallStub(&stub);
221 } else {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +0000222 __ CallRuntime(Runtime::kNewFunctionContext, 1);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000223 }
224 RecordSafepoint(Safepoint::kNoDeoptimizationIndex);
225 // Context is returned in both eax and esi. It replaces the context
226 // passed to us. It's saved in the stack and kept live in esi.
227 __ mov(Operand(ebp, StandardFrameConstants::kContextOffset), esi);
228
229 // Copy parameters into context if necessary.
230 int num_parameters = scope()->num_parameters();
231 for (int i = 0; i < num_parameters; i++) {
jkummerow@chromium.org486075a2011-09-07 12:44:28 +0000232 Variable* var = scope()->parameter(i);
233 if (var->IsContextSlot()) {
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000234 int parameter_offset = StandardFrameConstants::kCallerSPOffset +
235 (num_parameters - 1 - i) * kPointerSize;
236 // Load parameter from stack.
237 __ mov(eax, Operand(ebp, parameter_offset));
238 // Store it in the context.
jkummerow@chromium.org486075a2011-09-07 12:44:28 +0000239 int context_offset = Context::SlotOffset(var->index());
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000240 __ mov(Operand(esi, context_offset), eax);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000241 // Update the write barrier. This clobbers eax and ebx.
242 __ RecordWriteContextSlot(esi,
243 context_offset,
244 eax,
245 ebx,
246 kDontSaveFPRegs);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000247 }
248 }
249 Comment(";;; End allocate local context");
250 }
251
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000252 // Trace the call.
253 if (FLAG_trace) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000254 // We have not executed any compiled code yet, so esi still holds the
255 // incoming context.
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000256 __ CallRuntime(Runtime::kTraceEnter, 0);
257 }
258 return !is_aborted();
259}
260
261
262bool LCodeGen::GenerateBody() {
263 ASSERT(is_generating());
264 bool emit_instructions = true;
265 for (current_instruction_ = 0;
266 !is_aborted() && current_instruction_ < instructions_->length();
267 current_instruction_++) {
268 LInstruction* instr = instructions_->at(current_instruction_);
269 if (instr->IsLabel()) {
270 LLabel* label = LLabel::cast(instr);
271 emit_instructions = !label->HasReplacement();
272 }
273
274 if (emit_instructions) {
275 Comment(";;; @%d: %s.", current_instruction_, instr->Mnemonic());
276 instr->CompileToNative(this);
277 }
278 }
279 return !is_aborted();
280}
281
282
283LInstruction* LCodeGen::GetNextInstruction() {
284 if (current_instruction_ < instructions_->length() - 1) {
285 return instructions_->at(current_instruction_ + 1);
286 } else {
287 return NULL;
288 }
289}
290
291
292bool LCodeGen::GenerateDeferredCode() {
293 ASSERT(is_generating());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000294 if (deferred_.length() > 0) {
295 for (int i = 0; !is_aborted() && i < deferred_.length(); i++) {
296 LDeferredCode* code = deferred_[i];
297 __ bind(code->entry());
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000298 Comment(";;; Deferred code @%d: %s.",
299 code->instruction_index(),
300 code->instr()->Mnemonic());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000301 code->Generate();
302 __ jmp(code->exit());
303 }
304
305 // Pad code to ensure that the last piece of deferred code have
306 // room for lazy bailout.
307 while ((masm()->pc_offset() - LastSafepointEnd())
308 < Deoptimizer::patch_size()) {
309 __ nop();
310 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000311 }
312
313 // Deferred code is the last part of the instruction sequence. Mark
314 // the generated code as done unless we bailed out.
315 if (!is_aborted()) status_ = DONE;
316 return !is_aborted();
317}
318
319
320bool LCodeGen::GenerateSafepointTable() {
321 ASSERT(is_done());
danno@chromium.org160a7b02011-04-18 15:51:38 +0000322 safepoints_.Emit(masm(), GetStackSlotCount());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000323 return !is_aborted();
324}
325
326
327Register LCodeGen::ToRegister(int index) const {
328 return Register::FromAllocationIndex(index);
329}
330
331
332XMMRegister LCodeGen::ToDoubleRegister(int index) const {
333 return XMMRegister::FromAllocationIndex(index);
334}
335
336
337Register LCodeGen::ToRegister(LOperand* op) const {
338 ASSERT(op->IsRegister());
339 return ToRegister(op->index());
340}
341
342
343XMMRegister LCodeGen::ToDoubleRegister(LOperand* op) const {
344 ASSERT(op->IsDoubleRegister());
345 return ToDoubleRegister(op->index());
346}
347
348
349int LCodeGen::ToInteger32(LConstantOperand* op) const {
350 Handle<Object> value = chunk_->LookupLiteral(op);
351 ASSERT(chunk_->LookupLiteralRepresentation(op).IsInteger32());
352 ASSERT(static_cast<double>(static_cast<int32_t>(value->Number())) ==
353 value->Number());
354 return static_cast<int32_t>(value->Number());
355}
356
357
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000358double LCodeGen::ToDouble(LConstantOperand* op) const {
359 Handle<Object> value = chunk_->LookupLiteral(op);
360 return value->Number();
361}
362
363
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000364Immediate LCodeGen::ToImmediate(LOperand* op) {
365 LConstantOperand* const_op = LConstantOperand::cast(op);
366 Handle<Object> literal = chunk_->LookupLiteral(const_op);
367 Representation r = chunk_->LookupLiteralRepresentation(const_op);
368 if (r.IsInteger32()) {
369 ASSERT(literal->IsNumber());
370 return Immediate(static_cast<int32_t>(literal->Number()));
371 } else if (r.IsDouble()) {
372 Abort("unsupported double immediate");
373 }
374 ASSERT(r.IsTagged());
375 return Immediate(literal);
376}
377
378
379Operand LCodeGen::ToOperand(LOperand* op) const {
380 if (op->IsRegister()) return Operand(ToRegister(op));
381 if (op->IsDoubleRegister()) return Operand(ToDoubleRegister(op));
382 ASSERT(op->IsStackSlot() || op->IsDoubleStackSlot());
383 int index = op->index();
384 if (index >= 0) {
385 // Local or spill slot. Skip the frame pointer, function, and
386 // context in the fixed part of the frame.
387 return Operand(ebp, -(index + 3) * kPointerSize);
388 } else {
389 // Incoming parameter. Skip the return address.
390 return Operand(ebp, -(index - 1) * kPointerSize);
391 }
392}
393
394
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000395Operand LCodeGen::HighOperand(LOperand* op) {
396 ASSERT(op->IsDoubleStackSlot());
397 int index = op->index();
398 int offset = (index >= 0) ? index + 3 : index - 1;
399 return Operand(ebp, -offset * kPointerSize);
400}
401
402
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000403void LCodeGen::WriteTranslation(LEnvironment* environment,
404 Translation* translation) {
405 if (environment == NULL) return;
406
407 // The translation includes one command per value in the environment.
408 int translation_size = environment->values()->length();
409 // The output frame height does not include the parameters.
410 int height = translation_size - environment->parameter_count();
411
412 WriteTranslation(environment->outer(), translation);
413 int closure_id = DefineDeoptimizationLiteral(environment->closure());
414 translation->BeginFrame(environment->ast_id(), closure_id, height);
415 for (int i = 0; i < translation_size; ++i) {
416 LOperand* value = environment->values()->at(i);
417 // spilled_registers_ and spilled_double_registers_ are either
418 // both NULL or both set.
419 if (environment->spilled_registers() != NULL && value != NULL) {
420 if (value->IsRegister() &&
421 environment->spilled_registers()[value->index()] != NULL) {
422 translation->MarkDuplicate();
423 AddToTranslation(translation,
424 environment->spilled_registers()[value->index()],
425 environment->HasTaggedValueAt(i));
426 } else if (
427 value->IsDoubleRegister() &&
428 environment->spilled_double_registers()[value->index()] != NULL) {
429 translation->MarkDuplicate();
430 AddToTranslation(
431 translation,
432 environment->spilled_double_registers()[value->index()],
433 false);
434 }
435 }
436
437 AddToTranslation(translation, value, environment->HasTaggedValueAt(i));
438 }
439}
440
441
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000442void LCodeGen::AddToTranslation(Translation* translation,
443 LOperand* op,
444 bool is_tagged) {
445 if (op == NULL) {
446 // TODO(twuerthinger): Introduce marker operands to indicate that this value
447 // is not present and must be reconstructed from the deoptimizer. Currently
448 // this is only used for the arguments object.
449 translation->StoreArgumentsObject();
450 } else if (op->IsStackSlot()) {
451 if (is_tagged) {
452 translation->StoreStackSlot(op->index());
453 } else {
454 translation->StoreInt32StackSlot(op->index());
455 }
456 } else if (op->IsDoubleStackSlot()) {
457 translation->StoreDoubleStackSlot(op->index());
458 } else if (op->IsArgument()) {
459 ASSERT(is_tagged);
danno@chromium.org160a7b02011-04-18 15:51:38 +0000460 int src_index = GetStackSlotCount() + op->index();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000461 translation->StoreStackSlot(src_index);
462 } else if (op->IsRegister()) {
463 Register reg = ToRegister(op);
464 if (is_tagged) {
465 translation->StoreRegister(reg);
466 } else {
467 translation->StoreInt32Register(reg);
468 }
469 } else if (op->IsDoubleRegister()) {
470 XMMRegister reg = ToDoubleRegister(op);
471 translation->StoreDoubleRegister(reg);
472 } else if (op->IsConstantOperand()) {
473 Handle<Object> literal = chunk()->LookupLiteral(LConstantOperand::cast(op));
474 int src_index = DefineDeoptimizationLiteral(literal);
475 translation->StoreLiteral(src_index);
476 } else {
477 UNREACHABLE();
478 }
479}
480
481
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000482void LCodeGen::CallCodeGeneric(Handle<Code> code,
483 RelocInfo::Mode mode,
484 LInstruction* instr,
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000485 SafepointMode safepoint_mode) {
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000486 ASSERT(instr != NULL);
487 LPointerMap* pointers = instr->pointer_map();
488 RecordPosition(pointers->position());
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000489
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000490 __ call(code, mode);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000491
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000492 RegisterLazyDeoptimization(instr, safepoint_mode);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +0000493
494 // Signal that we don't inline smi code before these stubs in the
495 // optimizing code generator.
danno@chromium.org40cb8782011-05-25 07:58:50 +0000496 if (code->kind() == Code::BINARY_OP_IC ||
ager@chromium.org5f0c45f2010-12-17 08:51:21 +0000497 code->kind() == Code::COMPARE_IC) {
498 __ nop();
499 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000500}
501
502
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000503void LCodeGen::CallCode(Handle<Code> code,
504 RelocInfo::Mode mode,
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000505 LInstruction* instr) {
506 CallCodeGeneric(code, mode, instr, RECORD_SIMPLE_SAFEPOINT);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000507}
508
509
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000510void LCodeGen::CallRuntime(const Runtime::Function* fun,
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000511 int argc,
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000512 LInstruction* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000513 ASSERT(instr != NULL);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000514 ASSERT(instr->HasPointerMap());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000515 LPointerMap* pointers = instr->pointer_map();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000516 RecordPosition(pointers->position());
517
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000518 __ CallRuntime(fun, argc);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000519
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000520 RegisterLazyDeoptimization(instr, RECORD_SIMPLE_SAFEPOINT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000521}
522
523
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000524void LCodeGen::CallRuntimeFromDeferred(Runtime::FunctionId id,
525 int argc,
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000526 LInstruction* instr,
527 LOperand* context) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000528 if (context->IsRegister()) {
529 if (!ToRegister(context).is(esi)) {
530 __ mov(esi, ToRegister(context));
531 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000532 } else if (context->IsStackSlot()) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000533 __ mov(esi, ToOperand(context));
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000534 } else if (context->IsConstantOperand()) {
535 Handle<Object> literal =
536 chunk_->LookupLiteral(LConstantOperand::cast(context));
537 LoadHeapObject(esi, Handle<Context>::cast(literal));
538 } else {
539 UNREACHABLE();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000540 }
541
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000542 __ CallRuntimeSaveDoubles(id);
543 RecordSafepointWithRegisters(
544 instr->pointer_map(), argc, Safepoint::kNoDeoptimizationIndex);
545}
546
547
548void LCodeGen::RegisterLazyDeoptimization(LInstruction* instr,
549 SafepointMode safepoint_mode) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000550 // Create the environment to bailout to. If the call has side effects
551 // execution has to continue after the call otherwise execution can continue
552 // from a previous bailout point repeating the call.
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000553 LEnvironment* deoptimization_environment;
554 if (instr->HasDeoptimizationEnvironment()) {
555 deoptimization_environment = instr->deoptimization_environment();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000556 } else {
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000557 deoptimization_environment = instr->environment();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000558 }
559
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000560 RegisterEnvironmentForDeoptimization(deoptimization_environment);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000561 if (safepoint_mode == RECORD_SIMPLE_SAFEPOINT) {
562 RecordSafepoint(instr->pointer_map(),
563 deoptimization_environment->deoptimization_index());
564 } else {
565 ASSERT(safepoint_mode == RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
566 RecordSafepointWithRegisters(
567 instr->pointer_map(),
568 0,
569 deoptimization_environment->deoptimization_index());
570 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000571}
572
573
574void LCodeGen::RegisterEnvironmentForDeoptimization(LEnvironment* environment) {
575 if (!environment->HasBeenRegistered()) {
576 // Physical stack frame layout:
577 // -x ............. -4 0 ..................................... y
578 // [incoming arguments] [spill slots] [pushed outgoing arguments]
579
580 // Layout of the environment:
581 // 0 ..................................................... size-1
582 // [parameters] [locals] [expression stack including arguments]
583
584 // Layout of the translation:
585 // 0 ........................................................ size - 1 + 4
586 // [expression stack including arguments] [locals] [4 words] [parameters]
587 // |>------------ translation_size ------------<|
588
589 int frame_count = 0;
590 for (LEnvironment* e = environment; e != NULL; e = e->outer()) {
591 ++frame_count;
592 }
593 Translation translation(&translations_, frame_count);
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000594 WriteTranslation(environment, &translation);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000595 int deoptimization_index = deoptimizations_.length();
596 environment->Register(deoptimization_index, translation.index());
597 deoptimizations_.Add(environment);
598 }
599}
600
601
602void LCodeGen::DeoptimizeIf(Condition cc, LEnvironment* environment) {
603 RegisterEnvironmentForDeoptimization(environment);
604 ASSERT(environment->HasBeenRegistered());
605 int id = environment->deoptimization_index();
606 Address entry = Deoptimizer::GetDeoptimizationEntry(id, Deoptimizer::EAGER);
607 ASSERT(entry != NULL);
608 if (entry == NULL) {
609 Abort("bailout was not prepared");
610 return;
611 }
612
613 if (FLAG_deopt_every_n_times != 0) {
614 Handle<SharedFunctionInfo> shared(info_->shared_info());
615 Label no_deopt;
616 __ pushfd();
617 __ push(eax);
618 __ push(ebx);
619 __ mov(ebx, shared);
620 __ mov(eax, FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset));
621 __ sub(Operand(eax), Immediate(Smi::FromInt(1)));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000622 __ j(not_zero, &no_deopt, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000623 if (FLAG_trap_on_deopt) __ int3();
624 __ mov(eax, Immediate(Smi::FromInt(FLAG_deopt_every_n_times)));
625 __ mov(FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset), eax);
626 __ pop(ebx);
627 __ pop(eax);
628 __ popfd();
629 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
630
631 __ bind(&no_deopt);
632 __ mov(FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset), eax);
633 __ pop(ebx);
634 __ pop(eax);
635 __ popfd();
636 }
637
638 if (cc == no_condition) {
639 if (FLAG_trap_on_deopt) __ int3();
640 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
641 } else {
642 if (FLAG_trap_on_deopt) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000643 Label done;
644 __ j(NegateCondition(cc), &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000645 __ int3();
646 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
647 __ bind(&done);
648 } else {
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000649 __ j(cc, entry, RelocInfo::RUNTIME_ENTRY);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000650 }
651 }
652}
653
654
655void LCodeGen::PopulateDeoptimizationData(Handle<Code> code) {
656 int length = deoptimizations_.length();
657 if (length == 0) return;
658 ASSERT(FLAG_deopt);
659 Handle<DeoptimizationInputData> data =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000660 factory()->NewDeoptimizationInputData(length, TENURED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000661
ager@chromium.org9ee27ae2011-03-02 13:43:26 +0000662 Handle<ByteArray> translations = translations_.CreateByteArray();
663 data->SetTranslationByteArray(*translations);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000664 data->SetInlinedFunctionCount(Smi::FromInt(inlined_function_count_));
665
666 Handle<FixedArray> literals =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000667 factory()->NewFixedArray(deoptimization_literals_.length(), TENURED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000668 for (int i = 0; i < deoptimization_literals_.length(); i++) {
669 literals->set(i, *deoptimization_literals_[i]);
670 }
671 data->SetLiteralArray(*literals);
672
673 data->SetOsrAstId(Smi::FromInt(info_->osr_ast_id()));
674 data->SetOsrPcOffset(Smi::FromInt(osr_pc_offset_));
675
676 // Populate the deoptimization entries.
677 for (int i = 0; i < length; i++) {
678 LEnvironment* env = deoptimizations_[i];
679 data->SetAstId(i, Smi::FromInt(env->ast_id()));
680 data->SetTranslationIndex(i, Smi::FromInt(env->translation_index()));
681 data->SetArgumentsStackHeight(i,
682 Smi::FromInt(env->arguments_stack_height()));
683 }
684 code->set_deoptimization_data(*data);
685}
686
687
688int LCodeGen::DefineDeoptimizationLiteral(Handle<Object> literal) {
689 int result = deoptimization_literals_.length();
690 for (int i = 0; i < deoptimization_literals_.length(); ++i) {
691 if (deoptimization_literals_[i].is_identical_to(literal)) return i;
692 }
693 deoptimization_literals_.Add(literal);
694 return result;
695}
696
697
698void LCodeGen::PopulateDeoptimizationLiteralsWithInlinedFunctions() {
699 ASSERT(deoptimization_literals_.length() == 0);
700
701 const ZoneList<Handle<JSFunction> >* inlined_closures =
702 chunk()->inlined_closures();
703
704 for (int i = 0, length = inlined_closures->length();
705 i < length;
706 i++) {
707 DefineDeoptimizationLiteral(inlined_closures->at(i));
708 }
709
710 inlined_function_count_ = deoptimization_literals_.length();
711}
712
713
ager@chromium.org378b34e2011-01-28 08:04:38 +0000714void LCodeGen::RecordSafepoint(
715 LPointerMap* pointers,
716 Safepoint::Kind kind,
717 int arguments,
718 int deoptimization_index) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000719 ASSERT(kind == expected_safepoint_kind_);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000720 const ZoneList<LOperand*>* operands = pointers->GetNormalizedOperands();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000721 Safepoint safepoint = safepoints_.DefineSafepoint(masm(),
ager@chromium.org378b34e2011-01-28 08:04:38 +0000722 kind, arguments, deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000723 for (int i = 0; i < operands->length(); i++) {
724 LOperand* pointer = operands->at(i);
725 if (pointer->IsStackSlot()) {
726 safepoint.DefinePointerSlot(pointer->index());
ager@chromium.org378b34e2011-01-28 08:04:38 +0000727 } else if (pointer->IsRegister() && (kind & Safepoint::kWithRegisters)) {
728 safepoint.DefinePointerRegister(ToRegister(pointer));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000729 }
730 }
ager@chromium.org378b34e2011-01-28 08:04:38 +0000731}
732
733
734void LCodeGen::RecordSafepoint(LPointerMap* pointers,
735 int deoptimization_index) {
736 RecordSafepoint(pointers, Safepoint::kSimple, 0, deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000737}
738
739
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000740void LCodeGen::RecordSafepoint(int deoptimization_index) {
741 LPointerMap empty_pointers(RelocInfo::kNoPosition);
742 RecordSafepoint(&empty_pointers, deoptimization_index);
743}
744
745
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000746void LCodeGen::RecordSafepointWithRegisters(LPointerMap* pointers,
747 int arguments,
748 int deoptimization_index) {
ager@chromium.org378b34e2011-01-28 08:04:38 +0000749 RecordSafepoint(pointers, Safepoint::kWithRegisters, arguments,
750 deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000751}
752
753
754void LCodeGen::RecordPosition(int position) {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +0000755 if (position == RelocInfo::kNoPosition) return;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000756 masm()->positions_recorder()->RecordPosition(position);
757}
758
759
760void LCodeGen::DoLabel(LLabel* label) {
761 if (label->is_loop_header()) {
762 Comment(";;; B%d - LOOP entry", label->block_id());
763 } else {
764 Comment(";;; B%d", label->block_id());
765 }
766 __ bind(label->label());
767 current_block_ = label->block_id();
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000768 DoGap(label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000769}
770
771
772void LCodeGen::DoParallelMove(LParallelMove* move) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000773 resolver_.Resolve(move);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000774}
775
776
777void LCodeGen::DoGap(LGap* gap) {
778 for (int i = LGap::FIRST_INNER_POSITION;
779 i <= LGap::LAST_INNER_POSITION;
780 i++) {
781 LGap::InnerPosition inner_pos = static_cast<LGap::InnerPosition>(i);
782 LParallelMove* move = gap->GetParallelMove(inner_pos);
783 if (move != NULL) DoParallelMove(move);
784 }
785
786 LInstruction* next = GetNextInstruction();
787 if (next != NULL && next->IsLazyBailout()) {
788 int pc = masm()->pc_offset();
789 safepoints_.SetPcAfterGap(pc);
790 }
791}
792
793
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000794void LCodeGen::DoInstructionGap(LInstructionGap* instr) {
795 DoGap(instr);
796}
797
798
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000799void LCodeGen::DoParameter(LParameter* instr) {
800 // Nothing to do.
801}
802
803
804void LCodeGen::DoCallStub(LCallStub* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000805 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000806 ASSERT(ToRegister(instr->result()).is(eax));
807 switch (instr->hydrogen()->major_key()) {
808 case CodeStub::RegExpConstructResult: {
809 RegExpConstructResultStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000810 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000811 break;
812 }
813 case CodeStub::RegExpExec: {
814 RegExpExecStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000815 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000816 break;
817 }
818 case CodeStub::SubString: {
819 SubStringStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000820 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000821 break;
822 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000823 case CodeStub::NumberToString: {
824 NumberToStringStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000825 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000826 break;
827 }
828 case CodeStub::StringAdd: {
829 StringAddStub stub(NO_STRING_ADD_FLAGS);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000830 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000831 break;
832 }
833 case CodeStub::StringCompare: {
834 StringCompareStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000835 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000836 break;
837 }
838 case CodeStub::TranscendentalCache: {
whesse@chromium.org023421e2010-12-21 12:19:12 +0000839 TranscendentalCacheStub stub(instr->transcendental_type(),
840 TranscendentalCacheStub::TAGGED);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000841 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000842 break;
843 }
844 default:
845 UNREACHABLE();
846 }
847}
848
849
850void LCodeGen::DoUnknownOSRValue(LUnknownOSRValue* instr) {
851 // Nothing to do.
852}
853
854
855void LCodeGen::DoModI(LModI* instr) {
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000856 if (instr->hydrogen()->HasPowerOf2Divisor()) {
857 Register dividend = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000858
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000859 int32_t divisor =
860 HConstant::cast(instr->hydrogen()->right())->Integer32Value();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000861
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000862 if (divisor < 0) divisor = -divisor;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000863
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000864 Label positive_dividend, done;
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000865 __ test(dividend, Operand(dividend));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000866 __ j(not_sign, &positive_dividend, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000867 __ neg(dividend);
868 __ and_(dividend, divisor - 1);
869 __ neg(dividend);
870 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000871 __ j(not_zero, &done, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000872 DeoptimizeIf(no_condition, instr->environment());
whesse@chromium.org7b260152011-06-20 15:33:18 +0000873 } else {
874 __ jmp(&done, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000875 }
876 __ bind(&positive_dividend);
877 __ and_(dividend, divisor - 1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000878 __ bind(&done);
879 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000880 Label done, remainder_eq_dividend, slow, do_subtraction, both_positive;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000881 Register left_reg = ToRegister(instr->InputAt(0));
882 Register right_reg = ToRegister(instr->InputAt(1));
883 Register result_reg = ToRegister(instr->result());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000884
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000885 ASSERT(left_reg.is(eax));
886 ASSERT(result_reg.is(edx));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000887 ASSERT(!right_reg.is(eax));
888 ASSERT(!right_reg.is(edx));
889
890 // Check for x % 0.
891 if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000892 __ test(right_reg, Operand(right_reg));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000893 DeoptimizeIf(zero, instr->environment());
894 }
895
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000896 __ test(left_reg, Operand(left_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000897 __ j(zero, &remainder_eq_dividend, Label::kNear);
898 __ j(sign, &slow, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000899
900 __ test(right_reg, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000901 __ j(not_sign, &both_positive, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000902 // The sign of the divisor doesn't matter.
903 __ neg(right_reg);
904
905 __ bind(&both_positive);
906 // If the dividend is smaller than the nonnegative
907 // divisor, the dividend is the result.
908 __ cmp(left_reg, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000909 __ j(less, &remainder_eq_dividend, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000910
911 // Check if the divisor is a PowerOfTwo integer.
912 Register scratch = ToRegister(instr->TempAt(0));
913 __ mov(scratch, right_reg);
914 __ sub(Operand(scratch), Immediate(1));
915 __ test(scratch, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000916 __ j(not_zero, &do_subtraction, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000917 __ and_(left_reg, Operand(scratch));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000918 __ jmp(&remainder_eq_dividend, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000919
920 __ bind(&do_subtraction);
921 const int kUnfolds = 3;
922 // Try a few subtractions of the dividend.
923 __ mov(scratch, left_reg);
924 for (int i = 0; i < kUnfolds; i++) {
925 // Reduce the dividend by the divisor.
926 __ sub(left_reg, Operand(right_reg));
927 // Check if the dividend is less than the divisor.
928 __ cmp(left_reg, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000929 __ j(less, &remainder_eq_dividend, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000930 }
931 __ mov(left_reg, scratch);
932
933 // Slow case, using idiv instruction.
934 __ bind(&slow);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000935 // Sign extend to edx.
936 __ cdq();
937
938 // Check for (0 % -x) that will produce negative zero.
939 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000940 Label positive_left;
941 Label done;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000942 __ test(left_reg, Operand(left_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000943 __ j(not_sign, &positive_left, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000944 __ idiv(right_reg);
945
946 // Test the remainder for 0, because then the result would be -0.
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000947 __ test(result_reg, Operand(result_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000948 __ j(not_zero, &done, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000949
950 DeoptimizeIf(no_condition, instr->environment());
951 __ bind(&positive_left);
952 __ idiv(right_reg);
953 __ bind(&done);
954 } else {
955 __ idiv(right_reg);
956 }
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000957 __ jmp(&done, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000958
959 __ bind(&remainder_eq_dividend);
960 __ mov(result_reg, left_reg);
961
962 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000963 }
964}
965
966
967void LCodeGen::DoDivI(LDivI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000968 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000969 ASSERT(ToRegister(instr->result()).is(eax));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000970 ASSERT(ToRegister(instr->InputAt(0)).is(eax));
971 ASSERT(!ToRegister(instr->InputAt(1)).is(eax));
972 ASSERT(!ToRegister(instr->InputAt(1)).is(edx));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000973
974 Register left_reg = eax;
975
976 // Check for x / 0.
977 Register right_reg = ToRegister(right);
978 if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
979 __ test(right_reg, ToOperand(right));
980 DeoptimizeIf(zero, instr->environment());
981 }
982
983 // Check for (0 / -x) that will produce negative zero.
984 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000985 Label left_not_zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000986 __ test(left_reg, Operand(left_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000987 __ j(not_zero, &left_not_zero, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000988 __ test(right_reg, ToOperand(right));
989 DeoptimizeIf(sign, instr->environment());
990 __ bind(&left_not_zero);
991 }
992
993 // Check for (-kMinInt / -1).
994 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000995 Label left_not_min_int;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000996 __ cmp(left_reg, kMinInt);
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000997 __ j(not_zero, &left_not_min_int, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000998 __ cmp(right_reg, -1);
999 DeoptimizeIf(zero, instr->environment());
1000 __ bind(&left_not_min_int);
1001 }
1002
1003 // Sign extend to edx.
1004 __ cdq();
1005 __ idiv(right_reg);
1006
1007 // Deoptimize if remainder is not 0.
1008 __ test(edx, Operand(edx));
1009 DeoptimizeIf(not_zero, instr->environment());
1010}
1011
1012
1013void LCodeGen::DoMulI(LMulI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001014 Register left = ToRegister(instr->InputAt(0));
1015 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001016
1017 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001018 __ mov(ToRegister(instr->TempAt(0)), left);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001019 }
1020
1021 if (right->IsConstantOperand()) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00001022 // Try strength reductions on the multiplication.
1023 // All replacement instructions are at most as long as the imul
1024 // and have better latency.
1025 int constant = ToInteger32(LConstantOperand::cast(right));
1026 if (constant == -1) {
1027 __ neg(left);
1028 } else if (constant == 0) {
1029 __ xor_(left, Operand(left));
1030 } else if (constant == 2) {
1031 __ add(left, Operand(left));
1032 } else if (!instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1033 // If we know that the multiplication can't overflow, it's safe to
1034 // use instructions that don't set the overflow flag for the
1035 // multiplication.
1036 switch (constant) {
1037 case 1:
1038 // Do nothing.
1039 break;
1040 case 3:
1041 __ lea(left, Operand(left, left, times_2, 0));
1042 break;
1043 case 4:
1044 __ shl(left, 2);
1045 break;
1046 case 5:
1047 __ lea(left, Operand(left, left, times_4, 0));
1048 break;
1049 case 8:
1050 __ shl(left, 3);
1051 break;
1052 case 9:
1053 __ lea(left, Operand(left, left, times_8, 0));
1054 break;
1055 case 16:
1056 __ shl(left, 4);
1057 break;
1058 default:
1059 __ imul(left, left, constant);
1060 break;
1061 }
1062 } else {
1063 __ imul(left, left, constant);
1064 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001065 } else {
1066 __ imul(left, ToOperand(right));
1067 }
1068
1069 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1070 DeoptimizeIf(overflow, instr->environment());
1071 }
1072
1073 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
1074 // Bail out if the result is supposed to be negative zero.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001075 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001076 __ test(left, Operand(left));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001077 __ j(not_zero, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001078 if (right->IsConstantOperand()) {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001079 if (ToInteger32(LConstantOperand::cast(right)) <= 0) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001080 DeoptimizeIf(no_condition, instr->environment());
1081 }
1082 } else {
1083 // Test the non-zero operand for negative sign.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001084 __ or_(ToRegister(instr->TempAt(0)), ToOperand(right));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001085 DeoptimizeIf(sign, instr->environment());
1086 }
1087 __ bind(&done);
1088 }
1089}
1090
1091
1092void LCodeGen::DoBitI(LBitI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001093 LOperand* left = instr->InputAt(0);
1094 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001095 ASSERT(left->Equals(instr->result()));
1096 ASSERT(left->IsRegister());
1097
1098 if (right->IsConstantOperand()) {
1099 int right_operand = ToInteger32(LConstantOperand::cast(right));
1100 switch (instr->op()) {
1101 case Token::BIT_AND:
1102 __ and_(ToRegister(left), right_operand);
1103 break;
1104 case Token::BIT_OR:
1105 __ or_(ToRegister(left), right_operand);
1106 break;
1107 case Token::BIT_XOR:
1108 __ xor_(ToRegister(left), right_operand);
1109 break;
1110 default:
1111 UNREACHABLE();
1112 break;
1113 }
1114 } else {
1115 switch (instr->op()) {
1116 case Token::BIT_AND:
1117 __ and_(ToRegister(left), ToOperand(right));
1118 break;
1119 case Token::BIT_OR:
1120 __ or_(ToRegister(left), ToOperand(right));
1121 break;
1122 case Token::BIT_XOR:
1123 __ xor_(ToRegister(left), ToOperand(right));
1124 break;
1125 default:
1126 UNREACHABLE();
1127 break;
1128 }
1129 }
1130}
1131
1132
1133void LCodeGen::DoShiftI(LShiftI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001134 LOperand* left = instr->InputAt(0);
1135 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001136 ASSERT(left->Equals(instr->result()));
1137 ASSERT(left->IsRegister());
1138 if (right->IsRegister()) {
1139 ASSERT(ToRegister(right).is(ecx));
1140
1141 switch (instr->op()) {
1142 case Token::SAR:
1143 __ sar_cl(ToRegister(left));
1144 break;
1145 case Token::SHR:
1146 __ shr_cl(ToRegister(left));
1147 if (instr->can_deopt()) {
1148 __ test(ToRegister(left), Immediate(0x80000000));
1149 DeoptimizeIf(not_zero, instr->environment());
1150 }
1151 break;
1152 case Token::SHL:
1153 __ shl_cl(ToRegister(left));
1154 break;
1155 default:
1156 UNREACHABLE();
1157 break;
1158 }
1159 } else {
1160 int value = ToInteger32(LConstantOperand::cast(right));
1161 uint8_t shift_count = static_cast<uint8_t>(value & 0x1F);
1162 switch (instr->op()) {
1163 case Token::SAR:
1164 if (shift_count != 0) {
1165 __ sar(ToRegister(left), shift_count);
1166 }
1167 break;
1168 case Token::SHR:
1169 if (shift_count == 0 && instr->can_deopt()) {
1170 __ test(ToRegister(left), Immediate(0x80000000));
1171 DeoptimizeIf(not_zero, instr->environment());
1172 } else {
1173 __ shr(ToRegister(left), shift_count);
1174 }
1175 break;
1176 case Token::SHL:
1177 if (shift_count != 0) {
1178 __ shl(ToRegister(left), shift_count);
1179 }
1180 break;
1181 default:
1182 UNREACHABLE();
1183 break;
1184 }
1185 }
1186}
1187
1188
1189void LCodeGen::DoSubI(LSubI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001190 LOperand* left = instr->InputAt(0);
1191 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001192 ASSERT(left->Equals(instr->result()));
1193
1194 if (right->IsConstantOperand()) {
1195 __ sub(ToOperand(left), ToImmediate(right));
1196 } else {
1197 __ sub(ToRegister(left), ToOperand(right));
1198 }
1199 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1200 DeoptimizeIf(overflow, instr->environment());
1201 }
1202}
1203
1204
1205void LCodeGen::DoConstantI(LConstantI* instr) {
1206 ASSERT(instr->result()->IsRegister());
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001207 __ Set(ToRegister(instr->result()), Immediate(instr->value()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001208}
1209
1210
1211void LCodeGen::DoConstantD(LConstantD* instr) {
1212 ASSERT(instr->result()->IsDoubleRegister());
1213 XMMRegister res = ToDoubleRegister(instr->result());
1214 double v = instr->value();
1215 // Use xor to produce +0.0 in a fast and compact way, but avoid to
1216 // do so if the constant is -0.0.
1217 if (BitCast<uint64_t, double>(v) == 0) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001218 __ xorps(res, res);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001219 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001220 Register temp = ToRegister(instr->TempAt(0));
1221 uint64_t int_val = BitCast<uint64_t, double>(v);
1222 int32_t lower = static_cast<int32_t>(int_val);
1223 int32_t upper = static_cast<int32_t>(int_val >> (kBitsPerInt));
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001224 if (CpuFeatures::IsSupported(SSE4_1)) {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001225 CpuFeatures::Scope scope(SSE4_1);
1226 if (lower != 0) {
1227 __ Set(temp, Immediate(lower));
1228 __ movd(res, Operand(temp));
1229 __ Set(temp, Immediate(upper));
1230 __ pinsrd(res, Operand(temp), 1);
1231 } else {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001232 __ xorps(res, res);
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001233 __ Set(temp, Immediate(upper));
1234 __ pinsrd(res, Operand(temp), 1);
1235 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001236 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001237 __ Set(temp, Immediate(upper));
1238 __ movd(res, Operand(temp));
1239 __ psllq(res, 32);
1240 if (lower != 0) {
1241 __ Set(temp, Immediate(lower));
1242 __ movd(xmm0, Operand(temp));
1243 __ por(res, xmm0);
1244 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001245 }
1246 }
1247}
1248
1249
1250void LCodeGen::DoConstantT(LConstantT* instr) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001251 Register reg = ToRegister(instr->result());
1252 Handle<Object> handle = instr->value();
1253 if (handle->IsHeapObject()) {
1254 LoadHeapObject(reg, Handle<HeapObject>::cast(handle));
1255 } else {
1256 __ Set(reg, Immediate(handle));
1257 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001258}
1259
1260
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001261void LCodeGen::DoJSArrayLength(LJSArrayLength* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001262 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001263 Register array = ToRegister(instr->InputAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001264 __ mov(result, FieldOperand(array, JSArray::kLengthOffset));
1265}
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001266
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001267
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001268void LCodeGen::DoFixedArrayBaseLength(
1269 LFixedArrayBaseLength* instr) {
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001270 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001271 Register array = ToRegister(instr->InputAt(0));
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001272 __ mov(result, FieldOperand(array, FixedArrayBase::kLengthOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001273}
1274
1275
whesse@chromium.org7b260152011-06-20 15:33:18 +00001276void LCodeGen::DoElementsKind(LElementsKind* instr) {
1277 Register result = ToRegister(instr->result());
1278 Register input = ToRegister(instr->InputAt(0));
1279
1280 // Load map into |result|.
1281 __ mov(result, FieldOperand(input, HeapObject::kMapOffset));
1282 // Load the map's "bit field 2" into |result|. We only need the first byte,
1283 // but the following masking takes care of that anyway.
1284 __ mov(result, FieldOperand(result, Map::kBitField2Offset));
1285 // Retrieve elements_kind from bit field 2.
1286 __ and_(result, Map::kElementsKindMask);
1287 __ shr(result, Map::kElementsKindShift);
1288}
1289
1290
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001291void LCodeGen::DoValueOf(LValueOf* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001292 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001293 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001294 Register map = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001295 ASSERT(input.is(result));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001296 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001297 // If the object is a smi return the object.
whesse@chromium.org7b260152011-06-20 15:33:18 +00001298 __ JumpIfSmi(input, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001299
1300 // If the object is not a value type, return the object.
1301 __ CmpObjectType(input, JS_VALUE_TYPE, map);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001302 __ j(not_equal, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001303 __ mov(result, FieldOperand(input, JSValue::kValueOffset));
1304
1305 __ bind(&done);
1306}
1307
1308
1309void LCodeGen::DoBitNotI(LBitNotI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001310 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001311 ASSERT(input->Equals(instr->result()));
1312 __ not_(ToRegister(input));
1313}
1314
1315
1316void LCodeGen::DoThrow(LThrow* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001317 __ push(ToOperand(instr->value()));
1318 ASSERT(ToRegister(instr->context()).is(esi));
1319 CallRuntime(Runtime::kThrow, 1, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001320
1321 if (FLAG_debug_code) {
1322 Comment("Unreachable code.");
1323 __ int3();
1324 }
1325}
1326
1327
1328void LCodeGen::DoAddI(LAddI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001329 LOperand* left = instr->InputAt(0);
1330 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001331 ASSERT(left->Equals(instr->result()));
1332
1333 if (right->IsConstantOperand()) {
1334 __ add(ToOperand(left), ToImmediate(right));
1335 } else {
1336 __ add(ToRegister(left), ToOperand(right));
1337 }
1338
1339 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1340 DeoptimizeIf(overflow, instr->environment());
1341 }
1342}
1343
1344
1345void LCodeGen::DoArithmeticD(LArithmeticD* instr) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001346 XMMRegister left = ToDoubleRegister(instr->InputAt(0));
1347 XMMRegister right = ToDoubleRegister(instr->InputAt(1));
1348 XMMRegister result = ToDoubleRegister(instr->result());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001349 // Modulo uses a fixed result register.
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001350 ASSERT(instr->op() == Token::MOD || left.is(result));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001351 switch (instr->op()) {
1352 case Token::ADD:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001353 __ addsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001354 break;
1355 case Token::SUB:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001356 __ subsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001357 break;
1358 case Token::MUL:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001359 __ mulsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001360 break;
1361 case Token::DIV:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001362 __ divsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001363 break;
1364 case Token::MOD: {
1365 // Pass two doubles as arguments on the stack.
1366 __ PrepareCallCFunction(4, eax);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001367 __ movdbl(Operand(esp, 0 * kDoubleSize), left);
1368 __ movdbl(Operand(esp, 1 * kDoubleSize), right);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001369 __ CallCFunction(
1370 ExternalReference::double_fp_operation(Token::MOD, isolate()),
1371 4);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001372
1373 // Return value is in st(0) on ia32.
1374 // Store it into the (fixed) result register.
1375 __ sub(Operand(esp), Immediate(kDoubleSize));
1376 __ fstp_d(Operand(esp, 0));
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001377 __ movdbl(result, Operand(esp, 0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001378 __ add(Operand(esp), Immediate(kDoubleSize));
1379 break;
1380 }
1381 default:
1382 UNREACHABLE();
1383 break;
1384 }
1385}
1386
1387
1388void LCodeGen::DoArithmeticT(LArithmeticT* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001389 ASSERT(ToRegister(instr->context()).is(esi));
1390 ASSERT(ToRegister(instr->left()).is(edx));
1391 ASSERT(ToRegister(instr->right()).is(eax));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001392 ASSERT(ToRegister(instr->result()).is(eax));
1393
danno@chromium.org40cb8782011-05-25 07:58:50 +00001394 BinaryOpStub stub(instr->op(), NO_OVERWRITE);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001395 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
whesse@chromium.org030d38e2011-07-13 13:23:34 +00001396 __ nop(); // Signals no inlined code.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001397}
1398
1399
1400int LCodeGen::GetNextEmittedBlock(int block) {
1401 for (int i = block + 1; i < graph()->blocks()->length(); ++i) {
1402 LLabel* label = chunk_->GetLabel(i);
1403 if (!label->HasReplacement()) return i;
1404 }
1405 return -1;
1406}
1407
1408
1409void LCodeGen::EmitBranch(int left_block, int right_block, Condition cc) {
1410 int next_block = GetNextEmittedBlock(current_block_);
1411 right_block = chunk_->LookupDestination(right_block);
1412 left_block = chunk_->LookupDestination(left_block);
1413
1414 if (right_block == left_block) {
1415 EmitGoto(left_block);
1416 } else if (left_block == next_block) {
1417 __ j(NegateCondition(cc), chunk_->GetAssemblyLabel(right_block));
1418 } else if (right_block == next_block) {
1419 __ j(cc, chunk_->GetAssemblyLabel(left_block));
1420 } else {
1421 __ j(cc, chunk_->GetAssemblyLabel(left_block));
1422 __ jmp(chunk_->GetAssemblyLabel(right_block));
1423 }
1424}
1425
1426
1427void LCodeGen::DoBranch(LBranch* instr) {
1428 int true_block = chunk_->LookupDestination(instr->true_block_id());
1429 int false_block = chunk_->LookupDestination(instr->false_block_id());
1430
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001431 Representation r = instr->hydrogen()->value()->representation();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001432 if (r.IsInteger32()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001433 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001434 __ test(reg, Operand(reg));
1435 EmitBranch(true_block, false_block, not_zero);
1436 } else if (r.IsDouble()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001437 XMMRegister reg = ToDoubleRegister(instr->InputAt(0));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001438 __ xorps(xmm0, xmm0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001439 __ ucomisd(reg, xmm0);
1440 EmitBranch(true_block, false_block, not_equal);
1441 } else {
1442 ASSERT(r.IsTagged());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001443 Register reg = ToRegister(instr->InputAt(0));
lrn@chromium.orgd4e9e222011-08-03 12:01:58 +00001444 HType type = instr->hydrogen()->value()->type();
1445 if (type.IsBoolean()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001446 __ cmp(reg, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001447 EmitBranch(true_block, false_block, equal);
lrn@chromium.orgd4e9e222011-08-03 12:01:58 +00001448 } else if (type.IsSmi()) {
1449 __ test(reg, Operand(reg));
1450 EmitBranch(true_block, false_block, not_equal);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001451 } else {
1452 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1453 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1454
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001455 ToBooleanStub::Types expected = instr->hydrogen()->expected_input_types();
1456 // Avoid deopts in the case where we've never executed this path before.
1457 if (expected.IsEmpty()) expected = ToBooleanStub::all_types();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001458
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001459 if (expected.Contains(ToBooleanStub::UNDEFINED)) {
1460 // undefined -> false.
1461 __ cmp(reg, factory()->undefined_value());
1462 __ j(equal, false_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001463 }
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001464 if (expected.Contains(ToBooleanStub::BOOLEAN)) {
1465 // true -> true.
1466 __ cmp(reg, factory()->true_value());
1467 __ j(equal, true_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001468 // false -> false.
1469 __ cmp(reg, factory()->false_value());
1470 __ j(equal, false_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001471 }
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001472 if (expected.Contains(ToBooleanStub::NULL_TYPE)) {
1473 // 'null' -> false.
1474 __ cmp(reg, factory()->null_value());
1475 __ j(equal, false_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001476 }
1477
1478 if (expected.Contains(ToBooleanStub::SMI)) {
1479 // Smis: 0 -> false, all other -> true.
1480 __ test(reg, Operand(reg));
1481 __ j(equal, false_label);
1482 __ JumpIfSmi(reg, true_label);
1483 } else if (expected.NeedsMap()) {
1484 // If we need a map later and have a Smi -> deopt.
1485 __ test(reg, Immediate(kSmiTagMask));
1486 DeoptimizeIf(zero, instr->environment());
1487 }
1488
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001489 Register map = no_reg; // Keep the compiler happy.
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001490 if (expected.NeedsMap()) {
1491 map = ToRegister(instr->TempAt(0));
1492 ASSERT(!map.is(reg));
1493 __ mov(map, FieldOperand(reg, HeapObject::kMapOffset));
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001494
1495 if (expected.CanBeUndetectable()) {
1496 // Undetectable -> false.
1497 __ test_b(FieldOperand(map, Map::kBitFieldOffset),
1498 1 << Map::kIsUndetectable);
1499 __ j(not_zero, false_label);
1500 }
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001501 }
1502
1503 if (expected.Contains(ToBooleanStub::SPEC_OBJECT)) {
1504 // spec object -> true.
1505 __ CmpInstanceType(map, FIRST_SPEC_OBJECT_TYPE);
1506 __ j(above_equal, true_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001507 }
1508
1509 if (expected.Contains(ToBooleanStub::STRING)) {
1510 // String value -> false iff empty.
1511 Label not_string;
1512 __ CmpInstanceType(map, FIRST_NONSTRING_TYPE);
1513 __ j(above_equal, &not_string, Label::kNear);
1514 __ cmp(FieldOperand(reg, String::kLengthOffset), Immediate(0));
1515 __ j(not_zero, true_label);
1516 __ jmp(false_label);
1517 __ bind(&not_string);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001518 }
1519
1520 if (expected.Contains(ToBooleanStub::HEAP_NUMBER)) {
1521 // heap number -> false iff +0, -0, or NaN.
1522 Label not_heap_number;
1523 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
1524 factory()->heap_number_map());
1525 __ j(not_equal, &not_heap_number, Label::kNear);
1526 __ fldz();
1527 __ fld_d(FieldOperand(reg, HeapNumber::kValueOffset));
1528 __ FCmp();
1529 __ j(zero, false_label);
1530 __ jmp(true_label);
1531 __ bind(&not_heap_number);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001532 }
1533
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001534 // We've seen something for the first time -> deopt.
1535 DeoptimizeIf(no_condition, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001536 }
1537 }
1538}
1539
1540
ager@chromium.org04921a82011-06-27 13:21:41 +00001541void LCodeGen::EmitGoto(int block) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001542 block = chunk_->LookupDestination(block);
1543 int next_block = GetNextEmittedBlock(current_block_);
1544 if (block != next_block) {
ager@chromium.org04921a82011-06-27 13:21:41 +00001545 __ jmp(chunk_->GetAssemblyLabel(block));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001546 }
1547}
1548
1549
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001550void LCodeGen::DoGoto(LGoto* instr) {
ager@chromium.org04921a82011-06-27 13:21:41 +00001551 EmitGoto(instr->block_id());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001552}
1553
1554
1555Condition LCodeGen::TokenToCondition(Token::Value op, bool is_unsigned) {
1556 Condition cond = no_condition;
1557 switch (op) {
1558 case Token::EQ:
1559 case Token::EQ_STRICT:
1560 cond = equal;
1561 break;
1562 case Token::LT:
1563 cond = is_unsigned ? below : less;
1564 break;
1565 case Token::GT:
1566 cond = is_unsigned ? above : greater;
1567 break;
1568 case Token::LTE:
1569 cond = is_unsigned ? below_equal : less_equal;
1570 break;
1571 case Token::GTE:
1572 cond = is_unsigned ? above_equal : greater_equal;
1573 break;
1574 case Token::IN:
1575 case Token::INSTANCEOF:
1576 default:
1577 UNREACHABLE();
1578 }
1579 return cond;
1580}
1581
1582
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001583void LCodeGen::DoCmpIDAndBranch(LCmpIDAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001584 LOperand* left = instr->InputAt(0);
1585 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001586 int false_block = chunk_->LookupDestination(instr->false_block_id());
1587 int true_block = chunk_->LookupDestination(instr->true_block_id());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001588 Condition cc = TokenToCondition(instr->op(), instr->is_double());
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00001589
1590 if (left->IsConstantOperand() && right->IsConstantOperand()) {
1591 // We can statically evaluate the comparison.
1592 double left_val = ToDouble(LConstantOperand::cast(left));
1593 double right_val = ToDouble(LConstantOperand::cast(right));
1594 int next_block =
1595 EvalComparison(instr->op(), left_val, right_val) ? true_block
1596 : false_block;
1597 EmitGoto(next_block);
1598 } else {
1599 if (instr->is_double()) {
1600 // Don't base result on EFLAGS when a NaN is involved. Instead
1601 // jump to the false block.
1602 __ ucomisd(ToDoubleRegister(left), ToDoubleRegister(right));
1603 __ j(parity_even, chunk_->GetAssemblyLabel(false_block));
1604 } else {
1605 if (right->IsConstantOperand()) {
1606 __ cmp(ToRegister(left), ToImmediate(right));
1607 } else if (left->IsConstantOperand()) {
1608 __ cmp(ToOperand(right), ToImmediate(left));
1609 // We transposed the operands. Reverse the condition.
1610 cc = ReverseCondition(cc);
1611 } else {
1612 __ cmp(ToRegister(left), ToOperand(right));
1613 }
1614 }
1615 EmitBranch(true_block, false_block, cc);
1616 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001617}
1618
1619
lrn@chromium.orgac2828d2011-06-23 06:29:21 +00001620void LCodeGen::DoCmpObjectEqAndBranch(LCmpObjectEqAndBranch* instr) {
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001621 Register left = ToRegister(instr->InputAt(0));
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001622 Operand right = ToOperand(instr->InputAt(1));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001623 int false_block = chunk_->LookupDestination(instr->false_block_id());
1624 int true_block = chunk_->LookupDestination(instr->true_block_id());
1625
1626 __ cmp(left, Operand(right));
1627 EmitBranch(true_block, false_block, equal);
1628}
1629
1630
whesse@chromium.org7b260152011-06-20 15:33:18 +00001631void LCodeGen::DoCmpConstantEqAndBranch(LCmpConstantEqAndBranch* instr) {
1632 Register left = ToRegister(instr->InputAt(0));
1633 int true_block = chunk_->LookupDestination(instr->true_block_id());
1634 int false_block = chunk_->LookupDestination(instr->false_block_id());
1635
1636 __ cmp(left, instr->hydrogen()->right());
1637 EmitBranch(true_block, false_block, equal);
1638}
1639
1640
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001641void LCodeGen::DoIsNilAndBranch(LIsNilAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001642 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001643 int false_block = chunk_->LookupDestination(instr->false_block_id());
1644
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001645 // If the expression is known to be untagged or a smi, then it's definitely
1646 // not null, and it can't be a an undetectable object.
1647 if (instr->hydrogen()->representation().IsSpecialization() ||
1648 instr->hydrogen()->type().IsSmi()) {
1649 EmitGoto(false_block);
1650 return;
1651 }
1652
1653 int true_block = chunk_->LookupDestination(instr->true_block_id());
1654 Handle<Object> nil_value = instr->nil() == kNullValue ?
1655 factory()->null_value() :
1656 factory()->undefined_value();
1657 __ cmp(reg, nil_value);
1658 if (instr->kind() == kStrictEquality) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001659 EmitBranch(true_block, false_block, equal);
1660 } else {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001661 Handle<Object> other_nil_value = instr->nil() == kNullValue ?
1662 factory()->undefined_value() :
1663 factory()->null_value();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001664 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1665 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1666 __ j(equal, true_label);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001667 __ cmp(reg, other_nil_value);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001668 __ j(equal, true_label);
whesse@chromium.org7b260152011-06-20 15:33:18 +00001669 __ JumpIfSmi(reg, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001670 // Check for undetectable objects by looking in the bit field in
1671 // the map. The object has already been smi checked.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001672 Register scratch = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001673 __ mov(scratch, FieldOperand(reg, HeapObject::kMapOffset));
1674 __ movzx_b(scratch, FieldOperand(scratch, Map::kBitFieldOffset));
1675 __ test(scratch, Immediate(1 << Map::kIsUndetectable));
1676 EmitBranch(true_block, false_block, not_zero);
1677 }
1678}
1679
1680
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001681Condition LCodeGen::EmitIsObject(Register input,
1682 Register temp1,
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001683 Label* is_not_object,
1684 Label* is_object) {
whesse@chromium.org7b260152011-06-20 15:33:18 +00001685 __ JumpIfSmi(input, is_not_object);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001686
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001687 __ cmp(input, isolate()->factory()->null_value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001688 __ j(equal, is_object);
1689
1690 __ mov(temp1, FieldOperand(input, HeapObject::kMapOffset));
1691 // Undetectable objects behave like undefined.
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001692 __ test_b(FieldOperand(temp1, Map::kBitFieldOffset),
1693 1 << Map::kIsUndetectable);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001694 __ j(not_zero, is_not_object);
1695
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001696 __ movzx_b(temp1, FieldOperand(temp1, Map::kInstanceTypeOffset));
1697 __ cmp(temp1, FIRST_NONCALLABLE_SPEC_OBJECT_TYPE);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001698 __ j(below, is_not_object);
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001699 __ cmp(temp1, LAST_NONCALLABLE_SPEC_OBJECT_TYPE);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001700 return below_equal;
1701}
1702
1703
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001704void LCodeGen::DoIsObjectAndBranch(LIsObjectAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001705 Register reg = ToRegister(instr->InputAt(0));
1706 Register temp = ToRegister(instr->TempAt(0));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001707
1708 int true_block = chunk_->LookupDestination(instr->true_block_id());
1709 int false_block = chunk_->LookupDestination(instr->false_block_id());
1710 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1711 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1712
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001713 Condition true_cond = EmitIsObject(reg, temp, false_label, true_label);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001714
1715 EmitBranch(true_block, false_block, true_cond);
1716}
1717
1718
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001719void LCodeGen::DoIsSmiAndBranch(LIsSmiAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001720 Operand input = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001721
1722 int true_block = chunk_->LookupDestination(instr->true_block_id());
1723 int false_block = chunk_->LookupDestination(instr->false_block_id());
1724
1725 __ test(input, Immediate(kSmiTagMask));
1726 EmitBranch(true_block, false_block, zero);
1727}
1728
1729
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001730void LCodeGen::DoIsUndetectableAndBranch(LIsUndetectableAndBranch* instr) {
1731 Register input = ToRegister(instr->InputAt(0));
1732 Register temp = ToRegister(instr->TempAt(0));
1733
1734 int true_block = chunk_->LookupDestination(instr->true_block_id());
1735 int false_block = chunk_->LookupDestination(instr->false_block_id());
1736
1737 STATIC_ASSERT(kSmiTag == 0);
whesse@chromium.org7b260152011-06-20 15:33:18 +00001738 __ JumpIfSmi(input, chunk_->GetAssemblyLabel(false_block));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001739 __ mov(temp, FieldOperand(input, HeapObject::kMapOffset));
1740 __ test_b(FieldOperand(temp, Map::kBitFieldOffset),
1741 1 << Map::kIsUndetectable);
1742 EmitBranch(true_block, false_block, not_zero);
1743}
1744
1745
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001746static InstanceType TestType(HHasInstanceTypeAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001747 InstanceType from = instr->from();
1748 InstanceType to = instr->to();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001749 if (from == FIRST_TYPE) return to;
1750 ASSERT(from == to || to == LAST_TYPE);
1751 return from;
1752}
1753
1754
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001755static Condition BranchCondition(HHasInstanceTypeAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001756 InstanceType from = instr->from();
1757 InstanceType to = instr->to();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001758 if (from == to) return equal;
1759 if (to == LAST_TYPE) return above_equal;
1760 if (from == FIRST_TYPE) return below_equal;
1761 UNREACHABLE();
1762 return equal;
1763}
1764
1765
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001766void LCodeGen::DoHasInstanceTypeAndBranch(LHasInstanceTypeAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001767 Register input = ToRegister(instr->InputAt(0));
1768 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001769
1770 int true_block = chunk_->LookupDestination(instr->true_block_id());
1771 int false_block = chunk_->LookupDestination(instr->false_block_id());
1772
1773 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1774
whesse@chromium.org7b260152011-06-20 15:33:18 +00001775 __ JumpIfSmi(input, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001776
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001777 __ CmpObjectType(input, TestType(instr->hydrogen()), temp);
1778 EmitBranch(true_block, false_block, BranchCondition(instr->hydrogen()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001779}
1780
1781
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001782void LCodeGen::DoGetCachedArrayIndex(LGetCachedArrayIndex* instr) {
1783 Register input = ToRegister(instr->InputAt(0));
1784 Register result = ToRegister(instr->result());
1785
1786 if (FLAG_debug_code) {
1787 __ AbortIfNotString(input);
1788 }
1789
1790 __ mov(result, FieldOperand(input, String::kHashFieldOffset));
1791 __ IndexFromHash(result, result);
1792}
1793
1794
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001795void LCodeGen::DoHasCachedArrayIndexAndBranch(
1796 LHasCachedArrayIndexAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001797 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001798
1799 int true_block = chunk_->LookupDestination(instr->true_block_id());
1800 int false_block = chunk_->LookupDestination(instr->false_block_id());
1801
1802 __ test(FieldOperand(input, String::kHashFieldOffset),
1803 Immediate(String::kContainsCachedArrayIndexMask));
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001804 EmitBranch(true_block, false_block, equal);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001805}
1806
1807
1808// Branches to a label or falls through with the answer in the z flag. Trashes
1809// the temp registers, but not the input. Only input and temp2 may alias.
1810void LCodeGen::EmitClassOfTest(Label* is_true,
1811 Label* is_false,
1812 Handle<String>class_name,
1813 Register input,
1814 Register temp,
1815 Register temp2) {
1816 ASSERT(!input.is(temp));
1817 ASSERT(!temp.is(temp2)); // But input and temp2 may be the same register.
whesse@chromium.org7b260152011-06-20 15:33:18 +00001818 __ JumpIfSmi(input, is_false);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001819
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001820 if (class_name->IsEqualTo(CStrVector("Function"))) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001821 // Assuming the following assertions, we can use the same compares to test
1822 // for both being a function type and being in the object type range.
1823 STATIC_ASSERT(NUM_OF_CALLABLE_SPEC_OBJECT_TYPES == 2);
1824 STATIC_ASSERT(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE ==
1825 FIRST_SPEC_OBJECT_TYPE + 1);
1826 STATIC_ASSERT(LAST_NONCALLABLE_SPEC_OBJECT_TYPE ==
1827 LAST_SPEC_OBJECT_TYPE - 1);
1828 STATIC_ASSERT(LAST_SPEC_OBJECT_TYPE == LAST_TYPE);
1829 __ CmpObjectType(input, FIRST_SPEC_OBJECT_TYPE, temp);
1830 __ j(below, is_false);
1831 __ j(equal, is_true);
1832 __ CmpInstanceType(temp, LAST_SPEC_OBJECT_TYPE);
1833 __ j(equal, is_true);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001834 } else {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001835 // Faster code path to avoid two compares: subtract lower bound from the
1836 // actual type and do a signed compare with the width of the type range.
1837 __ mov(temp, FieldOperand(input, HeapObject::kMapOffset));
1838 __ mov(temp2, FieldOperand(temp, Map::kInstanceTypeOffset));
1839 __ sub(Operand(temp2), Immediate(FIRST_NONCALLABLE_SPEC_OBJECT_TYPE));
1840 __ cmpb(Operand(temp2),
1841 static_cast<int8_t>(LAST_NONCALLABLE_SPEC_OBJECT_TYPE -
1842 FIRST_NONCALLABLE_SPEC_OBJECT_TYPE));
1843 __ j(above, is_false);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001844 }
1845
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001846 // Now we are in the FIRST-LAST_NONCALLABLE_SPEC_OBJECT_TYPE range.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001847 // Check if the constructor in the map is a function.
1848 __ mov(temp, FieldOperand(temp, Map::kConstructorOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001849 // Objects with a non-function constructor have class 'Object'.
1850 __ CmpObjectType(temp, JS_FUNCTION_TYPE, temp2);
1851 if (class_name->IsEqualTo(CStrVector("Object"))) {
1852 __ j(not_equal, is_true);
1853 } else {
1854 __ j(not_equal, is_false);
1855 }
1856
1857 // temp now contains the constructor function. Grab the
1858 // instance class name from there.
1859 __ mov(temp, FieldOperand(temp, JSFunction::kSharedFunctionInfoOffset));
1860 __ mov(temp, FieldOperand(temp,
1861 SharedFunctionInfo::kInstanceClassNameOffset));
1862 // The class name we are testing against is a symbol because it's a literal.
1863 // The name in the constructor is a symbol because of the way the context is
1864 // booted. This routine isn't expected to work for random API-created
1865 // classes and it doesn't have to because you can't access it with natives
1866 // syntax. Since both sides are symbols it is sufficient to use an identity
1867 // comparison.
1868 __ cmp(temp, class_name);
1869 // End with the answer in the z flag.
1870}
1871
1872
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001873void LCodeGen::DoClassOfTestAndBranch(LClassOfTestAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001874 Register input = ToRegister(instr->InputAt(0));
1875 Register temp = ToRegister(instr->TempAt(0));
1876 Register temp2 = ToRegister(instr->TempAt(1));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001877 if (input.is(temp)) {
1878 // Swap.
1879 Register swapper = temp;
1880 temp = temp2;
1881 temp2 = swapper;
1882 }
1883 Handle<String> class_name = instr->hydrogen()->class_name();
1884
1885 int true_block = chunk_->LookupDestination(instr->true_block_id());
1886 int false_block = chunk_->LookupDestination(instr->false_block_id());
1887
1888 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1889 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1890
1891 EmitClassOfTest(true_label, false_label, class_name, input, temp, temp2);
1892
1893 EmitBranch(true_block, false_block, equal);
1894}
1895
1896
1897void LCodeGen::DoCmpMapAndBranch(LCmpMapAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001898 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001899 int true_block = instr->true_block_id();
1900 int false_block = instr->false_block_id();
1901
1902 __ cmp(FieldOperand(reg, HeapObject::kMapOffset), instr->map());
1903 EmitBranch(true_block, false_block, equal);
1904}
1905
1906
1907void LCodeGen::DoInstanceOf(LInstanceOf* instr) {
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001908 // Object and function are in fixed registers defined by the stub.
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001909 ASSERT(ToRegister(instr->context()).is(esi));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001910 InstanceofStub stub(InstanceofStub::kArgsInRegisters);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001911 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001912
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001913 Label true_value, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001914 __ test(eax, Operand(eax));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001915 __ j(zero, &true_value, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001916 __ mov(ToRegister(instr->result()), factory()->false_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001917 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001918 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001919 __ mov(ToRegister(instr->result()), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001920 __ bind(&done);
1921}
1922
1923
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001924void LCodeGen::DoInstanceOfKnownGlobal(LInstanceOfKnownGlobal* instr) {
1925 class DeferredInstanceOfKnownGlobal: public LDeferredCode {
1926 public:
1927 DeferredInstanceOfKnownGlobal(LCodeGen* codegen,
1928 LInstanceOfKnownGlobal* instr)
1929 : LDeferredCode(codegen), instr_(instr) { }
1930 virtual void Generate() {
1931 codegen()->DoDeferredLInstanceOfKnownGlobal(instr_, &map_check_);
1932 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00001933 virtual LInstruction* instr() { return instr_; }
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001934 Label* map_check() { return &map_check_; }
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001935 private:
1936 LInstanceOfKnownGlobal* instr_;
1937 Label map_check_;
1938 };
1939
1940 DeferredInstanceOfKnownGlobal* deferred;
1941 deferred = new DeferredInstanceOfKnownGlobal(this, instr);
1942
1943 Label done, false_result;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001944 Register object = ToRegister(instr->InputAt(1));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001945 Register temp = ToRegister(instr->TempAt(0));
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001946
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001947 // A Smi is not an instance of anything.
whesse@chromium.org7b260152011-06-20 15:33:18 +00001948 __ JumpIfSmi(object, &false_result);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001949
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001950 // This is the inlined call site instanceof cache. The two occurences of the
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001951 // hole value will be patched to the last map/result pair generated by the
1952 // instanceof stub.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001953 Label cache_miss;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001954 Register map = ToRegister(instr->TempAt(0));
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001955 __ mov(map, FieldOperand(object, HeapObject::kMapOffset));
1956 __ bind(deferred->map_check()); // Label for calculating code patching.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001957 __ cmp(map, factory()->the_hole_value()); // Patched to cached map.
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001958 __ j(not_equal, &cache_miss, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001959 __ mov(eax, factory()->the_hole_value()); // Patched to either true or false.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001960 __ jmp(&done);
1961
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001962 // The inlined call site cache did not match. Check for null and string
1963 // before calling the deferred code.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001964 __ bind(&cache_miss);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001965 // Null is not an instance of anything.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001966 __ cmp(object, factory()->null_value());
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001967 __ j(equal, &false_result);
1968
1969 // String values are not instances of anything.
1970 Condition is_string = masm_->IsObjectStringType(object, temp, temp);
1971 __ j(is_string, &false_result);
1972
1973 // Go to the deferred code.
1974 __ jmp(deferred->entry());
1975
1976 __ bind(&false_result);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001977 __ mov(ToRegister(instr->result()), factory()->false_value());
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001978
1979 // Here result has either true or false. Deferred code also produces true or
1980 // false object.
1981 __ bind(deferred->exit());
1982 __ bind(&done);
1983}
1984
1985
1986void LCodeGen::DoDeferredLInstanceOfKnownGlobal(LInstanceOfKnownGlobal* instr,
1987 Label* map_check) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001988 PushSafepointRegistersScope scope(this);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001989
1990 InstanceofStub::Flags flags = InstanceofStub::kNoFlags;
1991 flags = static_cast<InstanceofStub::Flags>(
1992 flags | InstanceofStub::kArgsInRegisters);
1993 flags = static_cast<InstanceofStub::Flags>(
1994 flags | InstanceofStub::kCallSiteInlineCheck);
1995 flags = static_cast<InstanceofStub::Flags>(
1996 flags | InstanceofStub::kReturnTrueFalseObject);
1997 InstanceofStub stub(flags);
1998
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001999 // Get the temp register reserved by the instruction. This needs to be a
2000 // register which is pushed last by PushSafepointRegisters as top of the
2001 // stack is used to pass the offset to the location of the map check to
2002 // the stub.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002003 Register temp = ToRegister(instr->TempAt(0));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002004 ASSERT(MacroAssembler::SafepointRegisterStackIndex(temp) == 0);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002005 __ mov(InstanceofStub::right(), Immediate(instr->function()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002006 static const int kAdditionalDelta = 13;
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002007 int delta = masm_->SizeOfCodeGeneratedSince(map_check) + kAdditionalDelta;
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002008 __ mov(temp, Immediate(delta));
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002009 __ StoreToSafepointRegisterSlot(temp, temp);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002010 CallCodeGeneric(stub.GetCode(),
2011 RelocInfo::CODE_TARGET,
2012 instr,
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002013 RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002014 // Put the result value into the eax slot and restore all registers.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002015 __ StoreToSafepointRegisterSlot(eax, eax);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002016}
2017
2018
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002019static Condition ComputeCompareCondition(Token::Value op) {
2020 switch (op) {
2021 case Token::EQ_STRICT:
2022 case Token::EQ:
2023 return equal;
2024 case Token::LT:
2025 return less;
2026 case Token::GT:
2027 return greater;
2028 case Token::LTE:
2029 return less_equal;
2030 case Token::GTE:
2031 return greater_equal;
2032 default:
2033 UNREACHABLE();
2034 return no_condition;
2035 }
2036}
2037
2038
2039void LCodeGen::DoCmpT(LCmpT* instr) {
2040 Token::Value op = instr->op();
2041
2042 Handle<Code> ic = CompareIC::GetUninitialized(op);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002043 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002044
2045 Condition condition = ComputeCompareCondition(op);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002046 Label true_value, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002047 __ test(eax, Operand(eax));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002048 __ j(condition, &true_value, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002049 __ mov(ToRegister(instr->result()), factory()->false_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002050 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002051 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002052 __ mov(ToRegister(instr->result()), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002053 __ bind(&done);
2054}
2055
2056
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002057void LCodeGen::DoReturn(LReturn* instr) {
2058 if (FLAG_trace) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002059 // Preserve the return value on the stack and rely on the runtime call
2060 // to return the value in the same register. We're leaving the code
2061 // managed by the register allocator and tearing down the frame, it's
2062 // safe to write to the context register.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002063 __ push(eax);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002064 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002065 __ CallRuntime(Runtime::kTraceExit, 1);
2066 }
2067 __ mov(esp, ebp);
2068 __ pop(ebp);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002069 if (dynamic_frame_alignment_) {
2070 Label aligned;
2071 // Frame alignment marker (padding) is below arguments,
2072 // and receiver, so its return-address-relative offset is
2073 // (num_arguments + 2) words.
2074 __ cmp(Operand(esp, (GetParameterCount() + 2) * kPointerSize),
2075 Immediate(factory()->frame_alignment_marker()));
2076 __ j(not_equal, &aligned);
2077 __ Ret((GetParameterCount() + 2) * kPointerSize, ecx);
2078 __ bind(&aligned);
2079 }
danno@chromium.org160a7b02011-04-18 15:51:38 +00002080 __ Ret((GetParameterCount() + 1) * kPointerSize, ecx);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002081}
2082
2083
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002084void LCodeGen::DoLoadGlobalCell(LLoadGlobalCell* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002085 Register result = ToRegister(instr->result());
2086 __ mov(result, Operand::Cell(instr->hydrogen()->cell()));
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002087 if (instr->hydrogen()->RequiresHoleCheck()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002088 __ cmp(result, factory()->the_hole_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002089 DeoptimizeIf(equal, instr->environment());
2090 }
2091}
2092
2093
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002094void LCodeGen::DoLoadGlobalGeneric(LLoadGlobalGeneric* instr) {
2095 ASSERT(ToRegister(instr->context()).is(esi));
2096 ASSERT(ToRegister(instr->global_object()).is(eax));
2097 ASSERT(ToRegister(instr->result()).is(eax));
2098
2099 __ mov(ecx, instr->name());
2100 RelocInfo::Mode mode = instr->for_typeof() ? RelocInfo::CODE_TARGET :
2101 RelocInfo::CODE_TARGET_CONTEXT;
2102 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002103 CallCode(ic, mode, instr);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002104}
2105
2106
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002107void LCodeGen::DoStoreGlobalCell(LStoreGlobalCell* instr) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002108 Register object = ToRegister(instr->TempAt(0));
2109 Register address = ToRegister(instr->TempAt(1));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002110 Register value = ToRegister(instr->InputAt(0));
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002111 ASSERT(!value.is(object));
2112 Handle<JSGlobalPropertyCell> cell_handle(instr->hydrogen()->cell());
2113
2114 int offset = JSGlobalPropertyCell::kValueOffset;
2115 __ mov(object, Immediate(cell_handle));
ager@chromium.org378b34e2011-01-28 08:04:38 +00002116
2117 // If the cell we are storing to contains the hole it could have
2118 // been deleted from the property dictionary. In that case, we need
2119 // to update the property details in the property dictionary to mark
2120 // it as no longer deleted. We deoptimize in that case.
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002121 if (instr->hydrogen()->RequiresHoleCheck()) {
2122 __ cmp(FieldOperand(object, offset), factory()->the_hole_value());
ager@chromium.org378b34e2011-01-28 08:04:38 +00002123 DeoptimizeIf(equal, instr->environment());
2124 }
2125
2126 // Store the value.
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002127 __ mov(FieldOperand(object, offset), value);
2128
2129 // Cells are always in the remembered set.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002130 if (instr->hydrogen()->NeedsWriteBarrier()) {
2131 HType type = instr->hydrogen()->value()->type();
2132 SmiCheck check_needed =
2133 type.IsHeapObject() ? OMIT_SMI_CHECK : INLINE_SMI_CHECK;
2134 __ RecordWriteField(object,
2135 offset,
2136 value,
2137 address,
2138 kSaveFPRegs,
2139 OMIT_REMEMBERED_SET,
2140 check_needed);
2141 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002142}
2143
2144
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002145void LCodeGen::DoStoreGlobalGeneric(LStoreGlobalGeneric* instr) {
2146 ASSERT(ToRegister(instr->context()).is(esi));
2147 ASSERT(ToRegister(instr->global_object()).is(edx));
2148 ASSERT(ToRegister(instr->value()).is(eax));
2149
2150 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002151 Handle<Code> ic = instr->strict_mode()
2152 ? isolate()->builtins()->StoreIC_Initialize_Strict()
2153 : isolate()->builtins()->StoreIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002154 CallCode(ic, RelocInfo::CODE_TARGET_CONTEXT, instr);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002155}
2156
2157
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002158void LCodeGen::DoLoadContextSlot(LLoadContextSlot* instr) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002159 Register context = ToRegister(instr->context());
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002160 Register result = ToRegister(instr->result());
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002161 __ mov(result, ContextOperand(context, instr->slot_index()));
2162}
2163
2164
2165void LCodeGen::DoStoreContextSlot(LStoreContextSlot* instr) {
2166 Register context = ToRegister(instr->context());
2167 Register value = ToRegister(instr->value());
2168 __ mov(ContextOperand(context, instr->slot_index()), value);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002169 if (instr->hydrogen()->NeedsWriteBarrier()) {
2170 HType type = instr->hydrogen()->value()->type();
2171 SmiCheck check_needed =
2172 type.IsHeapObject() ? OMIT_SMI_CHECK : INLINE_SMI_CHECK;
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002173 Register temp = ToRegister(instr->TempAt(0));
2174 int offset = Context::SlotOffset(instr->slot_index());
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002175 __ RecordWriteContextSlot(context,
2176 offset,
2177 value,
2178 temp,
2179 kSaveFPRegs,
2180 EMIT_REMEMBERED_SET,
2181 check_needed);
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002182 }
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002183}
2184
2185
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002186void LCodeGen::DoLoadNamedField(LLoadNamedField* instr) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002187 Register object = ToRegister(instr->object());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002188 Register result = ToRegister(instr->result());
2189 if (instr->hydrogen()->is_in_object()) {
2190 __ mov(result, FieldOperand(object, instr->hydrogen()->offset()));
2191 } else {
2192 __ mov(result, FieldOperand(object, JSObject::kPropertiesOffset));
2193 __ mov(result, FieldOperand(result, instr->hydrogen()->offset()));
2194 }
2195}
2196
2197
lrn@chromium.org1c092762011-05-09 09:42:16 +00002198void LCodeGen::EmitLoadFieldOrConstantFunction(Register result,
2199 Register object,
2200 Handle<Map> type,
2201 Handle<String> name) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002202 LookupResult lookup(isolate());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002203 type->LookupInDescriptors(NULL, *name, &lookup);
lrn@chromium.org1c092762011-05-09 09:42:16 +00002204 ASSERT(lookup.IsProperty() &&
2205 (lookup.type() == FIELD || lookup.type() == CONSTANT_FUNCTION));
2206 if (lookup.type() == FIELD) {
2207 int index = lookup.GetLocalFieldIndexFromMap(*type);
2208 int offset = index * kPointerSize;
2209 if (index < 0) {
2210 // Negative property indices are in-object properties, indexed
2211 // from the end of the fixed part of the object.
2212 __ mov(result, FieldOperand(object, offset + type->instance_size()));
2213 } else {
2214 // Non-negative property indices are in the properties array.
2215 __ mov(result, FieldOperand(object, JSObject::kPropertiesOffset));
2216 __ mov(result, FieldOperand(result, offset + FixedArray::kHeaderSize));
2217 }
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002218 } else {
lrn@chromium.org1c092762011-05-09 09:42:16 +00002219 Handle<JSFunction> function(lookup.GetConstantFunctionFromMap(*type));
2220 LoadHeapObject(result, Handle<HeapObject>::cast(function));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002221 }
2222}
2223
2224
2225void LCodeGen::DoLoadNamedFieldPolymorphic(LLoadNamedFieldPolymorphic* instr) {
2226 Register object = ToRegister(instr->object());
2227 Register result = ToRegister(instr->result());
2228
2229 int map_count = instr->hydrogen()->types()->length();
2230 Handle<String> name = instr->hydrogen()->name();
2231 if (map_count == 0) {
2232 ASSERT(instr->hydrogen()->need_generic());
2233 __ mov(ecx, name);
2234 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002235 CallCode(ic, RelocInfo::CODE_TARGET, instr);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002236 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002237 Label done;
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002238 for (int i = 0; i < map_count - 1; ++i) {
2239 Handle<Map> map = instr->hydrogen()->types()->at(i);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002240 Label next;
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002241 __ cmp(FieldOperand(object, HeapObject::kMapOffset), map);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002242 __ j(not_equal, &next, Label::kNear);
lrn@chromium.org1c092762011-05-09 09:42:16 +00002243 EmitLoadFieldOrConstantFunction(result, object, map, name);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002244 __ jmp(&done, Label::kNear);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002245 __ bind(&next);
2246 }
2247 Handle<Map> map = instr->hydrogen()->types()->last();
2248 __ cmp(FieldOperand(object, HeapObject::kMapOffset), map);
2249 if (instr->hydrogen()->need_generic()) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002250 Label generic;
2251 __ j(not_equal, &generic, Label::kNear);
lrn@chromium.org1c092762011-05-09 09:42:16 +00002252 EmitLoadFieldOrConstantFunction(result, object, map, name);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002253 __ jmp(&done, Label::kNear);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002254 __ bind(&generic);
2255 __ mov(ecx, name);
2256 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002257 CallCode(ic, RelocInfo::CODE_TARGET, instr);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002258 } else {
2259 DeoptimizeIf(not_equal, instr->environment());
lrn@chromium.org1c092762011-05-09 09:42:16 +00002260 EmitLoadFieldOrConstantFunction(result, object, map, name);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002261 }
2262 __ bind(&done);
2263 }
2264}
2265
2266
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002267void LCodeGen::DoLoadNamedGeneric(LLoadNamedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002268 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002269 ASSERT(ToRegister(instr->object()).is(eax));
2270 ASSERT(ToRegister(instr->result()).is(eax));
2271
2272 __ mov(ecx, instr->name());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002273 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002274 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002275}
2276
2277
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002278void LCodeGen::DoLoadFunctionPrototype(LLoadFunctionPrototype* instr) {
2279 Register function = ToRegister(instr->function());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002280 Register temp = ToRegister(instr->TempAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002281 Register result = ToRegister(instr->result());
2282
2283 // Check that the function really is a function.
2284 __ CmpObjectType(function, JS_FUNCTION_TYPE, result);
2285 DeoptimizeIf(not_equal, instr->environment());
2286
2287 // Check whether the function has an instance prototype.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002288 Label non_instance;
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002289 __ test_b(FieldOperand(result, Map::kBitFieldOffset),
2290 1 << Map::kHasNonInstancePrototype);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002291 __ j(not_zero, &non_instance, Label::kNear);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002292
2293 // Get the prototype or initial map from the function.
2294 __ mov(result,
2295 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2296
2297 // Check that the function has a prototype or an initial map.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002298 __ cmp(Operand(result), Immediate(factory()->the_hole_value()));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002299 DeoptimizeIf(equal, instr->environment());
2300
2301 // If the function does not have an initial map, we're done.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002302 Label done;
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002303 __ CmpObjectType(result, MAP_TYPE, temp);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002304 __ j(not_equal, &done, Label::kNear);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002305
2306 // Get the prototype from the initial map.
2307 __ mov(result, FieldOperand(result, Map::kPrototypeOffset));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002308 __ jmp(&done, Label::kNear);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002309
2310 // Non-instance prototype: Fetch prototype from constructor field
2311 // in the function's map.
2312 __ bind(&non_instance);
2313 __ mov(result, FieldOperand(result, Map::kConstructorOffset));
2314
2315 // All done.
2316 __ bind(&done);
2317}
2318
2319
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002320void LCodeGen::DoLoadElements(LLoadElements* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002321 Register result = ToRegister(instr->result());
2322 Register input = ToRegister(instr->InputAt(0));
2323 __ mov(result, FieldOperand(input, JSObject::kElementsOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002324 if (FLAG_debug_code) {
whesse@chromium.org7b260152011-06-20 15:33:18 +00002325 Label done, ok, fail;
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002326 __ cmp(FieldOperand(result, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002327 Immediate(factory()->fixed_array_map()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002328 __ j(equal, &done, Label::kNear);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002329 __ cmp(FieldOperand(result, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002330 Immediate(factory()->fixed_cow_array_map()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002331 __ j(equal, &done, Label::kNear);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002332 Register temp((result.is(eax)) ? ebx : eax);
2333 __ push(temp);
2334 __ mov(temp, FieldOperand(result, HeapObject::kMapOffset));
whesse@chromium.org7b260152011-06-20 15:33:18 +00002335 __ movzx_b(temp, FieldOperand(temp, Map::kBitField2Offset));
2336 __ and_(temp, Map::kElementsKindMask);
2337 __ shr(temp, Map::kElementsKindShift);
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002338 __ cmp(temp, FAST_ELEMENTS);
whesse@chromium.org7b260152011-06-20 15:33:18 +00002339 __ j(equal, &ok, Label::kNear);
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002340 __ cmp(temp, FIRST_EXTERNAL_ARRAY_ELEMENTS_KIND);
whesse@chromium.org7b260152011-06-20 15:33:18 +00002341 __ j(less, &fail, Label::kNear);
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002342 __ cmp(temp, LAST_EXTERNAL_ARRAY_ELEMENTS_KIND);
whesse@chromium.org7b260152011-06-20 15:33:18 +00002343 __ j(less_equal, &ok, Label::kNear);
2344 __ bind(&fail);
2345 __ Abort("Check for fast or external elements failed.");
2346 __ bind(&ok);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002347 __ pop(temp);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002348 __ bind(&done);
2349 }
2350}
2351
2352
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00002353void LCodeGen::DoLoadExternalArrayPointer(
2354 LLoadExternalArrayPointer* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002355 Register result = ToRegister(instr->result());
2356 Register input = ToRegister(instr->InputAt(0));
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00002357 __ mov(result, FieldOperand(input,
2358 ExternalArray::kExternalPointerOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002359}
2360
2361
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002362void LCodeGen::DoAccessArgumentsAt(LAccessArgumentsAt* instr) {
2363 Register arguments = ToRegister(instr->arguments());
2364 Register length = ToRegister(instr->length());
2365 Operand index = ToOperand(instr->index());
2366 Register result = ToRegister(instr->result());
2367
2368 __ sub(length, index);
2369 DeoptimizeIf(below_equal, instr->environment());
2370
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002371 // There are two words between the frame pointer and the last argument.
2372 // Subtracting from length accounts for one of them add one more.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002373 __ mov(result, Operand(arguments, length, times_4, kPointerSize));
2374}
2375
2376
2377void LCodeGen::DoLoadKeyedFastElement(LLoadKeyedFastElement* instr) {
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002378 Register result = ToRegister(instr->result());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002379
2380 // Load the result.
danno@chromium.orgb6451162011-08-17 14:33:23 +00002381 __ mov(result,
2382 BuildFastArrayOperand(instr->elements(), instr->key(),
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002383 FAST_ELEMENTS,
danno@chromium.orgb6451162011-08-17 14:33:23 +00002384 FixedArray::kHeaderSize - kHeapObjectTag));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002385
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002386 // Check for the hole value.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002387 if (instr->hydrogen()->RequiresHoleCheck()) {
2388 __ cmp(result, factory()->the_hole_value());
2389 DeoptimizeIf(equal, instr->environment());
2390 }
2391}
2392
2393
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002394void LCodeGen::DoLoadKeyedFastDoubleElement(
2395 LLoadKeyedFastDoubleElement* instr) {
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002396 XMMRegister result = ToDoubleRegister(instr->result());
2397
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002398 int offset = FixedDoubleArray::kHeaderSize - kHeapObjectTag +
2399 sizeof(kHoleNanLower32);
2400 Operand hole_check_operand = BuildFastArrayOperand(
2401 instr->elements(), instr->key(),
2402 FAST_DOUBLE_ELEMENTS,
2403 offset);
2404 __ cmp(hole_check_operand, Immediate(kHoleNanUpper32));
2405 DeoptimizeIf(equal, instr->environment());
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002406
2407 Operand double_load_operand = BuildFastArrayOperand(
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002408 instr->elements(), instr->key(), FAST_DOUBLE_ELEMENTS,
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002409 FixedDoubleArray::kHeaderSize - kHeapObjectTag);
2410 __ movdbl(result, double_load_operand);
2411}
2412
2413
2414Operand LCodeGen::BuildFastArrayOperand(
danno@chromium.orgb6451162011-08-17 14:33:23 +00002415 LOperand* elements_pointer,
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002416 LOperand* key,
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002417 ElementsKind elements_kind,
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002418 uint32_t offset) {
danno@chromium.orgb6451162011-08-17 14:33:23 +00002419 Register elements_pointer_reg = ToRegister(elements_pointer);
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002420 int shift_size = ElementsKindToShiftSize(elements_kind);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002421 if (key->IsConstantOperand()) {
2422 int constant_value = ToInteger32(LConstantOperand::cast(key));
2423 if (constant_value & 0xF0000000) {
2424 Abort("array index constant value too big");
2425 }
danno@chromium.orgb6451162011-08-17 14:33:23 +00002426 return Operand(elements_pointer_reg,
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002427 constant_value * (1 << shift_size) + offset);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002428 } else {
2429 ScaleFactor scale_factor = static_cast<ScaleFactor>(shift_size);
danno@chromium.orgb6451162011-08-17 14:33:23 +00002430 return Operand(elements_pointer_reg, ToRegister(key), scale_factor, offset);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002431 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002432}
2433
2434
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002435void LCodeGen::DoLoadKeyedSpecializedArrayElement(
2436 LLoadKeyedSpecializedArrayElement* instr) {
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002437 ElementsKind elements_kind = instr->elements_kind();
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002438 Operand operand(BuildFastArrayOperand(instr->external_pointer(),
2439 instr->key(), elements_kind, 0));
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002440 if (elements_kind == EXTERNAL_FLOAT_ELEMENTS) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002441 XMMRegister result(ToDoubleRegister(instr->result()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002442 __ movss(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002443 __ cvtss2sd(result, result);
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002444 } else if (elements_kind == EXTERNAL_DOUBLE_ELEMENTS) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002445 __ movdbl(ToDoubleRegister(instr->result()), operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002446 } else {
2447 Register result(ToRegister(instr->result()));
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002448 switch (elements_kind) {
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002449 case EXTERNAL_BYTE_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002450 __ movsx_b(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002451 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002452 case EXTERNAL_PIXEL_ELEMENTS:
2453 case EXTERNAL_UNSIGNED_BYTE_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002454 __ movzx_b(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002455 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002456 case EXTERNAL_SHORT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002457 __ movsx_w(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002458 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002459 case EXTERNAL_UNSIGNED_SHORT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002460 __ movzx_w(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002461 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002462 case EXTERNAL_INT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002463 __ mov(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002464 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002465 case EXTERNAL_UNSIGNED_INT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002466 __ mov(result, operand);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002467 __ test(result, Operand(result));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002468 // TODO(danno): we could be more clever here, perhaps having a special
2469 // version of the stub that detects if the overflow case actually
2470 // happens, and generate code that returns a double rather than int.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002471 DeoptimizeIf(negative, instr->environment());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002472 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002473 case EXTERNAL_FLOAT_ELEMENTS:
2474 case EXTERNAL_DOUBLE_ELEMENTS:
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002475 case FAST_SMI_ONLY_ELEMENTS:
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002476 case FAST_ELEMENTS:
2477 case FAST_DOUBLE_ELEMENTS:
2478 case DICTIONARY_ELEMENTS:
2479 case NON_STRICT_ARGUMENTS_ELEMENTS:
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002480 UNREACHABLE();
2481 break;
2482 }
2483 }
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002484}
2485
2486
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002487void LCodeGen::DoLoadKeyedGeneric(LLoadKeyedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002488 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002489 ASSERT(ToRegister(instr->object()).is(edx));
2490 ASSERT(ToRegister(instr->key()).is(eax));
2491
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002492 Handle<Code> ic = isolate()->builtins()->KeyedLoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002493 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002494}
2495
2496
2497void LCodeGen::DoArgumentsElements(LArgumentsElements* instr) {
2498 Register result = ToRegister(instr->result());
2499
2500 // Check for arguments adapter frame.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002501 Label done, adapted;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002502 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2503 __ mov(result, Operand(result, StandardFrameConstants::kContextOffset));
2504 __ cmp(Operand(result),
2505 Immediate(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002506 __ j(equal, &adapted, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002507
2508 // No arguments adaptor frame.
2509 __ mov(result, Operand(ebp));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002510 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002511
2512 // Arguments adaptor frame present.
2513 __ bind(&adapted);
2514 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2515
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002516 // Result is the frame pointer for the frame if not adapted and for the real
2517 // frame below the adaptor frame if adapted.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002518 __ bind(&done);
2519}
2520
2521
2522void LCodeGen::DoArgumentsLength(LArgumentsLength* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002523 Operand elem = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002524 Register result = ToRegister(instr->result());
2525
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002526 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002527
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002528 // If no arguments adaptor frame the number of arguments is fixed.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002529 __ cmp(ebp, elem);
2530 __ mov(result, Immediate(scope()->num_parameters()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002531 __ j(equal, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002532
2533 // Arguments adaptor frame present. Get argument length from there.
2534 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2535 __ mov(result, Operand(result,
2536 ArgumentsAdaptorFrameConstants::kLengthOffset));
2537 __ SmiUntag(result);
2538
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002539 // Argument length is in result register.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002540 __ bind(&done);
2541}
2542
2543
2544void LCodeGen::DoApplyArguments(LApplyArguments* instr) {
2545 Register receiver = ToRegister(instr->receiver());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002546 Register function = ToRegister(instr->function());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002547 Register length = ToRegister(instr->length());
2548 Register elements = ToRegister(instr->elements());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002549 Register scratch = ToRegister(instr->TempAt(0));
2550 ASSERT(receiver.is(eax)); // Used for parameter count.
2551 ASSERT(function.is(edi)); // Required by InvokeFunction.
2552 ASSERT(ToRegister(instr->result()).is(eax));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002553
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002554 // If the receiver is null or undefined, we have to pass the global
2555 // object as a receiver to normal functions. Values have to be
2556 // passed unchanged to builtins and strict-mode functions.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002557 Label global_object, receiver_ok;
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002558
2559 // Do not transform the receiver to object for strict mode
2560 // functions.
2561 __ mov(scratch,
2562 FieldOperand(function, JSFunction::kSharedFunctionInfoOffset));
2563 __ test_b(FieldOperand(scratch, SharedFunctionInfo::kStrictModeByteOffset),
2564 1 << SharedFunctionInfo::kStrictModeBitWithinByte);
2565 __ j(not_equal, &receiver_ok, Label::kNear);
2566
2567 // Do not transform the receiver to object for builtins.
2568 __ test_b(FieldOperand(scratch, SharedFunctionInfo::kNativeByteOffset),
2569 1 << SharedFunctionInfo::kNativeBitWithinByte);
2570 __ j(not_equal, &receiver_ok, Label::kNear);
2571
2572 // Normal function. Replace undefined or null with global receiver.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002573 __ cmp(receiver, factory()->null_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002574 __ j(equal, &global_object, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002575 __ cmp(receiver, factory()->undefined_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002576 __ j(equal, &global_object, Label::kNear);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002577
2578 // The receiver should be a JS object.
2579 __ test(receiver, Immediate(kSmiTagMask));
2580 DeoptimizeIf(equal, instr->environment());
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002581 __ CmpObjectType(receiver, FIRST_SPEC_OBJECT_TYPE, scratch);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002582 DeoptimizeIf(below, instr->environment());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002583 __ jmp(&receiver_ok, Label::kNear);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002584
2585 __ bind(&global_object);
2586 // TODO(kmillikin): We have a hydrogen value for the global object. See
2587 // if it's better to use it than to explicitly fetch it from the context
2588 // here.
2589 __ mov(receiver, Operand(ebp, StandardFrameConstants::kContextOffset));
2590 __ mov(receiver, ContextOperand(receiver, Context::GLOBAL_INDEX));
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002591 __ mov(receiver,
2592 FieldOperand(receiver, JSGlobalObject::kGlobalReceiverOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002593 __ bind(&receiver_ok);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002594
2595 // Copy the arguments to this function possibly from the
2596 // adaptor frame below it.
2597 const uint32_t kArgumentsLimit = 1 * KB;
2598 __ cmp(length, kArgumentsLimit);
2599 DeoptimizeIf(above, instr->environment());
2600
2601 __ push(receiver);
2602 __ mov(receiver, length);
2603
2604 // Loop through the arguments pushing them onto the execution
2605 // stack.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002606 Label invoke, loop;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002607 // length is a small non-negative integer, due to the test above.
2608 __ test(length, Operand(length));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002609 __ j(zero, &invoke, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002610 __ bind(&loop);
2611 __ push(Operand(elements, length, times_pointer_size, 1 * kPointerSize));
2612 __ dec(length);
2613 __ j(not_zero, &loop);
2614
2615 // Invoke the function.
2616 __ bind(&invoke);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00002617 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
2618 LPointerMap* pointers = instr->pointer_map();
2619 LEnvironment* env = instr->deoptimization_environment();
2620 RecordPosition(pointers->position());
2621 RegisterEnvironmentForDeoptimization(env);
2622 SafepointGenerator safepoint_generator(this,
2623 pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002624 env->deoptimization_index());
danno@chromium.org160a7b02011-04-18 15:51:38 +00002625 ParameterCount actual(eax);
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002626 __ InvokeFunction(function, actual, CALL_FUNCTION,
2627 safepoint_generator, CALL_AS_METHOD);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002628}
2629
2630
2631void LCodeGen::DoPushArgument(LPushArgument* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002632 LOperand* argument = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002633 if (argument->IsConstantOperand()) {
2634 __ push(ToImmediate(argument));
2635 } else {
2636 __ push(ToOperand(argument));
2637 }
2638}
2639
2640
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002641void LCodeGen::DoThisFunction(LThisFunction* instr) {
2642 Register result = ToRegister(instr->result());
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00002643 LoadHeapObject(result, instr->hydrogen()->closure());
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002644}
2645
2646
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002647void LCodeGen::DoContext(LContext* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002648 Register result = ToRegister(instr->result());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002649 __ mov(result, Operand(ebp, StandardFrameConstants::kContextOffset));
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002650}
2651
2652
2653void LCodeGen::DoOuterContext(LOuterContext* instr) {
2654 Register context = ToRegister(instr->context());
2655 Register result = ToRegister(instr->result());
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002656 __ mov(result,
2657 Operand(context, Context::SlotOffset(Context::PREVIOUS_INDEX)));
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002658}
2659
2660
2661void LCodeGen::DoGlobalObject(LGlobalObject* instr) {
2662 Register context = ToRegister(instr->context());
2663 Register result = ToRegister(instr->result());
2664 __ mov(result, Operand(context, Context::SlotOffset(Context::GLOBAL_INDEX)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002665}
2666
2667
2668void LCodeGen::DoGlobalReceiver(LGlobalReceiver* instr) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002669 Register global = ToRegister(instr->global());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002670 Register result = ToRegister(instr->result());
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002671 __ mov(result, FieldOperand(global, GlobalObject::kGlobalReceiverOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002672}
2673
2674
2675void LCodeGen::CallKnownFunction(Handle<JSFunction> function,
2676 int arity,
danno@chromium.org40cb8782011-05-25 07:58:50 +00002677 LInstruction* instr,
2678 CallKind call_kind) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002679 // Change context if needed.
2680 bool change_context =
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00002681 (info()->closure()->context() != function->context()) ||
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002682 scope()->contains_with() ||
2683 (scope()->num_heap_slots() > 0);
2684 if (change_context) {
2685 __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002686 } else {
2687 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002688 }
2689
2690 // Set eax to arguments count if adaption is not needed. Assumes that eax
2691 // is available to write to at this point.
2692 if (!function->NeedsArgumentsAdaption()) {
2693 __ mov(eax, arity);
2694 }
2695
2696 LPointerMap* pointers = instr->pointer_map();
2697 RecordPosition(pointers->position());
2698
2699 // Invoke function.
danno@chromium.org40cb8782011-05-25 07:58:50 +00002700 __ SetCallKind(ecx, call_kind);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00002701 if (*function == *info()->closure()) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002702 __ CallSelf();
2703 } else {
2704 __ call(FieldOperand(edi, JSFunction::kCodeEntryOffset));
2705 }
2706
2707 // Setup deoptimization.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002708 RegisterLazyDeoptimization(instr, RECORD_SIMPLE_SAFEPOINT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002709}
2710
2711
2712void LCodeGen::DoCallConstantFunction(LCallConstantFunction* instr) {
2713 ASSERT(ToRegister(instr->result()).is(eax));
2714 __ mov(edi, instr->function());
danno@chromium.org40cb8782011-05-25 07:58:50 +00002715 CallKnownFunction(instr->function(),
2716 instr->arity(),
2717 instr,
2718 CALL_AS_METHOD);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002719}
2720
2721
2722void LCodeGen::DoDeferredMathAbsTaggedHeapNumber(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002723 Register input_reg = ToRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002724 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002725 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002726 DeoptimizeIf(not_equal, instr->environment());
2727
2728 Label done;
2729 Register tmp = input_reg.is(eax) ? ecx : eax;
2730 Register tmp2 = tmp.is(ecx) ? edx : input_reg.is(ecx) ? edx : ecx;
2731
2732 // Preserve the value of all registers.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002733 PushSafepointRegistersScope scope(this);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002734
2735 Label negative;
2736 __ mov(tmp, FieldOperand(input_reg, HeapNumber::kExponentOffset));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002737 // Check the sign of the argument. If the argument is positive, just
2738 // return it. We do not need to patch the stack since |input| and
2739 // |result| are the same register and |input| will be restored
2740 // unchanged by popping safepoint registers.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002741 __ test(tmp, Immediate(HeapNumber::kSignMask));
2742 __ j(not_zero, &negative);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002743 __ jmp(&done);
2744
2745 __ bind(&negative);
2746
2747 Label allocated, slow;
2748 __ AllocateHeapNumber(tmp, tmp2, no_reg, &slow);
2749 __ jmp(&allocated);
2750
2751 // Slow case: Call the runtime system to do the number allocation.
2752 __ bind(&slow);
2753
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002754 CallRuntimeFromDeferred(Runtime::kAllocateHeapNumber, 0,
2755 instr, instr->context());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002756
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002757 // Set the pointer to the new heap number in tmp.
2758 if (!tmp.is(eax)) __ mov(tmp, eax);
2759
2760 // Restore input_reg after call to runtime.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002761 __ LoadFromSafepointRegisterSlot(input_reg, input_reg);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002762
2763 __ bind(&allocated);
2764 __ mov(tmp2, FieldOperand(input_reg, HeapNumber::kExponentOffset));
2765 __ and_(tmp2, ~HeapNumber::kSignMask);
2766 __ mov(FieldOperand(tmp, HeapNumber::kExponentOffset), tmp2);
2767 __ mov(tmp2, FieldOperand(input_reg, HeapNumber::kMantissaOffset));
2768 __ mov(FieldOperand(tmp, HeapNumber::kMantissaOffset), tmp2);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002769 __ StoreToSafepointRegisterSlot(input_reg, tmp);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002770
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002771 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002772}
2773
2774
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002775void LCodeGen::EmitIntegerMathAbs(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002776 Register input_reg = ToRegister(instr->value());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002777 __ test(input_reg, Operand(input_reg));
2778 Label is_positive;
2779 __ j(not_sign, &is_positive);
2780 __ neg(input_reg);
2781 __ test(input_reg, Operand(input_reg));
2782 DeoptimizeIf(negative, instr->environment());
2783 __ bind(&is_positive);
2784}
2785
2786
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002787void LCodeGen::DoMathAbs(LUnaryMathOperation* instr) {
2788 // Class for deferred case.
2789 class DeferredMathAbsTaggedHeapNumber: public LDeferredCode {
2790 public:
2791 DeferredMathAbsTaggedHeapNumber(LCodeGen* codegen,
2792 LUnaryMathOperation* instr)
2793 : LDeferredCode(codegen), instr_(instr) { }
2794 virtual void Generate() {
2795 codegen()->DoDeferredMathAbsTaggedHeapNumber(instr_);
2796 }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00002797 virtual LInstruction* instr() { return instr_; }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002798 private:
2799 LUnaryMathOperation* instr_;
2800 };
2801
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002802 ASSERT(instr->value()->Equals(instr->result()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002803 Representation r = instr->hydrogen()->value()->representation();
2804
2805 if (r.IsDouble()) {
2806 XMMRegister scratch = xmm0;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002807 XMMRegister input_reg = ToDoubleRegister(instr->value());
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002808 __ xorps(scratch, scratch);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002809 __ subsd(scratch, input_reg);
2810 __ pand(input_reg, scratch);
2811 } else if (r.IsInteger32()) {
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002812 EmitIntegerMathAbs(instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002813 } else { // Tagged case.
2814 DeferredMathAbsTaggedHeapNumber* deferred =
2815 new DeferredMathAbsTaggedHeapNumber(this, instr);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002816 Register input_reg = ToRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002817 // Smi check.
whesse@chromium.org7b260152011-06-20 15:33:18 +00002818 __ JumpIfNotSmi(input_reg, deferred->entry());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002819 EmitIntegerMathAbs(instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002820 __ bind(deferred->exit());
2821 }
2822}
2823
2824
2825void LCodeGen::DoMathFloor(LUnaryMathOperation* instr) {
2826 XMMRegister xmm_scratch = xmm0;
2827 Register output_reg = ToRegister(instr->result());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002828 XMMRegister input_reg = ToDoubleRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002829
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002830 if (CpuFeatures::IsSupported(SSE4_1)) {
2831 CpuFeatures::Scope scope(SSE4_1);
2832 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2833 // Deoptimize on negative zero.
2834 Label non_zero;
2835 __ xorps(xmm_scratch, xmm_scratch); // Zero the register.
2836 __ ucomisd(input_reg, xmm_scratch);
2837 __ j(not_equal, &non_zero, Label::kNear);
2838 __ movmskpd(output_reg, input_reg);
2839 __ test(output_reg, Immediate(1));
2840 DeoptimizeIf(not_zero, instr->environment());
2841 __ bind(&non_zero);
2842 }
2843 __ roundsd(xmm_scratch, input_reg, Assembler::kRoundDown);
2844 __ cvttsd2si(output_reg, Operand(xmm_scratch));
2845 // Overflow is signalled with minint.
2846 __ cmp(output_reg, 0x80000000u);
2847 DeoptimizeIf(equal, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002848 } else {
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002849 Label done;
2850 // Deoptimize on negative numbers.
2851 __ xorps(xmm_scratch, xmm_scratch); // Zero the register.
2852 __ ucomisd(input_reg, xmm_scratch);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002853 DeoptimizeIf(below, instr->environment());
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002854
2855 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2856 // Check for negative zero.
2857 Label positive_sign;
2858 __ j(above, &positive_sign, Label::kNear);
2859 __ movmskpd(output_reg, input_reg);
2860 __ test(output_reg, Immediate(1));
2861 DeoptimizeIf(not_zero, instr->environment());
2862 __ Set(output_reg, Immediate(0));
2863 __ jmp(&done, Label::kNear);
2864 __ bind(&positive_sign);
2865 }
2866
2867 // Use truncating instruction (OK because input is positive).
2868 __ cvttsd2si(output_reg, Operand(input_reg));
2869
2870 // Overflow is signalled with minint.
2871 __ cmp(output_reg, 0x80000000u);
2872 DeoptimizeIf(equal, instr->environment());
2873 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002874 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002875}
2876
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002877void LCodeGen::DoMathRound(LUnaryMathOperation* instr) {
2878 XMMRegister xmm_scratch = xmm0;
2879 Register output_reg = ToRegister(instr->result());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002880 XMMRegister input_reg = ToDoubleRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002881
danno@chromium.org160a7b02011-04-18 15:51:38 +00002882 Label below_half, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002883 // xmm_scratch = 0.5
2884 ExternalReference one_half = ExternalReference::address_of_one_half();
2885 __ movdbl(xmm_scratch, Operand::StaticVariable(one_half));
danno@chromium.org160a7b02011-04-18 15:51:38 +00002886 __ ucomisd(xmm_scratch, input_reg);
2887 __ j(above, &below_half);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002888 // input = input + 0.5
2889 __ addsd(input_reg, xmm_scratch);
2890
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002891 // Compute Math.floor(value + 0.5).
2892 // Use truncating instruction (OK because input is positive).
2893 __ cvttsd2si(output_reg, Operand(input_reg));
2894
2895 // Overflow is signalled with minint.
2896 __ cmp(output_reg, 0x80000000u);
2897 DeoptimizeIf(equal, instr->environment());
danno@chromium.org160a7b02011-04-18 15:51:38 +00002898 __ jmp(&done);
2899
2900 __ bind(&below_half);
2901
2902 // We return 0 for the input range [+0, 0.5[, or [-0.5, 0.5[ if
2903 // we can ignore the difference between a result of -0 and +0.
2904 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2905 // If the sign is positive, we return +0.
2906 __ movmskpd(output_reg, input_reg);
2907 __ test(output_reg, Immediate(1));
2908 DeoptimizeIf(not_zero, instr->environment());
2909 } else {
2910 // If the input is >= -0.5, we return +0.
2911 __ mov(output_reg, Immediate(0xBF000000));
2912 __ movd(xmm_scratch, Operand(output_reg));
2913 __ cvtss2sd(xmm_scratch, xmm_scratch);
2914 __ ucomisd(input_reg, xmm_scratch);
2915 DeoptimizeIf(below, instr->environment());
2916 }
2917 __ Set(output_reg, Immediate(0));
2918 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002919}
2920
2921
2922void LCodeGen::DoMathSqrt(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002923 XMMRegister input_reg = ToDoubleRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002924 ASSERT(ToDoubleRegister(instr->result()).is(input_reg));
2925 __ sqrtsd(input_reg, input_reg);
2926}
2927
2928
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002929void LCodeGen::DoMathPowHalf(LUnaryMathOperation* instr) {
2930 XMMRegister xmm_scratch = xmm0;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002931 XMMRegister input_reg = ToDoubleRegister(instr->value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002932 ASSERT(ToDoubleRegister(instr->result()).is(input_reg));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002933 __ xorps(xmm_scratch, xmm_scratch);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00002934 __ addsd(input_reg, xmm_scratch); // Convert -0 to +0.
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002935 __ sqrtsd(input_reg, input_reg);
2936}
2937
2938
2939void LCodeGen::DoPower(LPower* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002940 LOperand* left = instr->InputAt(0);
2941 LOperand* right = instr->InputAt(1);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002942 DoubleRegister result_reg = ToDoubleRegister(instr->result());
2943 Representation exponent_type = instr->hydrogen()->right()->representation();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002944
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002945 if (exponent_type.IsDouble()) {
2946 // It is safe to use ebx directly since the instruction is marked
2947 // as a call.
2948 __ PrepareCallCFunction(4, ebx);
2949 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2950 __ movdbl(Operand(esp, 1 * kDoubleSize), ToDoubleRegister(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002951 __ CallCFunction(ExternalReference::power_double_double_function(isolate()),
2952 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002953 } else if (exponent_type.IsInteger32()) {
2954 // It is safe to use ebx directly since the instruction is marked
2955 // as a call.
2956 ASSERT(!ToRegister(right).is(ebx));
2957 __ PrepareCallCFunction(4, ebx);
2958 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2959 __ mov(Operand(esp, 1 * kDoubleSize), ToRegister(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002960 __ CallCFunction(ExternalReference::power_double_int_function(isolate()),
2961 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002962 } else {
2963 ASSERT(exponent_type.IsTagged());
2964 CpuFeatures::Scope scope(SSE2);
2965 Register right_reg = ToRegister(right);
2966
2967 Label non_smi, call;
whesse@chromium.org7b260152011-06-20 15:33:18 +00002968 __ JumpIfNotSmi(right_reg, &non_smi);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002969 __ SmiUntag(right_reg);
2970 __ cvtsi2sd(result_reg, Operand(right_reg));
2971 __ jmp(&call);
2972
2973 __ bind(&non_smi);
2974 // It is safe to use ebx directly since the instruction is marked
2975 // as a call.
2976 ASSERT(!right_reg.is(ebx));
2977 __ CmpObjectType(right_reg, HEAP_NUMBER_TYPE , ebx);
2978 DeoptimizeIf(not_equal, instr->environment());
2979 __ movdbl(result_reg, FieldOperand(right_reg, HeapNumber::kValueOffset));
2980
2981 __ bind(&call);
2982 __ PrepareCallCFunction(4, ebx);
2983 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2984 __ movdbl(Operand(esp, 1 * kDoubleSize), result_reg);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002985 __ CallCFunction(ExternalReference::power_double_double_function(isolate()),
2986 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002987 }
2988
2989 // Return value is in st(0) on ia32.
2990 // Store it into the (fixed) result register.
2991 __ sub(Operand(esp), Immediate(kDoubleSize));
2992 __ fstp_d(Operand(esp, 0));
2993 __ movdbl(result_reg, Operand(esp, 0));
2994 __ add(Operand(esp), Immediate(kDoubleSize));
2995}
2996
2997
2998void LCodeGen::DoMathLog(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002999 ASSERT(instr->value()->Equals(instr->result()));
3000 XMMRegister input_reg = ToDoubleRegister(instr->value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003001 Label positive, done, zero;
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00003002 __ xorps(xmm0, xmm0);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00003003 __ ucomisd(input_reg, xmm0);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003004 __ j(above, &positive, Label::kNear);
3005 __ j(equal, &zero, Label::kNear);
svenpanne@chromium.org84bcc552011-07-18 09:50:57 +00003006 ExternalReference nan =
3007 ExternalReference::address_of_canonical_non_hole_nan();
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00003008 __ movdbl(input_reg, Operand::StaticVariable(nan));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003009 __ jmp(&done, Label::kNear);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00003010 __ bind(&zero);
3011 __ push(Immediate(0xFFF00000));
3012 __ push(Immediate(0));
3013 __ movdbl(input_reg, Operand(esp, 0));
3014 __ add(Operand(esp), Immediate(kDoubleSize));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003015 __ jmp(&done, Label::kNear);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00003016 __ bind(&positive);
3017 __ fldln2();
3018 __ sub(Operand(esp), Immediate(kDoubleSize));
3019 __ movdbl(Operand(esp, 0), input_reg);
3020 __ fld_d(Operand(esp, 0));
3021 __ fyl2x();
3022 __ fstp_d(Operand(esp, 0));
3023 __ movdbl(input_reg, Operand(esp, 0));
3024 __ add(Operand(esp), Immediate(kDoubleSize));
3025 __ bind(&done);
whesse@chromium.org023421e2010-12-21 12:19:12 +00003026}
3027
3028
3029void LCodeGen::DoMathCos(LUnaryMathOperation* instr) {
3030 ASSERT(ToDoubleRegister(instr->result()).is(xmm1));
3031 TranscendentalCacheStub stub(TranscendentalCache::COS,
3032 TranscendentalCacheStub::UNTAGGED);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003033 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
whesse@chromium.org023421e2010-12-21 12:19:12 +00003034}
3035
3036
3037void LCodeGen::DoMathSin(LUnaryMathOperation* instr) {
3038 ASSERT(ToDoubleRegister(instr->result()).is(xmm1));
3039 TranscendentalCacheStub stub(TranscendentalCache::SIN,
3040 TranscendentalCacheStub::UNTAGGED);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003041 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00003042}
3043
3044
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003045void LCodeGen::DoUnaryMathOperation(LUnaryMathOperation* instr) {
3046 switch (instr->op()) {
3047 case kMathAbs:
3048 DoMathAbs(instr);
3049 break;
3050 case kMathFloor:
3051 DoMathFloor(instr);
3052 break;
3053 case kMathRound:
3054 DoMathRound(instr);
3055 break;
3056 case kMathSqrt:
3057 DoMathSqrt(instr);
3058 break;
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00003059 case kMathPowHalf:
3060 DoMathPowHalf(instr);
3061 break;
whesse@chromium.org023421e2010-12-21 12:19:12 +00003062 case kMathCos:
3063 DoMathCos(instr);
3064 break;
3065 case kMathSin:
3066 DoMathSin(instr);
3067 break;
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00003068 case kMathLog:
3069 DoMathLog(instr);
3070 break;
3071
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003072 default:
3073 UNREACHABLE();
3074 }
3075}
3076
3077
danno@chromium.org160a7b02011-04-18 15:51:38 +00003078void LCodeGen::DoInvokeFunction(LInvokeFunction* instr) {
3079 ASSERT(ToRegister(instr->context()).is(esi));
3080 ASSERT(ToRegister(instr->function()).is(edi));
3081 ASSERT(instr->HasPointerMap());
3082 ASSERT(instr->HasDeoptimizationEnvironment());
3083 LPointerMap* pointers = instr->pointer_map();
3084 LEnvironment* env = instr->deoptimization_environment();
3085 RecordPosition(pointers->position());
3086 RegisterEnvironmentForDeoptimization(env);
3087 SafepointGenerator generator(this, pointers, env->deoptimization_index());
3088 ParameterCount count(instr->arity());
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00003089 __ InvokeFunction(edi, count, CALL_FUNCTION, generator, CALL_AS_METHOD);
danno@chromium.org160a7b02011-04-18 15:51:38 +00003090}
3091
3092
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003093void LCodeGen::DoCallKeyed(LCallKeyed* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003094 ASSERT(ToRegister(instr->context()).is(esi));
3095 ASSERT(ToRegister(instr->key()).is(ecx));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003096 ASSERT(ToRegister(instr->result()).is(eax));
3097
3098 int arity = instr->arity();
lrn@chromium.org34e60782011-09-15 07:25:40 +00003099 Handle<Code> ic =
3100 isolate()->stub_cache()->ComputeKeyedCallInitialize(arity);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003101 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003102}
3103
3104
3105void LCodeGen::DoCallNamed(LCallNamed* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003106 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003107 ASSERT(ToRegister(instr->result()).is(eax));
3108
3109 int arity = instr->arity();
danno@chromium.org40cb8782011-05-25 07:58:50 +00003110 RelocInfo::Mode mode = RelocInfo::CODE_TARGET;
3111 Handle<Code> ic =
lrn@chromium.org34e60782011-09-15 07:25:40 +00003112 isolate()->stub_cache()->ComputeCallInitialize(arity, mode);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003113 __ mov(ecx, instr->name());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003114 CallCode(ic, mode, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003115}
3116
3117
3118void LCodeGen::DoCallFunction(LCallFunction* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003119 ASSERT(ToRegister(instr->context()).is(esi));
danno@chromium.orgc612e022011-11-10 11:38:15 +00003120 ASSERT(ToRegister(instr->function()).is(edi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003121 ASSERT(ToRegister(instr->result()).is(eax));
3122
3123 int arity = instr->arity();
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003124 CallFunctionStub stub(arity, NO_CALL_FUNCTION_FLAGS);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003125 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003126}
3127
3128
3129void LCodeGen::DoCallGlobal(LCallGlobal* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003130 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003131 ASSERT(ToRegister(instr->result()).is(eax));
3132
3133 int arity = instr->arity();
danno@chromium.org40cb8782011-05-25 07:58:50 +00003134 RelocInfo::Mode mode = RelocInfo::CODE_TARGET_CONTEXT;
3135 Handle<Code> ic =
lrn@chromium.org34e60782011-09-15 07:25:40 +00003136 isolate()->stub_cache()->ComputeCallInitialize(arity, mode);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003137 __ mov(ecx, instr->name());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003138 CallCode(ic, mode, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003139}
3140
3141
3142void LCodeGen::DoCallKnownGlobal(LCallKnownGlobal* instr) {
3143 ASSERT(ToRegister(instr->result()).is(eax));
3144 __ mov(edi, instr->target());
danno@chromium.org40cb8782011-05-25 07:58:50 +00003145 CallKnownFunction(instr->target(), instr->arity(), instr, CALL_AS_FUNCTION);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003146}
3147
3148
3149void LCodeGen::DoCallNew(LCallNew* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003150 ASSERT(ToRegister(instr->context()).is(esi));
3151 ASSERT(ToRegister(instr->constructor()).is(edi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003152 ASSERT(ToRegister(instr->result()).is(eax));
3153
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003154 Handle<Code> builtin = isolate()->builtins()->JSConstructCall();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003155 __ Set(eax, Immediate(instr->arity()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003156 CallCode(builtin, RelocInfo::CONSTRUCT_CALL, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003157}
3158
3159
3160void LCodeGen::DoCallRuntime(LCallRuntime* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003161 CallRuntime(instr->function(), instr->arity(), instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003162}
3163
3164
3165void LCodeGen::DoStoreNamedField(LStoreNamedField* instr) {
3166 Register object = ToRegister(instr->object());
3167 Register value = ToRegister(instr->value());
3168 int offset = instr->offset();
3169
3170 if (!instr->transition().is_null()) {
3171 __ mov(FieldOperand(object, HeapObject::kMapOffset), instr->transition());
3172 }
3173
3174 // Do the store.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00003175 HType type = instr->hydrogen()->value()->type();
3176 SmiCheck check_needed =
3177 type.IsHeapObject() ? OMIT_SMI_CHECK : INLINE_SMI_CHECK;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003178 if (instr->is_in_object()) {
3179 __ mov(FieldOperand(object, offset), value);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00003180 if (instr->hydrogen()->NeedsWriteBarrier()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003181 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003182 // Update the write barrier for the object for in-object properties.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00003183 __ RecordWriteField(object,
3184 offset,
3185 value,
3186 temp,
3187 kSaveFPRegs,
3188 EMIT_REMEMBERED_SET,
3189 check_needed);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003190 }
3191 } else {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003192 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003193 __ mov(temp, FieldOperand(object, JSObject::kPropertiesOffset));
3194 __ mov(FieldOperand(temp, offset), value);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00003195 if (instr->hydrogen()->NeedsWriteBarrier()) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003196 // Update the write barrier for the properties array.
3197 // object is used as a scratch register.
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00003198 __ RecordWriteField(temp,
3199 offset,
3200 value,
3201 object,
3202 kSaveFPRegs,
3203 EMIT_REMEMBERED_SET,
3204 check_needed);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003205 }
3206 }
3207}
3208
3209
3210void LCodeGen::DoStoreNamedGeneric(LStoreNamedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003211 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003212 ASSERT(ToRegister(instr->object()).is(edx));
3213 ASSERT(ToRegister(instr->value()).is(eax));
3214
3215 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003216 Handle<Code> ic = instr->strict_mode()
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003217 ? isolate()->builtins()->StoreIC_Initialize_Strict()
3218 : isolate()->builtins()->StoreIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003219 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003220}
3221
3222
3223void LCodeGen::DoBoundsCheck(LBoundsCheck* instr) {
danno@chromium.orgb6451162011-08-17 14:33:23 +00003224 if (instr->index()->IsConstantOperand()) {
3225 __ cmp(ToOperand(instr->length()),
3226 ToImmediate(LConstantOperand::cast(instr->index())));
3227 DeoptimizeIf(below_equal, instr->environment());
3228 } else {
3229 __ cmp(ToRegister(instr->index()), ToOperand(instr->length()));
3230 DeoptimizeIf(above_equal, instr->environment());
3231 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003232}
3233
3234
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003235void LCodeGen::DoStoreKeyedSpecializedArrayElement(
3236 LStoreKeyedSpecializedArrayElement* instr) {
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003237 ElementsKind elements_kind = instr->elements_kind();
rossberg@chromium.org717967f2011-07-20 13:44:42 +00003238 Operand operand(BuildFastArrayOperand(instr->external_pointer(),
3239 instr->key(), elements_kind, 0));
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003240 if (elements_kind == EXTERNAL_FLOAT_ELEMENTS) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003241 __ cvtsd2ss(xmm0, ToDoubleRegister(instr->value()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003242 __ movss(operand, xmm0);
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003243 } else if (elements_kind == EXTERNAL_DOUBLE_ELEMENTS) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003244 __ movdbl(operand, ToDoubleRegister(instr->value()));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003245 } else {
3246 Register value = ToRegister(instr->value());
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003247 switch (elements_kind) {
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003248 case EXTERNAL_PIXEL_ELEMENTS:
3249 case EXTERNAL_UNSIGNED_BYTE_ELEMENTS:
3250 case EXTERNAL_BYTE_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003251 __ mov_b(operand, value);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003252 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003253 case EXTERNAL_SHORT_ELEMENTS:
3254 case EXTERNAL_UNSIGNED_SHORT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003255 __ mov_w(operand, value);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003256 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003257 case EXTERNAL_INT_ELEMENTS:
3258 case EXTERNAL_UNSIGNED_INT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003259 __ mov(operand, value);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003260 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003261 case EXTERNAL_FLOAT_ELEMENTS:
3262 case EXTERNAL_DOUBLE_ELEMENTS:
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003263 case FAST_SMI_ONLY_ELEMENTS:
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003264 case FAST_ELEMENTS:
3265 case FAST_DOUBLE_ELEMENTS:
3266 case DICTIONARY_ELEMENTS:
3267 case NON_STRICT_ARGUMENTS_ELEMENTS:
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003268 UNREACHABLE();
3269 break;
3270 }
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003271 }
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003272}
3273
3274
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003275void LCodeGen::DoStoreKeyedFastElement(LStoreKeyedFastElement* instr) {
3276 Register value = ToRegister(instr->value());
3277 Register elements = ToRegister(instr->object());
3278 Register key = instr->key()->IsRegister() ? ToRegister(instr->key()) : no_reg;
3279
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003280 // This instruction cannot handle the FAST_SMI_ONLY_ELEMENTS -> FAST_ELEMENTS
3281 // conversion, so it deopts in that case.
3282 if (instr->hydrogen()->ValueNeedsSmiCheck()) {
3283 __ test(value, Immediate(kSmiTagMask));
3284 DeoptimizeIf(not_zero, instr->environment());
3285 }
3286
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003287 // Do the store.
3288 if (instr->key()->IsConstantOperand()) {
3289 ASSERT(!instr->hydrogen()->NeedsWriteBarrier());
3290 LConstantOperand* const_operand = LConstantOperand::cast(instr->key());
3291 int offset =
3292 ToInteger32(const_operand) * kPointerSize + FixedArray::kHeaderSize;
3293 __ mov(FieldOperand(elements, offset), value);
3294 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003295 __ mov(FieldOperand(elements,
3296 key,
3297 times_pointer_size,
3298 FixedArray::kHeaderSize),
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003299 value);
3300 }
3301
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003302 if (instr->hydrogen()->NeedsWriteBarrier()) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00003303 HType type = instr->hydrogen()->value()->type();
3304 SmiCheck check_needed =
3305 type.IsHeapObject() ? OMIT_SMI_CHECK : INLINE_SMI_CHECK;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003306 // Compute address of modified element and store it into key register.
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003307 __ lea(key,
3308 FieldOperand(elements,
3309 key,
3310 times_pointer_size,
3311 FixedArray::kHeaderSize));
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00003312 __ RecordWrite(elements,
3313 key,
3314 value,
3315 kSaveFPRegs,
3316 EMIT_REMEMBERED_SET,
3317 check_needed);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003318 }
3319}
3320
3321
rossberg@chromium.org717967f2011-07-20 13:44:42 +00003322void LCodeGen::DoStoreKeyedFastDoubleElement(
3323 LStoreKeyedFastDoubleElement* instr) {
3324 XMMRegister value = ToDoubleRegister(instr->value());
rossberg@chromium.org717967f2011-07-20 13:44:42 +00003325 Label have_value;
3326
3327 __ ucomisd(value, value);
3328 __ j(parity_odd, &have_value); // NaN.
3329
3330 ExternalReference canonical_nan_reference =
3331 ExternalReference::address_of_canonical_non_hole_nan();
3332 __ movdbl(value, Operand::StaticVariable(canonical_nan_reference));
3333 __ bind(&have_value);
3334
3335 Operand double_store_operand = BuildFastArrayOperand(
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003336 instr->elements(), instr->key(), FAST_DOUBLE_ELEMENTS,
rossberg@chromium.org717967f2011-07-20 13:44:42 +00003337 FixedDoubleArray::kHeaderSize - kHeapObjectTag);
3338 __ movdbl(double_store_operand, value);
3339}
3340
3341
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003342void LCodeGen::DoStoreKeyedGeneric(LStoreKeyedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003343 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003344 ASSERT(ToRegister(instr->object()).is(edx));
3345 ASSERT(ToRegister(instr->key()).is(ecx));
3346 ASSERT(ToRegister(instr->value()).is(eax));
3347
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003348 Handle<Code> ic = instr->strict_mode()
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003349 ? isolate()->builtins()->KeyedStoreIC_Initialize_Strict()
3350 : isolate()->builtins()->KeyedStoreIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003351 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003352}
3353
3354
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00003355void LCodeGen::DoTransitionElementsKind(LTransitionElementsKind* instr) {
3356 Register object_reg = ToRegister(instr->object());
3357 Register new_map_reg = ToRegister(instr->new_map_reg());
3358
3359 Handle<Map> from_map = instr->original_map();
3360 Handle<Map> to_map = instr->transitioned_map();
3361 ElementsKind from_kind = from_map->elements_kind();
3362 ElementsKind to_kind = to_map->elements_kind();
3363
3364 Label not_applicable;
3365 __ cmp(FieldOperand(object_reg, HeapObject::kMapOffset), from_map);
3366 __ j(not_equal, &not_applicable);
3367 __ mov(new_map_reg, to_map);
3368 if (from_kind == FAST_SMI_ONLY_ELEMENTS && to_kind == FAST_ELEMENTS) {
3369 Register object_reg = ToRegister(instr->object());
3370 __ mov(FieldOperand(object_reg, HeapObject::kMapOffset), new_map_reg);
3371 // Write barrier.
3372 ASSERT_NE(instr->temp_reg(), NULL);
3373 __ RecordWriteField(object_reg, HeapObject::kMapOffset, new_map_reg,
3374 ToRegister(instr->temp_reg()), kDontSaveFPRegs);
3375 } else if (from_kind == FAST_SMI_ONLY_ELEMENTS &&
3376 to_kind == FAST_DOUBLE_ELEMENTS) {
3377 Register fixed_object_reg = ToRegister(instr->temp_reg());
3378 ASSERT(fixed_object_reg.is(edx));
3379 ASSERT(new_map_reg.is(ebx));
3380 __ mov(fixed_object_reg, object_reg);
3381 CallCode(isolate()->builtins()->TransitionElementsSmiToDouble(),
3382 RelocInfo::CODE_TARGET, instr);
3383 } else if (from_kind == FAST_DOUBLE_ELEMENTS && to_kind == FAST_ELEMENTS) {
3384 Register fixed_object_reg = ToRegister(instr->temp_reg());
3385 ASSERT(fixed_object_reg.is(edx));
3386 ASSERT(new_map_reg.is(ebx));
3387 __ mov(fixed_object_reg, object_reg);
3388 CallCode(isolate()->builtins()->TransitionElementsDoubleToObject(),
3389 RelocInfo::CODE_TARGET, instr);
3390 } else {
3391 UNREACHABLE();
3392 }
3393 __ bind(&not_applicable);
3394}
3395
3396
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003397void LCodeGen::DoStringCharCodeAt(LStringCharCodeAt* instr) {
3398 class DeferredStringCharCodeAt: public LDeferredCode {
3399 public:
3400 DeferredStringCharCodeAt(LCodeGen* codegen, LStringCharCodeAt* instr)
3401 : LDeferredCode(codegen), instr_(instr) { }
3402 virtual void Generate() { codegen()->DoDeferredStringCharCodeAt(instr_); }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003403 virtual LInstruction* instr() { return instr_; }
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003404 private:
3405 LStringCharCodeAt* instr_;
3406 };
3407
3408 Register string = ToRegister(instr->string());
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003409 Register index = ToRegister(instr->index());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003410 Register result = ToRegister(instr->result());
3411
3412 DeferredStringCharCodeAt* deferred =
3413 new DeferredStringCharCodeAt(this, instr);
3414
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003415 // Fetch the instance type of the receiver into result register.
3416 __ mov(result, FieldOperand(string, HeapObject::kMapOffset));
3417 __ movzx_b(result, FieldOperand(result, Map::kInstanceTypeOffset));
3418
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003419 // We need special handling for indirect strings.
3420 Label check_sequential;
3421 __ test(result, Immediate(kIsIndirectStringMask));
3422 __ j(zero, &check_sequential, Label::kNear);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003423
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003424 // Dispatch on the indirect string shape: slice or cons.
3425 Label cons_string;
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003426 __ test(result, Immediate(kSlicedNotConsMask));
3427 __ j(zero, &cons_string, Label::kNear);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003428
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003429 // Handle slices.
3430 Label indirect_string_loaded;
3431 __ mov(result, FieldOperand(string, SlicedString::kOffsetOffset));
3432 __ SmiUntag(result);
3433 __ add(index, Operand(result));
3434 __ mov(string, FieldOperand(string, SlicedString::kParentOffset));
3435 __ jmp(&indirect_string_loaded, Label::kNear);
3436
3437 // Handle conses.
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003438 // Check whether the right hand side is the empty string (i.e. if
3439 // this is really a flat string in a cons string). If that is not
3440 // the case we would rather go to the runtime system now to flatten
3441 // the string.
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003442 __ bind(&cons_string);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003443 __ cmp(FieldOperand(string, ConsString::kSecondOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003444 Immediate(factory()->empty_string()));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003445 __ j(not_equal, deferred->entry());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003446 __ mov(string, FieldOperand(string, ConsString::kFirstOffset));
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003447
3448 __ bind(&indirect_string_loaded);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003449 __ mov(result, FieldOperand(string, HeapObject::kMapOffset));
3450 __ movzx_b(result, FieldOperand(result, Map::kInstanceTypeOffset));
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003451
3452 // Check whether the string is sequential. The only non-sequential
3453 // shapes we support have just been unwrapped above.
danno@chromium.orgc612e022011-11-10 11:38:15 +00003454 // Note that if the original string is a cons or slice with an external
3455 // string as underlying string, we pass that unpacked underlying string with
3456 // the adjusted index to the runtime function.
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003457 __ bind(&check_sequential);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003458 STATIC_ASSERT(kSeqStringTag == 0);
3459 __ test(result, Immediate(kStringRepresentationMask));
3460 __ j(not_zero, deferred->entry());
3461
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003462 // Dispatch on the encoding: ASCII or two-byte.
3463 Label ascii_string;
fschneider@chromium.org1805e212011-09-05 10:49:12 +00003464 STATIC_ASSERT((kStringEncodingMask & kAsciiStringTag) != 0);
3465 STATIC_ASSERT((kStringEncodingMask & kTwoByteStringTag) == 0);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003466 __ test(result, Immediate(kStringEncodingMask));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003467 __ j(not_zero, &ascii_string, Label::kNear);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003468
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003469 // Two-byte string.
3470 // Load the two-byte character code into the result register.
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003471 Label done;
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003472 STATIC_ASSERT(kSmiTag == 0 && kSmiTagSize == 1);
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003473 __ movzx_w(result, FieldOperand(string,
3474 index,
3475 times_2,
3476 SeqTwoByteString::kHeaderSize));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003477 __ jmp(&done, Label::kNear);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003478
3479 // ASCII string.
3480 // Load the byte into the result register.
3481 __ bind(&ascii_string);
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003482 __ movzx_b(result, FieldOperand(string,
3483 index,
3484 times_1,
3485 SeqAsciiString::kHeaderSize));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003486 __ bind(&done);
3487 __ bind(deferred->exit());
3488}
3489
3490
3491void LCodeGen::DoDeferredStringCharCodeAt(LStringCharCodeAt* instr) {
3492 Register string = ToRegister(instr->string());
3493 Register result = ToRegister(instr->result());
3494
3495 // TODO(3095996): Get rid of this. For now, we need to make the
3496 // result register contain a valid pointer because it is already
3497 // contained in the register pointer map.
3498 __ Set(result, Immediate(0));
3499
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003500 PushSafepointRegistersScope scope(this);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003501 __ push(string);
3502 // Push the index as a smi. This is safe because of the checks in
3503 // DoStringCharCodeAt above.
3504 STATIC_ASSERT(String::kMaxLength <= Smi::kMaxValue);
3505 if (instr->index()->IsConstantOperand()) {
3506 int const_index = ToInteger32(LConstantOperand::cast(instr->index()));
3507 __ push(Immediate(Smi::FromInt(const_index)));
3508 } else {
3509 Register index = ToRegister(instr->index());
3510 __ SmiTag(index);
3511 __ push(index);
3512 }
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003513 CallRuntimeFromDeferred(Runtime::kStringCharCodeAt, 2,
3514 instr, instr->context());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003515 if (FLAG_debug_code) {
3516 __ AbortIfNotSmi(eax);
3517 }
3518 __ SmiUntag(eax);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003519 __ StoreToSafepointRegisterSlot(result, eax);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003520}
3521
3522
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003523void LCodeGen::DoStringCharFromCode(LStringCharFromCode* instr) {
3524 class DeferredStringCharFromCode: public LDeferredCode {
3525 public:
3526 DeferredStringCharFromCode(LCodeGen* codegen, LStringCharFromCode* instr)
3527 : LDeferredCode(codegen), instr_(instr) { }
3528 virtual void Generate() { codegen()->DoDeferredStringCharFromCode(instr_); }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003529 virtual LInstruction* instr() { return instr_; }
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003530 private:
3531 LStringCharFromCode* instr_;
3532 };
3533
3534 DeferredStringCharFromCode* deferred =
3535 new DeferredStringCharFromCode(this, instr);
3536
3537 ASSERT(instr->hydrogen()->value()->representation().IsInteger32());
3538 Register char_code = ToRegister(instr->char_code());
3539 Register result = ToRegister(instr->result());
3540 ASSERT(!char_code.is(result));
3541
3542 __ cmp(char_code, String::kMaxAsciiCharCode);
3543 __ j(above, deferred->entry());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003544 __ Set(result, Immediate(factory()->single_character_string_cache()));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003545 __ mov(result, FieldOperand(result,
3546 char_code, times_pointer_size,
3547 FixedArray::kHeaderSize));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003548 __ cmp(result, factory()->undefined_value());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003549 __ j(equal, deferred->entry());
3550 __ bind(deferred->exit());
3551}
3552
3553
3554void LCodeGen::DoDeferredStringCharFromCode(LStringCharFromCode* instr) {
3555 Register char_code = ToRegister(instr->char_code());
3556 Register result = ToRegister(instr->result());
3557
3558 // TODO(3095996): Get rid of this. For now, we need to make the
3559 // result register contain a valid pointer because it is already
3560 // contained in the register pointer map.
3561 __ Set(result, Immediate(0));
3562
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003563 PushSafepointRegistersScope scope(this);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003564 __ SmiTag(char_code);
3565 __ push(char_code);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003566 CallRuntimeFromDeferred(Runtime::kCharFromCode, 1, instr, instr->context());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003567 __ StoreToSafepointRegisterSlot(result, eax);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003568}
3569
3570
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003571void LCodeGen::DoStringLength(LStringLength* instr) {
3572 Register string = ToRegister(instr->string());
3573 Register result = ToRegister(instr->result());
3574 __ mov(result, FieldOperand(string, String::kLengthOffset));
3575}
3576
3577
danno@chromium.org160a7b02011-04-18 15:51:38 +00003578void LCodeGen::DoStringAdd(LStringAdd* instr) {
3579 if (instr->left()->IsConstantOperand()) {
3580 __ push(ToImmediate(instr->left()));
3581 } else {
3582 __ push(ToOperand(instr->left()));
3583 }
3584 if (instr->right()->IsConstantOperand()) {
3585 __ push(ToImmediate(instr->right()));
3586 } else {
3587 __ push(ToOperand(instr->right()));
3588 }
3589 StringAddStub stub(NO_STRING_CHECK_IN_STUB);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003590 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
danno@chromium.org160a7b02011-04-18 15:51:38 +00003591}
3592
3593
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003594void LCodeGen::DoInteger32ToDouble(LInteger32ToDouble* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003595 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003596 ASSERT(input->IsRegister() || input->IsStackSlot());
3597 LOperand* output = instr->result();
3598 ASSERT(output->IsDoubleRegister());
3599 __ cvtsi2sd(ToDoubleRegister(output), ToOperand(input));
3600}
3601
3602
3603void LCodeGen::DoNumberTagI(LNumberTagI* instr) {
3604 class DeferredNumberTagI: public LDeferredCode {
3605 public:
3606 DeferredNumberTagI(LCodeGen* codegen, LNumberTagI* instr)
3607 : LDeferredCode(codegen), instr_(instr) { }
3608 virtual void Generate() { codegen()->DoDeferredNumberTagI(instr_); }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003609 virtual LInstruction* instr() { return instr_; }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003610 private:
3611 LNumberTagI* instr_;
3612 };
3613
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003614 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003615 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3616 Register reg = ToRegister(input);
3617
3618 DeferredNumberTagI* deferred = new DeferredNumberTagI(this, instr);
3619 __ SmiTag(reg);
3620 __ j(overflow, deferred->entry());
3621 __ bind(deferred->exit());
3622}
3623
3624
3625void LCodeGen::DoDeferredNumberTagI(LNumberTagI* instr) {
3626 Label slow;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003627 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003628 Register tmp = reg.is(eax) ? ecx : eax;
3629
3630 // Preserve the value of all registers.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003631 PushSafepointRegistersScope scope(this);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003632
3633 // There was overflow, so bits 30 and 31 of the original integer
3634 // disagree. Try to allocate a heap number in new space and store
3635 // the value in there. If that fails, call the runtime system.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003636 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003637 __ SmiUntag(reg);
3638 __ xor_(reg, 0x80000000);
3639 __ cvtsi2sd(xmm0, Operand(reg));
3640 if (FLAG_inline_new) {
3641 __ AllocateHeapNumber(reg, tmp, no_reg, &slow);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003642 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003643 }
3644
3645 // Slow case: Call the runtime system to do the number allocation.
3646 __ bind(&slow);
3647
3648 // TODO(3095996): Put a valid pointer value in the stack slot where the result
3649 // register is stored, as this register is in the pointer map, but contains an
3650 // integer value.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003651 __ StoreToSafepointRegisterSlot(reg, Immediate(0));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003652 // NumberTagI and NumberTagD use the context from the frame, rather than
3653 // the environment's HContext or HInlinedContext value.
3654 // They only call Runtime::kAllocateHeapNumber.
3655 // The corresponding HChange instructions are added in a phase that does
3656 // not have easy access to the local context.
3657 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
3658 __ CallRuntimeSaveDoubles(Runtime::kAllocateHeapNumber);
3659 RecordSafepointWithRegisters(
3660 instr->pointer_map(), 0, Safepoint::kNoDeoptimizationIndex);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003661 if (!reg.is(eax)) __ mov(reg, eax);
3662
3663 // Done. Put the value in xmm0 into the value of the allocated heap
3664 // number.
3665 __ bind(&done);
3666 __ movdbl(FieldOperand(reg, HeapNumber::kValueOffset), xmm0);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003667 __ StoreToSafepointRegisterSlot(reg, reg);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003668}
3669
3670
3671void LCodeGen::DoNumberTagD(LNumberTagD* instr) {
3672 class DeferredNumberTagD: public LDeferredCode {
3673 public:
3674 DeferredNumberTagD(LCodeGen* codegen, LNumberTagD* instr)
3675 : LDeferredCode(codegen), instr_(instr) { }
3676 virtual void Generate() { codegen()->DoDeferredNumberTagD(instr_); }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003677 virtual LInstruction* instr() { return instr_; }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003678 private:
3679 LNumberTagD* instr_;
3680 };
3681
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003682 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003683 Register reg = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003684 Register tmp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003685
3686 DeferredNumberTagD* deferred = new DeferredNumberTagD(this, instr);
3687 if (FLAG_inline_new) {
3688 __ AllocateHeapNumber(reg, tmp, no_reg, deferred->entry());
3689 } else {
3690 __ jmp(deferred->entry());
3691 }
3692 __ bind(deferred->exit());
3693 __ movdbl(FieldOperand(reg, HeapNumber::kValueOffset), input_reg);
3694}
3695
3696
3697void LCodeGen::DoDeferredNumberTagD(LNumberTagD* instr) {
3698 // TODO(3095996): Get rid of this. For now, we need to make the
3699 // result register contain a valid pointer because it is already
3700 // contained in the register pointer map.
3701 Register reg = ToRegister(instr->result());
3702 __ Set(reg, Immediate(0));
3703
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003704 PushSafepointRegistersScope scope(this);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003705 // NumberTagI and NumberTagD use the context from the frame, rather than
3706 // the environment's HContext or HInlinedContext value.
3707 // They only call Runtime::kAllocateHeapNumber.
3708 // The corresponding HChange instructions are added in a phase that does
3709 // not have easy access to the local context.
3710 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
3711 __ CallRuntimeSaveDoubles(Runtime::kAllocateHeapNumber);
3712 RecordSafepointWithRegisters(instr->pointer_map(), 0,
3713 Safepoint::kNoDeoptimizationIndex);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003714 __ StoreToSafepointRegisterSlot(reg, eax);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003715}
3716
3717
3718void LCodeGen::DoSmiTag(LSmiTag* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003719 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003720 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3721 ASSERT(!instr->hydrogen_value()->CheckFlag(HValue::kCanOverflow));
3722 __ SmiTag(ToRegister(input));
3723}
3724
3725
3726void LCodeGen::DoSmiUntag(LSmiUntag* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003727 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003728 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3729 if (instr->needs_check()) {
3730 __ test(ToRegister(input), Immediate(kSmiTagMask));
3731 DeoptimizeIf(not_zero, instr->environment());
3732 }
3733 __ SmiUntag(ToRegister(input));
3734}
3735
3736
3737void LCodeGen::EmitNumberUntagD(Register input_reg,
3738 XMMRegister result_reg,
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003739 bool deoptimize_on_undefined,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003740 LEnvironment* env) {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003741 Label load_smi, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003742
3743 // Smi check.
whesse@chromium.org7b260152011-06-20 15:33:18 +00003744 __ JumpIfSmi(input_reg, &load_smi, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003745
3746 // Heap number map check.
3747 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003748 factory()->heap_number_map());
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003749 if (deoptimize_on_undefined) {
3750 DeoptimizeIf(not_equal, env);
3751 } else {
3752 Label heap_number;
3753 __ j(equal, &heap_number, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003754
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003755 __ cmp(input_reg, factory()->undefined_value());
3756 DeoptimizeIf(not_equal, env);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003757
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003758 // Convert undefined to NaN.
svenpanne@chromium.org84bcc552011-07-18 09:50:57 +00003759 ExternalReference nan =
3760 ExternalReference::address_of_canonical_non_hole_nan();
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003761 __ movdbl(result_reg, Operand::StaticVariable(nan));
3762 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003763
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003764 __ bind(&heap_number);
3765 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003766 // Heap number to XMM conversion.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003767 __ movdbl(result_reg, FieldOperand(input_reg, HeapNumber::kValueOffset));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003768 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003769
3770 // Smi to XMM conversion
3771 __ bind(&load_smi);
3772 __ SmiUntag(input_reg); // Untag smi before converting to float.
3773 __ cvtsi2sd(result_reg, Operand(input_reg));
3774 __ SmiTag(input_reg); // Retag smi.
3775 __ bind(&done);
3776}
3777
3778
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003779void LCodeGen::DoDeferredTaggedToI(LTaggedToI* instr) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003780 Label done, heap_number;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003781 Register input_reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003782
3783 // Heap number map check.
3784 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003785 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003786
3787 if (instr->truncating()) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003788 __ j(equal, &heap_number, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003789 // Check for undefined. Undefined is converted to zero for truncating
3790 // conversions.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003791 __ cmp(input_reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003792 DeoptimizeIf(not_equal, instr->environment());
3793 __ mov(input_reg, 0);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003794 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003795
3796 __ bind(&heap_number);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00003797 if (CpuFeatures::IsSupported(SSE3)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003798 CpuFeatures::Scope scope(SSE3);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003799 Label convert;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003800 // Use more powerful conversion when sse3 is available.
3801 // Load x87 register with heap number.
3802 __ fld_d(FieldOperand(input_reg, HeapNumber::kValueOffset));
3803 // Get exponent alone and check for too-big exponent.
3804 __ mov(input_reg, FieldOperand(input_reg, HeapNumber::kExponentOffset));
3805 __ and_(input_reg, HeapNumber::kExponentMask);
3806 const uint32_t kTooBigExponent =
3807 (HeapNumber::kExponentBias + 63) << HeapNumber::kExponentShift;
3808 __ cmp(Operand(input_reg), Immediate(kTooBigExponent));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003809 __ j(less, &convert, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003810 // Pop FPU stack before deoptimizing.
3811 __ ffree(0);
3812 __ fincstp();
3813 DeoptimizeIf(no_condition, instr->environment());
3814
3815 // Reserve space for 64 bit answer.
3816 __ bind(&convert);
3817 __ sub(Operand(esp), Immediate(kDoubleSize));
3818 // Do conversion, which cannot fail because we checked the exponent.
3819 __ fisttp_d(Operand(esp, 0));
3820 __ mov(input_reg, Operand(esp, 0)); // Low word of answer is the result.
3821 __ add(Operand(esp), Immediate(kDoubleSize));
3822 } else {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003823 XMMRegister xmm_temp = ToDoubleRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003824 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3825 __ cvttsd2si(input_reg, Operand(xmm0));
3826 __ cmp(input_reg, 0x80000000u);
3827 __ j(not_equal, &done);
3828 // Check if the input was 0x8000000 (kMinInt).
3829 // If no, then we got an overflow and we deoptimize.
3830 ExternalReference min_int = ExternalReference::address_of_min_int();
3831 __ movdbl(xmm_temp, Operand::StaticVariable(min_int));
3832 __ ucomisd(xmm_temp, xmm0);
3833 DeoptimizeIf(not_equal, instr->environment());
3834 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3835 }
3836 } else {
3837 // Deoptimize if we don't have a heap number.
3838 DeoptimizeIf(not_equal, instr->environment());
3839
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003840 XMMRegister xmm_temp = ToDoubleRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003841 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3842 __ cvttsd2si(input_reg, Operand(xmm0));
3843 __ cvtsi2sd(xmm_temp, Operand(input_reg));
3844 __ ucomisd(xmm0, xmm_temp);
3845 DeoptimizeIf(not_equal, instr->environment());
3846 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3847 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
3848 __ test(input_reg, Operand(input_reg));
3849 __ j(not_zero, &done);
3850 __ movmskpd(input_reg, xmm0);
3851 __ and_(input_reg, 1);
3852 DeoptimizeIf(not_zero, instr->environment());
3853 }
3854 }
3855 __ bind(&done);
3856}
3857
3858
3859void LCodeGen::DoTaggedToI(LTaggedToI* instr) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00003860 class DeferredTaggedToI: public LDeferredCode {
3861 public:
3862 DeferredTaggedToI(LCodeGen* codegen, LTaggedToI* instr)
3863 : LDeferredCode(codegen), instr_(instr) { }
3864 virtual void Generate() { codegen()->DoDeferredTaggedToI(instr_); }
3865 virtual LInstruction* instr() { return instr_; }
3866 private:
3867 LTaggedToI* instr_;
3868 };
3869
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003870 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003871 ASSERT(input->IsRegister());
3872 ASSERT(input->Equals(instr->result()));
3873
3874 Register input_reg = ToRegister(input);
3875
3876 DeferredTaggedToI* deferred = new DeferredTaggedToI(this, instr);
3877
3878 // Smi check.
whesse@chromium.org7b260152011-06-20 15:33:18 +00003879 __ JumpIfNotSmi(input_reg, deferred->entry());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003880
3881 // Smi to int32 conversion
3882 __ SmiUntag(input_reg); // Untag smi.
3883
3884 __ bind(deferred->exit());
3885}
3886
3887
3888void LCodeGen::DoNumberUntagD(LNumberUntagD* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003889 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003890 ASSERT(input->IsRegister());
3891 LOperand* result = instr->result();
3892 ASSERT(result->IsDoubleRegister());
3893
3894 Register input_reg = ToRegister(input);
3895 XMMRegister result_reg = ToDoubleRegister(result);
3896
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003897 EmitNumberUntagD(input_reg, result_reg,
3898 instr->hydrogen()->deoptimize_on_undefined(),
3899 instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003900}
3901
3902
3903void LCodeGen::DoDoubleToI(LDoubleToI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003904 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003905 ASSERT(input->IsDoubleRegister());
3906 LOperand* result = instr->result();
3907 ASSERT(result->IsRegister());
3908
3909 XMMRegister input_reg = ToDoubleRegister(input);
3910 Register result_reg = ToRegister(result);
3911
3912 if (instr->truncating()) {
3913 // Performs a truncating conversion of a floating point number as used by
3914 // the JS bitwise operations.
3915 __ cvttsd2si(result_reg, Operand(input_reg));
3916 __ cmp(result_reg, 0x80000000u);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00003917 if (CpuFeatures::IsSupported(SSE3)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003918 // This will deoptimize if the exponent of the input in out of range.
3919 CpuFeatures::Scope scope(SSE3);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003920 Label convert, done;
3921 __ j(not_equal, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003922 __ sub(Operand(esp), Immediate(kDoubleSize));
3923 __ movdbl(Operand(esp, 0), input_reg);
3924 // Get exponent alone and check for too-big exponent.
3925 __ mov(result_reg, Operand(esp, sizeof(int32_t)));
3926 __ and_(result_reg, HeapNumber::kExponentMask);
3927 const uint32_t kTooBigExponent =
3928 (HeapNumber::kExponentBias + 63) << HeapNumber::kExponentShift;
3929 __ cmp(Operand(result_reg), Immediate(kTooBigExponent));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003930 __ j(less, &convert, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003931 __ add(Operand(esp), Immediate(kDoubleSize));
3932 DeoptimizeIf(no_condition, instr->environment());
3933 __ bind(&convert);
3934 // Do conversion, which cannot fail because we checked the exponent.
3935 __ fld_d(Operand(esp, 0));
3936 __ fisttp_d(Operand(esp, 0));
3937 __ mov(result_reg, Operand(esp, 0)); // Low word of answer is the result.
3938 __ add(Operand(esp), Immediate(kDoubleSize));
3939 __ bind(&done);
3940 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003941 Label done;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003942 Register temp_reg = ToRegister(instr->TempAt(0));
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003943 XMMRegister xmm_scratch = xmm0;
3944
3945 // If cvttsd2si succeeded, we're done. Otherwise, we attempt
3946 // manual conversion.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003947 __ j(not_equal, &done, Label::kNear);
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003948
3949 // Get high 32 bits of the input in result_reg and temp_reg.
3950 __ pshufd(xmm_scratch, input_reg, 1);
3951 __ movd(Operand(temp_reg), xmm_scratch);
3952 __ mov(result_reg, temp_reg);
3953
3954 // Prepare negation mask in temp_reg.
3955 __ sar(temp_reg, kBitsPerInt - 1);
3956
3957 // Extract the exponent from result_reg and subtract adjusted
3958 // bias from it. The adjustment is selected in a way such that
3959 // when the difference is zero, the answer is in the low 32 bits
3960 // of the input, otherwise a shift has to be performed.
3961 __ shr(result_reg, HeapNumber::kExponentShift);
3962 __ and_(result_reg,
3963 HeapNumber::kExponentMask >> HeapNumber::kExponentShift);
3964 __ sub(Operand(result_reg),
3965 Immediate(HeapNumber::kExponentBias +
3966 HeapNumber::kExponentBits +
3967 HeapNumber::kMantissaBits));
3968 // Don't handle big (> kMantissaBits + kExponentBits == 63) or
3969 // special exponents.
3970 DeoptimizeIf(greater, instr->environment());
3971
3972 // Zero out the sign and the exponent in the input (by shifting
3973 // it to the left) and restore the implicit mantissa bit,
3974 // i.e. convert the input to unsigned int64 shifted left by
3975 // kExponentBits.
3976 ExternalReference minus_zero = ExternalReference::address_of_minus_zero();
3977 // Minus zero has the most significant bit set and the other
3978 // bits cleared.
3979 __ movdbl(xmm_scratch, Operand::StaticVariable(minus_zero));
3980 __ psllq(input_reg, HeapNumber::kExponentBits);
3981 __ por(input_reg, xmm_scratch);
3982
3983 // Get the amount to shift the input right in xmm_scratch.
3984 __ neg(result_reg);
3985 __ movd(xmm_scratch, Operand(result_reg));
3986
3987 // Shift the input right and extract low 32 bits.
3988 __ psrlq(input_reg, xmm_scratch);
3989 __ movd(Operand(result_reg), input_reg);
3990
3991 // Use the prepared mask in temp_reg to negate the result if necessary.
3992 __ xor_(result_reg, Operand(temp_reg));
3993 __ sub(result_reg, Operand(temp_reg));
3994 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003995 }
3996 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003997 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003998 __ cvttsd2si(result_reg, Operand(input_reg));
3999 __ cvtsi2sd(xmm0, Operand(result_reg));
4000 __ ucomisd(xmm0, input_reg);
4001 DeoptimizeIf(not_equal, instr->environment());
4002 DeoptimizeIf(parity_even, instr->environment()); // NaN.
4003 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
4004 // The integer converted back is equal to the original. We
4005 // only have to test if we got -0 as an input.
4006 __ test(result_reg, Operand(result_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004007 __ j(not_zero, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004008 __ movmskpd(result_reg, input_reg);
4009 // Bit 0 contains the sign of the double in input_reg.
4010 // If input was positive, we are ok and return 0, otherwise
4011 // deoptimize.
4012 __ and_(result_reg, 1);
4013 DeoptimizeIf(not_zero, instr->environment());
4014 }
4015 __ bind(&done);
4016 }
4017}
4018
4019
4020void LCodeGen::DoCheckSmi(LCheckSmi* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004021 LOperand* input = instr->InputAt(0);
ricow@chromium.org4f693d62011-07-04 14:01:31 +00004022 __ test(ToOperand(input), Immediate(kSmiTagMask));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00004023 DeoptimizeIf(not_zero, instr->environment());
4024}
4025
4026
4027void LCodeGen::DoCheckNonSmi(LCheckNonSmi* instr) {
4028 LOperand* input = instr->InputAt(0);
ricow@chromium.org4f693d62011-07-04 14:01:31 +00004029 __ test(ToOperand(input), Immediate(kSmiTagMask));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00004030 DeoptimizeIf(zero, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004031}
4032
4033
4034void LCodeGen::DoCheckInstanceType(LCheckInstanceType* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004035 Register input = ToRegister(instr->InputAt(0));
4036 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004037
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004038 __ mov(temp, FieldOperand(input, HeapObject::kMapOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004039
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004040 if (instr->hydrogen()->is_interval_check()) {
4041 InstanceType first;
4042 InstanceType last;
4043 instr->hydrogen()->GetCheckInterval(&first, &last);
4044
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00004045 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
4046 static_cast<int8_t>(first));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004047
4048 // If there is only one type in the interval check for equality.
4049 if (first == last) {
4050 DeoptimizeIf(not_equal, instr->environment());
4051 } else {
4052 DeoptimizeIf(below, instr->environment());
4053 // Omit check for the last type.
4054 if (last != LAST_TYPE) {
4055 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
4056 static_cast<int8_t>(last));
4057 DeoptimizeIf(above, instr->environment());
4058 }
4059 }
4060 } else {
4061 uint8_t mask;
4062 uint8_t tag;
4063 instr->hydrogen()->GetCheckMaskAndTag(&mask, &tag);
4064
4065 if (IsPowerOf2(mask)) {
4066 ASSERT(tag == 0 || IsPowerOf2(tag));
4067 __ test_b(FieldOperand(temp, Map::kInstanceTypeOffset), mask);
4068 DeoptimizeIf(tag == 0 ? not_zero : zero, instr->environment());
4069 } else {
4070 __ movzx_b(temp, FieldOperand(temp, Map::kInstanceTypeOffset));
4071 __ and_(temp, mask);
4072 __ cmpb(Operand(temp), tag);
4073 DeoptimizeIf(not_equal, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004074 }
4075 }
4076}
4077
4078
4079void LCodeGen::DoCheckFunction(LCheckFunction* instr) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00004080 Handle<JSFunction> target = instr->hydrogen()->target();
4081 if (isolate()->heap()->InNewSpace(*target)) {
4082 Register reg = ToRegister(instr->value());
4083 Handle<JSGlobalPropertyCell> cell =
4084 isolate()->factory()->NewJSGlobalPropertyCell(target);
4085 __ cmp(reg, Operand::Cell(cell));
4086 } else {
4087 Operand operand = ToOperand(instr->value());
4088 __ cmp(operand, instr->hydrogen()->target());
4089 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004090 DeoptimizeIf(not_equal, instr->environment());
4091}
4092
4093
4094void LCodeGen::DoCheckMap(LCheckMap* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004095 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004096 ASSERT(input->IsRegister());
4097 Register reg = ToRegister(input);
4098 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
4099 instr->hydrogen()->map());
4100 DeoptimizeIf(not_equal, instr->environment());
4101}
4102
4103
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +00004104void LCodeGen::DoClampDToUint8(LClampDToUint8* instr) {
4105 XMMRegister value_reg = ToDoubleRegister(instr->unclamped());
4106 Register result_reg = ToRegister(instr->result());
4107 __ ClampDoubleToUint8(value_reg, xmm0, result_reg);
4108}
4109
4110
4111void LCodeGen::DoClampIToUint8(LClampIToUint8* instr) {
4112 ASSERT(instr->unclamped()->Equals(instr->result()));
4113 Register value_reg = ToRegister(instr->result());
4114 __ ClampUint8(value_reg);
4115}
4116
4117
4118void LCodeGen::DoClampTToUint8(LClampTToUint8* instr) {
4119 ASSERT(instr->unclamped()->Equals(instr->result()));
4120 Register input_reg = ToRegister(instr->unclamped());
4121 Label is_smi, done, heap_number;
4122
4123 __ JumpIfSmi(input_reg, &is_smi);
4124
4125 // Check for heap number
4126 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
4127 factory()->heap_number_map());
4128 __ j(equal, &heap_number, Label::kNear);
4129
4130 // Check for undefined. Undefined is converted to zero for clamping
4131 // conversions.
4132 __ cmp(input_reg, factory()->undefined_value());
4133 DeoptimizeIf(not_equal, instr->environment());
4134 __ mov(input_reg, 0);
4135 __ jmp(&done, Label::kNear);
4136
4137 // Heap number
4138 __ bind(&heap_number);
4139 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
4140 __ ClampDoubleToUint8(xmm0, xmm1, input_reg);
4141 __ jmp(&done, Label::kNear);
4142
4143 // smi
4144 __ bind(&is_smi);
4145 __ SmiUntag(input_reg);
4146 __ ClampUint8(input_reg);
4147
4148 __ bind(&done);
4149}
4150
4151
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00004152void LCodeGen::LoadHeapObject(Register result, Handle<HeapObject> object) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004153 if (isolate()->heap()->InNewSpace(*object)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004154 Handle<JSGlobalPropertyCell> cell =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004155 isolate()->factory()->NewJSGlobalPropertyCell(object);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004156 __ mov(result, Operand::Cell(cell));
4157 } else {
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00004158 __ mov(result, object);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004159 }
4160}
4161
4162
4163void LCodeGen::DoCheckPrototypeMaps(LCheckPrototypeMaps* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004164 Register reg = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004165
4166 Handle<JSObject> holder = instr->holder();
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00004167 Handle<JSObject> current_prototype = instr->prototype();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004168
4169 // Load prototype object.
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00004170 LoadHeapObject(reg, current_prototype);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004171
4172 // Check prototype maps up to the holder.
4173 while (!current_prototype.is_identical_to(holder)) {
4174 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
4175 Handle<Map>(current_prototype->map()));
4176 DeoptimizeIf(not_equal, instr->environment());
4177 current_prototype =
4178 Handle<JSObject>(JSObject::cast(current_prototype->GetPrototype()));
4179 // Load next prototype object.
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00004180 LoadHeapObject(reg, current_prototype);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004181 }
4182
4183 // Check the holder map.
4184 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
4185 Handle<Map>(current_prototype->map()));
4186 DeoptimizeIf(not_equal, instr->environment());
4187}
4188
4189
4190void LCodeGen::DoArrayLiteral(LArrayLiteral* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004191 ASSERT(ToRegister(instr->context()).is(esi));
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00004192
4193 Handle<FixedArray> constant_elements = instr->hydrogen()->constant_elements();
4194 ASSERT_EQ(2, constant_elements->length());
4195 ElementsKind constant_elements_kind =
4196 static_cast<ElementsKind>(Smi::cast(constant_elements->get(0))->value());
4197
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004198 // Setup the parameters to the stub/runtime call.
4199 __ mov(eax, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
4200 __ push(FieldOperand(eax, JSFunction::kLiteralsOffset));
4201 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00004202 __ push(Immediate(constant_elements));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004203
4204 // Pick the right runtime function or stub to call.
4205 int length = instr->hydrogen()->length();
4206 if (instr->hydrogen()->IsCopyOnWrite()) {
4207 ASSERT(instr->hydrogen()->depth() == 1);
4208 FastCloneShallowArrayStub::Mode mode =
4209 FastCloneShallowArrayStub::COPY_ON_WRITE_ELEMENTS;
4210 FastCloneShallowArrayStub stub(mode, length);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004211 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004212 } else if (instr->hydrogen()->depth() > 1) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004213 CallRuntime(Runtime::kCreateArrayLiteral, 3, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004214 } else if (length > FastCloneShallowArrayStub::kMaximumClonedLength) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004215 CallRuntime(Runtime::kCreateArrayLiteralShallow, 3, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004216 } else {
4217 FastCloneShallowArrayStub::Mode mode =
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00004218 constant_elements_kind == FAST_DOUBLE_ELEMENTS
4219 ? FastCloneShallowArrayStub::CLONE_DOUBLE_ELEMENTS
4220 : FastCloneShallowArrayStub::CLONE_ELEMENTS;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004221 FastCloneShallowArrayStub stub(mode, length);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004222 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004223 }
4224}
4225
4226
4227void LCodeGen::DoObjectLiteral(LObjectLiteral* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00004228 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004229 // Setup the parameters to the stub/runtime call.
4230 __ mov(eax, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
4231 __ push(FieldOperand(eax, JSFunction::kLiteralsOffset));
4232 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
4233 __ push(Immediate(instr->hydrogen()->constant_properties()));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004234 int flags = instr->hydrogen()->fast_elements()
4235 ? ObjectLiteral::kFastElements
4236 : ObjectLiteral::kNoFlags;
4237 flags |= instr->hydrogen()->has_function()
4238 ? ObjectLiteral::kHasFunction
4239 : ObjectLiteral::kNoFlags;
4240 __ push(Immediate(Smi::FromInt(flags)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004241
lrn@chromium.org5d00b602011-01-05 09:51:43 +00004242 // Pick the right runtime function to call.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004243 if (instr->hydrogen()->depth() > 1) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004244 CallRuntime(Runtime::kCreateObjectLiteral, 4, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004245 } else {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004246 CallRuntime(Runtime::kCreateObjectLiteralShallow, 4, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004247 }
4248}
4249
4250
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004251void LCodeGen::DoToFastProperties(LToFastProperties* instr) {
4252 ASSERT(ToRegister(instr->InputAt(0)).is(eax));
4253 __ push(eax);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004254 CallRuntime(Runtime::kToFastProperties, 1, instr);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004255}
4256
4257
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004258void LCodeGen::DoRegExpLiteral(LRegExpLiteral* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004259 ASSERT(ToRegister(instr->context()).is(esi));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004260 Label materialized;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004261 // Registers will be used as follows:
4262 // edi = JS function.
4263 // ecx = literals array.
4264 // ebx = regexp literal.
4265 // eax = regexp literal clone.
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004266 // esi = context.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004267 __ mov(edi, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
4268 __ mov(ecx, FieldOperand(edi, JSFunction::kLiteralsOffset));
4269 int literal_offset = FixedArray::kHeaderSize +
4270 instr->hydrogen()->literal_index() * kPointerSize;
4271 __ mov(ebx, FieldOperand(ecx, literal_offset));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004272 __ cmp(ebx, factory()->undefined_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004273 __ j(not_equal, &materialized, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004274
4275 // Create regexp literal using runtime function
4276 // Result will be in eax.
4277 __ push(ecx);
4278 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
4279 __ push(Immediate(instr->hydrogen()->pattern()));
4280 __ push(Immediate(instr->hydrogen()->flags()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004281 CallRuntime(Runtime::kMaterializeRegExpLiteral, 4, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004282 __ mov(ebx, eax);
4283
4284 __ bind(&materialized);
4285 int size = JSRegExp::kSize + JSRegExp::kInObjectFieldCount * kPointerSize;
4286 Label allocated, runtime_allocate;
4287 __ AllocateInNewSpace(size, eax, ecx, edx, &runtime_allocate, TAG_OBJECT);
4288 __ jmp(&allocated);
4289
4290 __ bind(&runtime_allocate);
4291 __ push(ebx);
4292 __ push(Immediate(Smi::FromInt(size)));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004293 CallRuntime(Runtime::kAllocateInNewSpace, 1, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004294 __ pop(ebx);
4295
4296 __ bind(&allocated);
4297 // Copy the content into the newly allocated memory.
4298 // (Unroll copy loop once for better throughput).
4299 for (int i = 0; i < size - kPointerSize; i += 2 * kPointerSize) {
4300 __ mov(edx, FieldOperand(ebx, i));
4301 __ mov(ecx, FieldOperand(ebx, i + kPointerSize));
4302 __ mov(FieldOperand(eax, i), edx);
4303 __ mov(FieldOperand(eax, i + kPointerSize), ecx);
4304 }
4305 if ((size % (2 * kPointerSize)) != 0) {
4306 __ mov(edx, FieldOperand(ebx, size - kPointerSize));
4307 __ mov(FieldOperand(eax, size - kPointerSize), edx);
4308 }
4309}
4310
4311
4312void LCodeGen::DoFunctionLiteral(LFunctionLiteral* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004313 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004314 // Use the fast case closure allocation code that allocates in new
4315 // space for nested functions that don't need literals cloning.
4316 Handle<SharedFunctionInfo> shared_info = instr->shared_info();
ricow@chromium.org83aa5492011-02-07 12:42:56 +00004317 bool pretenure = instr->hydrogen()->pretenure();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004318 if (!pretenure && shared_info->num_literals() == 0) {
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00004319 FastNewClosureStub stub(shared_info->strict_mode_flag());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004320 __ push(Immediate(shared_info));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004321 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004322 } else {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00004323 __ push(Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004324 __ push(Immediate(shared_info));
4325 __ push(Immediate(pretenure
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004326 ? factory()->true_value()
4327 : factory()->false_value()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004328 CallRuntime(Runtime::kNewClosure, 3, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004329 }
4330}
4331
4332
4333void LCodeGen::DoTypeof(LTypeof* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004334 LOperand* input = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004335 if (input->IsConstantOperand()) {
4336 __ push(ToImmediate(input));
4337 } else {
4338 __ push(ToOperand(input));
4339 }
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004340 CallRuntime(Runtime::kTypeof, 1, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004341}
4342
4343
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004344void LCodeGen::DoTypeofIsAndBranch(LTypeofIsAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004345 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004346 int true_block = chunk_->LookupDestination(instr->true_block_id());
4347 int false_block = chunk_->LookupDestination(instr->false_block_id());
4348 Label* true_label = chunk_->GetAssemblyLabel(true_block);
4349 Label* false_label = chunk_->GetAssemblyLabel(false_block);
4350
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +00004351 Condition final_branch_condition =
4352 EmitTypeofIs(true_label, false_label, input, instr->type_literal());
4353 if (final_branch_condition != no_condition) {
4354 EmitBranch(true_block, false_block, final_branch_condition);
4355 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004356}
4357
4358
4359Condition LCodeGen::EmitTypeofIs(Label* true_label,
4360 Label* false_label,
4361 Register input,
4362 Handle<String> type_name) {
4363 Condition final_branch_condition = no_condition;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004364 if (type_name->Equals(heap()->number_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004365 __ JumpIfSmi(input, true_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004366 __ cmp(FieldOperand(input, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004367 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004368 final_branch_condition = equal;
4369
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004370 } else if (type_name->Equals(heap()->string_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004371 __ JumpIfSmi(input, false_label);
4372 __ CmpObjectType(input, FIRST_NONSTRING_TYPE, input);
4373 __ j(above_equal, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004374 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4375 1 << Map::kIsUndetectable);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004376 final_branch_condition = zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004377
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004378 } else if (type_name->Equals(heap()->boolean_symbol())) {
4379 __ cmp(input, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004380 __ j(equal, true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004381 __ cmp(input, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004382 final_branch_condition = equal;
4383
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00004384 } else if (FLAG_harmony_typeof && type_name->Equals(heap()->null_symbol())) {
4385 __ cmp(input, factory()->null_value());
4386 final_branch_condition = equal;
4387
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004388 } else if (type_name->Equals(heap()->undefined_symbol())) {
4389 __ cmp(input, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004390 __ j(equal, true_label);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004391 __ JumpIfSmi(input, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004392 // Check for undetectable objects => true.
4393 __ mov(input, FieldOperand(input, HeapObject::kMapOffset));
4394 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4395 1 << Map::kIsUndetectable);
4396 final_branch_condition = not_zero;
4397
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004398 } else if (type_name->Equals(heap()->function_symbol())) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00004399 STATIC_ASSERT(NUM_OF_CALLABLE_SPEC_OBJECT_TYPES == 2);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004400 __ JumpIfSmi(input, false_label);
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00004401 __ CmpObjectType(input, JS_FUNCTION_TYPE, input);
4402 __ j(equal, true_label);
4403 __ CmpInstanceType(input, JS_FUNCTION_PROXY_TYPE);
4404 final_branch_condition = equal;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004405
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004406 } else if (type_name->Equals(heap()->object_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004407 __ JumpIfSmi(input, false_label);
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00004408 if (!FLAG_harmony_typeof) {
4409 __ cmp(input, factory()->null_value());
4410 __ j(equal, true_label);
4411 }
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00004412 __ CmpObjectType(input, FIRST_NONCALLABLE_SPEC_OBJECT_TYPE, input);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004413 __ j(below, false_label);
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00004414 __ CmpInstanceType(input, LAST_NONCALLABLE_SPEC_OBJECT_TYPE);
4415 __ j(above, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004416 // Check for undetectable objects => false.
4417 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4418 1 << Map::kIsUndetectable);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004419 final_branch_condition = zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004420
4421 } else {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004422 __ jmp(false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004423 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004424 return final_branch_condition;
4425}
4426
4427
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004428void LCodeGen::DoIsConstructCallAndBranch(LIsConstructCallAndBranch* instr) {
4429 Register temp = ToRegister(instr->TempAt(0));
4430 int true_block = chunk_->LookupDestination(instr->true_block_id());
4431 int false_block = chunk_->LookupDestination(instr->false_block_id());
4432
4433 EmitIsConstructCall(temp);
4434 EmitBranch(true_block, false_block, equal);
4435}
4436
4437
4438void LCodeGen::EmitIsConstructCall(Register temp) {
4439 // Get the frame pointer for the calling frame.
4440 __ mov(temp, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
4441
4442 // Skip the arguments adaptor frame if it exists.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004443 Label check_frame_marker;
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004444 __ cmp(Operand(temp, StandardFrameConstants::kContextOffset),
4445 Immediate(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004446 __ j(not_equal, &check_frame_marker, Label::kNear);
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004447 __ mov(temp, Operand(temp, StandardFrameConstants::kCallerFPOffset));
4448
4449 // Check the marker in the calling frame.
4450 __ bind(&check_frame_marker);
4451 __ cmp(Operand(temp, StandardFrameConstants::kMarkerOffset),
4452 Immediate(Smi::FromInt(StackFrame::CONSTRUCT)));
4453}
4454
4455
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004456void LCodeGen::DoLazyBailout(LLazyBailout* instr) {
4457 // No code for lazy bailout instruction. Used to capture environment after a
4458 // call for populating the safepoint data with deoptimization data.
4459}
4460
4461
4462void LCodeGen::DoDeoptimize(LDeoptimize* instr) {
4463 DeoptimizeIf(no_condition, instr->environment());
4464}
4465
4466
4467void LCodeGen::DoDeleteProperty(LDeleteProperty* instr) {
4468 LOperand* obj = instr->object();
4469 LOperand* key = instr->key();
4470 __ push(ToOperand(obj));
4471 if (key->IsConstantOperand()) {
4472 __ push(ToImmediate(key));
4473 } else {
4474 __ push(ToOperand(key));
4475 }
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00004476 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
4477 LPointerMap* pointers = instr->pointer_map();
4478 LEnvironment* env = instr->deoptimization_environment();
4479 RecordPosition(pointers->position());
4480 RegisterEnvironmentForDeoptimization(env);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00004481 // Create safepoint generator that will also ensure enough space in the
4482 // reloc info for patching in deoptimization (since this is invoking a
4483 // builtin)
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004484 SafepointGenerator safepoint_generator(this,
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00004485 pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00004486 env->deoptimization_index());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00004487 __ push(Immediate(Smi::FromInt(strict_mode_flag())));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00004488 __ InvokeBuiltin(Builtins::DELETE, CALL_FUNCTION, safepoint_generator);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004489}
4490
4491
ager@chromium.org04921a82011-06-27 13:21:41 +00004492void LCodeGen::DoDeferredStackCheck(LStackCheck* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004493 {
4494 PushSafepointRegistersScope scope(this);
4495 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
4496 __ CallRuntimeSaveDoubles(Runtime::kStackGuard);
4497 RegisterLazyDeoptimization(
4498 instr, RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
4499 }
4500
4501 // The gap code includes the restoring of the safepoint registers.
4502 int pc = masm()->pc_offset();
4503 safepoints_.SetPcAfterGap(pc);
ager@chromium.org04921a82011-06-27 13:21:41 +00004504}
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004505
ager@chromium.org04921a82011-06-27 13:21:41 +00004506
4507void LCodeGen::DoStackCheck(LStackCheck* instr) {
4508 class DeferredStackCheck: public LDeferredCode {
4509 public:
4510 DeferredStackCheck(LCodeGen* codegen, LStackCheck* instr)
4511 : LDeferredCode(codegen), instr_(instr) { }
4512 virtual void Generate() { codegen()->DoDeferredStackCheck(instr_); }
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +00004513 virtual LInstruction* instr() { return instr_; }
ager@chromium.org04921a82011-06-27 13:21:41 +00004514 private:
4515 LStackCheck* instr_;
4516 };
4517
4518 if (instr->hydrogen()->is_function_entry()) {
4519 // Perform stack overflow check.
4520 Label done;
4521 ExternalReference stack_limit =
4522 ExternalReference::address_of_stack_limit(isolate());
4523 __ cmp(esp, Operand::StaticVariable(stack_limit));
4524 __ j(above_equal, &done, Label::kNear);
4525
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004526 ASSERT(instr->context()->IsRegister());
4527 ASSERT(ToRegister(instr->context()).is(esi));
ager@chromium.org04921a82011-06-27 13:21:41 +00004528 StackCheckStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004529 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
ager@chromium.org04921a82011-06-27 13:21:41 +00004530 __ bind(&done);
4531 } else {
4532 ASSERT(instr->hydrogen()->is_backwards_branch());
4533 // Perform stack overflow check if this goto needs it before jumping.
4534 DeferredStackCheck* deferred_stack_check =
4535 new DeferredStackCheck(this, instr);
4536 ExternalReference stack_limit =
4537 ExternalReference::address_of_stack_limit(isolate());
4538 __ cmp(esp, Operand::StaticVariable(stack_limit));
4539 __ j(below, deferred_stack_check->entry());
4540 __ bind(instr->done_label());
4541 deferred_stack_check->SetExit(instr->done_label());
4542 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004543}
4544
4545
4546void LCodeGen::DoOsrEntry(LOsrEntry* instr) {
4547 // This is a pseudo-instruction that ensures that the environment here is
4548 // properly registered for deoptimization and records the assembler's PC
4549 // offset.
4550 LEnvironment* environment = instr->environment();
4551 environment->SetSpilledRegisters(instr->SpilledRegisterArray(),
4552 instr->SpilledDoubleRegisterArray());
4553
4554 // If the environment were already registered, we would have no way of
4555 // backpatching it with the spill slot operands.
4556 ASSERT(!environment->HasBeenRegistered());
4557 RegisterEnvironmentForDeoptimization(environment);
4558 ASSERT(osr_pc_offset_ == -1);
4559 osr_pc_offset_ = masm()->pc_offset();
4560}
4561
4562
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00004563void LCodeGen::DoIn(LIn* instr) {
4564 LOperand* obj = instr->object();
4565 LOperand* key = instr->key();
4566 if (key->IsConstantOperand()) {
4567 __ push(ToImmediate(key));
4568 } else {
4569 __ push(ToOperand(key));
4570 }
4571 if (obj->IsConstantOperand()) {
4572 __ push(ToImmediate(obj));
4573 } else {
4574 __ push(ToOperand(obj));
4575 }
4576 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
4577 LPointerMap* pointers = instr->pointer_map();
4578 LEnvironment* env = instr->deoptimization_environment();
4579 RecordPosition(pointers->position());
4580 RegisterEnvironmentForDeoptimization(env);
4581 // Create safepoint generator that will also ensure enough space in the
4582 // reloc info for patching in deoptimization (since this is invoking a
4583 // builtin)
4584 SafepointGenerator safepoint_generator(this,
4585 pointers,
4586 env->deoptimization_index());
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00004587 __ InvokeBuiltin(Builtins::IN, CALL_FUNCTION, safepoint_generator);
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00004588}
4589
4590
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004591#undef __
4592
4593} } // namespace v8::internal
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00004594
4595#endif // V8_TARGET_ARCH_IA32