blob: 25138df9de2df992a19b878d10ba3cbe003db6d6 [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
131 __ push(ebp); // Caller's frame pointer.
132 __ mov(ebp, esp);
133 __ push(esi); // Callee's context.
134 __ push(edi); // Callee's JS function.
135
136 // Reserve space for the stack slots needed by the code.
danno@chromium.org160a7b02011-04-18 15:51:38 +0000137 int slots = GetStackSlotCount();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000138 if (slots > 0) {
139 if (FLAG_debug_code) {
140 __ mov(Operand(eax), Immediate(slots));
141 Label loop;
142 __ bind(&loop);
143 __ push(Immediate(kSlotsZapValue));
144 __ dec(eax);
145 __ j(not_zero, &loop);
146 } else {
147 __ sub(Operand(esp), Immediate(slots * kPointerSize));
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000148#ifdef _MSC_VER
149 // On windows, you may not access the stack more than one page below
150 // the most recently mapped page. To make the allocated area randomly
151 // accessible, we write to each page in turn (the value is irrelevant).
152 const int kPageSize = 4 * KB;
153 for (int offset = slots * kPointerSize - kPageSize;
154 offset > 0;
155 offset -= kPageSize) {
156 __ mov(Operand(esp, offset), eax);
157 }
158#endif
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000159 }
160 }
161
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000162 // Possibly allocate a local context.
163 int heap_slots = scope()->num_heap_slots() - Context::MIN_CONTEXT_SLOTS;
164 if (heap_slots > 0) {
165 Comment(";;; Allocate local context");
166 // Argument to NewContext is the function, which is still in edi.
167 __ push(edi);
168 if (heap_slots <= FastNewContextStub::kMaximumSlots) {
169 FastNewContextStub stub(heap_slots);
170 __ CallStub(&stub);
171 } else {
172 __ CallRuntime(Runtime::kNewContext, 1);
173 }
174 RecordSafepoint(Safepoint::kNoDeoptimizationIndex);
175 // Context is returned in both eax and esi. It replaces the context
176 // passed to us. It's saved in the stack and kept live in esi.
177 __ mov(Operand(ebp, StandardFrameConstants::kContextOffset), esi);
178
179 // Copy parameters into context if necessary.
180 int num_parameters = scope()->num_parameters();
181 for (int i = 0; i < num_parameters; i++) {
182 Slot* slot = scope()->parameter(i)->AsSlot();
183 if (slot != NULL && slot->type() == Slot::CONTEXT) {
184 int parameter_offset = StandardFrameConstants::kCallerSPOffset +
185 (num_parameters - 1 - i) * kPointerSize;
186 // Load parameter from stack.
187 __ mov(eax, Operand(ebp, parameter_offset));
188 // Store it in the context.
189 int context_offset = Context::SlotOffset(slot->index());
190 __ mov(Operand(esi, context_offset), eax);
191 // Update the write barrier. This clobbers all involved
192 // registers, so we have to use a third register to avoid
193 // clobbering esi.
194 __ mov(ecx, esi);
195 __ RecordWrite(ecx, context_offset, eax, ebx);
196 }
197 }
198 Comment(";;; End allocate local context");
199 }
200
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000201 // Trace the call.
202 if (FLAG_trace) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000203 // We have not executed any compiled code yet, so esi still holds the
204 // incoming context.
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000205 __ CallRuntime(Runtime::kTraceEnter, 0);
206 }
207 return !is_aborted();
208}
209
210
211bool LCodeGen::GenerateBody() {
212 ASSERT(is_generating());
213 bool emit_instructions = true;
214 for (current_instruction_ = 0;
215 !is_aborted() && current_instruction_ < instructions_->length();
216 current_instruction_++) {
217 LInstruction* instr = instructions_->at(current_instruction_);
218 if (instr->IsLabel()) {
219 LLabel* label = LLabel::cast(instr);
220 emit_instructions = !label->HasReplacement();
221 }
222
223 if (emit_instructions) {
224 Comment(";;; @%d: %s.", current_instruction_, instr->Mnemonic());
225 instr->CompileToNative(this);
226 }
227 }
228 return !is_aborted();
229}
230
231
232LInstruction* LCodeGen::GetNextInstruction() {
233 if (current_instruction_ < instructions_->length() - 1) {
234 return instructions_->at(current_instruction_ + 1);
235 } else {
236 return NULL;
237 }
238}
239
240
241bool LCodeGen::GenerateDeferredCode() {
242 ASSERT(is_generating());
243 for (int i = 0; !is_aborted() && i < deferred_.length(); i++) {
244 LDeferredCode* code = deferred_[i];
245 __ bind(code->entry());
246 code->Generate();
247 __ jmp(code->exit());
248 }
249
250 // Deferred code is the last part of the instruction sequence. Mark
251 // the generated code as done unless we bailed out.
252 if (!is_aborted()) status_ = DONE;
253 return !is_aborted();
254}
255
256
257bool LCodeGen::GenerateSafepointTable() {
258 ASSERT(is_done());
danno@chromium.org160a7b02011-04-18 15:51:38 +0000259 safepoints_.Emit(masm(), GetStackSlotCount());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000260 return !is_aborted();
261}
262
263
264Register LCodeGen::ToRegister(int index) const {
265 return Register::FromAllocationIndex(index);
266}
267
268
269XMMRegister LCodeGen::ToDoubleRegister(int index) const {
270 return XMMRegister::FromAllocationIndex(index);
271}
272
273
274Register LCodeGen::ToRegister(LOperand* op) const {
275 ASSERT(op->IsRegister());
276 return ToRegister(op->index());
277}
278
279
280XMMRegister LCodeGen::ToDoubleRegister(LOperand* op) const {
281 ASSERT(op->IsDoubleRegister());
282 return ToDoubleRegister(op->index());
283}
284
285
286int LCodeGen::ToInteger32(LConstantOperand* op) const {
287 Handle<Object> value = chunk_->LookupLiteral(op);
288 ASSERT(chunk_->LookupLiteralRepresentation(op).IsInteger32());
289 ASSERT(static_cast<double>(static_cast<int32_t>(value->Number())) ==
290 value->Number());
291 return static_cast<int32_t>(value->Number());
292}
293
294
295Immediate LCodeGen::ToImmediate(LOperand* op) {
296 LConstantOperand* const_op = LConstantOperand::cast(op);
297 Handle<Object> literal = chunk_->LookupLiteral(const_op);
298 Representation r = chunk_->LookupLiteralRepresentation(const_op);
299 if (r.IsInteger32()) {
300 ASSERT(literal->IsNumber());
301 return Immediate(static_cast<int32_t>(literal->Number()));
302 } else if (r.IsDouble()) {
303 Abort("unsupported double immediate");
304 }
305 ASSERT(r.IsTagged());
306 return Immediate(literal);
307}
308
309
310Operand LCodeGen::ToOperand(LOperand* op) const {
311 if (op->IsRegister()) return Operand(ToRegister(op));
312 if (op->IsDoubleRegister()) return Operand(ToDoubleRegister(op));
313 ASSERT(op->IsStackSlot() || op->IsDoubleStackSlot());
314 int index = op->index();
315 if (index >= 0) {
316 // Local or spill slot. Skip the frame pointer, function, and
317 // context in the fixed part of the frame.
318 return Operand(ebp, -(index + 3) * kPointerSize);
319 } else {
320 // Incoming parameter. Skip the return address.
321 return Operand(ebp, -(index - 1) * kPointerSize);
322 }
323}
324
325
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000326Operand LCodeGen::HighOperand(LOperand* op) {
327 ASSERT(op->IsDoubleStackSlot());
328 int index = op->index();
329 int offset = (index >= 0) ? index + 3 : index - 1;
330 return Operand(ebp, -offset * kPointerSize);
331}
332
333
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000334void LCodeGen::WriteTranslation(LEnvironment* environment,
335 Translation* translation) {
336 if (environment == NULL) return;
337
338 // The translation includes one command per value in the environment.
339 int translation_size = environment->values()->length();
340 // The output frame height does not include the parameters.
341 int height = translation_size - environment->parameter_count();
342
343 WriteTranslation(environment->outer(), translation);
344 int closure_id = DefineDeoptimizationLiteral(environment->closure());
345 translation->BeginFrame(environment->ast_id(), closure_id, height);
346 for (int i = 0; i < translation_size; ++i) {
347 LOperand* value = environment->values()->at(i);
348 // spilled_registers_ and spilled_double_registers_ are either
349 // both NULL or both set.
350 if (environment->spilled_registers() != NULL && value != NULL) {
351 if (value->IsRegister() &&
352 environment->spilled_registers()[value->index()] != NULL) {
353 translation->MarkDuplicate();
354 AddToTranslation(translation,
355 environment->spilled_registers()[value->index()],
356 environment->HasTaggedValueAt(i));
357 } else if (
358 value->IsDoubleRegister() &&
359 environment->spilled_double_registers()[value->index()] != NULL) {
360 translation->MarkDuplicate();
361 AddToTranslation(
362 translation,
363 environment->spilled_double_registers()[value->index()],
364 false);
365 }
366 }
367
368 AddToTranslation(translation, value, environment->HasTaggedValueAt(i));
369 }
370}
371
372
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000373void LCodeGen::AddToTranslation(Translation* translation,
374 LOperand* op,
375 bool is_tagged) {
376 if (op == NULL) {
377 // TODO(twuerthinger): Introduce marker operands to indicate that this value
378 // is not present and must be reconstructed from the deoptimizer. Currently
379 // this is only used for the arguments object.
380 translation->StoreArgumentsObject();
381 } else if (op->IsStackSlot()) {
382 if (is_tagged) {
383 translation->StoreStackSlot(op->index());
384 } else {
385 translation->StoreInt32StackSlot(op->index());
386 }
387 } else if (op->IsDoubleStackSlot()) {
388 translation->StoreDoubleStackSlot(op->index());
389 } else if (op->IsArgument()) {
390 ASSERT(is_tagged);
danno@chromium.org160a7b02011-04-18 15:51:38 +0000391 int src_index = GetStackSlotCount() + op->index();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000392 translation->StoreStackSlot(src_index);
393 } else if (op->IsRegister()) {
394 Register reg = ToRegister(op);
395 if (is_tagged) {
396 translation->StoreRegister(reg);
397 } else {
398 translation->StoreInt32Register(reg);
399 }
400 } else if (op->IsDoubleRegister()) {
401 XMMRegister reg = ToDoubleRegister(op);
402 translation->StoreDoubleRegister(reg);
403 } else if (op->IsConstantOperand()) {
404 Handle<Object> literal = chunk()->LookupLiteral(LConstantOperand::cast(op));
405 int src_index = DefineDeoptimizationLiteral(literal);
406 translation->StoreLiteral(src_index);
407 } else {
408 UNREACHABLE();
409 }
410}
411
412
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000413void LCodeGen::CallCodeGeneric(Handle<Code> code,
414 RelocInfo::Mode mode,
415 LInstruction* instr,
416 ContextMode context_mode,
417 SafepointMode safepoint_mode) {
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000418 ASSERT(instr != NULL);
419 LPointerMap* pointers = instr->pointer_map();
420 RecordPosition(pointers->position());
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000421
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000422 if (context_mode == RESTORE_CONTEXT) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000423 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
424 }
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000425 __ call(code, mode);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000426
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000427 RegisterLazyDeoptimization(instr, safepoint_mode);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +0000428
429 // Signal that we don't inline smi code before these stubs in the
430 // optimizing code generator.
431 if (code->kind() == Code::TYPE_RECORDING_BINARY_OP_IC ||
432 code->kind() == Code::COMPARE_IC) {
433 __ nop();
434 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000435}
436
437
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000438void LCodeGen::CallCode(Handle<Code> code,
439 RelocInfo::Mode mode,
440 LInstruction* instr,
441 ContextMode context_mode) {
442 CallCodeGeneric(code, mode, instr, context_mode, RECORD_SIMPLE_SAFEPOINT);
443}
444
445
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000446void LCodeGen::CallRuntime(const Runtime::Function* fun,
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000447 int argc,
448 LInstruction* instr,
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000449 ContextMode context_mode) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000450 ASSERT(instr != NULL);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000451 ASSERT(instr->HasPointerMap());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000452 LPointerMap* pointers = instr->pointer_map();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000453 RecordPosition(pointers->position());
454
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000455 if (context_mode == RESTORE_CONTEXT) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000456 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
457 }
458 __ CallRuntime(fun, argc);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000459
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000460 RegisterLazyDeoptimization(instr, RECORD_SIMPLE_SAFEPOINT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000461}
462
463
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000464void LCodeGen::CallRuntimeFromDeferred(Runtime::FunctionId id,
465 int argc,
466 LInstruction* instr) {
467 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
468 __ CallRuntimeSaveDoubles(id);
469 RecordSafepointWithRegisters(
470 instr->pointer_map(), argc, Safepoint::kNoDeoptimizationIndex);
471}
472
473
474void LCodeGen::RegisterLazyDeoptimization(LInstruction* instr,
475 SafepointMode safepoint_mode) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000476 // Create the environment to bailout to. If the call has side effects
477 // execution has to continue after the call otherwise execution can continue
478 // from a previous bailout point repeating the call.
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000479 LEnvironment* deoptimization_environment;
480 if (instr->HasDeoptimizationEnvironment()) {
481 deoptimization_environment = instr->deoptimization_environment();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000482 } else {
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000483 deoptimization_environment = instr->environment();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000484 }
485
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000486 RegisterEnvironmentForDeoptimization(deoptimization_environment);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000487 if (safepoint_mode == RECORD_SIMPLE_SAFEPOINT) {
488 RecordSafepoint(instr->pointer_map(),
489 deoptimization_environment->deoptimization_index());
490 } else {
491 ASSERT(safepoint_mode == RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
492 RecordSafepointWithRegisters(
493 instr->pointer_map(),
494 0,
495 deoptimization_environment->deoptimization_index());
496 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000497}
498
499
500void LCodeGen::RegisterEnvironmentForDeoptimization(LEnvironment* environment) {
501 if (!environment->HasBeenRegistered()) {
502 // Physical stack frame layout:
503 // -x ............. -4 0 ..................................... y
504 // [incoming arguments] [spill slots] [pushed outgoing arguments]
505
506 // Layout of the environment:
507 // 0 ..................................................... size-1
508 // [parameters] [locals] [expression stack including arguments]
509
510 // Layout of the translation:
511 // 0 ........................................................ size - 1 + 4
512 // [expression stack including arguments] [locals] [4 words] [parameters]
513 // |>------------ translation_size ------------<|
514
515 int frame_count = 0;
516 for (LEnvironment* e = environment; e != NULL; e = e->outer()) {
517 ++frame_count;
518 }
519 Translation translation(&translations_, frame_count);
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000520 WriteTranslation(environment, &translation);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000521 int deoptimization_index = deoptimizations_.length();
522 environment->Register(deoptimization_index, translation.index());
523 deoptimizations_.Add(environment);
524 }
525}
526
527
528void LCodeGen::DeoptimizeIf(Condition cc, LEnvironment* environment) {
529 RegisterEnvironmentForDeoptimization(environment);
530 ASSERT(environment->HasBeenRegistered());
531 int id = environment->deoptimization_index();
532 Address entry = Deoptimizer::GetDeoptimizationEntry(id, Deoptimizer::EAGER);
533 ASSERT(entry != NULL);
534 if (entry == NULL) {
535 Abort("bailout was not prepared");
536 return;
537 }
538
539 if (FLAG_deopt_every_n_times != 0) {
540 Handle<SharedFunctionInfo> shared(info_->shared_info());
541 Label no_deopt;
542 __ pushfd();
543 __ push(eax);
544 __ push(ebx);
545 __ mov(ebx, shared);
546 __ mov(eax, FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset));
547 __ sub(Operand(eax), Immediate(Smi::FromInt(1)));
548 __ j(not_zero, &no_deopt);
549 if (FLAG_trap_on_deopt) __ int3();
550 __ mov(eax, Immediate(Smi::FromInt(FLAG_deopt_every_n_times)));
551 __ mov(FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset), eax);
552 __ pop(ebx);
553 __ pop(eax);
554 __ popfd();
555 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
556
557 __ bind(&no_deopt);
558 __ mov(FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset), eax);
559 __ pop(ebx);
560 __ pop(eax);
561 __ popfd();
562 }
563
564 if (cc == no_condition) {
565 if (FLAG_trap_on_deopt) __ int3();
566 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
567 } else {
568 if (FLAG_trap_on_deopt) {
569 NearLabel done;
570 __ j(NegateCondition(cc), &done);
571 __ int3();
572 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
573 __ bind(&done);
574 } else {
575 __ j(cc, entry, RelocInfo::RUNTIME_ENTRY, not_taken);
576 }
577 }
578}
579
580
581void LCodeGen::PopulateDeoptimizationData(Handle<Code> code) {
582 int length = deoptimizations_.length();
583 if (length == 0) return;
584 ASSERT(FLAG_deopt);
585 Handle<DeoptimizationInputData> data =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000586 factory()->NewDeoptimizationInputData(length, TENURED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000587
ager@chromium.org9ee27ae2011-03-02 13:43:26 +0000588 Handle<ByteArray> translations = translations_.CreateByteArray();
589 data->SetTranslationByteArray(*translations);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000590 data->SetInlinedFunctionCount(Smi::FromInt(inlined_function_count_));
591
592 Handle<FixedArray> literals =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000593 factory()->NewFixedArray(deoptimization_literals_.length(), TENURED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000594 for (int i = 0; i < deoptimization_literals_.length(); i++) {
595 literals->set(i, *deoptimization_literals_[i]);
596 }
597 data->SetLiteralArray(*literals);
598
599 data->SetOsrAstId(Smi::FromInt(info_->osr_ast_id()));
600 data->SetOsrPcOffset(Smi::FromInt(osr_pc_offset_));
601
602 // Populate the deoptimization entries.
603 for (int i = 0; i < length; i++) {
604 LEnvironment* env = deoptimizations_[i];
605 data->SetAstId(i, Smi::FromInt(env->ast_id()));
606 data->SetTranslationIndex(i, Smi::FromInt(env->translation_index()));
607 data->SetArgumentsStackHeight(i,
608 Smi::FromInt(env->arguments_stack_height()));
609 }
610 code->set_deoptimization_data(*data);
611}
612
613
614int LCodeGen::DefineDeoptimizationLiteral(Handle<Object> literal) {
615 int result = deoptimization_literals_.length();
616 for (int i = 0; i < deoptimization_literals_.length(); ++i) {
617 if (deoptimization_literals_[i].is_identical_to(literal)) return i;
618 }
619 deoptimization_literals_.Add(literal);
620 return result;
621}
622
623
624void LCodeGen::PopulateDeoptimizationLiteralsWithInlinedFunctions() {
625 ASSERT(deoptimization_literals_.length() == 0);
626
627 const ZoneList<Handle<JSFunction> >* inlined_closures =
628 chunk()->inlined_closures();
629
630 for (int i = 0, length = inlined_closures->length();
631 i < length;
632 i++) {
633 DefineDeoptimizationLiteral(inlined_closures->at(i));
634 }
635
636 inlined_function_count_ = deoptimization_literals_.length();
637}
638
639
ager@chromium.org378b34e2011-01-28 08:04:38 +0000640void LCodeGen::RecordSafepoint(
641 LPointerMap* pointers,
642 Safepoint::Kind kind,
643 int arguments,
644 int deoptimization_index) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000645 ASSERT(kind == expected_safepoint_kind_);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000646 const ZoneList<LOperand*>* operands = pointers->operands();
647 Safepoint safepoint = safepoints_.DefineSafepoint(masm(),
ager@chromium.org378b34e2011-01-28 08:04:38 +0000648 kind, arguments, deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000649 for (int i = 0; i < operands->length(); i++) {
650 LOperand* pointer = operands->at(i);
651 if (pointer->IsStackSlot()) {
652 safepoint.DefinePointerSlot(pointer->index());
ager@chromium.org378b34e2011-01-28 08:04:38 +0000653 } else if (pointer->IsRegister() && (kind & Safepoint::kWithRegisters)) {
654 safepoint.DefinePointerRegister(ToRegister(pointer));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000655 }
656 }
ager@chromium.org378b34e2011-01-28 08:04:38 +0000657}
658
659
660void LCodeGen::RecordSafepoint(LPointerMap* pointers,
661 int deoptimization_index) {
662 RecordSafepoint(pointers, Safepoint::kSimple, 0, deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000663}
664
665
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000666void LCodeGen::RecordSafepoint(int deoptimization_index) {
667 LPointerMap empty_pointers(RelocInfo::kNoPosition);
668 RecordSafepoint(&empty_pointers, deoptimization_index);
669}
670
671
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000672void LCodeGen::RecordSafepointWithRegisters(LPointerMap* pointers,
673 int arguments,
674 int deoptimization_index) {
ager@chromium.org378b34e2011-01-28 08:04:38 +0000675 RecordSafepoint(pointers, Safepoint::kWithRegisters, arguments,
676 deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000677}
678
679
680void LCodeGen::RecordPosition(int position) {
681 if (!FLAG_debug_info || position == RelocInfo::kNoPosition) return;
682 masm()->positions_recorder()->RecordPosition(position);
683}
684
685
686void LCodeGen::DoLabel(LLabel* label) {
687 if (label->is_loop_header()) {
688 Comment(";;; B%d - LOOP entry", label->block_id());
689 } else {
690 Comment(";;; B%d", label->block_id());
691 }
692 __ bind(label->label());
693 current_block_ = label->block_id();
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000694 DoGap(label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000695}
696
697
698void LCodeGen::DoParallelMove(LParallelMove* move) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000699 resolver_.Resolve(move);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000700}
701
702
703void LCodeGen::DoGap(LGap* gap) {
704 for (int i = LGap::FIRST_INNER_POSITION;
705 i <= LGap::LAST_INNER_POSITION;
706 i++) {
707 LGap::InnerPosition inner_pos = static_cast<LGap::InnerPosition>(i);
708 LParallelMove* move = gap->GetParallelMove(inner_pos);
709 if (move != NULL) DoParallelMove(move);
710 }
711
712 LInstruction* next = GetNextInstruction();
713 if (next != NULL && next->IsLazyBailout()) {
714 int pc = masm()->pc_offset();
715 safepoints_.SetPcAfterGap(pc);
716 }
717}
718
719
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000720void LCodeGen::DoInstructionGap(LInstructionGap* instr) {
721 DoGap(instr);
722}
723
724
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000725void LCodeGen::DoParameter(LParameter* instr) {
726 // Nothing to do.
727}
728
729
730void LCodeGen::DoCallStub(LCallStub* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000731 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000732 ASSERT(ToRegister(instr->result()).is(eax));
733 switch (instr->hydrogen()->major_key()) {
734 case CodeStub::RegExpConstructResult: {
735 RegExpConstructResultStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000736 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000737 break;
738 }
739 case CodeStub::RegExpExec: {
740 RegExpExecStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000741 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000742 break;
743 }
744 case CodeStub::SubString: {
745 SubStringStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000746 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000747 break;
748 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000749 case CodeStub::NumberToString: {
750 NumberToStringStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000751 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000752 break;
753 }
754 case CodeStub::StringAdd: {
755 StringAddStub stub(NO_STRING_ADD_FLAGS);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000756 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000757 break;
758 }
759 case CodeStub::StringCompare: {
760 StringCompareStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000761 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000762 break;
763 }
764 case CodeStub::TranscendentalCache: {
whesse@chromium.org023421e2010-12-21 12:19:12 +0000765 TranscendentalCacheStub stub(instr->transcendental_type(),
766 TranscendentalCacheStub::TAGGED);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000767 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000768 break;
769 }
770 default:
771 UNREACHABLE();
772 }
773}
774
775
776void LCodeGen::DoUnknownOSRValue(LUnknownOSRValue* instr) {
777 // Nothing to do.
778}
779
780
781void LCodeGen::DoModI(LModI* instr) {
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000782 if (instr->hydrogen()->HasPowerOf2Divisor()) {
783 Register dividend = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000784
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000785 int32_t divisor =
786 HConstant::cast(instr->hydrogen()->right())->Integer32Value();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000787
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000788 if (divisor < 0) divisor = -divisor;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000789
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000790 NearLabel positive_dividend, done;
791 __ test(dividend, Operand(dividend));
792 __ j(not_sign, &positive_dividend);
793 __ neg(dividend);
794 __ and_(dividend, divisor - 1);
795 __ neg(dividend);
796 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
797 __ j(not_zero, &done);
798 DeoptimizeIf(no_condition, instr->environment());
799 }
800 __ bind(&positive_dividend);
801 __ and_(dividend, divisor - 1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000802 __ bind(&done);
803 } else {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000804 NearLabel done, remainder_eq_dividend, slow, do_subtraction, both_positive;
805 Register left_reg = ToRegister(instr->InputAt(0));
806 Register right_reg = ToRegister(instr->InputAt(1));
807 Register result_reg = ToRegister(instr->result());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000808
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000809 ASSERT(left_reg.is(eax));
810 ASSERT(result_reg.is(edx));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000811 ASSERT(!right_reg.is(eax));
812 ASSERT(!right_reg.is(edx));
813
814 // Check for x % 0.
815 if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000816 __ test(right_reg, Operand(right_reg));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000817 DeoptimizeIf(zero, instr->environment());
818 }
819
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000820 __ test(left_reg, Operand(left_reg));
821 __ j(zero, &remainder_eq_dividend);
822 __ j(sign, &slow);
823
824 __ test(right_reg, Operand(right_reg));
825 __ j(not_sign, &both_positive);
826 // The sign of the divisor doesn't matter.
827 __ neg(right_reg);
828
829 __ bind(&both_positive);
830 // If the dividend is smaller than the nonnegative
831 // divisor, the dividend is the result.
832 __ cmp(left_reg, Operand(right_reg));
833 __ j(less, &remainder_eq_dividend);
834
835 // Check if the divisor is a PowerOfTwo integer.
836 Register scratch = ToRegister(instr->TempAt(0));
837 __ mov(scratch, right_reg);
838 __ sub(Operand(scratch), Immediate(1));
839 __ test(scratch, Operand(right_reg));
840 __ j(not_zero, &do_subtraction);
841 __ and_(left_reg, Operand(scratch));
842 __ jmp(&remainder_eq_dividend);
843
844 __ bind(&do_subtraction);
845 const int kUnfolds = 3;
846 // Try a few subtractions of the dividend.
847 __ mov(scratch, left_reg);
848 for (int i = 0; i < kUnfolds; i++) {
849 // Reduce the dividend by the divisor.
850 __ sub(left_reg, Operand(right_reg));
851 // Check if the dividend is less than the divisor.
852 __ cmp(left_reg, Operand(right_reg));
853 __ j(less, &remainder_eq_dividend);
854 }
855 __ mov(left_reg, scratch);
856
857 // Slow case, using idiv instruction.
858 __ bind(&slow);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000859 // Sign extend to edx.
860 __ cdq();
861
862 // Check for (0 % -x) that will produce negative zero.
863 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
864 NearLabel positive_left;
865 NearLabel done;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000866 __ test(left_reg, Operand(left_reg));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000867 __ j(not_sign, &positive_left);
868 __ idiv(right_reg);
869
870 // Test the remainder for 0, because then the result would be -0.
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000871 __ test(result_reg, Operand(result_reg));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000872 __ j(not_zero, &done);
873
874 DeoptimizeIf(no_condition, instr->environment());
875 __ bind(&positive_left);
876 __ idiv(right_reg);
877 __ bind(&done);
878 } else {
879 __ idiv(right_reg);
880 }
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000881 __ jmp(&done);
882
883 __ bind(&remainder_eq_dividend);
884 __ mov(result_reg, left_reg);
885
886 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000887 }
888}
889
890
891void LCodeGen::DoDivI(LDivI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000892 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000893 ASSERT(ToRegister(instr->result()).is(eax));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000894 ASSERT(ToRegister(instr->InputAt(0)).is(eax));
895 ASSERT(!ToRegister(instr->InputAt(1)).is(eax));
896 ASSERT(!ToRegister(instr->InputAt(1)).is(edx));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000897
898 Register left_reg = eax;
899
900 // Check for x / 0.
901 Register right_reg = ToRegister(right);
902 if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
903 __ test(right_reg, ToOperand(right));
904 DeoptimizeIf(zero, instr->environment());
905 }
906
907 // Check for (0 / -x) that will produce negative zero.
908 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
909 NearLabel left_not_zero;
910 __ test(left_reg, Operand(left_reg));
911 __ j(not_zero, &left_not_zero);
912 __ test(right_reg, ToOperand(right));
913 DeoptimizeIf(sign, instr->environment());
914 __ bind(&left_not_zero);
915 }
916
917 // Check for (-kMinInt / -1).
918 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
919 NearLabel left_not_min_int;
920 __ cmp(left_reg, kMinInt);
921 __ j(not_zero, &left_not_min_int);
922 __ cmp(right_reg, -1);
923 DeoptimizeIf(zero, instr->environment());
924 __ bind(&left_not_min_int);
925 }
926
927 // Sign extend to edx.
928 __ cdq();
929 __ idiv(right_reg);
930
931 // Deoptimize if remainder is not 0.
932 __ test(edx, Operand(edx));
933 DeoptimizeIf(not_zero, instr->environment());
934}
935
936
937void LCodeGen::DoMulI(LMulI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000938 Register left = ToRegister(instr->InputAt(0));
939 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000940
941 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000942 __ mov(ToRegister(instr->TempAt(0)), left);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000943 }
944
945 if (right->IsConstantOperand()) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000946 // Try strength reductions on the multiplication.
947 // All replacement instructions are at most as long as the imul
948 // and have better latency.
949 int constant = ToInteger32(LConstantOperand::cast(right));
950 if (constant == -1) {
951 __ neg(left);
952 } else if (constant == 0) {
953 __ xor_(left, Operand(left));
954 } else if (constant == 2) {
955 __ add(left, Operand(left));
956 } else if (!instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
957 // If we know that the multiplication can't overflow, it's safe to
958 // use instructions that don't set the overflow flag for the
959 // multiplication.
960 switch (constant) {
961 case 1:
962 // Do nothing.
963 break;
964 case 3:
965 __ lea(left, Operand(left, left, times_2, 0));
966 break;
967 case 4:
968 __ shl(left, 2);
969 break;
970 case 5:
971 __ lea(left, Operand(left, left, times_4, 0));
972 break;
973 case 8:
974 __ shl(left, 3);
975 break;
976 case 9:
977 __ lea(left, Operand(left, left, times_8, 0));
978 break;
979 case 16:
980 __ shl(left, 4);
981 break;
982 default:
983 __ imul(left, left, constant);
984 break;
985 }
986 } else {
987 __ imul(left, left, constant);
988 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000989 } else {
990 __ imul(left, ToOperand(right));
991 }
992
993 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
994 DeoptimizeIf(overflow, instr->environment());
995 }
996
997 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
998 // Bail out if the result is supposed to be negative zero.
999 NearLabel done;
1000 __ test(left, Operand(left));
1001 __ j(not_zero, &done);
1002 if (right->IsConstantOperand()) {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001003 if (ToInteger32(LConstantOperand::cast(right)) <= 0) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001004 DeoptimizeIf(no_condition, instr->environment());
1005 }
1006 } else {
1007 // Test the non-zero operand for negative sign.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001008 __ or_(ToRegister(instr->TempAt(0)), ToOperand(right));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001009 DeoptimizeIf(sign, instr->environment());
1010 }
1011 __ bind(&done);
1012 }
1013}
1014
1015
1016void LCodeGen::DoBitI(LBitI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001017 LOperand* left = instr->InputAt(0);
1018 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001019 ASSERT(left->Equals(instr->result()));
1020 ASSERT(left->IsRegister());
1021
1022 if (right->IsConstantOperand()) {
1023 int right_operand = ToInteger32(LConstantOperand::cast(right));
1024 switch (instr->op()) {
1025 case Token::BIT_AND:
1026 __ and_(ToRegister(left), right_operand);
1027 break;
1028 case Token::BIT_OR:
1029 __ or_(ToRegister(left), right_operand);
1030 break;
1031 case Token::BIT_XOR:
1032 __ xor_(ToRegister(left), right_operand);
1033 break;
1034 default:
1035 UNREACHABLE();
1036 break;
1037 }
1038 } else {
1039 switch (instr->op()) {
1040 case Token::BIT_AND:
1041 __ and_(ToRegister(left), ToOperand(right));
1042 break;
1043 case Token::BIT_OR:
1044 __ or_(ToRegister(left), ToOperand(right));
1045 break;
1046 case Token::BIT_XOR:
1047 __ xor_(ToRegister(left), ToOperand(right));
1048 break;
1049 default:
1050 UNREACHABLE();
1051 break;
1052 }
1053 }
1054}
1055
1056
1057void LCodeGen::DoShiftI(LShiftI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001058 LOperand* left = instr->InputAt(0);
1059 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001060 ASSERT(left->Equals(instr->result()));
1061 ASSERT(left->IsRegister());
1062 if (right->IsRegister()) {
1063 ASSERT(ToRegister(right).is(ecx));
1064
1065 switch (instr->op()) {
1066 case Token::SAR:
1067 __ sar_cl(ToRegister(left));
1068 break;
1069 case Token::SHR:
1070 __ shr_cl(ToRegister(left));
1071 if (instr->can_deopt()) {
1072 __ test(ToRegister(left), Immediate(0x80000000));
1073 DeoptimizeIf(not_zero, instr->environment());
1074 }
1075 break;
1076 case Token::SHL:
1077 __ shl_cl(ToRegister(left));
1078 break;
1079 default:
1080 UNREACHABLE();
1081 break;
1082 }
1083 } else {
1084 int value = ToInteger32(LConstantOperand::cast(right));
1085 uint8_t shift_count = static_cast<uint8_t>(value & 0x1F);
1086 switch (instr->op()) {
1087 case Token::SAR:
1088 if (shift_count != 0) {
1089 __ sar(ToRegister(left), shift_count);
1090 }
1091 break;
1092 case Token::SHR:
1093 if (shift_count == 0 && instr->can_deopt()) {
1094 __ test(ToRegister(left), Immediate(0x80000000));
1095 DeoptimizeIf(not_zero, instr->environment());
1096 } else {
1097 __ shr(ToRegister(left), shift_count);
1098 }
1099 break;
1100 case Token::SHL:
1101 if (shift_count != 0) {
1102 __ shl(ToRegister(left), shift_count);
1103 }
1104 break;
1105 default:
1106 UNREACHABLE();
1107 break;
1108 }
1109 }
1110}
1111
1112
1113void LCodeGen::DoSubI(LSubI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001114 LOperand* left = instr->InputAt(0);
1115 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001116 ASSERT(left->Equals(instr->result()));
1117
1118 if (right->IsConstantOperand()) {
1119 __ sub(ToOperand(left), ToImmediate(right));
1120 } else {
1121 __ sub(ToRegister(left), ToOperand(right));
1122 }
1123 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1124 DeoptimizeIf(overflow, instr->environment());
1125 }
1126}
1127
1128
1129void LCodeGen::DoConstantI(LConstantI* instr) {
1130 ASSERT(instr->result()->IsRegister());
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001131 __ Set(ToRegister(instr->result()), Immediate(instr->value()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001132}
1133
1134
1135void LCodeGen::DoConstantD(LConstantD* instr) {
1136 ASSERT(instr->result()->IsDoubleRegister());
1137 XMMRegister res = ToDoubleRegister(instr->result());
1138 double v = instr->value();
1139 // Use xor to produce +0.0 in a fast and compact way, but avoid to
1140 // do so if the constant is -0.0.
1141 if (BitCast<uint64_t, double>(v) == 0) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001142 __ xorps(res, res);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001143 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001144 Register temp = ToRegister(instr->TempAt(0));
1145 uint64_t int_val = BitCast<uint64_t, double>(v);
1146 int32_t lower = static_cast<int32_t>(int_val);
1147 int32_t upper = static_cast<int32_t>(int_val >> (kBitsPerInt));
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001148 if (CpuFeatures::IsSupported(SSE4_1)) {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001149 CpuFeatures::Scope scope(SSE4_1);
1150 if (lower != 0) {
1151 __ Set(temp, Immediate(lower));
1152 __ movd(res, Operand(temp));
1153 __ Set(temp, Immediate(upper));
1154 __ pinsrd(res, Operand(temp), 1);
1155 } else {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001156 __ xorps(res, res);
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001157 __ Set(temp, Immediate(upper));
1158 __ pinsrd(res, Operand(temp), 1);
1159 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001160 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001161 __ Set(temp, Immediate(upper));
1162 __ movd(res, Operand(temp));
1163 __ psllq(res, 32);
1164 if (lower != 0) {
1165 __ Set(temp, Immediate(lower));
1166 __ movd(xmm0, Operand(temp));
1167 __ por(res, xmm0);
1168 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001169 }
1170 }
1171}
1172
1173
1174void LCodeGen::DoConstantT(LConstantT* instr) {
1175 ASSERT(instr->result()->IsRegister());
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001176 __ Set(ToRegister(instr->result()), Immediate(instr->value()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001177}
1178
1179
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001180void LCodeGen::DoJSArrayLength(LJSArrayLength* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001181 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001182 Register array = ToRegister(instr->InputAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001183 __ mov(result, FieldOperand(array, JSArray::kLengthOffset));
1184}
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001185
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001186
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001187void LCodeGen::DoFixedArrayLength(LFixedArrayLength* instr) {
1188 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001189 Register array = ToRegister(instr->InputAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001190 __ mov(result, FieldOperand(array, FixedArray::kLengthOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001191}
1192
1193
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00001194void LCodeGen::DoExternalArrayLength(LExternalArrayLength* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001195 Register result = ToRegister(instr->result());
1196 Register array = ToRegister(instr->InputAt(0));
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00001197 __ mov(result, FieldOperand(array, ExternalArray::kLengthOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001198}
1199
1200
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001201void LCodeGen::DoValueOf(LValueOf* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001202 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001203 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001204 Register map = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001205 ASSERT(input.is(result));
1206 NearLabel done;
1207 // If the object is a smi return the object.
1208 __ test(input, Immediate(kSmiTagMask));
1209 __ j(zero, &done);
1210
1211 // If the object is not a value type, return the object.
1212 __ CmpObjectType(input, JS_VALUE_TYPE, map);
1213 __ j(not_equal, &done);
1214 __ mov(result, FieldOperand(input, JSValue::kValueOffset));
1215
1216 __ bind(&done);
1217}
1218
1219
1220void LCodeGen::DoBitNotI(LBitNotI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001221 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001222 ASSERT(input->Equals(instr->result()));
1223 __ not_(ToRegister(input));
1224}
1225
1226
1227void LCodeGen::DoThrow(LThrow* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001228 __ push(ToOperand(instr->InputAt(0)));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001229 CallRuntime(Runtime::kThrow, 1, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001230
1231 if (FLAG_debug_code) {
1232 Comment("Unreachable code.");
1233 __ int3();
1234 }
1235}
1236
1237
1238void LCodeGen::DoAddI(LAddI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001239 LOperand* left = instr->InputAt(0);
1240 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001241 ASSERT(left->Equals(instr->result()));
1242
1243 if (right->IsConstantOperand()) {
1244 __ add(ToOperand(left), ToImmediate(right));
1245 } else {
1246 __ add(ToRegister(left), ToOperand(right));
1247 }
1248
1249 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1250 DeoptimizeIf(overflow, instr->environment());
1251 }
1252}
1253
1254
1255void LCodeGen::DoArithmeticD(LArithmeticD* instr) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001256 XMMRegister left = ToDoubleRegister(instr->InputAt(0));
1257 XMMRegister right = ToDoubleRegister(instr->InputAt(1));
1258 XMMRegister result = ToDoubleRegister(instr->result());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001259 // Modulo uses a fixed result register.
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001260 ASSERT(instr->op() == Token::MOD || left.is(result));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001261 switch (instr->op()) {
1262 case Token::ADD:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001263 __ addsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001264 break;
1265 case Token::SUB:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001266 __ subsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001267 break;
1268 case Token::MUL:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001269 __ mulsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001270 break;
1271 case Token::DIV:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001272 __ divsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001273 break;
1274 case Token::MOD: {
1275 // Pass two doubles as arguments on the stack.
1276 __ PrepareCallCFunction(4, eax);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001277 __ movdbl(Operand(esp, 0 * kDoubleSize), left);
1278 __ movdbl(Operand(esp, 1 * kDoubleSize), right);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001279 __ CallCFunction(
1280 ExternalReference::double_fp_operation(Token::MOD, isolate()),
1281 4);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001282
1283 // Return value is in st(0) on ia32.
1284 // Store it into the (fixed) result register.
1285 __ sub(Operand(esp), Immediate(kDoubleSize));
1286 __ fstp_d(Operand(esp, 0));
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001287 __ movdbl(result, Operand(esp, 0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001288 __ add(Operand(esp), Immediate(kDoubleSize));
1289 break;
1290 }
1291 default:
1292 UNREACHABLE();
1293 break;
1294 }
1295}
1296
1297
1298void LCodeGen::DoArithmeticT(LArithmeticT* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001299 ASSERT(ToRegister(instr->InputAt(0)).is(edx));
1300 ASSERT(ToRegister(instr->InputAt(1)).is(eax));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001301 ASSERT(ToRegister(instr->result()).is(eax));
1302
1303 TypeRecordingBinaryOpStub stub(instr->op(), NO_OVERWRITE);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001304 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001305}
1306
1307
1308int LCodeGen::GetNextEmittedBlock(int block) {
1309 for (int i = block + 1; i < graph()->blocks()->length(); ++i) {
1310 LLabel* label = chunk_->GetLabel(i);
1311 if (!label->HasReplacement()) return i;
1312 }
1313 return -1;
1314}
1315
1316
1317void LCodeGen::EmitBranch(int left_block, int right_block, Condition cc) {
1318 int next_block = GetNextEmittedBlock(current_block_);
1319 right_block = chunk_->LookupDestination(right_block);
1320 left_block = chunk_->LookupDestination(left_block);
1321
1322 if (right_block == left_block) {
1323 EmitGoto(left_block);
1324 } else if (left_block == next_block) {
1325 __ j(NegateCondition(cc), chunk_->GetAssemblyLabel(right_block));
1326 } else if (right_block == next_block) {
1327 __ j(cc, chunk_->GetAssemblyLabel(left_block));
1328 } else {
1329 __ j(cc, chunk_->GetAssemblyLabel(left_block));
1330 __ jmp(chunk_->GetAssemblyLabel(right_block));
1331 }
1332}
1333
1334
1335void LCodeGen::DoBranch(LBranch* instr) {
1336 int true_block = chunk_->LookupDestination(instr->true_block_id());
1337 int false_block = chunk_->LookupDestination(instr->false_block_id());
1338
1339 Representation r = instr->hydrogen()->representation();
1340 if (r.IsInteger32()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001341 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001342 __ test(reg, Operand(reg));
1343 EmitBranch(true_block, false_block, not_zero);
1344 } else if (r.IsDouble()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001345 XMMRegister reg = ToDoubleRegister(instr->InputAt(0));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001346 __ xorps(xmm0, xmm0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001347 __ ucomisd(reg, xmm0);
1348 EmitBranch(true_block, false_block, not_equal);
1349 } else {
1350 ASSERT(r.IsTagged());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001351 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001352 if (instr->hydrogen()->type().IsBoolean()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001353 __ cmp(reg, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001354 EmitBranch(true_block, false_block, equal);
1355 } else {
1356 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1357 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1358
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001359 __ cmp(reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001360 __ j(equal, false_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001361 __ cmp(reg, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001362 __ j(equal, true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001363 __ cmp(reg, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001364 __ j(equal, false_label);
1365 __ test(reg, Operand(reg));
1366 __ j(equal, false_label);
1367 __ test(reg, Immediate(kSmiTagMask));
1368 __ j(zero, true_label);
1369
1370 // Test for double values. Zero is false.
1371 NearLabel call_stub;
1372 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001373 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001374 __ j(not_equal, &call_stub);
1375 __ fldz();
1376 __ fld_d(FieldOperand(reg, HeapNumber::kValueOffset));
1377 __ FCmp();
1378 __ j(zero, false_label);
1379 __ jmp(true_label);
1380
1381 // The conversion stub doesn't cause garbage collections so it's
1382 // safe to not record a safepoint after the call.
1383 __ bind(&call_stub);
1384 ToBooleanStub stub;
1385 __ pushad();
1386 __ push(reg);
1387 __ CallStub(&stub);
1388 __ test(eax, Operand(eax));
1389 __ popad();
1390 EmitBranch(true_block, false_block, not_zero);
1391 }
1392 }
1393}
1394
1395
1396void LCodeGen::EmitGoto(int block, LDeferredCode* deferred_stack_check) {
1397 block = chunk_->LookupDestination(block);
1398 int next_block = GetNextEmittedBlock(current_block_);
1399 if (block != next_block) {
1400 // Perform stack overflow check if this goto needs it before jumping.
1401 if (deferred_stack_check != NULL) {
1402 ExternalReference stack_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001403 ExternalReference::address_of_stack_limit(isolate());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001404 __ cmp(esp, Operand::StaticVariable(stack_limit));
1405 __ j(above_equal, chunk_->GetAssemblyLabel(block));
1406 __ jmp(deferred_stack_check->entry());
1407 deferred_stack_check->SetExit(chunk_->GetAssemblyLabel(block));
1408 } else {
1409 __ jmp(chunk_->GetAssemblyLabel(block));
1410 }
1411 }
1412}
1413
1414
1415void LCodeGen::DoDeferredStackCheck(LGoto* instr) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001416 PushSafepointRegistersScope scope(this);
1417 CallRuntimeFromDeferred(Runtime::kStackGuard, 0, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001418}
1419
1420void LCodeGen::DoGoto(LGoto* instr) {
1421 class DeferredStackCheck: public LDeferredCode {
1422 public:
1423 DeferredStackCheck(LCodeGen* codegen, LGoto* instr)
1424 : LDeferredCode(codegen), instr_(instr) { }
1425 virtual void Generate() { codegen()->DoDeferredStackCheck(instr_); }
1426 private:
1427 LGoto* instr_;
1428 };
1429
1430 DeferredStackCheck* deferred = NULL;
1431 if (instr->include_stack_check()) {
1432 deferred = new DeferredStackCheck(this, instr);
1433 }
1434 EmitGoto(instr->block_id(), deferred);
1435}
1436
1437
1438Condition LCodeGen::TokenToCondition(Token::Value op, bool is_unsigned) {
1439 Condition cond = no_condition;
1440 switch (op) {
1441 case Token::EQ:
1442 case Token::EQ_STRICT:
1443 cond = equal;
1444 break;
1445 case Token::LT:
1446 cond = is_unsigned ? below : less;
1447 break;
1448 case Token::GT:
1449 cond = is_unsigned ? above : greater;
1450 break;
1451 case Token::LTE:
1452 cond = is_unsigned ? below_equal : less_equal;
1453 break;
1454 case Token::GTE:
1455 cond = is_unsigned ? above_equal : greater_equal;
1456 break;
1457 case Token::IN:
1458 case Token::INSTANCEOF:
1459 default:
1460 UNREACHABLE();
1461 }
1462 return cond;
1463}
1464
1465
1466void LCodeGen::EmitCmpI(LOperand* left, LOperand* right) {
1467 if (right->IsConstantOperand()) {
1468 __ cmp(ToOperand(left), ToImmediate(right));
1469 } else {
1470 __ cmp(ToRegister(left), ToOperand(right));
1471 }
1472}
1473
1474
1475void LCodeGen::DoCmpID(LCmpID* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001476 LOperand* left = instr->InputAt(0);
1477 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001478 LOperand* result = instr->result();
1479
1480 NearLabel unordered;
1481 if (instr->is_double()) {
1482 // Don't base result on EFLAGS when a NaN is involved. Instead
1483 // jump to the unordered case, which produces a false value.
1484 __ ucomisd(ToDoubleRegister(left), ToDoubleRegister(right));
1485 __ j(parity_even, &unordered, not_taken);
1486 } else {
1487 EmitCmpI(left, right);
1488 }
1489
1490 NearLabel done;
1491 Condition cc = TokenToCondition(instr->op(), instr->is_double());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001492 __ mov(ToRegister(result), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001493 __ j(cc, &done);
1494
1495 __ bind(&unordered);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001496 __ mov(ToRegister(result), factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001497 __ bind(&done);
1498}
1499
1500
1501void LCodeGen::DoCmpIDAndBranch(LCmpIDAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001502 LOperand* left = instr->InputAt(0);
1503 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001504 int false_block = chunk_->LookupDestination(instr->false_block_id());
1505 int true_block = chunk_->LookupDestination(instr->true_block_id());
1506
1507 if (instr->is_double()) {
1508 // Don't base result on EFLAGS when a NaN is involved. Instead
1509 // jump to the false block.
1510 __ ucomisd(ToDoubleRegister(left), ToDoubleRegister(right));
1511 __ j(parity_even, chunk_->GetAssemblyLabel(false_block));
1512 } else {
1513 EmitCmpI(left, right);
1514 }
1515
1516 Condition cc = TokenToCondition(instr->op(), instr->is_double());
1517 EmitBranch(true_block, false_block, cc);
1518}
1519
1520
1521void LCodeGen::DoCmpJSObjectEq(LCmpJSObjectEq* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001522 Register left = ToRegister(instr->InputAt(0));
1523 Register right = ToRegister(instr->InputAt(1));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001524 Register result = ToRegister(instr->result());
1525
1526 __ cmp(left, Operand(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001527 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001528 NearLabel done;
1529 __ j(equal, &done);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001530 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001531 __ bind(&done);
1532}
1533
1534
1535void LCodeGen::DoCmpJSObjectEqAndBranch(LCmpJSObjectEqAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001536 Register left = ToRegister(instr->InputAt(0));
1537 Register right = ToRegister(instr->InputAt(1));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001538 int false_block = chunk_->LookupDestination(instr->false_block_id());
1539 int true_block = chunk_->LookupDestination(instr->true_block_id());
1540
1541 __ cmp(left, Operand(right));
1542 EmitBranch(true_block, false_block, equal);
1543}
1544
1545
1546void LCodeGen::DoIsNull(LIsNull* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001547 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001548 Register result = ToRegister(instr->result());
1549
1550 // TODO(fsc): If the expression is known to be a smi, then it's
1551 // definitely not null. Materialize false.
1552
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001553 __ cmp(reg, factory()->null_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001554 if (instr->is_strict()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001555 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001556 NearLabel done;
1557 __ j(equal, &done);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001558 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001559 __ bind(&done);
1560 } else {
1561 NearLabel true_value, false_value, done;
1562 __ j(equal, &true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001563 __ cmp(reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001564 __ j(equal, &true_value);
1565 __ test(reg, Immediate(kSmiTagMask));
1566 __ j(zero, &false_value);
1567 // Check for undetectable objects by looking in the bit field in
1568 // the map. The object has already been smi checked.
1569 Register scratch = result;
1570 __ mov(scratch, FieldOperand(reg, HeapObject::kMapOffset));
1571 __ movzx_b(scratch, FieldOperand(scratch, Map::kBitFieldOffset));
1572 __ test(scratch, Immediate(1 << Map::kIsUndetectable));
1573 __ j(not_zero, &true_value);
1574 __ bind(&false_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001575 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001576 __ jmp(&done);
1577 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001578 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001579 __ bind(&done);
1580 }
1581}
1582
1583
1584void LCodeGen::DoIsNullAndBranch(LIsNullAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001585 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001586
1587 // TODO(fsc): If the expression is known to be a smi, then it's
1588 // definitely not null. Jump to the false block.
1589
1590 int true_block = chunk_->LookupDestination(instr->true_block_id());
1591 int false_block = chunk_->LookupDestination(instr->false_block_id());
1592
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001593 __ cmp(reg, factory()->null_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001594 if (instr->is_strict()) {
1595 EmitBranch(true_block, false_block, equal);
1596 } else {
1597 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1598 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1599 __ j(equal, true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001600 __ cmp(reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001601 __ j(equal, true_label);
1602 __ test(reg, Immediate(kSmiTagMask));
1603 __ j(zero, false_label);
1604 // Check for undetectable objects by looking in the bit field in
1605 // the map. The object has already been smi checked.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001606 Register scratch = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001607 __ mov(scratch, FieldOperand(reg, HeapObject::kMapOffset));
1608 __ movzx_b(scratch, FieldOperand(scratch, Map::kBitFieldOffset));
1609 __ test(scratch, Immediate(1 << Map::kIsUndetectable));
1610 EmitBranch(true_block, false_block, not_zero);
1611 }
1612}
1613
1614
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001615Condition LCodeGen::EmitIsObject(Register input,
1616 Register temp1,
1617 Register temp2,
1618 Label* is_not_object,
1619 Label* is_object) {
1620 ASSERT(!input.is(temp1));
1621 ASSERT(!input.is(temp2));
1622 ASSERT(!temp1.is(temp2));
1623
1624 __ test(input, Immediate(kSmiTagMask));
1625 __ j(equal, is_not_object);
1626
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001627 __ cmp(input, isolate()->factory()->null_value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001628 __ j(equal, is_object);
1629
1630 __ mov(temp1, FieldOperand(input, HeapObject::kMapOffset));
1631 // Undetectable objects behave like undefined.
1632 __ movzx_b(temp2, FieldOperand(temp1, Map::kBitFieldOffset));
1633 __ test(temp2, Immediate(1 << Map::kIsUndetectable));
1634 __ j(not_zero, is_not_object);
1635
1636 __ movzx_b(temp2, FieldOperand(temp1, Map::kInstanceTypeOffset));
1637 __ cmp(temp2, FIRST_JS_OBJECT_TYPE);
1638 __ j(below, is_not_object);
1639 __ cmp(temp2, LAST_JS_OBJECT_TYPE);
1640 return below_equal;
1641}
1642
1643
1644void LCodeGen::DoIsObject(LIsObject* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001645 Register reg = ToRegister(instr->InputAt(0));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001646 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001647 Register temp = ToRegister(instr->TempAt(0));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001648 Label is_false, is_true, done;
1649
1650 Condition true_cond = EmitIsObject(reg, result, temp, &is_false, &is_true);
1651 __ j(true_cond, &is_true);
1652
1653 __ bind(&is_false);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001654 __ mov(result, factory()->false_value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001655 __ jmp(&done);
1656
1657 __ bind(&is_true);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001658 __ mov(result, factory()->true_value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001659
1660 __ bind(&done);
1661}
1662
1663
1664void LCodeGen::DoIsObjectAndBranch(LIsObjectAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001665 Register reg = ToRegister(instr->InputAt(0));
1666 Register temp = ToRegister(instr->TempAt(0));
1667 Register temp2 = ToRegister(instr->TempAt(1));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001668
1669 int true_block = chunk_->LookupDestination(instr->true_block_id());
1670 int false_block = chunk_->LookupDestination(instr->false_block_id());
1671 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1672 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1673
1674 Condition true_cond = EmitIsObject(reg, temp, temp2, false_label, true_label);
1675
1676 EmitBranch(true_block, false_block, true_cond);
1677}
1678
1679
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001680void LCodeGen::DoIsSmi(LIsSmi* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001681 Operand input = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001682 Register result = ToRegister(instr->result());
1683
1684 ASSERT(instr->hydrogen()->value()->representation().IsTagged());
1685 __ test(input, Immediate(kSmiTagMask));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001686 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001687 NearLabel done;
1688 __ j(zero, &done);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001689 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001690 __ bind(&done);
1691}
1692
1693
1694void LCodeGen::DoIsSmiAndBranch(LIsSmiAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001695 Operand input = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001696
1697 int true_block = chunk_->LookupDestination(instr->true_block_id());
1698 int false_block = chunk_->LookupDestination(instr->false_block_id());
1699
1700 __ test(input, Immediate(kSmiTagMask));
1701 EmitBranch(true_block, false_block, zero);
1702}
1703
1704
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001705static InstanceType TestType(HHasInstanceType* instr) {
1706 InstanceType from = instr->from();
1707 InstanceType to = instr->to();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001708 if (from == FIRST_TYPE) return to;
1709 ASSERT(from == to || to == LAST_TYPE);
1710 return from;
1711}
1712
1713
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001714static Condition BranchCondition(HHasInstanceType* instr) {
1715 InstanceType from = instr->from();
1716 InstanceType to = instr->to();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001717 if (from == to) return equal;
1718 if (to == LAST_TYPE) return above_equal;
1719 if (from == FIRST_TYPE) return below_equal;
1720 UNREACHABLE();
1721 return equal;
1722}
1723
1724
1725void LCodeGen::DoHasInstanceType(LHasInstanceType* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001726 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001727 Register result = ToRegister(instr->result());
1728
1729 ASSERT(instr->hydrogen()->value()->representation().IsTagged());
1730 __ test(input, Immediate(kSmiTagMask));
1731 NearLabel done, is_false;
1732 __ j(zero, &is_false);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001733 __ CmpObjectType(input, TestType(instr->hydrogen()), result);
1734 __ j(NegateCondition(BranchCondition(instr->hydrogen())), &is_false);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001735 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001736 __ jmp(&done);
1737 __ bind(&is_false);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001738 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001739 __ bind(&done);
1740}
1741
1742
1743void LCodeGen::DoHasInstanceTypeAndBranch(LHasInstanceTypeAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001744 Register input = ToRegister(instr->InputAt(0));
1745 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001746
1747 int true_block = chunk_->LookupDestination(instr->true_block_id());
1748 int false_block = chunk_->LookupDestination(instr->false_block_id());
1749
1750 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1751
1752 __ test(input, Immediate(kSmiTagMask));
1753 __ j(zero, false_label);
1754
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001755 __ CmpObjectType(input, TestType(instr->hydrogen()), temp);
1756 EmitBranch(true_block, false_block, BranchCondition(instr->hydrogen()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001757}
1758
1759
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001760void LCodeGen::DoGetCachedArrayIndex(LGetCachedArrayIndex* instr) {
1761 Register input = ToRegister(instr->InputAt(0));
1762 Register result = ToRegister(instr->result());
1763
1764 if (FLAG_debug_code) {
1765 __ AbortIfNotString(input);
1766 }
1767
1768 __ mov(result, FieldOperand(input, String::kHashFieldOffset));
1769 __ IndexFromHash(result, result);
1770}
1771
1772
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001773void LCodeGen::DoHasCachedArrayIndex(LHasCachedArrayIndex* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001774 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001775 Register result = ToRegister(instr->result());
1776
1777 ASSERT(instr->hydrogen()->value()->representation().IsTagged());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001778 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001779 __ test(FieldOperand(input, String::kHashFieldOffset),
1780 Immediate(String::kContainsCachedArrayIndexMask));
1781 NearLabel done;
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001782 __ j(zero, &done);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001783 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001784 __ bind(&done);
1785}
1786
1787
1788void LCodeGen::DoHasCachedArrayIndexAndBranch(
1789 LHasCachedArrayIndexAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001790 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001791
1792 int true_block = chunk_->LookupDestination(instr->true_block_id());
1793 int false_block = chunk_->LookupDestination(instr->false_block_id());
1794
1795 __ test(FieldOperand(input, String::kHashFieldOffset),
1796 Immediate(String::kContainsCachedArrayIndexMask));
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001797 EmitBranch(true_block, false_block, equal);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001798}
1799
1800
1801// Branches to a label or falls through with the answer in the z flag. Trashes
1802// the temp registers, but not the input. Only input and temp2 may alias.
1803void LCodeGen::EmitClassOfTest(Label* is_true,
1804 Label* is_false,
1805 Handle<String>class_name,
1806 Register input,
1807 Register temp,
1808 Register temp2) {
1809 ASSERT(!input.is(temp));
1810 ASSERT(!temp.is(temp2)); // But input and temp2 may be the same register.
1811 __ test(input, Immediate(kSmiTagMask));
1812 __ j(zero, is_false);
1813 __ CmpObjectType(input, FIRST_JS_OBJECT_TYPE, temp);
1814 __ j(below, is_false);
1815
1816 // Map is now in temp.
1817 // Functions have class 'Function'.
1818 __ CmpInstanceType(temp, JS_FUNCTION_TYPE);
1819 if (class_name->IsEqualTo(CStrVector("Function"))) {
1820 __ j(equal, is_true);
1821 } else {
1822 __ j(equal, is_false);
1823 }
1824
1825 // Check if the constructor in the map is a function.
1826 __ mov(temp, FieldOperand(temp, Map::kConstructorOffset));
1827
1828 // As long as JS_FUNCTION_TYPE is the last instance type and it is
1829 // right after LAST_JS_OBJECT_TYPE, we can avoid checking for
1830 // LAST_JS_OBJECT_TYPE.
1831 ASSERT(LAST_TYPE == JS_FUNCTION_TYPE);
1832 ASSERT(JS_FUNCTION_TYPE == LAST_JS_OBJECT_TYPE + 1);
1833
1834 // Objects with a non-function constructor have class 'Object'.
1835 __ CmpObjectType(temp, JS_FUNCTION_TYPE, temp2);
1836 if (class_name->IsEqualTo(CStrVector("Object"))) {
1837 __ j(not_equal, is_true);
1838 } else {
1839 __ j(not_equal, is_false);
1840 }
1841
1842 // temp now contains the constructor function. Grab the
1843 // instance class name from there.
1844 __ mov(temp, FieldOperand(temp, JSFunction::kSharedFunctionInfoOffset));
1845 __ mov(temp, FieldOperand(temp,
1846 SharedFunctionInfo::kInstanceClassNameOffset));
1847 // The class name we are testing against is a symbol because it's a literal.
1848 // The name in the constructor is a symbol because of the way the context is
1849 // booted. This routine isn't expected to work for random API-created
1850 // classes and it doesn't have to because you can't access it with natives
1851 // syntax. Since both sides are symbols it is sufficient to use an identity
1852 // comparison.
1853 __ cmp(temp, class_name);
1854 // End with the answer in the z flag.
1855}
1856
1857
1858void LCodeGen::DoClassOfTest(LClassOfTest* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001859 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001860 Register result = ToRegister(instr->result());
1861 ASSERT(input.is(result));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001862 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001863 Handle<String> class_name = instr->hydrogen()->class_name();
1864 NearLabel done;
1865 Label is_true, is_false;
1866
1867 EmitClassOfTest(&is_true, &is_false, class_name, input, temp, input);
1868
1869 __ j(not_equal, &is_false);
1870
1871 __ bind(&is_true);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001872 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001873 __ jmp(&done);
1874
1875 __ bind(&is_false);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001876 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001877 __ bind(&done);
1878}
1879
1880
1881void LCodeGen::DoClassOfTestAndBranch(LClassOfTestAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001882 Register input = ToRegister(instr->InputAt(0));
1883 Register temp = ToRegister(instr->TempAt(0));
1884 Register temp2 = ToRegister(instr->TempAt(1));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001885 if (input.is(temp)) {
1886 // Swap.
1887 Register swapper = temp;
1888 temp = temp2;
1889 temp2 = swapper;
1890 }
1891 Handle<String> class_name = instr->hydrogen()->class_name();
1892
1893 int true_block = chunk_->LookupDestination(instr->true_block_id());
1894 int false_block = chunk_->LookupDestination(instr->false_block_id());
1895
1896 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1897 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1898
1899 EmitClassOfTest(true_label, false_label, class_name, input, temp, temp2);
1900
1901 EmitBranch(true_block, false_block, equal);
1902}
1903
1904
1905void LCodeGen::DoCmpMapAndBranch(LCmpMapAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001906 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001907 int true_block = instr->true_block_id();
1908 int false_block = instr->false_block_id();
1909
1910 __ cmp(FieldOperand(reg, HeapObject::kMapOffset), instr->map());
1911 EmitBranch(true_block, false_block, equal);
1912}
1913
1914
1915void LCodeGen::DoInstanceOf(LInstanceOf* instr) {
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001916 // Object and function are in fixed registers defined by the stub.
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001917 ASSERT(ToRegister(instr->context()).is(esi));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001918 InstanceofStub stub(InstanceofStub::kArgsInRegisters);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001919 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001920
1921 NearLabel true_value, done;
1922 __ test(eax, Operand(eax));
1923 __ j(zero, &true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001924 __ mov(ToRegister(instr->result()), factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001925 __ jmp(&done);
1926 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001927 __ mov(ToRegister(instr->result()), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001928 __ bind(&done);
1929}
1930
1931
1932void LCodeGen::DoInstanceOfAndBranch(LInstanceOfAndBranch* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001933 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001934 int true_block = chunk_->LookupDestination(instr->true_block_id());
1935 int false_block = chunk_->LookupDestination(instr->false_block_id());
1936
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001937 InstanceofStub stub(InstanceofStub::kArgsInRegisters);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001938 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001939 __ test(eax, Operand(eax));
1940 EmitBranch(true_block, false_block, zero);
1941}
1942
1943
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001944void LCodeGen::DoInstanceOfKnownGlobal(LInstanceOfKnownGlobal* instr) {
1945 class DeferredInstanceOfKnownGlobal: public LDeferredCode {
1946 public:
1947 DeferredInstanceOfKnownGlobal(LCodeGen* codegen,
1948 LInstanceOfKnownGlobal* instr)
1949 : LDeferredCode(codegen), instr_(instr) { }
1950 virtual void Generate() {
1951 codegen()->DoDeferredLInstanceOfKnownGlobal(instr_, &map_check_);
1952 }
1953
1954 Label* map_check() { return &map_check_; }
1955
1956 private:
1957 LInstanceOfKnownGlobal* instr_;
1958 Label map_check_;
1959 };
1960
1961 DeferredInstanceOfKnownGlobal* deferred;
1962 deferred = new DeferredInstanceOfKnownGlobal(this, instr);
1963
1964 Label done, false_result;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001965 Register object = ToRegister(instr->InputAt(0));
1966 Register temp = ToRegister(instr->TempAt(0));
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001967
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001968 // A Smi is not an instance of anything.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001969 __ test(object, Immediate(kSmiTagMask));
1970 __ j(zero, &false_result, not_taken);
1971
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001972 // This is the inlined call site instanceof cache. The two occurences of the
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001973 // hole value will be patched to the last map/result pair generated by the
1974 // instanceof stub.
1975 NearLabel cache_miss;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001976 Register map = ToRegister(instr->TempAt(0));
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001977 __ mov(map, FieldOperand(object, HeapObject::kMapOffset));
1978 __ bind(deferred->map_check()); // Label for calculating code patching.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001979 __ cmp(map, factory()->the_hole_value()); // Patched to cached map.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001980 __ j(not_equal, &cache_miss, not_taken);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001981 __ mov(eax, factory()->the_hole_value()); // Patched to either true or false.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001982 __ jmp(&done);
1983
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001984 // The inlined call site cache did not match. Check for null and string
1985 // before calling the deferred code.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001986 __ bind(&cache_miss);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001987 // Null is not an instance of anything.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001988 __ cmp(object, factory()->null_value());
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001989 __ j(equal, &false_result);
1990
1991 // String values are not instances of anything.
1992 Condition is_string = masm_->IsObjectStringType(object, temp, temp);
1993 __ j(is_string, &false_result);
1994
1995 // Go to the deferred code.
1996 __ jmp(deferred->entry());
1997
1998 __ bind(&false_result);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001999 __ mov(ToRegister(instr->result()), factory()->false_value());
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002000
2001 // Here result has either true or false. Deferred code also produces true or
2002 // false object.
2003 __ bind(deferred->exit());
2004 __ bind(&done);
2005}
2006
2007
2008void LCodeGen::DoDeferredLInstanceOfKnownGlobal(LInstanceOfKnownGlobal* instr,
2009 Label* map_check) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002010 PushSafepointRegistersScope scope(this);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002011
2012 InstanceofStub::Flags flags = InstanceofStub::kNoFlags;
2013 flags = static_cast<InstanceofStub::Flags>(
2014 flags | InstanceofStub::kArgsInRegisters);
2015 flags = static_cast<InstanceofStub::Flags>(
2016 flags | InstanceofStub::kCallSiteInlineCheck);
2017 flags = static_cast<InstanceofStub::Flags>(
2018 flags | InstanceofStub::kReturnTrueFalseObject);
2019 InstanceofStub stub(flags);
2020
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002021 // Get the temp register reserved by the instruction. This needs to be a
2022 // register which is pushed last by PushSafepointRegisters as top of the
2023 // stack is used to pass the offset to the location of the map check to
2024 // the stub.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002025 Register temp = ToRegister(instr->TempAt(0));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002026 ASSERT(MacroAssembler::SafepointRegisterStackIndex(temp) == 0);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002027 __ mov(InstanceofStub::right(), Immediate(instr->function()));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002028 static const int kAdditionalDelta = 16;
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002029 int delta = masm_->SizeOfCodeGeneratedSince(map_check) + kAdditionalDelta;
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002030 __ mov(temp, Immediate(delta));
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002031 __ StoreToSafepointRegisterSlot(temp, temp);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002032 CallCodeGeneric(stub.GetCode(),
2033 RelocInfo::CODE_TARGET,
2034 instr,
2035 RESTORE_CONTEXT,
2036 RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002037 // Put the result value into the eax slot and restore all registers.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002038 __ StoreToSafepointRegisterSlot(eax, eax);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002039}
2040
2041
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002042static Condition ComputeCompareCondition(Token::Value op) {
2043 switch (op) {
2044 case Token::EQ_STRICT:
2045 case Token::EQ:
2046 return equal;
2047 case Token::LT:
2048 return less;
2049 case Token::GT:
2050 return greater;
2051 case Token::LTE:
2052 return less_equal;
2053 case Token::GTE:
2054 return greater_equal;
2055 default:
2056 UNREACHABLE();
2057 return no_condition;
2058 }
2059}
2060
2061
2062void LCodeGen::DoCmpT(LCmpT* instr) {
2063 Token::Value op = instr->op();
2064
2065 Handle<Code> ic = CompareIC::GetUninitialized(op);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002066 CallCode(ic, RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002067
2068 Condition condition = ComputeCompareCondition(op);
2069 if (op == Token::GT || op == Token::LTE) {
2070 condition = ReverseCondition(condition);
2071 }
2072 NearLabel true_value, done;
2073 __ test(eax, Operand(eax));
2074 __ j(condition, &true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002075 __ mov(ToRegister(instr->result()), factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002076 __ jmp(&done);
2077 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002078 __ mov(ToRegister(instr->result()), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002079 __ bind(&done);
2080}
2081
2082
2083void LCodeGen::DoCmpTAndBranch(LCmpTAndBranch* instr) {
2084 Token::Value op = instr->op();
2085 int true_block = chunk_->LookupDestination(instr->true_block_id());
2086 int false_block = chunk_->LookupDestination(instr->false_block_id());
2087
2088 Handle<Code> ic = CompareIC::GetUninitialized(op);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002089 CallCode(ic, RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002090
2091 // The compare stub expects compare condition and the input operands
2092 // reversed for GT and LTE.
2093 Condition condition = ComputeCompareCondition(op);
2094 if (op == Token::GT || op == Token::LTE) {
2095 condition = ReverseCondition(condition);
2096 }
2097 __ test(eax, Operand(eax));
2098 EmitBranch(true_block, false_block, condition);
2099}
2100
2101
2102void LCodeGen::DoReturn(LReturn* instr) {
2103 if (FLAG_trace) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002104 // Preserve the return value on the stack and rely on the runtime call
2105 // to return the value in the same register. We're leaving the code
2106 // managed by the register allocator and tearing down the frame, it's
2107 // safe to write to the context register.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002108 __ push(eax);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002109 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002110 __ CallRuntime(Runtime::kTraceExit, 1);
2111 }
2112 __ mov(esp, ebp);
2113 __ pop(ebp);
danno@chromium.org160a7b02011-04-18 15:51:38 +00002114 __ Ret((GetParameterCount() + 1) * kPointerSize, ecx);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002115}
2116
2117
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002118void LCodeGen::DoLoadGlobalCell(LLoadGlobalCell* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002119 Register result = ToRegister(instr->result());
2120 __ mov(result, Operand::Cell(instr->hydrogen()->cell()));
2121 if (instr->hydrogen()->check_hole_value()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002122 __ cmp(result, factory()->the_hole_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002123 DeoptimizeIf(equal, instr->environment());
2124 }
2125}
2126
2127
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002128void LCodeGen::DoLoadGlobalGeneric(LLoadGlobalGeneric* instr) {
2129 ASSERT(ToRegister(instr->context()).is(esi));
2130 ASSERT(ToRegister(instr->global_object()).is(eax));
2131 ASSERT(ToRegister(instr->result()).is(eax));
2132
2133 __ mov(ecx, instr->name());
2134 RelocInfo::Mode mode = instr->for_typeof() ? RelocInfo::CODE_TARGET :
2135 RelocInfo::CODE_TARGET_CONTEXT;
2136 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002137 CallCode(ic, mode, instr, CONTEXT_ADJUSTED);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002138}
2139
2140
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002141void LCodeGen::DoStoreGlobalCell(LStoreGlobalCell* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002142 Register value = ToRegister(instr->InputAt(0));
ager@chromium.org378b34e2011-01-28 08:04:38 +00002143 Operand cell_operand = Operand::Cell(instr->hydrogen()->cell());
2144
2145 // If the cell we are storing to contains the hole it could have
2146 // been deleted from the property dictionary. In that case, we need
2147 // to update the property details in the property dictionary to mark
2148 // it as no longer deleted. We deoptimize in that case.
2149 if (instr->hydrogen()->check_hole_value()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002150 __ cmp(cell_operand, factory()->the_hole_value());
ager@chromium.org378b34e2011-01-28 08:04:38 +00002151 DeoptimizeIf(equal, instr->environment());
2152 }
2153
2154 // Store the value.
2155 __ mov(cell_operand, value);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002156}
2157
2158
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002159void LCodeGen::DoStoreGlobalGeneric(LStoreGlobalGeneric* instr) {
2160 ASSERT(ToRegister(instr->context()).is(esi));
2161 ASSERT(ToRegister(instr->global_object()).is(edx));
2162 ASSERT(ToRegister(instr->value()).is(eax));
2163
2164 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002165 Handle<Code> ic = instr->strict_mode()
2166 ? isolate()->builtins()->StoreIC_Initialize_Strict()
2167 : isolate()->builtins()->StoreIC_Initialize();
2168 CallCode(ic, RelocInfo::CODE_TARGET_CONTEXT, instr, CONTEXT_ADJUSTED);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002169}
2170
2171
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002172void LCodeGen::DoLoadContextSlot(LLoadContextSlot* instr) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002173 Register context = ToRegister(instr->context());
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002174 Register result = ToRegister(instr->result());
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002175 __ mov(result, ContextOperand(context, instr->slot_index()));
2176}
2177
2178
2179void LCodeGen::DoStoreContextSlot(LStoreContextSlot* instr) {
2180 Register context = ToRegister(instr->context());
2181 Register value = ToRegister(instr->value());
2182 __ mov(ContextOperand(context, instr->slot_index()), value);
2183 if (instr->needs_write_barrier()) {
2184 Register temp = ToRegister(instr->TempAt(0));
2185 int offset = Context::SlotOffset(instr->slot_index());
2186 __ RecordWrite(context, offset, value, temp);
2187 }
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002188}
2189
2190
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002191void LCodeGen::DoLoadNamedField(LLoadNamedField* instr) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002192 Register object = ToRegister(instr->object());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002193 Register result = ToRegister(instr->result());
2194 if (instr->hydrogen()->is_in_object()) {
2195 __ mov(result, FieldOperand(object, instr->hydrogen()->offset()));
2196 } else {
2197 __ mov(result, FieldOperand(object, JSObject::kPropertiesOffset));
2198 __ mov(result, FieldOperand(result, instr->hydrogen()->offset()));
2199 }
2200}
2201
2202
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002203void LCodeGen::EmitLoadField(Register result,
2204 Register object,
2205 Handle<Map> type,
2206 Handle<String> name) {
2207 LookupResult lookup;
2208 type->LookupInDescriptors(NULL, *name, &lookup);
2209 ASSERT(lookup.IsProperty() && lookup.type() == FIELD);
2210 int index = lookup.GetLocalFieldIndexFromMap(*type);
2211 int offset = index * kPointerSize;
2212 if (index < 0) {
2213 // Negative property indices are in-object properties, indexed
2214 // from the end of the fixed part of the object.
2215 __ mov(result, FieldOperand(object, offset + type->instance_size()));
2216 } else {
2217 // Non-negative property indices are in the properties array.
2218 __ mov(result, FieldOperand(object, JSObject::kPropertiesOffset));
2219 __ mov(result, FieldOperand(result, offset + FixedArray::kHeaderSize));
2220 }
2221}
2222
2223
2224void LCodeGen::DoLoadNamedFieldPolymorphic(LLoadNamedFieldPolymorphic* instr) {
2225 Register object = ToRegister(instr->object());
2226 Register result = ToRegister(instr->result());
2227
2228 int map_count = instr->hydrogen()->types()->length();
2229 Handle<String> name = instr->hydrogen()->name();
2230 if (map_count == 0) {
2231 ASSERT(instr->hydrogen()->need_generic());
2232 __ mov(ecx, name);
2233 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002234 CallCode(ic, RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002235 } else {
2236 NearLabel done;
2237 for (int i = 0; i < map_count - 1; ++i) {
2238 Handle<Map> map = instr->hydrogen()->types()->at(i);
2239 NearLabel next;
2240 __ cmp(FieldOperand(object, HeapObject::kMapOffset), map);
2241 __ j(not_equal, &next);
2242 EmitLoadField(result, object, map, name);
2243 __ jmp(&done);
2244 __ bind(&next);
2245 }
2246 Handle<Map> map = instr->hydrogen()->types()->last();
2247 __ cmp(FieldOperand(object, HeapObject::kMapOffset), map);
2248 if (instr->hydrogen()->need_generic()) {
2249 NearLabel generic;
2250 __ j(not_equal, &generic);
2251 EmitLoadField(result, object, map, name);
2252 __ jmp(&done);
2253 __ bind(&generic);
2254 __ mov(ecx, name);
2255 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002256 CallCode(ic, RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002257 } else {
2258 DeoptimizeIf(not_equal, instr->environment());
2259 EmitLoadField(result, object, map, name);
2260 }
2261 __ bind(&done);
2262 }
2263}
2264
2265
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002266void LCodeGen::DoLoadNamedGeneric(LLoadNamedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002267 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002268 ASSERT(ToRegister(instr->object()).is(eax));
2269 ASSERT(ToRegister(instr->result()).is(eax));
2270
2271 __ mov(ecx, instr->name());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002272 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002273 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002274}
2275
2276
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002277void LCodeGen::DoLoadFunctionPrototype(LLoadFunctionPrototype* instr) {
2278 Register function = ToRegister(instr->function());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002279 Register temp = ToRegister(instr->TempAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002280 Register result = ToRegister(instr->result());
2281
2282 // Check that the function really is a function.
2283 __ CmpObjectType(function, JS_FUNCTION_TYPE, result);
2284 DeoptimizeIf(not_equal, instr->environment());
2285
2286 // Check whether the function has an instance prototype.
2287 NearLabel non_instance;
2288 __ test_b(FieldOperand(result, Map::kBitFieldOffset),
2289 1 << Map::kHasNonInstancePrototype);
2290 __ j(not_zero, &non_instance);
2291
2292 // Get the prototype or initial map from the function.
2293 __ mov(result,
2294 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2295
2296 // Check that the function has a prototype or an initial map.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002297 __ cmp(Operand(result), Immediate(factory()->the_hole_value()));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002298 DeoptimizeIf(equal, instr->environment());
2299
2300 // If the function does not have an initial map, we're done.
2301 NearLabel done;
2302 __ CmpObjectType(result, MAP_TYPE, temp);
2303 __ j(not_equal, &done);
2304
2305 // Get the prototype from the initial map.
2306 __ mov(result, FieldOperand(result, Map::kPrototypeOffset));
2307 __ jmp(&done);
2308
2309 // Non-instance prototype: Fetch prototype from constructor field
2310 // in the function's map.
2311 __ bind(&non_instance);
2312 __ mov(result, FieldOperand(result, Map::kConstructorOffset));
2313
2314 // All done.
2315 __ bind(&done);
2316}
2317
2318
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002319void LCodeGen::DoLoadElements(LLoadElements* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002320 Register result = ToRegister(instr->result());
2321 Register input = ToRegister(instr->InputAt(0));
2322 __ mov(result, FieldOperand(input, JSObject::kElementsOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002323 if (FLAG_debug_code) {
2324 NearLabel done;
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002325 __ cmp(FieldOperand(result, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002326 Immediate(factory()->fixed_array_map()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002327 __ j(equal, &done);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002328 __ cmp(FieldOperand(result, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002329 Immediate(factory()->fixed_cow_array_map()));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002330 __ j(equal, &done);
2331 Register temp((result.is(eax)) ? ebx : eax);
2332 __ push(temp);
2333 __ mov(temp, FieldOperand(result, HeapObject::kMapOffset));
2334 __ movzx_b(temp, FieldOperand(temp, Map::kInstanceTypeOffset));
2335 __ sub(Operand(temp), Immediate(FIRST_EXTERNAL_ARRAY_TYPE));
2336 __ cmp(Operand(temp), Immediate(kExternalArrayTypeCount));
2337 __ pop(temp);
2338 __ Check(below, "Check for fast elements or pixel array failed.");
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002339 __ bind(&done);
2340 }
2341}
2342
2343
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00002344void LCodeGen::DoLoadExternalArrayPointer(
2345 LLoadExternalArrayPointer* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002346 Register result = ToRegister(instr->result());
2347 Register input = ToRegister(instr->InputAt(0));
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00002348 __ mov(result, FieldOperand(input,
2349 ExternalArray::kExternalPointerOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002350}
2351
2352
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002353void LCodeGen::DoAccessArgumentsAt(LAccessArgumentsAt* instr) {
2354 Register arguments = ToRegister(instr->arguments());
2355 Register length = ToRegister(instr->length());
2356 Operand index = ToOperand(instr->index());
2357 Register result = ToRegister(instr->result());
2358
2359 __ sub(length, index);
2360 DeoptimizeIf(below_equal, instr->environment());
2361
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002362 // There are two words between the frame pointer and the last argument.
2363 // Subtracting from length accounts for one of them add one more.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002364 __ mov(result, Operand(arguments, length, times_4, kPointerSize));
2365}
2366
2367
2368void LCodeGen::DoLoadKeyedFastElement(LLoadKeyedFastElement* instr) {
2369 Register elements = ToRegister(instr->elements());
2370 Register key = ToRegister(instr->key());
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002371 Register result = ToRegister(instr->result());
2372 ASSERT(result.is(elements));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002373
2374 // Load the result.
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00002375 __ mov(result, FieldOperand(elements,
2376 key,
2377 times_pointer_size,
2378 FixedArray::kHeaderSize));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002379
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002380 // Check for the hole value.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002381 __ cmp(result, factory()->the_hole_value());
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002382 DeoptimizeIf(equal, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002383}
2384
2385
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002386void LCodeGen::DoLoadKeyedSpecializedArrayElement(
2387 LLoadKeyedSpecializedArrayElement* instr) {
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002388 Register external_pointer = ToRegister(instr->external_pointer());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002389 Register key = ToRegister(instr->key());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002390 ExternalArrayType array_type = instr->array_type();
2391 if (array_type == kExternalFloatArray) {
2392 XMMRegister result(ToDoubleRegister(instr->result()));
2393 __ movss(result, Operand(external_pointer, key, times_4, 0));
2394 __ cvtss2sd(result, result);
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00002395 } else if (array_type == kExternalDoubleArray) {
2396 __ movdbl(ToDoubleRegister(instr->result()),
2397 Operand(external_pointer, key, times_8, 0));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002398 } else {
2399 Register result(ToRegister(instr->result()));
2400 switch (array_type) {
2401 case kExternalByteArray:
2402 __ movsx_b(result, Operand(external_pointer, key, times_1, 0));
2403 break;
2404 case kExternalUnsignedByteArray:
2405 case kExternalPixelArray:
2406 __ movzx_b(result, Operand(external_pointer, key, times_1, 0));
2407 break;
2408 case kExternalShortArray:
2409 __ movsx_w(result, Operand(external_pointer, key, times_2, 0));
2410 break;
2411 case kExternalUnsignedShortArray:
2412 __ movzx_w(result, Operand(external_pointer, key, times_2, 0));
2413 break;
2414 case kExternalIntArray:
2415 __ mov(result, Operand(external_pointer, key, times_4, 0));
2416 break;
2417 case kExternalUnsignedIntArray:
2418 __ mov(result, Operand(external_pointer, key, times_4, 0));
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002419 __ test(result, Operand(result));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002420 // TODO(danno): we could be more clever here, perhaps having a special
2421 // version of the stub that detects if the overflow case actually
2422 // happens, and generate code that returns a double rather than int.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002423 DeoptimizeIf(negative, instr->environment());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002424 break;
2425 case kExternalFloatArray:
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00002426 case kExternalDoubleArray:
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002427 UNREACHABLE();
2428 break;
2429 }
2430 }
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002431}
2432
2433
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002434void LCodeGen::DoLoadKeyedGeneric(LLoadKeyedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002435 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002436 ASSERT(ToRegister(instr->object()).is(edx));
2437 ASSERT(ToRegister(instr->key()).is(eax));
2438
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002439 Handle<Code> ic = isolate()->builtins()->KeyedLoadIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002440 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002441}
2442
2443
2444void LCodeGen::DoArgumentsElements(LArgumentsElements* instr) {
2445 Register result = ToRegister(instr->result());
2446
2447 // Check for arguments adapter frame.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002448 NearLabel done, adapted;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002449 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2450 __ mov(result, Operand(result, StandardFrameConstants::kContextOffset));
2451 __ cmp(Operand(result),
2452 Immediate(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)));
2453 __ j(equal, &adapted);
2454
2455 // No arguments adaptor frame.
2456 __ mov(result, Operand(ebp));
2457 __ jmp(&done);
2458
2459 // Arguments adaptor frame present.
2460 __ bind(&adapted);
2461 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2462
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002463 // Result is the frame pointer for the frame if not adapted and for the real
2464 // frame below the adaptor frame if adapted.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002465 __ bind(&done);
2466}
2467
2468
2469void LCodeGen::DoArgumentsLength(LArgumentsLength* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002470 Operand elem = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002471 Register result = ToRegister(instr->result());
2472
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002473 NearLabel done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002474
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002475 // If no arguments adaptor frame the number of arguments is fixed.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002476 __ cmp(ebp, elem);
2477 __ mov(result, Immediate(scope()->num_parameters()));
2478 __ j(equal, &done);
2479
2480 // Arguments adaptor frame present. Get argument length from there.
2481 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2482 __ mov(result, Operand(result,
2483 ArgumentsAdaptorFrameConstants::kLengthOffset));
2484 __ SmiUntag(result);
2485
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002486 // Argument length is in result register.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002487 __ bind(&done);
2488}
2489
2490
2491void LCodeGen::DoApplyArguments(LApplyArguments* instr) {
2492 Register receiver = ToRegister(instr->receiver());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002493 Register function = ToRegister(instr->function());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002494 Register length = ToRegister(instr->length());
2495 Register elements = ToRegister(instr->elements());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002496 Register scratch = ToRegister(instr->TempAt(0));
2497 ASSERT(receiver.is(eax)); // Used for parameter count.
2498 ASSERT(function.is(edi)); // Required by InvokeFunction.
2499 ASSERT(ToRegister(instr->result()).is(eax));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002500
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002501 // If the receiver is null or undefined, we have to pass the global object
2502 // as a receiver.
2503 NearLabel global_object, receiver_ok;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002504 __ cmp(receiver, factory()->null_value());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002505 __ j(equal, &global_object);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002506 __ cmp(receiver, factory()->undefined_value());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002507 __ j(equal, &global_object);
2508
2509 // The receiver should be a JS object.
2510 __ test(receiver, Immediate(kSmiTagMask));
2511 DeoptimizeIf(equal, instr->environment());
2512 __ CmpObjectType(receiver, FIRST_JS_OBJECT_TYPE, scratch);
2513 DeoptimizeIf(below, instr->environment());
2514 __ jmp(&receiver_ok);
2515
2516 __ bind(&global_object);
2517 // TODO(kmillikin): We have a hydrogen value for the global object. See
2518 // if it's better to use it than to explicitly fetch it from the context
2519 // here.
2520 __ mov(receiver, Operand(ebp, StandardFrameConstants::kContextOffset));
2521 __ mov(receiver, ContextOperand(receiver, Context::GLOBAL_INDEX));
2522 __ bind(&receiver_ok);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002523
2524 // Copy the arguments to this function possibly from the
2525 // adaptor frame below it.
2526 const uint32_t kArgumentsLimit = 1 * KB;
2527 __ cmp(length, kArgumentsLimit);
2528 DeoptimizeIf(above, instr->environment());
2529
2530 __ push(receiver);
2531 __ mov(receiver, length);
2532
2533 // Loop through the arguments pushing them onto the execution
2534 // stack.
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002535 NearLabel invoke, loop;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002536 // length is a small non-negative integer, due to the test above.
2537 __ test(length, Operand(length));
2538 __ j(zero, &invoke);
2539 __ bind(&loop);
2540 __ push(Operand(elements, length, times_pointer_size, 1 * kPointerSize));
2541 __ dec(length);
2542 __ j(not_zero, &loop);
2543
2544 // Invoke the function.
2545 __ bind(&invoke);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00002546 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
2547 LPointerMap* pointers = instr->pointer_map();
2548 LEnvironment* env = instr->deoptimization_environment();
2549 RecordPosition(pointers->position());
2550 RegisterEnvironmentForDeoptimization(env);
2551 SafepointGenerator safepoint_generator(this,
2552 pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002553 env->deoptimization_index());
danno@chromium.org160a7b02011-04-18 15:51:38 +00002554 ParameterCount actual(eax);
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002555 __ InvokeFunction(function, actual, CALL_FUNCTION, safepoint_generator);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002556}
2557
2558
2559void LCodeGen::DoPushArgument(LPushArgument* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002560 LOperand* argument = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002561 if (argument->IsConstantOperand()) {
2562 __ push(ToImmediate(argument));
2563 } else {
2564 __ push(ToOperand(argument));
2565 }
2566}
2567
2568
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002569void LCodeGen::DoContext(LContext* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002570 Register result = ToRegister(instr->result());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002571 __ mov(result, Operand(ebp, StandardFrameConstants::kContextOffset));
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002572}
2573
2574
2575void LCodeGen::DoOuterContext(LOuterContext* instr) {
2576 Register context = ToRegister(instr->context());
2577 Register result = ToRegister(instr->result());
2578 __ mov(result, Operand(context, Context::SlotOffset(Context::CLOSURE_INDEX)));
2579 __ mov(result, FieldOperand(result, JSFunction::kContextOffset));
2580}
2581
2582
2583void LCodeGen::DoGlobalObject(LGlobalObject* instr) {
2584 Register context = ToRegister(instr->context());
2585 Register result = ToRegister(instr->result());
2586 __ mov(result, Operand(context, Context::SlotOffset(Context::GLOBAL_INDEX)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002587}
2588
2589
2590void LCodeGen::DoGlobalReceiver(LGlobalReceiver* instr) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002591 Register global = ToRegister(instr->global());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002592 Register result = ToRegister(instr->result());
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002593 __ mov(result, FieldOperand(global, GlobalObject::kGlobalReceiverOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002594}
2595
2596
2597void LCodeGen::CallKnownFunction(Handle<JSFunction> function,
2598 int arity,
2599 LInstruction* instr) {
2600 // Change context if needed.
2601 bool change_context =
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00002602 (info()->closure()->context() != function->context()) ||
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002603 scope()->contains_with() ||
2604 (scope()->num_heap_slots() > 0);
2605 if (change_context) {
2606 __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002607 } else {
2608 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002609 }
2610
2611 // Set eax to arguments count if adaption is not needed. Assumes that eax
2612 // is available to write to at this point.
2613 if (!function->NeedsArgumentsAdaption()) {
2614 __ mov(eax, arity);
2615 }
2616
2617 LPointerMap* pointers = instr->pointer_map();
2618 RecordPosition(pointers->position());
2619
2620 // Invoke function.
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00002621 if (*function == *info()->closure()) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002622 __ CallSelf();
2623 } else {
2624 __ call(FieldOperand(edi, JSFunction::kCodeEntryOffset));
2625 }
2626
2627 // Setup deoptimization.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002628 RegisterLazyDeoptimization(instr, RECORD_SIMPLE_SAFEPOINT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002629}
2630
2631
2632void LCodeGen::DoCallConstantFunction(LCallConstantFunction* instr) {
2633 ASSERT(ToRegister(instr->result()).is(eax));
2634 __ mov(edi, instr->function());
2635 CallKnownFunction(instr->function(), instr->arity(), instr);
2636}
2637
2638
2639void LCodeGen::DoDeferredMathAbsTaggedHeapNumber(LUnaryMathOperation* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002640 Register input_reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002641 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002642 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002643 DeoptimizeIf(not_equal, instr->environment());
2644
2645 Label done;
2646 Register tmp = input_reg.is(eax) ? ecx : eax;
2647 Register tmp2 = tmp.is(ecx) ? edx : input_reg.is(ecx) ? edx : ecx;
2648
2649 // Preserve the value of all registers.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002650 PushSafepointRegistersScope scope(this);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002651
2652 Label negative;
2653 __ mov(tmp, FieldOperand(input_reg, HeapNumber::kExponentOffset));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002654 // Check the sign of the argument. If the argument is positive, just
2655 // return it. We do not need to patch the stack since |input| and
2656 // |result| are the same register and |input| will be restored
2657 // unchanged by popping safepoint registers.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002658 __ test(tmp, Immediate(HeapNumber::kSignMask));
2659 __ j(not_zero, &negative);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002660 __ jmp(&done);
2661
2662 __ bind(&negative);
2663
2664 Label allocated, slow;
2665 __ AllocateHeapNumber(tmp, tmp2, no_reg, &slow);
2666 __ jmp(&allocated);
2667
2668 // Slow case: Call the runtime system to do the number allocation.
2669 __ bind(&slow);
2670
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002671 CallRuntimeFromDeferred(Runtime::kAllocateHeapNumber, 0, instr);
2672
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002673 // Set the pointer to the new heap number in tmp.
2674 if (!tmp.is(eax)) __ mov(tmp, eax);
2675
2676 // Restore input_reg after call to runtime.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002677 __ LoadFromSafepointRegisterSlot(input_reg, input_reg);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002678
2679 __ bind(&allocated);
2680 __ mov(tmp2, FieldOperand(input_reg, HeapNumber::kExponentOffset));
2681 __ and_(tmp2, ~HeapNumber::kSignMask);
2682 __ mov(FieldOperand(tmp, HeapNumber::kExponentOffset), tmp2);
2683 __ mov(tmp2, FieldOperand(input_reg, HeapNumber::kMantissaOffset));
2684 __ mov(FieldOperand(tmp, HeapNumber::kMantissaOffset), tmp2);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002685 __ StoreToSafepointRegisterSlot(input_reg, tmp);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002686
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002687 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002688}
2689
2690
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002691void LCodeGen::EmitIntegerMathAbs(LUnaryMathOperation* instr) {
2692 Register input_reg = ToRegister(instr->InputAt(0));
2693 __ test(input_reg, Operand(input_reg));
2694 Label is_positive;
2695 __ j(not_sign, &is_positive);
2696 __ neg(input_reg);
2697 __ test(input_reg, Operand(input_reg));
2698 DeoptimizeIf(negative, instr->environment());
2699 __ bind(&is_positive);
2700}
2701
2702
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002703void LCodeGen::DoMathAbs(LUnaryMathOperation* instr) {
2704 // Class for deferred case.
2705 class DeferredMathAbsTaggedHeapNumber: public LDeferredCode {
2706 public:
2707 DeferredMathAbsTaggedHeapNumber(LCodeGen* codegen,
2708 LUnaryMathOperation* instr)
2709 : LDeferredCode(codegen), instr_(instr) { }
2710 virtual void Generate() {
2711 codegen()->DoDeferredMathAbsTaggedHeapNumber(instr_);
2712 }
2713 private:
2714 LUnaryMathOperation* instr_;
2715 };
2716
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002717 ASSERT(instr->InputAt(0)->Equals(instr->result()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002718 Representation r = instr->hydrogen()->value()->representation();
2719
2720 if (r.IsDouble()) {
2721 XMMRegister scratch = xmm0;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002722 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002723 __ xorps(scratch, scratch);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002724 __ subsd(scratch, input_reg);
2725 __ pand(input_reg, scratch);
2726 } else if (r.IsInteger32()) {
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002727 EmitIntegerMathAbs(instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002728 } else { // Tagged case.
2729 DeferredMathAbsTaggedHeapNumber* deferred =
2730 new DeferredMathAbsTaggedHeapNumber(this, instr);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002731 Register input_reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002732 // Smi check.
2733 __ test(input_reg, Immediate(kSmiTagMask));
2734 __ j(not_zero, deferred->entry());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002735 EmitIntegerMathAbs(instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002736 __ bind(deferred->exit());
2737 }
2738}
2739
2740
2741void LCodeGen::DoMathFloor(LUnaryMathOperation* instr) {
2742 XMMRegister xmm_scratch = xmm0;
2743 Register output_reg = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002744 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002745 __ xorps(xmm_scratch, xmm_scratch); // Zero the register.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002746 __ ucomisd(input_reg, xmm_scratch);
2747
2748 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2749 DeoptimizeIf(below_equal, instr->environment());
2750 } else {
2751 DeoptimizeIf(below, instr->environment());
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}
2761
2762
2763void LCodeGen::DoMathRound(LUnaryMathOperation* instr) {
2764 XMMRegister xmm_scratch = xmm0;
2765 Register output_reg = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002766 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002767
danno@chromium.org160a7b02011-04-18 15:51:38 +00002768 Label below_half, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002769 // xmm_scratch = 0.5
2770 ExternalReference one_half = ExternalReference::address_of_one_half();
2771 __ movdbl(xmm_scratch, Operand::StaticVariable(one_half));
2772
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
2779 // Compute Math.floor(value + 0.5).
2780 // Use truncating instruction (OK because input is positive).
2781 __ cvttsd2si(output_reg, Operand(input_reg));
2782
2783 // Overflow is signalled with minint.
2784 __ cmp(output_reg, 0x80000000u);
2785 DeoptimizeIf(equal, instr->environment());
danno@chromium.org160a7b02011-04-18 15:51:38 +00002786 __ jmp(&done);
2787
2788 __ bind(&below_half);
2789
2790 // We return 0 for the input range [+0, 0.5[, or [-0.5, 0.5[ if
2791 // we can ignore the difference between a result of -0 and +0.
2792 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2793 // If the sign is positive, we return +0.
2794 __ movmskpd(output_reg, input_reg);
2795 __ test(output_reg, Immediate(1));
2796 DeoptimizeIf(not_zero, instr->environment());
2797 } else {
2798 // If the input is >= -0.5, we return +0.
2799 __ mov(output_reg, Immediate(0xBF000000));
2800 __ movd(xmm_scratch, Operand(output_reg));
2801 __ cvtss2sd(xmm_scratch, xmm_scratch);
2802 __ ucomisd(input_reg, xmm_scratch);
2803 DeoptimizeIf(below, instr->environment());
2804 }
2805 __ Set(output_reg, Immediate(0));
2806 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002807}
2808
2809
2810void LCodeGen::DoMathSqrt(LUnaryMathOperation* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002811 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002812 ASSERT(ToDoubleRegister(instr->result()).is(input_reg));
2813 __ sqrtsd(input_reg, input_reg);
2814}
2815
2816
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002817void LCodeGen::DoMathPowHalf(LUnaryMathOperation* instr) {
2818 XMMRegister xmm_scratch = xmm0;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002819 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002820 ASSERT(ToDoubleRegister(instr->result()).is(input_reg));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002821 __ xorps(xmm_scratch, xmm_scratch);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00002822 __ addsd(input_reg, xmm_scratch); // Convert -0 to +0.
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002823 __ sqrtsd(input_reg, input_reg);
2824}
2825
2826
2827void LCodeGen::DoPower(LPower* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002828 LOperand* left = instr->InputAt(0);
2829 LOperand* right = instr->InputAt(1);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002830 DoubleRegister result_reg = ToDoubleRegister(instr->result());
2831 Representation exponent_type = instr->hydrogen()->right()->representation();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002832
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002833 if (exponent_type.IsDouble()) {
2834 // It is safe to use ebx directly since the instruction is marked
2835 // as a call.
2836 __ PrepareCallCFunction(4, ebx);
2837 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2838 __ movdbl(Operand(esp, 1 * kDoubleSize), ToDoubleRegister(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002839 __ CallCFunction(ExternalReference::power_double_double_function(isolate()),
2840 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002841 } else if (exponent_type.IsInteger32()) {
2842 // It is safe to use ebx directly since the instruction is marked
2843 // as a call.
2844 ASSERT(!ToRegister(right).is(ebx));
2845 __ PrepareCallCFunction(4, ebx);
2846 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2847 __ mov(Operand(esp, 1 * kDoubleSize), ToRegister(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002848 __ CallCFunction(ExternalReference::power_double_int_function(isolate()),
2849 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002850 } else {
2851 ASSERT(exponent_type.IsTagged());
2852 CpuFeatures::Scope scope(SSE2);
2853 Register right_reg = ToRegister(right);
2854
2855 Label non_smi, call;
2856 __ test(right_reg, Immediate(kSmiTagMask));
2857 __ j(not_zero, &non_smi);
2858 __ SmiUntag(right_reg);
2859 __ cvtsi2sd(result_reg, Operand(right_reg));
2860 __ jmp(&call);
2861
2862 __ bind(&non_smi);
2863 // It is safe to use ebx directly since the instruction is marked
2864 // as a call.
2865 ASSERT(!right_reg.is(ebx));
2866 __ CmpObjectType(right_reg, HEAP_NUMBER_TYPE , ebx);
2867 DeoptimizeIf(not_equal, instr->environment());
2868 __ movdbl(result_reg, FieldOperand(right_reg, HeapNumber::kValueOffset));
2869
2870 __ bind(&call);
2871 __ PrepareCallCFunction(4, ebx);
2872 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2873 __ movdbl(Operand(esp, 1 * kDoubleSize), result_reg);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002874 __ CallCFunction(ExternalReference::power_double_double_function(isolate()),
2875 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002876 }
2877
2878 // Return value is in st(0) on ia32.
2879 // Store it into the (fixed) result register.
2880 __ sub(Operand(esp), Immediate(kDoubleSize));
2881 __ fstp_d(Operand(esp, 0));
2882 __ movdbl(result_reg, Operand(esp, 0));
2883 __ add(Operand(esp), Immediate(kDoubleSize));
2884}
2885
2886
2887void LCodeGen::DoMathLog(LUnaryMathOperation* instr) {
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002888 ASSERT(instr->InputAt(0)->Equals(instr->result()));
2889 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
2890 NearLabel positive, done, zero, negative;
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002891 __ xorps(xmm0, xmm0);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002892 __ ucomisd(input_reg, xmm0);
2893 __ j(above, &positive);
2894 __ j(equal, &zero);
2895 ExternalReference nan = ExternalReference::address_of_nan();
2896 __ movdbl(input_reg, Operand::StaticVariable(nan));
2897 __ jmp(&done);
2898 __ bind(&zero);
2899 __ push(Immediate(0xFFF00000));
2900 __ push(Immediate(0));
2901 __ movdbl(input_reg, Operand(esp, 0));
2902 __ add(Operand(esp), Immediate(kDoubleSize));
2903 __ jmp(&done);
2904 __ bind(&positive);
2905 __ fldln2();
2906 __ sub(Operand(esp), Immediate(kDoubleSize));
2907 __ movdbl(Operand(esp, 0), input_reg);
2908 __ fld_d(Operand(esp, 0));
2909 __ fyl2x();
2910 __ fstp_d(Operand(esp, 0));
2911 __ movdbl(input_reg, Operand(esp, 0));
2912 __ add(Operand(esp), Immediate(kDoubleSize));
2913 __ bind(&done);
whesse@chromium.org023421e2010-12-21 12:19:12 +00002914}
2915
2916
2917void LCodeGen::DoMathCos(LUnaryMathOperation* instr) {
2918 ASSERT(ToDoubleRegister(instr->result()).is(xmm1));
2919 TranscendentalCacheStub stub(TranscendentalCache::COS,
2920 TranscendentalCacheStub::UNTAGGED);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002921 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
whesse@chromium.org023421e2010-12-21 12:19:12 +00002922}
2923
2924
2925void LCodeGen::DoMathSin(LUnaryMathOperation* instr) {
2926 ASSERT(ToDoubleRegister(instr->result()).is(xmm1));
2927 TranscendentalCacheStub stub(TranscendentalCache::SIN,
2928 TranscendentalCacheStub::UNTAGGED);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002929 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002930}
2931
2932
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002933void LCodeGen::DoUnaryMathOperation(LUnaryMathOperation* instr) {
2934 switch (instr->op()) {
2935 case kMathAbs:
2936 DoMathAbs(instr);
2937 break;
2938 case kMathFloor:
2939 DoMathFloor(instr);
2940 break;
2941 case kMathRound:
2942 DoMathRound(instr);
2943 break;
2944 case kMathSqrt:
2945 DoMathSqrt(instr);
2946 break;
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002947 case kMathPowHalf:
2948 DoMathPowHalf(instr);
2949 break;
whesse@chromium.org023421e2010-12-21 12:19:12 +00002950 case kMathCos:
2951 DoMathCos(instr);
2952 break;
2953 case kMathSin:
2954 DoMathSin(instr);
2955 break;
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002956 case kMathLog:
2957 DoMathLog(instr);
2958 break;
2959
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002960 default:
2961 UNREACHABLE();
2962 }
2963}
2964
2965
danno@chromium.org160a7b02011-04-18 15:51:38 +00002966void LCodeGen::DoInvokeFunction(LInvokeFunction* instr) {
2967 ASSERT(ToRegister(instr->context()).is(esi));
2968 ASSERT(ToRegister(instr->function()).is(edi));
2969 ASSERT(instr->HasPointerMap());
2970 ASSERT(instr->HasDeoptimizationEnvironment());
2971 LPointerMap* pointers = instr->pointer_map();
2972 LEnvironment* env = instr->deoptimization_environment();
2973 RecordPosition(pointers->position());
2974 RegisterEnvironmentForDeoptimization(env);
2975 SafepointGenerator generator(this, pointers, env->deoptimization_index());
2976 ParameterCount count(instr->arity());
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002977 __ InvokeFunction(edi, count, CALL_FUNCTION, generator);
danno@chromium.org160a7b02011-04-18 15:51:38 +00002978}
2979
2980
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002981void LCodeGen::DoCallKeyed(LCallKeyed* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002982 ASSERT(ToRegister(instr->context()).is(esi));
2983 ASSERT(ToRegister(instr->key()).is(ecx));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002984 ASSERT(ToRegister(instr->result()).is(eax));
2985
2986 int arity = instr->arity();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002987 Handle<Code> ic = isolate()->stub_cache()->
2988 ComputeKeyedCallInitialize(arity, NOT_IN_LOOP);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002989 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002990}
2991
2992
2993void LCodeGen::DoCallNamed(LCallNamed* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002994 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002995 ASSERT(ToRegister(instr->result()).is(eax));
2996
2997 int arity = instr->arity();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002998 Handle<Code> ic = isolate()->stub_cache()->
2999 ComputeCallInitialize(arity, NOT_IN_LOOP);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003000 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003001 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
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();
3010 CallFunctionStub stub(arity, NOT_IN_LOOP, RECEIVER_MIGHT_BE_VALUE);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003011 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
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();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003021 Handle<Code> ic = isolate()->stub_cache()->
3022 ComputeCallInitialize(arity, NOT_IN_LOOP);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003023 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003024 CallCode(ic, RelocInfo::CODE_TARGET_CONTEXT, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003025}
3026
3027
3028void LCodeGen::DoCallKnownGlobal(LCallKnownGlobal* instr) {
3029 ASSERT(ToRegister(instr->result()).is(eax));
3030 __ mov(edi, instr->target());
3031 CallKnownFunction(instr->target(), instr->arity(), instr);
3032}
3033
3034
3035void LCodeGen::DoCallNew(LCallNew* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003036 ASSERT(ToRegister(instr->context()).is(esi));
3037 ASSERT(ToRegister(instr->constructor()).is(edi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003038 ASSERT(ToRegister(instr->result()).is(eax));
3039
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003040 Handle<Code> builtin = isolate()->builtins()->JSConstructCall();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003041 __ Set(eax, Immediate(instr->arity()));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003042 CallCode(builtin, RelocInfo::CONSTRUCT_CALL, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003043}
3044
3045
3046void LCodeGen::DoCallRuntime(LCallRuntime* instr) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003047 CallRuntime(instr->function(), instr->arity(), instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003048}
3049
3050
3051void LCodeGen::DoStoreNamedField(LStoreNamedField* instr) {
3052 Register object = ToRegister(instr->object());
3053 Register value = ToRegister(instr->value());
3054 int offset = instr->offset();
3055
3056 if (!instr->transition().is_null()) {
3057 __ mov(FieldOperand(object, HeapObject::kMapOffset), instr->transition());
3058 }
3059
3060 // Do the store.
3061 if (instr->is_in_object()) {
3062 __ mov(FieldOperand(object, offset), value);
3063 if (instr->needs_write_barrier()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003064 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003065 // Update the write barrier for the object for in-object properties.
3066 __ RecordWrite(object, offset, value, temp);
3067 }
3068 } else {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003069 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003070 __ mov(temp, FieldOperand(object, JSObject::kPropertiesOffset));
3071 __ mov(FieldOperand(temp, offset), value);
3072 if (instr->needs_write_barrier()) {
3073 // Update the write barrier for the properties array.
3074 // object is used as a scratch register.
3075 __ RecordWrite(temp, offset, value, object);
3076 }
3077 }
3078}
3079
3080
3081void LCodeGen::DoStoreNamedGeneric(LStoreNamedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003082 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003083 ASSERT(ToRegister(instr->object()).is(edx));
3084 ASSERT(ToRegister(instr->value()).is(eax));
3085
3086 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003087 Handle<Code> ic = instr->strict_mode()
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003088 ? isolate()->builtins()->StoreIC_Initialize_Strict()
3089 : isolate()->builtins()->StoreIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003090 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003091}
3092
3093
3094void LCodeGen::DoBoundsCheck(LBoundsCheck* instr) {
3095 __ cmp(ToRegister(instr->index()), ToOperand(instr->length()));
3096 DeoptimizeIf(above_equal, instr->environment());
3097}
3098
3099
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003100void LCodeGen::DoStoreKeyedSpecializedArrayElement(
3101 LStoreKeyedSpecializedArrayElement* instr) {
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003102 Register external_pointer = ToRegister(instr->external_pointer());
3103 Register key = ToRegister(instr->key());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003104 ExternalArrayType array_type = instr->array_type();
3105 if (array_type == kExternalFloatArray) {
3106 __ cvtsd2ss(xmm0, ToDoubleRegister(instr->value()));
3107 __ movss(Operand(external_pointer, key, times_4, 0), xmm0);
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00003108 } else if (array_type == kExternalDoubleArray) {
3109 __ movdbl(Operand(external_pointer, key, times_8, 0),
3110 ToDoubleRegister(instr->value()));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003111 } else {
3112 Register value = ToRegister(instr->value());
3113 switch (array_type) {
3114 case kExternalPixelArray: {
3115 // Clamp the value to [0..255].
3116 Register temp = ToRegister(instr->TempAt(0));
3117 // The dec_b below requires that the clamped value is in a byte
3118 // register. eax is an arbitrary choice to satisfy this requirement, we
3119 // hinted the register allocator to give us eax when building the
3120 // instruction.
3121 ASSERT(temp.is(eax));
3122 __ mov(temp, ToRegister(instr->value()));
3123 NearLabel done;
3124 __ test(temp, Immediate(0xFFFFFF00));
3125 __ j(zero, &done);
3126 __ setcc(negative, temp); // 1 if negative, 0 if positive.
3127 __ dec_b(temp); // 0 if negative, 255 if positive.
3128 __ bind(&done);
3129 __ mov_b(Operand(external_pointer, key, times_1, 0), temp);
3130 break;
3131 }
3132 case kExternalByteArray:
3133 case kExternalUnsignedByteArray:
3134 __ mov_b(Operand(external_pointer, key, times_1, 0), value);
3135 break;
3136 case kExternalShortArray:
3137 case kExternalUnsignedShortArray:
3138 __ mov_w(Operand(external_pointer, key, times_2, 0), value);
3139 break;
3140 case kExternalIntArray:
3141 case kExternalUnsignedIntArray:
3142 __ mov(Operand(external_pointer, key, times_4, 0), value);
3143 break;
3144 case kExternalFloatArray:
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00003145 case kExternalDoubleArray:
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003146 UNREACHABLE();
3147 break;
3148 }
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003149 }
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003150}
3151
3152
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003153void LCodeGen::DoStoreKeyedFastElement(LStoreKeyedFastElement* instr) {
3154 Register value = ToRegister(instr->value());
3155 Register elements = ToRegister(instr->object());
3156 Register key = instr->key()->IsRegister() ? ToRegister(instr->key()) : no_reg;
3157
3158 // Do the store.
3159 if (instr->key()->IsConstantOperand()) {
3160 ASSERT(!instr->hydrogen()->NeedsWriteBarrier());
3161 LConstantOperand* const_operand = LConstantOperand::cast(instr->key());
3162 int offset =
3163 ToInteger32(const_operand) * kPointerSize + FixedArray::kHeaderSize;
3164 __ mov(FieldOperand(elements, offset), value);
3165 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003166 __ mov(FieldOperand(elements,
3167 key,
3168 times_pointer_size,
3169 FixedArray::kHeaderSize),
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003170 value);
3171 }
3172
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003173 if (instr->hydrogen()->NeedsWriteBarrier()) {
3174 // Compute address of modified element and store it into key register.
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003175 __ lea(key,
3176 FieldOperand(elements,
3177 key,
3178 times_pointer_size,
3179 FixedArray::kHeaderSize));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003180 __ RecordWrite(elements, key, value);
3181 }
3182}
3183
3184
3185void LCodeGen::DoStoreKeyedGeneric(LStoreKeyedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003186 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003187 ASSERT(ToRegister(instr->object()).is(edx));
3188 ASSERT(ToRegister(instr->key()).is(ecx));
3189 ASSERT(ToRegister(instr->value()).is(eax));
3190
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003191 Handle<Code> ic = instr->strict_mode()
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003192 ? isolate()->builtins()->KeyedStoreIC_Initialize_Strict()
3193 : isolate()->builtins()->KeyedStoreIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003194 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003195}
3196
3197
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003198void LCodeGen::DoStringCharCodeAt(LStringCharCodeAt* instr) {
3199 class DeferredStringCharCodeAt: public LDeferredCode {
3200 public:
3201 DeferredStringCharCodeAt(LCodeGen* codegen, LStringCharCodeAt* instr)
3202 : LDeferredCode(codegen), instr_(instr) { }
3203 virtual void Generate() { codegen()->DoDeferredStringCharCodeAt(instr_); }
3204 private:
3205 LStringCharCodeAt* instr_;
3206 };
3207
3208 Register string = ToRegister(instr->string());
3209 Register index = no_reg;
3210 int const_index = -1;
3211 if (instr->index()->IsConstantOperand()) {
3212 const_index = ToInteger32(LConstantOperand::cast(instr->index()));
3213 STATIC_ASSERT(String::kMaxLength <= Smi::kMaxValue);
3214 if (!Smi::IsValid(const_index)) {
3215 // Guaranteed to be out of bounds because of the assert above.
3216 // So the bounds check that must dominate this instruction must
3217 // have deoptimized already.
3218 if (FLAG_debug_code) {
3219 __ Abort("StringCharCodeAt: out of bounds index.");
3220 }
3221 // No code needs to be generated.
3222 return;
3223 }
3224 } else {
3225 index = ToRegister(instr->index());
3226 }
3227 Register result = ToRegister(instr->result());
3228
3229 DeferredStringCharCodeAt* deferred =
3230 new DeferredStringCharCodeAt(this, instr);
3231
3232 NearLabel flat_string, ascii_string, done;
3233
3234 // Fetch the instance type of the receiver into result register.
3235 __ mov(result, FieldOperand(string, HeapObject::kMapOffset));
3236 __ movzx_b(result, FieldOperand(result, Map::kInstanceTypeOffset));
3237
3238 // We need special handling for non-flat strings.
3239 STATIC_ASSERT(kSeqStringTag == 0);
3240 __ test(result, Immediate(kStringRepresentationMask));
3241 __ j(zero, &flat_string);
3242
3243 // Handle non-flat strings.
3244 __ test(result, Immediate(kIsConsStringMask));
3245 __ j(zero, deferred->entry());
3246
3247 // ConsString.
3248 // Check whether the right hand side is the empty string (i.e. if
3249 // this is really a flat string in a cons string). If that is not
3250 // the case we would rather go to the runtime system now to flatten
3251 // the string.
3252 __ cmp(FieldOperand(string, ConsString::kSecondOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003253 Immediate(factory()->empty_string()));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003254 __ j(not_equal, deferred->entry());
3255 // Get the first of the two strings and load its instance type.
3256 __ mov(string, FieldOperand(string, ConsString::kFirstOffset));
3257 __ mov(result, FieldOperand(string, HeapObject::kMapOffset));
3258 __ movzx_b(result, FieldOperand(result, Map::kInstanceTypeOffset));
3259 // If the first cons component is also non-flat, then go to runtime.
3260 STATIC_ASSERT(kSeqStringTag == 0);
3261 __ test(result, Immediate(kStringRepresentationMask));
3262 __ j(not_zero, deferred->entry());
3263
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003264 // Check for ASCII or two-byte string.
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003265 __ bind(&flat_string);
3266 STATIC_ASSERT(kAsciiStringTag != 0);
3267 __ test(result, Immediate(kStringEncodingMask));
3268 __ j(not_zero, &ascii_string);
3269
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003270 // Two-byte string.
3271 // Load the two-byte character code into the result register.
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003272 STATIC_ASSERT(kSmiTag == 0 && kSmiTagSize == 1);
3273 if (instr->index()->IsConstantOperand()) {
3274 __ movzx_w(result,
3275 FieldOperand(string,
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003276 SeqTwoByteString::kHeaderSize +
3277 (kUC16Size * const_index)));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003278 } else {
3279 __ movzx_w(result, FieldOperand(string,
3280 index,
3281 times_2,
3282 SeqTwoByteString::kHeaderSize));
3283 }
3284 __ jmp(&done);
3285
3286 // ASCII string.
3287 // Load the byte into the result register.
3288 __ bind(&ascii_string);
3289 if (instr->index()->IsConstantOperand()) {
3290 __ movzx_b(result, FieldOperand(string,
3291 SeqAsciiString::kHeaderSize + const_index));
3292 } else {
3293 __ movzx_b(result, FieldOperand(string,
3294 index,
3295 times_1,
3296 SeqAsciiString::kHeaderSize));
3297 }
3298 __ bind(&done);
3299 __ bind(deferred->exit());
3300}
3301
3302
3303void LCodeGen::DoDeferredStringCharCodeAt(LStringCharCodeAt* instr) {
3304 Register string = ToRegister(instr->string());
3305 Register result = ToRegister(instr->result());
3306
3307 // TODO(3095996): Get rid of this. For now, we need to make the
3308 // result register contain a valid pointer because it is already
3309 // contained in the register pointer map.
3310 __ Set(result, Immediate(0));
3311
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003312 PushSafepointRegistersScope scope(this);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003313 __ push(string);
3314 // Push the index as a smi. This is safe because of the checks in
3315 // DoStringCharCodeAt above.
3316 STATIC_ASSERT(String::kMaxLength <= Smi::kMaxValue);
3317 if (instr->index()->IsConstantOperand()) {
3318 int const_index = ToInteger32(LConstantOperand::cast(instr->index()));
3319 __ push(Immediate(Smi::FromInt(const_index)));
3320 } else {
3321 Register index = ToRegister(instr->index());
3322 __ SmiTag(index);
3323 __ push(index);
3324 }
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003325 CallRuntimeFromDeferred(Runtime::kStringCharCodeAt, 2, instr);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003326 if (FLAG_debug_code) {
3327 __ AbortIfNotSmi(eax);
3328 }
3329 __ SmiUntag(eax);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003330 __ StoreToSafepointRegisterSlot(result, eax);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003331}
3332
3333
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003334void LCodeGen::DoStringCharFromCode(LStringCharFromCode* instr) {
3335 class DeferredStringCharFromCode: public LDeferredCode {
3336 public:
3337 DeferredStringCharFromCode(LCodeGen* codegen, LStringCharFromCode* instr)
3338 : LDeferredCode(codegen), instr_(instr) { }
3339 virtual void Generate() { codegen()->DoDeferredStringCharFromCode(instr_); }
3340 private:
3341 LStringCharFromCode* instr_;
3342 };
3343
3344 DeferredStringCharFromCode* deferred =
3345 new DeferredStringCharFromCode(this, instr);
3346
3347 ASSERT(instr->hydrogen()->value()->representation().IsInteger32());
3348 Register char_code = ToRegister(instr->char_code());
3349 Register result = ToRegister(instr->result());
3350 ASSERT(!char_code.is(result));
3351
3352 __ cmp(char_code, String::kMaxAsciiCharCode);
3353 __ j(above, deferred->entry());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003354 __ Set(result, Immediate(factory()->single_character_string_cache()));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003355 __ mov(result, FieldOperand(result,
3356 char_code, times_pointer_size,
3357 FixedArray::kHeaderSize));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003358 __ cmp(result, factory()->undefined_value());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003359 __ j(equal, deferred->entry());
3360 __ bind(deferred->exit());
3361}
3362
3363
3364void LCodeGen::DoDeferredStringCharFromCode(LStringCharFromCode* instr) {
3365 Register char_code = ToRegister(instr->char_code());
3366 Register result = ToRegister(instr->result());
3367
3368 // TODO(3095996): Get rid of this. For now, we need to make the
3369 // result register contain a valid pointer because it is already
3370 // contained in the register pointer map.
3371 __ Set(result, Immediate(0));
3372
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003373 PushSafepointRegistersScope scope(this);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003374 __ SmiTag(char_code);
3375 __ push(char_code);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003376 CallRuntimeFromDeferred(Runtime::kCharFromCode, 1, instr);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003377 __ StoreToSafepointRegisterSlot(result, eax);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003378}
3379
3380
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003381void LCodeGen::DoStringLength(LStringLength* instr) {
3382 Register string = ToRegister(instr->string());
3383 Register result = ToRegister(instr->result());
3384 __ mov(result, FieldOperand(string, String::kLengthOffset));
3385}
3386
3387
danno@chromium.org160a7b02011-04-18 15:51:38 +00003388void LCodeGen::DoStringAdd(LStringAdd* instr) {
3389 if (instr->left()->IsConstantOperand()) {
3390 __ push(ToImmediate(instr->left()));
3391 } else {
3392 __ push(ToOperand(instr->left()));
3393 }
3394 if (instr->right()->IsConstantOperand()) {
3395 __ push(ToImmediate(instr->right()));
3396 } else {
3397 __ push(ToOperand(instr->right()));
3398 }
3399 StringAddStub stub(NO_STRING_CHECK_IN_STUB);
3400 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
3401}
3402
3403
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003404void LCodeGen::DoInteger32ToDouble(LInteger32ToDouble* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003405 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003406 ASSERT(input->IsRegister() || input->IsStackSlot());
3407 LOperand* output = instr->result();
3408 ASSERT(output->IsDoubleRegister());
3409 __ cvtsi2sd(ToDoubleRegister(output), ToOperand(input));
3410}
3411
3412
3413void LCodeGen::DoNumberTagI(LNumberTagI* instr) {
3414 class DeferredNumberTagI: public LDeferredCode {
3415 public:
3416 DeferredNumberTagI(LCodeGen* codegen, LNumberTagI* instr)
3417 : LDeferredCode(codegen), instr_(instr) { }
3418 virtual void Generate() { codegen()->DoDeferredNumberTagI(instr_); }
3419 private:
3420 LNumberTagI* instr_;
3421 };
3422
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003423 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003424 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3425 Register reg = ToRegister(input);
3426
3427 DeferredNumberTagI* deferred = new DeferredNumberTagI(this, instr);
3428 __ SmiTag(reg);
3429 __ j(overflow, deferred->entry());
3430 __ bind(deferred->exit());
3431}
3432
3433
3434void LCodeGen::DoDeferredNumberTagI(LNumberTagI* instr) {
3435 Label slow;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003436 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003437 Register tmp = reg.is(eax) ? ecx : eax;
3438
3439 // Preserve the value of all registers.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003440 PushSafepointRegistersScope scope(this);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003441
3442 // There was overflow, so bits 30 and 31 of the original integer
3443 // disagree. Try to allocate a heap number in new space and store
3444 // the value in there. If that fails, call the runtime system.
3445 NearLabel done;
3446 __ SmiUntag(reg);
3447 __ xor_(reg, 0x80000000);
3448 __ cvtsi2sd(xmm0, Operand(reg));
3449 if (FLAG_inline_new) {
3450 __ AllocateHeapNumber(reg, tmp, no_reg, &slow);
3451 __ jmp(&done);
3452 }
3453
3454 // Slow case: Call the runtime system to do the number allocation.
3455 __ bind(&slow);
3456
3457 // TODO(3095996): Put a valid pointer value in the stack slot where the result
3458 // register is stored, as this register is in the pointer map, but contains an
3459 // integer value.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003460 __ StoreToSafepointRegisterSlot(reg, Immediate(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003461
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003462 CallRuntimeFromDeferred(Runtime::kAllocateHeapNumber, 0, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003463 if (!reg.is(eax)) __ mov(reg, eax);
3464
3465 // Done. Put the value in xmm0 into the value of the allocated heap
3466 // number.
3467 __ bind(&done);
3468 __ movdbl(FieldOperand(reg, HeapNumber::kValueOffset), xmm0);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003469 __ StoreToSafepointRegisterSlot(reg, reg);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003470}
3471
3472
3473void LCodeGen::DoNumberTagD(LNumberTagD* instr) {
3474 class DeferredNumberTagD: public LDeferredCode {
3475 public:
3476 DeferredNumberTagD(LCodeGen* codegen, LNumberTagD* instr)
3477 : LDeferredCode(codegen), instr_(instr) { }
3478 virtual void Generate() { codegen()->DoDeferredNumberTagD(instr_); }
3479 private:
3480 LNumberTagD* instr_;
3481 };
3482
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003483 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003484 Register reg = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003485 Register tmp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003486
3487 DeferredNumberTagD* deferred = new DeferredNumberTagD(this, instr);
3488 if (FLAG_inline_new) {
3489 __ AllocateHeapNumber(reg, tmp, no_reg, deferred->entry());
3490 } else {
3491 __ jmp(deferred->entry());
3492 }
3493 __ bind(deferred->exit());
3494 __ movdbl(FieldOperand(reg, HeapNumber::kValueOffset), input_reg);
3495}
3496
3497
3498void LCodeGen::DoDeferredNumberTagD(LNumberTagD* instr) {
3499 // TODO(3095996): Get rid of this. For now, we need to make the
3500 // result register contain a valid pointer because it is already
3501 // contained in the register pointer map.
3502 Register reg = ToRegister(instr->result());
3503 __ Set(reg, Immediate(0));
3504
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003505 PushSafepointRegistersScope scope(this);
3506 CallRuntimeFromDeferred(Runtime::kAllocateHeapNumber, 0, instr);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003507 __ StoreToSafepointRegisterSlot(reg, eax);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003508}
3509
3510
3511void LCodeGen::DoSmiTag(LSmiTag* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003512 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003513 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3514 ASSERT(!instr->hydrogen_value()->CheckFlag(HValue::kCanOverflow));
3515 __ SmiTag(ToRegister(input));
3516}
3517
3518
3519void LCodeGen::DoSmiUntag(LSmiUntag* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003520 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003521 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3522 if (instr->needs_check()) {
3523 __ test(ToRegister(input), Immediate(kSmiTagMask));
3524 DeoptimizeIf(not_zero, instr->environment());
3525 }
3526 __ SmiUntag(ToRegister(input));
3527}
3528
3529
3530void LCodeGen::EmitNumberUntagD(Register input_reg,
3531 XMMRegister result_reg,
3532 LEnvironment* env) {
3533 NearLabel load_smi, heap_number, done;
3534
3535 // Smi check.
3536 __ test(input_reg, Immediate(kSmiTagMask));
3537 __ j(zero, &load_smi, not_taken);
3538
3539 // Heap number map check.
3540 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003541 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003542 __ j(equal, &heap_number);
3543
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003544 __ cmp(input_reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003545 DeoptimizeIf(not_equal, env);
3546
3547 // Convert undefined to NaN.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003548 ExternalReference nan = ExternalReference::address_of_nan();
3549 __ movdbl(result_reg, Operand::StaticVariable(nan));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003550 __ jmp(&done);
3551
3552 // Heap number to XMM conversion.
3553 __ bind(&heap_number);
3554 __ movdbl(result_reg, FieldOperand(input_reg, HeapNumber::kValueOffset));
3555 __ jmp(&done);
3556
3557 // Smi to XMM conversion
3558 __ bind(&load_smi);
3559 __ SmiUntag(input_reg); // Untag smi before converting to float.
3560 __ cvtsi2sd(result_reg, Operand(input_reg));
3561 __ SmiTag(input_reg); // Retag smi.
3562 __ bind(&done);
3563}
3564
3565
3566class DeferredTaggedToI: public LDeferredCode {
3567 public:
3568 DeferredTaggedToI(LCodeGen* codegen, LTaggedToI* instr)
3569 : LDeferredCode(codegen), instr_(instr) { }
3570 virtual void Generate() { codegen()->DoDeferredTaggedToI(instr_); }
3571 private:
3572 LTaggedToI* instr_;
3573};
3574
3575
3576void LCodeGen::DoDeferredTaggedToI(LTaggedToI* instr) {
3577 NearLabel done, heap_number;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003578 Register input_reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003579
3580 // Heap number map check.
3581 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003582 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003583
3584 if (instr->truncating()) {
3585 __ j(equal, &heap_number);
3586 // Check for undefined. Undefined is converted to zero for truncating
3587 // conversions.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003588 __ cmp(input_reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003589 DeoptimizeIf(not_equal, instr->environment());
3590 __ mov(input_reg, 0);
3591 __ jmp(&done);
3592
3593 __ bind(&heap_number);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00003594 if (CpuFeatures::IsSupported(SSE3)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003595 CpuFeatures::Scope scope(SSE3);
3596 NearLabel convert;
3597 // Use more powerful conversion when sse3 is available.
3598 // Load x87 register with heap number.
3599 __ fld_d(FieldOperand(input_reg, HeapNumber::kValueOffset));
3600 // Get exponent alone and check for too-big exponent.
3601 __ mov(input_reg, FieldOperand(input_reg, HeapNumber::kExponentOffset));
3602 __ and_(input_reg, HeapNumber::kExponentMask);
3603 const uint32_t kTooBigExponent =
3604 (HeapNumber::kExponentBias + 63) << HeapNumber::kExponentShift;
3605 __ cmp(Operand(input_reg), Immediate(kTooBigExponent));
3606 __ j(less, &convert);
3607 // Pop FPU stack before deoptimizing.
3608 __ ffree(0);
3609 __ fincstp();
3610 DeoptimizeIf(no_condition, instr->environment());
3611
3612 // Reserve space for 64 bit answer.
3613 __ bind(&convert);
3614 __ sub(Operand(esp), Immediate(kDoubleSize));
3615 // Do conversion, which cannot fail because we checked the exponent.
3616 __ fisttp_d(Operand(esp, 0));
3617 __ mov(input_reg, Operand(esp, 0)); // Low word of answer is the result.
3618 __ add(Operand(esp), Immediate(kDoubleSize));
3619 } else {
3620 NearLabel deopt;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003621 XMMRegister xmm_temp = ToDoubleRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003622 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3623 __ cvttsd2si(input_reg, Operand(xmm0));
3624 __ cmp(input_reg, 0x80000000u);
3625 __ j(not_equal, &done);
3626 // Check if the input was 0x8000000 (kMinInt).
3627 // If no, then we got an overflow and we deoptimize.
3628 ExternalReference min_int = ExternalReference::address_of_min_int();
3629 __ movdbl(xmm_temp, Operand::StaticVariable(min_int));
3630 __ ucomisd(xmm_temp, xmm0);
3631 DeoptimizeIf(not_equal, instr->environment());
3632 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3633 }
3634 } else {
3635 // Deoptimize if we don't have a heap number.
3636 DeoptimizeIf(not_equal, instr->environment());
3637
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003638 XMMRegister xmm_temp = ToDoubleRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003639 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3640 __ cvttsd2si(input_reg, Operand(xmm0));
3641 __ cvtsi2sd(xmm_temp, Operand(input_reg));
3642 __ ucomisd(xmm0, xmm_temp);
3643 DeoptimizeIf(not_equal, instr->environment());
3644 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3645 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
3646 __ test(input_reg, Operand(input_reg));
3647 __ j(not_zero, &done);
3648 __ movmskpd(input_reg, xmm0);
3649 __ and_(input_reg, 1);
3650 DeoptimizeIf(not_zero, instr->environment());
3651 }
3652 }
3653 __ bind(&done);
3654}
3655
3656
3657void LCodeGen::DoTaggedToI(LTaggedToI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003658 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003659 ASSERT(input->IsRegister());
3660 ASSERT(input->Equals(instr->result()));
3661
3662 Register input_reg = ToRegister(input);
3663
3664 DeferredTaggedToI* deferred = new DeferredTaggedToI(this, instr);
3665
3666 // Smi check.
3667 __ test(input_reg, Immediate(kSmiTagMask));
3668 __ j(not_zero, deferred->entry());
3669
3670 // Smi to int32 conversion
3671 __ SmiUntag(input_reg); // Untag smi.
3672
3673 __ bind(deferred->exit());
3674}
3675
3676
3677void LCodeGen::DoNumberUntagD(LNumberUntagD* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003678 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003679 ASSERT(input->IsRegister());
3680 LOperand* result = instr->result();
3681 ASSERT(result->IsDoubleRegister());
3682
3683 Register input_reg = ToRegister(input);
3684 XMMRegister result_reg = ToDoubleRegister(result);
3685
3686 EmitNumberUntagD(input_reg, result_reg, instr->environment());
3687}
3688
3689
3690void LCodeGen::DoDoubleToI(LDoubleToI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003691 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003692 ASSERT(input->IsDoubleRegister());
3693 LOperand* result = instr->result();
3694 ASSERT(result->IsRegister());
3695
3696 XMMRegister input_reg = ToDoubleRegister(input);
3697 Register result_reg = ToRegister(result);
3698
3699 if (instr->truncating()) {
3700 // Performs a truncating conversion of a floating point number as used by
3701 // the JS bitwise operations.
3702 __ cvttsd2si(result_reg, Operand(input_reg));
3703 __ cmp(result_reg, 0x80000000u);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00003704 if (CpuFeatures::IsSupported(SSE3)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003705 // This will deoptimize if the exponent of the input in out of range.
3706 CpuFeatures::Scope scope(SSE3);
3707 NearLabel convert, done;
3708 __ j(not_equal, &done);
3709 __ sub(Operand(esp), Immediate(kDoubleSize));
3710 __ movdbl(Operand(esp, 0), input_reg);
3711 // Get exponent alone and check for too-big exponent.
3712 __ mov(result_reg, Operand(esp, sizeof(int32_t)));
3713 __ and_(result_reg, HeapNumber::kExponentMask);
3714 const uint32_t kTooBigExponent =
3715 (HeapNumber::kExponentBias + 63) << HeapNumber::kExponentShift;
3716 __ cmp(Operand(result_reg), Immediate(kTooBigExponent));
3717 __ j(less, &convert);
3718 __ add(Operand(esp), Immediate(kDoubleSize));
3719 DeoptimizeIf(no_condition, instr->environment());
3720 __ bind(&convert);
3721 // Do conversion, which cannot fail because we checked the exponent.
3722 __ fld_d(Operand(esp, 0));
3723 __ fisttp_d(Operand(esp, 0));
3724 __ mov(result_reg, Operand(esp, 0)); // Low word of answer is the result.
3725 __ add(Operand(esp), Immediate(kDoubleSize));
3726 __ bind(&done);
3727 } else {
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003728 NearLabel done;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003729 Register temp_reg = ToRegister(instr->TempAt(0));
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003730 XMMRegister xmm_scratch = xmm0;
3731
3732 // If cvttsd2si succeeded, we're done. Otherwise, we attempt
3733 // manual conversion.
3734 __ j(not_equal, &done);
3735
3736 // Get high 32 bits of the input in result_reg and temp_reg.
3737 __ pshufd(xmm_scratch, input_reg, 1);
3738 __ movd(Operand(temp_reg), xmm_scratch);
3739 __ mov(result_reg, temp_reg);
3740
3741 // Prepare negation mask in temp_reg.
3742 __ sar(temp_reg, kBitsPerInt - 1);
3743
3744 // Extract the exponent from result_reg and subtract adjusted
3745 // bias from it. The adjustment is selected in a way such that
3746 // when the difference is zero, the answer is in the low 32 bits
3747 // of the input, otherwise a shift has to be performed.
3748 __ shr(result_reg, HeapNumber::kExponentShift);
3749 __ and_(result_reg,
3750 HeapNumber::kExponentMask >> HeapNumber::kExponentShift);
3751 __ sub(Operand(result_reg),
3752 Immediate(HeapNumber::kExponentBias +
3753 HeapNumber::kExponentBits +
3754 HeapNumber::kMantissaBits));
3755 // Don't handle big (> kMantissaBits + kExponentBits == 63) or
3756 // special exponents.
3757 DeoptimizeIf(greater, instr->environment());
3758
3759 // Zero out the sign and the exponent in the input (by shifting
3760 // it to the left) and restore the implicit mantissa bit,
3761 // i.e. convert the input to unsigned int64 shifted left by
3762 // kExponentBits.
3763 ExternalReference minus_zero = ExternalReference::address_of_minus_zero();
3764 // Minus zero has the most significant bit set and the other
3765 // bits cleared.
3766 __ movdbl(xmm_scratch, Operand::StaticVariable(minus_zero));
3767 __ psllq(input_reg, HeapNumber::kExponentBits);
3768 __ por(input_reg, xmm_scratch);
3769
3770 // Get the amount to shift the input right in xmm_scratch.
3771 __ neg(result_reg);
3772 __ movd(xmm_scratch, Operand(result_reg));
3773
3774 // Shift the input right and extract low 32 bits.
3775 __ psrlq(input_reg, xmm_scratch);
3776 __ movd(Operand(result_reg), input_reg);
3777
3778 // Use the prepared mask in temp_reg to negate the result if necessary.
3779 __ xor_(result_reg, Operand(temp_reg));
3780 __ sub(result_reg, Operand(temp_reg));
3781 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003782 }
3783 } else {
3784 NearLabel done;
3785 __ cvttsd2si(result_reg, Operand(input_reg));
3786 __ cvtsi2sd(xmm0, Operand(result_reg));
3787 __ ucomisd(xmm0, input_reg);
3788 DeoptimizeIf(not_equal, instr->environment());
3789 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3790 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
3791 // The integer converted back is equal to the original. We
3792 // only have to test if we got -0 as an input.
3793 __ test(result_reg, Operand(result_reg));
3794 __ j(not_zero, &done);
3795 __ movmskpd(result_reg, input_reg);
3796 // Bit 0 contains the sign of the double in input_reg.
3797 // If input was positive, we are ok and return 0, otherwise
3798 // deoptimize.
3799 __ and_(result_reg, 1);
3800 DeoptimizeIf(not_zero, instr->environment());
3801 }
3802 __ bind(&done);
3803 }
3804}
3805
3806
3807void LCodeGen::DoCheckSmi(LCheckSmi* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003808 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003809 __ test(ToRegister(input), Immediate(kSmiTagMask));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003810 DeoptimizeIf(not_zero, instr->environment());
3811}
3812
3813
3814void LCodeGen::DoCheckNonSmi(LCheckNonSmi* instr) {
3815 LOperand* input = instr->InputAt(0);
3816 __ test(ToRegister(input), Immediate(kSmiTagMask));
3817 DeoptimizeIf(zero, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003818}
3819
3820
3821void LCodeGen::DoCheckInstanceType(LCheckInstanceType* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003822 Register input = ToRegister(instr->InputAt(0));
3823 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003824 InstanceType first = instr->hydrogen()->first();
3825 InstanceType last = instr->hydrogen()->last();
3826
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003827 __ mov(temp, FieldOperand(input, HeapObject::kMapOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003828
3829 // If there is only one type in the interval check for equality.
3830 if (first == last) {
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003831 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
3832 static_cast<int8_t>(first));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003833 DeoptimizeIf(not_equal, instr->environment());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003834 } else if (first == FIRST_STRING_TYPE && last == LAST_STRING_TYPE) {
3835 // String has a dedicated bit in instance type.
3836 __ test_b(FieldOperand(temp, Map::kInstanceTypeOffset), kIsNotStringMask);
3837 DeoptimizeIf(not_zero, instr->environment());
3838 } else {
3839 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
3840 static_cast<int8_t>(first));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003841 DeoptimizeIf(below, instr->environment());
3842 // Omit check for the last type.
3843 if (last != LAST_TYPE) {
3844 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
3845 static_cast<int8_t>(last));
3846 DeoptimizeIf(above, instr->environment());
3847 }
3848 }
3849}
3850
3851
3852void LCodeGen::DoCheckFunction(LCheckFunction* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003853 ASSERT(instr->InputAt(0)->IsRegister());
3854 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003855 __ cmp(reg, instr->hydrogen()->target());
3856 DeoptimizeIf(not_equal, instr->environment());
3857}
3858
3859
3860void LCodeGen::DoCheckMap(LCheckMap* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003861 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003862 ASSERT(input->IsRegister());
3863 Register reg = ToRegister(input);
3864 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3865 instr->hydrogen()->map());
3866 DeoptimizeIf(not_equal, instr->environment());
3867}
3868
3869
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003870void LCodeGen::LoadHeapObject(Register result, Handle<HeapObject> object) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003871 if (isolate()->heap()->InNewSpace(*object)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003872 Handle<JSGlobalPropertyCell> cell =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003873 isolate()->factory()->NewJSGlobalPropertyCell(object);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003874 __ mov(result, Operand::Cell(cell));
3875 } else {
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003876 __ mov(result, object);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003877 }
3878}
3879
3880
3881void LCodeGen::DoCheckPrototypeMaps(LCheckPrototypeMaps* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003882 Register reg = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003883
3884 Handle<JSObject> holder = instr->holder();
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003885 Handle<JSObject> current_prototype = instr->prototype();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003886
3887 // Load prototype object.
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003888 LoadHeapObject(reg, current_prototype);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003889
3890 // Check prototype maps up to the holder.
3891 while (!current_prototype.is_identical_to(holder)) {
3892 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3893 Handle<Map>(current_prototype->map()));
3894 DeoptimizeIf(not_equal, instr->environment());
3895 current_prototype =
3896 Handle<JSObject>(JSObject::cast(current_prototype->GetPrototype()));
3897 // Load next prototype object.
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003898 LoadHeapObject(reg, current_prototype);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003899 }
3900
3901 // Check the holder map.
3902 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3903 Handle<Map>(current_prototype->map()));
3904 DeoptimizeIf(not_equal, instr->environment());
3905}
3906
3907
3908void LCodeGen::DoArrayLiteral(LArrayLiteral* instr) {
3909 // Setup the parameters to the stub/runtime call.
3910 __ mov(eax, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
3911 __ push(FieldOperand(eax, JSFunction::kLiteralsOffset));
3912 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
3913 __ push(Immediate(instr->hydrogen()->constant_elements()));
3914
3915 // Pick the right runtime function or stub to call.
3916 int length = instr->hydrogen()->length();
3917 if (instr->hydrogen()->IsCopyOnWrite()) {
3918 ASSERT(instr->hydrogen()->depth() == 1);
3919 FastCloneShallowArrayStub::Mode mode =
3920 FastCloneShallowArrayStub::COPY_ON_WRITE_ELEMENTS;
3921 FastCloneShallowArrayStub stub(mode, length);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003922 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003923 } else if (instr->hydrogen()->depth() > 1) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003924 CallRuntime(Runtime::kCreateArrayLiteral, 3, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003925 } else if (length > FastCloneShallowArrayStub::kMaximumClonedLength) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003926 CallRuntime(Runtime::kCreateArrayLiteralShallow, 3, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003927 } else {
3928 FastCloneShallowArrayStub::Mode mode =
3929 FastCloneShallowArrayStub::CLONE_ELEMENTS;
3930 FastCloneShallowArrayStub stub(mode, length);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003931 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003932 }
3933}
3934
3935
3936void LCodeGen::DoObjectLiteral(LObjectLiteral* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003937 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003938 // Setup the parameters to the stub/runtime call.
3939 __ mov(eax, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
3940 __ push(FieldOperand(eax, JSFunction::kLiteralsOffset));
3941 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
3942 __ push(Immediate(instr->hydrogen()->constant_properties()));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003943 int flags = instr->hydrogen()->fast_elements()
3944 ? ObjectLiteral::kFastElements
3945 : ObjectLiteral::kNoFlags;
3946 flags |= instr->hydrogen()->has_function()
3947 ? ObjectLiteral::kHasFunction
3948 : ObjectLiteral::kNoFlags;
3949 __ push(Immediate(Smi::FromInt(flags)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003950
lrn@chromium.org5d00b602011-01-05 09:51:43 +00003951 // Pick the right runtime function to call.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003952 if (instr->hydrogen()->depth() > 1) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003953 CallRuntime(Runtime::kCreateObjectLiteral, 4, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003954 } else {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003955 CallRuntime(Runtime::kCreateObjectLiteralShallow,
3956 4,
3957 instr,
3958 CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003959 }
3960}
3961
3962
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003963void LCodeGen::DoToFastProperties(LToFastProperties* instr) {
3964 ASSERT(ToRegister(instr->InputAt(0)).is(eax));
3965 __ push(eax);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003966 CallRuntime(Runtime::kToFastProperties, 1, instr, CONTEXT_ADJUSTED);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003967}
3968
3969
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003970void LCodeGen::DoRegExpLiteral(LRegExpLiteral* instr) {
3971 NearLabel materialized;
3972 // Registers will be used as follows:
3973 // edi = JS function.
3974 // ecx = literals array.
3975 // ebx = regexp literal.
3976 // eax = regexp literal clone.
3977 __ mov(edi, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
3978 __ mov(ecx, FieldOperand(edi, JSFunction::kLiteralsOffset));
3979 int literal_offset = FixedArray::kHeaderSize +
3980 instr->hydrogen()->literal_index() * kPointerSize;
3981 __ mov(ebx, FieldOperand(ecx, literal_offset));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003982 __ cmp(ebx, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003983 __ j(not_equal, &materialized);
3984
3985 // Create regexp literal using runtime function
3986 // Result will be in eax.
3987 __ push(ecx);
3988 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
3989 __ push(Immediate(instr->hydrogen()->pattern()));
3990 __ push(Immediate(instr->hydrogen()->flags()));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003991 CallRuntime(Runtime::kMaterializeRegExpLiteral, 4, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003992 __ mov(ebx, eax);
3993
3994 __ bind(&materialized);
3995 int size = JSRegExp::kSize + JSRegExp::kInObjectFieldCount * kPointerSize;
3996 Label allocated, runtime_allocate;
3997 __ AllocateInNewSpace(size, eax, ecx, edx, &runtime_allocate, TAG_OBJECT);
3998 __ jmp(&allocated);
3999
4000 __ bind(&runtime_allocate);
4001 __ push(ebx);
4002 __ push(Immediate(Smi::FromInt(size)));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00004003 CallRuntime(Runtime::kAllocateInNewSpace, 1, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004004 __ pop(ebx);
4005
4006 __ bind(&allocated);
4007 // Copy the content into the newly allocated memory.
4008 // (Unroll copy loop once for better throughput).
4009 for (int i = 0; i < size - kPointerSize; i += 2 * kPointerSize) {
4010 __ mov(edx, FieldOperand(ebx, i));
4011 __ mov(ecx, FieldOperand(ebx, i + kPointerSize));
4012 __ mov(FieldOperand(eax, i), edx);
4013 __ mov(FieldOperand(eax, i + kPointerSize), ecx);
4014 }
4015 if ((size % (2 * kPointerSize)) != 0) {
4016 __ mov(edx, FieldOperand(ebx, size - kPointerSize));
4017 __ mov(FieldOperand(eax, size - kPointerSize), edx);
4018 }
4019}
4020
4021
4022void LCodeGen::DoFunctionLiteral(LFunctionLiteral* instr) {
4023 // Use the fast case closure allocation code that allocates in new
4024 // space for nested functions that don't need literals cloning.
4025 Handle<SharedFunctionInfo> shared_info = instr->shared_info();
ricow@chromium.org83aa5492011-02-07 12:42:56 +00004026 bool pretenure = instr->hydrogen()->pretenure();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004027 if (!pretenure && shared_info->num_literals() == 0) {
4028 FastNewClosureStub stub(
4029 shared_info->strict_mode() ? kStrictMode : kNonStrictMode);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004030 __ push(Immediate(shared_info));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00004031 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004032 } else {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00004033 __ push(Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004034 __ push(Immediate(shared_info));
4035 __ push(Immediate(pretenure
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004036 ? factory()->true_value()
4037 : factory()->false_value()));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00004038 CallRuntime(Runtime::kNewClosure, 3, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004039 }
4040}
4041
4042
4043void LCodeGen::DoTypeof(LTypeof* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004044 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004045 if (input->IsConstantOperand()) {
4046 __ push(ToImmediate(input));
4047 } else {
4048 __ push(ToOperand(input));
4049 }
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00004050 CallRuntime(Runtime::kTypeof, 1, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004051}
4052
4053
4054void LCodeGen::DoTypeofIs(LTypeofIs* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004055 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004056 Register result = ToRegister(instr->result());
4057 Label true_label;
4058 Label false_label;
4059 NearLabel done;
4060
4061 Condition final_branch_condition = EmitTypeofIs(&true_label,
4062 &false_label,
4063 input,
4064 instr->type_literal());
4065 __ j(final_branch_condition, &true_label);
4066 __ bind(&false_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004067 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004068 __ jmp(&done);
4069
4070 __ bind(&true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004071 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004072
4073 __ bind(&done);
4074}
4075
4076
4077void LCodeGen::DoTypeofIsAndBranch(LTypeofIsAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004078 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004079 int true_block = chunk_->LookupDestination(instr->true_block_id());
4080 int false_block = chunk_->LookupDestination(instr->false_block_id());
4081 Label* true_label = chunk_->GetAssemblyLabel(true_block);
4082 Label* false_label = chunk_->GetAssemblyLabel(false_block);
4083
4084 Condition final_branch_condition = EmitTypeofIs(true_label,
4085 false_label,
4086 input,
4087 instr->type_literal());
4088
4089 EmitBranch(true_block, false_block, final_branch_condition);
4090}
4091
4092
4093Condition LCodeGen::EmitTypeofIs(Label* true_label,
4094 Label* false_label,
4095 Register input,
4096 Handle<String> type_name) {
4097 Condition final_branch_condition = no_condition;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004098 if (type_name->Equals(heap()->number_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004099 __ JumpIfSmi(input, true_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004100 __ cmp(FieldOperand(input, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004101 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004102 final_branch_condition = equal;
4103
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004104 } else if (type_name->Equals(heap()->string_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004105 __ JumpIfSmi(input, false_label);
4106 __ CmpObjectType(input, FIRST_NONSTRING_TYPE, input);
4107 __ j(above_equal, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004108 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4109 1 << Map::kIsUndetectable);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004110 final_branch_condition = zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004111
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004112 } else if (type_name->Equals(heap()->boolean_symbol())) {
4113 __ cmp(input, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004114 __ j(equal, true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004115 __ cmp(input, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004116 final_branch_condition = equal;
4117
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004118 } else if (type_name->Equals(heap()->undefined_symbol())) {
4119 __ cmp(input, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004120 __ j(equal, true_label);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004121 __ JumpIfSmi(input, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004122 // Check for undetectable objects => true.
4123 __ mov(input, FieldOperand(input, HeapObject::kMapOffset));
4124 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4125 1 << Map::kIsUndetectable);
4126 final_branch_condition = not_zero;
4127
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004128 } else if (type_name->Equals(heap()->function_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004129 __ JumpIfSmi(input, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004130 __ CmpObjectType(input, JS_FUNCTION_TYPE, input);
4131 __ j(equal, true_label);
4132 // Regular expressions => 'function' (they are callable).
4133 __ CmpInstanceType(input, JS_REGEXP_TYPE);
4134 final_branch_condition = equal;
4135
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004136 } else if (type_name->Equals(heap()->object_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004137 __ JumpIfSmi(input, false_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004138 __ cmp(input, factory()->null_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004139 __ j(equal, true_label);
4140 // Regular expressions => 'function', not 'object'.
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004141 __ CmpObjectType(input, FIRST_JS_OBJECT_TYPE, input);
4142 __ j(below, false_label);
4143 __ CmpInstanceType(input, FIRST_FUNCTION_CLASS_TYPE);
4144 __ j(above_equal, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004145 // Check for undetectable objects => false.
4146 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4147 1 << Map::kIsUndetectable);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004148 final_branch_condition = zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004149
4150 } else {
4151 final_branch_condition = not_equal;
4152 __ jmp(false_label);
4153 // A dead branch instruction will be generated after this point.
4154 }
4155
4156 return final_branch_condition;
4157}
4158
4159
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004160void LCodeGen::DoIsConstructCall(LIsConstructCall* instr) {
4161 Register result = ToRegister(instr->result());
4162 NearLabel true_label;
4163 NearLabel false_label;
4164 NearLabel done;
4165
4166 EmitIsConstructCall(result);
4167 __ j(equal, &true_label);
4168
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004169 __ mov(result, factory()->false_value());
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004170 __ jmp(&done);
4171
4172 __ bind(&true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004173 __ mov(result, factory()->true_value());
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004174
4175 __ bind(&done);
4176}
4177
4178
4179void LCodeGen::DoIsConstructCallAndBranch(LIsConstructCallAndBranch* instr) {
4180 Register temp = ToRegister(instr->TempAt(0));
4181 int true_block = chunk_->LookupDestination(instr->true_block_id());
4182 int false_block = chunk_->LookupDestination(instr->false_block_id());
4183
4184 EmitIsConstructCall(temp);
4185 EmitBranch(true_block, false_block, equal);
4186}
4187
4188
4189void LCodeGen::EmitIsConstructCall(Register temp) {
4190 // Get the frame pointer for the calling frame.
4191 __ mov(temp, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
4192
4193 // Skip the arguments adaptor frame if it exists.
4194 NearLabel check_frame_marker;
4195 __ cmp(Operand(temp, StandardFrameConstants::kContextOffset),
4196 Immediate(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)));
4197 __ j(not_equal, &check_frame_marker);
4198 __ mov(temp, Operand(temp, StandardFrameConstants::kCallerFPOffset));
4199
4200 // Check the marker in the calling frame.
4201 __ bind(&check_frame_marker);
4202 __ cmp(Operand(temp, StandardFrameConstants::kMarkerOffset),
4203 Immediate(Smi::FromInt(StackFrame::CONSTRUCT)));
4204}
4205
4206
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004207void LCodeGen::DoLazyBailout(LLazyBailout* instr) {
4208 // No code for lazy bailout instruction. Used to capture environment after a
4209 // call for populating the safepoint data with deoptimization data.
4210}
4211
4212
4213void LCodeGen::DoDeoptimize(LDeoptimize* instr) {
4214 DeoptimizeIf(no_condition, instr->environment());
4215}
4216
4217
4218void LCodeGen::DoDeleteProperty(LDeleteProperty* instr) {
4219 LOperand* obj = instr->object();
4220 LOperand* key = instr->key();
4221 __ push(ToOperand(obj));
4222 if (key->IsConstantOperand()) {
4223 __ push(ToImmediate(key));
4224 } else {
4225 __ push(ToOperand(key));
4226 }
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00004227 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
4228 LPointerMap* pointers = instr->pointer_map();
4229 LEnvironment* env = instr->deoptimization_environment();
4230 RecordPosition(pointers->position());
4231 RegisterEnvironmentForDeoptimization(env);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00004232 // Create safepoint generator that will also ensure enough space in the
4233 // reloc info for patching in deoptimization (since this is invoking a
4234 // builtin)
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004235 SafepointGenerator safepoint_generator(this,
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00004236 pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00004237 env->deoptimization_index());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00004238 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00004239 __ push(Immediate(Smi::FromInt(strict_mode_flag())));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00004240 __ InvokeBuiltin(Builtins::DELETE, CALL_FUNCTION, safepoint_generator);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004241}
4242
4243
4244void LCodeGen::DoStackCheck(LStackCheck* instr) {
4245 // Perform stack overflow check.
4246 NearLabel done;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004247 ExternalReference stack_limit =
4248 ExternalReference::address_of_stack_limit(isolate());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004249 __ cmp(esp, Operand::StaticVariable(stack_limit));
4250 __ j(above_equal, &done);
4251
4252 StackCheckStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00004253 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004254 __ bind(&done);
4255}
4256
4257
4258void LCodeGen::DoOsrEntry(LOsrEntry* instr) {
4259 // This is a pseudo-instruction that ensures that the environment here is
4260 // properly registered for deoptimization and records the assembler's PC
4261 // offset.
4262 LEnvironment* environment = instr->environment();
4263 environment->SetSpilledRegisters(instr->SpilledRegisterArray(),
4264 instr->SpilledDoubleRegisterArray());
4265
4266 // If the environment were already registered, we would have no way of
4267 // backpatching it with the spill slot operands.
4268 ASSERT(!environment->HasBeenRegistered());
4269 RegisterEnvironmentForDeoptimization(environment);
4270 ASSERT(osr_pc_offset_ == -1);
4271 osr_pc_offset_ = masm()->pc_offset();
4272}
4273
4274
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00004275void LCodeGen::DoIn(LIn* instr) {
4276 LOperand* obj = instr->object();
4277 LOperand* key = instr->key();
4278 if (key->IsConstantOperand()) {
4279 __ push(ToImmediate(key));
4280 } else {
4281 __ push(ToOperand(key));
4282 }
4283 if (obj->IsConstantOperand()) {
4284 __ push(ToImmediate(obj));
4285 } else {
4286 __ push(ToOperand(obj));
4287 }
4288 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
4289 LPointerMap* pointers = instr->pointer_map();
4290 LEnvironment* env = instr->deoptimization_environment();
4291 RecordPosition(pointers->position());
4292 RegisterEnvironmentForDeoptimization(env);
4293 // Create safepoint generator that will also ensure enough space in the
4294 // reloc info for patching in deoptimization (since this is invoking a
4295 // builtin)
4296 SafepointGenerator safepoint_generator(this,
4297 pointers,
4298 env->deoptimization_index());
4299 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00004300 __ InvokeBuiltin(Builtins::IN, CALL_FUNCTION, safepoint_generator);
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00004301}
4302
4303
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004304#undef __
4305
4306} } // namespace v8::internal
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00004307
4308#endif // V8_TARGET_ARCH_IA32