blob: 4fa5baec68e2454b040f2349024109a2c667ad8a [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.
kasperl@chromium.orga5551262010-12-07 12:49:48 +000043class SafepointGenerator : public PostCallGenerator {
44 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
53 virtual void Generate() {
54 codegen_->RecordSafepoint(pointers_, deoptimization_index_);
55 }
56
57 private:
58 LCodeGen* codegen_;
59 LPointerMap* pointers_;
60 int deoptimization_index_;
61};
62
63
64#define __ masm()->
65
66bool LCodeGen::GenerateCode() {
67 HPhase phase("Code generation", chunk());
68 ASSERT(is_unused());
69 status_ = GENERATING;
70 CpuFeatures::Scope scope(SSE2);
71 return GeneratePrologue() &&
72 GenerateBody() &&
73 GenerateDeferredCode() &&
74 GenerateSafepointTable();
75}
76
77
78void LCodeGen::FinishCode(Handle<Code> code) {
79 ASSERT(is_done());
danno@chromium.org160a7b02011-04-18 15:51:38 +000080 code->set_stack_slots(GetStackSlotCount());
ricow@chromium.org83aa5492011-02-07 12:42:56 +000081 code->set_safepoint_table_offset(safepoints_.GetCodeOffset());
kasperl@chromium.orga5551262010-12-07 12:49:48 +000082 PopulateDeoptimizationData(code);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000083 Deoptimizer::EnsureRelocSpaceForLazyDeoptimization(code);
kasperl@chromium.orga5551262010-12-07 12:49:48 +000084}
85
86
87void LCodeGen::Abort(const char* format, ...) {
88 if (FLAG_trace_bailout) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +000089 SmartPointer<char> name(info()->shared_info()->DebugName()->ToCString());
90 PrintF("Aborting LCodeGen in @\"%s\": ", *name);
kasperl@chromium.orga5551262010-12-07 12:49:48 +000091 va_list arguments;
92 va_start(arguments, format);
93 OS::VPrint(format, arguments);
94 va_end(arguments);
95 PrintF("\n");
96 }
97 status_ = ABORTED;
98}
99
100
101void LCodeGen::Comment(const char* format, ...) {
102 if (!FLAG_code_comments) return;
103 char buffer[4 * KB];
104 StringBuilder builder(buffer, ARRAY_SIZE(buffer));
105 va_list arguments;
106 va_start(arguments, format);
107 builder.AddFormattedList(format, arguments);
108 va_end(arguments);
109
110 // Copy the string before recording it in the assembler to avoid
111 // issues when the stack allocated buffer goes out of scope.
112 size_t length = builder.position();
113 Vector<char> copy = Vector<char>::New(length + 1);
114 memcpy(copy.start(), builder.Finalize(), copy.length());
115 masm()->RecordComment(copy.start());
116}
117
118
119bool LCodeGen::GeneratePrologue() {
120 ASSERT(is_generating());
121
122#ifdef DEBUG
123 if (strlen(FLAG_stop_at) > 0 &&
124 info_->function()->name()->IsEqualTo(CStrVector(FLAG_stop_at))) {
125 __ int3();
126 }
127#endif
128
129 __ push(ebp); // Caller's frame pointer.
130 __ mov(ebp, esp);
131 __ push(esi); // Callee's context.
132 __ push(edi); // Callee's JS function.
133
134 // Reserve space for the stack slots needed by the code.
danno@chromium.org160a7b02011-04-18 15:51:38 +0000135 int slots = GetStackSlotCount();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000136 if (slots > 0) {
137 if (FLAG_debug_code) {
138 __ mov(Operand(eax), Immediate(slots));
139 Label loop;
140 __ bind(&loop);
141 __ push(Immediate(kSlotsZapValue));
142 __ dec(eax);
143 __ j(not_zero, &loop);
144 } else {
145 __ sub(Operand(esp), Immediate(slots * kPointerSize));
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000146#ifdef _MSC_VER
147 // On windows, you may not access the stack more than one page below
148 // the most recently mapped page. To make the allocated area randomly
149 // accessible, we write to each page in turn (the value is irrelevant).
150 const int kPageSize = 4 * KB;
151 for (int offset = slots * kPointerSize - kPageSize;
152 offset > 0;
153 offset -= kPageSize) {
154 __ mov(Operand(esp, offset), eax);
155 }
156#endif
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000157 }
158 }
159
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000160 // Possibly allocate a local context.
161 int heap_slots = scope()->num_heap_slots() - Context::MIN_CONTEXT_SLOTS;
162 if (heap_slots > 0) {
163 Comment(";;; Allocate local context");
164 // Argument to NewContext is the function, which is still in edi.
165 __ push(edi);
166 if (heap_slots <= FastNewContextStub::kMaximumSlots) {
167 FastNewContextStub stub(heap_slots);
168 __ CallStub(&stub);
169 } else {
170 __ CallRuntime(Runtime::kNewContext, 1);
171 }
172 RecordSafepoint(Safepoint::kNoDeoptimizationIndex);
173 // Context is returned in both eax and esi. It replaces the context
174 // passed to us. It's saved in the stack and kept live in esi.
175 __ mov(Operand(ebp, StandardFrameConstants::kContextOffset), esi);
176
177 // Copy parameters into context if necessary.
178 int num_parameters = scope()->num_parameters();
179 for (int i = 0; i < num_parameters; i++) {
180 Slot* slot = scope()->parameter(i)->AsSlot();
181 if (slot != NULL && slot->type() == Slot::CONTEXT) {
182 int parameter_offset = StandardFrameConstants::kCallerSPOffset +
183 (num_parameters - 1 - i) * kPointerSize;
184 // Load parameter from stack.
185 __ mov(eax, Operand(ebp, parameter_offset));
186 // Store it in the context.
187 int context_offset = Context::SlotOffset(slot->index());
188 __ mov(Operand(esi, context_offset), eax);
189 // Update the write barrier. This clobbers all involved
190 // registers, so we have to use a third register to avoid
191 // clobbering esi.
192 __ mov(ecx, esi);
193 __ RecordWrite(ecx, context_offset, eax, ebx);
194 }
195 }
196 Comment(";;; End allocate local context");
197 }
198
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000199 // Trace the call.
200 if (FLAG_trace) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000201 // We have not executed any compiled code yet, so esi still holds the
202 // incoming context.
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000203 __ CallRuntime(Runtime::kTraceEnter, 0);
204 }
205 return !is_aborted();
206}
207
208
209bool LCodeGen::GenerateBody() {
210 ASSERT(is_generating());
211 bool emit_instructions = true;
212 for (current_instruction_ = 0;
213 !is_aborted() && current_instruction_ < instructions_->length();
214 current_instruction_++) {
215 LInstruction* instr = instructions_->at(current_instruction_);
216 if (instr->IsLabel()) {
217 LLabel* label = LLabel::cast(instr);
218 emit_instructions = !label->HasReplacement();
219 }
220
221 if (emit_instructions) {
222 Comment(";;; @%d: %s.", current_instruction_, instr->Mnemonic());
223 instr->CompileToNative(this);
224 }
225 }
226 return !is_aborted();
227}
228
229
230LInstruction* LCodeGen::GetNextInstruction() {
231 if (current_instruction_ < instructions_->length() - 1) {
232 return instructions_->at(current_instruction_ + 1);
233 } else {
234 return NULL;
235 }
236}
237
238
239bool LCodeGen::GenerateDeferredCode() {
240 ASSERT(is_generating());
241 for (int i = 0; !is_aborted() && i < deferred_.length(); i++) {
242 LDeferredCode* code = deferred_[i];
243 __ bind(code->entry());
244 code->Generate();
245 __ jmp(code->exit());
246 }
247
248 // Deferred code is the last part of the instruction sequence. Mark
249 // the generated code as done unless we bailed out.
250 if (!is_aborted()) status_ = DONE;
251 return !is_aborted();
252}
253
254
255bool LCodeGen::GenerateSafepointTable() {
256 ASSERT(is_done());
danno@chromium.org160a7b02011-04-18 15:51:38 +0000257 safepoints_.Emit(masm(), GetStackSlotCount());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000258 return !is_aborted();
259}
260
261
262Register LCodeGen::ToRegister(int index) const {
263 return Register::FromAllocationIndex(index);
264}
265
266
267XMMRegister LCodeGen::ToDoubleRegister(int index) const {
268 return XMMRegister::FromAllocationIndex(index);
269}
270
271
272Register LCodeGen::ToRegister(LOperand* op) const {
273 ASSERT(op->IsRegister());
274 return ToRegister(op->index());
275}
276
277
278XMMRegister LCodeGen::ToDoubleRegister(LOperand* op) const {
279 ASSERT(op->IsDoubleRegister());
280 return ToDoubleRegister(op->index());
281}
282
283
284int LCodeGen::ToInteger32(LConstantOperand* op) const {
285 Handle<Object> value = chunk_->LookupLiteral(op);
286 ASSERT(chunk_->LookupLiteralRepresentation(op).IsInteger32());
287 ASSERT(static_cast<double>(static_cast<int32_t>(value->Number())) ==
288 value->Number());
289 return static_cast<int32_t>(value->Number());
290}
291
292
293Immediate LCodeGen::ToImmediate(LOperand* op) {
294 LConstantOperand* const_op = LConstantOperand::cast(op);
295 Handle<Object> literal = chunk_->LookupLiteral(const_op);
296 Representation r = chunk_->LookupLiteralRepresentation(const_op);
297 if (r.IsInteger32()) {
298 ASSERT(literal->IsNumber());
299 return Immediate(static_cast<int32_t>(literal->Number()));
300 } else if (r.IsDouble()) {
301 Abort("unsupported double immediate");
302 }
303 ASSERT(r.IsTagged());
304 return Immediate(literal);
305}
306
307
308Operand LCodeGen::ToOperand(LOperand* op) const {
309 if (op->IsRegister()) return Operand(ToRegister(op));
310 if (op->IsDoubleRegister()) return Operand(ToDoubleRegister(op));
311 ASSERT(op->IsStackSlot() || op->IsDoubleStackSlot());
312 int index = op->index();
313 if (index >= 0) {
314 // Local or spill slot. Skip the frame pointer, function, and
315 // context in the fixed part of the frame.
316 return Operand(ebp, -(index + 3) * kPointerSize);
317 } else {
318 // Incoming parameter. Skip the return address.
319 return Operand(ebp, -(index - 1) * kPointerSize);
320 }
321}
322
323
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000324Operand LCodeGen::HighOperand(LOperand* op) {
325 ASSERT(op->IsDoubleStackSlot());
326 int index = op->index();
327 int offset = (index >= 0) ? index + 3 : index - 1;
328 return Operand(ebp, -offset * kPointerSize);
329}
330
331
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000332void LCodeGen::WriteTranslation(LEnvironment* environment,
333 Translation* translation) {
334 if (environment == NULL) return;
335
336 // The translation includes one command per value in the environment.
337 int translation_size = environment->values()->length();
338 // The output frame height does not include the parameters.
339 int height = translation_size - environment->parameter_count();
340
341 WriteTranslation(environment->outer(), translation);
342 int closure_id = DefineDeoptimizationLiteral(environment->closure());
343 translation->BeginFrame(environment->ast_id(), closure_id, height);
344 for (int i = 0; i < translation_size; ++i) {
345 LOperand* value = environment->values()->at(i);
346 // spilled_registers_ and spilled_double_registers_ are either
347 // both NULL or both set.
348 if (environment->spilled_registers() != NULL && value != NULL) {
349 if (value->IsRegister() &&
350 environment->spilled_registers()[value->index()] != NULL) {
351 translation->MarkDuplicate();
352 AddToTranslation(translation,
353 environment->spilled_registers()[value->index()],
354 environment->HasTaggedValueAt(i));
355 } else if (
356 value->IsDoubleRegister() &&
357 environment->spilled_double_registers()[value->index()] != NULL) {
358 translation->MarkDuplicate();
359 AddToTranslation(
360 translation,
361 environment->spilled_double_registers()[value->index()],
362 false);
363 }
364 }
365
366 AddToTranslation(translation, value, environment->HasTaggedValueAt(i));
367 }
368}
369
370
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000371void LCodeGen::AddToTranslation(Translation* translation,
372 LOperand* op,
373 bool is_tagged) {
374 if (op == NULL) {
375 // TODO(twuerthinger): Introduce marker operands to indicate that this value
376 // is not present and must be reconstructed from the deoptimizer. Currently
377 // this is only used for the arguments object.
378 translation->StoreArgumentsObject();
379 } else if (op->IsStackSlot()) {
380 if (is_tagged) {
381 translation->StoreStackSlot(op->index());
382 } else {
383 translation->StoreInt32StackSlot(op->index());
384 }
385 } else if (op->IsDoubleStackSlot()) {
386 translation->StoreDoubleStackSlot(op->index());
387 } else if (op->IsArgument()) {
388 ASSERT(is_tagged);
danno@chromium.org160a7b02011-04-18 15:51:38 +0000389 int src_index = GetStackSlotCount() + op->index();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000390 translation->StoreStackSlot(src_index);
391 } else if (op->IsRegister()) {
392 Register reg = ToRegister(op);
393 if (is_tagged) {
394 translation->StoreRegister(reg);
395 } else {
396 translation->StoreInt32Register(reg);
397 }
398 } else if (op->IsDoubleRegister()) {
399 XMMRegister reg = ToDoubleRegister(op);
400 translation->StoreDoubleRegister(reg);
401 } else if (op->IsConstantOperand()) {
402 Handle<Object> literal = chunk()->LookupLiteral(LConstantOperand::cast(op));
403 int src_index = DefineDeoptimizationLiteral(literal);
404 translation->StoreLiteral(src_index);
405 } else {
406 UNREACHABLE();
407 }
408}
409
410
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000411void LCodeGen::CallCodeGeneric(Handle<Code> code,
412 RelocInfo::Mode mode,
413 LInstruction* instr,
414 ContextMode context_mode,
415 SafepointMode safepoint_mode) {
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000416 ASSERT(instr != NULL);
417 LPointerMap* pointers = instr->pointer_map();
418 RecordPosition(pointers->position());
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000419
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000420 if (context_mode == RESTORE_CONTEXT) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000421 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
422 }
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000423 __ call(code, mode);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000424
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000425 RegisterLazyDeoptimization(instr, safepoint_mode);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +0000426
427 // Signal that we don't inline smi code before these stubs in the
428 // optimizing code generator.
429 if (code->kind() == Code::TYPE_RECORDING_BINARY_OP_IC ||
430 code->kind() == Code::COMPARE_IC) {
431 __ nop();
432 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000433}
434
435
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000436void LCodeGen::CallCode(Handle<Code> code,
437 RelocInfo::Mode mode,
438 LInstruction* instr,
439 ContextMode context_mode) {
440 CallCodeGeneric(code, mode, instr, context_mode, RECORD_SIMPLE_SAFEPOINT);
441}
442
443
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000444void LCodeGen::CallRuntime(const Runtime::Function* fun,
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000445 int argc,
446 LInstruction* instr,
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000447 ContextMode context_mode) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000448 ASSERT(instr != NULL);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000449 ASSERT(instr->HasPointerMap());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000450 LPointerMap* pointers = instr->pointer_map();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000451 RecordPosition(pointers->position());
452
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000453 if (context_mode == RESTORE_CONTEXT) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000454 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
455 }
456 __ CallRuntime(fun, argc);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000457
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000458 RegisterLazyDeoptimization(instr, RECORD_SIMPLE_SAFEPOINT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000459}
460
461
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000462void LCodeGen::CallRuntimeFromDeferred(Runtime::FunctionId id,
463 int argc,
464 LInstruction* instr) {
465 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
466 __ CallRuntimeSaveDoubles(id);
467 RecordSafepointWithRegisters(
468 instr->pointer_map(), argc, Safepoint::kNoDeoptimizationIndex);
469}
470
471
472void LCodeGen::RegisterLazyDeoptimization(LInstruction* instr,
473 SafepointMode safepoint_mode) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000474 // Create the environment to bailout to. If the call has side effects
475 // execution has to continue after the call otherwise execution can continue
476 // from a previous bailout point repeating the call.
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000477 LEnvironment* deoptimization_environment;
478 if (instr->HasDeoptimizationEnvironment()) {
479 deoptimization_environment = instr->deoptimization_environment();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000480 } else {
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000481 deoptimization_environment = instr->environment();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000482 }
483
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000484 RegisterEnvironmentForDeoptimization(deoptimization_environment);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000485 if (safepoint_mode == RECORD_SIMPLE_SAFEPOINT) {
486 RecordSafepoint(instr->pointer_map(),
487 deoptimization_environment->deoptimization_index());
488 } else {
489 ASSERT(safepoint_mode == RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
490 RecordSafepointWithRegisters(
491 instr->pointer_map(),
492 0,
493 deoptimization_environment->deoptimization_index());
494 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000495}
496
497
498void LCodeGen::RegisterEnvironmentForDeoptimization(LEnvironment* environment) {
499 if (!environment->HasBeenRegistered()) {
500 // Physical stack frame layout:
501 // -x ............. -4 0 ..................................... y
502 // [incoming arguments] [spill slots] [pushed outgoing arguments]
503
504 // Layout of the environment:
505 // 0 ..................................................... size-1
506 // [parameters] [locals] [expression stack including arguments]
507
508 // Layout of the translation:
509 // 0 ........................................................ size - 1 + 4
510 // [expression stack including arguments] [locals] [4 words] [parameters]
511 // |>------------ translation_size ------------<|
512
513 int frame_count = 0;
514 for (LEnvironment* e = environment; e != NULL; e = e->outer()) {
515 ++frame_count;
516 }
517 Translation translation(&translations_, frame_count);
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000518 WriteTranslation(environment, &translation);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000519 int deoptimization_index = deoptimizations_.length();
520 environment->Register(deoptimization_index, translation.index());
521 deoptimizations_.Add(environment);
522 }
523}
524
525
526void LCodeGen::DeoptimizeIf(Condition cc, LEnvironment* environment) {
527 RegisterEnvironmentForDeoptimization(environment);
528 ASSERT(environment->HasBeenRegistered());
529 int id = environment->deoptimization_index();
530 Address entry = Deoptimizer::GetDeoptimizationEntry(id, Deoptimizer::EAGER);
531 ASSERT(entry != NULL);
532 if (entry == NULL) {
533 Abort("bailout was not prepared");
534 return;
535 }
536
537 if (FLAG_deopt_every_n_times != 0) {
538 Handle<SharedFunctionInfo> shared(info_->shared_info());
539 Label no_deopt;
540 __ pushfd();
541 __ push(eax);
542 __ push(ebx);
543 __ mov(ebx, shared);
544 __ mov(eax, FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset));
545 __ sub(Operand(eax), Immediate(Smi::FromInt(1)));
546 __ j(not_zero, &no_deopt);
547 if (FLAG_trap_on_deopt) __ int3();
548 __ mov(eax, Immediate(Smi::FromInt(FLAG_deopt_every_n_times)));
549 __ mov(FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset), eax);
550 __ pop(ebx);
551 __ pop(eax);
552 __ popfd();
553 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
554
555 __ bind(&no_deopt);
556 __ mov(FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset), eax);
557 __ pop(ebx);
558 __ pop(eax);
559 __ popfd();
560 }
561
562 if (cc == no_condition) {
563 if (FLAG_trap_on_deopt) __ int3();
564 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
565 } else {
566 if (FLAG_trap_on_deopt) {
567 NearLabel done;
568 __ j(NegateCondition(cc), &done);
569 __ int3();
570 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
571 __ bind(&done);
572 } else {
573 __ j(cc, entry, RelocInfo::RUNTIME_ENTRY, not_taken);
574 }
575 }
576}
577
578
579void LCodeGen::PopulateDeoptimizationData(Handle<Code> code) {
580 int length = deoptimizations_.length();
581 if (length == 0) return;
582 ASSERT(FLAG_deopt);
583 Handle<DeoptimizationInputData> data =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000584 factory()->NewDeoptimizationInputData(length, TENURED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000585
ager@chromium.org9ee27ae2011-03-02 13:43:26 +0000586 Handle<ByteArray> translations = translations_.CreateByteArray();
587 data->SetTranslationByteArray(*translations);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000588 data->SetInlinedFunctionCount(Smi::FromInt(inlined_function_count_));
589
590 Handle<FixedArray> literals =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000591 factory()->NewFixedArray(deoptimization_literals_.length(), TENURED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000592 for (int i = 0; i < deoptimization_literals_.length(); i++) {
593 literals->set(i, *deoptimization_literals_[i]);
594 }
595 data->SetLiteralArray(*literals);
596
597 data->SetOsrAstId(Smi::FromInt(info_->osr_ast_id()));
598 data->SetOsrPcOffset(Smi::FromInt(osr_pc_offset_));
599
600 // Populate the deoptimization entries.
601 for (int i = 0; i < length; i++) {
602 LEnvironment* env = deoptimizations_[i];
603 data->SetAstId(i, Smi::FromInt(env->ast_id()));
604 data->SetTranslationIndex(i, Smi::FromInt(env->translation_index()));
605 data->SetArgumentsStackHeight(i,
606 Smi::FromInt(env->arguments_stack_height()));
607 }
608 code->set_deoptimization_data(*data);
609}
610
611
612int LCodeGen::DefineDeoptimizationLiteral(Handle<Object> literal) {
613 int result = deoptimization_literals_.length();
614 for (int i = 0; i < deoptimization_literals_.length(); ++i) {
615 if (deoptimization_literals_[i].is_identical_to(literal)) return i;
616 }
617 deoptimization_literals_.Add(literal);
618 return result;
619}
620
621
622void LCodeGen::PopulateDeoptimizationLiteralsWithInlinedFunctions() {
623 ASSERT(deoptimization_literals_.length() == 0);
624
625 const ZoneList<Handle<JSFunction> >* inlined_closures =
626 chunk()->inlined_closures();
627
628 for (int i = 0, length = inlined_closures->length();
629 i < length;
630 i++) {
631 DefineDeoptimizationLiteral(inlined_closures->at(i));
632 }
633
634 inlined_function_count_ = deoptimization_literals_.length();
635}
636
637
ager@chromium.org378b34e2011-01-28 08:04:38 +0000638void LCodeGen::RecordSafepoint(
639 LPointerMap* pointers,
640 Safepoint::Kind kind,
641 int arguments,
642 int deoptimization_index) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000643 ASSERT(kind == expected_safepoint_kind_);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000644 const ZoneList<LOperand*>* operands = pointers->operands();
645 Safepoint safepoint = safepoints_.DefineSafepoint(masm(),
ager@chromium.org378b34e2011-01-28 08:04:38 +0000646 kind, arguments, deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000647 for (int i = 0; i < operands->length(); i++) {
648 LOperand* pointer = operands->at(i);
649 if (pointer->IsStackSlot()) {
650 safepoint.DefinePointerSlot(pointer->index());
ager@chromium.org378b34e2011-01-28 08:04:38 +0000651 } else if (pointer->IsRegister() && (kind & Safepoint::kWithRegisters)) {
652 safepoint.DefinePointerRegister(ToRegister(pointer));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000653 }
654 }
ager@chromium.org378b34e2011-01-28 08:04:38 +0000655}
656
657
658void LCodeGen::RecordSafepoint(LPointerMap* pointers,
659 int deoptimization_index) {
660 RecordSafepoint(pointers, Safepoint::kSimple, 0, deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000661}
662
663
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000664void LCodeGen::RecordSafepoint(int deoptimization_index) {
665 LPointerMap empty_pointers(RelocInfo::kNoPosition);
666 RecordSafepoint(&empty_pointers, deoptimization_index);
667}
668
669
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000670void LCodeGen::RecordSafepointWithRegisters(LPointerMap* pointers,
671 int arguments,
672 int deoptimization_index) {
ager@chromium.org378b34e2011-01-28 08:04:38 +0000673 RecordSafepoint(pointers, Safepoint::kWithRegisters, arguments,
674 deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000675}
676
677
678void LCodeGen::RecordPosition(int position) {
679 if (!FLAG_debug_info || position == RelocInfo::kNoPosition) return;
680 masm()->positions_recorder()->RecordPosition(position);
681}
682
683
684void LCodeGen::DoLabel(LLabel* label) {
685 if (label->is_loop_header()) {
686 Comment(";;; B%d - LOOP entry", label->block_id());
687 } else {
688 Comment(";;; B%d", label->block_id());
689 }
690 __ bind(label->label());
691 current_block_ = label->block_id();
692 LCodeGen::DoGap(label);
693}
694
695
696void LCodeGen::DoParallelMove(LParallelMove* move) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000697 resolver_.Resolve(move);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000698}
699
700
701void LCodeGen::DoGap(LGap* gap) {
702 for (int i = LGap::FIRST_INNER_POSITION;
703 i <= LGap::LAST_INNER_POSITION;
704 i++) {
705 LGap::InnerPosition inner_pos = static_cast<LGap::InnerPosition>(i);
706 LParallelMove* move = gap->GetParallelMove(inner_pos);
707 if (move != NULL) DoParallelMove(move);
708 }
709
710 LInstruction* next = GetNextInstruction();
711 if (next != NULL && next->IsLazyBailout()) {
712 int pc = masm()->pc_offset();
713 safepoints_.SetPcAfterGap(pc);
714 }
715}
716
717
718void LCodeGen::DoParameter(LParameter* instr) {
719 // Nothing to do.
720}
721
722
723void LCodeGen::DoCallStub(LCallStub* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000724 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000725 ASSERT(ToRegister(instr->result()).is(eax));
726 switch (instr->hydrogen()->major_key()) {
727 case CodeStub::RegExpConstructResult: {
728 RegExpConstructResultStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000729 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000730 break;
731 }
732 case CodeStub::RegExpExec: {
733 RegExpExecStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000734 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000735 break;
736 }
737 case CodeStub::SubString: {
738 SubStringStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000739 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000740 break;
741 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000742 case CodeStub::NumberToString: {
743 NumberToStringStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000744 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000745 break;
746 }
747 case CodeStub::StringAdd: {
748 StringAddStub stub(NO_STRING_ADD_FLAGS);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000749 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000750 break;
751 }
752 case CodeStub::StringCompare: {
753 StringCompareStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000754 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000755 break;
756 }
757 case CodeStub::TranscendentalCache: {
whesse@chromium.org023421e2010-12-21 12:19:12 +0000758 TranscendentalCacheStub stub(instr->transcendental_type(),
759 TranscendentalCacheStub::TAGGED);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000760 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000761 break;
762 }
763 default:
764 UNREACHABLE();
765 }
766}
767
768
769void LCodeGen::DoUnknownOSRValue(LUnknownOSRValue* instr) {
770 // Nothing to do.
771}
772
773
774void LCodeGen::DoModI(LModI* instr) {
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000775 if (instr->hydrogen()->HasPowerOf2Divisor()) {
776 Register dividend = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000777
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000778 int32_t divisor =
779 HConstant::cast(instr->hydrogen()->right())->Integer32Value();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000780
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000781 if (divisor < 0) divisor = -divisor;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000782
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000783 NearLabel positive_dividend, done;
784 __ test(dividend, Operand(dividend));
785 __ j(not_sign, &positive_dividend);
786 __ neg(dividend);
787 __ and_(dividend, divisor - 1);
788 __ neg(dividend);
789 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
790 __ j(not_zero, &done);
791 DeoptimizeIf(no_condition, instr->environment());
792 }
793 __ bind(&positive_dividend);
794 __ and_(dividend, divisor - 1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000795 __ bind(&done);
796 } else {
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000797 LOperand* right = instr->InputAt(1);
798 ASSERT(ToRegister(instr->InputAt(0)).is(eax));
799 ASSERT(ToRegister(instr->result()).is(edx));
800
801 Register right_reg = ToRegister(right);
802 ASSERT(!right_reg.is(eax));
803 ASSERT(!right_reg.is(edx));
804
805 // Check for x % 0.
806 if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
807 __ test(right_reg, ToOperand(right));
808 DeoptimizeIf(zero, instr->environment());
809 }
810
811 // Sign extend to edx.
812 __ cdq();
813
814 // Check for (0 % -x) that will produce negative zero.
815 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
816 NearLabel positive_left;
817 NearLabel done;
818 __ test(eax, Operand(eax));
819 __ j(not_sign, &positive_left);
820 __ idiv(right_reg);
821
822 // Test the remainder for 0, because then the result would be -0.
823 __ test(edx, Operand(edx));
824 __ j(not_zero, &done);
825
826 DeoptimizeIf(no_condition, instr->environment());
827 __ bind(&positive_left);
828 __ idiv(right_reg);
829 __ bind(&done);
830 } else {
831 __ idiv(right_reg);
832 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000833 }
834}
835
836
837void LCodeGen::DoDivI(LDivI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000838 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000839 ASSERT(ToRegister(instr->result()).is(eax));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000840 ASSERT(ToRegister(instr->InputAt(0)).is(eax));
841 ASSERT(!ToRegister(instr->InputAt(1)).is(eax));
842 ASSERT(!ToRegister(instr->InputAt(1)).is(edx));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000843
844 Register left_reg = eax;
845
846 // Check for x / 0.
847 Register right_reg = ToRegister(right);
848 if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
849 __ test(right_reg, ToOperand(right));
850 DeoptimizeIf(zero, instr->environment());
851 }
852
853 // Check for (0 / -x) that will produce negative zero.
854 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
855 NearLabel left_not_zero;
856 __ test(left_reg, Operand(left_reg));
857 __ j(not_zero, &left_not_zero);
858 __ test(right_reg, ToOperand(right));
859 DeoptimizeIf(sign, instr->environment());
860 __ bind(&left_not_zero);
861 }
862
863 // Check for (-kMinInt / -1).
864 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
865 NearLabel left_not_min_int;
866 __ cmp(left_reg, kMinInt);
867 __ j(not_zero, &left_not_min_int);
868 __ cmp(right_reg, -1);
869 DeoptimizeIf(zero, instr->environment());
870 __ bind(&left_not_min_int);
871 }
872
873 // Sign extend to edx.
874 __ cdq();
875 __ idiv(right_reg);
876
877 // Deoptimize if remainder is not 0.
878 __ test(edx, Operand(edx));
879 DeoptimizeIf(not_zero, instr->environment());
880}
881
882
883void LCodeGen::DoMulI(LMulI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000884 Register left = ToRegister(instr->InputAt(0));
885 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000886
887 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000888 __ mov(ToRegister(instr->TempAt(0)), left);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000889 }
890
891 if (right->IsConstantOperand()) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000892 // Try strength reductions on the multiplication.
893 // All replacement instructions are at most as long as the imul
894 // and have better latency.
895 int constant = ToInteger32(LConstantOperand::cast(right));
896 if (constant == -1) {
897 __ neg(left);
898 } else if (constant == 0) {
899 __ xor_(left, Operand(left));
900 } else if (constant == 2) {
901 __ add(left, Operand(left));
902 } else if (!instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
903 // If we know that the multiplication can't overflow, it's safe to
904 // use instructions that don't set the overflow flag for the
905 // multiplication.
906 switch (constant) {
907 case 1:
908 // Do nothing.
909 break;
910 case 3:
911 __ lea(left, Operand(left, left, times_2, 0));
912 break;
913 case 4:
914 __ shl(left, 2);
915 break;
916 case 5:
917 __ lea(left, Operand(left, left, times_4, 0));
918 break;
919 case 8:
920 __ shl(left, 3);
921 break;
922 case 9:
923 __ lea(left, Operand(left, left, times_8, 0));
924 break;
925 case 16:
926 __ shl(left, 4);
927 break;
928 default:
929 __ imul(left, left, constant);
930 break;
931 }
932 } else {
933 __ imul(left, left, constant);
934 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000935 } else {
936 __ imul(left, ToOperand(right));
937 }
938
939 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
940 DeoptimizeIf(overflow, instr->environment());
941 }
942
943 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
944 // Bail out if the result is supposed to be negative zero.
945 NearLabel done;
946 __ test(left, Operand(left));
947 __ j(not_zero, &done);
948 if (right->IsConstantOperand()) {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +0000949 if (ToInteger32(LConstantOperand::cast(right)) <= 0) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000950 DeoptimizeIf(no_condition, instr->environment());
951 }
952 } else {
953 // Test the non-zero operand for negative sign.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000954 __ or_(ToRegister(instr->TempAt(0)), ToOperand(right));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000955 DeoptimizeIf(sign, instr->environment());
956 }
957 __ bind(&done);
958 }
959}
960
961
962void LCodeGen::DoBitI(LBitI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000963 LOperand* left = instr->InputAt(0);
964 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000965 ASSERT(left->Equals(instr->result()));
966 ASSERT(left->IsRegister());
967
968 if (right->IsConstantOperand()) {
969 int right_operand = ToInteger32(LConstantOperand::cast(right));
970 switch (instr->op()) {
971 case Token::BIT_AND:
972 __ and_(ToRegister(left), right_operand);
973 break;
974 case Token::BIT_OR:
975 __ or_(ToRegister(left), right_operand);
976 break;
977 case Token::BIT_XOR:
978 __ xor_(ToRegister(left), right_operand);
979 break;
980 default:
981 UNREACHABLE();
982 break;
983 }
984 } else {
985 switch (instr->op()) {
986 case Token::BIT_AND:
987 __ and_(ToRegister(left), ToOperand(right));
988 break;
989 case Token::BIT_OR:
990 __ or_(ToRegister(left), ToOperand(right));
991 break;
992 case Token::BIT_XOR:
993 __ xor_(ToRegister(left), ToOperand(right));
994 break;
995 default:
996 UNREACHABLE();
997 break;
998 }
999 }
1000}
1001
1002
1003void LCodeGen::DoShiftI(LShiftI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001004 LOperand* left = instr->InputAt(0);
1005 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001006 ASSERT(left->Equals(instr->result()));
1007 ASSERT(left->IsRegister());
1008 if (right->IsRegister()) {
1009 ASSERT(ToRegister(right).is(ecx));
1010
1011 switch (instr->op()) {
1012 case Token::SAR:
1013 __ sar_cl(ToRegister(left));
1014 break;
1015 case Token::SHR:
1016 __ shr_cl(ToRegister(left));
1017 if (instr->can_deopt()) {
1018 __ test(ToRegister(left), Immediate(0x80000000));
1019 DeoptimizeIf(not_zero, instr->environment());
1020 }
1021 break;
1022 case Token::SHL:
1023 __ shl_cl(ToRegister(left));
1024 break;
1025 default:
1026 UNREACHABLE();
1027 break;
1028 }
1029 } else {
1030 int value = ToInteger32(LConstantOperand::cast(right));
1031 uint8_t shift_count = static_cast<uint8_t>(value & 0x1F);
1032 switch (instr->op()) {
1033 case Token::SAR:
1034 if (shift_count != 0) {
1035 __ sar(ToRegister(left), shift_count);
1036 }
1037 break;
1038 case Token::SHR:
1039 if (shift_count == 0 && instr->can_deopt()) {
1040 __ test(ToRegister(left), Immediate(0x80000000));
1041 DeoptimizeIf(not_zero, instr->environment());
1042 } else {
1043 __ shr(ToRegister(left), shift_count);
1044 }
1045 break;
1046 case Token::SHL:
1047 if (shift_count != 0) {
1048 __ shl(ToRegister(left), shift_count);
1049 }
1050 break;
1051 default:
1052 UNREACHABLE();
1053 break;
1054 }
1055 }
1056}
1057
1058
1059void LCodeGen::DoSubI(LSubI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001060 LOperand* left = instr->InputAt(0);
1061 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001062 ASSERT(left->Equals(instr->result()));
1063
1064 if (right->IsConstantOperand()) {
1065 __ sub(ToOperand(left), ToImmediate(right));
1066 } else {
1067 __ sub(ToRegister(left), ToOperand(right));
1068 }
1069 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1070 DeoptimizeIf(overflow, instr->environment());
1071 }
1072}
1073
1074
1075void LCodeGen::DoConstantI(LConstantI* instr) {
1076 ASSERT(instr->result()->IsRegister());
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001077 __ Set(ToRegister(instr->result()), Immediate(instr->value()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001078}
1079
1080
1081void LCodeGen::DoConstantD(LConstantD* instr) {
1082 ASSERT(instr->result()->IsDoubleRegister());
1083 XMMRegister res = ToDoubleRegister(instr->result());
1084 double v = instr->value();
1085 // Use xor to produce +0.0 in a fast and compact way, but avoid to
1086 // do so if the constant is -0.0.
1087 if (BitCast<uint64_t, double>(v) == 0) {
1088 __ xorpd(res, res);
1089 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001090 Register temp = ToRegister(instr->TempAt(0));
1091 uint64_t int_val = BitCast<uint64_t, double>(v);
1092 int32_t lower = static_cast<int32_t>(int_val);
1093 int32_t upper = static_cast<int32_t>(int_val >> (kBitsPerInt));
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001094 if (CpuFeatures::IsSupported(SSE4_1)) {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001095 CpuFeatures::Scope scope(SSE4_1);
1096 if (lower != 0) {
1097 __ Set(temp, Immediate(lower));
1098 __ movd(res, Operand(temp));
1099 __ Set(temp, Immediate(upper));
1100 __ pinsrd(res, Operand(temp), 1);
1101 } else {
1102 __ xorpd(res, res);
1103 __ Set(temp, Immediate(upper));
1104 __ pinsrd(res, Operand(temp), 1);
1105 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001106 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001107 __ Set(temp, Immediate(upper));
1108 __ movd(res, Operand(temp));
1109 __ psllq(res, 32);
1110 if (lower != 0) {
1111 __ Set(temp, Immediate(lower));
1112 __ movd(xmm0, Operand(temp));
1113 __ por(res, xmm0);
1114 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001115 }
1116 }
1117}
1118
1119
1120void LCodeGen::DoConstantT(LConstantT* instr) {
1121 ASSERT(instr->result()->IsRegister());
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001122 __ Set(ToRegister(instr->result()), Immediate(instr->value()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001123}
1124
1125
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001126void LCodeGen::DoJSArrayLength(LJSArrayLength* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001127 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001128 Register array = ToRegister(instr->InputAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001129 __ mov(result, FieldOperand(array, JSArray::kLengthOffset));
1130}
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001131
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001132
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001133void LCodeGen::DoFixedArrayLength(LFixedArrayLength* instr) {
1134 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001135 Register array = ToRegister(instr->InputAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001136 __ mov(result, FieldOperand(array, FixedArray::kLengthOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001137}
1138
1139
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00001140void LCodeGen::DoExternalArrayLength(LExternalArrayLength* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001141 Register result = ToRegister(instr->result());
1142 Register array = ToRegister(instr->InputAt(0));
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00001143 __ mov(result, FieldOperand(array, ExternalArray::kLengthOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001144}
1145
1146
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001147void LCodeGen::DoValueOf(LValueOf* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001148 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001149 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001150 Register map = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001151 ASSERT(input.is(result));
1152 NearLabel done;
1153 // If the object is a smi return the object.
1154 __ test(input, Immediate(kSmiTagMask));
1155 __ j(zero, &done);
1156
1157 // If the object is not a value type, return the object.
1158 __ CmpObjectType(input, JS_VALUE_TYPE, map);
1159 __ j(not_equal, &done);
1160 __ mov(result, FieldOperand(input, JSValue::kValueOffset));
1161
1162 __ bind(&done);
1163}
1164
1165
1166void LCodeGen::DoBitNotI(LBitNotI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001167 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001168 ASSERT(input->Equals(instr->result()));
1169 __ not_(ToRegister(input));
1170}
1171
1172
1173void LCodeGen::DoThrow(LThrow* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001174 __ push(ToOperand(instr->InputAt(0)));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001175 CallRuntime(Runtime::kThrow, 1, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001176
1177 if (FLAG_debug_code) {
1178 Comment("Unreachable code.");
1179 __ int3();
1180 }
1181}
1182
1183
1184void LCodeGen::DoAddI(LAddI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001185 LOperand* left = instr->InputAt(0);
1186 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001187 ASSERT(left->Equals(instr->result()));
1188
1189 if (right->IsConstantOperand()) {
1190 __ add(ToOperand(left), ToImmediate(right));
1191 } else {
1192 __ add(ToRegister(left), ToOperand(right));
1193 }
1194
1195 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1196 DeoptimizeIf(overflow, instr->environment());
1197 }
1198}
1199
1200
1201void LCodeGen::DoArithmeticD(LArithmeticD* instr) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001202 XMMRegister left = ToDoubleRegister(instr->InputAt(0));
1203 XMMRegister right = ToDoubleRegister(instr->InputAt(1));
1204 XMMRegister result = ToDoubleRegister(instr->result());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001205 // Modulo uses a fixed result register.
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001206 ASSERT(instr->op() == Token::MOD || left.is(result));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001207 switch (instr->op()) {
1208 case Token::ADD:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001209 __ addsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001210 break;
1211 case Token::SUB:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001212 __ subsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001213 break;
1214 case Token::MUL:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001215 __ mulsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001216 break;
1217 case Token::DIV:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001218 __ divsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001219 break;
1220 case Token::MOD: {
1221 // Pass two doubles as arguments on the stack.
1222 __ PrepareCallCFunction(4, eax);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001223 __ movdbl(Operand(esp, 0 * kDoubleSize), left);
1224 __ movdbl(Operand(esp, 1 * kDoubleSize), right);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001225 __ CallCFunction(
1226 ExternalReference::double_fp_operation(Token::MOD, isolate()),
1227 4);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001228
1229 // Return value is in st(0) on ia32.
1230 // Store it into the (fixed) result register.
1231 __ sub(Operand(esp), Immediate(kDoubleSize));
1232 __ fstp_d(Operand(esp, 0));
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001233 __ movdbl(result, Operand(esp, 0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001234 __ add(Operand(esp), Immediate(kDoubleSize));
1235 break;
1236 }
1237 default:
1238 UNREACHABLE();
1239 break;
1240 }
1241}
1242
1243
1244void LCodeGen::DoArithmeticT(LArithmeticT* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001245 ASSERT(ToRegister(instr->InputAt(0)).is(edx));
1246 ASSERT(ToRegister(instr->InputAt(1)).is(eax));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001247 ASSERT(ToRegister(instr->result()).is(eax));
1248
1249 TypeRecordingBinaryOpStub stub(instr->op(), NO_OVERWRITE);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001250 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001251}
1252
1253
1254int LCodeGen::GetNextEmittedBlock(int block) {
1255 for (int i = block + 1; i < graph()->blocks()->length(); ++i) {
1256 LLabel* label = chunk_->GetLabel(i);
1257 if (!label->HasReplacement()) return i;
1258 }
1259 return -1;
1260}
1261
1262
1263void LCodeGen::EmitBranch(int left_block, int right_block, Condition cc) {
1264 int next_block = GetNextEmittedBlock(current_block_);
1265 right_block = chunk_->LookupDestination(right_block);
1266 left_block = chunk_->LookupDestination(left_block);
1267
1268 if (right_block == left_block) {
1269 EmitGoto(left_block);
1270 } else if (left_block == next_block) {
1271 __ j(NegateCondition(cc), chunk_->GetAssemblyLabel(right_block));
1272 } else if (right_block == next_block) {
1273 __ j(cc, chunk_->GetAssemblyLabel(left_block));
1274 } else {
1275 __ j(cc, chunk_->GetAssemblyLabel(left_block));
1276 __ jmp(chunk_->GetAssemblyLabel(right_block));
1277 }
1278}
1279
1280
1281void LCodeGen::DoBranch(LBranch* instr) {
1282 int true_block = chunk_->LookupDestination(instr->true_block_id());
1283 int false_block = chunk_->LookupDestination(instr->false_block_id());
1284
1285 Representation r = instr->hydrogen()->representation();
1286 if (r.IsInteger32()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001287 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001288 __ test(reg, Operand(reg));
1289 EmitBranch(true_block, false_block, not_zero);
1290 } else if (r.IsDouble()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001291 XMMRegister reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001292 __ xorpd(xmm0, xmm0);
1293 __ ucomisd(reg, xmm0);
1294 EmitBranch(true_block, false_block, not_equal);
1295 } else {
1296 ASSERT(r.IsTagged());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001297 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001298 if (instr->hydrogen()->type().IsBoolean()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001299 __ cmp(reg, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001300 EmitBranch(true_block, false_block, equal);
1301 } else {
1302 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1303 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1304
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001305 __ cmp(reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001306 __ j(equal, false_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001307 __ cmp(reg, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001308 __ j(equal, true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001309 __ cmp(reg, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001310 __ j(equal, false_label);
1311 __ test(reg, Operand(reg));
1312 __ j(equal, false_label);
1313 __ test(reg, Immediate(kSmiTagMask));
1314 __ j(zero, true_label);
1315
1316 // Test for double values. Zero is false.
1317 NearLabel call_stub;
1318 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001319 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001320 __ j(not_equal, &call_stub);
1321 __ fldz();
1322 __ fld_d(FieldOperand(reg, HeapNumber::kValueOffset));
1323 __ FCmp();
1324 __ j(zero, false_label);
1325 __ jmp(true_label);
1326
1327 // The conversion stub doesn't cause garbage collections so it's
1328 // safe to not record a safepoint after the call.
1329 __ bind(&call_stub);
1330 ToBooleanStub stub;
1331 __ pushad();
1332 __ push(reg);
1333 __ CallStub(&stub);
1334 __ test(eax, Operand(eax));
1335 __ popad();
1336 EmitBranch(true_block, false_block, not_zero);
1337 }
1338 }
1339}
1340
1341
1342void LCodeGen::EmitGoto(int block, LDeferredCode* deferred_stack_check) {
1343 block = chunk_->LookupDestination(block);
1344 int next_block = GetNextEmittedBlock(current_block_);
1345 if (block != next_block) {
1346 // Perform stack overflow check if this goto needs it before jumping.
1347 if (deferred_stack_check != NULL) {
1348 ExternalReference stack_limit =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001349 ExternalReference::address_of_stack_limit(isolate());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001350 __ cmp(esp, Operand::StaticVariable(stack_limit));
1351 __ j(above_equal, chunk_->GetAssemblyLabel(block));
1352 __ jmp(deferred_stack_check->entry());
1353 deferred_stack_check->SetExit(chunk_->GetAssemblyLabel(block));
1354 } else {
1355 __ jmp(chunk_->GetAssemblyLabel(block));
1356 }
1357 }
1358}
1359
1360
1361void LCodeGen::DoDeferredStackCheck(LGoto* instr) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001362 PushSafepointRegistersScope scope(this);
1363 CallRuntimeFromDeferred(Runtime::kStackGuard, 0, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001364}
1365
1366void LCodeGen::DoGoto(LGoto* instr) {
1367 class DeferredStackCheck: public LDeferredCode {
1368 public:
1369 DeferredStackCheck(LCodeGen* codegen, LGoto* instr)
1370 : LDeferredCode(codegen), instr_(instr) { }
1371 virtual void Generate() { codegen()->DoDeferredStackCheck(instr_); }
1372 private:
1373 LGoto* instr_;
1374 };
1375
1376 DeferredStackCheck* deferred = NULL;
1377 if (instr->include_stack_check()) {
1378 deferred = new DeferredStackCheck(this, instr);
1379 }
1380 EmitGoto(instr->block_id(), deferred);
1381}
1382
1383
1384Condition LCodeGen::TokenToCondition(Token::Value op, bool is_unsigned) {
1385 Condition cond = no_condition;
1386 switch (op) {
1387 case Token::EQ:
1388 case Token::EQ_STRICT:
1389 cond = equal;
1390 break;
1391 case Token::LT:
1392 cond = is_unsigned ? below : less;
1393 break;
1394 case Token::GT:
1395 cond = is_unsigned ? above : greater;
1396 break;
1397 case Token::LTE:
1398 cond = is_unsigned ? below_equal : less_equal;
1399 break;
1400 case Token::GTE:
1401 cond = is_unsigned ? above_equal : greater_equal;
1402 break;
1403 case Token::IN:
1404 case Token::INSTANCEOF:
1405 default:
1406 UNREACHABLE();
1407 }
1408 return cond;
1409}
1410
1411
1412void LCodeGen::EmitCmpI(LOperand* left, LOperand* right) {
1413 if (right->IsConstantOperand()) {
1414 __ cmp(ToOperand(left), ToImmediate(right));
1415 } else {
1416 __ cmp(ToRegister(left), ToOperand(right));
1417 }
1418}
1419
1420
1421void LCodeGen::DoCmpID(LCmpID* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001422 LOperand* left = instr->InputAt(0);
1423 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001424 LOperand* result = instr->result();
1425
1426 NearLabel unordered;
1427 if (instr->is_double()) {
1428 // Don't base result on EFLAGS when a NaN is involved. Instead
1429 // jump to the unordered case, which produces a false value.
1430 __ ucomisd(ToDoubleRegister(left), ToDoubleRegister(right));
1431 __ j(parity_even, &unordered, not_taken);
1432 } else {
1433 EmitCmpI(left, right);
1434 }
1435
1436 NearLabel done;
1437 Condition cc = TokenToCondition(instr->op(), instr->is_double());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001438 __ mov(ToRegister(result), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001439 __ j(cc, &done);
1440
1441 __ bind(&unordered);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001442 __ mov(ToRegister(result), factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001443 __ bind(&done);
1444}
1445
1446
1447void LCodeGen::DoCmpIDAndBranch(LCmpIDAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001448 LOperand* left = instr->InputAt(0);
1449 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001450 int false_block = chunk_->LookupDestination(instr->false_block_id());
1451 int true_block = chunk_->LookupDestination(instr->true_block_id());
1452
1453 if (instr->is_double()) {
1454 // Don't base result on EFLAGS when a NaN is involved. Instead
1455 // jump to the false block.
1456 __ ucomisd(ToDoubleRegister(left), ToDoubleRegister(right));
1457 __ j(parity_even, chunk_->GetAssemblyLabel(false_block));
1458 } else {
1459 EmitCmpI(left, right);
1460 }
1461
1462 Condition cc = TokenToCondition(instr->op(), instr->is_double());
1463 EmitBranch(true_block, false_block, cc);
1464}
1465
1466
1467void LCodeGen::DoCmpJSObjectEq(LCmpJSObjectEq* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001468 Register left = ToRegister(instr->InputAt(0));
1469 Register right = ToRegister(instr->InputAt(1));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001470 Register result = ToRegister(instr->result());
1471
1472 __ cmp(left, Operand(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001473 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001474 NearLabel done;
1475 __ j(equal, &done);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001476 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001477 __ bind(&done);
1478}
1479
1480
1481void LCodeGen::DoCmpJSObjectEqAndBranch(LCmpJSObjectEqAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001482 Register left = ToRegister(instr->InputAt(0));
1483 Register right = ToRegister(instr->InputAt(1));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001484 int false_block = chunk_->LookupDestination(instr->false_block_id());
1485 int true_block = chunk_->LookupDestination(instr->true_block_id());
1486
1487 __ cmp(left, Operand(right));
1488 EmitBranch(true_block, false_block, equal);
1489}
1490
1491
1492void LCodeGen::DoIsNull(LIsNull* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001493 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001494 Register result = ToRegister(instr->result());
1495
1496 // TODO(fsc): If the expression is known to be a smi, then it's
1497 // definitely not null. Materialize false.
1498
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001499 __ cmp(reg, factory()->null_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001500 if (instr->is_strict()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001501 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001502 NearLabel done;
1503 __ j(equal, &done);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001504 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001505 __ bind(&done);
1506 } else {
1507 NearLabel true_value, false_value, done;
1508 __ j(equal, &true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001509 __ cmp(reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001510 __ j(equal, &true_value);
1511 __ test(reg, Immediate(kSmiTagMask));
1512 __ j(zero, &false_value);
1513 // Check for undetectable objects by looking in the bit field in
1514 // the map. The object has already been smi checked.
1515 Register scratch = result;
1516 __ mov(scratch, FieldOperand(reg, HeapObject::kMapOffset));
1517 __ movzx_b(scratch, FieldOperand(scratch, Map::kBitFieldOffset));
1518 __ test(scratch, Immediate(1 << Map::kIsUndetectable));
1519 __ j(not_zero, &true_value);
1520 __ bind(&false_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001521 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001522 __ jmp(&done);
1523 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001524 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001525 __ bind(&done);
1526 }
1527}
1528
1529
1530void LCodeGen::DoIsNullAndBranch(LIsNullAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001531 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001532
1533 // TODO(fsc): If the expression is known to be a smi, then it's
1534 // definitely not null. Jump to the false block.
1535
1536 int true_block = chunk_->LookupDestination(instr->true_block_id());
1537 int false_block = chunk_->LookupDestination(instr->false_block_id());
1538
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001539 __ cmp(reg, factory()->null_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001540 if (instr->is_strict()) {
1541 EmitBranch(true_block, false_block, equal);
1542 } else {
1543 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1544 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1545 __ j(equal, true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001546 __ cmp(reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001547 __ j(equal, true_label);
1548 __ test(reg, Immediate(kSmiTagMask));
1549 __ j(zero, false_label);
1550 // Check for undetectable objects by looking in the bit field in
1551 // the map. The object has already been smi checked.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001552 Register scratch = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001553 __ mov(scratch, FieldOperand(reg, HeapObject::kMapOffset));
1554 __ movzx_b(scratch, FieldOperand(scratch, Map::kBitFieldOffset));
1555 __ test(scratch, Immediate(1 << Map::kIsUndetectable));
1556 EmitBranch(true_block, false_block, not_zero);
1557 }
1558}
1559
1560
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001561Condition LCodeGen::EmitIsObject(Register input,
1562 Register temp1,
1563 Register temp2,
1564 Label* is_not_object,
1565 Label* is_object) {
1566 ASSERT(!input.is(temp1));
1567 ASSERT(!input.is(temp2));
1568 ASSERT(!temp1.is(temp2));
1569
1570 __ test(input, Immediate(kSmiTagMask));
1571 __ j(equal, is_not_object);
1572
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001573 __ cmp(input, isolate()->factory()->null_value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001574 __ j(equal, is_object);
1575
1576 __ mov(temp1, FieldOperand(input, HeapObject::kMapOffset));
1577 // Undetectable objects behave like undefined.
1578 __ movzx_b(temp2, FieldOperand(temp1, Map::kBitFieldOffset));
1579 __ test(temp2, Immediate(1 << Map::kIsUndetectable));
1580 __ j(not_zero, is_not_object);
1581
1582 __ movzx_b(temp2, FieldOperand(temp1, Map::kInstanceTypeOffset));
1583 __ cmp(temp2, FIRST_JS_OBJECT_TYPE);
1584 __ j(below, is_not_object);
1585 __ cmp(temp2, LAST_JS_OBJECT_TYPE);
1586 return below_equal;
1587}
1588
1589
1590void LCodeGen::DoIsObject(LIsObject* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001591 Register reg = ToRegister(instr->InputAt(0));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001592 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001593 Register temp = ToRegister(instr->TempAt(0));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001594 Label is_false, is_true, done;
1595
1596 Condition true_cond = EmitIsObject(reg, result, temp, &is_false, &is_true);
1597 __ j(true_cond, &is_true);
1598
1599 __ bind(&is_false);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001600 __ mov(result, factory()->false_value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001601 __ jmp(&done);
1602
1603 __ bind(&is_true);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001604 __ mov(result, factory()->true_value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001605
1606 __ bind(&done);
1607}
1608
1609
1610void LCodeGen::DoIsObjectAndBranch(LIsObjectAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001611 Register reg = ToRegister(instr->InputAt(0));
1612 Register temp = ToRegister(instr->TempAt(0));
1613 Register temp2 = ToRegister(instr->TempAt(1));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001614
1615 int true_block = chunk_->LookupDestination(instr->true_block_id());
1616 int false_block = chunk_->LookupDestination(instr->false_block_id());
1617 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1618 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1619
1620 Condition true_cond = EmitIsObject(reg, temp, temp2, false_label, true_label);
1621
1622 EmitBranch(true_block, false_block, true_cond);
1623}
1624
1625
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001626void LCodeGen::DoIsSmi(LIsSmi* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001627 Operand input = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001628 Register result = ToRegister(instr->result());
1629
1630 ASSERT(instr->hydrogen()->value()->representation().IsTagged());
1631 __ test(input, Immediate(kSmiTagMask));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001632 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001633 NearLabel done;
1634 __ j(zero, &done);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001635 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001636 __ bind(&done);
1637}
1638
1639
1640void LCodeGen::DoIsSmiAndBranch(LIsSmiAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001641 Operand input = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001642
1643 int true_block = chunk_->LookupDestination(instr->true_block_id());
1644 int false_block = chunk_->LookupDestination(instr->false_block_id());
1645
1646 __ test(input, Immediate(kSmiTagMask));
1647 EmitBranch(true_block, false_block, zero);
1648}
1649
1650
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001651static InstanceType TestType(HHasInstanceType* instr) {
1652 InstanceType from = instr->from();
1653 InstanceType to = instr->to();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001654 if (from == FIRST_TYPE) return to;
1655 ASSERT(from == to || to == LAST_TYPE);
1656 return from;
1657}
1658
1659
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001660static Condition BranchCondition(HHasInstanceType* instr) {
1661 InstanceType from = instr->from();
1662 InstanceType to = instr->to();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001663 if (from == to) return equal;
1664 if (to == LAST_TYPE) return above_equal;
1665 if (from == FIRST_TYPE) return below_equal;
1666 UNREACHABLE();
1667 return equal;
1668}
1669
1670
1671void LCodeGen::DoHasInstanceType(LHasInstanceType* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001672 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001673 Register result = ToRegister(instr->result());
1674
1675 ASSERT(instr->hydrogen()->value()->representation().IsTagged());
1676 __ test(input, Immediate(kSmiTagMask));
1677 NearLabel done, is_false;
1678 __ j(zero, &is_false);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001679 __ CmpObjectType(input, TestType(instr->hydrogen()), result);
1680 __ j(NegateCondition(BranchCondition(instr->hydrogen())), &is_false);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001681 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001682 __ jmp(&done);
1683 __ bind(&is_false);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001684 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001685 __ bind(&done);
1686}
1687
1688
1689void LCodeGen::DoHasInstanceTypeAndBranch(LHasInstanceTypeAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001690 Register input = ToRegister(instr->InputAt(0));
1691 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001692
1693 int true_block = chunk_->LookupDestination(instr->true_block_id());
1694 int false_block = chunk_->LookupDestination(instr->false_block_id());
1695
1696 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1697
1698 __ test(input, Immediate(kSmiTagMask));
1699 __ j(zero, false_label);
1700
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001701 __ CmpObjectType(input, TestType(instr->hydrogen()), temp);
1702 EmitBranch(true_block, false_block, BranchCondition(instr->hydrogen()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001703}
1704
1705
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001706void LCodeGen::DoGetCachedArrayIndex(LGetCachedArrayIndex* instr) {
1707 Register input = ToRegister(instr->InputAt(0));
1708 Register result = ToRegister(instr->result());
1709
1710 if (FLAG_debug_code) {
1711 __ AbortIfNotString(input);
1712 }
1713
1714 __ mov(result, FieldOperand(input, String::kHashFieldOffset));
1715 __ IndexFromHash(result, result);
1716}
1717
1718
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001719void LCodeGen::DoHasCachedArrayIndex(LHasCachedArrayIndex* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001720 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001721 Register result = ToRegister(instr->result());
1722
1723 ASSERT(instr->hydrogen()->value()->representation().IsTagged());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001724 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001725 __ test(FieldOperand(input, String::kHashFieldOffset),
1726 Immediate(String::kContainsCachedArrayIndexMask));
1727 NearLabel done;
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001728 __ j(zero, &done);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001729 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001730 __ bind(&done);
1731}
1732
1733
1734void LCodeGen::DoHasCachedArrayIndexAndBranch(
1735 LHasCachedArrayIndexAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001736 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001737
1738 int true_block = chunk_->LookupDestination(instr->true_block_id());
1739 int false_block = chunk_->LookupDestination(instr->false_block_id());
1740
1741 __ test(FieldOperand(input, String::kHashFieldOffset),
1742 Immediate(String::kContainsCachedArrayIndexMask));
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001743 EmitBranch(true_block, false_block, equal);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001744}
1745
1746
1747// Branches to a label or falls through with the answer in the z flag. Trashes
1748// the temp registers, but not the input. Only input and temp2 may alias.
1749void LCodeGen::EmitClassOfTest(Label* is_true,
1750 Label* is_false,
1751 Handle<String>class_name,
1752 Register input,
1753 Register temp,
1754 Register temp2) {
1755 ASSERT(!input.is(temp));
1756 ASSERT(!temp.is(temp2)); // But input and temp2 may be the same register.
1757 __ test(input, Immediate(kSmiTagMask));
1758 __ j(zero, is_false);
1759 __ CmpObjectType(input, FIRST_JS_OBJECT_TYPE, temp);
1760 __ j(below, is_false);
1761
1762 // Map is now in temp.
1763 // Functions have class 'Function'.
1764 __ CmpInstanceType(temp, JS_FUNCTION_TYPE);
1765 if (class_name->IsEqualTo(CStrVector("Function"))) {
1766 __ j(equal, is_true);
1767 } else {
1768 __ j(equal, is_false);
1769 }
1770
1771 // Check if the constructor in the map is a function.
1772 __ mov(temp, FieldOperand(temp, Map::kConstructorOffset));
1773
1774 // As long as JS_FUNCTION_TYPE is the last instance type and it is
1775 // right after LAST_JS_OBJECT_TYPE, we can avoid checking for
1776 // LAST_JS_OBJECT_TYPE.
1777 ASSERT(LAST_TYPE == JS_FUNCTION_TYPE);
1778 ASSERT(JS_FUNCTION_TYPE == LAST_JS_OBJECT_TYPE + 1);
1779
1780 // Objects with a non-function constructor have class 'Object'.
1781 __ CmpObjectType(temp, JS_FUNCTION_TYPE, temp2);
1782 if (class_name->IsEqualTo(CStrVector("Object"))) {
1783 __ j(not_equal, is_true);
1784 } else {
1785 __ j(not_equal, is_false);
1786 }
1787
1788 // temp now contains the constructor function. Grab the
1789 // instance class name from there.
1790 __ mov(temp, FieldOperand(temp, JSFunction::kSharedFunctionInfoOffset));
1791 __ mov(temp, FieldOperand(temp,
1792 SharedFunctionInfo::kInstanceClassNameOffset));
1793 // The class name we are testing against is a symbol because it's a literal.
1794 // The name in the constructor is a symbol because of the way the context is
1795 // booted. This routine isn't expected to work for random API-created
1796 // classes and it doesn't have to because you can't access it with natives
1797 // syntax. Since both sides are symbols it is sufficient to use an identity
1798 // comparison.
1799 __ cmp(temp, class_name);
1800 // End with the answer in the z flag.
1801}
1802
1803
1804void LCodeGen::DoClassOfTest(LClassOfTest* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001805 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001806 Register result = ToRegister(instr->result());
1807 ASSERT(input.is(result));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001808 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001809 Handle<String> class_name = instr->hydrogen()->class_name();
1810 NearLabel done;
1811 Label is_true, is_false;
1812
1813 EmitClassOfTest(&is_true, &is_false, class_name, input, temp, input);
1814
1815 __ j(not_equal, &is_false);
1816
1817 __ bind(&is_true);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001818 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001819 __ jmp(&done);
1820
1821 __ bind(&is_false);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001822 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001823 __ bind(&done);
1824}
1825
1826
1827void LCodeGen::DoClassOfTestAndBranch(LClassOfTestAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001828 Register input = ToRegister(instr->InputAt(0));
1829 Register temp = ToRegister(instr->TempAt(0));
1830 Register temp2 = ToRegister(instr->TempAt(1));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001831 if (input.is(temp)) {
1832 // Swap.
1833 Register swapper = temp;
1834 temp = temp2;
1835 temp2 = swapper;
1836 }
1837 Handle<String> class_name = instr->hydrogen()->class_name();
1838
1839 int true_block = chunk_->LookupDestination(instr->true_block_id());
1840 int false_block = chunk_->LookupDestination(instr->false_block_id());
1841
1842 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1843 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1844
1845 EmitClassOfTest(true_label, false_label, class_name, input, temp, temp2);
1846
1847 EmitBranch(true_block, false_block, equal);
1848}
1849
1850
1851void LCodeGen::DoCmpMapAndBranch(LCmpMapAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001852 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001853 int true_block = instr->true_block_id();
1854 int false_block = instr->false_block_id();
1855
1856 __ cmp(FieldOperand(reg, HeapObject::kMapOffset), instr->map());
1857 EmitBranch(true_block, false_block, equal);
1858}
1859
1860
1861void LCodeGen::DoInstanceOf(LInstanceOf* instr) {
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001862 // Object and function are in fixed registers defined by the stub.
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001863 ASSERT(ToRegister(instr->context()).is(esi));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001864 InstanceofStub stub(InstanceofStub::kArgsInRegisters);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001865 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001866
1867 NearLabel true_value, done;
1868 __ test(eax, Operand(eax));
1869 __ j(zero, &true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001870 __ mov(ToRegister(instr->result()), factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001871 __ jmp(&done);
1872 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001873 __ mov(ToRegister(instr->result()), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001874 __ bind(&done);
1875}
1876
1877
1878void LCodeGen::DoInstanceOfAndBranch(LInstanceOfAndBranch* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001879 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001880 int true_block = chunk_->LookupDestination(instr->true_block_id());
1881 int false_block = chunk_->LookupDestination(instr->false_block_id());
1882
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001883 InstanceofStub stub(InstanceofStub::kArgsInRegisters);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001884 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001885 __ test(eax, Operand(eax));
1886 EmitBranch(true_block, false_block, zero);
1887}
1888
1889
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001890void LCodeGen::DoInstanceOfKnownGlobal(LInstanceOfKnownGlobal* instr) {
1891 class DeferredInstanceOfKnownGlobal: public LDeferredCode {
1892 public:
1893 DeferredInstanceOfKnownGlobal(LCodeGen* codegen,
1894 LInstanceOfKnownGlobal* instr)
1895 : LDeferredCode(codegen), instr_(instr) { }
1896 virtual void Generate() {
1897 codegen()->DoDeferredLInstanceOfKnownGlobal(instr_, &map_check_);
1898 }
1899
1900 Label* map_check() { return &map_check_; }
1901
1902 private:
1903 LInstanceOfKnownGlobal* instr_;
1904 Label map_check_;
1905 };
1906
1907 DeferredInstanceOfKnownGlobal* deferred;
1908 deferred = new DeferredInstanceOfKnownGlobal(this, instr);
1909
1910 Label done, false_result;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001911 Register object = ToRegister(instr->InputAt(0));
1912 Register temp = ToRegister(instr->TempAt(0));
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001913
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001914 // A Smi is not an instance of anything.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001915 __ test(object, Immediate(kSmiTagMask));
1916 __ j(zero, &false_result, not_taken);
1917
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001918 // This is the inlined call site instanceof cache. The two occurences of the
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001919 // hole value will be patched to the last map/result pair generated by the
1920 // instanceof stub.
1921 NearLabel cache_miss;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001922 Register map = ToRegister(instr->TempAt(0));
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001923 __ mov(map, FieldOperand(object, HeapObject::kMapOffset));
1924 __ bind(deferred->map_check()); // Label for calculating code patching.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001925 __ cmp(map, factory()->the_hole_value()); // Patched to cached map.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001926 __ j(not_equal, &cache_miss, not_taken);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001927 __ mov(eax, factory()->the_hole_value()); // Patched to either true or false.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001928 __ jmp(&done);
1929
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001930 // The inlined call site cache did not match. Check for null and string
1931 // before calling the deferred code.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001932 __ bind(&cache_miss);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001933 // Null is not an instance of anything.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001934 __ cmp(object, factory()->null_value());
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001935 __ j(equal, &false_result);
1936
1937 // String values are not instances of anything.
1938 Condition is_string = masm_->IsObjectStringType(object, temp, temp);
1939 __ j(is_string, &false_result);
1940
1941 // Go to the deferred code.
1942 __ jmp(deferred->entry());
1943
1944 __ bind(&false_result);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001945 __ mov(ToRegister(instr->result()), factory()->false_value());
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001946
1947 // Here result has either true or false. Deferred code also produces true or
1948 // false object.
1949 __ bind(deferred->exit());
1950 __ bind(&done);
1951}
1952
1953
1954void LCodeGen::DoDeferredLInstanceOfKnownGlobal(LInstanceOfKnownGlobal* instr,
1955 Label* map_check) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001956 PushSafepointRegistersScope scope(this);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001957
1958 InstanceofStub::Flags flags = InstanceofStub::kNoFlags;
1959 flags = static_cast<InstanceofStub::Flags>(
1960 flags | InstanceofStub::kArgsInRegisters);
1961 flags = static_cast<InstanceofStub::Flags>(
1962 flags | InstanceofStub::kCallSiteInlineCheck);
1963 flags = static_cast<InstanceofStub::Flags>(
1964 flags | InstanceofStub::kReturnTrueFalseObject);
1965 InstanceofStub stub(flags);
1966
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001967 // Get the temp register reserved by the instruction. This needs to be a
1968 // register which is pushed last by PushSafepointRegisters as top of the
1969 // stack is used to pass the offset to the location of the map check to
1970 // the stub.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001971 Register temp = ToRegister(instr->TempAt(0));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001972 ASSERT(MacroAssembler::SafepointRegisterStackIndex(temp) == 0);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001973 __ mov(InstanceofStub::right(), Immediate(instr->function()));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001974 static const int kAdditionalDelta = 16;
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001975 int delta = masm_->SizeOfCodeGeneratedSince(map_check) + kAdditionalDelta;
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001976 __ mov(temp, Immediate(delta));
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001977 __ StoreToSafepointRegisterSlot(temp, temp);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001978 CallCodeGeneric(stub.GetCode(),
1979 RelocInfo::CODE_TARGET,
1980 instr,
1981 RESTORE_CONTEXT,
1982 RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001983 // Put the result value into the eax slot and restore all registers.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001984 __ StoreToSafepointRegisterSlot(eax, eax);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001985}
1986
1987
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001988static Condition ComputeCompareCondition(Token::Value op) {
1989 switch (op) {
1990 case Token::EQ_STRICT:
1991 case Token::EQ:
1992 return equal;
1993 case Token::LT:
1994 return less;
1995 case Token::GT:
1996 return greater;
1997 case Token::LTE:
1998 return less_equal;
1999 case Token::GTE:
2000 return greater_equal;
2001 default:
2002 UNREACHABLE();
2003 return no_condition;
2004 }
2005}
2006
2007
2008void LCodeGen::DoCmpT(LCmpT* instr) {
2009 Token::Value op = instr->op();
2010
2011 Handle<Code> ic = CompareIC::GetUninitialized(op);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002012 CallCode(ic, RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002013
2014 Condition condition = ComputeCompareCondition(op);
2015 if (op == Token::GT || op == Token::LTE) {
2016 condition = ReverseCondition(condition);
2017 }
2018 NearLabel true_value, done;
2019 __ test(eax, Operand(eax));
2020 __ j(condition, &true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002021 __ mov(ToRegister(instr->result()), factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002022 __ jmp(&done);
2023 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002024 __ mov(ToRegister(instr->result()), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002025 __ bind(&done);
2026}
2027
2028
2029void LCodeGen::DoCmpTAndBranch(LCmpTAndBranch* instr) {
2030 Token::Value op = instr->op();
2031 int true_block = chunk_->LookupDestination(instr->true_block_id());
2032 int false_block = chunk_->LookupDestination(instr->false_block_id());
2033
2034 Handle<Code> ic = CompareIC::GetUninitialized(op);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002035 CallCode(ic, RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002036
2037 // The compare stub expects compare condition and the input operands
2038 // reversed for GT and LTE.
2039 Condition condition = ComputeCompareCondition(op);
2040 if (op == Token::GT || op == Token::LTE) {
2041 condition = ReverseCondition(condition);
2042 }
2043 __ test(eax, Operand(eax));
2044 EmitBranch(true_block, false_block, condition);
2045}
2046
2047
2048void LCodeGen::DoReturn(LReturn* instr) {
2049 if (FLAG_trace) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002050 // Preserve the return value on the stack and rely on the runtime call
2051 // to return the value in the same register. We're leaving the code
2052 // managed by the register allocator and tearing down the frame, it's
2053 // safe to write to the context register.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002054 __ push(eax);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002055 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002056 __ CallRuntime(Runtime::kTraceExit, 1);
2057 }
2058 __ mov(esp, ebp);
2059 __ pop(ebp);
danno@chromium.org160a7b02011-04-18 15:51:38 +00002060 __ Ret((GetParameterCount() + 1) * kPointerSize, ecx);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002061}
2062
2063
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002064void LCodeGen::DoLoadGlobalCell(LLoadGlobalCell* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002065 Register result = ToRegister(instr->result());
2066 __ mov(result, Operand::Cell(instr->hydrogen()->cell()));
2067 if (instr->hydrogen()->check_hole_value()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002068 __ cmp(result, factory()->the_hole_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002069 DeoptimizeIf(equal, instr->environment());
2070 }
2071}
2072
2073
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002074void LCodeGen::DoLoadGlobalGeneric(LLoadGlobalGeneric* instr) {
2075 ASSERT(ToRegister(instr->context()).is(esi));
2076 ASSERT(ToRegister(instr->global_object()).is(eax));
2077 ASSERT(ToRegister(instr->result()).is(eax));
2078
2079 __ mov(ecx, instr->name());
2080 RelocInfo::Mode mode = instr->for_typeof() ? RelocInfo::CODE_TARGET :
2081 RelocInfo::CODE_TARGET_CONTEXT;
2082 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002083 CallCode(ic, mode, instr, CONTEXT_ADJUSTED);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002084}
2085
2086
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002087void LCodeGen::DoStoreGlobalCell(LStoreGlobalCell* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002088 Register value = ToRegister(instr->InputAt(0));
ager@chromium.org378b34e2011-01-28 08:04:38 +00002089 Operand cell_operand = Operand::Cell(instr->hydrogen()->cell());
2090
2091 // If the cell we are storing to contains the hole it could have
2092 // been deleted from the property dictionary. In that case, we need
2093 // to update the property details in the property dictionary to mark
2094 // it as no longer deleted. We deoptimize in that case.
2095 if (instr->hydrogen()->check_hole_value()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002096 __ cmp(cell_operand, factory()->the_hole_value());
ager@chromium.org378b34e2011-01-28 08:04:38 +00002097 DeoptimizeIf(equal, instr->environment());
2098 }
2099
2100 // Store the value.
2101 __ mov(cell_operand, value);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002102}
2103
2104
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002105void LCodeGen::DoStoreGlobalGeneric(LStoreGlobalGeneric* instr) {
2106 ASSERT(ToRegister(instr->context()).is(esi));
2107 ASSERT(ToRegister(instr->global_object()).is(edx));
2108 ASSERT(ToRegister(instr->value()).is(eax));
2109
2110 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002111 Handle<Code> ic = instr->strict_mode()
2112 ? isolate()->builtins()->StoreIC_Initialize_Strict()
2113 : isolate()->builtins()->StoreIC_Initialize();
2114 CallCode(ic, RelocInfo::CODE_TARGET_CONTEXT, instr, CONTEXT_ADJUSTED);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002115}
2116
2117
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002118void LCodeGen::DoLoadContextSlot(LLoadContextSlot* instr) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002119 Register context = ToRegister(instr->context());
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002120 Register result = ToRegister(instr->result());
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002121 __ mov(result, ContextOperand(context, instr->slot_index()));
2122}
2123
2124
2125void LCodeGen::DoStoreContextSlot(LStoreContextSlot* instr) {
2126 Register context = ToRegister(instr->context());
2127 Register value = ToRegister(instr->value());
2128 __ mov(ContextOperand(context, instr->slot_index()), value);
2129 if (instr->needs_write_barrier()) {
2130 Register temp = ToRegister(instr->TempAt(0));
2131 int offset = Context::SlotOffset(instr->slot_index());
2132 __ RecordWrite(context, offset, value, temp);
2133 }
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002134}
2135
2136
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002137void LCodeGen::DoLoadNamedField(LLoadNamedField* instr) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002138 Register object = ToRegister(instr->object());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002139 Register result = ToRegister(instr->result());
2140 if (instr->hydrogen()->is_in_object()) {
2141 __ mov(result, FieldOperand(object, instr->hydrogen()->offset()));
2142 } else {
2143 __ mov(result, FieldOperand(object, JSObject::kPropertiesOffset));
2144 __ mov(result, FieldOperand(result, instr->hydrogen()->offset()));
2145 }
2146}
2147
2148
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002149void LCodeGen::EmitLoadField(Register result,
2150 Register object,
2151 Handle<Map> type,
2152 Handle<String> name) {
2153 LookupResult lookup;
2154 type->LookupInDescriptors(NULL, *name, &lookup);
2155 ASSERT(lookup.IsProperty() && lookup.type() == FIELD);
2156 int index = lookup.GetLocalFieldIndexFromMap(*type);
2157 int offset = index * kPointerSize;
2158 if (index < 0) {
2159 // Negative property indices are in-object properties, indexed
2160 // from the end of the fixed part of the object.
2161 __ mov(result, FieldOperand(object, offset + type->instance_size()));
2162 } else {
2163 // Non-negative property indices are in the properties array.
2164 __ mov(result, FieldOperand(object, JSObject::kPropertiesOffset));
2165 __ mov(result, FieldOperand(result, offset + FixedArray::kHeaderSize));
2166 }
2167}
2168
2169
2170void LCodeGen::DoLoadNamedFieldPolymorphic(LLoadNamedFieldPolymorphic* instr) {
2171 Register object = ToRegister(instr->object());
2172 Register result = ToRegister(instr->result());
2173
2174 int map_count = instr->hydrogen()->types()->length();
2175 Handle<String> name = instr->hydrogen()->name();
2176 if (map_count == 0) {
2177 ASSERT(instr->hydrogen()->need_generic());
2178 __ mov(ecx, name);
2179 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002180 CallCode(ic, RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002181 } else {
2182 NearLabel done;
2183 for (int i = 0; i < map_count - 1; ++i) {
2184 Handle<Map> map = instr->hydrogen()->types()->at(i);
2185 NearLabel next;
2186 __ cmp(FieldOperand(object, HeapObject::kMapOffset), map);
2187 __ j(not_equal, &next);
2188 EmitLoadField(result, object, map, name);
2189 __ jmp(&done);
2190 __ bind(&next);
2191 }
2192 Handle<Map> map = instr->hydrogen()->types()->last();
2193 __ cmp(FieldOperand(object, HeapObject::kMapOffset), map);
2194 if (instr->hydrogen()->need_generic()) {
2195 NearLabel generic;
2196 __ j(not_equal, &generic);
2197 EmitLoadField(result, object, map, name);
2198 __ jmp(&done);
2199 __ bind(&generic);
2200 __ mov(ecx, name);
2201 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002202 CallCode(ic, RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002203 } else {
2204 DeoptimizeIf(not_equal, instr->environment());
2205 EmitLoadField(result, object, map, name);
2206 }
2207 __ bind(&done);
2208 }
2209}
2210
2211
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002212void LCodeGen::DoLoadNamedGeneric(LLoadNamedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002213 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002214 ASSERT(ToRegister(instr->object()).is(eax));
2215 ASSERT(ToRegister(instr->result()).is(eax));
2216
2217 __ mov(ecx, instr->name());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002218 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002219 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002220}
2221
2222
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002223void LCodeGen::DoLoadFunctionPrototype(LLoadFunctionPrototype* instr) {
2224 Register function = ToRegister(instr->function());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002225 Register temp = ToRegister(instr->TempAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002226 Register result = ToRegister(instr->result());
2227
2228 // Check that the function really is a function.
2229 __ CmpObjectType(function, JS_FUNCTION_TYPE, result);
2230 DeoptimizeIf(not_equal, instr->environment());
2231
2232 // Check whether the function has an instance prototype.
2233 NearLabel non_instance;
2234 __ test_b(FieldOperand(result, Map::kBitFieldOffset),
2235 1 << Map::kHasNonInstancePrototype);
2236 __ j(not_zero, &non_instance);
2237
2238 // Get the prototype or initial map from the function.
2239 __ mov(result,
2240 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2241
2242 // Check that the function has a prototype or an initial map.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002243 __ cmp(Operand(result), Immediate(factory()->the_hole_value()));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002244 DeoptimizeIf(equal, instr->environment());
2245
2246 // If the function does not have an initial map, we're done.
2247 NearLabel done;
2248 __ CmpObjectType(result, MAP_TYPE, temp);
2249 __ j(not_equal, &done);
2250
2251 // Get the prototype from the initial map.
2252 __ mov(result, FieldOperand(result, Map::kPrototypeOffset));
2253 __ jmp(&done);
2254
2255 // Non-instance prototype: Fetch prototype from constructor field
2256 // in the function's map.
2257 __ bind(&non_instance);
2258 __ mov(result, FieldOperand(result, Map::kConstructorOffset));
2259
2260 // All done.
2261 __ bind(&done);
2262}
2263
2264
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002265void LCodeGen::DoLoadElements(LLoadElements* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002266 Register result = ToRegister(instr->result());
2267 Register input = ToRegister(instr->InputAt(0));
2268 __ mov(result, FieldOperand(input, JSObject::kElementsOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002269 if (FLAG_debug_code) {
2270 NearLabel done;
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002271 __ cmp(FieldOperand(result, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002272 Immediate(factory()->fixed_array_map()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002273 __ j(equal, &done);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002274 __ cmp(FieldOperand(result, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002275 Immediate(factory()->fixed_cow_array_map()));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002276 __ j(equal, &done);
2277 Register temp((result.is(eax)) ? ebx : eax);
2278 __ push(temp);
2279 __ mov(temp, FieldOperand(result, HeapObject::kMapOffset));
2280 __ movzx_b(temp, FieldOperand(temp, Map::kInstanceTypeOffset));
2281 __ sub(Operand(temp), Immediate(FIRST_EXTERNAL_ARRAY_TYPE));
2282 __ cmp(Operand(temp), Immediate(kExternalArrayTypeCount));
2283 __ pop(temp);
2284 __ Check(below, "Check for fast elements or pixel array failed.");
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002285 __ bind(&done);
2286 }
2287}
2288
2289
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00002290void LCodeGen::DoLoadExternalArrayPointer(
2291 LLoadExternalArrayPointer* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002292 Register result = ToRegister(instr->result());
2293 Register input = ToRegister(instr->InputAt(0));
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00002294 __ mov(result, FieldOperand(input,
2295 ExternalArray::kExternalPointerOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002296}
2297
2298
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002299void LCodeGen::DoAccessArgumentsAt(LAccessArgumentsAt* instr) {
2300 Register arguments = ToRegister(instr->arguments());
2301 Register length = ToRegister(instr->length());
2302 Operand index = ToOperand(instr->index());
2303 Register result = ToRegister(instr->result());
2304
2305 __ sub(length, index);
2306 DeoptimizeIf(below_equal, instr->environment());
2307
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002308 // There are two words between the frame pointer and the last argument.
2309 // Subtracting from length accounts for one of them add one more.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002310 __ mov(result, Operand(arguments, length, times_4, kPointerSize));
2311}
2312
2313
2314void LCodeGen::DoLoadKeyedFastElement(LLoadKeyedFastElement* instr) {
2315 Register elements = ToRegister(instr->elements());
2316 Register key = ToRegister(instr->key());
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002317 Register result = ToRegister(instr->result());
2318 ASSERT(result.is(elements));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002319
2320 // Load the result.
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00002321 __ mov(result, FieldOperand(elements,
2322 key,
2323 times_pointer_size,
2324 FixedArray::kHeaderSize));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002325
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002326 // Check for the hole value.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002327 __ cmp(result, factory()->the_hole_value());
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002328 DeoptimizeIf(equal, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002329}
2330
2331
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002332void LCodeGen::DoLoadKeyedSpecializedArrayElement(
2333 LLoadKeyedSpecializedArrayElement* instr) {
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002334 Register external_pointer = ToRegister(instr->external_pointer());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002335 Register key = ToRegister(instr->key());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002336 ExternalArrayType array_type = instr->array_type();
2337 if (array_type == kExternalFloatArray) {
2338 XMMRegister result(ToDoubleRegister(instr->result()));
2339 __ movss(result, Operand(external_pointer, key, times_4, 0));
2340 __ cvtss2sd(result, result);
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00002341 } else if (array_type == kExternalDoubleArray) {
2342 __ movdbl(ToDoubleRegister(instr->result()),
2343 Operand(external_pointer, key, times_8, 0));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002344 } else {
2345 Register result(ToRegister(instr->result()));
2346 switch (array_type) {
2347 case kExternalByteArray:
2348 __ movsx_b(result, Operand(external_pointer, key, times_1, 0));
2349 break;
2350 case kExternalUnsignedByteArray:
2351 case kExternalPixelArray:
2352 __ movzx_b(result, Operand(external_pointer, key, times_1, 0));
2353 break;
2354 case kExternalShortArray:
2355 __ movsx_w(result, Operand(external_pointer, key, times_2, 0));
2356 break;
2357 case kExternalUnsignedShortArray:
2358 __ movzx_w(result, Operand(external_pointer, key, times_2, 0));
2359 break;
2360 case kExternalIntArray:
2361 __ mov(result, Operand(external_pointer, key, times_4, 0));
2362 break;
2363 case kExternalUnsignedIntArray:
2364 __ mov(result, Operand(external_pointer, key, times_4, 0));
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002365 __ test(result, Operand(result));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002366 // TODO(danno): we could be more clever here, perhaps having a special
2367 // version of the stub that detects if the overflow case actually
2368 // happens, and generate code that returns a double rather than int.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002369 DeoptimizeIf(negative, instr->environment());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002370 break;
2371 case kExternalFloatArray:
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00002372 case kExternalDoubleArray:
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002373 UNREACHABLE();
2374 break;
2375 }
2376 }
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002377}
2378
2379
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002380void LCodeGen::DoLoadKeyedGeneric(LLoadKeyedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002381 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002382 ASSERT(ToRegister(instr->object()).is(edx));
2383 ASSERT(ToRegister(instr->key()).is(eax));
2384
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002385 Handle<Code> ic = isolate()->builtins()->KeyedLoadIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002386 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002387}
2388
2389
2390void LCodeGen::DoArgumentsElements(LArgumentsElements* instr) {
2391 Register result = ToRegister(instr->result());
2392
2393 // Check for arguments adapter frame.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002394 NearLabel done, adapted;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002395 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2396 __ mov(result, Operand(result, StandardFrameConstants::kContextOffset));
2397 __ cmp(Operand(result),
2398 Immediate(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)));
2399 __ j(equal, &adapted);
2400
2401 // No arguments adaptor frame.
2402 __ mov(result, Operand(ebp));
2403 __ jmp(&done);
2404
2405 // Arguments adaptor frame present.
2406 __ bind(&adapted);
2407 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2408
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002409 // Result is the frame pointer for the frame if not adapted and for the real
2410 // frame below the adaptor frame if adapted.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002411 __ bind(&done);
2412}
2413
2414
2415void LCodeGen::DoArgumentsLength(LArgumentsLength* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002416 Operand elem = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002417 Register result = ToRegister(instr->result());
2418
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002419 NearLabel done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002420
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002421 // If no arguments adaptor frame the number of arguments is fixed.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002422 __ cmp(ebp, elem);
2423 __ mov(result, Immediate(scope()->num_parameters()));
2424 __ j(equal, &done);
2425
2426 // Arguments adaptor frame present. Get argument length from there.
2427 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2428 __ mov(result, Operand(result,
2429 ArgumentsAdaptorFrameConstants::kLengthOffset));
2430 __ SmiUntag(result);
2431
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002432 // Argument length is in result register.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002433 __ bind(&done);
2434}
2435
2436
2437void LCodeGen::DoApplyArguments(LApplyArguments* instr) {
2438 Register receiver = ToRegister(instr->receiver());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002439 Register function = ToRegister(instr->function());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002440 Register length = ToRegister(instr->length());
2441 Register elements = ToRegister(instr->elements());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002442 Register scratch = ToRegister(instr->TempAt(0));
2443 ASSERT(receiver.is(eax)); // Used for parameter count.
2444 ASSERT(function.is(edi)); // Required by InvokeFunction.
2445 ASSERT(ToRegister(instr->result()).is(eax));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002446
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002447 // If the receiver is null or undefined, we have to pass the global object
2448 // as a receiver.
2449 NearLabel global_object, receiver_ok;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002450 __ cmp(receiver, factory()->null_value());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002451 __ j(equal, &global_object);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002452 __ cmp(receiver, factory()->undefined_value());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002453 __ j(equal, &global_object);
2454
2455 // The receiver should be a JS object.
2456 __ test(receiver, Immediate(kSmiTagMask));
2457 DeoptimizeIf(equal, instr->environment());
2458 __ CmpObjectType(receiver, FIRST_JS_OBJECT_TYPE, scratch);
2459 DeoptimizeIf(below, instr->environment());
2460 __ jmp(&receiver_ok);
2461
2462 __ bind(&global_object);
2463 // TODO(kmillikin): We have a hydrogen value for the global object. See
2464 // if it's better to use it than to explicitly fetch it from the context
2465 // here.
2466 __ mov(receiver, Operand(ebp, StandardFrameConstants::kContextOffset));
2467 __ mov(receiver, ContextOperand(receiver, Context::GLOBAL_INDEX));
2468 __ bind(&receiver_ok);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002469
2470 // Copy the arguments to this function possibly from the
2471 // adaptor frame below it.
2472 const uint32_t kArgumentsLimit = 1 * KB;
2473 __ cmp(length, kArgumentsLimit);
2474 DeoptimizeIf(above, instr->environment());
2475
2476 __ push(receiver);
2477 __ mov(receiver, length);
2478
2479 // Loop through the arguments pushing them onto the execution
2480 // stack.
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002481 NearLabel invoke, loop;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002482 // length is a small non-negative integer, due to the test above.
2483 __ test(length, Operand(length));
2484 __ j(zero, &invoke);
2485 __ bind(&loop);
2486 __ push(Operand(elements, length, times_pointer_size, 1 * kPointerSize));
2487 __ dec(length);
2488 __ j(not_zero, &loop);
2489
2490 // Invoke the function.
2491 __ bind(&invoke);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00002492 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
2493 LPointerMap* pointers = instr->pointer_map();
2494 LEnvironment* env = instr->deoptimization_environment();
2495 RecordPosition(pointers->position());
2496 RegisterEnvironmentForDeoptimization(env);
2497 SafepointGenerator safepoint_generator(this,
2498 pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002499 env->deoptimization_index());
danno@chromium.org160a7b02011-04-18 15:51:38 +00002500 ParameterCount actual(eax);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002501 __ InvokeFunction(function, actual, CALL_FUNCTION, &safepoint_generator);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002502}
2503
2504
2505void LCodeGen::DoPushArgument(LPushArgument* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002506 LOperand* argument = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002507 if (argument->IsConstantOperand()) {
2508 __ push(ToImmediate(argument));
2509 } else {
2510 __ push(ToOperand(argument));
2511 }
2512}
2513
2514
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002515void LCodeGen::DoContext(LContext* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002516 Register result = ToRegister(instr->result());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002517 __ mov(result, Operand(ebp, StandardFrameConstants::kContextOffset));
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002518}
2519
2520
2521void LCodeGen::DoOuterContext(LOuterContext* instr) {
2522 Register context = ToRegister(instr->context());
2523 Register result = ToRegister(instr->result());
2524 __ mov(result, Operand(context, Context::SlotOffset(Context::CLOSURE_INDEX)));
2525 __ mov(result, FieldOperand(result, JSFunction::kContextOffset));
2526}
2527
2528
2529void LCodeGen::DoGlobalObject(LGlobalObject* instr) {
2530 Register context = ToRegister(instr->context());
2531 Register result = ToRegister(instr->result());
2532 __ mov(result, Operand(context, Context::SlotOffset(Context::GLOBAL_INDEX)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002533}
2534
2535
2536void LCodeGen::DoGlobalReceiver(LGlobalReceiver* instr) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002537 Register global = ToRegister(instr->global());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002538 Register result = ToRegister(instr->result());
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002539 __ mov(result, FieldOperand(global, GlobalObject::kGlobalReceiverOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002540}
2541
2542
2543void LCodeGen::CallKnownFunction(Handle<JSFunction> function,
2544 int arity,
2545 LInstruction* instr) {
2546 // Change context if needed.
2547 bool change_context =
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00002548 (info()->closure()->context() != function->context()) ||
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002549 scope()->contains_with() ||
2550 (scope()->num_heap_slots() > 0);
2551 if (change_context) {
2552 __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002553 } else {
2554 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002555 }
2556
2557 // Set eax to arguments count if adaption is not needed. Assumes that eax
2558 // is available to write to at this point.
2559 if (!function->NeedsArgumentsAdaption()) {
2560 __ mov(eax, arity);
2561 }
2562
2563 LPointerMap* pointers = instr->pointer_map();
2564 RecordPosition(pointers->position());
2565
2566 // Invoke function.
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00002567 if (*function == *info()->closure()) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002568 __ CallSelf();
2569 } else {
2570 __ call(FieldOperand(edi, JSFunction::kCodeEntryOffset));
2571 }
2572
2573 // Setup deoptimization.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002574 RegisterLazyDeoptimization(instr, RECORD_SIMPLE_SAFEPOINT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002575}
2576
2577
2578void LCodeGen::DoCallConstantFunction(LCallConstantFunction* instr) {
2579 ASSERT(ToRegister(instr->result()).is(eax));
2580 __ mov(edi, instr->function());
2581 CallKnownFunction(instr->function(), instr->arity(), instr);
2582}
2583
2584
2585void LCodeGen::DoDeferredMathAbsTaggedHeapNumber(LUnaryMathOperation* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002586 Register input_reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002587 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002588 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002589 DeoptimizeIf(not_equal, instr->environment());
2590
2591 Label done;
2592 Register tmp = input_reg.is(eax) ? ecx : eax;
2593 Register tmp2 = tmp.is(ecx) ? edx : input_reg.is(ecx) ? edx : ecx;
2594
2595 // Preserve the value of all registers.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002596 PushSafepointRegistersScope scope(this);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002597
2598 Label negative;
2599 __ mov(tmp, FieldOperand(input_reg, HeapNumber::kExponentOffset));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002600 // Check the sign of the argument. If the argument is positive, just
2601 // return it. We do not need to patch the stack since |input| and
2602 // |result| are the same register and |input| will be restored
2603 // unchanged by popping safepoint registers.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002604 __ test(tmp, Immediate(HeapNumber::kSignMask));
2605 __ j(not_zero, &negative);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002606 __ jmp(&done);
2607
2608 __ bind(&negative);
2609
2610 Label allocated, slow;
2611 __ AllocateHeapNumber(tmp, tmp2, no_reg, &slow);
2612 __ jmp(&allocated);
2613
2614 // Slow case: Call the runtime system to do the number allocation.
2615 __ bind(&slow);
2616
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002617 CallRuntimeFromDeferred(Runtime::kAllocateHeapNumber, 0, instr);
2618
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002619 // Set the pointer to the new heap number in tmp.
2620 if (!tmp.is(eax)) __ mov(tmp, eax);
2621
2622 // Restore input_reg after call to runtime.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002623 __ LoadFromSafepointRegisterSlot(input_reg, input_reg);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002624
2625 __ bind(&allocated);
2626 __ mov(tmp2, FieldOperand(input_reg, HeapNumber::kExponentOffset));
2627 __ and_(tmp2, ~HeapNumber::kSignMask);
2628 __ mov(FieldOperand(tmp, HeapNumber::kExponentOffset), tmp2);
2629 __ mov(tmp2, FieldOperand(input_reg, HeapNumber::kMantissaOffset));
2630 __ mov(FieldOperand(tmp, HeapNumber::kMantissaOffset), tmp2);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002631 __ StoreToSafepointRegisterSlot(input_reg, tmp);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002632
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002633 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002634}
2635
2636
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002637void LCodeGen::EmitIntegerMathAbs(LUnaryMathOperation* instr) {
2638 Register input_reg = ToRegister(instr->InputAt(0));
2639 __ test(input_reg, Operand(input_reg));
2640 Label is_positive;
2641 __ j(not_sign, &is_positive);
2642 __ neg(input_reg);
2643 __ test(input_reg, Operand(input_reg));
2644 DeoptimizeIf(negative, instr->environment());
2645 __ bind(&is_positive);
2646}
2647
2648
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002649void LCodeGen::DoMathAbs(LUnaryMathOperation* instr) {
2650 // Class for deferred case.
2651 class DeferredMathAbsTaggedHeapNumber: public LDeferredCode {
2652 public:
2653 DeferredMathAbsTaggedHeapNumber(LCodeGen* codegen,
2654 LUnaryMathOperation* instr)
2655 : LDeferredCode(codegen), instr_(instr) { }
2656 virtual void Generate() {
2657 codegen()->DoDeferredMathAbsTaggedHeapNumber(instr_);
2658 }
2659 private:
2660 LUnaryMathOperation* instr_;
2661 };
2662
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002663 ASSERT(instr->InputAt(0)->Equals(instr->result()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002664 Representation r = instr->hydrogen()->value()->representation();
2665
2666 if (r.IsDouble()) {
2667 XMMRegister scratch = xmm0;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002668 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002669 __ pxor(scratch, scratch);
2670 __ subsd(scratch, input_reg);
2671 __ pand(input_reg, scratch);
2672 } else if (r.IsInteger32()) {
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002673 EmitIntegerMathAbs(instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002674 } else { // Tagged case.
2675 DeferredMathAbsTaggedHeapNumber* deferred =
2676 new DeferredMathAbsTaggedHeapNumber(this, instr);
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002677 Register input_reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002678 // Smi check.
2679 __ test(input_reg, Immediate(kSmiTagMask));
2680 __ j(not_zero, deferred->entry());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002681 EmitIntegerMathAbs(instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002682 __ bind(deferred->exit());
2683 }
2684}
2685
2686
2687void LCodeGen::DoMathFloor(LUnaryMathOperation* instr) {
2688 XMMRegister xmm_scratch = xmm0;
2689 Register output_reg = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002690 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002691 __ xorpd(xmm_scratch, xmm_scratch); // Zero the register.
2692 __ ucomisd(input_reg, xmm_scratch);
2693
2694 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2695 DeoptimizeIf(below_equal, instr->environment());
2696 } else {
2697 DeoptimizeIf(below, instr->environment());
2698 }
2699
2700 // Use truncating instruction (OK because input is positive).
2701 __ cvttsd2si(output_reg, Operand(input_reg));
2702
2703 // Overflow is signalled with minint.
2704 __ cmp(output_reg, 0x80000000u);
2705 DeoptimizeIf(equal, instr->environment());
2706}
2707
2708
2709void LCodeGen::DoMathRound(LUnaryMathOperation* instr) {
2710 XMMRegister xmm_scratch = xmm0;
2711 Register output_reg = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002712 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002713
danno@chromium.org160a7b02011-04-18 15:51:38 +00002714 Label below_half, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002715 // xmm_scratch = 0.5
2716 ExternalReference one_half = ExternalReference::address_of_one_half();
2717 __ movdbl(xmm_scratch, Operand::StaticVariable(one_half));
2718
danno@chromium.org160a7b02011-04-18 15:51:38 +00002719 __ ucomisd(xmm_scratch, input_reg);
2720 __ j(above, &below_half);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002721 // input = input + 0.5
2722 __ addsd(input_reg, xmm_scratch);
2723
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002724
2725 // Compute Math.floor(value + 0.5).
2726 // Use truncating instruction (OK because input is positive).
2727 __ cvttsd2si(output_reg, Operand(input_reg));
2728
2729 // Overflow is signalled with minint.
2730 __ cmp(output_reg, 0x80000000u);
2731 DeoptimizeIf(equal, instr->environment());
danno@chromium.org160a7b02011-04-18 15:51:38 +00002732 __ jmp(&done);
2733
2734 __ bind(&below_half);
2735
2736 // We return 0 for the input range [+0, 0.5[, or [-0.5, 0.5[ if
2737 // we can ignore the difference between a result of -0 and +0.
2738 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2739 // If the sign is positive, we return +0.
2740 __ movmskpd(output_reg, input_reg);
2741 __ test(output_reg, Immediate(1));
2742 DeoptimizeIf(not_zero, instr->environment());
2743 } else {
2744 // If the input is >= -0.5, we return +0.
2745 __ mov(output_reg, Immediate(0xBF000000));
2746 __ movd(xmm_scratch, Operand(output_reg));
2747 __ cvtss2sd(xmm_scratch, xmm_scratch);
2748 __ ucomisd(input_reg, xmm_scratch);
2749 DeoptimizeIf(below, instr->environment());
2750 }
2751 __ Set(output_reg, Immediate(0));
2752 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002753}
2754
2755
2756void LCodeGen::DoMathSqrt(LUnaryMathOperation* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002757 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002758 ASSERT(ToDoubleRegister(instr->result()).is(input_reg));
2759 __ sqrtsd(input_reg, input_reg);
2760}
2761
2762
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002763void LCodeGen::DoMathPowHalf(LUnaryMathOperation* instr) {
2764 XMMRegister xmm_scratch = xmm0;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002765 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002766 ASSERT(ToDoubleRegister(instr->result()).is(input_reg));
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00002767 __ xorpd(xmm_scratch, xmm_scratch);
2768 __ addsd(input_reg, xmm_scratch); // Convert -0 to +0.
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002769 __ sqrtsd(input_reg, input_reg);
2770}
2771
2772
2773void LCodeGen::DoPower(LPower* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002774 LOperand* left = instr->InputAt(0);
2775 LOperand* right = instr->InputAt(1);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002776 DoubleRegister result_reg = ToDoubleRegister(instr->result());
2777 Representation exponent_type = instr->hydrogen()->right()->representation();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002778
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002779 if (exponent_type.IsDouble()) {
2780 // It is safe to use ebx directly since the instruction is marked
2781 // as a call.
2782 __ PrepareCallCFunction(4, ebx);
2783 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2784 __ movdbl(Operand(esp, 1 * kDoubleSize), ToDoubleRegister(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002785 __ CallCFunction(ExternalReference::power_double_double_function(isolate()),
2786 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002787 } else if (exponent_type.IsInteger32()) {
2788 // It is safe to use ebx directly since the instruction is marked
2789 // as a call.
2790 ASSERT(!ToRegister(right).is(ebx));
2791 __ PrepareCallCFunction(4, ebx);
2792 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2793 __ mov(Operand(esp, 1 * kDoubleSize), ToRegister(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002794 __ CallCFunction(ExternalReference::power_double_int_function(isolate()),
2795 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002796 } else {
2797 ASSERT(exponent_type.IsTagged());
2798 CpuFeatures::Scope scope(SSE2);
2799 Register right_reg = ToRegister(right);
2800
2801 Label non_smi, call;
2802 __ test(right_reg, Immediate(kSmiTagMask));
2803 __ j(not_zero, &non_smi);
2804 __ SmiUntag(right_reg);
2805 __ cvtsi2sd(result_reg, Operand(right_reg));
2806 __ jmp(&call);
2807
2808 __ bind(&non_smi);
2809 // It is safe to use ebx directly since the instruction is marked
2810 // as a call.
2811 ASSERT(!right_reg.is(ebx));
2812 __ CmpObjectType(right_reg, HEAP_NUMBER_TYPE , ebx);
2813 DeoptimizeIf(not_equal, instr->environment());
2814 __ movdbl(result_reg, FieldOperand(right_reg, HeapNumber::kValueOffset));
2815
2816 __ bind(&call);
2817 __ PrepareCallCFunction(4, ebx);
2818 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2819 __ movdbl(Operand(esp, 1 * kDoubleSize), result_reg);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002820 __ CallCFunction(ExternalReference::power_double_double_function(isolate()),
2821 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002822 }
2823
2824 // Return value is in st(0) on ia32.
2825 // Store it into the (fixed) result register.
2826 __ sub(Operand(esp), Immediate(kDoubleSize));
2827 __ fstp_d(Operand(esp, 0));
2828 __ movdbl(result_reg, Operand(esp, 0));
2829 __ add(Operand(esp), Immediate(kDoubleSize));
2830}
2831
2832
2833void LCodeGen::DoMathLog(LUnaryMathOperation* instr) {
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002834 ASSERT(instr->InputAt(0)->Equals(instr->result()));
2835 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
2836 NearLabel positive, done, zero, negative;
2837 __ xorpd(xmm0, xmm0);
2838 __ ucomisd(input_reg, xmm0);
2839 __ j(above, &positive);
2840 __ j(equal, &zero);
2841 ExternalReference nan = ExternalReference::address_of_nan();
2842 __ movdbl(input_reg, Operand::StaticVariable(nan));
2843 __ jmp(&done);
2844 __ bind(&zero);
2845 __ push(Immediate(0xFFF00000));
2846 __ push(Immediate(0));
2847 __ movdbl(input_reg, Operand(esp, 0));
2848 __ add(Operand(esp), Immediate(kDoubleSize));
2849 __ jmp(&done);
2850 __ bind(&positive);
2851 __ fldln2();
2852 __ sub(Operand(esp), Immediate(kDoubleSize));
2853 __ movdbl(Operand(esp, 0), input_reg);
2854 __ fld_d(Operand(esp, 0));
2855 __ fyl2x();
2856 __ fstp_d(Operand(esp, 0));
2857 __ movdbl(input_reg, Operand(esp, 0));
2858 __ add(Operand(esp), Immediate(kDoubleSize));
2859 __ bind(&done);
whesse@chromium.org023421e2010-12-21 12:19:12 +00002860}
2861
2862
2863void LCodeGen::DoMathCos(LUnaryMathOperation* instr) {
2864 ASSERT(ToDoubleRegister(instr->result()).is(xmm1));
2865 TranscendentalCacheStub stub(TranscendentalCache::COS,
2866 TranscendentalCacheStub::UNTAGGED);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002867 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
whesse@chromium.org023421e2010-12-21 12:19:12 +00002868}
2869
2870
2871void LCodeGen::DoMathSin(LUnaryMathOperation* instr) {
2872 ASSERT(ToDoubleRegister(instr->result()).is(xmm1));
2873 TranscendentalCacheStub stub(TranscendentalCache::SIN,
2874 TranscendentalCacheStub::UNTAGGED);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002875 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002876}
2877
2878
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002879void LCodeGen::DoUnaryMathOperation(LUnaryMathOperation* instr) {
2880 switch (instr->op()) {
2881 case kMathAbs:
2882 DoMathAbs(instr);
2883 break;
2884 case kMathFloor:
2885 DoMathFloor(instr);
2886 break;
2887 case kMathRound:
2888 DoMathRound(instr);
2889 break;
2890 case kMathSqrt:
2891 DoMathSqrt(instr);
2892 break;
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002893 case kMathPowHalf:
2894 DoMathPowHalf(instr);
2895 break;
whesse@chromium.org023421e2010-12-21 12:19:12 +00002896 case kMathCos:
2897 DoMathCos(instr);
2898 break;
2899 case kMathSin:
2900 DoMathSin(instr);
2901 break;
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002902 case kMathLog:
2903 DoMathLog(instr);
2904 break;
2905
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002906 default:
2907 UNREACHABLE();
2908 }
2909}
2910
2911
danno@chromium.org160a7b02011-04-18 15:51:38 +00002912void LCodeGen::DoInvokeFunction(LInvokeFunction* instr) {
2913 ASSERT(ToRegister(instr->context()).is(esi));
2914 ASSERT(ToRegister(instr->function()).is(edi));
2915 ASSERT(instr->HasPointerMap());
2916 ASSERT(instr->HasDeoptimizationEnvironment());
2917 LPointerMap* pointers = instr->pointer_map();
2918 LEnvironment* env = instr->deoptimization_environment();
2919 RecordPosition(pointers->position());
2920 RegisterEnvironmentForDeoptimization(env);
2921 SafepointGenerator generator(this, pointers, env->deoptimization_index());
2922 ParameterCount count(instr->arity());
2923 __ InvokeFunction(edi, count, CALL_FUNCTION, &generator);
2924}
2925
2926
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002927void LCodeGen::DoCallKeyed(LCallKeyed* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002928 ASSERT(ToRegister(instr->context()).is(esi));
2929 ASSERT(ToRegister(instr->key()).is(ecx));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002930 ASSERT(ToRegister(instr->result()).is(eax));
2931
2932 int arity = instr->arity();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002933 Handle<Code> ic = isolate()->stub_cache()->
2934 ComputeKeyedCallInitialize(arity, NOT_IN_LOOP);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002935 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002936}
2937
2938
2939void LCodeGen::DoCallNamed(LCallNamed* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002940 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002941 ASSERT(ToRegister(instr->result()).is(eax));
2942
2943 int arity = instr->arity();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002944 Handle<Code> ic = isolate()->stub_cache()->
2945 ComputeCallInitialize(arity, NOT_IN_LOOP);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002946 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002947 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002948}
2949
2950
2951void LCodeGen::DoCallFunction(LCallFunction* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002952 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002953 ASSERT(ToRegister(instr->result()).is(eax));
2954
2955 int arity = instr->arity();
2956 CallFunctionStub stub(arity, NOT_IN_LOOP, RECEIVER_MIGHT_BE_VALUE);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002957 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002958 __ Drop(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002959}
2960
2961
2962void LCodeGen::DoCallGlobal(LCallGlobal* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002963 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002964 ASSERT(ToRegister(instr->result()).is(eax));
2965
2966 int arity = instr->arity();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002967 Handle<Code> ic = isolate()->stub_cache()->
2968 ComputeCallInitialize(arity, NOT_IN_LOOP);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002969 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002970 CallCode(ic, RelocInfo::CODE_TARGET_CONTEXT, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002971}
2972
2973
2974void LCodeGen::DoCallKnownGlobal(LCallKnownGlobal* instr) {
2975 ASSERT(ToRegister(instr->result()).is(eax));
2976 __ mov(edi, instr->target());
2977 CallKnownFunction(instr->target(), instr->arity(), instr);
2978}
2979
2980
2981void LCodeGen::DoCallNew(LCallNew* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002982 ASSERT(ToRegister(instr->context()).is(esi));
2983 ASSERT(ToRegister(instr->constructor()).is(edi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002984 ASSERT(ToRegister(instr->result()).is(eax));
2985
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002986 Handle<Code> builtin = isolate()->builtins()->JSConstructCall();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002987 __ Set(eax, Immediate(instr->arity()));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002988 CallCode(builtin, RelocInfo::CONSTRUCT_CALL, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002989}
2990
2991
2992void LCodeGen::DoCallRuntime(LCallRuntime* instr) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002993 CallRuntime(instr->function(), instr->arity(), instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002994}
2995
2996
2997void LCodeGen::DoStoreNamedField(LStoreNamedField* instr) {
2998 Register object = ToRegister(instr->object());
2999 Register value = ToRegister(instr->value());
3000 int offset = instr->offset();
3001
3002 if (!instr->transition().is_null()) {
3003 __ mov(FieldOperand(object, HeapObject::kMapOffset), instr->transition());
3004 }
3005
3006 // Do the store.
3007 if (instr->is_in_object()) {
3008 __ mov(FieldOperand(object, offset), value);
3009 if (instr->needs_write_barrier()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003010 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003011 // Update the write barrier for the object for in-object properties.
3012 __ RecordWrite(object, offset, value, temp);
3013 }
3014 } else {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003015 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003016 __ mov(temp, FieldOperand(object, JSObject::kPropertiesOffset));
3017 __ mov(FieldOperand(temp, offset), value);
3018 if (instr->needs_write_barrier()) {
3019 // Update the write barrier for the properties array.
3020 // object is used as a scratch register.
3021 __ RecordWrite(temp, offset, value, object);
3022 }
3023 }
3024}
3025
3026
3027void LCodeGen::DoStoreNamedGeneric(LStoreNamedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003028 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003029 ASSERT(ToRegister(instr->object()).is(edx));
3030 ASSERT(ToRegister(instr->value()).is(eax));
3031
3032 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003033 Handle<Code> ic = instr->strict_mode()
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003034 ? isolate()->builtins()->StoreIC_Initialize_Strict()
3035 : isolate()->builtins()->StoreIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003036 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003037}
3038
3039
3040void LCodeGen::DoBoundsCheck(LBoundsCheck* instr) {
3041 __ cmp(ToRegister(instr->index()), ToOperand(instr->length()));
3042 DeoptimizeIf(above_equal, instr->environment());
3043}
3044
3045
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003046void LCodeGen::DoStoreKeyedSpecializedArrayElement(
3047 LStoreKeyedSpecializedArrayElement* instr) {
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003048 Register external_pointer = ToRegister(instr->external_pointer());
3049 Register key = ToRegister(instr->key());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003050 ExternalArrayType array_type = instr->array_type();
3051 if (array_type == kExternalFloatArray) {
3052 __ cvtsd2ss(xmm0, ToDoubleRegister(instr->value()));
3053 __ movss(Operand(external_pointer, key, times_4, 0), xmm0);
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00003054 } else if (array_type == kExternalDoubleArray) {
3055 __ movdbl(Operand(external_pointer, key, times_8, 0),
3056 ToDoubleRegister(instr->value()));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003057 } else {
3058 Register value = ToRegister(instr->value());
3059 switch (array_type) {
3060 case kExternalPixelArray: {
3061 // Clamp the value to [0..255].
3062 Register temp = ToRegister(instr->TempAt(0));
3063 // The dec_b below requires that the clamped value is in a byte
3064 // register. eax is an arbitrary choice to satisfy this requirement, we
3065 // hinted the register allocator to give us eax when building the
3066 // instruction.
3067 ASSERT(temp.is(eax));
3068 __ mov(temp, ToRegister(instr->value()));
3069 NearLabel done;
3070 __ test(temp, Immediate(0xFFFFFF00));
3071 __ j(zero, &done);
3072 __ setcc(negative, temp); // 1 if negative, 0 if positive.
3073 __ dec_b(temp); // 0 if negative, 255 if positive.
3074 __ bind(&done);
3075 __ mov_b(Operand(external_pointer, key, times_1, 0), temp);
3076 break;
3077 }
3078 case kExternalByteArray:
3079 case kExternalUnsignedByteArray:
3080 __ mov_b(Operand(external_pointer, key, times_1, 0), value);
3081 break;
3082 case kExternalShortArray:
3083 case kExternalUnsignedShortArray:
3084 __ mov_w(Operand(external_pointer, key, times_2, 0), value);
3085 break;
3086 case kExternalIntArray:
3087 case kExternalUnsignedIntArray:
3088 __ mov(Operand(external_pointer, key, times_4, 0), value);
3089 break;
3090 case kExternalFloatArray:
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00003091 case kExternalDoubleArray:
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003092 UNREACHABLE();
3093 break;
3094 }
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003095 }
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003096}
3097
3098
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003099void LCodeGen::DoStoreKeyedFastElement(LStoreKeyedFastElement* instr) {
3100 Register value = ToRegister(instr->value());
3101 Register elements = ToRegister(instr->object());
3102 Register key = instr->key()->IsRegister() ? ToRegister(instr->key()) : no_reg;
3103
3104 // Do the store.
3105 if (instr->key()->IsConstantOperand()) {
3106 ASSERT(!instr->hydrogen()->NeedsWriteBarrier());
3107 LConstantOperand* const_operand = LConstantOperand::cast(instr->key());
3108 int offset =
3109 ToInteger32(const_operand) * kPointerSize + FixedArray::kHeaderSize;
3110 __ mov(FieldOperand(elements, offset), value);
3111 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003112 __ mov(FieldOperand(elements,
3113 key,
3114 times_pointer_size,
3115 FixedArray::kHeaderSize),
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003116 value);
3117 }
3118
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003119 if (instr->hydrogen()->NeedsWriteBarrier()) {
3120 // Compute address of modified element and store it into key register.
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003121 __ lea(key,
3122 FieldOperand(elements,
3123 key,
3124 times_pointer_size,
3125 FixedArray::kHeaderSize));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003126 __ RecordWrite(elements, key, value);
3127 }
3128}
3129
3130
3131void LCodeGen::DoStoreKeyedGeneric(LStoreKeyedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003132 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003133 ASSERT(ToRegister(instr->object()).is(edx));
3134 ASSERT(ToRegister(instr->key()).is(ecx));
3135 ASSERT(ToRegister(instr->value()).is(eax));
3136
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003137 Handle<Code> ic = instr->strict_mode()
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003138 ? isolate()->builtins()->KeyedStoreIC_Initialize_Strict()
3139 : isolate()->builtins()->KeyedStoreIC_Initialize();
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003140 CallCode(ic, RelocInfo::CODE_TARGET, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003141}
3142
3143
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003144void LCodeGen::DoStringCharCodeAt(LStringCharCodeAt* instr) {
3145 class DeferredStringCharCodeAt: public LDeferredCode {
3146 public:
3147 DeferredStringCharCodeAt(LCodeGen* codegen, LStringCharCodeAt* instr)
3148 : LDeferredCode(codegen), instr_(instr) { }
3149 virtual void Generate() { codegen()->DoDeferredStringCharCodeAt(instr_); }
3150 private:
3151 LStringCharCodeAt* instr_;
3152 };
3153
3154 Register string = ToRegister(instr->string());
3155 Register index = no_reg;
3156 int const_index = -1;
3157 if (instr->index()->IsConstantOperand()) {
3158 const_index = ToInteger32(LConstantOperand::cast(instr->index()));
3159 STATIC_ASSERT(String::kMaxLength <= Smi::kMaxValue);
3160 if (!Smi::IsValid(const_index)) {
3161 // Guaranteed to be out of bounds because of the assert above.
3162 // So the bounds check that must dominate this instruction must
3163 // have deoptimized already.
3164 if (FLAG_debug_code) {
3165 __ Abort("StringCharCodeAt: out of bounds index.");
3166 }
3167 // No code needs to be generated.
3168 return;
3169 }
3170 } else {
3171 index = ToRegister(instr->index());
3172 }
3173 Register result = ToRegister(instr->result());
3174
3175 DeferredStringCharCodeAt* deferred =
3176 new DeferredStringCharCodeAt(this, instr);
3177
3178 NearLabel flat_string, ascii_string, done;
3179
3180 // Fetch the instance type of the receiver into result register.
3181 __ mov(result, FieldOperand(string, HeapObject::kMapOffset));
3182 __ movzx_b(result, FieldOperand(result, Map::kInstanceTypeOffset));
3183
3184 // We need special handling for non-flat strings.
3185 STATIC_ASSERT(kSeqStringTag == 0);
3186 __ test(result, Immediate(kStringRepresentationMask));
3187 __ j(zero, &flat_string);
3188
3189 // Handle non-flat strings.
3190 __ test(result, Immediate(kIsConsStringMask));
3191 __ j(zero, deferred->entry());
3192
3193 // ConsString.
3194 // Check whether the right hand side is the empty string (i.e. if
3195 // this is really a flat string in a cons string). If that is not
3196 // the case we would rather go to the runtime system now to flatten
3197 // the string.
3198 __ cmp(FieldOperand(string, ConsString::kSecondOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003199 Immediate(factory()->empty_string()));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003200 __ j(not_equal, deferred->entry());
3201 // Get the first of the two strings and load its instance type.
3202 __ mov(string, FieldOperand(string, ConsString::kFirstOffset));
3203 __ mov(result, FieldOperand(string, HeapObject::kMapOffset));
3204 __ movzx_b(result, FieldOperand(result, Map::kInstanceTypeOffset));
3205 // If the first cons component is also non-flat, then go to runtime.
3206 STATIC_ASSERT(kSeqStringTag == 0);
3207 __ test(result, Immediate(kStringRepresentationMask));
3208 __ j(not_zero, deferred->entry());
3209
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003210 // Check for ASCII or two-byte string.
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003211 __ bind(&flat_string);
3212 STATIC_ASSERT(kAsciiStringTag != 0);
3213 __ test(result, Immediate(kStringEncodingMask));
3214 __ j(not_zero, &ascii_string);
3215
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003216 // Two-byte string.
3217 // Load the two-byte character code into the result register.
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003218 STATIC_ASSERT(kSmiTag == 0 && kSmiTagSize == 1);
3219 if (instr->index()->IsConstantOperand()) {
3220 __ movzx_w(result,
3221 FieldOperand(string,
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003222 SeqTwoByteString::kHeaderSize +
3223 (kUC16Size * const_index)));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003224 } else {
3225 __ movzx_w(result, FieldOperand(string,
3226 index,
3227 times_2,
3228 SeqTwoByteString::kHeaderSize));
3229 }
3230 __ jmp(&done);
3231
3232 // ASCII string.
3233 // Load the byte into the result register.
3234 __ bind(&ascii_string);
3235 if (instr->index()->IsConstantOperand()) {
3236 __ movzx_b(result, FieldOperand(string,
3237 SeqAsciiString::kHeaderSize + const_index));
3238 } else {
3239 __ movzx_b(result, FieldOperand(string,
3240 index,
3241 times_1,
3242 SeqAsciiString::kHeaderSize));
3243 }
3244 __ bind(&done);
3245 __ bind(deferred->exit());
3246}
3247
3248
3249void LCodeGen::DoDeferredStringCharCodeAt(LStringCharCodeAt* instr) {
3250 Register string = ToRegister(instr->string());
3251 Register result = ToRegister(instr->result());
3252
3253 // TODO(3095996): Get rid of this. For now, we need to make the
3254 // result register contain a valid pointer because it is already
3255 // contained in the register pointer map.
3256 __ Set(result, Immediate(0));
3257
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003258 PushSafepointRegistersScope scope(this);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003259 __ push(string);
3260 // Push the index as a smi. This is safe because of the checks in
3261 // DoStringCharCodeAt above.
3262 STATIC_ASSERT(String::kMaxLength <= Smi::kMaxValue);
3263 if (instr->index()->IsConstantOperand()) {
3264 int const_index = ToInteger32(LConstantOperand::cast(instr->index()));
3265 __ push(Immediate(Smi::FromInt(const_index)));
3266 } else {
3267 Register index = ToRegister(instr->index());
3268 __ SmiTag(index);
3269 __ push(index);
3270 }
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003271 CallRuntimeFromDeferred(Runtime::kStringCharCodeAt, 2, instr);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003272 if (FLAG_debug_code) {
3273 __ AbortIfNotSmi(eax);
3274 }
3275 __ SmiUntag(eax);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003276 __ StoreToSafepointRegisterSlot(result, eax);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003277}
3278
3279
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003280void LCodeGen::DoStringCharFromCode(LStringCharFromCode* instr) {
3281 class DeferredStringCharFromCode: public LDeferredCode {
3282 public:
3283 DeferredStringCharFromCode(LCodeGen* codegen, LStringCharFromCode* instr)
3284 : LDeferredCode(codegen), instr_(instr) { }
3285 virtual void Generate() { codegen()->DoDeferredStringCharFromCode(instr_); }
3286 private:
3287 LStringCharFromCode* instr_;
3288 };
3289
3290 DeferredStringCharFromCode* deferred =
3291 new DeferredStringCharFromCode(this, instr);
3292
3293 ASSERT(instr->hydrogen()->value()->representation().IsInteger32());
3294 Register char_code = ToRegister(instr->char_code());
3295 Register result = ToRegister(instr->result());
3296 ASSERT(!char_code.is(result));
3297
3298 __ cmp(char_code, String::kMaxAsciiCharCode);
3299 __ j(above, deferred->entry());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003300 __ Set(result, Immediate(factory()->single_character_string_cache()));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003301 __ mov(result, FieldOperand(result,
3302 char_code, times_pointer_size,
3303 FixedArray::kHeaderSize));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003304 __ cmp(result, factory()->undefined_value());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003305 __ j(equal, deferred->entry());
3306 __ bind(deferred->exit());
3307}
3308
3309
3310void LCodeGen::DoDeferredStringCharFromCode(LStringCharFromCode* instr) {
3311 Register char_code = ToRegister(instr->char_code());
3312 Register result = ToRegister(instr->result());
3313
3314 // TODO(3095996): Get rid of this. For now, we need to make the
3315 // result register contain a valid pointer because it is already
3316 // contained in the register pointer map.
3317 __ Set(result, Immediate(0));
3318
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003319 PushSafepointRegistersScope scope(this);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003320 __ SmiTag(char_code);
3321 __ push(char_code);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003322 CallRuntimeFromDeferred(Runtime::kCharFromCode, 1, instr);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003323 __ StoreToSafepointRegisterSlot(result, eax);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003324}
3325
3326
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003327void LCodeGen::DoStringLength(LStringLength* instr) {
3328 Register string = ToRegister(instr->string());
3329 Register result = ToRegister(instr->result());
3330 __ mov(result, FieldOperand(string, String::kLengthOffset));
3331}
3332
3333
danno@chromium.org160a7b02011-04-18 15:51:38 +00003334void LCodeGen::DoStringAdd(LStringAdd* instr) {
3335 if (instr->left()->IsConstantOperand()) {
3336 __ push(ToImmediate(instr->left()));
3337 } else {
3338 __ push(ToOperand(instr->left()));
3339 }
3340 if (instr->right()->IsConstantOperand()) {
3341 __ push(ToImmediate(instr->right()));
3342 } else {
3343 __ push(ToOperand(instr->right()));
3344 }
3345 StringAddStub stub(NO_STRING_CHECK_IN_STUB);
3346 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
3347}
3348
3349
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003350void LCodeGen::DoInteger32ToDouble(LInteger32ToDouble* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003351 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003352 ASSERT(input->IsRegister() || input->IsStackSlot());
3353 LOperand* output = instr->result();
3354 ASSERT(output->IsDoubleRegister());
3355 __ cvtsi2sd(ToDoubleRegister(output), ToOperand(input));
3356}
3357
3358
3359void LCodeGen::DoNumberTagI(LNumberTagI* instr) {
3360 class DeferredNumberTagI: public LDeferredCode {
3361 public:
3362 DeferredNumberTagI(LCodeGen* codegen, LNumberTagI* instr)
3363 : LDeferredCode(codegen), instr_(instr) { }
3364 virtual void Generate() { codegen()->DoDeferredNumberTagI(instr_); }
3365 private:
3366 LNumberTagI* instr_;
3367 };
3368
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003369 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003370 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3371 Register reg = ToRegister(input);
3372
3373 DeferredNumberTagI* deferred = new DeferredNumberTagI(this, instr);
3374 __ SmiTag(reg);
3375 __ j(overflow, deferred->entry());
3376 __ bind(deferred->exit());
3377}
3378
3379
3380void LCodeGen::DoDeferredNumberTagI(LNumberTagI* instr) {
3381 Label slow;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003382 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003383 Register tmp = reg.is(eax) ? ecx : eax;
3384
3385 // Preserve the value of all registers.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003386 PushSafepointRegistersScope scope(this);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003387
3388 // There was overflow, so bits 30 and 31 of the original integer
3389 // disagree. Try to allocate a heap number in new space and store
3390 // the value in there. If that fails, call the runtime system.
3391 NearLabel done;
3392 __ SmiUntag(reg);
3393 __ xor_(reg, 0x80000000);
3394 __ cvtsi2sd(xmm0, Operand(reg));
3395 if (FLAG_inline_new) {
3396 __ AllocateHeapNumber(reg, tmp, no_reg, &slow);
3397 __ jmp(&done);
3398 }
3399
3400 // Slow case: Call the runtime system to do the number allocation.
3401 __ bind(&slow);
3402
3403 // TODO(3095996): Put a valid pointer value in the stack slot where the result
3404 // register is stored, as this register is in the pointer map, but contains an
3405 // integer value.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003406 __ StoreToSafepointRegisterSlot(reg, Immediate(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003407
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003408 CallRuntimeFromDeferred(Runtime::kAllocateHeapNumber, 0, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003409 if (!reg.is(eax)) __ mov(reg, eax);
3410
3411 // Done. Put the value in xmm0 into the value of the allocated heap
3412 // number.
3413 __ bind(&done);
3414 __ movdbl(FieldOperand(reg, HeapNumber::kValueOffset), xmm0);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003415 __ StoreToSafepointRegisterSlot(reg, reg);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003416}
3417
3418
3419void LCodeGen::DoNumberTagD(LNumberTagD* instr) {
3420 class DeferredNumberTagD: public LDeferredCode {
3421 public:
3422 DeferredNumberTagD(LCodeGen* codegen, LNumberTagD* instr)
3423 : LDeferredCode(codegen), instr_(instr) { }
3424 virtual void Generate() { codegen()->DoDeferredNumberTagD(instr_); }
3425 private:
3426 LNumberTagD* instr_;
3427 };
3428
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003429 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003430 Register reg = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003431 Register tmp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003432
3433 DeferredNumberTagD* deferred = new DeferredNumberTagD(this, instr);
3434 if (FLAG_inline_new) {
3435 __ AllocateHeapNumber(reg, tmp, no_reg, deferred->entry());
3436 } else {
3437 __ jmp(deferred->entry());
3438 }
3439 __ bind(deferred->exit());
3440 __ movdbl(FieldOperand(reg, HeapNumber::kValueOffset), input_reg);
3441}
3442
3443
3444void LCodeGen::DoDeferredNumberTagD(LNumberTagD* instr) {
3445 // TODO(3095996): Get rid of this. For now, we need to make the
3446 // result register contain a valid pointer because it is already
3447 // contained in the register pointer map.
3448 Register reg = ToRegister(instr->result());
3449 __ Set(reg, Immediate(0));
3450
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003451 PushSafepointRegistersScope scope(this);
3452 CallRuntimeFromDeferred(Runtime::kAllocateHeapNumber, 0, instr);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003453 __ StoreToSafepointRegisterSlot(reg, eax);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003454}
3455
3456
3457void LCodeGen::DoSmiTag(LSmiTag* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003458 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003459 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3460 ASSERT(!instr->hydrogen_value()->CheckFlag(HValue::kCanOverflow));
3461 __ SmiTag(ToRegister(input));
3462}
3463
3464
3465void LCodeGen::DoSmiUntag(LSmiUntag* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003466 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003467 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3468 if (instr->needs_check()) {
3469 __ test(ToRegister(input), Immediate(kSmiTagMask));
3470 DeoptimizeIf(not_zero, instr->environment());
3471 }
3472 __ SmiUntag(ToRegister(input));
3473}
3474
3475
3476void LCodeGen::EmitNumberUntagD(Register input_reg,
3477 XMMRegister result_reg,
3478 LEnvironment* env) {
3479 NearLabel load_smi, heap_number, done;
3480
3481 // Smi check.
3482 __ test(input_reg, Immediate(kSmiTagMask));
3483 __ j(zero, &load_smi, not_taken);
3484
3485 // Heap number map check.
3486 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003487 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003488 __ j(equal, &heap_number);
3489
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003490 __ cmp(input_reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003491 DeoptimizeIf(not_equal, env);
3492
3493 // Convert undefined to NaN.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003494 ExternalReference nan = ExternalReference::address_of_nan();
3495 __ movdbl(result_reg, Operand::StaticVariable(nan));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003496 __ jmp(&done);
3497
3498 // Heap number to XMM conversion.
3499 __ bind(&heap_number);
3500 __ movdbl(result_reg, FieldOperand(input_reg, HeapNumber::kValueOffset));
3501 __ jmp(&done);
3502
3503 // Smi to XMM conversion
3504 __ bind(&load_smi);
3505 __ SmiUntag(input_reg); // Untag smi before converting to float.
3506 __ cvtsi2sd(result_reg, Operand(input_reg));
3507 __ SmiTag(input_reg); // Retag smi.
3508 __ bind(&done);
3509}
3510
3511
3512class DeferredTaggedToI: public LDeferredCode {
3513 public:
3514 DeferredTaggedToI(LCodeGen* codegen, LTaggedToI* instr)
3515 : LDeferredCode(codegen), instr_(instr) { }
3516 virtual void Generate() { codegen()->DoDeferredTaggedToI(instr_); }
3517 private:
3518 LTaggedToI* instr_;
3519};
3520
3521
3522void LCodeGen::DoDeferredTaggedToI(LTaggedToI* instr) {
3523 NearLabel done, heap_number;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003524 Register input_reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003525
3526 // Heap number map check.
3527 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003528 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003529
3530 if (instr->truncating()) {
3531 __ j(equal, &heap_number);
3532 // Check for undefined. Undefined is converted to zero for truncating
3533 // conversions.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003534 __ cmp(input_reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003535 DeoptimizeIf(not_equal, instr->environment());
3536 __ mov(input_reg, 0);
3537 __ jmp(&done);
3538
3539 __ bind(&heap_number);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00003540 if (CpuFeatures::IsSupported(SSE3)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003541 CpuFeatures::Scope scope(SSE3);
3542 NearLabel convert;
3543 // Use more powerful conversion when sse3 is available.
3544 // Load x87 register with heap number.
3545 __ fld_d(FieldOperand(input_reg, HeapNumber::kValueOffset));
3546 // Get exponent alone and check for too-big exponent.
3547 __ mov(input_reg, FieldOperand(input_reg, HeapNumber::kExponentOffset));
3548 __ and_(input_reg, HeapNumber::kExponentMask);
3549 const uint32_t kTooBigExponent =
3550 (HeapNumber::kExponentBias + 63) << HeapNumber::kExponentShift;
3551 __ cmp(Operand(input_reg), Immediate(kTooBigExponent));
3552 __ j(less, &convert);
3553 // Pop FPU stack before deoptimizing.
3554 __ ffree(0);
3555 __ fincstp();
3556 DeoptimizeIf(no_condition, instr->environment());
3557
3558 // Reserve space for 64 bit answer.
3559 __ bind(&convert);
3560 __ sub(Operand(esp), Immediate(kDoubleSize));
3561 // Do conversion, which cannot fail because we checked the exponent.
3562 __ fisttp_d(Operand(esp, 0));
3563 __ mov(input_reg, Operand(esp, 0)); // Low word of answer is the result.
3564 __ add(Operand(esp), Immediate(kDoubleSize));
3565 } else {
3566 NearLabel deopt;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003567 XMMRegister xmm_temp = ToDoubleRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003568 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3569 __ cvttsd2si(input_reg, Operand(xmm0));
3570 __ cmp(input_reg, 0x80000000u);
3571 __ j(not_equal, &done);
3572 // Check if the input was 0x8000000 (kMinInt).
3573 // If no, then we got an overflow and we deoptimize.
3574 ExternalReference min_int = ExternalReference::address_of_min_int();
3575 __ movdbl(xmm_temp, Operand::StaticVariable(min_int));
3576 __ ucomisd(xmm_temp, xmm0);
3577 DeoptimizeIf(not_equal, instr->environment());
3578 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3579 }
3580 } else {
3581 // Deoptimize if we don't have a heap number.
3582 DeoptimizeIf(not_equal, instr->environment());
3583
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003584 XMMRegister xmm_temp = ToDoubleRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003585 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3586 __ cvttsd2si(input_reg, Operand(xmm0));
3587 __ cvtsi2sd(xmm_temp, Operand(input_reg));
3588 __ ucomisd(xmm0, xmm_temp);
3589 DeoptimizeIf(not_equal, instr->environment());
3590 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3591 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
3592 __ test(input_reg, Operand(input_reg));
3593 __ j(not_zero, &done);
3594 __ movmskpd(input_reg, xmm0);
3595 __ and_(input_reg, 1);
3596 DeoptimizeIf(not_zero, instr->environment());
3597 }
3598 }
3599 __ bind(&done);
3600}
3601
3602
3603void LCodeGen::DoTaggedToI(LTaggedToI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003604 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003605 ASSERT(input->IsRegister());
3606 ASSERT(input->Equals(instr->result()));
3607
3608 Register input_reg = ToRegister(input);
3609
3610 DeferredTaggedToI* deferred = new DeferredTaggedToI(this, instr);
3611
3612 // Smi check.
3613 __ test(input_reg, Immediate(kSmiTagMask));
3614 __ j(not_zero, deferred->entry());
3615
3616 // Smi to int32 conversion
3617 __ SmiUntag(input_reg); // Untag smi.
3618
3619 __ bind(deferred->exit());
3620}
3621
3622
3623void LCodeGen::DoNumberUntagD(LNumberUntagD* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003624 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003625 ASSERT(input->IsRegister());
3626 LOperand* result = instr->result();
3627 ASSERT(result->IsDoubleRegister());
3628
3629 Register input_reg = ToRegister(input);
3630 XMMRegister result_reg = ToDoubleRegister(result);
3631
3632 EmitNumberUntagD(input_reg, result_reg, instr->environment());
3633}
3634
3635
3636void LCodeGen::DoDoubleToI(LDoubleToI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003637 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003638 ASSERT(input->IsDoubleRegister());
3639 LOperand* result = instr->result();
3640 ASSERT(result->IsRegister());
3641
3642 XMMRegister input_reg = ToDoubleRegister(input);
3643 Register result_reg = ToRegister(result);
3644
3645 if (instr->truncating()) {
3646 // Performs a truncating conversion of a floating point number as used by
3647 // the JS bitwise operations.
3648 __ cvttsd2si(result_reg, Operand(input_reg));
3649 __ cmp(result_reg, 0x80000000u);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00003650 if (CpuFeatures::IsSupported(SSE3)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003651 // This will deoptimize if the exponent of the input in out of range.
3652 CpuFeatures::Scope scope(SSE3);
3653 NearLabel convert, done;
3654 __ j(not_equal, &done);
3655 __ sub(Operand(esp), Immediate(kDoubleSize));
3656 __ movdbl(Operand(esp, 0), input_reg);
3657 // Get exponent alone and check for too-big exponent.
3658 __ mov(result_reg, Operand(esp, sizeof(int32_t)));
3659 __ and_(result_reg, HeapNumber::kExponentMask);
3660 const uint32_t kTooBigExponent =
3661 (HeapNumber::kExponentBias + 63) << HeapNumber::kExponentShift;
3662 __ cmp(Operand(result_reg), Immediate(kTooBigExponent));
3663 __ j(less, &convert);
3664 __ add(Operand(esp), Immediate(kDoubleSize));
3665 DeoptimizeIf(no_condition, instr->environment());
3666 __ bind(&convert);
3667 // Do conversion, which cannot fail because we checked the exponent.
3668 __ fld_d(Operand(esp, 0));
3669 __ fisttp_d(Operand(esp, 0));
3670 __ mov(result_reg, Operand(esp, 0)); // Low word of answer is the result.
3671 __ add(Operand(esp), Immediate(kDoubleSize));
3672 __ bind(&done);
3673 } else {
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003674 NearLabel done;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003675 Register temp_reg = ToRegister(instr->TempAt(0));
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003676 XMMRegister xmm_scratch = xmm0;
3677
3678 // If cvttsd2si succeeded, we're done. Otherwise, we attempt
3679 // manual conversion.
3680 __ j(not_equal, &done);
3681
3682 // Get high 32 bits of the input in result_reg and temp_reg.
3683 __ pshufd(xmm_scratch, input_reg, 1);
3684 __ movd(Operand(temp_reg), xmm_scratch);
3685 __ mov(result_reg, temp_reg);
3686
3687 // Prepare negation mask in temp_reg.
3688 __ sar(temp_reg, kBitsPerInt - 1);
3689
3690 // Extract the exponent from result_reg and subtract adjusted
3691 // bias from it. The adjustment is selected in a way such that
3692 // when the difference is zero, the answer is in the low 32 bits
3693 // of the input, otherwise a shift has to be performed.
3694 __ shr(result_reg, HeapNumber::kExponentShift);
3695 __ and_(result_reg,
3696 HeapNumber::kExponentMask >> HeapNumber::kExponentShift);
3697 __ sub(Operand(result_reg),
3698 Immediate(HeapNumber::kExponentBias +
3699 HeapNumber::kExponentBits +
3700 HeapNumber::kMantissaBits));
3701 // Don't handle big (> kMantissaBits + kExponentBits == 63) or
3702 // special exponents.
3703 DeoptimizeIf(greater, instr->environment());
3704
3705 // Zero out the sign and the exponent in the input (by shifting
3706 // it to the left) and restore the implicit mantissa bit,
3707 // i.e. convert the input to unsigned int64 shifted left by
3708 // kExponentBits.
3709 ExternalReference minus_zero = ExternalReference::address_of_minus_zero();
3710 // Minus zero has the most significant bit set and the other
3711 // bits cleared.
3712 __ movdbl(xmm_scratch, Operand::StaticVariable(minus_zero));
3713 __ psllq(input_reg, HeapNumber::kExponentBits);
3714 __ por(input_reg, xmm_scratch);
3715
3716 // Get the amount to shift the input right in xmm_scratch.
3717 __ neg(result_reg);
3718 __ movd(xmm_scratch, Operand(result_reg));
3719
3720 // Shift the input right and extract low 32 bits.
3721 __ psrlq(input_reg, xmm_scratch);
3722 __ movd(Operand(result_reg), input_reg);
3723
3724 // Use the prepared mask in temp_reg to negate the result if necessary.
3725 __ xor_(result_reg, Operand(temp_reg));
3726 __ sub(result_reg, Operand(temp_reg));
3727 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003728 }
3729 } else {
3730 NearLabel done;
3731 __ cvttsd2si(result_reg, Operand(input_reg));
3732 __ cvtsi2sd(xmm0, Operand(result_reg));
3733 __ ucomisd(xmm0, input_reg);
3734 DeoptimizeIf(not_equal, instr->environment());
3735 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3736 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
3737 // The integer converted back is equal to the original. We
3738 // only have to test if we got -0 as an input.
3739 __ test(result_reg, Operand(result_reg));
3740 __ j(not_zero, &done);
3741 __ movmskpd(result_reg, input_reg);
3742 // Bit 0 contains the sign of the double in input_reg.
3743 // If input was positive, we are ok and return 0, otherwise
3744 // deoptimize.
3745 __ and_(result_reg, 1);
3746 DeoptimizeIf(not_zero, instr->environment());
3747 }
3748 __ bind(&done);
3749 }
3750}
3751
3752
3753void LCodeGen::DoCheckSmi(LCheckSmi* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003754 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003755 __ test(ToRegister(input), Immediate(kSmiTagMask));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003756 DeoptimizeIf(not_zero, instr->environment());
3757}
3758
3759
3760void LCodeGen::DoCheckNonSmi(LCheckNonSmi* instr) {
3761 LOperand* input = instr->InputAt(0);
3762 __ test(ToRegister(input), Immediate(kSmiTagMask));
3763 DeoptimizeIf(zero, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003764}
3765
3766
3767void LCodeGen::DoCheckInstanceType(LCheckInstanceType* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003768 Register input = ToRegister(instr->InputAt(0));
3769 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003770 InstanceType first = instr->hydrogen()->first();
3771 InstanceType last = instr->hydrogen()->last();
3772
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003773 __ mov(temp, FieldOperand(input, HeapObject::kMapOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003774
3775 // If there is only one type in the interval check for equality.
3776 if (first == last) {
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003777 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
3778 static_cast<int8_t>(first));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003779 DeoptimizeIf(not_equal, instr->environment());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003780 } else if (first == FIRST_STRING_TYPE && last == LAST_STRING_TYPE) {
3781 // String has a dedicated bit in instance type.
3782 __ test_b(FieldOperand(temp, Map::kInstanceTypeOffset), kIsNotStringMask);
3783 DeoptimizeIf(not_zero, instr->environment());
3784 } else {
3785 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
3786 static_cast<int8_t>(first));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003787 DeoptimizeIf(below, instr->environment());
3788 // Omit check for the last type.
3789 if (last != LAST_TYPE) {
3790 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
3791 static_cast<int8_t>(last));
3792 DeoptimizeIf(above, instr->environment());
3793 }
3794 }
3795}
3796
3797
3798void LCodeGen::DoCheckFunction(LCheckFunction* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003799 ASSERT(instr->InputAt(0)->IsRegister());
3800 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003801 __ cmp(reg, instr->hydrogen()->target());
3802 DeoptimizeIf(not_equal, instr->environment());
3803}
3804
3805
3806void LCodeGen::DoCheckMap(LCheckMap* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003807 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003808 ASSERT(input->IsRegister());
3809 Register reg = ToRegister(input);
3810 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3811 instr->hydrogen()->map());
3812 DeoptimizeIf(not_equal, instr->environment());
3813}
3814
3815
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003816void LCodeGen::LoadHeapObject(Register result, Handle<HeapObject> object) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003817 if (isolate()->heap()->InNewSpace(*object)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003818 Handle<JSGlobalPropertyCell> cell =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003819 isolate()->factory()->NewJSGlobalPropertyCell(object);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003820 __ mov(result, Operand::Cell(cell));
3821 } else {
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003822 __ mov(result, object);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003823 }
3824}
3825
3826
3827void LCodeGen::DoCheckPrototypeMaps(LCheckPrototypeMaps* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003828 Register reg = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003829
3830 Handle<JSObject> holder = instr->holder();
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003831 Handle<JSObject> current_prototype = instr->prototype();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003832
3833 // Load prototype object.
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003834 LoadHeapObject(reg, current_prototype);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003835
3836 // Check prototype maps up to the holder.
3837 while (!current_prototype.is_identical_to(holder)) {
3838 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3839 Handle<Map>(current_prototype->map()));
3840 DeoptimizeIf(not_equal, instr->environment());
3841 current_prototype =
3842 Handle<JSObject>(JSObject::cast(current_prototype->GetPrototype()));
3843 // Load next prototype object.
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003844 LoadHeapObject(reg, current_prototype);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003845 }
3846
3847 // Check the holder map.
3848 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3849 Handle<Map>(current_prototype->map()));
3850 DeoptimizeIf(not_equal, instr->environment());
3851}
3852
3853
3854void LCodeGen::DoArrayLiteral(LArrayLiteral* instr) {
3855 // Setup the parameters to the stub/runtime call.
3856 __ mov(eax, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
3857 __ push(FieldOperand(eax, JSFunction::kLiteralsOffset));
3858 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
3859 __ push(Immediate(instr->hydrogen()->constant_elements()));
3860
3861 // Pick the right runtime function or stub to call.
3862 int length = instr->hydrogen()->length();
3863 if (instr->hydrogen()->IsCopyOnWrite()) {
3864 ASSERT(instr->hydrogen()->depth() == 1);
3865 FastCloneShallowArrayStub::Mode mode =
3866 FastCloneShallowArrayStub::COPY_ON_WRITE_ELEMENTS;
3867 FastCloneShallowArrayStub stub(mode, length);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003868 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003869 } else if (instr->hydrogen()->depth() > 1) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003870 CallRuntime(Runtime::kCreateArrayLiteral, 3, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003871 } else if (length > FastCloneShallowArrayStub::kMaximumClonedLength) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003872 CallRuntime(Runtime::kCreateArrayLiteralShallow, 3, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003873 } else {
3874 FastCloneShallowArrayStub::Mode mode =
3875 FastCloneShallowArrayStub::CLONE_ELEMENTS;
3876 FastCloneShallowArrayStub stub(mode, length);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003877 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003878 }
3879}
3880
3881
3882void LCodeGen::DoObjectLiteral(LObjectLiteral* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003883 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003884 // Setup the parameters to the stub/runtime call.
3885 __ mov(eax, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
3886 __ push(FieldOperand(eax, JSFunction::kLiteralsOffset));
3887 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
3888 __ push(Immediate(instr->hydrogen()->constant_properties()));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003889 int flags = instr->hydrogen()->fast_elements()
3890 ? ObjectLiteral::kFastElements
3891 : ObjectLiteral::kNoFlags;
3892 flags |= instr->hydrogen()->has_function()
3893 ? ObjectLiteral::kHasFunction
3894 : ObjectLiteral::kNoFlags;
3895 __ push(Immediate(Smi::FromInt(flags)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003896
lrn@chromium.org5d00b602011-01-05 09:51:43 +00003897 // Pick the right runtime function to call.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003898 if (instr->hydrogen()->depth() > 1) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003899 CallRuntime(Runtime::kCreateObjectLiteral, 4, instr, CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003900 } else {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003901 CallRuntime(Runtime::kCreateObjectLiteralShallow,
3902 4,
3903 instr,
3904 CONTEXT_ADJUSTED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003905 }
3906}
3907
3908
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003909void LCodeGen::DoToFastProperties(LToFastProperties* instr) {
3910 ASSERT(ToRegister(instr->InputAt(0)).is(eax));
3911 __ push(eax);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003912 CallRuntime(Runtime::kToFastProperties, 1, instr, CONTEXT_ADJUSTED);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003913}
3914
3915
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003916void LCodeGen::DoRegExpLiteral(LRegExpLiteral* instr) {
3917 NearLabel materialized;
3918 // Registers will be used as follows:
3919 // edi = JS function.
3920 // ecx = literals array.
3921 // ebx = regexp literal.
3922 // eax = regexp literal clone.
3923 __ mov(edi, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
3924 __ mov(ecx, FieldOperand(edi, JSFunction::kLiteralsOffset));
3925 int literal_offset = FixedArray::kHeaderSize +
3926 instr->hydrogen()->literal_index() * kPointerSize;
3927 __ mov(ebx, FieldOperand(ecx, literal_offset));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003928 __ cmp(ebx, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003929 __ j(not_equal, &materialized);
3930
3931 // Create regexp literal using runtime function
3932 // Result will be in eax.
3933 __ push(ecx);
3934 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
3935 __ push(Immediate(instr->hydrogen()->pattern()));
3936 __ push(Immediate(instr->hydrogen()->flags()));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003937 CallRuntime(Runtime::kMaterializeRegExpLiteral, 4, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003938 __ mov(ebx, eax);
3939
3940 __ bind(&materialized);
3941 int size = JSRegExp::kSize + JSRegExp::kInObjectFieldCount * kPointerSize;
3942 Label allocated, runtime_allocate;
3943 __ AllocateInNewSpace(size, eax, ecx, edx, &runtime_allocate, TAG_OBJECT);
3944 __ jmp(&allocated);
3945
3946 __ bind(&runtime_allocate);
3947 __ push(ebx);
3948 __ push(Immediate(Smi::FromInt(size)));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003949 CallRuntime(Runtime::kAllocateInNewSpace, 1, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003950 __ pop(ebx);
3951
3952 __ bind(&allocated);
3953 // Copy the content into the newly allocated memory.
3954 // (Unroll copy loop once for better throughput).
3955 for (int i = 0; i < size - kPointerSize; i += 2 * kPointerSize) {
3956 __ mov(edx, FieldOperand(ebx, i));
3957 __ mov(ecx, FieldOperand(ebx, i + kPointerSize));
3958 __ mov(FieldOperand(eax, i), edx);
3959 __ mov(FieldOperand(eax, i + kPointerSize), ecx);
3960 }
3961 if ((size % (2 * kPointerSize)) != 0) {
3962 __ mov(edx, FieldOperand(ebx, size - kPointerSize));
3963 __ mov(FieldOperand(eax, size - kPointerSize), edx);
3964 }
3965}
3966
3967
3968void LCodeGen::DoFunctionLiteral(LFunctionLiteral* instr) {
3969 // Use the fast case closure allocation code that allocates in new
3970 // space for nested functions that don't need literals cloning.
3971 Handle<SharedFunctionInfo> shared_info = instr->shared_info();
ricow@chromium.org83aa5492011-02-07 12:42:56 +00003972 bool pretenure = instr->hydrogen()->pretenure();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003973 if (!pretenure && shared_info->num_literals() == 0) {
3974 FastNewClosureStub stub(
3975 shared_info->strict_mode() ? kStrictMode : kNonStrictMode);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003976 __ push(Immediate(shared_info));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003977 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003978 } else {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003979 __ push(Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003980 __ push(Immediate(shared_info));
3981 __ push(Immediate(pretenure
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003982 ? factory()->true_value()
3983 : factory()->false_value()));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003984 CallRuntime(Runtime::kNewClosure, 3, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003985 }
3986}
3987
3988
3989void LCodeGen::DoTypeof(LTypeof* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003990 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003991 if (input->IsConstantOperand()) {
3992 __ push(ToImmediate(input));
3993 } else {
3994 __ push(ToOperand(input));
3995 }
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003996 CallRuntime(Runtime::kTypeof, 1, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003997}
3998
3999
4000void LCodeGen::DoTypeofIs(LTypeofIs* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004001 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004002 Register result = ToRegister(instr->result());
4003 Label true_label;
4004 Label false_label;
4005 NearLabel done;
4006
4007 Condition final_branch_condition = EmitTypeofIs(&true_label,
4008 &false_label,
4009 input,
4010 instr->type_literal());
4011 __ j(final_branch_condition, &true_label);
4012 __ bind(&false_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004013 __ mov(result, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004014 __ jmp(&done);
4015
4016 __ bind(&true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004017 __ mov(result, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004018
4019 __ bind(&done);
4020}
4021
4022
4023void LCodeGen::DoTypeofIsAndBranch(LTypeofIsAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004024 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004025 int true_block = chunk_->LookupDestination(instr->true_block_id());
4026 int false_block = chunk_->LookupDestination(instr->false_block_id());
4027 Label* true_label = chunk_->GetAssemblyLabel(true_block);
4028 Label* false_label = chunk_->GetAssemblyLabel(false_block);
4029
4030 Condition final_branch_condition = EmitTypeofIs(true_label,
4031 false_label,
4032 input,
4033 instr->type_literal());
4034
4035 EmitBranch(true_block, false_block, final_branch_condition);
4036}
4037
4038
4039Condition LCodeGen::EmitTypeofIs(Label* true_label,
4040 Label* false_label,
4041 Register input,
4042 Handle<String> type_name) {
4043 Condition final_branch_condition = no_condition;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004044 if (type_name->Equals(heap()->number_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004045 __ JumpIfSmi(input, true_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004046 __ cmp(FieldOperand(input, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004047 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004048 final_branch_condition = equal;
4049
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004050 } else if (type_name->Equals(heap()->string_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004051 __ JumpIfSmi(input, false_label);
4052 __ CmpObjectType(input, FIRST_NONSTRING_TYPE, input);
4053 __ j(above_equal, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004054 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4055 1 << Map::kIsUndetectable);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004056 final_branch_condition = zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004057
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004058 } else if (type_name->Equals(heap()->boolean_symbol())) {
4059 __ cmp(input, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004060 __ j(equal, true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004061 __ cmp(input, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004062 final_branch_condition = equal;
4063
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004064 } else if (type_name->Equals(heap()->undefined_symbol())) {
4065 __ cmp(input, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004066 __ j(equal, true_label);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004067 __ JumpIfSmi(input, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004068 // Check for undetectable objects => true.
4069 __ mov(input, FieldOperand(input, HeapObject::kMapOffset));
4070 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4071 1 << Map::kIsUndetectable);
4072 final_branch_condition = not_zero;
4073
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004074 } else if (type_name->Equals(heap()->function_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004075 __ JumpIfSmi(input, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004076 __ CmpObjectType(input, JS_FUNCTION_TYPE, input);
4077 __ j(equal, true_label);
4078 // Regular expressions => 'function' (they are callable).
4079 __ CmpInstanceType(input, JS_REGEXP_TYPE);
4080 final_branch_condition = equal;
4081
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004082 } else if (type_name->Equals(heap()->object_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004083 __ JumpIfSmi(input, false_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004084 __ cmp(input, factory()->null_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004085 __ j(equal, true_label);
4086 // Regular expressions => 'function', not 'object'.
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004087 __ CmpObjectType(input, FIRST_JS_OBJECT_TYPE, input);
4088 __ j(below, false_label);
4089 __ CmpInstanceType(input, FIRST_FUNCTION_CLASS_TYPE);
4090 __ j(above_equal, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004091 // Check for undetectable objects => false.
4092 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4093 1 << Map::kIsUndetectable);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004094 final_branch_condition = zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004095
4096 } else {
4097 final_branch_condition = not_equal;
4098 __ jmp(false_label);
4099 // A dead branch instruction will be generated after this point.
4100 }
4101
4102 return final_branch_condition;
4103}
4104
4105
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004106void LCodeGen::DoIsConstructCall(LIsConstructCall* instr) {
4107 Register result = ToRegister(instr->result());
4108 NearLabel true_label;
4109 NearLabel false_label;
4110 NearLabel done;
4111
4112 EmitIsConstructCall(result);
4113 __ j(equal, &true_label);
4114
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004115 __ mov(result, factory()->false_value());
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004116 __ jmp(&done);
4117
4118 __ bind(&true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004119 __ mov(result, factory()->true_value());
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004120
4121 __ bind(&done);
4122}
4123
4124
4125void LCodeGen::DoIsConstructCallAndBranch(LIsConstructCallAndBranch* instr) {
4126 Register temp = ToRegister(instr->TempAt(0));
4127 int true_block = chunk_->LookupDestination(instr->true_block_id());
4128 int false_block = chunk_->LookupDestination(instr->false_block_id());
4129
4130 EmitIsConstructCall(temp);
4131 EmitBranch(true_block, false_block, equal);
4132}
4133
4134
4135void LCodeGen::EmitIsConstructCall(Register temp) {
4136 // Get the frame pointer for the calling frame.
4137 __ mov(temp, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
4138
4139 // Skip the arguments adaptor frame if it exists.
4140 NearLabel check_frame_marker;
4141 __ cmp(Operand(temp, StandardFrameConstants::kContextOffset),
4142 Immediate(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)));
4143 __ j(not_equal, &check_frame_marker);
4144 __ mov(temp, Operand(temp, StandardFrameConstants::kCallerFPOffset));
4145
4146 // Check the marker in the calling frame.
4147 __ bind(&check_frame_marker);
4148 __ cmp(Operand(temp, StandardFrameConstants::kMarkerOffset),
4149 Immediate(Smi::FromInt(StackFrame::CONSTRUCT)));
4150}
4151
4152
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004153void LCodeGen::DoLazyBailout(LLazyBailout* instr) {
4154 // No code for lazy bailout instruction. Used to capture environment after a
4155 // call for populating the safepoint data with deoptimization data.
4156}
4157
4158
4159void LCodeGen::DoDeoptimize(LDeoptimize* instr) {
4160 DeoptimizeIf(no_condition, instr->environment());
4161}
4162
4163
4164void LCodeGen::DoDeleteProperty(LDeleteProperty* instr) {
4165 LOperand* obj = instr->object();
4166 LOperand* key = instr->key();
4167 __ push(ToOperand(obj));
4168 if (key->IsConstantOperand()) {
4169 __ push(ToImmediate(key));
4170 } else {
4171 __ push(ToOperand(key));
4172 }
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00004173 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
4174 LPointerMap* pointers = instr->pointer_map();
4175 LEnvironment* env = instr->deoptimization_environment();
4176 RecordPosition(pointers->position());
4177 RegisterEnvironmentForDeoptimization(env);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00004178 // Create safepoint generator that will also ensure enough space in the
4179 // reloc info for patching in deoptimization (since this is invoking a
4180 // builtin)
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004181 SafepointGenerator safepoint_generator(this,
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00004182 pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00004183 env->deoptimization_index());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00004184 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00004185 __ push(Immediate(Smi::FromInt(strict_mode_flag())));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004186 __ InvokeBuiltin(Builtins::DELETE, CALL_FUNCTION, &safepoint_generator);
4187}
4188
4189
4190void LCodeGen::DoStackCheck(LStackCheck* instr) {
4191 // Perform stack overflow check.
4192 NearLabel done;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004193 ExternalReference stack_limit =
4194 ExternalReference::address_of_stack_limit(isolate());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004195 __ cmp(esp, Operand::StaticVariable(stack_limit));
4196 __ j(above_equal, &done);
4197
4198 StackCheckStub stub;
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00004199 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr, RESTORE_CONTEXT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004200 __ bind(&done);
4201}
4202
4203
4204void LCodeGen::DoOsrEntry(LOsrEntry* instr) {
4205 // This is a pseudo-instruction that ensures that the environment here is
4206 // properly registered for deoptimization and records the assembler's PC
4207 // offset.
4208 LEnvironment* environment = instr->environment();
4209 environment->SetSpilledRegisters(instr->SpilledRegisterArray(),
4210 instr->SpilledDoubleRegisterArray());
4211
4212 // If the environment were already registered, we would have no way of
4213 // backpatching it with the spill slot operands.
4214 ASSERT(!environment->HasBeenRegistered());
4215 RegisterEnvironmentForDeoptimization(environment);
4216 ASSERT(osr_pc_offset_ == -1);
4217 osr_pc_offset_ = masm()->pc_offset();
4218}
4219
4220
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00004221void LCodeGen::DoIn(LIn* instr) {
4222 LOperand* obj = instr->object();
4223 LOperand* key = instr->key();
4224 if (key->IsConstantOperand()) {
4225 __ push(ToImmediate(key));
4226 } else {
4227 __ push(ToOperand(key));
4228 }
4229 if (obj->IsConstantOperand()) {
4230 __ push(ToImmediate(obj));
4231 } else {
4232 __ push(ToOperand(obj));
4233 }
4234 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
4235 LPointerMap* pointers = instr->pointer_map();
4236 LEnvironment* env = instr->deoptimization_environment();
4237 RecordPosition(pointers->position());
4238 RegisterEnvironmentForDeoptimization(env);
4239 // Create safepoint generator that will also ensure enough space in the
4240 // reloc info for patching in deoptimization (since this is invoking a
4241 // builtin)
4242 SafepointGenerator safepoint_generator(this,
4243 pointers,
4244 env->deoptimization_index());
4245 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
4246 __ InvokeBuiltin(Builtins::IN, CALL_FUNCTION, &safepoint_generator);
4247}
4248
4249
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004250#undef __
4251
4252} } // namespace v8::internal
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00004253
4254#endif // V8_TARGET_ARCH_IA32