blob: f771c4e5cd3dea343058542899639f98432e9b03 [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);
73 return GeneratePrologue() &&
74 GenerateBody() &&
75 GenerateDeferredCode() &&
76 GenerateSafepointTable();
77}
78
79
80void LCodeGen::FinishCode(Handle<Code> code) {
81 ASSERT(is_done());
danno@chromium.org160a7b02011-04-18 15:51:38 +000082 code->set_stack_slots(GetStackSlotCount());
ricow@chromium.org83aa5492011-02-07 12:42:56 +000083 code->set_safepoint_table_offset(safepoints_.GetCodeOffset());
kasperl@chromium.orga5551262010-12-07 12:49:48 +000084 PopulateDeoptimizationData(code);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000085 Deoptimizer::EnsureRelocSpaceForLazyDeoptimization(code);
kasperl@chromium.orga5551262010-12-07 12:49:48 +000086}
87
88
89void LCodeGen::Abort(const char* format, ...) {
90 if (FLAG_trace_bailout) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +000091 SmartPointer<char> name(info()->shared_info()->DebugName()->ToCString());
92 PrintF("Aborting LCodeGen in @\"%s\": ", *name);
kasperl@chromium.orga5551262010-12-07 12:49:48 +000093 va_list arguments;
94 va_start(arguments, format);
95 OS::VPrint(format, arguments);
96 va_end(arguments);
97 PrintF("\n");
98 }
99 status_ = ABORTED;
100}
101
102
103void LCodeGen::Comment(const char* format, ...) {
104 if (!FLAG_code_comments) return;
105 char buffer[4 * KB];
106 StringBuilder builder(buffer, ARRAY_SIZE(buffer));
107 va_list arguments;
108 va_start(arguments, format);
109 builder.AddFormattedList(format, arguments);
110 va_end(arguments);
111
112 // Copy the string before recording it in the assembler to avoid
113 // issues when the stack allocated buffer goes out of scope.
114 size_t length = builder.position();
115 Vector<char> copy = Vector<char>::New(length + 1);
116 memcpy(copy.start(), builder.Finalize(), copy.length());
117 masm()->RecordComment(copy.start());
118}
119
120
121bool LCodeGen::GeneratePrologue() {
122 ASSERT(is_generating());
123
124#ifdef DEBUG
125 if (strlen(FLAG_stop_at) > 0 &&
126 info_->function()->name()->IsEqualTo(CStrVector(FLAG_stop_at))) {
127 __ int3();
128 }
129#endif
130
ricow@chromium.orgd2be9012011-06-01 06:00:58 +0000131 // Strict mode functions and builtins need to replace the receiver
132 // with undefined when called as functions (without an explicit
133 // receiver object). ecx is zero for method calls and non-zero for
134 // function calls.
135 if (info_->is_strict_mode() || info_->is_native()) {
danno@chromium.org40cb8782011-05-25 07:58:50 +0000136 Label ok;
137 __ test(ecx, Operand(ecx));
138 __ j(zero, &ok, Label::kNear);
139 // +1 for return address.
140 int receiver_offset = (scope()->num_parameters() + 1) * kPointerSize;
141 __ mov(Operand(esp, receiver_offset),
142 Immediate(isolate()->factory()->undefined_value()));
143 __ bind(&ok);
144 }
145
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000146 __ push(ebp); // Caller's frame pointer.
147 __ mov(ebp, esp);
148 __ push(esi); // Callee's context.
149 __ push(edi); // Callee's JS function.
150
151 // Reserve space for the stack slots needed by the code.
danno@chromium.org160a7b02011-04-18 15:51:38 +0000152 int slots = GetStackSlotCount();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000153 if (slots > 0) {
154 if (FLAG_debug_code) {
155 __ mov(Operand(eax), Immediate(slots));
156 Label loop;
157 __ bind(&loop);
158 __ push(Immediate(kSlotsZapValue));
159 __ dec(eax);
160 __ j(not_zero, &loop);
161 } else {
162 __ sub(Operand(esp), Immediate(slots * kPointerSize));
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000163#ifdef _MSC_VER
164 // On windows, you may not access the stack more than one page below
165 // the most recently mapped page. To make the allocated area randomly
166 // accessible, we write to each page in turn (the value is irrelevant).
167 const int kPageSize = 4 * KB;
168 for (int offset = slots * kPointerSize - kPageSize;
169 offset > 0;
170 offset -= kPageSize) {
171 __ mov(Operand(esp, offset), eax);
172 }
173#endif
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000174 }
175 }
176
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000177 // Possibly allocate a local context.
178 int heap_slots = scope()->num_heap_slots() - Context::MIN_CONTEXT_SLOTS;
179 if (heap_slots > 0) {
180 Comment(";;; Allocate local context");
181 // Argument to NewContext is the function, which is still in edi.
182 __ push(edi);
183 if (heap_slots <= FastNewContextStub::kMaximumSlots) {
184 FastNewContextStub stub(heap_slots);
185 __ CallStub(&stub);
186 } else {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +0000187 __ CallRuntime(Runtime::kNewFunctionContext, 1);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000188 }
189 RecordSafepoint(Safepoint::kNoDeoptimizationIndex);
190 // Context is returned in both eax and esi. It replaces the context
191 // passed to us. It's saved in the stack and kept live in esi.
192 __ mov(Operand(ebp, StandardFrameConstants::kContextOffset), esi);
193
194 // Copy parameters into context if necessary.
195 int num_parameters = scope()->num_parameters();
196 for (int i = 0; i < num_parameters; i++) {
197 Slot* slot = scope()->parameter(i)->AsSlot();
198 if (slot != NULL && slot->type() == Slot::CONTEXT) {
199 int parameter_offset = StandardFrameConstants::kCallerSPOffset +
200 (num_parameters - 1 - i) * kPointerSize;
201 // Load parameter from stack.
202 __ mov(eax, Operand(ebp, parameter_offset));
203 // Store it in the context.
204 int context_offset = Context::SlotOffset(slot->index());
205 __ mov(Operand(esi, context_offset), eax);
206 // Update the write barrier. This clobbers all involved
207 // registers, so we have to use a third register to avoid
208 // clobbering esi.
209 __ mov(ecx, esi);
210 __ RecordWrite(ecx, context_offset, eax, ebx);
211 }
212 }
213 Comment(";;; End allocate local context");
214 }
215
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000216 // Trace the call.
217 if (FLAG_trace) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000218 // We have not executed any compiled code yet, so esi still holds the
219 // incoming context.
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000220 __ CallRuntime(Runtime::kTraceEnter, 0);
221 }
222 return !is_aborted();
223}
224
225
226bool LCodeGen::GenerateBody() {
227 ASSERT(is_generating());
228 bool emit_instructions = true;
229 for (current_instruction_ = 0;
230 !is_aborted() && current_instruction_ < instructions_->length();
231 current_instruction_++) {
232 LInstruction* instr = instructions_->at(current_instruction_);
233 if (instr->IsLabel()) {
234 LLabel* label = LLabel::cast(instr);
235 emit_instructions = !label->HasReplacement();
236 }
237
238 if (emit_instructions) {
239 Comment(";;; @%d: %s.", current_instruction_, instr->Mnemonic());
240 instr->CompileToNative(this);
241 }
242 }
243 return !is_aborted();
244}
245
246
247LInstruction* LCodeGen::GetNextInstruction() {
248 if (current_instruction_ < instructions_->length() - 1) {
249 return instructions_->at(current_instruction_ + 1);
250 } else {
251 return NULL;
252 }
253}
254
255
256bool LCodeGen::GenerateDeferredCode() {
257 ASSERT(is_generating());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000258 if (deferred_.length() > 0) {
259 for (int i = 0; !is_aborted() && i < deferred_.length(); i++) {
260 LDeferredCode* code = deferred_[i];
261 __ bind(code->entry());
262 code->Generate();
263 __ jmp(code->exit());
264 }
265
266 // Pad code to ensure that the last piece of deferred code have
267 // room for lazy bailout.
268 while ((masm()->pc_offset() - LastSafepointEnd())
269 < Deoptimizer::patch_size()) {
270 __ nop();
271 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000272 }
273
274 // Deferred code is the last part of the instruction sequence. Mark
275 // the generated code as done unless we bailed out.
276 if (!is_aborted()) status_ = DONE;
277 return !is_aborted();
278}
279
280
281bool LCodeGen::GenerateSafepointTable() {
282 ASSERT(is_done());
danno@chromium.org160a7b02011-04-18 15:51:38 +0000283 safepoints_.Emit(masm(), GetStackSlotCount());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000284 return !is_aborted();
285}
286
287
288Register LCodeGen::ToRegister(int index) const {
289 return Register::FromAllocationIndex(index);
290}
291
292
293XMMRegister LCodeGen::ToDoubleRegister(int index) const {
294 return XMMRegister::FromAllocationIndex(index);
295}
296
297
298Register LCodeGen::ToRegister(LOperand* op) const {
299 ASSERT(op->IsRegister());
300 return ToRegister(op->index());
301}
302
303
304XMMRegister LCodeGen::ToDoubleRegister(LOperand* op) const {
305 ASSERT(op->IsDoubleRegister());
306 return ToDoubleRegister(op->index());
307}
308
309
310int LCodeGen::ToInteger32(LConstantOperand* op) const {
311 Handle<Object> value = chunk_->LookupLiteral(op);
312 ASSERT(chunk_->LookupLiteralRepresentation(op).IsInteger32());
313 ASSERT(static_cast<double>(static_cast<int32_t>(value->Number())) ==
314 value->Number());
315 return static_cast<int32_t>(value->Number());
316}
317
318
319Immediate LCodeGen::ToImmediate(LOperand* op) {
320 LConstantOperand* const_op = LConstantOperand::cast(op);
321 Handle<Object> literal = chunk_->LookupLiteral(const_op);
322 Representation r = chunk_->LookupLiteralRepresentation(const_op);
323 if (r.IsInteger32()) {
324 ASSERT(literal->IsNumber());
325 return Immediate(static_cast<int32_t>(literal->Number()));
326 } else if (r.IsDouble()) {
327 Abort("unsupported double immediate");
328 }
329 ASSERT(r.IsTagged());
330 return Immediate(literal);
331}
332
333
334Operand LCodeGen::ToOperand(LOperand* op) const {
335 if (op->IsRegister()) return Operand(ToRegister(op));
336 if (op->IsDoubleRegister()) return Operand(ToDoubleRegister(op));
337 ASSERT(op->IsStackSlot() || op->IsDoubleStackSlot());
338 int index = op->index();
339 if (index >= 0) {
340 // Local or spill slot. Skip the frame pointer, function, and
341 // context in the fixed part of the frame.
342 return Operand(ebp, -(index + 3) * kPointerSize);
343 } else {
344 // Incoming parameter. Skip the return address.
345 return Operand(ebp, -(index - 1) * kPointerSize);
346 }
347}
348
349
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000350Operand LCodeGen::HighOperand(LOperand* op) {
351 ASSERT(op->IsDoubleStackSlot());
352 int index = op->index();
353 int offset = (index >= 0) ? index + 3 : index - 1;
354 return Operand(ebp, -offset * kPointerSize);
355}
356
357
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000358void LCodeGen::WriteTranslation(LEnvironment* environment,
359 Translation* translation) {
360 if (environment == NULL) return;
361
362 // The translation includes one command per value in the environment.
363 int translation_size = environment->values()->length();
364 // The output frame height does not include the parameters.
365 int height = translation_size - environment->parameter_count();
366
367 WriteTranslation(environment->outer(), translation);
368 int closure_id = DefineDeoptimizationLiteral(environment->closure());
369 translation->BeginFrame(environment->ast_id(), closure_id, height);
370 for (int i = 0; i < translation_size; ++i) {
371 LOperand* value = environment->values()->at(i);
372 // spilled_registers_ and spilled_double_registers_ are either
373 // both NULL or both set.
374 if (environment->spilled_registers() != NULL && value != NULL) {
375 if (value->IsRegister() &&
376 environment->spilled_registers()[value->index()] != NULL) {
377 translation->MarkDuplicate();
378 AddToTranslation(translation,
379 environment->spilled_registers()[value->index()],
380 environment->HasTaggedValueAt(i));
381 } else if (
382 value->IsDoubleRegister() &&
383 environment->spilled_double_registers()[value->index()] != NULL) {
384 translation->MarkDuplicate();
385 AddToTranslation(
386 translation,
387 environment->spilled_double_registers()[value->index()],
388 false);
389 }
390 }
391
392 AddToTranslation(translation, value, environment->HasTaggedValueAt(i));
393 }
394}
395
396
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000397void LCodeGen::AddToTranslation(Translation* translation,
398 LOperand* op,
399 bool is_tagged) {
400 if (op == NULL) {
401 // TODO(twuerthinger): Introduce marker operands to indicate that this value
402 // is not present and must be reconstructed from the deoptimizer. Currently
403 // this is only used for the arguments object.
404 translation->StoreArgumentsObject();
405 } else if (op->IsStackSlot()) {
406 if (is_tagged) {
407 translation->StoreStackSlot(op->index());
408 } else {
409 translation->StoreInt32StackSlot(op->index());
410 }
411 } else if (op->IsDoubleStackSlot()) {
412 translation->StoreDoubleStackSlot(op->index());
413 } else if (op->IsArgument()) {
414 ASSERT(is_tagged);
danno@chromium.org160a7b02011-04-18 15:51:38 +0000415 int src_index = GetStackSlotCount() + op->index();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000416 translation->StoreStackSlot(src_index);
417 } else if (op->IsRegister()) {
418 Register reg = ToRegister(op);
419 if (is_tagged) {
420 translation->StoreRegister(reg);
421 } else {
422 translation->StoreInt32Register(reg);
423 }
424 } else if (op->IsDoubleRegister()) {
425 XMMRegister reg = ToDoubleRegister(op);
426 translation->StoreDoubleRegister(reg);
427 } else if (op->IsConstantOperand()) {
428 Handle<Object> literal = chunk()->LookupLiteral(LConstantOperand::cast(op));
429 int src_index = DefineDeoptimizationLiteral(literal);
430 translation->StoreLiteral(src_index);
431 } else {
432 UNREACHABLE();
433 }
434}
435
436
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000437void LCodeGen::CallCodeGeneric(Handle<Code> code,
438 RelocInfo::Mode mode,
439 LInstruction* instr,
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000440 SafepointMode safepoint_mode) {
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000441 ASSERT(instr != NULL);
442 LPointerMap* pointers = instr->pointer_map();
443 RecordPosition(pointers->position());
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000444
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000445 __ call(code, mode);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000446
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000447 RegisterLazyDeoptimization(instr, safepoint_mode);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +0000448
449 // Signal that we don't inline smi code before these stubs in the
450 // optimizing code generator.
danno@chromium.org40cb8782011-05-25 07:58:50 +0000451 if (code->kind() == Code::BINARY_OP_IC ||
ager@chromium.org5f0c45f2010-12-17 08:51:21 +0000452 code->kind() == Code::COMPARE_IC) {
453 __ nop();
454 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000455}
456
457
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000458void LCodeGen::CallCode(Handle<Code> code,
459 RelocInfo::Mode mode,
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000460 LInstruction* instr) {
461 CallCodeGeneric(code, mode, instr, RECORD_SIMPLE_SAFEPOINT);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000462}
463
464
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000465void LCodeGen::CallRuntime(const Runtime::Function* fun,
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000466 int argc,
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000467 LInstruction* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000468 ASSERT(instr != NULL);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000469 ASSERT(instr->HasPointerMap());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000470 LPointerMap* pointers = instr->pointer_map();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000471 RecordPosition(pointers->position());
472
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000473 __ CallRuntime(fun, argc);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000474
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000475 RegisterLazyDeoptimization(instr, RECORD_SIMPLE_SAFEPOINT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000476}
477
478
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000479void LCodeGen::CallRuntimeFromDeferred(Runtime::FunctionId id,
480 int argc,
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000481 LInstruction* instr,
482 LOperand* context) {
483 ASSERT(context->IsRegister() || context->IsStackSlot());
484 if (context->IsRegister()) {
485 if (!ToRegister(context).is(esi)) {
486 __ mov(esi, ToRegister(context));
487 }
488 } else {
489 // Context is stack slot.
490 __ mov(esi, ToOperand(context));
491 }
492
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000493 __ CallRuntimeSaveDoubles(id);
494 RecordSafepointWithRegisters(
495 instr->pointer_map(), argc, Safepoint::kNoDeoptimizationIndex);
496}
497
498
499void LCodeGen::RegisterLazyDeoptimization(LInstruction* instr,
500 SafepointMode safepoint_mode) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000501 // Create the environment to bailout to. If the call has side effects
502 // execution has to continue after the call otherwise execution can continue
503 // from a previous bailout point repeating the call.
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000504 LEnvironment* deoptimization_environment;
505 if (instr->HasDeoptimizationEnvironment()) {
506 deoptimization_environment = instr->deoptimization_environment();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000507 } else {
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000508 deoptimization_environment = instr->environment();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000509 }
510
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000511 RegisterEnvironmentForDeoptimization(deoptimization_environment);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000512 if (safepoint_mode == RECORD_SIMPLE_SAFEPOINT) {
513 RecordSafepoint(instr->pointer_map(),
514 deoptimization_environment->deoptimization_index());
515 } else {
516 ASSERT(safepoint_mode == RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
517 RecordSafepointWithRegisters(
518 instr->pointer_map(),
519 0,
520 deoptimization_environment->deoptimization_index());
521 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000522}
523
524
525void LCodeGen::RegisterEnvironmentForDeoptimization(LEnvironment* environment) {
526 if (!environment->HasBeenRegistered()) {
527 // Physical stack frame layout:
528 // -x ............. -4 0 ..................................... y
529 // [incoming arguments] [spill slots] [pushed outgoing arguments]
530
531 // Layout of the environment:
532 // 0 ..................................................... size-1
533 // [parameters] [locals] [expression stack including arguments]
534
535 // Layout of the translation:
536 // 0 ........................................................ size - 1 + 4
537 // [expression stack including arguments] [locals] [4 words] [parameters]
538 // |>------------ translation_size ------------<|
539
540 int frame_count = 0;
541 for (LEnvironment* e = environment; e != NULL; e = e->outer()) {
542 ++frame_count;
543 }
544 Translation translation(&translations_, frame_count);
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000545 WriteTranslation(environment, &translation);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000546 int deoptimization_index = deoptimizations_.length();
547 environment->Register(deoptimization_index, translation.index());
548 deoptimizations_.Add(environment);
549 }
550}
551
552
553void LCodeGen::DeoptimizeIf(Condition cc, LEnvironment* environment) {
554 RegisterEnvironmentForDeoptimization(environment);
555 ASSERT(environment->HasBeenRegistered());
556 int id = environment->deoptimization_index();
557 Address entry = Deoptimizer::GetDeoptimizationEntry(id, Deoptimizer::EAGER);
558 ASSERT(entry != NULL);
559 if (entry == NULL) {
560 Abort("bailout was not prepared");
561 return;
562 }
563
564 if (FLAG_deopt_every_n_times != 0) {
565 Handle<SharedFunctionInfo> shared(info_->shared_info());
566 Label no_deopt;
567 __ pushfd();
568 __ push(eax);
569 __ push(ebx);
570 __ mov(ebx, shared);
571 __ mov(eax, FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset));
572 __ sub(Operand(eax), Immediate(Smi::FromInt(1)));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000573 __ j(not_zero, &no_deopt, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000574 if (FLAG_trap_on_deopt) __ int3();
575 __ mov(eax, Immediate(Smi::FromInt(FLAG_deopt_every_n_times)));
576 __ mov(FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset), eax);
577 __ pop(ebx);
578 __ pop(eax);
579 __ popfd();
580 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
581
582 __ bind(&no_deopt);
583 __ mov(FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset), eax);
584 __ pop(ebx);
585 __ pop(eax);
586 __ popfd();
587 }
588
589 if (cc == no_condition) {
590 if (FLAG_trap_on_deopt) __ int3();
591 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
592 } else {
593 if (FLAG_trap_on_deopt) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000594 Label done;
595 __ j(NegateCondition(cc), &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000596 __ int3();
597 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
598 __ bind(&done);
599 } else {
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000600 __ j(cc, entry, RelocInfo::RUNTIME_ENTRY);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000601 }
602 }
603}
604
605
606void LCodeGen::PopulateDeoptimizationData(Handle<Code> code) {
607 int length = deoptimizations_.length();
608 if (length == 0) return;
609 ASSERT(FLAG_deopt);
610 Handle<DeoptimizationInputData> data =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000611 factory()->NewDeoptimizationInputData(length, TENURED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000612
ager@chromium.org9ee27ae2011-03-02 13:43:26 +0000613 Handle<ByteArray> translations = translations_.CreateByteArray();
614 data->SetTranslationByteArray(*translations);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000615 data->SetInlinedFunctionCount(Smi::FromInt(inlined_function_count_));
616
617 Handle<FixedArray> literals =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000618 factory()->NewFixedArray(deoptimization_literals_.length(), TENURED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000619 for (int i = 0; i < deoptimization_literals_.length(); i++) {
620 literals->set(i, *deoptimization_literals_[i]);
621 }
622 data->SetLiteralArray(*literals);
623
624 data->SetOsrAstId(Smi::FromInt(info_->osr_ast_id()));
625 data->SetOsrPcOffset(Smi::FromInt(osr_pc_offset_));
626
627 // Populate the deoptimization entries.
628 for (int i = 0; i < length; i++) {
629 LEnvironment* env = deoptimizations_[i];
630 data->SetAstId(i, Smi::FromInt(env->ast_id()));
631 data->SetTranslationIndex(i, Smi::FromInt(env->translation_index()));
632 data->SetArgumentsStackHeight(i,
633 Smi::FromInt(env->arguments_stack_height()));
634 }
635 code->set_deoptimization_data(*data);
636}
637
638
639int LCodeGen::DefineDeoptimizationLiteral(Handle<Object> literal) {
640 int result = deoptimization_literals_.length();
641 for (int i = 0; i < deoptimization_literals_.length(); ++i) {
642 if (deoptimization_literals_[i].is_identical_to(literal)) return i;
643 }
644 deoptimization_literals_.Add(literal);
645 return result;
646}
647
648
649void LCodeGen::PopulateDeoptimizationLiteralsWithInlinedFunctions() {
650 ASSERT(deoptimization_literals_.length() == 0);
651
652 const ZoneList<Handle<JSFunction> >* inlined_closures =
653 chunk()->inlined_closures();
654
655 for (int i = 0, length = inlined_closures->length();
656 i < length;
657 i++) {
658 DefineDeoptimizationLiteral(inlined_closures->at(i));
659 }
660
661 inlined_function_count_ = deoptimization_literals_.length();
662}
663
664
ager@chromium.org378b34e2011-01-28 08:04:38 +0000665void LCodeGen::RecordSafepoint(
666 LPointerMap* pointers,
667 Safepoint::Kind kind,
668 int arguments,
669 int deoptimization_index) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000670 ASSERT(kind == expected_safepoint_kind_);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000671 const ZoneList<LOperand*>* operands = pointers->operands();
672 Safepoint safepoint = safepoints_.DefineSafepoint(masm(),
ager@chromium.org378b34e2011-01-28 08:04:38 +0000673 kind, arguments, deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000674 for (int i = 0; i < operands->length(); i++) {
675 LOperand* pointer = operands->at(i);
676 if (pointer->IsStackSlot()) {
677 safepoint.DefinePointerSlot(pointer->index());
ager@chromium.org378b34e2011-01-28 08:04:38 +0000678 } else if (pointer->IsRegister() && (kind & Safepoint::kWithRegisters)) {
679 safepoint.DefinePointerRegister(ToRegister(pointer));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000680 }
681 }
ager@chromium.org378b34e2011-01-28 08:04:38 +0000682}
683
684
685void LCodeGen::RecordSafepoint(LPointerMap* pointers,
686 int deoptimization_index) {
687 RecordSafepoint(pointers, Safepoint::kSimple, 0, deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000688}
689
690
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000691void LCodeGen::RecordSafepoint(int deoptimization_index) {
692 LPointerMap empty_pointers(RelocInfo::kNoPosition);
693 RecordSafepoint(&empty_pointers, deoptimization_index);
694}
695
696
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000697void LCodeGen::RecordSafepointWithRegisters(LPointerMap* pointers,
698 int arguments,
699 int deoptimization_index) {
ager@chromium.org378b34e2011-01-28 08:04:38 +0000700 RecordSafepoint(pointers, Safepoint::kWithRegisters, arguments,
701 deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000702}
703
704
705void LCodeGen::RecordPosition(int position) {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +0000706 if (position == RelocInfo::kNoPosition) return;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000707 masm()->positions_recorder()->RecordPosition(position);
708}
709
710
711void LCodeGen::DoLabel(LLabel* label) {
712 if (label->is_loop_header()) {
713 Comment(";;; B%d - LOOP entry", label->block_id());
714 } else {
715 Comment(";;; B%d", label->block_id());
716 }
717 __ bind(label->label());
718 current_block_ = label->block_id();
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000719 DoGap(label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000720}
721
722
723void LCodeGen::DoParallelMove(LParallelMove* move) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000724 resolver_.Resolve(move);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000725}
726
727
728void LCodeGen::DoGap(LGap* gap) {
729 for (int i = LGap::FIRST_INNER_POSITION;
730 i <= LGap::LAST_INNER_POSITION;
731 i++) {
732 LGap::InnerPosition inner_pos = static_cast<LGap::InnerPosition>(i);
733 LParallelMove* move = gap->GetParallelMove(inner_pos);
734 if (move != NULL) DoParallelMove(move);
735 }
736
737 LInstruction* next = GetNextInstruction();
738 if (next != NULL && next->IsLazyBailout()) {
739 int pc = masm()->pc_offset();
740 safepoints_.SetPcAfterGap(pc);
741 }
742}
743
744
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000745void LCodeGen::DoInstructionGap(LInstructionGap* instr) {
746 DoGap(instr);
747}
748
749
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000750void LCodeGen::DoParameter(LParameter* instr) {
751 // Nothing to do.
752}
753
754
755void LCodeGen::DoCallStub(LCallStub* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000756 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000757 ASSERT(ToRegister(instr->result()).is(eax));
758 switch (instr->hydrogen()->major_key()) {
759 case CodeStub::RegExpConstructResult: {
760 RegExpConstructResultStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000761 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000762 break;
763 }
764 case CodeStub::RegExpExec: {
765 RegExpExecStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000766 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000767 break;
768 }
769 case CodeStub::SubString: {
770 SubStringStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000771 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000772 break;
773 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000774 case CodeStub::NumberToString: {
775 NumberToStringStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000776 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000777 break;
778 }
779 case CodeStub::StringAdd: {
780 StringAddStub stub(NO_STRING_ADD_FLAGS);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000781 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000782 break;
783 }
784 case CodeStub::StringCompare: {
785 StringCompareStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000786 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000787 break;
788 }
789 case CodeStub::TranscendentalCache: {
whesse@chromium.org023421e2010-12-21 12:19:12 +0000790 TranscendentalCacheStub stub(instr->transcendental_type(),
791 TranscendentalCacheStub::TAGGED);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000792 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000793 break;
794 }
795 default:
796 UNREACHABLE();
797 }
798}
799
800
801void LCodeGen::DoUnknownOSRValue(LUnknownOSRValue* instr) {
802 // Nothing to do.
803}
804
805
806void LCodeGen::DoModI(LModI* instr) {
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000807 if (instr->hydrogen()->HasPowerOf2Divisor()) {
808 Register dividend = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000809
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000810 int32_t divisor =
811 HConstant::cast(instr->hydrogen()->right())->Integer32Value();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000812
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000813 if (divisor < 0) divisor = -divisor;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000814
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000815 Label positive_dividend, done;
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000816 __ test(dividend, Operand(dividend));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000817 __ j(not_sign, &positive_dividend, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000818 __ neg(dividend);
819 __ and_(dividend, divisor - 1);
820 __ neg(dividend);
821 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000822 __ j(not_zero, &done, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000823 DeoptimizeIf(no_condition, instr->environment());
whesse@chromium.org7b260152011-06-20 15:33:18 +0000824 } else {
825 __ jmp(&done, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000826 }
827 __ bind(&positive_dividend);
828 __ and_(dividend, divisor - 1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000829 __ bind(&done);
830 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000831 Label done, remainder_eq_dividend, slow, do_subtraction, both_positive;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000832 Register left_reg = ToRegister(instr->InputAt(0));
833 Register right_reg = ToRegister(instr->InputAt(1));
834 Register result_reg = ToRegister(instr->result());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000835
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000836 ASSERT(left_reg.is(eax));
837 ASSERT(result_reg.is(edx));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000838 ASSERT(!right_reg.is(eax));
839 ASSERT(!right_reg.is(edx));
840
841 // Check for x % 0.
842 if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000843 __ test(right_reg, Operand(right_reg));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000844 DeoptimizeIf(zero, instr->environment());
845 }
846
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000847 __ test(left_reg, Operand(left_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000848 __ j(zero, &remainder_eq_dividend, Label::kNear);
849 __ j(sign, &slow, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000850
851 __ test(right_reg, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000852 __ j(not_sign, &both_positive, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000853 // The sign of the divisor doesn't matter.
854 __ neg(right_reg);
855
856 __ bind(&both_positive);
857 // If the dividend is smaller than the nonnegative
858 // divisor, the dividend is the result.
859 __ cmp(left_reg, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000860 __ j(less, &remainder_eq_dividend, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000861
862 // Check if the divisor is a PowerOfTwo integer.
863 Register scratch = ToRegister(instr->TempAt(0));
864 __ mov(scratch, right_reg);
865 __ sub(Operand(scratch), Immediate(1));
866 __ test(scratch, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000867 __ j(not_zero, &do_subtraction, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000868 __ and_(left_reg, Operand(scratch));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000869 __ jmp(&remainder_eq_dividend, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000870
871 __ bind(&do_subtraction);
872 const int kUnfolds = 3;
873 // Try a few subtractions of the dividend.
874 __ mov(scratch, left_reg);
875 for (int i = 0; i < kUnfolds; i++) {
876 // Reduce the dividend by the divisor.
877 __ sub(left_reg, Operand(right_reg));
878 // Check if the dividend is less than the divisor.
879 __ cmp(left_reg, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000880 __ j(less, &remainder_eq_dividend, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000881 }
882 __ mov(left_reg, scratch);
883
884 // Slow case, using idiv instruction.
885 __ bind(&slow);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000886 // Sign extend to edx.
887 __ cdq();
888
889 // Check for (0 % -x) that will produce negative zero.
890 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000891 Label positive_left;
892 Label done;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000893 __ test(left_reg, Operand(left_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000894 __ j(not_sign, &positive_left, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000895 __ idiv(right_reg);
896
897 // Test the remainder for 0, because then the result would be -0.
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000898 __ test(result_reg, Operand(result_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000899 __ j(not_zero, &done, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000900
901 DeoptimizeIf(no_condition, instr->environment());
902 __ bind(&positive_left);
903 __ idiv(right_reg);
904 __ bind(&done);
905 } else {
906 __ idiv(right_reg);
907 }
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000908 __ jmp(&done, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000909
910 __ bind(&remainder_eq_dividend);
911 __ mov(result_reg, left_reg);
912
913 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000914 }
915}
916
917
918void LCodeGen::DoDivI(LDivI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000919 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000920 ASSERT(ToRegister(instr->result()).is(eax));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000921 ASSERT(ToRegister(instr->InputAt(0)).is(eax));
922 ASSERT(!ToRegister(instr->InputAt(1)).is(eax));
923 ASSERT(!ToRegister(instr->InputAt(1)).is(edx));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000924
925 Register left_reg = eax;
926
927 // Check for x / 0.
928 Register right_reg = ToRegister(right);
929 if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
930 __ test(right_reg, ToOperand(right));
931 DeoptimizeIf(zero, instr->environment());
932 }
933
934 // Check for (0 / -x) that will produce negative zero.
935 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000936 Label left_not_zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000937 __ test(left_reg, Operand(left_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000938 __ j(not_zero, &left_not_zero, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000939 __ test(right_reg, ToOperand(right));
940 DeoptimizeIf(sign, instr->environment());
941 __ bind(&left_not_zero);
942 }
943
944 // Check for (-kMinInt / -1).
945 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000946 Label left_not_min_int;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000947 __ cmp(left_reg, kMinInt);
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000948 __ j(not_zero, &left_not_min_int, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000949 __ cmp(right_reg, -1);
950 DeoptimizeIf(zero, instr->environment());
951 __ bind(&left_not_min_int);
952 }
953
954 // Sign extend to edx.
955 __ cdq();
956 __ idiv(right_reg);
957
958 // Deoptimize if remainder is not 0.
959 __ test(edx, Operand(edx));
960 DeoptimizeIf(not_zero, instr->environment());
961}
962
963
964void LCodeGen::DoMulI(LMulI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000965 Register left = ToRegister(instr->InputAt(0));
966 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000967
968 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000969 __ mov(ToRegister(instr->TempAt(0)), left);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000970 }
971
972 if (right->IsConstantOperand()) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000973 // Try strength reductions on the multiplication.
974 // All replacement instructions are at most as long as the imul
975 // and have better latency.
976 int constant = ToInteger32(LConstantOperand::cast(right));
977 if (constant == -1) {
978 __ neg(left);
979 } else if (constant == 0) {
980 __ xor_(left, Operand(left));
981 } else if (constant == 2) {
982 __ add(left, Operand(left));
983 } else if (!instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
984 // If we know that the multiplication can't overflow, it's safe to
985 // use instructions that don't set the overflow flag for the
986 // multiplication.
987 switch (constant) {
988 case 1:
989 // Do nothing.
990 break;
991 case 3:
992 __ lea(left, Operand(left, left, times_2, 0));
993 break;
994 case 4:
995 __ shl(left, 2);
996 break;
997 case 5:
998 __ lea(left, Operand(left, left, times_4, 0));
999 break;
1000 case 8:
1001 __ shl(left, 3);
1002 break;
1003 case 9:
1004 __ lea(left, Operand(left, left, times_8, 0));
1005 break;
1006 case 16:
1007 __ shl(left, 4);
1008 break;
1009 default:
1010 __ imul(left, left, constant);
1011 break;
1012 }
1013 } else {
1014 __ imul(left, left, constant);
1015 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001016 } else {
1017 __ imul(left, ToOperand(right));
1018 }
1019
1020 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1021 DeoptimizeIf(overflow, instr->environment());
1022 }
1023
1024 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
1025 // Bail out if the result is supposed to be negative zero.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001026 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001027 __ test(left, Operand(left));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001028 __ j(not_zero, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001029 if (right->IsConstantOperand()) {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001030 if (ToInteger32(LConstantOperand::cast(right)) <= 0) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001031 DeoptimizeIf(no_condition, instr->environment());
1032 }
1033 } else {
1034 // Test the non-zero operand for negative sign.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001035 __ or_(ToRegister(instr->TempAt(0)), ToOperand(right));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001036 DeoptimizeIf(sign, instr->environment());
1037 }
1038 __ bind(&done);
1039 }
1040}
1041
1042
1043void LCodeGen::DoBitI(LBitI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001044 LOperand* left = instr->InputAt(0);
1045 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001046 ASSERT(left->Equals(instr->result()));
1047 ASSERT(left->IsRegister());
1048
1049 if (right->IsConstantOperand()) {
1050 int right_operand = ToInteger32(LConstantOperand::cast(right));
1051 switch (instr->op()) {
1052 case Token::BIT_AND:
1053 __ and_(ToRegister(left), right_operand);
1054 break;
1055 case Token::BIT_OR:
1056 __ or_(ToRegister(left), right_operand);
1057 break;
1058 case Token::BIT_XOR:
1059 __ xor_(ToRegister(left), right_operand);
1060 break;
1061 default:
1062 UNREACHABLE();
1063 break;
1064 }
1065 } else {
1066 switch (instr->op()) {
1067 case Token::BIT_AND:
1068 __ and_(ToRegister(left), ToOperand(right));
1069 break;
1070 case Token::BIT_OR:
1071 __ or_(ToRegister(left), ToOperand(right));
1072 break;
1073 case Token::BIT_XOR:
1074 __ xor_(ToRegister(left), ToOperand(right));
1075 break;
1076 default:
1077 UNREACHABLE();
1078 break;
1079 }
1080 }
1081}
1082
1083
1084void LCodeGen::DoShiftI(LShiftI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001085 LOperand* left = instr->InputAt(0);
1086 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001087 ASSERT(left->Equals(instr->result()));
1088 ASSERT(left->IsRegister());
1089 if (right->IsRegister()) {
1090 ASSERT(ToRegister(right).is(ecx));
1091
1092 switch (instr->op()) {
1093 case Token::SAR:
1094 __ sar_cl(ToRegister(left));
1095 break;
1096 case Token::SHR:
1097 __ shr_cl(ToRegister(left));
1098 if (instr->can_deopt()) {
1099 __ test(ToRegister(left), Immediate(0x80000000));
1100 DeoptimizeIf(not_zero, instr->environment());
1101 }
1102 break;
1103 case Token::SHL:
1104 __ shl_cl(ToRegister(left));
1105 break;
1106 default:
1107 UNREACHABLE();
1108 break;
1109 }
1110 } else {
1111 int value = ToInteger32(LConstantOperand::cast(right));
1112 uint8_t shift_count = static_cast<uint8_t>(value & 0x1F);
1113 switch (instr->op()) {
1114 case Token::SAR:
1115 if (shift_count != 0) {
1116 __ sar(ToRegister(left), shift_count);
1117 }
1118 break;
1119 case Token::SHR:
1120 if (shift_count == 0 && instr->can_deopt()) {
1121 __ test(ToRegister(left), Immediate(0x80000000));
1122 DeoptimizeIf(not_zero, instr->environment());
1123 } else {
1124 __ shr(ToRegister(left), shift_count);
1125 }
1126 break;
1127 case Token::SHL:
1128 if (shift_count != 0) {
1129 __ shl(ToRegister(left), shift_count);
1130 }
1131 break;
1132 default:
1133 UNREACHABLE();
1134 break;
1135 }
1136 }
1137}
1138
1139
1140void LCodeGen::DoSubI(LSubI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001141 LOperand* left = instr->InputAt(0);
1142 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001143 ASSERT(left->Equals(instr->result()));
1144
1145 if (right->IsConstantOperand()) {
1146 __ sub(ToOperand(left), ToImmediate(right));
1147 } else {
1148 __ sub(ToRegister(left), ToOperand(right));
1149 }
1150 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1151 DeoptimizeIf(overflow, instr->environment());
1152 }
1153}
1154
1155
1156void LCodeGen::DoConstantI(LConstantI* instr) {
1157 ASSERT(instr->result()->IsRegister());
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001158 __ Set(ToRegister(instr->result()), Immediate(instr->value()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001159}
1160
1161
1162void LCodeGen::DoConstantD(LConstantD* instr) {
1163 ASSERT(instr->result()->IsDoubleRegister());
1164 XMMRegister res = ToDoubleRegister(instr->result());
1165 double v = instr->value();
1166 // Use xor to produce +0.0 in a fast and compact way, but avoid to
1167 // do so if the constant is -0.0.
1168 if (BitCast<uint64_t, double>(v) == 0) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001169 __ xorps(res, res);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001170 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001171 Register temp = ToRegister(instr->TempAt(0));
1172 uint64_t int_val = BitCast<uint64_t, double>(v);
1173 int32_t lower = static_cast<int32_t>(int_val);
1174 int32_t upper = static_cast<int32_t>(int_val >> (kBitsPerInt));
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001175 if (CpuFeatures::IsSupported(SSE4_1)) {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001176 CpuFeatures::Scope scope(SSE4_1);
1177 if (lower != 0) {
1178 __ Set(temp, Immediate(lower));
1179 __ movd(res, Operand(temp));
1180 __ Set(temp, Immediate(upper));
1181 __ pinsrd(res, Operand(temp), 1);
1182 } else {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001183 __ xorps(res, res);
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001184 __ Set(temp, Immediate(upper));
1185 __ pinsrd(res, Operand(temp), 1);
1186 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001187 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001188 __ Set(temp, Immediate(upper));
1189 __ movd(res, Operand(temp));
1190 __ psllq(res, 32);
1191 if (lower != 0) {
1192 __ Set(temp, Immediate(lower));
1193 __ movd(xmm0, Operand(temp));
1194 __ por(res, xmm0);
1195 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001196 }
1197 }
1198}
1199
1200
1201void LCodeGen::DoConstantT(LConstantT* instr) {
1202 ASSERT(instr->result()->IsRegister());
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001203 __ Set(ToRegister(instr->result()), Immediate(instr->value()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001204}
1205
1206
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001207void LCodeGen::DoJSArrayLength(LJSArrayLength* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001208 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001209 Register array = ToRegister(instr->InputAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001210 __ mov(result, FieldOperand(array, JSArray::kLengthOffset));
1211}
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001212
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001213
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001214void LCodeGen::DoFixedArrayBaseLength(
1215 LFixedArrayBaseLength* instr) {
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001216 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001217 Register array = ToRegister(instr->InputAt(0));
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001218 __ mov(result, FieldOperand(array, FixedArrayBase::kLengthOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001219}
1220
1221
whesse@chromium.org7b260152011-06-20 15:33:18 +00001222void LCodeGen::DoElementsKind(LElementsKind* instr) {
1223 Register result = ToRegister(instr->result());
1224 Register input = ToRegister(instr->InputAt(0));
1225
1226 // Load map into |result|.
1227 __ mov(result, FieldOperand(input, HeapObject::kMapOffset));
1228 // Load the map's "bit field 2" into |result|. We only need the first byte,
1229 // but the following masking takes care of that anyway.
1230 __ mov(result, FieldOperand(result, Map::kBitField2Offset));
1231 // Retrieve elements_kind from bit field 2.
1232 __ and_(result, Map::kElementsKindMask);
1233 __ shr(result, Map::kElementsKindShift);
1234}
1235
1236
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001237void LCodeGen::DoValueOf(LValueOf* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001238 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001239 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001240 Register map = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001241 ASSERT(input.is(result));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001242 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001243 // If the object is a smi return the object.
whesse@chromium.org7b260152011-06-20 15:33:18 +00001244 __ JumpIfSmi(input, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001245
1246 // If the object is not a value type, return the object.
1247 __ CmpObjectType(input, JS_VALUE_TYPE, map);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001248 __ j(not_equal, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001249 __ mov(result, FieldOperand(input, JSValue::kValueOffset));
1250
1251 __ bind(&done);
1252}
1253
1254
1255void LCodeGen::DoBitNotI(LBitNotI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001256 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001257 ASSERT(input->Equals(instr->result()));
1258 __ not_(ToRegister(input));
1259}
1260
1261
1262void LCodeGen::DoThrow(LThrow* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001263 __ push(ToOperand(instr->value()));
1264 ASSERT(ToRegister(instr->context()).is(esi));
1265 CallRuntime(Runtime::kThrow, 1, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001266
1267 if (FLAG_debug_code) {
1268 Comment("Unreachable code.");
1269 __ int3();
1270 }
1271}
1272
1273
1274void LCodeGen::DoAddI(LAddI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001275 LOperand* left = instr->InputAt(0);
1276 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001277 ASSERT(left->Equals(instr->result()));
1278
1279 if (right->IsConstantOperand()) {
1280 __ add(ToOperand(left), ToImmediate(right));
1281 } else {
1282 __ add(ToRegister(left), ToOperand(right));
1283 }
1284
1285 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1286 DeoptimizeIf(overflow, instr->environment());
1287 }
1288}
1289
1290
1291void LCodeGen::DoArithmeticD(LArithmeticD* instr) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001292 XMMRegister left = ToDoubleRegister(instr->InputAt(0));
1293 XMMRegister right = ToDoubleRegister(instr->InputAt(1));
1294 XMMRegister result = ToDoubleRegister(instr->result());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001295 // Modulo uses a fixed result register.
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001296 ASSERT(instr->op() == Token::MOD || left.is(result));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001297 switch (instr->op()) {
1298 case Token::ADD:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001299 __ addsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001300 break;
1301 case Token::SUB:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001302 __ subsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001303 break;
1304 case Token::MUL:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001305 __ mulsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001306 break;
1307 case Token::DIV:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001308 __ divsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001309 break;
1310 case Token::MOD: {
1311 // Pass two doubles as arguments on the stack.
1312 __ PrepareCallCFunction(4, eax);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001313 __ movdbl(Operand(esp, 0 * kDoubleSize), left);
1314 __ movdbl(Operand(esp, 1 * kDoubleSize), right);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001315 __ CallCFunction(
1316 ExternalReference::double_fp_operation(Token::MOD, isolate()),
1317 4);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001318
1319 // Return value is in st(0) on ia32.
1320 // Store it into the (fixed) result register.
1321 __ sub(Operand(esp), Immediate(kDoubleSize));
1322 __ fstp_d(Operand(esp, 0));
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001323 __ movdbl(result, Operand(esp, 0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001324 __ add(Operand(esp), Immediate(kDoubleSize));
1325 break;
1326 }
1327 default:
1328 UNREACHABLE();
1329 break;
1330 }
1331}
1332
1333
1334void LCodeGen::DoArithmeticT(LArithmeticT* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001335 ASSERT(ToRegister(instr->context()).is(esi));
1336 ASSERT(ToRegister(instr->left()).is(edx));
1337 ASSERT(ToRegister(instr->right()).is(eax));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001338 ASSERT(ToRegister(instr->result()).is(eax));
1339
danno@chromium.org40cb8782011-05-25 07:58:50 +00001340 BinaryOpStub stub(instr->op(), NO_OVERWRITE);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001341 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
whesse@chromium.org030d38e2011-07-13 13:23:34 +00001342 __ nop(); // Signals no inlined code.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001343}
1344
1345
1346int LCodeGen::GetNextEmittedBlock(int block) {
1347 for (int i = block + 1; i < graph()->blocks()->length(); ++i) {
1348 LLabel* label = chunk_->GetLabel(i);
1349 if (!label->HasReplacement()) return i;
1350 }
1351 return -1;
1352}
1353
1354
1355void LCodeGen::EmitBranch(int left_block, int right_block, Condition cc) {
1356 int next_block = GetNextEmittedBlock(current_block_);
1357 right_block = chunk_->LookupDestination(right_block);
1358 left_block = chunk_->LookupDestination(left_block);
1359
1360 if (right_block == left_block) {
1361 EmitGoto(left_block);
1362 } else if (left_block == next_block) {
1363 __ j(NegateCondition(cc), chunk_->GetAssemblyLabel(right_block));
1364 } else if (right_block == next_block) {
1365 __ j(cc, chunk_->GetAssemblyLabel(left_block));
1366 } else {
1367 __ j(cc, chunk_->GetAssemblyLabel(left_block));
1368 __ jmp(chunk_->GetAssemblyLabel(right_block));
1369 }
1370}
1371
1372
1373void LCodeGen::DoBranch(LBranch* instr) {
1374 int true_block = chunk_->LookupDestination(instr->true_block_id());
1375 int false_block = chunk_->LookupDestination(instr->false_block_id());
1376
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001377 Representation r = instr->hydrogen()->value()->representation();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001378 if (r.IsInteger32()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001379 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001380 __ test(reg, Operand(reg));
1381 EmitBranch(true_block, false_block, not_zero);
1382 } else if (r.IsDouble()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001383 XMMRegister reg = ToDoubleRegister(instr->InputAt(0));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001384 __ xorps(xmm0, xmm0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001385 __ ucomisd(reg, xmm0);
1386 EmitBranch(true_block, false_block, not_equal);
1387 } else {
1388 ASSERT(r.IsTagged());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001389 Register reg = ToRegister(instr->InputAt(0));
lrn@chromium.orgd4e9e222011-08-03 12:01:58 +00001390 HType type = instr->hydrogen()->value()->type();
1391 if (type.IsBoolean()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001392 __ cmp(reg, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001393 EmitBranch(true_block, false_block, equal);
lrn@chromium.orgd4e9e222011-08-03 12:01:58 +00001394 } else if (type.IsSmi()) {
1395 __ test(reg, Operand(reg));
1396 EmitBranch(true_block, false_block, not_equal);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001397 } else {
1398 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1399 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1400
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001401 ToBooleanStub::Types expected = instr->hydrogen()->expected_input_types();
1402 // Avoid deopts in the case where we've never executed this path before.
1403 if (expected.IsEmpty()) expected = ToBooleanStub::all_types();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001404
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001405 if (expected.Contains(ToBooleanStub::UNDEFINED)) {
1406 // undefined -> false.
1407 __ cmp(reg, factory()->undefined_value());
1408 __ j(equal, false_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001409 }
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001410 if (expected.Contains(ToBooleanStub::BOOLEAN)) {
1411 // true -> true.
1412 __ cmp(reg, factory()->true_value());
1413 __ j(equal, true_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001414 // false -> false.
1415 __ cmp(reg, factory()->false_value());
1416 __ j(equal, false_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001417 }
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001418 if (expected.Contains(ToBooleanStub::NULL_TYPE)) {
1419 // 'null' -> false.
1420 __ cmp(reg, factory()->null_value());
1421 __ j(equal, false_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001422 }
1423
1424 if (expected.Contains(ToBooleanStub::SMI)) {
1425 // Smis: 0 -> false, all other -> true.
1426 __ test(reg, Operand(reg));
1427 __ j(equal, false_label);
1428 __ JumpIfSmi(reg, true_label);
1429 } else if (expected.NeedsMap()) {
1430 // If we need a map later and have a Smi -> deopt.
1431 __ test(reg, Immediate(kSmiTagMask));
1432 DeoptimizeIf(zero, instr->environment());
1433 }
1434
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001435 Register map = no_reg; // Keep the compiler happy.
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001436 if (expected.NeedsMap()) {
1437 map = ToRegister(instr->TempAt(0));
1438 ASSERT(!map.is(reg));
1439 __ mov(map, FieldOperand(reg, HeapObject::kMapOffset));
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001440
1441 if (expected.CanBeUndetectable()) {
1442 // Undetectable -> false.
1443 __ test_b(FieldOperand(map, Map::kBitFieldOffset),
1444 1 << Map::kIsUndetectable);
1445 __ j(not_zero, false_label);
1446 }
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001447 }
1448
1449 if (expected.Contains(ToBooleanStub::SPEC_OBJECT)) {
1450 // spec object -> true.
1451 __ CmpInstanceType(map, FIRST_SPEC_OBJECT_TYPE);
1452 __ j(above_equal, true_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001453 }
1454
1455 if (expected.Contains(ToBooleanStub::STRING)) {
1456 // String value -> false iff empty.
1457 Label not_string;
1458 __ CmpInstanceType(map, FIRST_NONSTRING_TYPE);
1459 __ j(above_equal, &not_string, Label::kNear);
1460 __ cmp(FieldOperand(reg, String::kLengthOffset), Immediate(0));
1461 __ j(not_zero, true_label);
1462 __ jmp(false_label);
1463 __ bind(&not_string);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001464 }
1465
1466 if (expected.Contains(ToBooleanStub::HEAP_NUMBER)) {
1467 // heap number -> false iff +0, -0, or NaN.
1468 Label not_heap_number;
1469 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
1470 factory()->heap_number_map());
1471 __ j(not_equal, &not_heap_number, Label::kNear);
1472 __ fldz();
1473 __ fld_d(FieldOperand(reg, HeapNumber::kValueOffset));
1474 __ FCmp();
1475 __ j(zero, false_label);
1476 __ jmp(true_label);
1477 __ bind(&not_heap_number);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001478 }
1479
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001480 // We've seen something for the first time -> deopt.
1481 DeoptimizeIf(no_condition, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001482 }
1483 }
1484}
1485
1486
ager@chromium.org04921a82011-06-27 13:21:41 +00001487void LCodeGen::EmitGoto(int block) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001488 block = chunk_->LookupDestination(block);
1489 int next_block = GetNextEmittedBlock(current_block_);
1490 if (block != next_block) {
ager@chromium.org04921a82011-06-27 13:21:41 +00001491 __ jmp(chunk_->GetAssemblyLabel(block));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001492 }
1493}
1494
1495
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001496void LCodeGen::DoGoto(LGoto* instr) {
ager@chromium.org04921a82011-06-27 13:21:41 +00001497 EmitGoto(instr->block_id());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001498}
1499
1500
1501Condition LCodeGen::TokenToCondition(Token::Value op, bool is_unsigned) {
1502 Condition cond = no_condition;
1503 switch (op) {
1504 case Token::EQ:
1505 case Token::EQ_STRICT:
1506 cond = equal;
1507 break;
1508 case Token::LT:
1509 cond = is_unsigned ? below : less;
1510 break;
1511 case Token::GT:
1512 cond = is_unsigned ? above : greater;
1513 break;
1514 case Token::LTE:
1515 cond = is_unsigned ? below_equal : less_equal;
1516 break;
1517 case Token::GTE:
1518 cond = is_unsigned ? above_equal : greater_equal;
1519 break;
1520 case Token::IN:
1521 case Token::INSTANCEOF:
1522 default:
1523 UNREACHABLE();
1524 }
1525 return cond;
1526}
1527
1528
1529void LCodeGen::EmitCmpI(LOperand* left, LOperand* right) {
1530 if (right->IsConstantOperand()) {
1531 __ cmp(ToOperand(left), ToImmediate(right));
1532 } else {
1533 __ cmp(ToRegister(left), ToOperand(right));
1534 }
1535}
1536
1537
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001538void LCodeGen::DoCmpIDAndBranch(LCmpIDAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001539 LOperand* left = instr->InputAt(0);
1540 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001541 int false_block = chunk_->LookupDestination(instr->false_block_id());
1542 int true_block = chunk_->LookupDestination(instr->true_block_id());
1543
1544 if (instr->is_double()) {
1545 // Don't base result on EFLAGS when a NaN is involved. Instead
1546 // jump to the false block.
1547 __ ucomisd(ToDoubleRegister(left), ToDoubleRegister(right));
1548 __ j(parity_even, chunk_->GetAssemblyLabel(false_block));
1549 } else {
1550 EmitCmpI(left, right);
1551 }
1552
1553 Condition cc = TokenToCondition(instr->op(), instr->is_double());
1554 EmitBranch(true_block, false_block, cc);
1555}
1556
1557
lrn@chromium.orgac2828d2011-06-23 06:29:21 +00001558void LCodeGen::DoCmpObjectEqAndBranch(LCmpObjectEqAndBranch* instr) {
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001559 Register left = ToRegister(instr->InputAt(0));
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001560 Operand right = ToOperand(instr->InputAt(1));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001561 int false_block = chunk_->LookupDestination(instr->false_block_id());
1562 int true_block = chunk_->LookupDestination(instr->true_block_id());
1563
1564 __ cmp(left, Operand(right));
1565 EmitBranch(true_block, false_block, equal);
1566}
1567
1568
whesse@chromium.org7b260152011-06-20 15:33:18 +00001569void LCodeGen::DoCmpConstantEqAndBranch(LCmpConstantEqAndBranch* instr) {
1570 Register left = ToRegister(instr->InputAt(0));
1571 int true_block = chunk_->LookupDestination(instr->true_block_id());
1572 int false_block = chunk_->LookupDestination(instr->false_block_id());
1573
1574 __ cmp(left, instr->hydrogen()->right());
1575 EmitBranch(true_block, false_block, equal);
1576}
1577
1578
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001579void LCodeGen::DoIsNullAndBranch(LIsNullAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001580 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001581
1582 // TODO(fsc): If the expression is known to be a smi, then it's
1583 // definitely not null. Jump to the false block.
1584
1585 int true_block = chunk_->LookupDestination(instr->true_block_id());
1586 int false_block = chunk_->LookupDestination(instr->false_block_id());
1587
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001588 __ cmp(reg, factory()->null_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001589 if (instr->is_strict()) {
1590 EmitBranch(true_block, false_block, equal);
1591 } else {
1592 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1593 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1594 __ j(equal, true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001595 __ cmp(reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001596 __ j(equal, true_label);
whesse@chromium.org7b260152011-06-20 15:33:18 +00001597 __ JumpIfSmi(reg, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001598 // Check for undetectable objects by looking in the bit field in
1599 // the map. The object has already been smi checked.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001600 Register scratch = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001601 __ mov(scratch, FieldOperand(reg, HeapObject::kMapOffset));
1602 __ movzx_b(scratch, FieldOperand(scratch, Map::kBitFieldOffset));
1603 __ test(scratch, Immediate(1 << Map::kIsUndetectable));
1604 EmitBranch(true_block, false_block, not_zero);
1605 }
1606}
1607
1608
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001609Condition LCodeGen::EmitIsObject(Register input,
1610 Register temp1,
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001611 Label* is_not_object,
1612 Label* is_object) {
whesse@chromium.org7b260152011-06-20 15:33:18 +00001613 __ JumpIfSmi(input, is_not_object);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001614
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001615 __ cmp(input, isolate()->factory()->null_value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001616 __ j(equal, is_object);
1617
1618 __ mov(temp1, FieldOperand(input, HeapObject::kMapOffset));
1619 // Undetectable objects behave like undefined.
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001620 __ test_b(FieldOperand(temp1, Map::kBitFieldOffset),
1621 1 << Map::kIsUndetectable);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001622 __ j(not_zero, is_not_object);
1623
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001624 __ movzx_b(temp1, FieldOperand(temp1, Map::kInstanceTypeOffset));
1625 __ cmp(temp1, FIRST_NONCALLABLE_SPEC_OBJECT_TYPE);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001626 __ j(below, is_not_object);
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001627 __ cmp(temp1, LAST_NONCALLABLE_SPEC_OBJECT_TYPE);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001628 return below_equal;
1629}
1630
1631
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001632void LCodeGen::DoIsObjectAndBranch(LIsObjectAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001633 Register reg = ToRegister(instr->InputAt(0));
1634 Register temp = ToRegister(instr->TempAt(0));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001635
1636 int true_block = chunk_->LookupDestination(instr->true_block_id());
1637 int false_block = chunk_->LookupDestination(instr->false_block_id());
1638 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1639 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1640
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001641 Condition true_cond = EmitIsObject(reg, temp, false_label, true_label);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001642
1643 EmitBranch(true_block, false_block, true_cond);
1644}
1645
1646
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001647void LCodeGen::DoIsSmiAndBranch(LIsSmiAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001648 Operand input = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001649
1650 int true_block = chunk_->LookupDestination(instr->true_block_id());
1651 int false_block = chunk_->LookupDestination(instr->false_block_id());
1652
1653 __ test(input, Immediate(kSmiTagMask));
1654 EmitBranch(true_block, false_block, zero);
1655}
1656
1657
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001658void LCodeGen::DoIsUndetectableAndBranch(LIsUndetectableAndBranch* instr) {
1659 Register input = ToRegister(instr->InputAt(0));
1660 Register temp = ToRegister(instr->TempAt(0));
1661
1662 int true_block = chunk_->LookupDestination(instr->true_block_id());
1663 int false_block = chunk_->LookupDestination(instr->false_block_id());
1664
1665 STATIC_ASSERT(kSmiTag == 0);
whesse@chromium.org7b260152011-06-20 15:33:18 +00001666 __ JumpIfSmi(input, chunk_->GetAssemblyLabel(false_block));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001667 __ mov(temp, FieldOperand(input, HeapObject::kMapOffset));
1668 __ test_b(FieldOperand(temp, Map::kBitFieldOffset),
1669 1 << Map::kIsUndetectable);
1670 EmitBranch(true_block, false_block, not_zero);
1671}
1672
1673
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001674static InstanceType TestType(HHasInstanceTypeAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001675 InstanceType from = instr->from();
1676 InstanceType to = instr->to();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001677 if (from == FIRST_TYPE) return to;
1678 ASSERT(from == to || to == LAST_TYPE);
1679 return from;
1680}
1681
1682
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001683static Condition BranchCondition(HHasInstanceTypeAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001684 InstanceType from = instr->from();
1685 InstanceType to = instr->to();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001686 if (from == to) return equal;
1687 if (to == LAST_TYPE) return above_equal;
1688 if (from == FIRST_TYPE) return below_equal;
1689 UNREACHABLE();
1690 return equal;
1691}
1692
1693
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001694void LCodeGen::DoHasInstanceTypeAndBranch(LHasInstanceTypeAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001695 Register input = ToRegister(instr->InputAt(0));
1696 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001697
1698 int true_block = chunk_->LookupDestination(instr->true_block_id());
1699 int false_block = chunk_->LookupDestination(instr->false_block_id());
1700
1701 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1702
whesse@chromium.org7b260152011-06-20 15:33:18 +00001703 __ JumpIfSmi(input, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001704
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001705 __ CmpObjectType(input, TestType(instr->hydrogen()), temp);
1706 EmitBranch(true_block, false_block, BranchCondition(instr->hydrogen()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001707}
1708
1709
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001710void LCodeGen::DoGetCachedArrayIndex(LGetCachedArrayIndex* instr) {
1711 Register input = ToRegister(instr->InputAt(0));
1712 Register result = ToRegister(instr->result());
1713
1714 if (FLAG_debug_code) {
1715 __ AbortIfNotString(input);
1716 }
1717
1718 __ mov(result, FieldOperand(input, String::kHashFieldOffset));
1719 __ IndexFromHash(result, result);
1720}
1721
1722
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001723void LCodeGen::DoHasCachedArrayIndexAndBranch(
1724 LHasCachedArrayIndexAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001725 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001726
1727 int true_block = chunk_->LookupDestination(instr->true_block_id());
1728 int false_block = chunk_->LookupDestination(instr->false_block_id());
1729
1730 __ test(FieldOperand(input, String::kHashFieldOffset),
1731 Immediate(String::kContainsCachedArrayIndexMask));
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001732 EmitBranch(true_block, false_block, equal);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001733}
1734
1735
1736// Branches to a label or falls through with the answer in the z flag. Trashes
1737// the temp registers, but not the input. Only input and temp2 may alias.
1738void LCodeGen::EmitClassOfTest(Label* is_true,
1739 Label* is_false,
1740 Handle<String>class_name,
1741 Register input,
1742 Register temp,
1743 Register temp2) {
1744 ASSERT(!input.is(temp));
1745 ASSERT(!temp.is(temp2)); // But input and temp2 may be the same register.
whesse@chromium.org7b260152011-06-20 15:33:18 +00001746 __ JumpIfSmi(input, is_false);
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001747 __ CmpObjectType(input, FIRST_SPEC_OBJECT_TYPE, temp);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001748 __ j(below, is_false);
1749
1750 // Map is now in temp.
1751 // Functions have class 'Function'.
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001752 __ CmpInstanceType(temp, FIRST_CALLABLE_SPEC_OBJECT_TYPE);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001753 if (class_name->IsEqualTo(CStrVector("Function"))) {
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001754 __ j(above_equal, is_true);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001755 } else {
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001756 __ j(above_equal, is_false);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001757 }
1758
1759 // Check if the constructor in the map is a function.
1760 __ mov(temp, FieldOperand(temp, Map::kConstructorOffset));
1761
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001762 // As long as LAST_CALLABLE_SPEC_OBJECT_TYPE is the last instance type, and
1763 // FIRST_CALLABLE_SPEC_OBJECT_TYPE comes right after
1764 // LAST_NONCALLABLE_SPEC_OBJECT_TYPE, we can avoid checking for the latter.
1765 STATIC_ASSERT(LAST_TYPE == LAST_CALLABLE_SPEC_OBJECT_TYPE);
1766 STATIC_ASSERT(FIRST_CALLABLE_SPEC_OBJECT_TYPE ==
1767 LAST_NONCALLABLE_SPEC_OBJECT_TYPE + 1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001768
1769 // Objects with a non-function constructor have class 'Object'.
1770 __ CmpObjectType(temp, JS_FUNCTION_TYPE, temp2);
1771 if (class_name->IsEqualTo(CStrVector("Object"))) {
1772 __ j(not_equal, is_true);
1773 } else {
1774 __ j(not_equal, is_false);
1775 }
1776
1777 // temp now contains the constructor function. Grab the
1778 // instance class name from there.
1779 __ mov(temp, FieldOperand(temp, JSFunction::kSharedFunctionInfoOffset));
1780 __ mov(temp, FieldOperand(temp,
1781 SharedFunctionInfo::kInstanceClassNameOffset));
1782 // The class name we are testing against is a symbol because it's a literal.
1783 // The name in the constructor is a symbol because of the way the context is
1784 // booted. This routine isn't expected to work for random API-created
1785 // classes and it doesn't have to because you can't access it with natives
1786 // syntax. Since both sides are symbols it is sufficient to use an identity
1787 // comparison.
1788 __ cmp(temp, class_name);
1789 // End with the answer in the z flag.
1790}
1791
1792
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001793void LCodeGen::DoClassOfTestAndBranch(LClassOfTestAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001794 Register input = ToRegister(instr->InputAt(0));
1795 Register temp = ToRegister(instr->TempAt(0));
1796 Register temp2 = ToRegister(instr->TempAt(1));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001797 if (input.is(temp)) {
1798 // Swap.
1799 Register swapper = temp;
1800 temp = temp2;
1801 temp2 = swapper;
1802 }
1803 Handle<String> class_name = instr->hydrogen()->class_name();
1804
1805 int true_block = chunk_->LookupDestination(instr->true_block_id());
1806 int false_block = chunk_->LookupDestination(instr->false_block_id());
1807
1808 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1809 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1810
1811 EmitClassOfTest(true_label, false_label, class_name, input, temp, temp2);
1812
1813 EmitBranch(true_block, false_block, equal);
1814}
1815
1816
1817void LCodeGen::DoCmpMapAndBranch(LCmpMapAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001818 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001819 int true_block = instr->true_block_id();
1820 int false_block = instr->false_block_id();
1821
1822 __ cmp(FieldOperand(reg, HeapObject::kMapOffset), instr->map());
1823 EmitBranch(true_block, false_block, equal);
1824}
1825
1826
1827void LCodeGen::DoInstanceOf(LInstanceOf* instr) {
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001828 // Object and function are in fixed registers defined by the stub.
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001829 ASSERT(ToRegister(instr->context()).is(esi));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001830 InstanceofStub stub(InstanceofStub::kArgsInRegisters);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001831 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001832
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001833 Label true_value, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001834 __ test(eax, Operand(eax));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001835 __ j(zero, &true_value, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001836 __ mov(ToRegister(instr->result()), factory()->false_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001837 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001838 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001839 __ mov(ToRegister(instr->result()), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001840 __ bind(&done);
1841}
1842
1843
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001844void LCodeGen::DoInstanceOfKnownGlobal(LInstanceOfKnownGlobal* instr) {
1845 class DeferredInstanceOfKnownGlobal: public LDeferredCode {
1846 public:
1847 DeferredInstanceOfKnownGlobal(LCodeGen* codegen,
1848 LInstanceOfKnownGlobal* instr)
1849 : LDeferredCode(codegen), instr_(instr) { }
1850 virtual void Generate() {
1851 codegen()->DoDeferredLInstanceOfKnownGlobal(instr_, &map_check_);
1852 }
1853
1854 Label* map_check() { return &map_check_; }
1855
1856 private:
1857 LInstanceOfKnownGlobal* instr_;
1858 Label map_check_;
1859 };
1860
1861 DeferredInstanceOfKnownGlobal* deferred;
1862 deferred = new DeferredInstanceOfKnownGlobal(this, instr);
1863
1864 Label done, false_result;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001865 Register object = ToRegister(instr->InputAt(1));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001866 Register temp = ToRegister(instr->TempAt(0));
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001867
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001868 // A Smi is not an instance of anything.
whesse@chromium.org7b260152011-06-20 15:33:18 +00001869 __ JumpIfSmi(object, &false_result);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001870
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001871 // This is the inlined call site instanceof cache. The two occurences of the
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001872 // hole value will be patched to the last map/result pair generated by the
1873 // instanceof stub.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001874 Label cache_miss;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001875 Register map = ToRegister(instr->TempAt(0));
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001876 __ mov(map, FieldOperand(object, HeapObject::kMapOffset));
1877 __ bind(deferred->map_check()); // Label for calculating code patching.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001878 __ cmp(map, factory()->the_hole_value()); // Patched to cached map.
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001879 __ j(not_equal, &cache_miss, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001880 __ mov(eax, factory()->the_hole_value()); // Patched to either true or false.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001881 __ jmp(&done);
1882
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001883 // The inlined call site cache did not match. Check for null and string
1884 // before calling the deferred code.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001885 __ bind(&cache_miss);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001886 // Null is not an instance of anything.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001887 __ cmp(object, factory()->null_value());
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001888 __ j(equal, &false_result);
1889
1890 // String values are not instances of anything.
1891 Condition is_string = masm_->IsObjectStringType(object, temp, temp);
1892 __ j(is_string, &false_result);
1893
1894 // Go to the deferred code.
1895 __ jmp(deferred->entry());
1896
1897 __ bind(&false_result);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001898 __ mov(ToRegister(instr->result()), factory()->false_value());
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001899
1900 // Here result has either true or false. Deferred code also produces true or
1901 // false object.
1902 __ bind(deferred->exit());
1903 __ bind(&done);
1904}
1905
1906
1907void LCodeGen::DoDeferredLInstanceOfKnownGlobal(LInstanceOfKnownGlobal* instr,
1908 Label* map_check) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001909 PushSafepointRegistersScope scope(this);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001910
1911 InstanceofStub::Flags flags = InstanceofStub::kNoFlags;
1912 flags = static_cast<InstanceofStub::Flags>(
1913 flags | InstanceofStub::kArgsInRegisters);
1914 flags = static_cast<InstanceofStub::Flags>(
1915 flags | InstanceofStub::kCallSiteInlineCheck);
1916 flags = static_cast<InstanceofStub::Flags>(
1917 flags | InstanceofStub::kReturnTrueFalseObject);
1918 InstanceofStub stub(flags);
1919
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001920 // Get the temp register reserved by the instruction. This needs to be a
1921 // register which is pushed last by PushSafepointRegisters as top of the
1922 // stack is used to pass the offset to the location of the map check to
1923 // the stub.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001924 Register temp = ToRegister(instr->TempAt(0));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001925 ASSERT(MacroAssembler::SafepointRegisterStackIndex(temp) == 0);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001926 __ mov(InstanceofStub::right(), Immediate(instr->function()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001927 static const int kAdditionalDelta = 13;
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001928 int delta = masm_->SizeOfCodeGeneratedSince(map_check) + kAdditionalDelta;
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001929 __ mov(temp, Immediate(delta));
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001930 __ StoreToSafepointRegisterSlot(temp, temp);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001931 CallCodeGeneric(stub.GetCode(),
1932 RelocInfo::CODE_TARGET,
1933 instr,
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001934 RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001935 // Put the result value into the eax slot and restore all registers.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001936 __ StoreToSafepointRegisterSlot(eax, eax);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001937}
1938
1939
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001940static Condition ComputeCompareCondition(Token::Value op) {
1941 switch (op) {
1942 case Token::EQ_STRICT:
1943 case Token::EQ:
1944 return equal;
1945 case Token::LT:
1946 return less;
1947 case Token::GT:
1948 return greater;
1949 case Token::LTE:
1950 return less_equal;
1951 case Token::GTE:
1952 return greater_equal;
1953 default:
1954 UNREACHABLE();
1955 return no_condition;
1956 }
1957}
1958
1959
1960void LCodeGen::DoCmpT(LCmpT* instr) {
1961 Token::Value op = instr->op();
1962
1963 Handle<Code> ic = CompareIC::GetUninitialized(op);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001964 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001965
1966 Condition condition = ComputeCompareCondition(op);
1967 if (op == Token::GT || op == Token::LTE) {
1968 condition = ReverseCondition(condition);
1969 }
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001970 Label true_value, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001971 __ test(eax, Operand(eax));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001972 __ j(condition, &true_value, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001973 __ mov(ToRegister(instr->result()), factory()->false_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001974 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001975 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001976 __ mov(ToRegister(instr->result()), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001977 __ bind(&done);
1978}
1979
1980
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001981void LCodeGen::DoReturn(LReturn* instr) {
1982 if (FLAG_trace) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001983 // Preserve the return value on the stack and rely on the runtime call
1984 // to return the value in the same register. We're leaving the code
1985 // managed by the register allocator and tearing down the frame, it's
1986 // safe to write to the context register.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001987 __ push(eax);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001988 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001989 __ CallRuntime(Runtime::kTraceExit, 1);
1990 }
1991 __ mov(esp, ebp);
1992 __ pop(ebp);
danno@chromium.org160a7b02011-04-18 15:51:38 +00001993 __ Ret((GetParameterCount() + 1) * kPointerSize, ecx);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001994}
1995
1996
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001997void LCodeGen::DoLoadGlobalCell(LLoadGlobalCell* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001998 Register result = ToRegister(instr->result());
1999 __ mov(result, Operand::Cell(instr->hydrogen()->cell()));
2000 if (instr->hydrogen()->check_hole_value()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002001 __ cmp(result, factory()->the_hole_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002002 DeoptimizeIf(equal, instr->environment());
2003 }
2004}
2005
2006
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002007void LCodeGen::DoLoadGlobalGeneric(LLoadGlobalGeneric* instr) {
2008 ASSERT(ToRegister(instr->context()).is(esi));
2009 ASSERT(ToRegister(instr->global_object()).is(eax));
2010 ASSERT(ToRegister(instr->result()).is(eax));
2011
2012 __ mov(ecx, instr->name());
2013 RelocInfo::Mode mode = instr->for_typeof() ? RelocInfo::CODE_TARGET :
2014 RelocInfo::CODE_TARGET_CONTEXT;
2015 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002016 CallCode(ic, mode, instr);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002017}
2018
2019
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002020void LCodeGen::DoStoreGlobalCell(LStoreGlobalCell* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002021 Register value = ToRegister(instr->InputAt(0));
ager@chromium.org378b34e2011-01-28 08:04:38 +00002022 Operand cell_operand = Operand::Cell(instr->hydrogen()->cell());
2023
2024 // If the cell we are storing to contains the hole it could have
2025 // been deleted from the property dictionary. In that case, we need
2026 // to update the property details in the property dictionary to mark
2027 // it as no longer deleted. We deoptimize in that case.
2028 if (instr->hydrogen()->check_hole_value()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002029 __ cmp(cell_operand, factory()->the_hole_value());
ager@chromium.org378b34e2011-01-28 08:04:38 +00002030 DeoptimizeIf(equal, instr->environment());
2031 }
2032
2033 // Store the value.
2034 __ mov(cell_operand, value);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002035}
2036
2037
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002038void LCodeGen::DoStoreGlobalGeneric(LStoreGlobalGeneric* instr) {
2039 ASSERT(ToRegister(instr->context()).is(esi));
2040 ASSERT(ToRegister(instr->global_object()).is(edx));
2041 ASSERT(ToRegister(instr->value()).is(eax));
2042
2043 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002044 Handle<Code> ic = instr->strict_mode()
2045 ? isolate()->builtins()->StoreIC_Initialize_Strict()
2046 : isolate()->builtins()->StoreIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002047 CallCode(ic, RelocInfo::CODE_TARGET_CONTEXT, instr);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002048}
2049
2050
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002051void LCodeGen::DoLoadContextSlot(LLoadContextSlot* instr) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002052 Register context = ToRegister(instr->context());
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002053 Register result = ToRegister(instr->result());
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002054 __ mov(result, ContextOperand(context, instr->slot_index()));
2055}
2056
2057
2058void LCodeGen::DoStoreContextSlot(LStoreContextSlot* instr) {
2059 Register context = ToRegister(instr->context());
2060 Register value = ToRegister(instr->value());
2061 __ mov(ContextOperand(context, instr->slot_index()), value);
2062 if (instr->needs_write_barrier()) {
2063 Register temp = ToRegister(instr->TempAt(0));
2064 int offset = Context::SlotOffset(instr->slot_index());
2065 __ RecordWrite(context, offset, value, temp);
2066 }
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002067}
2068
2069
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002070void LCodeGen::DoLoadNamedField(LLoadNamedField* instr) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002071 Register object = ToRegister(instr->object());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002072 Register result = ToRegister(instr->result());
2073 if (instr->hydrogen()->is_in_object()) {
2074 __ mov(result, FieldOperand(object, instr->hydrogen()->offset()));
2075 } else {
2076 __ mov(result, FieldOperand(object, JSObject::kPropertiesOffset));
2077 __ mov(result, FieldOperand(result, instr->hydrogen()->offset()));
2078 }
2079}
2080
2081
lrn@chromium.org1c092762011-05-09 09:42:16 +00002082void LCodeGen::EmitLoadFieldOrConstantFunction(Register result,
2083 Register object,
2084 Handle<Map> type,
2085 Handle<String> name) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002086 LookupResult lookup;
2087 type->LookupInDescriptors(NULL, *name, &lookup);
lrn@chromium.org1c092762011-05-09 09:42:16 +00002088 ASSERT(lookup.IsProperty() &&
2089 (lookup.type() == FIELD || lookup.type() == CONSTANT_FUNCTION));
2090 if (lookup.type() == FIELD) {
2091 int index = lookup.GetLocalFieldIndexFromMap(*type);
2092 int offset = index * kPointerSize;
2093 if (index < 0) {
2094 // Negative property indices are in-object properties, indexed
2095 // from the end of the fixed part of the object.
2096 __ mov(result, FieldOperand(object, offset + type->instance_size()));
2097 } else {
2098 // Non-negative property indices are in the properties array.
2099 __ mov(result, FieldOperand(object, JSObject::kPropertiesOffset));
2100 __ mov(result, FieldOperand(result, offset + FixedArray::kHeaderSize));
2101 }
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002102 } else {
lrn@chromium.org1c092762011-05-09 09:42:16 +00002103 Handle<JSFunction> function(lookup.GetConstantFunctionFromMap(*type));
2104 LoadHeapObject(result, Handle<HeapObject>::cast(function));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002105 }
2106}
2107
2108
2109void LCodeGen::DoLoadNamedFieldPolymorphic(LLoadNamedFieldPolymorphic* instr) {
2110 Register object = ToRegister(instr->object());
2111 Register result = ToRegister(instr->result());
2112
2113 int map_count = instr->hydrogen()->types()->length();
2114 Handle<String> name = instr->hydrogen()->name();
2115 if (map_count == 0) {
2116 ASSERT(instr->hydrogen()->need_generic());
2117 __ mov(ecx, name);
2118 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002119 CallCode(ic, RelocInfo::CODE_TARGET, instr);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002120 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002121 Label done;
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002122 for (int i = 0; i < map_count - 1; ++i) {
2123 Handle<Map> map = instr->hydrogen()->types()->at(i);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002124 Label next;
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002125 __ cmp(FieldOperand(object, HeapObject::kMapOffset), map);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002126 __ j(not_equal, &next, Label::kNear);
lrn@chromium.org1c092762011-05-09 09:42:16 +00002127 EmitLoadFieldOrConstantFunction(result, object, map, name);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002128 __ jmp(&done, Label::kNear);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002129 __ bind(&next);
2130 }
2131 Handle<Map> map = instr->hydrogen()->types()->last();
2132 __ cmp(FieldOperand(object, HeapObject::kMapOffset), map);
2133 if (instr->hydrogen()->need_generic()) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002134 Label generic;
2135 __ j(not_equal, &generic, Label::kNear);
lrn@chromium.org1c092762011-05-09 09:42:16 +00002136 EmitLoadFieldOrConstantFunction(result, object, map, name);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002137 __ jmp(&done, Label::kNear);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002138 __ bind(&generic);
2139 __ mov(ecx, name);
2140 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002141 CallCode(ic, RelocInfo::CODE_TARGET, instr);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002142 } else {
2143 DeoptimizeIf(not_equal, instr->environment());
lrn@chromium.org1c092762011-05-09 09:42:16 +00002144 EmitLoadFieldOrConstantFunction(result, object, map, name);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002145 }
2146 __ bind(&done);
2147 }
2148}
2149
2150
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002151void LCodeGen::DoLoadNamedGeneric(LLoadNamedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002152 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002153 ASSERT(ToRegister(instr->object()).is(eax));
2154 ASSERT(ToRegister(instr->result()).is(eax));
2155
2156 __ mov(ecx, instr->name());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002157 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002158 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002159}
2160
2161
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002162void LCodeGen::DoLoadFunctionPrototype(LLoadFunctionPrototype* instr) {
2163 Register function = ToRegister(instr->function());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002164 Register temp = ToRegister(instr->TempAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002165 Register result = ToRegister(instr->result());
2166
2167 // Check that the function really is a function.
2168 __ CmpObjectType(function, JS_FUNCTION_TYPE, result);
2169 DeoptimizeIf(not_equal, instr->environment());
2170
2171 // Check whether the function has an instance prototype.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002172 Label non_instance;
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002173 __ test_b(FieldOperand(result, Map::kBitFieldOffset),
2174 1 << Map::kHasNonInstancePrototype);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002175 __ j(not_zero, &non_instance, Label::kNear);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002176
2177 // Get the prototype or initial map from the function.
2178 __ mov(result,
2179 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2180
2181 // Check that the function has a prototype or an initial map.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002182 __ cmp(Operand(result), Immediate(factory()->the_hole_value()));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002183 DeoptimizeIf(equal, instr->environment());
2184
2185 // If the function does not have an initial map, we're done.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002186 Label done;
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002187 __ CmpObjectType(result, MAP_TYPE, temp);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002188 __ j(not_equal, &done, Label::kNear);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002189
2190 // Get the prototype from the initial map.
2191 __ mov(result, FieldOperand(result, Map::kPrototypeOffset));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002192 __ jmp(&done, Label::kNear);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002193
2194 // Non-instance prototype: Fetch prototype from constructor field
2195 // in the function's map.
2196 __ bind(&non_instance);
2197 __ mov(result, FieldOperand(result, Map::kConstructorOffset));
2198
2199 // All done.
2200 __ bind(&done);
2201}
2202
2203
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002204void LCodeGen::DoLoadElements(LLoadElements* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002205 Register result = ToRegister(instr->result());
2206 Register input = ToRegister(instr->InputAt(0));
2207 __ mov(result, FieldOperand(input, JSObject::kElementsOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002208 if (FLAG_debug_code) {
whesse@chromium.org7b260152011-06-20 15:33:18 +00002209 Label done, ok, fail;
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002210 __ cmp(FieldOperand(result, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002211 Immediate(factory()->fixed_array_map()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002212 __ j(equal, &done, Label::kNear);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002213 __ cmp(FieldOperand(result, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002214 Immediate(factory()->fixed_cow_array_map()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002215 __ j(equal, &done, Label::kNear);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002216 Register temp((result.is(eax)) ? ebx : eax);
2217 __ push(temp);
2218 __ mov(temp, FieldOperand(result, HeapObject::kMapOffset));
whesse@chromium.org7b260152011-06-20 15:33:18 +00002219 __ movzx_b(temp, FieldOperand(temp, Map::kBitField2Offset));
2220 __ and_(temp, Map::kElementsKindMask);
2221 __ shr(temp, Map::kElementsKindShift);
2222 __ cmp(temp, JSObject::FAST_ELEMENTS);
2223 __ j(equal, &ok, Label::kNear);
2224 __ cmp(temp, JSObject::FIRST_EXTERNAL_ARRAY_ELEMENTS_KIND);
2225 __ j(less, &fail, Label::kNear);
2226 __ cmp(temp, JSObject::LAST_EXTERNAL_ARRAY_ELEMENTS_KIND);
2227 __ j(less_equal, &ok, Label::kNear);
2228 __ bind(&fail);
2229 __ Abort("Check for fast or external elements failed.");
2230 __ bind(&ok);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002231 __ pop(temp);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002232 __ bind(&done);
2233 }
2234}
2235
2236
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00002237void LCodeGen::DoLoadExternalArrayPointer(
2238 LLoadExternalArrayPointer* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002239 Register result = ToRegister(instr->result());
2240 Register input = ToRegister(instr->InputAt(0));
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00002241 __ mov(result, FieldOperand(input,
2242 ExternalArray::kExternalPointerOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002243}
2244
2245
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002246void LCodeGen::DoAccessArgumentsAt(LAccessArgumentsAt* instr) {
2247 Register arguments = ToRegister(instr->arguments());
2248 Register length = ToRegister(instr->length());
2249 Operand index = ToOperand(instr->index());
2250 Register result = ToRegister(instr->result());
2251
2252 __ sub(length, index);
2253 DeoptimizeIf(below_equal, instr->environment());
2254
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002255 // There are two words between the frame pointer and the last argument.
2256 // Subtracting from length accounts for one of them add one more.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002257 __ mov(result, Operand(arguments, length, times_4, kPointerSize));
2258}
2259
2260
2261void LCodeGen::DoLoadKeyedFastElement(LLoadKeyedFastElement* instr) {
2262 Register elements = ToRegister(instr->elements());
2263 Register key = ToRegister(instr->key());
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002264 Register result = ToRegister(instr->result());
2265 ASSERT(result.is(elements));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002266
2267 // Load the result.
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00002268 __ mov(result, FieldOperand(elements,
2269 key,
2270 times_pointer_size,
2271 FixedArray::kHeaderSize));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002272
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002273 // Check for the hole value.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002274 if (instr->hydrogen()->RequiresHoleCheck()) {
2275 __ cmp(result, factory()->the_hole_value());
2276 DeoptimizeIf(equal, instr->environment());
2277 }
2278}
2279
2280
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002281void LCodeGen::DoLoadKeyedFastDoubleElement(
2282 LLoadKeyedFastDoubleElement* instr) {
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002283 XMMRegister result = ToDoubleRegister(instr->result());
2284
2285 if (instr->hydrogen()->RequiresHoleCheck()) {
2286 int offset = FixedDoubleArray::kHeaderSize - kHeapObjectTag +
2287 sizeof(kHoleNanLower32);
2288 Operand hole_check_operand = BuildFastArrayOperand(
2289 instr->elements(), instr->key(),
2290 JSObject::FAST_DOUBLE_ELEMENTS,
2291 offset);
2292 __ cmp(hole_check_operand, Immediate(kHoleNanUpper32));
2293 DeoptimizeIf(equal, instr->environment());
2294 }
2295
2296 Operand double_load_operand = BuildFastArrayOperand(
2297 instr->elements(), instr->key(), JSObject::FAST_DOUBLE_ELEMENTS,
2298 FixedDoubleArray::kHeaderSize - kHeapObjectTag);
2299 __ movdbl(result, double_load_operand);
2300}
2301
2302
2303Operand LCodeGen::BuildFastArrayOperand(
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002304 LOperand* external_pointer,
2305 LOperand* key,
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002306 JSObject::ElementsKind elements_kind,
2307 uint32_t offset) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002308 Register external_pointer_reg = ToRegister(external_pointer);
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002309 int shift_size = ElementsKindToShiftSize(elements_kind);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002310 if (key->IsConstantOperand()) {
2311 int constant_value = ToInteger32(LConstantOperand::cast(key));
2312 if (constant_value & 0xF0000000) {
2313 Abort("array index constant value too big");
2314 }
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002315 return Operand(external_pointer_reg,
2316 constant_value * (1 << shift_size) + offset);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002317 } else {
2318 ScaleFactor scale_factor = static_cast<ScaleFactor>(shift_size);
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002319 return Operand(external_pointer_reg, ToRegister(key), scale_factor, offset);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002320 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002321}
2322
2323
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002324void LCodeGen::DoLoadKeyedSpecializedArrayElement(
2325 LLoadKeyedSpecializedArrayElement* instr) {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002326 JSObject::ElementsKind elements_kind = instr->elements_kind();
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002327 Operand operand(BuildFastArrayOperand(instr->external_pointer(),
2328 instr->key(), elements_kind, 0));
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002329 if (elements_kind == JSObject::EXTERNAL_FLOAT_ELEMENTS) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002330 XMMRegister result(ToDoubleRegister(instr->result()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002331 __ movss(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002332 __ cvtss2sd(result, result);
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002333 } else if (elements_kind == JSObject::EXTERNAL_DOUBLE_ELEMENTS) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002334 __ movdbl(ToDoubleRegister(instr->result()), operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002335 } else {
2336 Register result(ToRegister(instr->result()));
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002337 switch (elements_kind) {
2338 case JSObject::EXTERNAL_BYTE_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002339 __ movsx_b(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002340 break;
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002341 case JSObject::EXTERNAL_PIXEL_ELEMENTS:
2342 case JSObject::EXTERNAL_UNSIGNED_BYTE_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002343 __ movzx_b(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002344 break;
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002345 case JSObject::EXTERNAL_SHORT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002346 __ movsx_w(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002347 break;
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002348 case JSObject::EXTERNAL_UNSIGNED_SHORT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002349 __ movzx_w(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002350 break;
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002351 case JSObject::EXTERNAL_INT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002352 __ mov(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002353 break;
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002354 case JSObject::EXTERNAL_UNSIGNED_INT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002355 __ mov(result, operand);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002356 __ test(result, Operand(result));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002357 // TODO(danno): we could be more clever here, perhaps having a special
2358 // version of the stub that detects if the overflow case actually
2359 // happens, and generate code that returns a double rather than int.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002360 DeoptimizeIf(negative, instr->environment());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002361 break;
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002362 case JSObject::EXTERNAL_FLOAT_ELEMENTS:
2363 case JSObject::EXTERNAL_DOUBLE_ELEMENTS:
2364 case JSObject::FAST_ELEMENTS:
2365 case JSObject::FAST_DOUBLE_ELEMENTS:
2366 case JSObject::DICTIONARY_ELEMENTS:
whesse@chromium.org7b260152011-06-20 15:33:18 +00002367 case JSObject::NON_STRICT_ARGUMENTS_ELEMENTS:
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002368 UNREACHABLE();
2369 break;
2370 }
2371 }
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002372}
2373
2374
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002375void LCodeGen::DoLoadKeyedGeneric(LLoadKeyedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002376 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002377 ASSERT(ToRegister(instr->object()).is(edx));
2378 ASSERT(ToRegister(instr->key()).is(eax));
2379
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002380 Handle<Code> ic = isolate()->builtins()->KeyedLoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002381 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002382}
2383
2384
2385void LCodeGen::DoArgumentsElements(LArgumentsElements* instr) {
2386 Register result = ToRegister(instr->result());
2387
2388 // Check for arguments adapter frame.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002389 Label done, adapted;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002390 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2391 __ mov(result, Operand(result, StandardFrameConstants::kContextOffset));
2392 __ cmp(Operand(result),
2393 Immediate(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002394 __ j(equal, &adapted, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002395
2396 // No arguments adaptor frame.
2397 __ mov(result, Operand(ebp));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002398 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002399
2400 // Arguments adaptor frame present.
2401 __ bind(&adapted);
2402 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2403
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002404 // Result is the frame pointer for the frame if not adapted and for the real
2405 // frame below the adaptor frame if adapted.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002406 __ bind(&done);
2407}
2408
2409
2410void LCodeGen::DoArgumentsLength(LArgumentsLength* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002411 Operand elem = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002412 Register result = ToRegister(instr->result());
2413
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002414 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002415
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002416 // If no arguments adaptor frame the number of arguments is fixed.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002417 __ cmp(ebp, elem);
2418 __ mov(result, Immediate(scope()->num_parameters()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002419 __ j(equal, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002420
2421 // Arguments adaptor frame present. Get argument length from there.
2422 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2423 __ mov(result, Operand(result,
2424 ArgumentsAdaptorFrameConstants::kLengthOffset));
2425 __ SmiUntag(result);
2426
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002427 // Argument length is in result register.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002428 __ bind(&done);
2429}
2430
2431
2432void LCodeGen::DoApplyArguments(LApplyArguments* instr) {
2433 Register receiver = ToRegister(instr->receiver());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002434 Register function = ToRegister(instr->function());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002435 Register length = ToRegister(instr->length());
2436 Register elements = ToRegister(instr->elements());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002437 Register scratch = ToRegister(instr->TempAt(0));
2438 ASSERT(receiver.is(eax)); // Used for parameter count.
2439 ASSERT(function.is(edi)); // Required by InvokeFunction.
2440 ASSERT(ToRegister(instr->result()).is(eax));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002441
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002442 // If the receiver is null or undefined, we have to pass the global
2443 // object as a receiver to normal functions. Values have to be
2444 // passed unchanged to builtins and strict-mode functions.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002445 Label global_object, receiver_ok;
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002446
2447 // Do not transform the receiver to object for strict mode
2448 // functions.
2449 __ mov(scratch,
2450 FieldOperand(function, JSFunction::kSharedFunctionInfoOffset));
2451 __ test_b(FieldOperand(scratch, SharedFunctionInfo::kStrictModeByteOffset),
2452 1 << SharedFunctionInfo::kStrictModeBitWithinByte);
2453 __ j(not_equal, &receiver_ok, Label::kNear);
2454
2455 // Do not transform the receiver to object for builtins.
2456 __ test_b(FieldOperand(scratch, SharedFunctionInfo::kNativeByteOffset),
2457 1 << SharedFunctionInfo::kNativeBitWithinByte);
2458 __ j(not_equal, &receiver_ok, Label::kNear);
2459
2460 // Normal function. Replace undefined or null with global receiver.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002461 __ cmp(receiver, factory()->null_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002462 __ j(equal, &global_object, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002463 __ cmp(receiver, factory()->undefined_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002464 __ j(equal, &global_object, Label::kNear);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002465
2466 // The receiver should be a JS object.
2467 __ test(receiver, Immediate(kSmiTagMask));
2468 DeoptimizeIf(equal, instr->environment());
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002469 __ CmpObjectType(receiver, FIRST_SPEC_OBJECT_TYPE, scratch);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002470 DeoptimizeIf(below, instr->environment());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002471 __ jmp(&receiver_ok, Label::kNear);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002472
2473 __ bind(&global_object);
2474 // TODO(kmillikin): We have a hydrogen value for the global object. See
2475 // if it's better to use it than to explicitly fetch it from the context
2476 // here.
2477 __ mov(receiver, Operand(ebp, StandardFrameConstants::kContextOffset));
2478 __ mov(receiver, ContextOperand(receiver, Context::GLOBAL_INDEX));
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002479 __ mov(receiver,
2480 FieldOperand(receiver, JSGlobalObject::kGlobalReceiverOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002481 __ bind(&receiver_ok);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002482
2483 // Copy the arguments to this function possibly from the
2484 // adaptor frame below it.
2485 const uint32_t kArgumentsLimit = 1 * KB;
2486 __ cmp(length, kArgumentsLimit);
2487 DeoptimizeIf(above, instr->environment());
2488
2489 __ push(receiver);
2490 __ mov(receiver, length);
2491
2492 // Loop through the arguments pushing them onto the execution
2493 // stack.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002494 Label invoke, loop;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002495 // length is a small non-negative integer, due to the test above.
2496 __ test(length, Operand(length));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002497 __ j(zero, &invoke, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002498 __ bind(&loop);
2499 __ push(Operand(elements, length, times_pointer_size, 1 * kPointerSize));
2500 __ dec(length);
2501 __ j(not_zero, &loop);
2502
2503 // Invoke the function.
2504 __ bind(&invoke);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00002505 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
2506 LPointerMap* pointers = instr->pointer_map();
2507 LEnvironment* env = instr->deoptimization_environment();
2508 RecordPosition(pointers->position());
2509 RegisterEnvironmentForDeoptimization(env);
2510 SafepointGenerator safepoint_generator(this,
2511 pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002512 env->deoptimization_index());
danno@chromium.org160a7b02011-04-18 15:51:38 +00002513 ParameterCount actual(eax);
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002514 __ InvokeFunction(function, actual, CALL_FUNCTION,
2515 safepoint_generator, CALL_AS_METHOD);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002516}
2517
2518
2519void LCodeGen::DoPushArgument(LPushArgument* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002520 LOperand* argument = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002521 if (argument->IsConstantOperand()) {
2522 __ push(ToImmediate(argument));
2523 } else {
2524 __ push(ToOperand(argument));
2525 }
2526}
2527
2528
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002529void LCodeGen::DoThisFunction(LThisFunction* instr) {
2530 Register result = ToRegister(instr->result());
2531 __ mov(result, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
2532}
2533
2534
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002535void LCodeGen::DoContext(LContext* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002536 Register result = ToRegister(instr->result());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002537 __ mov(result, Operand(ebp, StandardFrameConstants::kContextOffset));
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002538}
2539
2540
2541void LCodeGen::DoOuterContext(LOuterContext* instr) {
2542 Register context = ToRegister(instr->context());
2543 Register result = ToRegister(instr->result());
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002544 __ mov(result,
2545 Operand(context, Context::SlotOffset(Context::PREVIOUS_INDEX)));
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002546}
2547
2548
2549void LCodeGen::DoGlobalObject(LGlobalObject* instr) {
2550 Register context = ToRegister(instr->context());
2551 Register result = ToRegister(instr->result());
2552 __ mov(result, Operand(context, Context::SlotOffset(Context::GLOBAL_INDEX)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002553}
2554
2555
2556void LCodeGen::DoGlobalReceiver(LGlobalReceiver* instr) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002557 Register global = ToRegister(instr->global());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002558 Register result = ToRegister(instr->result());
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002559 __ mov(result, FieldOperand(global, GlobalObject::kGlobalReceiverOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002560}
2561
2562
2563void LCodeGen::CallKnownFunction(Handle<JSFunction> function,
2564 int arity,
danno@chromium.org40cb8782011-05-25 07:58:50 +00002565 LInstruction* instr,
2566 CallKind call_kind) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002567 // Change context if needed.
2568 bool change_context =
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00002569 (info()->closure()->context() != function->context()) ||
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002570 scope()->contains_with() ||
2571 (scope()->num_heap_slots() > 0);
2572 if (change_context) {
2573 __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002574 } else {
2575 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002576 }
2577
2578 // Set eax to arguments count if adaption is not needed. Assumes that eax
2579 // is available to write to at this point.
2580 if (!function->NeedsArgumentsAdaption()) {
2581 __ mov(eax, arity);
2582 }
2583
2584 LPointerMap* pointers = instr->pointer_map();
2585 RecordPosition(pointers->position());
2586
2587 // Invoke function.
danno@chromium.org40cb8782011-05-25 07:58:50 +00002588 __ SetCallKind(ecx, call_kind);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00002589 if (*function == *info()->closure()) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002590 __ CallSelf();
2591 } else {
2592 __ call(FieldOperand(edi, JSFunction::kCodeEntryOffset));
2593 }
2594
2595 // Setup deoptimization.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002596 RegisterLazyDeoptimization(instr, RECORD_SIMPLE_SAFEPOINT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002597}
2598
2599
2600void LCodeGen::DoCallConstantFunction(LCallConstantFunction* instr) {
2601 ASSERT(ToRegister(instr->result()).is(eax));
2602 __ mov(edi, instr->function());
danno@chromium.org40cb8782011-05-25 07:58:50 +00002603 CallKnownFunction(instr->function(),
2604 instr->arity(),
2605 instr,
2606 CALL_AS_METHOD);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002607}
2608
2609
2610void LCodeGen::DoDeferredMathAbsTaggedHeapNumber(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002611 Register input_reg = ToRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002612 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002613 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002614 DeoptimizeIf(not_equal, instr->environment());
2615
2616 Label done;
2617 Register tmp = input_reg.is(eax) ? ecx : eax;
2618 Register tmp2 = tmp.is(ecx) ? edx : input_reg.is(ecx) ? edx : ecx;
2619
2620 // Preserve the value of all registers.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002621 PushSafepointRegistersScope scope(this);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002622
2623 Label negative;
2624 __ mov(tmp, FieldOperand(input_reg, HeapNumber::kExponentOffset));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002625 // Check the sign of the argument. If the argument is positive, just
2626 // return it. We do not need to patch the stack since |input| and
2627 // |result| are the same register and |input| will be restored
2628 // unchanged by popping safepoint registers.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002629 __ test(tmp, Immediate(HeapNumber::kSignMask));
2630 __ j(not_zero, &negative);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002631 __ jmp(&done);
2632
2633 __ bind(&negative);
2634
2635 Label allocated, slow;
2636 __ AllocateHeapNumber(tmp, tmp2, no_reg, &slow);
2637 __ jmp(&allocated);
2638
2639 // Slow case: Call the runtime system to do the number allocation.
2640 __ bind(&slow);
2641
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002642 CallRuntimeFromDeferred(Runtime::kAllocateHeapNumber, 0,
2643 instr, instr->context());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002644
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002645 // Set the pointer to the new heap number in tmp.
2646 if (!tmp.is(eax)) __ mov(tmp, eax);
2647
2648 // Restore input_reg after call to runtime.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002649 __ LoadFromSafepointRegisterSlot(input_reg, input_reg);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002650
2651 __ bind(&allocated);
2652 __ mov(tmp2, FieldOperand(input_reg, HeapNumber::kExponentOffset));
2653 __ and_(tmp2, ~HeapNumber::kSignMask);
2654 __ mov(FieldOperand(tmp, HeapNumber::kExponentOffset), tmp2);
2655 __ mov(tmp2, FieldOperand(input_reg, HeapNumber::kMantissaOffset));
2656 __ mov(FieldOperand(tmp, HeapNumber::kMantissaOffset), tmp2);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002657 __ StoreToSafepointRegisterSlot(input_reg, tmp);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002658
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002659 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002660}
2661
2662
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002663void LCodeGen::EmitIntegerMathAbs(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002664 Register input_reg = ToRegister(instr->value());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002665 __ test(input_reg, Operand(input_reg));
2666 Label is_positive;
2667 __ j(not_sign, &is_positive);
2668 __ neg(input_reg);
2669 __ test(input_reg, Operand(input_reg));
2670 DeoptimizeIf(negative, instr->environment());
2671 __ bind(&is_positive);
2672}
2673
2674
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002675void LCodeGen::DoMathAbs(LUnaryMathOperation* instr) {
2676 // Class for deferred case.
2677 class DeferredMathAbsTaggedHeapNumber: public LDeferredCode {
2678 public:
2679 DeferredMathAbsTaggedHeapNumber(LCodeGen* codegen,
2680 LUnaryMathOperation* instr)
2681 : LDeferredCode(codegen), instr_(instr) { }
2682 virtual void Generate() {
2683 codegen()->DoDeferredMathAbsTaggedHeapNumber(instr_);
2684 }
2685 private:
2686 LUnaryMathOperation* instr_;
2687 };
2688
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002689 ASSERT(instr->value()->Equals(instr->result()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002690 Representation r = instr->hydrogen()->value()->representation();
2691
2692 if (r.IsDouble()) {
2693 XMMRegister scratch = xmm0;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002694 XMMRegister input_reg = ToDoubleRegister(instr->value());
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002695 __ xorps(scratch, scratch);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002696 __ subsd(scratch, input_reg);
2697 __ pand(input_reg, scratch);
2698 } else if (r.IsInteger32()) {
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002699 EmitIntegerMathAbs(instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002700 } else { // Tagged case.
2701 DeferredMathAbsTaggedHeapNumber* deferred =
2702 new DeferredMathAbsTaggedHeapNumber(this, instr);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002703 Register input_reg = ToRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002704 // Smi check.
whesse@chromium.org7b260152011-06-20 15:33:18 +00002705 __ JumpIfNotSmi(input_reg, deferred->entry());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002706 EmitIntegerMathAbs(instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002707 __ bind(deferred->exit());
2708 }
2709}
2710
2711
2712void LCodeGen::DoMathFloor(LUnaryMathOperation* instr) {
2713 XMMRegister xmm_scratch = xmm0;
2714 Register output_reg = ToRegister(instr->result());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002715 XMMRegister input_reg = ToDoubleRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002716
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002717 if (CpuFeatures::IsSupported(SSE4_1)) {
2718 CpuFeatures::Scope scope(SSE4_1);
2719 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2720 // Deoptimize on negative zero.
2721 Label non_zero;
2722 __ xorps(xmm_scratch, xmm_scratch); // Zero the register.
2723 __ ucomisd(input_reg, xmm_scratch);
2724 __ j(not_equal, &non_zero, Label::kNear);
2725 __ movmskpd(output_reg, input_reg);
2726 __ test(output_reg, Immediate(1));
2727 DeoptimizeIf(not_zero, instr->environment());
2728 __ bind(&non_zero);
2729 }
2730 __ roundsd(xmm_scratch, input_reg, Assembler::kRoundDown);
2731 __ cvttsd2si(output_reg, Operand(xmm_scratch));
2732 // Overflow is signalled with minint.
2733 __ cmp(output_reg, 0x80000000u);
2734 DeoptimizeIf(equal, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002735 } else {
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002736 Label done;
2737 // Deoptimize on negative numbers.
2738 __ xorps(xmm_scratch, xmm_scratch); // Zero the register.
2739 __ ucomisd(input_reg, xmm_scratch);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002740 DeoptimizeIf(below, instr->environment());
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002741
2742 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2743 // Check for negative zero.
2744 Label positive_sign;
2745 __ j(above, &positive_sign, Label::kNear);
2746 __ movmskpd(output_reg, input_reg);
2747 __ test(output_reg, Immediate(1));
2748 DeoptimizeIf(not_zero, instr->environment());
2749 __ Set(output_reg, Immediate(0));
2750 __ jmp(&done, Label::kNear);
2751 __ bind(&positive_sign);
2752 }
2753
2754 // Use truncating instruction (OK because input is positive).
2755 __ cvttsd2si(output_reg, Operand(input_reg));
2756
2757 // Overflow is signalled with minint.
2758 __ cmp(output_reg, 0x80000000u);
2759 DeoptimizeIf(equal, instr->environment());
2760 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002761 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002762}
2763
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002764void LCodeGen::DoMathRound(LUnaryMathOperation* instr) {
2765 XMMRegister xmm_scratch = xmm0;
2766 Register output_reg = ToRegister(instr->result());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002767 XMMRegister input_reg = ToDoubleRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002768
danno@chromium.org160a7b02011-04-18 15:51:38 +00002769 Label below_half, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002770 // xmm_scratch = 0.5
2771 ExternalReference one_half = ExternalReference::address_of_one_half();
2772 __ movdbl(xmm_scratch, Operand::StaticVariable(one_half));
danno@chromium.org160a7b02011-04-18 15:51:38 +00002773 __ ucomisd(xmm_scratch, input_reg);
2774 __ j(above, &below_half);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002775 // input = input + 0.5
2776 __ addsd(input_reg, xmm_scratch);
2777
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002778 // Compute Math.floor(value + 0.5).
2779 // Use truncating instruction (OK because input is positive).
2780 __ cvttsd2si(output_reg, Operand(input_reg));
2781
2782 // Overflow is signalled with minint.
2783 __ cmp(output_reg, 0x80000000u);
2784 DeoptimizeIf(equal, instr->environment());
danno@chromium.org160a7b02011-04-18 15:51:38 +00002785 __ jmp(&done);
2786
2787 __ bind(&below_half);
2788
2789 // We return 0 for the input range [+0, 0.5[, or [-0.5, 0.5[ if
2790 // we can ignore the difference between a result of -0 and +0.
2791 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2792 // If the sign is positive, we return +0.
2793 __ movmskpd(output_reg, input_reg);
2794 __ test(output_reg, Immediate(1));
2795 DeoptimizeIf(not_zero, instr->environment());
2796 } else {
2797 // If the input is >= -0.5, we return +0.
2798 __ mov(output_reg, Immediate(0xBF000000));
2799 __ movd(xmm_scratch, Operand(output_reg));
2800 __ cvtss2sd(xmm_scratch, xmm_scratch);
2801 __ ucomisd(input_reg, xmm_scratch);
2802 DeoptimizeIf(below, instr->environment());
2803 }
2804 __ Set(output_reg, Immediate(0));
2805 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002806}
2807
2808
2809void LCodeGen::DoMathSqrt(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002810 XMMRegister input_reg = ToDoubleRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002811 ASSERT(ToDoubleRegister(instr->result()).is(input_reg));
2812 __ sqrtsd(input_reg, input_reg);
2813}
2814
2815
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002816void LCodeGen::DoMathPowHalf(LUnaryMathOperation* instr) {
2817 XMMRegister xmm_scratch = xmm0;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002818 XMMRegister input_reg = ToDoubleRegister(instr->value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002819 ASSERT(ToDoubleRegister(instr->result()).is(input_reg));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002820 __ xorps(xmm_scratch, xmm_scratch);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00002821 __ addsd(input_reg, xmm_scratch); // Convert -0 to +0.
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002822 __ sqrtsd(input_reg, input_reg);
2823}
2824
2825
2826void LCodeGen::DoPower(LPower* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002827 LOperand* left = instr->InputAt(0);
2828 LOperand* right = instr->InputAt(1);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002829 DoubleRegister result_reg = ToDoubleRegister(instr->result());
2830 Representation exponent_type = instr->hydrogen()->right()->representation();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002831
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002832 if (exponent_type.IsDouble()) {
2833 // It is safe to use ebx directly since the instruction is marked
2834 // as a call.
2835 __ PrepareCallCFunction(4, ebx);
2836 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2837 __ movdbl(Operand(esp, 1 * kDoubleSize), ToDoubleRegister(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002838 __ CallCFunction(ExternalReference::power_double_double_function(isolate()),
2839 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002840 } else if (exponent_type.IsInteger32()) {
2841 // It is safe to use ebx directly since the instruction is marked
2842 // as a call.
2843 ASSERT(!ToRegister(right).is(ebx));
2844 __ PrepareCallCFunction(4, ebx);
2845 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2846 __ mov(Operand(esp, 1 * kDoubleSize), ToRegister(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002847 __ CallCFunction(ExternalReference::power_double_int_function(isolate()),
2848 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002849 } else {
2850 ASSERT(exponent_type.IsTagged());
2851 CpuFeatures::Scope scope(SSE2);
2852 Register right_reg = ToRegister(right);
2853
2854 Label non_smi, call;
whesse@chromium.org7b260152011-06-20 15:33:18 +00002855 __ JumpIfNotSmi(right_reg, &non_smi);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002856 __ SmiUntag(right_reg);
2857 __ cvtsi2sd(result_reg, Operand(right_reg));
2858 __ jmp(&call);
2859
2860 __ bind(&non_smi);
2861 // It is safe to use ebx directly since the instruction is marked
2862 // as a call.
2863 ASSERT(!right_reg.is(ebx));
2864 __ CmpObjectType(right_reg, HEAP_NUMBER_TYPE , ebx);
2865 DeoptimizeIf(not_equal, instr->environment());
2866 __ movdbl(result_reg, FieldOperand(right_reg, HeapNumber::kValueOffset));
2867
2868 __ bind(&call);
2869 __ PrepareCallCFunction(4, ebx);
2870 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2871 __ movdbl(Operand(esp, 1 * kDoubleSize), result_reg);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002872 __ CallCFunction(ExternalReference::power_double_double_function(isolate()),
2873 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002874 }
2875
2876 // Return value is in st(0) on ia32.
2877 // Store it into the (fixed) result register.
2878 __ sub(Operand(esp), Immediate(kDoubleSize));
2879 __ fstp_d(Operand(esp, 0));
2880 __ movdbl(result_reg, Operand(esp, 0));
2881 __ add(Operand(esp), Immediate(kDoubleSize));
2882}
2883
2884
2885void LCodeGen::DoMathLog(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002886 ASSERT(instr->value()->Equals(instr->result()));
2887 XMMRegister input_reg = ToDoubleRegister(instr->value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002888 Label positive, done, zero;
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002889 __ xorps(xmm0, xmm0);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002890 __ ucomisd(input_reg, xmm0);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002891 __ j(above, &positive, Label::kNear);
2892 __ j(equal, &zero, Label::kNear);
svenpanne@chromium.org84bcc552011-07-18 09:50:57 +00002893 ExternalReference nan =
2894 ExternalReference::address_of_canonical_non_hole_nan();
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002895 __ movdbl(input_reg, Operand::StaticVariable(nan));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002896 __ jmp(&done, Label::kNear);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002897 __ bind(&zero);
2898 __ push(Immediate(0xFFF00000));
2899 __ push(Immediate(0));
2900 __ movdbl(input_reg, Operand(esp, 0));
2901 __ add(Operand(esp), Immediate(kDoubleSize));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002902 __ jmp(&done, Label::kNear);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002903 __ bind(&positive);
2904 __ fldln2();
2905 __ sub(Operand(esp), Immediate(kDoubleSize));
2906 __ movdbl(Operand(esp, 0), input_reg);
2907 __ fld_d(Operand(esp, 0));
2908 __ fyl2x();
2909 __ fstp_d(Operand(esp, 0));
2910 __ movdbl(input_reg, Operand(esp, 0));
2911 __ add(Operand(esp), Immediate(kDoubleSize));
2912 __ bind(&done);
whesse@chromium.org023421e2010-12-21 12:19:12 +00002913}
2914
2915
2916void LCodeGen::DoMathCos(LUnaryMathOperation* instr) {
2917 ASSERT(ToDoubleRegister(instr->result()).is(xmm1));
2918 TranscendentalCacheStub stub(TranscendentalCache::COS,
2919 TranscendentalCacheStub::UNTAGGED);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002920 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
whesse@chromium.org023421e2010-12-21 12:19:12 +00002921}
2922
2923
2924void LCodeGen::DoMathSin(LUnaryMathOperation* instr) {
2925 ASSERT(ToDoubleRegister(instr->result()).is(xmm1));
2926 TranscendentalCacheStub stub(TranscendentalCache::SIN,
2927 TranscendentalCacheStub::UNTAGGED);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002928 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002929}
2930
2931
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002932void LCodeGen::DoUnaryMathOperation(LUnaryMathOperation* instr) {
2933 switch (instr->op()) {
2934 case kMathAbs:
2935 DoMathAbs(instr);
2936 break;
2937 case kMathFloor:
2938 DoMathFloor(instr);
2939 break;
2940 case kMathRound:
2941 DoMathRound(instr);
2942 break;
2943 case kMathSqrt:
2944 DoMathSqrt(instr);
2945 break;
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002946 case kMathPowHalf:
2947 DoMathPowHalf(instr);
2948 break;
whesse@chromium.org023421e2010-12-21 12:19:12 +00002949 case kMathCos:
2950 DoMathCos(instr);
2951 break;
2952 case kMathSin:
2953 DoMathSin(instr);
2954 break;
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002955 case kMathLog:
2956 DoMathLog(instr);
2957 break;
2958
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002959 default:
2960 UNREACHABLE();
2961 }
2962}
2963
2964
danno@chromium.org160a7b02011-04-18 15:51:38 +00002965void LCodeGen::DoInvokeFunction(LInvokeFunction* instr) {
2966 ASSERT(ToRegister(instr->context()).is(esi));
2967 ASSERT(ToRegister(instr->function()).is(edi));
2968 ASSERT(instr->HasPointerMap());
2969 ASSERT(instr->HasDeoptimizationEnvironment());
2970 LPointerMap* pointers = instr->pointer_map();
2971 LEnvironment* env = instr->deoptimization_environment();
2972 RecordPosition(pointers->position());
2973 RegisterEnvironmentForDeoptimization(env);
2974 SafepointGenerator generator(this, pointers, env->deoptimization_index());
2975 ParameterCount count(instr->arity());
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002976 __ InvokeFunction(edi, count, CALL_FUNCTION, generator, CALL_AS_METHOD);
danno@chromium.org160a7b02011-04-18 15:51:38 +00002977}
2978
2979
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002980void LCodeGen::DoCallKeyed(LCallKeyed* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002981 ASSERT(ToRegister(instr->context()).is(esi));
2982 ASSERT(ToRegister(instr->key()).is(ecx));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002983 ASSERT(ToRegister(instr->result()).is(eax));
2984
2985 int arity = instr->arity();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002986 Handle<Code> ic = isolate()->stub_cache()->
2987 ComputeKeyedCallInitialize(arity, NOT_IN_LOOP);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002988 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002989}
2990
2991
2992void LCodeGen::DoCallNamed(LCallNamed* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002993 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002994 ASSERT(ToRegister(instr->result()).is(eax));
2995
2996 int arity = instr->arity();
danno@chromium.org40cb8782011-05-25 07:58:50 +00002997 RelocInfo::Mode mode = RelocInfo::CODE_TARGET;
2998 Handle<Code> ic =
2999 isolate()->stub_cache()->ComputeCallInitialize(arity, NOT_IN_LOOP, mode);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003000 __ mov(ecx, instr->name());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003001 CallCode(ic, mode, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003002}
3003
3004
3005void LCodeGen::DoCallFunction(LCallFunction* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003006 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003007 ASSERT(ToRegister(instr->result()).is(eax));
3008
3009 int arity = instr->arity();
danno@chromium.org40cb8782011-05-25 07:58:50 +00003010 CallFunctionStub stub(arity, NOT_IN_LOOP, RECEIVER_MIGHT_BE_IMPLICIT);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003011 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003012 __ Drop(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003013}
3014
3015
3016void LCodeGen::DoCallGlobal(LCallGlobal* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003017 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003018 ASSERT(ToRegister(instr->result()).is(eax));
3019
3020 int arity = instr->arity();
danno@chromium.org40cb8782011-05-25 07:58:50 +00003021 RelocInfo::Mode mode = RelocInfo::CODE_TARGET_CONTEXT;
3022 Handle<Code> ic =
3023 isolate()->stub_cache()->ComputeCallInitialize(arity, NOT_IN_LOOP, mode);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003024 __ mov(ecx, instr->name());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003025 CallCode(ic, mode, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003026}
3027
3028
3029void LCodeGen::DoCallKnownGlobal(LCallKnownGlobal* instr) {
3030 ASSERT(ToRegister(instr->result()).is(eax));
3031 __ mov(edi, instr->target());
danno@chromium.org40cb8782011-05-25 07:58:50 +00003032 CallKnownFunction(instr->target(), instr->arity(), instr, CALL_AS_FUNCTION);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003033}
3034
3035
3036void LCodeGen::DoCallNew(LCallNew* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003037 ASSERT(ToRegister(instr->context()).is(esi));
3038 ASSERT(ToRegister(instr->constructor()).is(edi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003039 ASSERT(ToRegister(instr->result()).is(eax));
3040
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003041 Handle<Code> builtin = isolate()->builtins()->JSConstructCall();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003042 __ Set(eax, Immediate(instr->arity()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003043 CallCode(builtin, RelocInfo::CONSTRUCT_CALL, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003044}
3045
3046
3047void LCodeGen::DoCallRuntime(LCallRuntime* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003048 CallRuntime(instr->function(), instr->arity(), instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003049}
3050
3051
3052void LCodeGen::DoStoreNamedField(LStoreNamedField* instr) {
3053 Register object = ToRegister(instr->object());
3054 Register value = ToRegister(instr->value());
3055 int offset = instr->offset();
3056
3057 if (!instr->transition().is_null()) {
3058 __ mov(FieldOperand(object, HeapObject::kMapOffset), instr->transition());
3059 }
3060
3061 // Do the store.
3062 if (instr->is_in_object()) {
3063 __ mov(FieldOperand(object, offset), value);
3064 if (instr->needs_write_barrier()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003065 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003066 // Update the write barrier for the object for in-object properties.
3067 __ RecordWrite(object, offset, value, temp);
3068 }
3069 } else {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003070 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003071 __ mov(temp, FieldOperand(object, JSObject::kPropertiesOffset));
3072 __ mov(FieldOperand(temp, offset), value);
3073 if (instr->needs_write_barrier()) {
3074 // Update the write barrier for the properties array.
3075 // object is used as a scratch register.
3076 __ RecordWrite(temp, offset, value, object);
3077 }
3078 }
3079}
3080
3081
3082void LCodeGen::DoStoreNamedGeneric(LStoreNamedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003083 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003084 ASSERT(ToRegister(instr->object()).is(edx));
3085 ASSERT(ToRegister(instr->value()).is(eax));
3086
3087 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003088 Handle<Code> ic = instr->strict_mode()
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003089 ? isolate()->builtins()->StoreIC_Initialize_Strict()
3090 : isolate()->builtins()->StoreIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003091 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003092}
3093
3094
3095void LCodeGen::DoBoundsCheck(LBoundsCheck* instr) {
3096 __ cmp(ToRegister(instr->index()), ToOperand(instr->length()));
3097 DeoptimizeIf(above_equal, instr->environment());
3098}
3099
3100
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003101void LCodeGen::DoStoreKeyedSpecializedArrayElement(
3102 LStoreKeyedSpecializedArrayElement* instr) {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003103 JSObject::ElementsKind elements_kind = instr->elements_kind();
rossberg@chromium.org717967f2011-07-20 13:44:42 +00003104 Operand operand(BuildFastArrayOperand(instr->external_pointer(),
3105 instr->key(), elements_kind, 0));
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003106 if (elements_kind == JSObject::EXTERNAL_FLOAT_ELEMENTS) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003107 __ cvtsd2ss(xmm0, ToDoubleRegister(instr->value()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003108 __ movss(operand, xmm0);
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003109 } else if (elements_kind == JSObject::EXTERNAL_DOUBLE_ELEMENTS) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003110 __ movdbl(operand, ToDoubleRegister(instr->value()));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003111 } else {
3112 Register value = ToRegister(instr->value());
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003113 switch (elements_kind) {
3114 case JSObject::EXTERNAL_PIXEL_ELEMENTS:
3115 case JSObject::EXTERNAL_UNSIGNED_BYTE_ELEMENTS:
3116 case JSObject::EXTERNAL_BYTE_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003117 __ mov_b(operand, value);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003118 break;
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003119 case JSObject::EXTERNAL_SHORT_ELEMENTS:
3120 case JSObject::EXTERNAL_UNSIGNED_SHORT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003121 __ mov_w(operand, value);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003122 break;
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003123 case JSObject::EXTERNAL_INT_ELEMENTS:
3124 case JSObject::EXTERNAL_UNSIGNED_INT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003125 __ mov(operand, value);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003126 break;
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003127 case JSObject::EXTERNAL_FLOAT_ELEMENTS:
3128 case JSObject::EXTERNAL_DOUBLE_ELEMENTS:
3129 case JSObject::FAST_ELEMENTS:
3130 case JSObject::FAST_DOUBLE_ELEMENTS:
3131 case JSObject::DICTIONARY_ELEMENTS:
whesse@chromium.org7b260152011-06-20 15:33:18 +00003132 case JSObject::NON_STRICT_ARGUMENTS_ELEMENTS:
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003133 UNREACHABLE();
3134 break;
3135 }
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003136 }
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003137}
3138
3139
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003140void LCodeGen::DoStoreKeyedFastElement(LStoreKeyedFastElement* instr) {
3141 Register value = ToRegister(instr->value());
3142 Register elements = ToRegister(instr->object());
3143 Register key = instr->key()->IsRegister() ? ToRegister(instr->key()) : no_reg;
3144
3145 // Do the store.
3146 if (instr->key()->IsConstantOperand()) {
3147 ASSERT(!instr->hydrogen()->NeedsWriteBarrier());
3148 LConstantOperand* const_operand = LConstantOperand::cast(instr->key());
3149 int offset =
3150 ToInteger32(const_operand) * kPointerSize + FixedArray::kHeaderSize;
3151 __ mov(FieldOperand(elements, offset), value);
3152 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003153 __ mov(FieldOperand(elements,
3154 key,
3155 times_pointer_size,
3156 FixedArray::kHeaderSize),
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003157 value);
3158 }
3159
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003160 if (instr->hydrogen()->NeedsWriteBarrier()) {
3161 // Compute address of modified element and store it into key register.
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003162 __ lea(key,
3163 FieldOperand(elements,
3164 key,
3165 times_pointer_size,
3166 FixedArray::kHeaderSize));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003167 __ RecordWrite(elements, key, value);
3168 }
3169}
3170
3171
rossberg@chromium.org717967f2011-07-20 13:44:42 +00003172void LCodeGen::DoStoreKeyedFastDoubleElement(
3173 LStoreKeyedFastDoubleElement* instr) {
3174 XMMRegister value = ToDoubleRegister(instr->value());
rossberg@chromium.org717967f2011-07-20 13:44:42 +00003175 Register key = instr->key()->IsRegister() ? ToRegister(instr->key()) : no_reg;
3176 Label have_value;
3177
3178 __ ucomisd(value, value);
3179 __ j(parity_odd, &have_value); // NaN.
3180
3181 ExternalReference canonical_nan_reference =
3182 ExternalReference::address_of_canonical_non_hole_nan();
3183 __ movdbl(value, Operand::StaticVariable(canonical_nan_reference));
3184 __ bind(&have_value);
3185
3186 Operand double_store_operand = BuildFastArrayOperand(
3187 instr->elements(), instr->key(), JSObject::FAST_DOUBLE_ELEMENTS,
3188 FixedDoubleArray::kHeaderSize - kHeapObjectTag);
3189 __ movdbl(double_store_operand, value);
3190}
3191
3192
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003193void LCodeGen::DoStoreKeyedGeneric(LStoreKeyedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003194 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003195 ASSERT(ToRegister(instr->object()).is(edx));
3196 ASSERT(ToRegister(instr->key()).is(ecx));
3197 ASSERT(ToRegister(instr->value()).is(eax));
3198
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003199 Handle<Code> ic = instr->strict_mode()
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003200 ? isolate()->builtins()->KeyedStoreIC_Initialize_Strict()
3201 : isolate()->builtins()->KeyedStoreIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003202 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003203}
3204
3205
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003206void LCodeGen::DoStringCharCodeAt(LStringCharCodeAt* instr) {
3207 class DeferredStringCharCodeAt: public LDeferredCode {
3208 public:
3209 DeferredStringCharCodeAt(LCodeGen* codegen, LStringCharCodeAt* instr)
3210 : LDeferredCode(codegen), instr_(instr) { }
3211 virtual void Generate() { codegen()->DoDeferredStringCharCodeAt(instr_); }
3212 private:
3213 LStringCharCodeAt* instr_;
3214 };
3215
3216 Register string = ToRegister(instr->string());
3217 Register index = no_reg;
3218 int const_index = -1;
3219 if (instr->index()->IsConstantOperand()) {
3220 const_index = ToInteger32(LConstantOperand::cast(instr->index()));
3221 STATIC_ASSERT(String::kMaxLength <= Smi::kMaxValue);
3222 if (!Smi::IsValid(const_index)) {
3223 // Guaranteed to be out of bounds because of the assert above.
3224 // So the bounds check that must dominate this instruction must
3225 // have deoptimized already.
3226 if (FLAG_debug_code) {
3227 __ Abort("StringCharCodeAt: out of bounds index.");
3228 }
3229 // No code needs to be generated.
3230 return;
3231 }
3232 } else {
3233 index = ToRegister(instr->index());
3234 }
3235 Register result = ToRegister(instr->result());
3236
3237 DeferredStringCharCodeAt* deferred =
3238 new DeferredStringCharCodeAt(this, instr);
3239
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003240 Label flat_string, ascii_string, done;
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003241
3242 // Fetch the instance type of the receiver into result register.
3243 __ mov(result, FieldOperand(string, HeapObject::kMapOffset));
3244 __ movzx_b(result, FieldOperand(result, Map::kInstanceTypeOffset));
3245
3246 // We need special handling for non-flat strings.
3247 STATIC_ASSERT(kSeqStringTag == 0);
3248 __ test(result, Immediate(kStringRepresentationMask));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003249 __ j(zero, &flat_string, Label::kNear);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003250
3251 // Handle non-flat strings.
3252 __ test(result, Immediate(kIsConsStringMask));
3253 __ j(zero, deferred->entry());
3254
3255 // ConsString.
3256 // Check whether the right hand side is the empty string (i.e. if
3257 // this is really a flat string in a cons string). If that is not
3258 // the case we would rather go to the runtime system now to flatten
3259 // the string.
3260 __ cmp(FieldOperand(string, ConsString::kSecondOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003261 Immediate(factory()->empty_string()));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003262 __ j(not_equal, deferred->entry());
3263 // Get the first of the two strings and load its instance type.
3264 __ mov(string, FieldOperand(string, ConsString::kFirstOffset));
3265 __ mov(result, FieldOperand(string, HeapObject::kMapOffset));
3266 __ movzx_b(result, FieldOperand(result, Map::kInstanceTypeOffset));
3267 // If the first cons component is also non-flat, then go to runtime.
3268 STATIC_ASSERT(kSeqStringTag == 0);
3269 __ test(result, Immediate(kStringRepresentationMask));
3270 __ j(not_zero, deferred->entry());
3271
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003272 // Check for ASCII or two-byte string.
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003273 __ bind(&flat_string);
3274 STATIC_ASSERT(kAsciiStringTag != 0);
3275 __ test(result, Immediate(kStringEncodingMask));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003276 __ j(not_zero, &ascii_string, Label::kNear);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003277
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003278 // Two-byte string.
3279 // Load the two-byte character code into the result register.
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003280 STATIC_ASSERT(kSmiTag == 0 && kSmiTagSize == 1);
3281 if (instr->index()->IsConstantOperand()) {
3282 __ movzx_w(result,
3283 FieldOperand(string,
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003284 SeqTwoByteString::kHeaderSize +
3285 (kUC16Size * const_index)));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003286 } else {
3287 __ movzx_w(result, FieldOperand(string,
3288 index,
3289 times_2,
3290 SeqTwoByteString::kHeaderSize));
3291 }
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003292 __ jmp(&done, Label::kNear);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003293
3294 // ASCII string.
3295 // Load the byte into the result register.
3296 __ bind(&ascii_string);
3297 if (instr->index()->IsConstantOperand()) {
3298 __ movzx_b(result, FieldOperand(string,
3299 SeqAsciiString::kHeaderSize + const_index));
3300 } else {
3301 __ movzx_b(result, FieldOperand(string,
3302 index,
3303 times_1,
3304 SeqAsciiString::kHeaderSize));
3305 }
3306 __ bind(&done);
3307 __ bind(deferred->exit());
3308}
3309
3310
3311void LCodeGen::DoDeferredStringCharCodeAt(LStringCharCodeAt* instr) {
3312 Register string = ToRegister(instr->string());
3313 Register result = ToRegister(instr->result());
3314
3315 // TODO(3095996): Get rid of this. For now, we need to make the
3316 // result register contain a valid pointer because it is already
3317 // contained in the register pointer map.
3318 __ Set(result, Immediate(0));
3319
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003320 PushSafepointRegistersScope scope(this);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003321 __ push(string);
3322 // Push the index as a smi. This is safe because of the checks in
3323 // DoStringCharCodeAt above.
3324 STATIC_ASSERT(String::kMaxLength <= Smi::kMaxValue);
3325 if (instr->index()->IsConstantOperand()) {
3326 int const_index = ToInteger32(LConstantOperand::cast(instr->index()));
3327 __ push(Immediate(Smi::FromInt(const_index)));
3328 } else {
3329 Register index = ToRegister(instr->index());
3330 __ SmiTag(index);
3331 __ push(index);
3332 }
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003333 CallRuntimeFromDeferred(Runtime::kStringCharCodeAt, 2,
3334 instr, instr->context());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003335 if (FLAG_debug_code) {
3336 __ AbortIfNotSmi(eax);
3337 }
3338 __ SmiUntag(eax);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003339 __ StoreToSafepointRegisterSlot(result, eax);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003340}
3341
3342
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003343void LCodeGen::DoStringCharFromCode(LStringCharFromCode* instr) {
3344 class DeferredStringCharFromCode: public LDeferredCode {
3345 public:
3346 DeferredStringCharFromCode(LCodeGen* codegen, LStringCharFromCode* instr)
3347 : LDeferredCode(codegen), instr_(instr) { }
3348 virtual void Generate() { codegen()->DoDeferredStringCharFromCode(instr_); }
3349 private:
3350 LStringCharFromCode* instr_;
3351 };
3352
3353 DeferredStringCharFromCode* deferred =
3354 new DeferredStringCharFromCode(this, instr);
3355
3356 ASSERT(instr->hydrogen()->value()->representation().IsInteger32());
3357 Register char_code = ToRegister(instr->char_code());
3358 Register result = ToRegister(instr->result());
3359 ASSERT(!char_code.is(result));
3360
3361 __ cmp(char_code, String::kMaxAsciiCharCode);
3362 __ j(above, deferred->entry());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003363 __ Set(result, Immediate(factory()->single_character_string_cache()));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003364 __ mov(result, FieldOperand(result,
3365 char_code, times_pointer_size,
3366 FixedArray::kHeaderSize));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003367 __ cmp(result, factory()->undefined_value());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003368 __ j(equal, deferred->entry());
3369 __ bind(deferred->exit());
3370}
3371
3372
3373void LCodeGen::DoDeferredStringCharFromCode(LStringCharFromCode* instr) {
3374 Register char_code = ToRegister(instr->char_code());
3375 Register result = ToRegister(instr->result());
3376
3377 // TODO(3095996): Get rid of this. For now, we need to make the
3378 // result register contain a valid pointer because it is already
3379 // contained in the register pointer map.
3380 __ Set(result, Immediate(0));
3381
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003382 PushSafepointRegistersScope scope(this);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003383 __ SmiTag(char_code);
3384 __ push(char_code);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003385 CallRuntimeFromDeferred(Runtime::kCharFromCode, 1, instr, instr->context());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003386 __ StoreToSafepointRegisterSlot(result, eax);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003387}
3388
3389
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003390void LCodeGen::DoStringLength(LStringLength* instr) {
3391 Register string = ToRegister(instr->string());
3392 Register result = ToRegister(instr->result());
3393 __ mov(result, FieldOperand(string, String::kLengthOffset));
3394}
3395
3396
danno@chromium.org160a7b02011-04-18 15:51:38 +00003397void LCodeGen::DoStringAdd(LStringAdd* instr) {
3398 if (instr->left()->IsConstantOperand()) {
3399 __ push(ToImmediate(instr->left()));
3400 } else {
3401 __ push(ToOperand(instr->left()));
3402 }
3403 if (instr->right()->IsConstantOperand()) {
3404 __ push(ToImmediate(instr->right()));
3405 } else {
3406 __ push(ToOperand(instr->right()));
3407 }
3408 StringAddStub stub(NO_STRING_CHECK_IN_STUB);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003409 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
danno@chromium.org160a7b02011-04-18 15:51:38 +00003410}
3411
3412
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003413void LCodeGen::DoInteger32ToDouble(LInteger32ToDouble* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003414 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003415 ASSERT(input->IsRegister() || input->IsStackSlot());
3416 LOperand* output = instr->result();
3417 ASSERT(output->IsDoubleRegister());
3418 __ cvtsi2sd(ToDoubleRegister(output), ToOperand(input));
3419}
3420
3421
3422void LCodeGen::DoNumberTagI(LNumberTagI* instr) {
3423 class DeferredNumberTagI: public LDeferredCode {
3424 public:
3425 DeferredNumberTagI(LCodeGen* codegen, LNumberTagI* instr)
3426 : LDeferredCode(codegen), instr_(instr) { }
3427 virtual void Generate() { codegen()->DoDeferredNumberTagI(instr_); }
3428 private:
3429 LNumberTagI* instr_;
3430 };
3431
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003432 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003433 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3434 Register reg = ToRegister(input);
3435
3436 DeferredNumberTagI* deferred = new DeferredNumberTagI(this, instr);
3437 __ SmiTag(reg);
3438 __ j(overflow, deferred->entry());
3439 __ bind(deferred->exit());
3440}
3441
3442
3443void LCodeGen::DoDeferredNumberTagI(LNumberTagI* instr) {
3444 Label slow;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003445 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003446 Register tmp = reg.is(eax) ? ecx : eax;
3447
3448 // Preserve the value of all registers.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003449 PushSafepointRegistersScope scope(this);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003450
3451 // There was overflow, so bits 30 and 31 of the original integer
3452 // disagree. Try to allocate a heap number in new space and store
3453 // the value in there. If that fails, call the runtime system.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003454 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003455 __ SmiUntag(reg);
3456 __ xor_(reg, 0x80000000);
3457 __ cvtsi2sd(xmm0, Operand(reg));
3458 if (FLAG_inline_new) {
3459 __ AllocateHeapNumber(reg, tmp, no_reg, &slow);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003460 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003461 }
3462
3463 // Slow case: Call the runtime system to do the number allocation.
3464 __ bind(&slow);
3465
3466 // TODO(3095996): Put a valid pointer value in the stack slot where the result
3467 // register is stored, as this register is in the pointer map, but contains an
3468 // integer value.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003469 __ StoreToSafepointRegisterSlot(reg, Immediate(0));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003470 // NumberTagI and NumberTagD use the context from the frame, rather than
3471 // the environment's HContext or HInlinedContext value.
3472 // They only call Runtime::kAllocateHeapNumber.
3473 // The corresponding HChange instructions are added in a phase that does
3474 // not have easy access to the local context.
3475 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
3476 __ CallRuntimeSaveDoubles(Runtime::kAllocateHeapNumber);
3477 RecordSafepointWithRegisters(
3478 instr->pointer_map(), 0, Safepoint::kNoDeoptimizationIndex);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003479 if (!reg.is(eax)) __ mov(reg, eax);
3480
3481 // Done. Put the value in xmm0 into the value of the allocated heap
3482 // number.
3483 __ bind(&done);
3484 __ movdbl(FieldOperand(reg, HeapNumber::kValueOffset), xmm0);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003485 __ StoreToSafepointRegisterSlot(reg, reg);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003486}
3487
3488
3489void LCodeGen::DoNumberTagD(LNumberTagD* instr) {
3490 class DeferredNumberTagD: public LDeferredCode {
3491 public:
3492 DeferredNumberTagD(LCodeGen* codegen, LNumberTagD* instr)
3493 : LDeferredCode(codegen), instr_(instr) { }
3494 virtual void Generate() { codegen()->DoDeferredNumberTagD(instr_); }
3495 private:
3496 LNumberTagD* instr_;
3497 };
3498
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003499 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003500 Register reg = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003501 Register tmp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003502
3503 DeferredNumberTagD* deferred = new DeferredNumberTagD(this, instr);
3504 if (FLAG_inline_new) {
3505 __ AllocateHeapNumber(reg, tmp, no_reg, deferred->entry());
3506 } else {
3507 __ jmp(deferred->entry());
3508 }
3509 __ bind(deferred->exit());
3510 __ movdbl(FieldOperand(reg, HeapNumber::kValueOffset), input_reg);
3511}
3512
3513
3514void LCodeGen::DoDeferredNumberTagD(LNumberTagD* instr) {
3515 // TODO(3095996): Get rid of this. For now, we need to make the
3516 // result register contain a valid pointer because it is already
3517 // contained in the register pointer map.
3518 Register reg = ToRegister(instr->result());
3519 __ Set(reg, Immediate(0));
3520
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003521 PushSafepointRegistersScope scope(this);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003522 // NumberTagI and NumberTagD use the context from the frame, rather than
3523 // the environment's HContext or HInlinedContext value.
3524 // They only call Runtime::kAllocateHeapNumber.
3525 // The corresponding HChange instructions are added in a phase that does
3526 // not have easy access to the local context.
3527 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
3528 __ CallRuntimeSaveDoubles(Runtime::kAllocateHeapNumber);
3529 RecordSafepointWithRegisters(instr->pointer_map(), 0,
3530 Safepoint::kNoDeoptimizationIndex);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003531 __ StoreToSafepointRegisterSlot(reg, eax);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003532}
3533
3534
3535void LCodeGen::DoSmiTag(LSmiTag* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003536 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003537 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3538 ASSERT(!instr->hydrogen_value()->CheckFlag(HValue::kCanOverflow));
3539 __ SmiTag(ToRegister(input));
3540}
3541
3542
3543void LCodeGen::DoSmiUntag(LSmiUntag* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003544 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003545 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3546 if (instr->needs_check()) {
3547 __ test(ToRegister(input), Immediate(kSmiTagMask));
3548 DeoptimizeIf(not_zero, instr->environment());
3549 }
3550 __ SmiUntag(ToRegister(input));
3551}
3552
3553
3554void LCodeGen::EmitNumberUntagD(Register input_reg,
3555 XMMRegister result_reg,
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003556 bool deoptimize_on_undefined,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003557 LEnvironment* env) {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003558 Label load_smi, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003559
3560 // Smi check.
whesse@chromium.org7b260152011-06-20 15:33:18 +00003561 __ JumpIfSmi(input_reg, &load_smi, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003562
3563 // Heap number map check.
3564 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003565 factory()->heap_number_map());
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003566 if (deoptimize_on_undefined) {
3567 DeoptimizeIf(not_equal, env);
3568 } else {
3569 Label heap_number;
3570 __ j(equal, &heap_number, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003571
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003572 __ cmp(input_reg, factory()->undefined_value());
3573 DeoptimizeIf(not_equal, env);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003574
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003575 // Convert undefined to NaN.
svenpanne@chromium.org84bcc552011-07-18 09:50:57 +00003576 ExternalReference nan =
3577 ExternalReference::address_of_canonical_non_hole_nan();
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003578 __ movdbl(result_reg, Operand::StaticVariable(nan));
3579 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003580
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003581 __ bind(&heap_number);
3582 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003583 // Heap number to XMM conversion.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003584 __ movdbl(result_reg, FieldOperand(input_reg, HeapNumber::kValueOffset));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003585 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003586
3587 // Smi to XMM conversion
3588 __ bind(&load_smi);
3589 __ SmiUntag(input_reg); // Untag smi before converting to float.
3590 __ cvtsi2sd(result_reg, Operand(input_reg));
3591 __ SmiTag(input_reg); // Retag smi.
3592 __ bind(&done);
3593}
3594
3595
3596class DeferredTaggedToI: public LDeferredCode {
3597 public:
3598 DeferredTaggedToI(LCodeGen* codegen, LTaggedToI* instr)
3599 : LDeferredCode(codegen), instr_(instr) { }
3600 virtual void Generate() { codegen()->DoDeferredTaggedToI(instr_); }
3601 private:
3602 LTaggedToI* instr_;
3603};
3604
3605
3606void LCodeGen::DoDeferredTaggedToI(LTaggedToI* instr) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003607 Label done, heap_number;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003608 Register input_reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003609
3610 // Heap number map check.
3611 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003612 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003613
3614 if (instr->truncating()) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003615 __ j(equal, &heap_number, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003616 // Check for undefined. Undefined is converted to zero for truncating
3617 // conversions.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003618 __ cmp(input_reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003619 DeoptimizeIf(not_equal, instr->environment());
3620 __ mov(input_reg, 0);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003621 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003622
3623 __ bind(&heap_number);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00003624 if (CpuFeatures::IsSupported(SSE3)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003625 CpuFeatures::Scope scope(SSE3);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003626 Label convert;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003627 // Use more powerful conversion when sse3 is available.
3628 // Load x87 register with heap number.
3629 __ fld_d(FieldOperand(input_reg, HeapNumber::kValueOffset));
3630 // Get exponent alone and check for too-big exponent.
3631 __ mov(input_reg, FieldOperand(input_reg, HeapNumber::kExponentOffset));
3632 __ and_(input_reg, HeapNumber::kExponentMask);
3633 const uint32_t kTooBigExponent =
3634 (HeapNumber::kExponentBias + 63) << HeapNumber::kExponentShift;
3635 __ cmp(Operand(input_reg), Immediate(kTooBigExponent));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003636 __ j(less, &convert, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003637 // Pop FPU stack before deoptimizing.
3638 __ ffree(0);
3639 __ fincstp();
3640 DeoptimizeIf(no_condition, instr->environment());
3641
3642 // Reserve space for 64 bit answer.
3643 __ bind(&convert);
3644 __ sub(Operand(esp), Immediate(kDoubleSize));
3645 // Do conversion, which cannot fail because we checked the exponent.
3646 __ fisttp_d(Operand(esp, 0));
3647 __ mov(input_reg, Operand(esp, 0)); // Low word of answer is the result.
3648 __ add(Operand(esp), Immediate(kDoubleSize));
3649 } else {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003650 XMMRegister xmm_temp = ToDoubleRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003651 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3652 __ cvttsd2si(input_reg, Operand(xmm0));
3653 __ cmp(input_reg, 0x80000000u);
3654 __ j(not_equal, &done);
3655 // Check if the input was 0x8000000 (kMinInt).
3656 // If no, then we got an overflow and we deoptimize.
3657 ExternalReference min_int = ExternalReference::address_of_min_int();
3658 __ movdbl(xmm_temp, Operand::StaticVariable(min_int));
3659 __ ucomisd(xmm_temp, xmm0);
3660 DeoptimizeIf(not_equal, instr->environment());
3661 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3662 }
3663 } else {
3664 // Deoptimize if we don't have a heap number.
3665 DeoptimizeIf(not_equal, instr->environment());
3666
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003667 XMMRegister xmm_temp = ToDoubleRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003668 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3669 __ cvttsd2si(input_reg, Operand(xmm0));
3670 __ cvtsi2sd(xmm_temp, Operand(input_reg));
3671 __ ucomisd(xmm0, xmm_temp);
3672 DeoptimizeIf(not_equal, instr->environment());
3673 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3674 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
3675 __ test(input_reg, Operand(input_reg));
3676 __ j(not_zero, &done);
3677 __ movmskpd(input_reg, xmm0);
3678 __ and_(input_reg, 1);
3679 DeoptimizeIf(not_zero, instr->environment());
3680 }
3681 }
3682 __ bind(&done);
3683}
3684
3685
3686void LCodeGen::DoTaggedToI(LTaggedToI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003687 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003688 ASSERT(input->IsRegister());
3689 ASSERT(input->Equals(instr->result()));
3690
3691 Register input_reg = ToRegister(input);
3692
3693 DeferredTaggedToI* deferred = new DeferredTaggedToI(this, instr);
3694
3695 // Smi check.
whesse@chromium.org7b260152011-06-20 15:33:18 +00003696 __ JumpIfNotSmi(input_reg, deferred->entry());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003697
3698 // Smi to int32 conversion
3699 __ SmiUntag(input_reg); // Untag smi.
3700
3701 __ bind(deferred->exit());
3702}
3703
3704
3705void LCodeGen::DoNumberUntagD(LNumberUntagD* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003706 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003707 ASSERT(input->IsRegister());
3708 LOperand* result = instr->result();
3709 ASSERT(result->IsDoubleRegister());
3710
3711 Register input_reg = ToRegister(input);
3712 XMMRegister result_reg = ToDoubleRegister(result);
3713
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003714 EmitNumberUntagD(input_reg, result_reg,
3715 instr->hydrogen()->deoptimize_on_undefined(),
3716 instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003717}
3718
3719
3720void LCodeGen::DoDoubleToI(LDoubleToI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003721 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003722 ASSERT(input->IsDoubleRegister());
3723 LOperand* result = instr->result();
3724 ASSERT(result->IsRegister());
3725
3726 XMMRegister input_reg = ToDoubleRegister(input);
3727 Register result_reg = ToRegister(result);
3728
3729 if (instr->truncating()) {
3730 // Performs a truncating conversion of a floating point number as used by
3731 // the JS bitwise operations.
3732 __ cvttsd2si(result_reg, Operand(input_reg));
3733 __ cmp(result_reg, 0x80000000u);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00003734 if (CpuFeatures::IsSupported(SSE3)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003735 // This will deoptimize if the exponent of the input in out of range.
3736 CpuFeatures::Scope scope(SSE3);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003737 Label convert, done;
3738 __ j(not_equal, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003739 __ sub(Operand(esp), Immediate(kDoubleSize));
3740 __ movdbl(Operand(esp, 0), input_reg);
3741 // Get exponent alone and check for too-big exponent.
3742 __ mov(result_reg, Operand(esp, sizeof(int32_t)));
3743 __ and_(result_reg, HeapNumber::kExponentMask);
3744 const uint32_t kTooBigExponent =
3745 (HeapNumber::kExponentBias + 63) << HeapNumber::kExponentShift;
3746 __ cmp(Operand(result_reg), Immediate(kTooBigExponent));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003747 __ j(less, &convert, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003748 __ add(Operand(esp), Immediate(kDoubleSize));
3749 DeoptimizeIf(no_condition, instr->environment());
3750 __ bind(&convert);
3751 // Do conversion, which cannot fail because we checked the exponent.
3752 __ fld_d(Operand(esp, 0));
3753 __ fisttp_d(Operand(esp, 0));
3754 __ mov(result_reg, Operand(esp, 0)); // Low word of answer is the result.
3755 __ add(Operand(esp), Immediate(kDoubleSize));
3756 __ bind(&done);
3757 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003758 Label done;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003759 Register temp_reg = ToRegister(instr->TempAt(0));
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003760 XMMRegister xmm_scratch = xmm0;
3761
3762 // If cvttsd2si succeeded, we're done. Otherwise, we attempt
3763 // manual conversion.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003764 __ j(not_equal, &done, Label::kNear);
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003765
3766 // Get high 32 bits of the input in result_reg and temp_reg.
3767 __ pshufd(xmm_scratch, input_reg, 1);
3768 __ movd(Operand(temp_reg), xmm_scratch);
3769 __ mov(result_reg, temp_reg);
3770
3771 // Prepare negation mask in temp_reg.
3772 __ sar(temp_reg, kBitsPerInt - 1);
3773
3774 // Extract the exponent from result_reg and subtract adjusted
3775 // bias from it. The adjustment is selected in a way such that
3776 // when the difference is zero, the answer is in the low 32 bits
3777 // of the input, otherwise a shift has to be performed.
3778 __ shr(result_reg, HeapNumber::kExponentShift);
3779 __ and_(result_reg,
3780 HeapNumber::kExponentMask >> HeapNumber::kExponentShift);
3781 __ sub(Operand(result_reg),
3782 Immediate(HeapNumber::kExponentBias +
3783 HeapNumber::kExponentBits +
3784 HeapNumber::kMantissaBits));
3785 // Don't handle big (> kMantissaBits + kExponentBits == 63) or
3786 // special exponents.
3787 DeoptimizeIf(greater, instr->environment());
3788
3789 // Zero out the sign and the exponent in the input (by shifting
3790 // it to the left) and restore the implicit mantissa bit,
3791 // i.e. convert the input to unsigned int64 shifted left by
3792 // kExponentBits.
3793 ExternalReference minus_zero = ExternalReference::address_of_minus_zero();
3794 // Minus zero has the most significant bit set and the other
3795 // bits cleared.
3796 __ movdbl(xmm_scratch, Operand::StaticVariable(minus_zero));
3797 __ psllq(input_reg, HeapNumber::kExponentBits);
3798 __ por(input_reg, xmm_scratch);
3799
3800 // Get the amount to shift the input right in xmm_scratch.
3801 __ neg(result_reg);
3802 __ movd(xmm_scratch, Operand(result_reg));
3803
3804 // Shift the input right and extract low 32 bits.
3805 __ psrlq(input_reg, xmm_scratch);
3806 __ movd(Operand(result_reg), input_reg);
3807
3808 // Use the prepared mask in temp_reg to negate the result if necessary.
3809 __ xor_(result_reg, Operand(temp_reg));
3810 __ sub(result_reg, Operand(temp_reg));
3811 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003812 }
3813 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003814 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003815 __ cvttsd2si(result_reg, Operand(input_reg));
3816 __ cvtsi2sd(xmm0, Operand(result_reg));
3817 __ ucomisd(xmm0, input_reg);
3818 DeoptimizeIf(not_equal, instr->environment());
3819 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3820 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
3821 // The integer converted back is equal to the original. We
3822 // only have to test if we got -0 as an input.
3823 __ test(result_reg, Operand(result_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003824 __ j(not_zero, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003825 __ movmskpd(result_reg, input_reg);
3826 // Bit 0 contains the sign of the double in input_reg.
3827 // If input was positive, we are ok and return 0, otherwise
3828 // deoptimize.
3829 __ and_(result_reg, 1);
3830 DeoptimizeIf(not_zero, instr->environment());
3831 }
3832 __ bind(&done);
3833 }
3834}
3835
3836
3837void LCodeGen::DoCheckSmi(LCheckSmi* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003838 LOperand* input = instr->InputAt(0);
ricow@chromium.org4f693d62011-07-04 14:01:31 +00003839 __ test(ToOperand(input), Immediate(kSmiTagMask));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003840 DeoptimizeIf(not_zero, instr->environment());
3841}
3842
3843
3844void LCodeGen::DoCheckNonSmi(LCheckNonSmi* instr) {
3845 LOperand* input = instr->InputAt(0);
ricow@chromium.org4f693d62011-07-04 14:01:31 +00003846 __ test(ToOperand(input), Immediate(kSmiTagMask));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003847 DeoptimizeIf(zero, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003848}
3849
3850
3851void LCodeGen::DoCheckInstanceType(LCheckInstanceType* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003852 Register input = ToRegister(instr->InputAt(0));
3853 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003854
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003855 __ mov(temp, FieldOperand(input, HeapObject::kMapOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003856
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003857 if (instr->hydrogen()->is_interval_check()) {
3858 InstanceType first;
3859 InstanceType last;
3860 instr->hydrogen()->GetCheckInterval(&first, &last);
3861
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003862 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
3863 static_cast<int8_t>(first));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003864
3865 // If there is only one type in the interval check for equality.
3866 if (first == last) {
3867 DeoptimizeIf(not_equal, instr->environment());
3868 } else {
3869 DeoptimizeIf(below, instr->environment());
3870 // Omit check for the last type.
3871 if (last != LAST_TYPE) {
3872 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
3873 static_cast<int8_t>(last));
3874 DeoptimizeIf(above, instr->environment());
3875 }
3876 }
3877 } else {
3878 uint8_t mask;
3879 uint8_t tag;
3880 instr->hydrogen()->GetCheckMaskAndTag(&mask, &tag);
3881
3882 if (IsPowerOf2(mask)) {
3883 ASSERT(tag == 0 || IsPowerOf2(tag));
3884 __ test_b(FieldOperand(temp, Map::kInstanceTypeOffset), mask);
3885 DeoptimizeIf(tag == 0 ? not_zero : zero, instr->environment());
3886 } else {
3887 __ movzx_b(temp, FieldOperand(temp, Map::kInstanceTypeOffset));
3888 __ and_(temp, mask);
3889 __ cmpb(Operand(temp), tag);
3890 DeoptimizeIf(not_equal, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003891 }
3892 }
3893}
3894
3895
3896void LCodeGen::DoCheckFunction(LCheckFunction* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003897 ASSERT(instr->InputAt(0)->IsRegister());
ricow@chromium.org4f693d62011-07-04 14:01:31 +00003898 Operand operand = ToOperand(instr->InputAt(0));
3899 __ cmp(operand, instr->hydrogen()->target());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003900 DeoptimizeIf(not_equal, instr->environment());
3901}
3902
3903
3904void LCodeGen::DoCheckMap(LCheckMap* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003905 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003906 ASSERT(input->IsRegister());
3907 Register reg = ToRegister(input);
3908 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3909 instr->hydrogen()->map());
3910 DeoptimizeIf(not_equal, instr->environment());
3911}
3912
3913
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +00003914void LCodeGen::DoClampDToUint8(LClampDToUint8* instr) {
3915 XMMRegister value_reg = ToDoubleRegister(instr->unclamped());
3916 Register result_reg = ToRegister(instr->result());
3917 __ ClampDoubleToUint8(value_reg, xmm0, result_reg);
3918}
3919
3920
3921void LCodeGen::DoClampIToUint8(LClampIToUint8* instr) {
3922 ASSERT(instr->unclamped()->Equals(instr->result()));
3923 Register value_reg = ToRegister(instr->result());
3924 __ ClampUint8(value_reg);
3925}
3926
3927
3928void LCodeGen::DoClampTToUint8(LClampTToUint8* instr) {
3929 ASSERT(instr->unclamped()->Equals(instr->result()));
3930 Register input_reg = ToRegister(instr->unclamped());
3931 Label is_smi, done, heap_number;
3932
3933 __ JumpIfSmi(input_reg, &is_smi);
3934
3935 // Check for heap number
3936 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
3937 factory()->heap_number_map());
3938 __ j(equal, &heap_number, Label::kNear);
3939
3940 // Check for undefined. Undefined is converted to zero for clamping
3941 // conversions.
3942 __ cmp(input_reg, factory()->undefined_value());
3943 DeoptimizeIf(not_equal, instr->environment());
3944 __ mov(input_reg, 0);
3945 __ jmp(&done, Label::kNear);
3946
3947 // Heap number
3948 __ bind(&heap_number);
3949 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3950 __ ClampDoubleToUint8(xmm0, xmm1, input_reg);
3951 __ jmp(&done, Label::kNear);
3952
3953 // smi
3954 __ bind(&is_smi);
3955 __ SmiUntag(input_reg);
3956 __ ClampUint8(input_reg);
3957
3958 __ bind(&done);
3959}
3960
3961
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003962void LCodeGen::LoadHeapObject(Register result, Handle<HeapObject> object) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003963 if (isolate()->heap()->InNewSpace(*object)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003964 Handle<JSGlobalPropertyCell> cell =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003965 isolate()->factory()->NewJSGlobalPropertyCell(object);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003966 __ mov(result, Operand::Cell(cell));
3967 } else {
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003968 __ mov(result, object);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003969 }
3970}
3971
3972
3973void LCodeGen::DoCheckPrototypeMaps(LCheckPrototypeMaps* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003974 Register reg = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003975
3976 Handle<JSObject> holder = instr->holder();
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003977 Handle<JSObject> current_prototype = instr->prototype();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003978
3979 // Load prototype object.
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003980 LoadHeapObject(reg, current_prototype);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003981
3982 // Check prototype maps up to the holder.
3983 while (!current_prototype.is_identical_to(holder)) {
3984 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3985 Handle<Map>(current_prototype->map()));
3986 DeoptimizeIf(not_equal, instr->environment());
3987 current_prototype =
3988 Handle<JSObject>(JSObject::cast(current_prototype->GetPrototype()));
3989 // Load next prototype object.
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003990 LoadHeapObject(reg, current_prototype);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003991 }
3992
3993 // Check the holder map.
3994 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3995 Handle<Map>(current_prototype->map()));
3996 DeoptimizeIf(not_equal, instr->environment());
3997}
3998
3999
4000void LCodeGen::DoArrayLiteral(LArrayLiteral* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004001 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004002 // Setup the parameters to the stub/runtime call.
4003 __ mov(eax, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
4004 __ push(FieldOperand(eax, JSFunction::kLiteralsOffset));
4005 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
4006 __ push(Immediate(instr->hydrogen()->constant_elements()));
4007
4008 // Pick the right runtime function or stub to call.
4009 int length = instr->hydrogen()->length();
4010 if (instr->hydrogen()->IsCopyOnWrite()) {
4011 ASSERT(instr->hydrogen()->depth() == 1);
4012 FastCloneShallowArrayStub::Mode mode =
4013 FastCloneShallowArrayStub::COPY_ON_WRITE_ELEMENTS;
4014 FastCloneShallowArrayStub stub(mode, length);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004015 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004016 } else if (instr->hydrogen()->depth() > 1) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004017 CallRuntime(Runtime::kCreateArrayLiteral, 3, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004018 } else if (length > FastCloneShallowArrayStub::kMaximumClonedLength) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004019 CallRuntime(Runtime::kCreateArrayLiteralShallow, 3, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004020 } else {
4021 FastCloneShallowArrayStub::Mode mode =
4022 FastCloneShallowArrayStub::CLONE_ELEMENTS;
4023 FastCloneShallowArrayStub stub(mode, length);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004024 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004025 }
4026}
4027
4028
4029void LCodeGen::DoObjectLiteral(LObjectLiteral* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00004030 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004031 // Setup the parameters to the stub/runtime call.
4032 __ mov(eax, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
4033 __ push(FieldOperand(eax, JSFunction::kLiteralsOffset));
4034 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
4035 __ push(Immediate(instr->hydrogen()->constant_properties()));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004036 int flags = instr->hydrogen()->fast_elements()
4037 ? ObjectLiteral::kFastElements
4038 : ObjectLiteral::kNoFlags;
4039 flags |= instr->hydrogen()->has_function()
4040 ? ObjectLiteral::kHasFunction
4041 : ObjectLiteral::kNoFlags;
4042 __ push(Immediate(Smi::FromInt(flags)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004043
lrn@chromium.org5d00b602011-01-05 09:51:43 +00004044 // Pick the right runtime function to call.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004045 if (instr->hydrogen()->depth() > 1) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004046 CallRuntime(Runtime::kCreateObjectLiteral, 4, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004047 } else {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004048 CallRuntime(Runtime::kCreateObjectLiteralShallow, 4, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004049 }
4050}
4051
4052
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004053void LCodeGen::DoToFastProperties(LToFastProperties* instr) {
4054 ASSERT(ToRegister(instr->InputAt(0)).is(eax));
4055 __ push(eax);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004056 CallRuntime(Runtime::kToFastProperties, 1, instr);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004057}
4058
4059
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004060void LCodeGen::DoRegExpLiteral(LRegExpLiteral* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004061 ASSERT(ToRegister(instr->context()).is(esi));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004062 Label materialized;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004063 // Registers will be used as follows:
4064 // edi = JS function.
4065 // ecx = literals array.
4066 // ebx = regexp literal.
4067 // eax = regexp literal clone.
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004068 // esi = context.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004069 __ mov(edi, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
4070 __ mov(ecx, FieldOperand(edi, JSFunction::kLiteralsOffset));
4071 int literal_offset = FixedArray::kHeaderSize +
4072 instr->hydrogen()->literal_index() * kPointerSize;
4073 __ mov(ebx, FieldOperand(ecx, literal_offset));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004074 __ cmp(ebx, factory()->undefined_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004075 __ j(not_equal, &materialized, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004076
4077 // Create regexp literal using runtime function
4078 // Result will be in eax.
4079 __ push(ecx);
4080 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
4081 __ push(Immediate(instr->hydrogen()->pattern()));
4082 __ push(Immediate(instr->hydrogen()->flags()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004083 CallRuntime(Runtime::kMaterializeRegExpLiteral, 4, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004084 __ mov(ebx, eax);
4085
4086 __ bind(&materialized);
4087 int size = JSRegExp::kSize + JSRegExp::kInObjectFieldCount * kPointerSize;
4088 Label allocated, runtime_allocate;
4089 __ AllocateInNewSpace(size, eax, ecx, edx, &runtime_allocate, TAG_OBJECT);
4090 __ jmp(&allocated);
4091
4092 __ bind(&runtime_allocate);
4093 __ push(ebx);
4094 __ push(Immediate(Smi::FromInt(size)));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004095 CallRuntime(Runtime::kAllocateInNewSpace, 1, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004096 __ pop(ebx);
4097
4098 __ bind(&allocated);
4099 // Copy the content into the newly allocated memory.
4100 // (Unroll copy loop once for better throughput).
4101 for (int i = 0; i < size - kPointerSize; i += 2 * kPointerSize) {
4102 __ mov(edx, FieldOperand(ebx, i));
4103 __ mov(ecx, FieldOperand(ebx, i + kPointerSize));
4104 __ mov(FieldOperand(eax, i), edx);
4105 __ mov(FieldOperand(eax, i + kPointerSize), ecx);
4106 }
4107 if ((size % (2 * kPointerSize)) != 0) {
4108 __ mov(edx, FieldOperand(ebx, size - kPointerSize));
4109 __ mov(FieldOperand(eax, size - kPointerSize), edx);
4110 }
4111}
4112
4113
4114void LCodeGen::DoFunctionLiteral(LFunctionLiteral* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004115 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004116 // Use the fast case closure allocation code that allocates in new
4117 // space for nested functions that don't need literals cloning.
4118 Handle<SharedFunctionInfo> shared_info = instr->shared_info();
ricow@chromium.org83aa5492011-02-07 12:42:56 +00004119 bool pretenure = instr->hydrogen()->pretenure();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004120 if (!pretenure && shared_info->num_literals() == 0) {
4121 FastNewClosureStub stub(
4122 shared_info->strict_mode() ? kStrictMode : kNonStrictMode);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004123 __ push(Immediate(shared_info));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004124 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004125 } else {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00004126 __ push(Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004127 __ push(Immediate(shared_info));
4128 __ push(Immediate(pretenure
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004129 ? factory()->true_value()
4130 : factory()->false_value()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004131 CallRuntime(Runtime::kNewClosure, 3, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004132 }
4133}
4134
4135
4136void LCodeGen::DoTypeof(LTypeof* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004137 LOperand* input = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004138 if (input->IsConstantOperand()) {
4139 __ push(ToImmediate(input));
4140 } else {
4141 __ push(ToOperand(input));
4142 }
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004143 CallRuntime(Runtime::kTypeof, 1, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004144}
4145
4146
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004147void LCodeGen::DoTypeofIsAndBranch(LTypeofIsAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004148 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004149 int true_block = chunk_->LookupDestination(instr->true_block_id());
4150 int false_block = chunk_->LookupDestination(instr->false_block_id());
4151 Label* true_label = chunk_->GetAssemblyLabel(true_block);
4152 Label* false_label = chunk_->GetAssemblyLabel(false_block);
4153
4154 Condition final_branch_condition = EmitTypeofIs(true_label,
4155 false_label,
4156 input,
4157 instr->type_literal());
4158
4159 EmitBranch(true_block, false_block, final_branch_condition);
4160}
4161
4162
4163Condition LCodeGen::EmitTypeofIs(Label* true_label,
4164 Label* false_label,
4165 Register input,
4166 Handle<String> type_name) {
4167 Condition final_branch_condition = no_condition;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004168 if (type_name->Equals(heap()->number_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004169 __ JumpIfSmi(input, true_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004170 __ cmp(FieldOperand(input, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004171 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004172 final_branch_condition = equal;
4173
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004174 } else if (type_name->Equals(heap()->string_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004175 __ JumpIfSmi(input, false_label);
4176 __ CmpObjectType(input, FIRST_NONSTRING_TYPE, input);
4177 __ j(above_equal, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004178 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4179 1 << Map::kIsUndetectable);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004180 final_branch_condition = zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004181
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004182 } else if (type_name->Equals(heap()->boolean_symbol())) {
4183 __ cmp(input, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004184 __ j(equal, true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004185 __ cmp(input, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004186 final_branch_condition = equal;
4187
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00004188 } else if (FLAG_harmony_typeof && type_name->Equals(heap()->null_symbol())) {
4189 __ cmp(input, factory()->null_value());
4190 final_branch_condition = equal;
4191
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004192 } else if (type_name->Equals(heap()->undefined_symbol())) {
4193 __ cmp(input, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004194 __ j(equal, true_label);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004195 __ JumpIfSmi(input, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004196 // Check for undetectable objects => true.
4197 __ mov(input, FieldOperand(input, HeapObject::kMapOffset));
4198 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4199 1 << Map::kIsUndetectable);
4200 final_branch_condition = not_zero;
4201
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004202 } else if (type_name->Equals(heap()->function_symbol())) {
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00004203 STATIC_ASSERT(LAST_TYPE == LAST_CALLABLE_SPEC_OBJECT_TYPE);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004204 __ JumpIfSmi(input, false_label);
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00004205 __ CmpObjectType(input, FIRST_CALLABLE_SPEC_OBJECT_TYPE, input);
ricow@chromium.orgc54d3652011-05-30 09:20:16 +00004206 final_branch_condition = above_equal;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004207
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004208 } else if (type_name->Equals(heap()->object_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004209 __ JumpIfSmi(input, false_label);
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00004210 if (!FLAG_harmony_typeof) {
4211 __ cmp(input, factory()->null_value());
4212 __ j(equal, true_label);
4213 }
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00004214 __ CmpObjectType(input, FIRST_NONCALLABLE_SPEC_OBJECT_TYPE, input);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004215 __ j(below, false_label);
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00004216 __ CmpInstanceType(input, LAST_NONCALLABLE_SPEC_OBJECT_TYPE);
4217 __ j(above, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004218 // Check for undetectable objects => false.
4219 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4220 1 << Map::kIsUndetectable);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004221 final_branch_condition = zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004222
4223 } else {
4224 final_branch_condition = not_equal;
4225 __ jmp(false_label);
4226 // A dead branch instruction will be generated after this point.
4227 }
4228
4229 return final_branch_condition;
4230}
4231
4232
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004233void LCodeGen::DoIsConstructCallAndBranch(LIsConstructCallAndBranch* instr) {
4234 Register temp = ToRegister(instr->TempAt(0));
4235 int true_block = chunk_->LookupDestination(instr->true_block_id());
4236 int false_block = chunk_->LookupDestination(instr->false_block_id());
4237
4238 EmitIsConstructCall(temp);
4239 EmitBranch(true_block, false_block, equal);
4240}
4241
4242
4243void LCodeGen::EmitIsConstructCall(Register temp) {
4244 // Get the frame pointer for the calling frame.
4245 __ mov(temp, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
4246
4247 // Skip the arguments adaptor frame if it exists.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004248 Label check_frame_marker;
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004249 __ cmp(Operand(temp, StandardFrameConstants::kContextOffset),
4250 Immediate(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004251 __ j(not_equal, &check_frame_marker, Label::kNear);
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004252 __ mov(temp, Operand(temp, StandardFrameConstants::kCallerFPOffset));
4253
4254 // Check the marker in the calling frame.
4255 __ bind(&check_frame_marker);
4256 __ cmp(Operand(temp, StandardFrameConstants::kMarkerOffset),
4257 Immediate(Smi::FromInt(StackFrame::CONSTRUCT)));
4258}
4259
4260
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004261void LCodeGen::DoLazyBailout(LLazyBailout* instr) {
4262 // No code for lazy bailout instruction. Used to capture environment after a
4263 // call for populating the safepoint data with deoptimization data.
4264}
4265
4266
4267void LCodeGen::DoDeoptimize(LDeoptimize* instr) {
4268 DeoptimizeIf(no_condition, instr->environment());
4269}
4270
4271
4272void LCodeGen::DoDeleteProperty(LDeleteProperty* instr) {
4273 LOperand* obj = instr->object();
4274 LOperand* key = instr->key();
4275 __ push(ToOperand(obj));
4276 if (key->IsConstantOperand()) {
4277 __ push(ToImmediate(key));
4278 } else {
4279 __ push(ToOperand(key));
4280 }
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00004281 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
4282 LPointerMap* pointers = instr->pointer_map();
4283 LEnvironment* env = instr->deoptimization_environment();
4284 RecordPosition(pointers->position());
4285 RegisterEnvironmentForDeoptimization(env);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00004286 // Create safepoint generator that will also ensure enough space in the
4287 // reloc info for patching in deoptimization (since this is invoking a
4288 // builtin)
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004289 SafepointGenerator safepoint_generator(this,
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00004290 pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00004291 env->deoptimization_index());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00004292 __ push(Immediate(Smi::FromInt(strict_mode_flag())));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00004293 __ InvokeBuiltin(Builtins::DELETE, CALL_FUNCTION, safepoint_generator);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004294}
4295
4296
ager@chromium.org04921a82011-06-27 13:21:41 +00004297void LCodeGen::DoDeferredStackCheck(LStackCheck* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004298 {
4299 PushSafepointRegistersScope scope(this);
4300 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
4301 __ CallRuntimeSaveDoubles(Runtime::kStackGuard);
4302 RegisterLazyDeoptimization(
4303 instr, RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
4304 }
4305
4306 // The gap code includes the restoring of the safepoint registers.
4307 int pc = masm()->pc_offset();
4308 safepoints_.SetPcAfterGap(pc);
ager@chromium.org04921a82011-06-27 13:21:41 +00004309}
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004310
ager@chromium.org04921a82011-06-27 13:21:41 +00004311
4312void LCodeGen::DoStackCheck(LStackCheck* instr) {
4313 class DeferredStackCheck: public LDeferredCode {
4314 public:
4315 DeferredStackCheck(LCodeGen* codegen, LStackCheck* instr)
4316 : LDeferredCode(codegen), instr_(instr) { }
4317 virtual void Generate() { codegen()->DoDeferredStackCheck(instr_); }
4318 private:
4319 LStackCheck* instr_;
4320 };
4321
4322 if (instr->hydrogen()->is_function_entry()) {
4323 // Perform stack overflow check.
4324 Label done;
4325 ExternalReference stack_limit =
4326 ExternalReference::address_of_stack_limit(isolate());
4327 __ cmp(esp, Operand::StaticVariable(stack_limit));
4328 __ j(above_equal, &done, Label::kNear);
4329
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004330 ASSERT(instr->context()->IsRegister());
4331 ASSERT(ToRegister(instr->context()).is(esi));
ager@chromium.org04921a82011-06-27 13:21:41 +00004332 StackCheckStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004333 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
ager@chromium.org04921a82011-06-27 13:21:41 +00004334 __ bind(&done);
4335 } else {
4336 ASSERT(instr->hydrogen()->is_backwards_branch());
4337 // Perform stack overflow check if this goto needs it before jumping.
4338 DeferredStackCheck* deferred_stack_check =
4339 new DeferredStackCheck(this, instr);
4340 ExternalReference stack_limit =
4341 ExternalReference::address_of_stack_limit(isolate());
4342 __ cmp(esp, Operand::StaticVariable(stack_limit));
4343 __ j(below, deferred_stack_check->entry());
4344 __ bind(instr->done_label());
4345 deferred_stack_check->SetExit(instr->done_label());
4346 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004347}
4348
4349
4350void LCodeGen::DoOsrEntry(LOsrEntry* instr) {
4351 // This is a pseudo-instruction that ensures that the environment here is
4352 // properly registered for deoptimization and records the assembler's PC
4353 // offset.
4354 LEnvironment* environment = instr->environment();
4355 environment->SetSpilledRegisters(instr->SpilledRegisterArray(),
4356 instr->SpilledDoubleRegisterArray());
4357
4358 // If the environment were already registered, we would have no way of
4359 // backpatching it with the spill slot operands.
4360 ASSERT(!environment->HasBeenRegistered());
4361 RegisterEnvironmentForDeoptimization(environment);
4362 ASSERT(osr_pc_offset_ == -1);
4363 osr_pc_offset_ = masm()->pc_offset();
4364}
4365
4366
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00004367void LCodeGen::DoIn(LIn* instr) {
4368 LOperand* obj = instr->object();
4369 LOperand* key = instr->key();
4370 if (key->IsConstantOperand()) {
4371 __ push(ToImmediate(key));
4372 } else {
4373 __ push(ToOperand(key));
4374 }
4375 if (obj->IsConstantOperand()) {
4376 __ push(ToImmediate(obj));
4377 } else {
4378 __ push(ToOperand(obj));
4379 }
4380 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
4381 LPointerMap* pointers = instr->pointer_map();
4382 LEnvironment* env = instr->deoptimization_environment();
4383 RecordPosition(pointers->position());
4384 RegisterEnvironmentForDeoptimization(env);
4385 // Create safepoint generator that will also ensure enough space in the
4386 // reloc info for patching in deoptimization (since this is invoking a
4387 // builtin)
4388 SafepointGenerator safepoint_generator(this,
4389 pointers,
4390 env->deoptimization_index());
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00004391 __ InvokeBuiltin(Builtins::IN, CALL_FUNCTION, safepoint_generator);
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00004392}
4393
4394
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004395#undef __
4396
4397} } // namespace v8::internal
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00004398
4399#endif // V8_TARGET_ARCH_IA32