blob: 4e3ea98161dd278f177ecf10918fb3262bac2cb2 [file] [log] [blame]
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00001// Copyright 2011 the V8 project authors. All rights reserved.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +000028#include "v8.h"
29
30#if defined(V8_TARGET_ARCH_IA32)
31
kasperl@chromium.orga5551262010-12-07 12:49:48 +000032#include "ia32/lithium-codegen-ia32.h"
33#include "code-stubs.h"
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000034#include "deoptimizer.h"
kasperl@chromium.orga5551262010-12-07 12:49:48 +000035#include "stub-cache.h"
36
37namespace v8 {
38namespace internal {
39
40
kmillikin@chromium.org31b12772011-02-02 16:08:26 +000041// When invoking builtins, we need to record the safepoint in the middle of
42// the invoke instruction sequence generated by the macro assembler.
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +000043class SafepointGenerator : public CallWrapper {
kasperl@chromium.orga5551262010-12-07 12:49:48 +000044 public:
45 SafepointGenerator(LCodeGen* codegen,
46 LPointerMap* pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000047 int deoptimization_index)
kasperl@chromium.orga5551262010-12-07 12:49:48 +000048 : codegen_(codegen),
49 pointers_(pointers),
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000050 deoptimization_index_(deoptimization_index) {}
kasperl@chromium.orga5551262010-12-07 12:49:48 +000051 virtual ~SafepointGenerator() { }
52
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +000053 virtual void BeforeCall(int call_size) const {}
54
55 virtual void AfterCall() const {
kasperl@chromium.orga5551262010-12-07 12:49:48 +000056 codegen_->RecordSafepoint(pointers_, deoptimization_index_);
57 }
58
59 private:
60 LCodeGen* codegen_;
61 LPointerMap* pointers_;
62 int deoptimization_index_;
63};
64
65
66#define __ masm()->
67
68bool LCodeGen::GenerateCode() {
69 HPhase phase("Code generation", chunk());
70 ASSERT(is_unused());
71 status_ = GENERATING;
72 CpuFeatures::Scope scope(SSE2);
73 return GeneratePrologue() &&
74 GenerateBody() &&
75 GenerateDeferredCode() &&
76 GenerateSafepointTable();
77}
78
79
80void LCodeGen::FinishCode(Handle<Code> code) {
81 ASSERT(is_done());
danno@chromium.org160a7b02011-04-18 15:51:38 +000082 code->set_stack_slots(GetStackSlotCount());
ricow@chromium.org83aa5492011-02-07 12:42:56 +000083 code->set_safepoint_table_offset(safepoints_.GetCodeOffset());
kasperl@chromium.orga5551262010-12-07 12:49:48 +000084 PopulateDeoptimizationData(code);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +000085 Deoptimizer::EnsureRelocSpaceForLazyDeoptimization(code);
kasperl@chromium.orga5551262010-12-07 12:49:48 +000086}
87
88
89void LCodeGen::Abort(const char* format, ...) {
90 if (FLAG_trace_bailout) {
kmillikin@chromium.org83e16822011-09-13 08:21:47 +000091 SmartArrayPointer<char> name(
92 info()->shared_info()->DebugName()->ToCString());
karlklose@chromium.org8f806e82011-03-07 14:06:08 +000093 PrintF("Aborting LCodeGen in @\"%s\": ", *name);
kasperl@chromium.orga5551262010-12-07 12:49:48 +000094 va_list arguments;
95 va_start(arguments, format);
96 OS::VPrint(format, arguments);
97 va_end(arguments);
98 PrintF("\n");
99 }
100 status_ = ABORTED;
101}
102
103
104void LCodeGen::Comment(const char* format, ...) {
105 if (!FLAG_code_comments) return;
106 char buffer[4 * KB];
107 StringBuilder builder(buffer, ARRAY_SIZE(buffer));
108 va_list arguments;
109 va_start(arguments, format);
110 builder.AddFormattedList(format, arguments);
111 va_end(arguments);
112
113 // Copy the string before recording it in the assembler to avoid
114 // issues when the stack allocated buffer goes out of scope.
115 size_t length = builder.position();
116 Vector<char> copy = Vector<char>::New(length + 1);
117 memcpy(copy.start(), builder.Finalize(), copy.length());
118 masm()->RecordComment(copy.start());
119}
120
121
122bool LCodeGen::GeneratePrologue() {
123 ASSERT(is_generating());
124
125#ifdef DEBUG
126 if (strlen(FLAG_stop_at) > 0 &&
127 info_->function()->name()->IsEqualTo(CStrVector(FLAG_stop_at))) {
128 __ int3();
129 }
130#endif
131
ricow@chromium.orgd2be9012011-06-01 06:00:58 +0000132 // Strict mode functions and builtins need to replace the receiver
133 // with undefined when called as functions (without an explicit
134 // receiver object). ecx is zero for method calls and non-zero for
135 // function calls.
136 if (info_->is_strict_mode() || info_->is_native()) {
danno@chromium.org40cb8782011-05-25 07:58:50 +0000137 Label ok;
138 __ test(ecx, Operand(ecx));
139 __ j(zero, &ok, Label::kNear);
140 // +1 for return address.
141 int receiver_offset = (scope()->num_parameters() + 1) * kPointerSize;
142 __ mov(Operand(esp, receiver_offset),
143 Immediate(isolate()->factory()->undefined_value()));
144 __ bind(&ok);
145 }
146
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000147 __ push(ebp); // Caller's frame pointer.
148 __ mov(ebp, esp);
149 __ push(esi); // Callee's context.
150 __ push(edi); // Callee's JS function.
151
152 // Reserve space for the stack slots needed by the code.
danno@chromium.org160a7b02011-04-18 15:51:38 +0000153 int slots = GetStackSlotCount();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000154 if (slots > 0) {
155 if (FLAG_debug_code) {
156 __ mov(Operand(eax), Immediate(slots));
157 Label loop;
158 __ bind(&loop);
159 __ push(Immediate(kSlotsZapValue));
160 __ dec(eax);
161 __ j(not_zero, &loop);
162 } else {
163 __ sub(Operand(esp), Immediate(slots * kPointerSize));
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000164#ifdef _MSC_VER
165 // On windows, you may not access the stack more than one page below
166 // the most recently mapped page. To make the allocated area randomly
167 // accessible, we write to each page in turn (the value is irrelevant).
168 const int kPageSize = 4 * KB;
169 for (int offset = slots * kPointerSize - kPageSize;
170 offset > 0;
171 offset -= kPageSize) {
172 __ mov(Operand(esp, offset), eax);
173 }
174#endif
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000175 }
176 }
177
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000178 // Possibly allocate a local context.
179 int heap_slots = scope()->num_heap_slots() - Context::MIN_CONTEXT_SLOTS;
180 if (heap_slots > 0) {
181 Comment(";;; Allocate local context");
182 // Argument to NewContext is the function, which is still in edi.
183 __ push(edi);
184 if (heap_slots <= FastNewContextStub::kMaximumSlots) {
185 FastNewContextStub stub(heap_slots);
186 __ CallStub(&stub);
187 } else {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +0000188 __ CallRuntime(Runtime::kNewFunctionContext, 1);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000189 }
190 RecordSafepoint(Safepoint::kNoDeoptimizationIndex);
191 // Context is returned in both eax and esi. It replaces the context
192 // passed to us. It's saved in the stack and kept live in esi.
193 __ mov(Operand(ebp, StandardFrameConstants::kContextOffset), esi);
194
195 // Copy parameters into context if necessary.
196 int num_parameters = scope()->num_parameters();
197 for (int i = 0; i < num_parameters; i++) {
jkummerow@chromium.org486075a2011-09-07 12:44:28 +0000198 Variable* var = scope()->parameter(i);
199 if (var->IsContextSlot()) {
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000200 int parameter_offset = StandardFrameConstants::kCallerSPOffset +
201 (num_parameters - 1 - i) * kPointerSize;
202 // Load parameter from stack.
203 __ mov(eax, Operand(ebp, parameter_offset));
204 // Store it in the context.
jkummerow@chromium.org486075a2011-09-07 12:44:28 +0000205 int context_offset = Context::SlotOffset(var->index());
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000206 __ mov(Operand(esi, context_offset), eax);
207 // Update the write barrier. This clobbers all involved
208 // registers, so we have to use a third register to avoid
209 // clobbering esi.
210 __ mov(ecx, esi);
211 __ RecordWrite(ecx, context_offset, eax, ebx);
212 }
213 }
214 Comment(";;; End allocate local context");
215 }
216
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000217 // Trace the call.
218 if (FLAG_trace) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000219 // We have not executed any compiled code yet, so esi still holds the
220 // incoming context.
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000221 __ CallRuntime(Runtime::kTraceEnter, 0);
222 }
223 return !is_aborted();
224}
225
226
227bool LCodeGen::GenerateBody() {
228 ASSERT(is_generating());
229 bool emit_instructions = true;
230 for (current_instruction_ = 0;
231 !is_aborted() && current_instruction_ < instructions_->length();
232 current_instruction_++) {
233 LInstruction* instr = instructions_->at(current_instruction_);
234 if (instr->IsLabel()) {
235 LLabel* label = LLabel::cast(instr);
236 emit_instructions = !label->HasReplacement();
237 }
238
239 if (emit_instructions) {
240 Comment(";;; @%d: %s.", current_instruction_, instr->Mnemonic());
241 instr->CompileToNative(this);
242 }
243 }
244 return !is_aborted();
245}
246
247
248LInstruction* LCodeGen::GetNextInstruction() {
249 if (current_instruction_ < instructions_->length() - 1) {
250 return instructions_->at(current_instruction_ + 1);
251 } else {
252 return NULL;
253 }
254}
255
256
257bool LCodeGen::GenerateDeferredCode() {
258 ASSERT(is_generating());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000259 if (deferred_.length() > 0) {
260 for (int i = 0; !is_aborted() && i < deferred_.length(); i++) {
261 LDeferredCode* code = deferred_[i];
262 __ bind(code->entry());
263 code->Generate();
264 __ jmp(code->exit());
265 }
266
267 // Pad code to ensure that the last piece of deferred code have
268 // room for lazy bailout.
269 while ((masm()->pc_offset() - LastSafepointEnd())
270 < Deoptimizer::patch_size()) {
271 __ nop();
272 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000273 }
274
275 // Deferred code is the last part of the instruction sequence. Mark
276 // the generated code as done unless we bailed out.
277 if (!is_aborted()) status_ = DONE;
278 return !is_aborted();
279}
280
281
282bool LCodeGen::GenerateSafepointTable() {
283 ASSERT(is_done());
danno@chromium.org160a7b02011-04-18 15:51:38 +0000284 safepoints_.Emit(masm(), GetStackSlotCount());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000285 return !is_aborted();
286}
287
288
289Register LCodeGen::ToRegister(int index) const {
290 return Register::FromAllocationIndex(index);
291}
292
293
294XMMRegister LCodeGen::ToDoubleRegister(int index) const {
295 return XMMRegister::FromAllocationIndex(index);
296}
297
298
299Register LCodeGen::ToRegister(LOperand* op) const {
300 ASSERT(op->IsRegister());
301 return ToRegister(op->index());
302}
303
304
305XMMRegister LCodeGen::ToDoubleRegister(LOperand* op) const {
306 ASSERT(op->IsDoubleRegister());
307 return ToDoubleRegister(op->index());
308}
309
310
311int LCodeGen::ToInteger32(LConstantOperand* op) const {
312 Handle<Object> value = chunk_->LookupLiteral(op);
313 ASSERT(chunk_->LookupLiteralRepresentation(op).IsInteger32());
314 ASSERT(static_cast<double>(static_cast<int32_t>(value->Number())) ==
315 value->Number());
316 return static_cast<int32_t>(value->Number());
317}
318
319
320Immediate LCodeGen::ToImmediate(LOperand* op) {
321 LConstantOperand* const_op = LConstantOperand::cast(op);
322 Handle<Object> literal = chunk_->LookupLiteral(const_op);
323 Representation r = chunk_->LookupLiteralRepresentation(const_op);
324 if (r.IsInteger32()) {
325 ASSERT(literal->IsNumber());
326 return Immediate(static_cast<int32_t>(literal->Number()));
327 } else if (r.IsDouble()) {
328 Abort("unsupported double immediate");
329 }
330 ASSERT(r.IsTagged());
331 return Immediate(literal);
332}
333
334
335Operand LCodeGen::ToOperand(LOperand* op) const {
336 if (op->IsRegister()) return Operand(ToRegister(op));
337 if (op->IsDoubleRegister()) return Operand(ToDoubleRegister(op));
338 ASSERT(op->IsStackSlot() || op->IsDoubleStackSlot());
339 int index = op->index();
340 if (index >= 0) {
341 // Local or spill slot. Skip the frame pointer, function, and
342 // context in the fixed part of the frame.
343 return Operand(ebp, -(index + 3) * kPointerSize);
344 } else {
345 // Incoming parameter. Skip the return address.
346 return Operand(ebp, -(index - 1) * kPointerSize);
347 }
348}
349
350
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000351Operand LCodeGen::HighOperand(LOperand* op) {
352 ASSERT(op->IsDoubleStackSlot());
353 int index = op->index();
354 int offset = (index >= 0) ? index + 3 : index - 1;
355 return Operand(ebp, -offset * kPointerSize);
356}
357
358
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000359void LCodeGen::WriteTranslation(LEnvironment* environment,
360 Translation* translation) {
361 if (environment == NULL) return;
362
363 // The translation includes one command per value in the environment.
364 int translation_size = environment->values()->length();
365 // The output frame height does not include the parameters.
366 int height = translation_size - environment->parameter_count();
367
368 WriteTranslation(environment->outer(), translation);
369 int closure_id = DefineDeoptimizationLiteral(environment->closure());
370 translation->BeginFrame(environment->ast_id(), closure_id, height);
371 for (int i = 0; i < translation_size; ++i) {
372 LOperand* value = environment->values()->at(i);
373 // spilled_registers_ and spilled_double_registers_ are either
374 // both NULL or both set.
375 if (environment->spilled_registers() != NULL && value != NULL) {
376 if (value->IsRegister() &&
377 environment->spilled_registers()[value->index()] != NULL) {
378 translation->MarkDuplicate();
379 AddToTranslation(translation,
380 environment->spilled_registers()[value->index()],
381 environment->HasTaggedValueAt(i));
382 } else if (
383 value->IsDoubleRegister() &&
384 environment->spilled_double_registers()[value->index()] != NULL) {
385 translation->MarkDuplicate();
386 AddToTranslation(
387 translation,
388 environment->spilled_double_registers()[value->index()],
389 false);
390 }
391 }
392
393 AddToTranslation(translation, value, environment->HasTaggedValueAt(i));
394 }
395}
396
397
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000398void LCodeGen::AddToTranslation(Translation* translation,
399 LOperand* op,
400 bool is_tagged) {
401 if (op == NULL) {
402 // TODO(twuerthinger): Introduce marker operands to indicate that this value
403 // is not present and must be reconstructed from the deoptimizer. Currently
404 // this is only used for the arguments object.
405 translation->StoreArgumentsObject();
406 } else if (op->IsStackSlot()) {
407 if (is_tagged) {
408 translation->StoreStackSlot(op->index());
409 } else {
410 translation->StoreInt32StackSlot(op->index());
411 }
412 } else if (op->IsDoubleStackSlot()) {
413 translation->StoreDoubleStackSlot(op->index());
414 } else if (op->IsArgument()) {
415 ASSERT(is_tagged);
danno@chromium.org160a7b02011-04-18 15:51:38 +0000416 int src_index = GetStackSlotCount() + op->index();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000417 translation->StoreStackSlot(src_index);
418 } else if (op->IsRegister()) {
419 Register reg = ToRegister(op);
420 if (is_tagged) {
421 translation->StoreRegister(reg);
422 } else {
423 translation->StoreInt32Register(reg);
424 }
425 } else if (op->IsDoubleRegister()) {
426 XMMRegister reg = ToDoubleRegister(op);
427 translation->StoreDoubleRegister(reg);
428 } else if (op->IsConstantOperand()) {
429 Handle<Object> literal = chunk()->LookupLiteral(LConstantOperand::cast(op));
430 int src_index = DefineDeoptimizationLiteral(literal);
431 translation->StoreLiteral(src_index);
432 } else {
433 UNREACHABLE();
434 }
435}
436
437
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000438void LCodeGen::CallCodeGeneric(Handle<Code> code,
439 RelocInfo::Mode mode,
440 LInstruction* instr,
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000441 SafepointMode safepoint_mode) {
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000442 ASSERT(instr != NULL);
443 LPointerMap* pointers = instr->pointer_map();
444 RecordPosition(pointers->position());
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000445
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000446 __ call(code, mode);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000447
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000448 RegisterLazyDeoptimization(instr, safepoint_mode);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +0000449
450 // Signal that we don't inline smi code before these stubs in the
451 // optimizing code generator.
danno@chromium.org40cb8782011-05-25 07:58:50 +0000452 if (code->kind() == Code::BINARY_OP_IC ||
ager@chromium.org5f0c45f2010-12-17 08:51:21 +0000453 code->kind() == Code::COMPARE_IC) {
454 __ nop();
455 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000456}
457
458
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000459void LCodeGen::CallCode(Handle<Code> code,
460 RelocInfo::Mode mode,
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000461 LInstruction* instr) {
462 CallCodeGeneric(code, mode, instr, RECORD_SIMPLE_SAFEPOINT);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000463}
464
465
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000466void LCodeGen::CallRuntime(const Runtime::Function* fun,
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000467 int argc,
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000468 LInstruction* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000469 ASSERT(instr != NULL);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +0000470 ASSERT(instr->HasPointerMap());
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000471 LPointerMap* pointers = instr->pointer_map();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000472 RecordPosition(pointers->position());
473
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000474 __ CallRuntime(fun, argc);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +0000475
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000476 RegisterLazyDeoptimization(instr, RECORD_SIMPLE_SAFEPOINT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000477}
478
479
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000480void LCodeGen::CallRuntimeFromDeferred(Runtime::FunctionId id,
481 int argc,
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000482 LInstruction* instr,
483 LOperand* context) {
484 ASSERT(context->IsRegister() || context->IsStackSlot());
485 if (context->IsRegister()) {
486 if (!ToRegister(context).is(esi)) {
487 __ mov(esi, ToRegister(context));
488 }
489 } else {
490 // Context is stack slot.
491 __ mov(esi, ToOperand(context));
492 }
493
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000494 __ CallRuntimeSaveDoubles(id);
495 RecordSafepointWithRegisters(
496 instr->pointer_map(), argc, Safepoint::kNoDeoptimizationIndex);
497}
498
499
500void LCodeGen::RegisterLazyDeoptimization(LInstruction* instr,
501 SafepointMode safepoint_mode) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000502 // Create the environment to bailout to. If the call has side effects
503 // execution has to continue after the call otherwise execution can continue
504 // from a previous bailout point repeating the call.
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000505 LEnvironment* deoptimization_environment;
506 if (instr->HasDeoptimizationEnvironment()) {
507 deoptimization_environment = instr->deoptimization_environment();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000508 } else {
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000509 deoptimization_environment = instr->environment();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000510 }
511
fschneider@chromium.org1df6b472011-01-26 08:23:03 +0000512 RegisterEnvironmentForDeoptimization(deoptimization_environment);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000513 if (safepoint_mode == RECORD_SIMPLE_SAFEPOINT) {
514 RecordSafepoint(instr->pointer_map(),
515 deoptimization_environment->deoptimization_index());
516 } else {
517 ASSERT(safepoint_mode == RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
518 RecordSafepointWithRegisters(
519 instr->pointer_map(),
520 0,
521 deoptimization_environment->deoptimization_index());
522 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000523}
524
525
526void LCodeGen::RegisterEnvironmentForDeoptimization(LEnvironment* environment) {
527 if (!environment->HasBeenRegistered()) {
528 // Physical stack frame layout:
529 // -x ............. -4 0 ..................................... y
530 // [incoming arguments] [spill slots] [pushed outgoing arguments]
531
532 // Layout of the environment:
533 // 0 ..................................................... size-1
534 // [parameters] [locals] [expression stack including arguments]
535
536 // Layout of the translation:
537 // 0 ........................................................ size - 1 + 4
538 // [expression stack including arguments] [locals] [4 words] [parameters]
539 // |>------------ translation_size ------------<|
540
541 int frame_count = 0;
542 for (LEnvironment* e = environment; e != NULL; e = e->outer()) {
543 ++frame_count;
544 }
545 Translation translation(&translations_, frame_count);
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000546 WriteTranslation(environment, &translation);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000547 int deoptimization_index = deoptimizations_.length();
548 environment->Register(deoptimization_index, translation.index());
549 deoptimizations_.Add(environment);
550 }
551}
552
553
554void LCodeGen::DeoptimizeIf(Condition cc, LEnvironment* environment) {
555 RegisterEnvironmentForDeoptimization(environment);
556 ASSERT(environment->HasBeenRegistered());
557 int id = environment->deoptimization_index();
558 Address entry = Deoptimizer::GetDeoptimizationEntry(id, Deoptimizer::EAGER);
559 ASSERT(entry != NULL);
560 if (entry == NULL) {
561 Abort("bailout was not prepared");
562 return;
563 }
564
565 if (FLAG_deopt_every_n_times != 0) {
566 Handle<SharedFunctionInfo> shared(info_->shared_info());
567 Label no_deopt;
568 __ pushfd();
569 __ push(eax);
570 __ push(ebx);
571 __ mov(ebx, shared);
572 __ mov(eax, FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset));
573 __ sub(Operand(eax), Immediate(Smi::FromInt(1)));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000574 __ j(not_zero, &no_deopt, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000575 if (FLAG_trap_on_deopt) __ int3();
576 __ mov(eax, Immediate(Smi::FromInt(FLAG_deopt_every_n_times)));
577 __ mov(FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset), eax);
578 __ pop(ebx);
579 __ pop(eax);
580 __ popfd();
581 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
582
583 __ bind(&no_deopt);
584 __ mov(FieldOperand(ebx, SharedFunctionInfo::kDeoptCounterOffset), eax);
585 __ pop(ebx);
586 __ pop(eax);
587 __ popfd();
588 }
589
590 if (cc == no_condition) {
591 if (FLAG_trap_on_deopt) __ int3();
592 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
593 } else {
594 if (FLAG_trap_on_deopt) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000595 Label done;
596 __ j(NegateCondition(cc), &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000597 __ int3();
598 __ jmp(entry, RelocInfo::RUNTIME_ENTRY);
599 __ bind(&done);
600 } else {
vegorov@chromium.org7304bca2011-05-16 12:14:13 +0000601 __ j(cc, entry, RelocInfo::RUNTIME_ENTRY);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000602 }
603 }
604}
605
606
607void LCodeGen::PopulateDeoptimizationData(Handle<Code> code) {
608 int length = deoptimizations_.length();
609 if (length == 0) return;
610 ASSERT(FLAG_deopt);
611 Handle<DeoptimizationInputData> data =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000612 factory()->NewDeoptimizationInputData(length, TENURED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000613
ager@chromium.org9ee27ae2011-03-02 13:43:26 +0000614 Handle<ByteArray> translations = translations_.CreateByteArray();
615 data->SetTranslationByteArray(*translations);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000616 data->SetInlinedFunctionCount(Smi::FromInt(inlined_function_count_));
617
618 Handle<FixedArray> literals =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000619 factory()->NewFixedArray(deoptimization_literals_.length(), TENURED);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000620 for (int i = 0; i < deoptimization_literals_.length(); i++) {
621 literals->set(i, *deoptimization_literals_[i]);
622 }
623 data->SetLiteralArray(*literals);
624
625 data->SetOsrAstId(Smi::FromInt(info_->osr_ast_id()));
626 data->SetOsrPcOffset(Smi::FromInt(osr_pc_offset_));
627
628 // Populate the deoptimization entries.
629 for (int i = 0; i < length; i++) {
630 LEnvironment* env = deoptimizations_[i];
631 data->SetAstId(i, Smi::FromInt(env->ast_id()));
632 data->SetTranslationIndex(i, Smi::FromInt(env->translation_index()));
633 data->SetArgumentsStackHeight(i,
634 Smi::FromInt(env->arguments_stack_height()));
635 }
636 code->set_deoptimization_data(*data);
637}
638
639
640int LCodeGen::DefineDeoptimizationLiteral(Handle<Object> literal) {
641 int result = deoptimization_literals_.length();
642 for (int i = 0; i < deoptimization_literals_.length(); ++i) {
643 if (deoptimization_literals_[i].is_identical_to(literal)) return i;
644 }
645 deoptimization_literals_.Add(literal);
646 return result;
647}
648
649
650void LCodeGen::PopulateDeoptimizationLiteralsWithInlinedFunctions() {
651 ASSERT(deoptimization_literals_.length() == 0);
652
653 const ZoneList<Handle<JSFunction> >* inlined_closures =
654 chunk()->inlined_closures();
655
656 for (int i = 0, length = inlined_closures->length();
657 i < length;
658 i++) {
659 DefineDeoptimizationLiteral(inlined_closures->at(i));
660 }
661
662 inlined_function_count_ = deoptimization_literals_.length();
663}
664
665
ager@chromium.org378b34e2011-01-28 08:04:38 +0000666void LCodeGen::RecordSafepoint(
667 LPointerMap* pointers,
668 Safepoint::Kind kind,
669 int arguments,
670 int deoptimization_index) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +0000671 ASSERT(kind == expected_safepoint_kind_);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000672 const ZoneList<LOperand*>* operands = pointers->operands();
673 Safepoint safepoint = safepoints_.DefineSafepoint(masm(),
ager@chromium.org378b34e2011-01-28 08:04:38 +0000674 kind, arguments, deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000675 for (int i = 0; i < operands->length(); i++) {
676 LOperand* pointer = operands->at(i);
677 if (pointer->IsStackSlot()) {
678 safepoint.DefinePointerSlot(pointer->index());
ager@chromium.org378b34e2011-01-28 08:04:38 +0000679 } else if (pointer->IsRegister() && (kind & Safepoint::kWithRegisters)) {
680 safepoint.DefinePointerRegister(ToRegister(pointer));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000681 }
682 }
ager@chromium.org378b34e2011-01-28 08:04:38 +0000683}
684
685
686void LCodeGen::RecordSafepoint(LPointerMap* pointers,
687 int deoptimization_index) {
688 RecordSafepoint(pointers, Safepoint::kSimple, 0, deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000689}
690
691
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +0000692void LCodeGen::RecordSafepoint(int deoptimization_index) {
693 LPointerMap empty_pointers(RelocInfo::kNoPosition);
694 RecordSafepoint(&empty_pointers, deoptimization_index);
695}
696
697
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000698void LCodeGen::RecordSafepointWithRegisters(LPointerMap* pointers,
699 int arguments,
700 int deoptimization_index) {
ager@chromium.org378b34e2011-01-28 08:04:38 +0000701 RecordSafepoint(pointers, Safepoint::kWithRegisters, arguments,
702 deoptimization_index);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000703}
704
705
706void LCodeGen::RecordPosition(int position) {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +0000707 if (position == RelocInfo::kNoPosition) return;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000708 masm()->positions_recorder()->RecordPosition(position);
709}
710
711
712void LCodeGen::DoLabel(LLabel* label) {
713 if (label->is_loop_header()) {
714 Comment(";;; B%d - LOOP entry", label->block_id());
715 } else {
716 Comment(";;; B%d", label->block_id());
717 }
718 __ bind(label->label());
719 current_block_ = label->block_id();
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000720 DoGap(label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000721}
722
723
724void LCodeGen::DoParallelMove(LParallelMove* move) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000725 resolver_.Resolve(move);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000726}
727
728
729void LCodeGen::DoGap(LGap* gap) {
730 for (int i = LGap::FIRST_INNER_POSITION;
731 i <= LGap::LAST_INNER_POSITION;
732 i++) {
733 LGap::InnerPosition inner_pos = static_cast<LGap::InnerPosition>(i);
734 LParallelMove* move = gap->GetParallelMove(inner_pos);
735 if (move != NULL) DoParallelMove(move);
736 }
737
738 LInstruction* next = GetNextInstruction();
739 if (next != NULL && next->IsLazyBailout()) {
740 int pc = masm()->pc_offset();
741 safepoints_.SetPcAfterGap(pc);
742 }
743}
744
745
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000746void LCodeGen::DoInstructionGap(LInstructionGap* instr) {
747 DoGap(instr);
748}
749
750
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000751void LCodeGen::DoParameter(LParameter* instr) {
752 // Nothing to do.
753}
754
755
756void LCodeGen::DoCallStub(LCallStub* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +0000757 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000758 ASSERT(ToRegister(instr->result()).is(eax));
759 switch (instr->hydrogen()->major_key()) {
760 case CodeStub::RegExpConstructResult: {
761 RegExpConstructResultStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000762 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000763 break;
764 }
765 case CodeStub::RegExpExec: {
766 RegExpExecStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000767 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000768 break;
769 }
770 case CodeStub::SubString: {
771 SubStringStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000772 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000773 break;
774 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000775 case CodeStub::NumberToString: {
776 NumberToStringStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000777 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000778 break;
779 }
780 case CodeStub::StringAdd: {
781 StringAddStub stub(NO_STRING_ADD_FLAGS);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000782 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000783 break;
784 }
785 case CodeStub::StringCompare: {
786 StringCompareStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000787 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000788 break;
789 }
790 case CodeStub::TranscendentalCache: {
whesse@chromium.org023421e2010-12-21 12:19:12 +0000791 TranscendentalCacheStub stub(instr->transcendental_type(),
792 TranscendentalCacheStub::TAGGED);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +0000793 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000794 break;
795 }
796 default:
797 UNREACHABLE();
798 }
799}
800
801
802void LCodeGen::DoUnknownOSRValue(LUnknownOSRValue* instr) {
803 // Nothing to do.
804}
805
806
807void LCodeGen::DoModI(LModI* instr) {
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000808 if (instr->hydrogen()->HasPowerOf2Divisor()) {
809 Register dividend = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000810
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000811 int32_t divisor =
812 HConstant::cast(instr->hydrogen()->right())->Integer32Value();
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000813
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000814 if (divisor < 0) divisor = -divisor;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000815
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000816 Label positive_dividend, done;
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000817 __ test(dividend, Operand(dividend));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000818 __ j(not_sign, &positive_dividend, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000819 __ neg(dividend);
820 __ and_(dividend, divisor - 1);
821 __ neg(dividend);
822 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000823 __ j(not_zero, &done, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000824 DeoptimizeIf(no_condition, instr->environment());
whesse@chromium.org7b260152011-06-20 15:33:18 +0000825 } else {
826 __ jmp(&done, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000827 }
828 __ bind(&positive_dividend);
829 __ and_(dividend, divisor - 1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000830 __ bind(&done);
831 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000832 Label done, remainder_eq_dividend, slow, do_subtraction, both_positive;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000833 Register left_reg = ToRegister(instr->InputAt(0));
834 Register right_reg = ToRegister(instr->InputAt(1));
835 Register result_reg = ToRegister(instr->result());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000836
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000837 ASSERT(left_reg.is(eax));
838 ASSERT(result_reg.is(edx));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000839 ASSERT(!right_reg.is(eax));
840 ASSERT(!right_reg.is(edx));
841
842 // Check for x % 0.
843 if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000844 __ test(right_reg, Operand(right_reg));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000845 DeoptimizeIf(zero, instr->environment());
846 }
847
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000848 __ test(left_reg, Operand(left_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000849 __ j(zero, &remainder_eq_dividend, Label::kNear);
850 __ j(sign, &slow, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000851
852 __ test(right_reg, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000853 __ j(not_sign, &both_positive, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000854 // The sign of the divisor doesn't matter.
855 __ neg(right_reg);
856
857 __ bind(&both_positive);
858 // If the dividend is smaller than the nonnegative
859 // divisor, the dividend is the result.
860 __ cmp(left_reg, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000861 __ j(less, &remainder_eq_dividend, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000862
863 // Check if the divisor is a PowerOfTwo integer.
864 Register scratch = ToRegister(instr->TempAt(0));
865 __ mov(scratch, right_reg);
866 __ sub(Operand(scratch), Immediate(1));
867 __ test(scratch, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000868 __ j(not_zero, &do_subtraction, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000869 __ and_(left_reg, Operand(scratch));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000870 __ jmp(&remainder_eq_dividend, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000871
872 __ bind(&do_subtraction);
873 const int kUnfolds = 3;
874 // Try a few subtractions of the dividend.
875 __ mov(scratch, left_reg);
876 for (int i = 0; i < kUnfolds; i++) {
877 // Reduce the dividend by the divisor.
878 __ sub(left_reg, Operand(right_reg));
879 // Check if the dividend is less than the divisor.
880 __ cmp(left_reg, Operand(right_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000881 __ j(less, &remainder_eq_dividend, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000882 }
883 __ mov(left_reg, scratch);
884
885 // Slow case, using idiv instruction.
886 __ bind(&slow);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000887 // Sign extend to edx.
888 __ cdq();
889
890 // Check for (0 % -x) that will produce negative zero.
891 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000892 Label positive_left;
893 Label done;
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000894 __ test(left_reg, Operand(left_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000895 __ j(not_sign, &positive_left, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000896 __ idiv(right_reg);
897
898 // Test the remainder for 0, because then the result would be -0.
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000899 __ test(result_reg, Operand(result_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000900 __ j(not_zero, &done, Label::kNear);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +0000901
902 DeoptimizeIf(no_condition, instr->environment());
903 __ bind(&positive_left);
904 __ idiv(right_reg);
905 __ bind(&done);
906 } else {
907 __ idiv(right_reg);
908 }
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000909 __ jmp(&done, Label::kNear);
sgjesse@chromium.org8e8294a2011-05-02 14:30:53 +0000910
911 __ bind(&remainder_eq_dividend);
912 __ mov(result_reg, left_reg);
913
914 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000915 }
916}
917
918
919void LCodeGen::DoDivI(LDivI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000920 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000921 ASSERT(ToRegister(instr->result()).is(eax));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000922 ASSERT(ToRegister(instr->InputAt(0)).is(eax));
923 ASSERT(!ToRegister(instr->InputAt(1)).is(eax));
924 ASSERT(!ToRegister(instr->InputAt(1)).is(edx));
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000925
926 Register left_reg = eax;
927
928 // Check for x / 0.
929 Register right_reg = ToRegister(right);
930 if (instr->hydrogen()->CheckFlag(HValue::kCanBeDivByZero)) {
931 __ test(right_reg, ToOperand(right));
932 DeoptimizeIf(zero, instr->environment());
933 }
934
935 // Check for (0 / -x) that will produce negative zero.
936 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000937 Label left_not_zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000938 __ test(left_reg, Operand(left_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000939 __ j(not_zero, &left_not_zero, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000940 __ test(right_reg, ToOperand(right));
941 DeoptimizeIf(sign, instr->environment());
942 __ bind(&left_not_zero);
943 }
944
945 // Check for (-kMinInt / -1).
946 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000947 Label left_not_min_int;
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000948 __ cmp(left_reg, kMinInt);
karlklose@chromium.org83a47282011-05-11 11:54:09 +0000949 __ j(not_zero, &left_not_min_int, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000950 __ cmp(right_reg, -1);
951 DeoptimizeIf(zero, instr->environment());
952 __ bind(&left_not_min_int);
953 }
954
955 // Sign extend to edx.
956 __ cdq();
957 __ idiv(right_reg);
958
959 // Deoptimize if remainder is not 0.
960 __ test(edx, Operand(edx));
961 DeoptimizeIf(not_zero, instr->environment());
962}
963
964
965void LCodeGen::DoMulI(LMulI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000966 Register left = ToRegister(instr->InputAt(0));
967 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000968
969 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +0000970 __ mov(ToRegister(instr->TempAt(0)), left);
kasperl@chromium.orga5551262010-12-07 12:49:48 +0000971 }
972
973 if (right->IsConstantOperand()) {
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +0000974 // Try strength reductions on the multiplication.
975 // All replacement instructions are at most as long as the imul
976 // and have better latency.
977 int constant = ToInteger32(LConstantOperand::cast(right));
978 if (constant == -1) {
979 __ neg(left);
980 } else if (constant == 0) {
981 __ xor_(left, Operand(left));
982 } else if (constant == 2) {
983 __ add(left, Operand(left));
984 } else if (!instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
985 // If we know that the multiplication can't overflow, it's safe to
986 // use instructions that don't set the overflow flag for the
987 // multiplication.
988 switch (constant) {
989 case 1:
990 // Do nothing.
991 break;
992 case 3:
993 __ lea(left, Operand(left, left, times_2, 0));
994 break;
995 case 4:
996 __ shl(left, 2);
997 break;
998 case 5:
999 __ lea(left, Operand(left, left, times_4, 0));
1000 break;
1001 case 8:
1002 __ shl(left, 3);
1003 break;
1004 case 9:
1005 __ lea(left, Operand(left, left, times_8, 0));
1006 break;
1007 case 16:
1008 __ shl(left, 4);
1009 break;
1010 default:
1011 __ imul(left, left, constant);
1012 break;
1013 }
1014 } else {
1015 __ imul(left, left, constant);
1016 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001017 } else {
1018 __ imul(left, ToOperand(right));
1019 }
1020
1021 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1022 DeoptimizeIf(overflow, instr->environment());
1023 }
1024
1025 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
1026 // Bail out if the result is supposed to be negative zero.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001027 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001028 __ test(left, Operand(left));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001029 __ j(not_zero, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001030 if (right->IsConstantOperand()) {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001031 if (ToInteger32(LConstantOperand::cast(right)) <= 0) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001032 DeoptimizeIf(no_condition, instr->environment());
1033 }
1034 } else {
1035 // Test the non-zero operand for negative sign.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001036 __ or_(ToRegister(instr->TempAt(0)), ToOperand(right));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001037 DeoptimizeIf(sign, instr->environment());
1038 }
1039 __ bind(&done);
1040 }
1041}
1042
1043
1044void LCodeGen::DoBitI(LBitI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001045 LOperand* left = instr->InputAt(0);
1046 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001047 ASSERT(left->Equals(instr->result()));
1048 ASSERT(left->IsRegister());
1049
1050 if (right->IsConstantOperand()) {
1051 int right_operand = ToInteger32(LConstantOperand::cast(right));
1052 switch (instr->op()) {
1053 case Token::BIT_AND:
1054 __ and_(ToRegister(left), right_operand);
1055 break;
1056 case Token::BIT_OR:
1057 __ or_(ToRegister(left), right_operand);
1058 break;
1059 case Token::BIT_XOR:
1060 __ xor_(ToRegister(left), right_operand);
1061 break;
1062 default:
1063 UNREACHABLE();
1064 break;
1065 }
1066 } else {
1067 switch (instr->op()) {
1068 case Token::BIT_AND:
1069 __ and_(ToRegister(left), ToOperand(right));
1070 break;
1071 case Token::BIT_OR:
1072 __ or_(ToRegister(left), ToOperand(right));
1073 break;
1074 case Token::BIT_XOR:
1075 __ xor_(ToRegister(left), ToOperand(right));
1076 break;
1077 default:
1078 UNREACHABLE();
1079 break;
1080 }
1081 }
1082}
1083
1084
1085void LCodeGen::DoShiftI(LShiftI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001086 LOperand* left = instr->InputAt(0);
1087 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001088 ASSERT(left->Equals(instr->result()));
1089 ASSERT(left->IsRegister());
1090 if (right->IsRegister()) {
1091 ASSERT(ToRegister(right).is(ecx));
1092
1093 switch (instr->op()) {
1094 case Token::SAR:
1095 __ sar_cl(ToRegister(left));
1096 break;
1097 case Token::SHR:
1098 __ shr_cl(ToRegister(left));
1099 if (instr->can_deopt()) {
1100 __ test(ToRegister(left), Immediate(0x80000000));
1101 DeoptimizeIf(not_zero, instr->environment());
1102 }
1103 break;
1104 case Token::SHL:
1105 __ shl_cl(ToRegister(left));
1106 break;
1107 default:
1108 UNREACHABLE();
1109 break;
1110 }
1111 } else {
1112 int value = ToInteger32(LConstantOperand::cast(right));
1113 uint8_t shift_count = static_cast<uint8_t>(value & 0x1F);
1114 switch (instr->op()) {
1115 case Token::SAR:
1116 if (shift_count != 0) {
1117 __ sar(ToRegister(left), shift_count);
1118 }
1119 break;
1120 case Token::SHR:
1121 if (shift_count == 0 && instr->can_deopt()) {
1122 __ test(ToRegister(left), Immediate(0x80000000));
1123 DeoptimizeIf(not_zero, instr->environment());
1124 } else {
1125 __ shr(ToRegister(left), shift_count);
1126 }
1127 break;
1128 case Token::SHL:
1129 if (shift_count != 0) {
1130 __ shl(ToRegister(left), shift_count);
1131 }
1132 break;
1133 default:
1134 UNREACHABLE();
1135 break;
1136 }
1137 }
1138}
1139
1140
1141void LCodeGen::DoSubI(LSubI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001142 LOperand* left = instr->InputAt(0);
1143 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001144 ASSERT(left->Equals(instr->result()));
1145
1146 if (right->IsConstantOperand()) {
1147 __ sub(ToOperand(left), ToImmediate(right));
1148 } else {
1149 __ sub(ToRegister(left), ToOperand(right));
1150 }
1151 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1152 DeoptimizeIf(overflow, instr->environment());
1153 }
1154}
1155
1156
1157void LCodeGen::DoConstantI(LConstantI* instr) {
1158 ASSERT(instr->result()->IsRegister());
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001159 __ Set(ToRegister(instr->result()), Immediate(instr->value()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001160}
1161
1162
1163void LCodeGen::DoConstantD(LConstantD* instr) {
1164 ASSERT(instr->result()->IsDoubleRegister());
1165 XMMRegister res = ToDoubleRegister(instr->result());
1166 double v = instr->value();
1167 // Use xor to produce +0.0 in a fast and compact way, but avoid to
1168 // do so if the constant is -0.0.
1169 if (BitCast<uint64_t, double>(v) == 0) {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001170 __ xorps(res, res);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001171 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001172 Register temp = ToRegister(instr->TempAt(0));
1173 uint64_t int_val = BitCast<uint64_t, double>(v);
1174 int32_t lower = static_cast<int32_t>(int_val);
1175 int32_t upper = static_cast<int32_t>(int_val >> (kBitsPerInt));
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001176 if (CpuFeatures::IsSupported(SSE4_1)) {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001177 CpuFeatures::Scope scope(SSE4_1);
1178 if (lower != 0) {
1179 __ Set(temp, Immediate(lower));
1180 __ movd(res, Operand(temp));
1181 __ Set(temp, Immediate(upper));
1182 __ pinsrd(res, Operand(temp), 1);
1183 } else {
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001184 __ xorps(res, res);
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001185 __ Set(temp, Immediate(upper));
1186 __ pinsrd(res, Operand(temp), 1);
1187 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001188 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00001189 __ Set(temp, Immediate(upper));
1190 __ movd(res, Operand(temp));
1191 __ psllq(res, 32);
1192 if (lower != 0) {
1193 __ Set(temp, Immediate(lower));
1194 __ movd(xmm0, Operand(temp));
1195 __ por(res, xmm0);
1196 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001197 }
1198 }
1199}
1200
1201
1202void LCodeGen::DoConstantT(LConstantT* instr) {
1203 ASSERT(instr->result()->IsRegister());
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001204 __ Set(ToRegister(instr->result()), Immediate(instr->value()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001205}
1206
1207
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001208void LCodeGen::DoJSArrayLength(LJSArrayLength* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001209 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001210 Register array = ToRegister(instr->InputAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001211 __ mov(result, FieldOperand(array, JSArray::kLengthOffset));
1212}
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001213
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001214
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001215void LCodeGen::DoFixedArrayBaseLength(
1216 LFixedArrayBaseLength* instr) {
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00001217 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001218 Register array = ToRegister(instr->InputAt(0));
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001219 __ mov(result, FieldOperand(array, FixedArrayBase::kLengthOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001220}
1221
1222
whesse@chromium.org7b260152011-06-20 15:33:18 +00001223void LCodeGen::DoElementsKind(LElementsKind* instr) {
1224 Register result = ToRegister(instr->result());
1225 Register input = ToRegister(instr->InputAt(0));
1226
1227 // Load map into |result|.
1228 __ mov(result, FieldOperand(input, HeapObject::kMapOffset));
1229 // Load the map's "bit field 2" into |result|. We only need the first byte,
1230 // but the following masking takes care of that anyway.
1231 __ mov(result, FieldOperand(result, Map::kBitField2Offset));
1232 // Retrieve elements_kind from bit field 2.
1233 __ and_(result, Map::kElementsKindMask);
1234 __ shr(result, Map::kElementsKindShift);
1235}
1236
1237
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001238void LCodeGen::DoValueOf(LValueOf* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001239 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001240 Register result = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001241 Register map = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001242 ASSERT(input.is(result));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001243 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001244 // If the object is a smi return the object.
whesse@chromium.org7b260152011-06-20 15:33:18 +00001245 __ JumpIfSmi(input, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001246
1247 // If the object is not a value type, return the object.
1248 __ CmpObjectType(input, JS_VALUE_TYPE, map);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001249 __ j(not_equal, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001250 __ mov(result, FieldOperand(input, JSValue::kValueOffset));
1251
1252 __ bind(&done);
1253}
1254
1255
1256void LCodeGen::DoBitNotI(LBitNotI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001257 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001258 ASSERT(input->Equals(instr->result()));
1259 __ not_(ToRegister(input));
1260}
1261
1262
1263void LCodeGen::DoThrow(LThrow* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001264 __ push(ToOperand(instr->value()));
1265 ASSERT(ToRegister(instr->context()).is(esi));
1266 CallRuntime(Runtime::kThrow, 1, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001267
1268 if (FLAG_debug_code) {
1269 Comment("Unreachable code.");
1270 __ int3();
1271 }
1272}
1273
1274
1275void LCodeGen::DoAddI(LAddI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001276 LOperand* left = instr->InputAt(0);
1277 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001278 ASSERT(left->Equals(instr->result()));
1279
1280 if (right->IsConstantOperand()) {
1281 __ add(ToOperand(left), ToImmediate(right));
1282 } else {
1283 __ add(ToRegister(left), ToOperand(right));
1284 }
1285
1286 if (instr->hydrogen()->CheckFlag(HValue::kCanOverflow)) {
1287 DeoptimizeIf(overflow, instr->environment());
1288 }
1289}
1290
1291
1292void LCodeGen::DoArithmeticD(LArithmeticD* instr) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001293 XMMRegister left = ToDoubleRegister(instr->InputAt(0));
1294 XMMRegister right = ToDoubleRegister(instr->InputAt(1));
1295 XMMRegister result = ToDoubleRegister(instr->result());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001296 // Modulo uses a fixed result register.
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001297 ASSERT(instr->op() == Token::MOD || left.is(result));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001298 switch (instr->op()) {
1299 case Token::ADD:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001300 __ addsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001301 break;
1302 case Token::SUB:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001303 __ subsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001304 break;
1305 case Token::MUL:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001306 __ mulsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001307 break;
1308 case Token::DIV:
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001309 __ divsd(left, right);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001310 break;
1311 case Token::MOD: {
1312 // Pass two doubles as arguments on the stack.
1313 __ PrepareCallCFunction(4, eax);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001314 __ movdbl(Operand(esp, 0 * kDoubleSize), left);
1315 __ movdbl(Operand(esp, 1 * kDoubleSize), right);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001316 __ CallCFunction(
1317 ExternalReference::double_fp_operation(Token::MOD, isolate()),
1318 4);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001319
1320 // Return value is in st(0) on ia32.
1321 // Store it into the (fixed) result register.
1322 __ sub(Operand(esp), Immediate(kDoubleSize));
1323 __ fstp_d(Operand(esp, 0));
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001324 __ movdbl(result, Operand(esp, 0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001325 __ add(Operand(esp), Immediate(kDoubleSize));
1326 break;
1327 }
1328 default:
1329 UNREACHABLE();
1330 break;
1331 }
1332}
1333
1334
1335void LCodeGen::DoArithmeticT(LArithmeticT* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001336 ASSERT(ToRegister(instr->context()).is(esi));
1337 ASSERT(ToRegister(instr->left()).is(edx));
1338 ASSERT(ToRegister(instr->right()).is(eax));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001339 ASSERT(ToRegister(instr->result()).is(eax));
1340
danno@chromium.org40cb8782011-05-25 07:58:50 +00001341 BinaryOpStub stub(instr->op(), NO_OVERWRITE);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001342 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
whesse@chromium.org030d38e2011-07-13 13:23:34 +00001343 __ nop(); // Signals no inlined code.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001344}
1345
1346
1347int LCodeGen::GetNextEmittedBlock(int block) {
1348 for (int i = block + 1; i < graph()->blocks()->length(); ++i) {
1349 LLabel* label = chunk_->GetLabel(i);
1350 if (!label->HasReplacement()) return i;
1351 }
1352 return -1;
1353}
1354
1355
1356void LCodeGen::EmitBranch(int left_block, int right_block, Condition cc) {
1357 int next_block = GetNextEmittedBlock(current_block_);
1358 right_block = chunk_->LookupDestination(right_block);
1359 left_block = chunk_->LookupDestination(left_block);
1360
1361 if (right_block == left_block) {
1362 EmitGoto(left_block);
1363 } else if (left_block == next_block) {
1364 __ j(NegateCondition(cc), chunk_->GetAssemblyLabel(right_block));
1365 } else if (right_block == next_block) {
1366 __ j(cc, chunk_->GetAssemblyLabel(left_block));
1367 } else {
1368 __ j(cc, chunk_->GetAssemblyLabel(left_block));
1369 __ jmp(chunk_->GetAssemblyLabel(right_block));
1370 }
1371}
1372
1373
1374void LCodeGen::DoBranch(LBranch* instr) {
1375 int true_block = chunk_->LookupDestination(instr->true_block_id());
1376 int false_block = chunk_->LookupDestination(instr->false_block_id());
1377
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001378 Representation r = instr->hydrogen()->value()->representation();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001379 if (r.IsInteger32()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001380 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001381 __ test(reg, Operand(reg));
1382 EmitBranch(true_block, false_block, not_zero);
1383 } else if (r.IsDouble()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001384 XMMRegister reg = ToDoubleRegister(instr->InputAt(0));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001385 __ xorps(xmm0, xmm0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001386 __ ucomisd(reg, xmm0);
1387 EmitBranch(true_block, false_block, not_equal);
1388 } else {
1389 ASSERT(r.IsTagged());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001390 Register reg = ToRegister(instr->InputAt(0));
lrn@chromium.orgd4e9e222011-08-03 12:01:58 +00001391 HType type = instr->hydrogen()->value()->type();
1392 if (type.IsBoolean()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001393 __ cmp(reg, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001394 EmitBranch(true_block, false_block, equal);
lrn@chromium.orgd4e9e222011-08-03 12:01:58 +00001395 } else if (type.IsSmi()) {
1396 __ test(reg, Operand(reg));
1397 EmitBranch(true_block, false_block, not_equal);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001398 } else {
1399 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1400 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1401
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001402 ToBooleanStub::Types expected = instr->hydrogen()->expected_input_types();
1403 // Avoid deopts in the case where we've never executed this path before.
1404 if (expected.IsEmpty()) expected = ToBooleanStub::all_types();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001405
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001406 if (expected.Contains(ToBooleanStub::UNDEFINED)) {
1407 // undefined -> false.
1408 __ cmp(reg, factory()->undefined_value());
1409 __ j(equal, false_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001410 }
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001411 if (expected.Contains(ToBooleanStub::BOOLEAN)) {
1412 // true -> true.
1413 __ cmp(reg, factory()->true_value());
1414 __ j(equal, true_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001415 // false -> false.
1416 __ cmp(reg, factory()->false_value());
1417 __ j(equal, false_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001418 }
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001419 if (expected.Contains(ToBooleanStub::NULL_TYPE)) {
1420 // 'null' -> false.
1421 __ cmp(reg, factory()->null_value());
1422 __ j(equal, false_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001423 }
1424
1425 if (expected.Contains(ToBooleanStub::SMI)) {
1426 // Smis: 0 -> false, all other -> true.
1427 __ test(reg, Operand(reg));
1428 __ j(equal, false_label);
1429 __ JumpIfSmi(reg, true_label);
1430 } else if (expected.NeedsMap()) {
1431 // If we need a map later and have a Smi -> deopt.
1432 __ test(reg, Immediate(kSmiTagMask));
1433 DeoptimizeIf(zero, instr->environment());
1434 }
1435
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001436 Register map = no_reg; // Keep the compiler happy.
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001437 if (expected.NeedsMap()) {
1438 map = ToRegister(instr->TempAt(0));
1439 ASSERT(!map.is(reg));
1440 __ mov(map, FieldOperand(reg, HeapObject::kMapOffset));
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001441
1442 if (expected.CanBeUndetectable()) {
1443 // Undetectable -> false.
1444 __ test_b(FieldOperand(map, Map::kBitFieldOffset),
1445 1 << Map::kIsUndetectable);
1446 __ j(not_zero, false_label);
1447 }
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001448 }
1449
1450 if (expected.Contains(ToBooleanStub::SPEC_OBJECT)) {
1451 // spec object -> true.
1452 __ CmpInstanceType(map, FIRST_SPEC_OBJECT_TYPE);
1453 __ j(above_equal, true_label);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001454 }
1455
1456 if (expected.Contains(ToBooleanStub::STRING)) {
1457 // String value -> false iff empty.
1458 Label not_string;
1459 __ CmpInstanceType(map, FIRST_NONSTRING_TYPE);
1460 __ j(above_equal, &not_string, Label::kNear);
1461 __ cmp(FieldOperand(reg, String::kLengthOffset), Immediate(0));
1462 __ j(not_zero, true_label);
1463 __ jmp(false_label);
1464 __ bind(&not_string);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001465 }
1466
1467 if (expected.Contains(ToBooleanStub::HEAP_NUMBER)) {
1468 // heap number -> false iff +0, -0, or NaN.
1469 Label not_heap_number;
1470 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
1471 factory()->heap_number_map());
1472 __ j(not_equal, &not_heap_number, Label::kNear);
1473 __ fldz();
1474 __ fld_d(FieldOperand(reg, HeapNumber::kValueOffset));
1475 __ FCmp();
1476 __ j(zero, false_label);
1477 __ jmp(true_label);
1478 __ bind(&not_heap_number);
vegorov@chromium.org7943d462011-08-01 11:41:52 +00001479 }
1480
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00001481 // We've seen something for the first time -> deopt.
1482 DeoptimizeIf(no_condition, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001483 }
1484 }
1485}
1486
1487
ager@chromium.org04921a82011-06-27 13:21:41 +00001488void LCodeGen::EmitGoto(int block) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001489 block = chunk_->LookupDestination(block);
1490 int next_block = GetNextEmittedBlock(current_block_);
1491 if (block != next_block) {
ager@chromium.org04921a82011-06-27 13:21:41 +00001492 __ jmp(chunk_->GetAssemblyLabel(block));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001493 }
1494}
1495
1496
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001497void LCodeGen::DoGoto(LGoto* instr) {
ager@chromium.org04921a82011-06-27 13:21:41 +00001498 EmitGoto(instr->block_id());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001499}
1500
1501
1502Condition LCodeGen::TokenToCondition(Token::Value op, bool is_unsigned) {
1503 Condition cond = no_condition;
1504 switch (op) {
1505 case Token::EQ:
1506 case Token::EQ_STRICT:
1507 cond = equal;
1508 break;
1509 case Token::LT:
1510 cond = is_unsigned ? below : less;
1511 break;
1512 case Token::GT:
1513 cond = is_unsigned ? above : greater;
1514 break;
1515 case Token::LTE:
1516 cond = is_unsigned ? below_equal : less_equal;
1517 break;
1518 case Token::GTE:
1519 cond = is_unsigned ? above_equal : greater_equal;
1520 break;
1521 case Token::IN:
1522 case Token::INSTANCEOF:
1523 default:
1524 UNREACHABLE();
1525 }
1526 return cond;
1527}
1528
1529
1530void LCodeGen::EmitCmpI(LOperand* left, LOperand* right) {
1531 if (right->IsConstantOperand()) {
1532 __ cmp(ToOperand(left), ToImmediate(right));
1533 } else {
1534 __ cmp(ToRegister(left), ToOperand(right));
1535 }
1536}
1537
1538
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001539void LCodeGen::DoCmpIDAndBranch(LCmpIDAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001540 LOperand* left = instr->InputAt(0);
1541 LOperand* right = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001542 int false_block = chunk_->LookupDestination(instr->false_block_id());
1543 int true_block = chunk_->LookupDestination(instr->true_block_id());
1544
1545 if (instr->is_double()) {
1546 // Don't base result on EFLAGS when a NaN is involved. Instead
1547 // jump to the false block.
1548 __ ucomisd(ToDoubleRegister(left), ToDoubleRegister(right));
1549 __ j(parity_even, chunk_->GetAssemblyLabel(false_block));
1550 } else {
1551 EmitCmpI(left, right);
1552 }
1553
1554 Condition cc = TokenToCondition(instr->op(), instr->is_double());
1555 EmitBranch(true_block, false_block, cc);
1556}
1557
1558
lrn@chromium.orgac2828d2011-06-23 06:29:21 +00001559void LCodeGen::DoCmpObjectEqAndBranch(LCmpObjectEqAndBranch* instr) {
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001560 Register left = ToRegister(instr->InputAt(0));
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001561 Operand right = ToOperand(instr->InputAt(1));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001562 int false_block = chunk_->LookupDestination(instr->false_block_id());
1563 int true_block = chunk_->LookupDestination(instr->true_block_id());
1564
1565 __ cmp(left, Operand(right));
1566 EmitBranch(true_block, false_block, equal);
1567}
1568
1569
whesse@chromium.org7b260152011-06-20 15:33:18 +00001570void LCodeGen::DoCmpConstantEqAndBranch(LCmpConstantEqAndBranch* instr) {
1571 Register left = ToRegister(instr->InputAt(0));
1572 int true_block = chunk_->LookupDestination(instr->true_block_id());
1573 int false_block = chunk_->LookupDestination(instr->false_block_id());
1574
1575 __ cmp(left, instr->hydrogen()->right());
1576 EmitBranch(true_block, false_block, equal);
1577}
1578
1579
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001580void LCodeGen::DoIsNullAndBranch(LIsNullAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001581 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001582
1583 // TODO(fsc): If the expression is known to be a smi, then it's
1584 // definitely not null. Jump to the false block.
1585
1586 int true_block = chunk_->LookupDestination(instr->true_block_id());
1587 int false_block = chunk_->LookupDestination(instr->false_block_id());
1588
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001589 __ cmp(reg, factory()->null_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001590 if (instr->is_strict()) {
1591 EmitBranch(true_block, false_block, equal);
1592 } else {
1593 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1594 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1595 __ j(equal, true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001596 __ cmp(reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001597 __ j(equal, true_label);
whesse@chromium.org7b260152011-06-20 15:33:18 +00001598 __ JumpIfSmi(reg, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001599 // Check for undetectable objects by looking in the bit field in
1600 // the map. The object has already been smi checked.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001601 Register scratch = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001602 __ mov(scratch, FieldOperand(reg, HeapObject::kMapOffset));
1603 __ movzx_b(scratch, FieldOperand(scratch, Map::kBitFieldOffset));
1604 __ test(scratch, Immediate(1 << Map::kIsUndetectable));
1605 EmitBranch(true_block, false_block, not_zero);
1606 }
1607}
1608
1609
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001610Condition LCodeGen::EmitIsObject(Register input,
1611 Register temp1,
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001612 Label* is_not_object,
1613 Label* is_object) {
whesse@chromium.org7b260152011-06-20 15:33:18 +00001614 __ JumpIfSmi(input, is_not_object);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001615
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001616 __ cmp(input, isolate()->factory()->null_value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001617 __ j(equal, is_object);
1618
1619 __ mov(temp1, FieldOperand(input, HeapObject::kMapOffset));
1620 // Undetectable objects behave like undefined.
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001621 __ test_b(FieldOperand(temp1, Map::kBitFieldOffset),
1622 1 << Map::kIsUndetectable);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001623 __ j(not_zero, is_not_object);
1624
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001625 __ movzx_b(temp1, FieldOperand(temp1, Map::kInstanceTypeOffset));
1626 __ cmp(temp1, FIRST_NONCALLABLE_SPEC_OBJECT_TYPE);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001627 __ j(below, is_not_object);
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001628 __ cmp(temp1, LAST_NONCALLABLE_SPEC_OBJECT_TYPE);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001629 return below_equal;
1630}
1631
1632
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001633void LCodeGen::DoIsObjectAndBranch(LIsObjectAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001634 Register reg = ToRegister(instr->InputAt(0));
1635 Register temp = ToRegister(instr->TempAt(0));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001636
1637 int true_block = chunk_->LookupDestination(instr->true_block_id());
1638 int false_block = chunk_->LookupDestination(instr->false_block_id());
1639 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1640 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1641
vegorov@chromium.org3cf47312011-06-29 13:20:01 +00001642 Condition true_cond = EmitIsObject(reg, temp, false_label, true_label);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001643
1644 EmitBranch(true_block, false_block, true_cond);
1645}
1646
1647
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001648void LCodeGen::DoIsSmiAndBranch(LIsSmiAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001649 Operand input = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001650
1651 int true_block = chunk_->LookupDestination(instr->true_block_id());
1652 int false_block = chunk_->LookupDestination(instr->false_block_id());
1653
1654 __ test(input, Immediate(kSmiTagMask));
1655 EmitBranch(true_block, false_block, zero);
1656}
1657
1658
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001659void LCodeGen::DoIsUndetectableAndBranch(LIsUndetectableAndBranch* instr) {
1660 Register input = ToRegister(instr->InputAt(0));
1661 Register temp = ToRegister(instr->TempAt(0));
1662
1663 int true_block = chunk_->LookupDestination(instr->true_block_id());
1664 int false_block = chunk_->LookupDestination(instr->false_block_id());
1665
1666 STATIC_ASSERT(kSmiTag == 0);
whesse@chromium.org7b260152011-06-20 15:33:18 +00001667 __ JumpIfSmi(input, chunk_->GetAssemblyLabel(false_block));
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001668 __ mov(temp, FieldOperand(input, HeapObject::kMapOffset));
1669 __ test_b(FieldOperand(temp, Map::kBitFieldOffset),
1670 1 << Map::kIsUndetectable);
1671 EmitBranch(true_block, false_block, not_zero);
1672}
1673
1674
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001675static InstanceType TestType(HHasInstanceTypeAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001676 InstanceType from = instr->from();
1677 InstanceType to = instr->to();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001678 if (from == FIRST_TYPE) return to;
1679 ASSERT(from == to || to == LAST_TYPE);
1680 return from;
1681}
1682
1683
ricow@chromium.org4f693d62011-07-04 14:01:31 +00001684static Condition BranchCondition(HHasInstanceTypeAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001685 InstanceType from = instr->from();
1686 InstanceType to = instr->to();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001687 if (from == to) return equal;
1688 if (to == LAST_TYPE) return above_equal;
1689 if (from == FIRST_TYPE) return below_equal;
1690 UNREACHABLE();
1691 return equal;
1692}
1693
1694
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001695void LCodeGen::DoHasInstanceTypeAndBranch(LHasInstanceTypeAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001696 Register input = ToRegister(instr->InputAt(0));
1697 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001698
1699 int true_block = chunk_->LookupDestination(instr->true_block_id());
1700 int false_block = chunk_->LookupDestination(instr->false_block_id());
1701
1702 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1703
whesse@chromium.org7b260152011-06-20 15:33:18 +00001704 __ JumpIfSmi(input, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001705
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001706 __ CmpObjectType(input, TestType(instr->hydrogen()), temp);
1707 EmitBranch(true_block, false_block, BranchCondition(instr->hydrogen()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001708}
1709
1710
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001711void LCodeGen::DoGetCachedArrayIndex(LGetCachedArrayIndex* instr) {
1712 Register input = ToRegister(instr->InputAt(0));
1713 Register result = ToRegister(instr->result());
1714
1715 if (FLAG_debug_code) {
1716 __ AbortIfNotString(input);
1717 }
1718
1719 __ mov(result, FieldOperand(input, String::kHashFieldOffset));
1720 __ IndexFromHash(result, result);
1721}
1722
1723
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001724void LCodeGen::DoHasCachedArrayIndexAndBranch(
1725 LHasCachedArrayIndexAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001726 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001727
1728 int true_block = chunk_->LookupDestination(instr->true_block_id());
1729 int false_block = chunk_->LookupDestination(instr->false_block_id());
1730
1731 __ test(FieldOperand(input, String::kHashFieldOffset),
1732 Immediate(String::kContainsCachedArrayIndexMask));
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00001733 EmitBranch(true_block, false_block, equal);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001734}
1735
1736
1737// Branches to a label or falls through with the answer in the z flag. Trashes
1738// the temp registers, but not the input. Only input and temp2 may alias.
1739void LCodeGen::EmitClassOfTest(Label* is_true,
1740 Label* is_false,
1741 Handle<String>class_name,
1742 Register input,
1743 Register temp,
1744 Register temp2) {
1745 ASSERT(!input.is(temp));
1746 ASSERT(!temp.is(temp2)); // But input and temp2 may be the same register.
whesse@chromium.org7b260152011-06-20 15:33:18 +00001747 __ JumpIfSmi(input, is_false);
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001748 __ CmpObjectType(input, FIRST_SPEC_OBJECT_TYPE, temp);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001749 __ j(below, is_false);
1750
1751 // Map is now in temp.
1752 // Functions have class 'Function'.
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001753 __ CmpInstanceType(temp, FIRST_CALLABLE_SPEC_OBJECT_TYPE);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001754 if (class_name->IsEqualTo(CStrVector("Function"))) {
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001755 __ j(above_equal, is_true);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001756 } else {
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001757 __ j(above_equal, is_false);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001758 }
1759
1760 // Check if the constructor in the map is a function.
1761 __ mov(temp, FieldOperand(temp, Map::kConstructorOffset));
1762
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00001763 // As long as LAST_CALLABLE_SPEC_OBJECT_TYPE is the last instance type, and
1764 // FIRST_CALLABLE_SPEC_OBJECT_TYPE comes right after
1765 // LAST_NONCALLABLE_SPEC_OBJECT_TYPE, we can avoid checking for the latter.
1766 STATIC_ASSERT(LAST_TYPE == LAST_CALLABLE_SPEC_OBJECT_TYPE);
1767 STATIC_ASSERT(FIRST_CALLABLE_SPEC_OBJECT_TYPE ==
1768 LAST_NONCALLABLE_SPEC_OBJECT_TYPE + 1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001769
1770 // Objects with a non-function constructor have class 'Object'.
1771 __ CmpObjectType(temp, JS_FUNCTION_TYPE, temp2);
1772 if (class_name->IsEqualTo(CStrVector("Object"))) {
1773 __ j(not_equal, is_true);
1774 } else {
1775 __ j(not_equal, is_false);
1776 }
1777
1778 // temp now contains the constructor function. Grab the
1779 // instance class name from there.
1780 __ mov(temp, FieldOperand(temp, JSFunction::kSharedFunctionInfoOffset));
1781 __ mov(temp, FieldOperand(temp,
1782 SharedFunctionInfo::kInstanceClassNameOffset));
1783 // The class name we are testing against is a symbol because it's a literal.
1784 // The name in the constructor is a symbol because of the way the context is
1785 // booted. This routine isn't expected to work for random API-created
1786 // classes and it doesn't have to because you can't access it with natives
1787 // syntax. Since both sides are symbols it is sufficient to use an identity
1788 // comparison.
1789 __ cmp(temp, class_name);
1790 // End with the answer in the z flag.
1791}
1792
1793
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001794void LCodeGen::DoClassOfTestAndBranch(LClassOfTestAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001795 Register input = ToRegister(instr->InputAt(0));
1796 Register temp = ToRegister(instr->TempAt(0));
1797 Register temp2 = ToRegister(instr->TempAt(1));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001798 if (input.is(temp)) {
1799 // Swap.
1800 Register swapper = temp;
1801 temp = temp2;
1802 temp2 = swapper;
1803 }
1804 Handle<String> class_name = instr->hydrogen()->class_name();
1805
1806 int true_block = chunk_->LookupDestination(instr->true_block_id());
1807 int false_block = chunk_->LookupDestination(instr->false_block_id());
1808
1809 Label* true_label = chunk_->GetAssemblyLabel(true_block);
1810 Label* false_label = chunk_->GetAssemblyLabel(false_block);
1811
1812 EmitClassOfTest(true_label, false_label, class_name, input, temp, temp2);
1813
1814 EmitBranch(true_block, false_block, equal);
1815}
1816
1817
1818void LCodeGen::DoCmpMapAndBranch(LCmpMapAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001819 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001820 int true_block = instr->true_block_id();
1821 int false_block = instr->false_block_id();
1822
1823 __ cmp(FieldOperand(reg, HeapObject::kMapOffset), instr->map());
1824 EmitBranch(true_block, false_block, equal);
1825}
1826
1827
1828void LCodeGen::DoInstanceOf(LInstanceOf* instr) {
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001829 // Object and function are in fixed registers defined by the stub.
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001830 ASSERT(ToRegister(instr->context()).is(esi));
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00001831 InstanceofStub stub(InstanceofStub::kArgsInRegisters);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001832 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001833
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001834 Label true_value, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001835 __ test(eax, Operand(eax));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001836 __ j(zero, &true_value, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001837 __ mov(ToRegister(instr->result()), factory()->false_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001838 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001839 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001840 __ mov(ToRegister(instr->result()), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001841 __ bind(&done);
1842}
1843
1844
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001845void LCodeGen::DoInstanceOfKnownGlobal(LInstanceOfKnownGlobal* instr) {
1846 class DeferredInstanceOfKnownGlobal: public LDeferredCode {
1847 public:
1848 DeferredInstanceOfKnownGlobal(LCodeGen* codegen,
1849 LInstanceOfKnownGlobal* instr)
1850 : LDeferredCode(codegen), instr_(instr) { }
1851 virtual void Generate() {
1852 codegen()->DoDeferredLInstanceOfKnownGlobal(instr_, &map_check_);
1853 }
1854
1855 Label* map_check() { return &map_check_; }
1856
1857 private:
1858 LInstanceOfKnownGlobal* instr_;
1859 Label map_check_;
1860 };
1861
1862 DeferredInstanceOfKnownGlobal* deferred;
1863 deferred = new DeferredInstanceOfKnownGlobal(this, instr);
1864
1865 Label done, false_result;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001866 Register object = ToRegister(instr->InputAt(1));
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001867 Register temp = ToRegister(instr->TempAt(0));
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001868
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001869 // A Smi is not an instance of anything.
whesse@chromium.org7b260152011-06-20 15:33:18 +00001870 __ JumpIfSmi(object, &false_result);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001871
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001872 // This is the inlined call site instanceof cache. The two occurences of the
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001873 // hole value will be patched to the last map/result pair generated by the
1874 // instanceof stub.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001875 Label cache_miss;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001876 Register map = ToRegister(instr->TempAt(0));
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001877 __ mov(map, FieldOperand(object, HeapObject::kMapOffset));
1878 __ bind(deferred->map_check()); // Label for calculating code patching.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001879 __ cmp(map, factory()->the_hole_value()); // Patched to cached map.
vegorov@chromium.org7304bca2011-05-16 12:14:13 +00001880 __ j(not_equal, &cache_miss, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001881 __ mov(eax, factory()->the_hole_value()); // Patched to either true or false.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001882 __ jmp(&done);
1883
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001884 // The inlined call site cache did not match. Check for null and string
1885 // before calling the deferred code.
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001886 __ bind(&cache_miss);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00001887 // Null is not an instance of anything.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001888 __ cmp(object, factory()->null_value());
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001889 __ j(equal, &false_result);
1890
1891 // String values are not instances of anything.
1892 Condition is_string = masm_->IsObjectStringType(object, temp, temp);
1893 __ j(is_string, &false_result);
1894
1895 // Go to the deferred code.
1896 __ jmp(deferred->entry());
1897
1898 __ bind(&false_result);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001899 __ mov(ToRegister(instr->result()), factory()->false_value());
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001900
1901 // Here result has either true or false. Deferred code also produces true or
1902 // false object.
1903 __ bind(deferred->exit());
1904 __ bind(&done);
1905}
1906
1907
1908void LCodeGen::DoDeferredLInstanceOfKnownGlobal(LInstanceOfKnownGlobal* instr,
1909 Label* map_check) {
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001910 PushSafepointRegistersScope scope(this);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001911
1912 InstanceofStub::Flags flags = InstanceofStub::kNoFlags;
1913 flags = static_cast<InstanceofStub::Flags>(
1914 flags | InstanceofStub::kArgsInRegisters);
1915 flags = static_cast<InstanceofStub::Flags>(
1916 flags | InstanceofStub::kCallSiteInlineCheck);
1917 flags = static_cast<InstanceofStub::Flags>(
1918 flags | InstanceofStub::kReturnTrueFalseObject);
1919 InstanceofStub stub(flags);
1920
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001921 // Get the temp register reserved by the instruction. This needs to be a
1922 // register which is pushed last by PushSafepointRegisters as top of the
1923 // stack is used to pass the offset to the location of the map check to
1924 // the stub.
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00001925 Register temp = ToRegister(instr->TempAt(0));
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001926 ASSERT(MacroAssembler::SafepointRegisterStackIndex(temp) == 0);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001927 __ mov(InstanceofStub::right(), Immediate(instr->function()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001928 static const int kAdditionalDelta = 13;
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001929 int delta = masm_->SizeOfCodeGeneratedSince(map_check) + kAdditionalDelta;
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001930 __ mov(temp, Immediate(delta));
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001931 __ StoreToSafepointRegisterSlot(temp, temp);
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001932 CallCodeGeneric(stub.GetCode(),
1933 RelocInfo::CODE_TARGET,
1934 instr,
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00001935 RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001936 // Put the result value into the eax slot and restore all registers.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00001937 __ StoreToSafepointRegisterSlot(eax, eax);
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00001938}
1939
1940
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001941static Condition ComputeCompareCondition(Token::Value op) {
1942 switch (op) {
1943 case Token::EQ_STRICT:
1944 case Token::EQ:
1945 return equal;
1946 case Token::LT:
1947 return less;
1948 case Token::GT:
1949 return greater;
1950 case Token::LTE:
1951 return less_equal;
1952 case Token::GTE:
1953 return greater_equal;
1954 default:
1955 UNREACHABLE();
1956 return no_condition;
1957 }
1958}
1959
1960
1961void LCodeGen::DoCmpT(LCmpT* instr) {
1962 Token::Value op = instr->op();
1963
1964 Handle<Code> ic = CompareIC::GetUninitialized(op);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00001965 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001966
1967 Condition condition = ComputeCompareCondition(op);
1968 if (op == Token::GT || op == Token::LTE) {
1969 condition = ReverseCondition(condition);
1970 }
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001971 Label true_value, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001972 __ test(eax, Operand(eax));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001973 __ j(condition, &true_value, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001974 __ mov(ToRegister(instr->result()), factory()->false_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00001975 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001976 __ bind(&true_value);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00001977 __ mov(ToRegister(instr->result()), factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001978 __ bind(&done);
1979}
1980
1981
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001982void LCodeGen::DoReturn(LReturn* instr) {
1983 if (FLAG_trace) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001984 // Preserve the return value on the stack and rely on the runtime call
1985 // to return the value in the same register. We're leaving the code
1986 // managed by the register allocator and tearing down the frame, it's
1987 // safe to write to the context register.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001988 __ push(eax);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00001989 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001990 __ CallRuntime(Runtime::kTraceExit, 1);
1991 }
1992 __ mov(esp, ebp);
1993 __ pop(ebp);
danno@chromium.org160a7b02011-04-18 15:51:38 +00001994 __ Ret((GetParameterCount() + 1) * kPointerSize, ecx);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001995}
1996
1997
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00001998void LCodeGen::DoLoadGlobalCell(LLoadGlobalCell* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00001999 Register result = ToRegister(instr->result());
2000 __ mov(result, Operand::Cell(instr->hydrogen()->cell()));
2001 if (instr->hydrogen()->check_hole_value()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002002 __ cmp(result, factory()->the_hole_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002003 DeoptimizeIf(equal, instr->environment());
2004 }
2005}
2006
2007
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002008void LCodeGen::DoLoadGlobalGeneric(LLoadGlobalGeneric* instr) {
2009 ASSERT(ToRegister(instr->context()).is(esi));
2010 ASSERT(ToRegister(instr->global_object()).is(eax));
2011 ASSERT(ToRegister(instr->result()).is(eax));
2012
2013 __ mov(ecx, instr->name());
2014 RelocInfo::Mode mode = instr->for_typeof() ? RelocInfo::CODE_TARGET :
2015 RelocInfo::CODE_TARGET_CONTEXT;
2016 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002017 CallCode(ic, mode, instr);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002018}
2019
2020
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002021void LCodeGen::DoStoreGlobalCell(LStoreGlobalCell* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002022 Register value = ToRegister(instr->InputAt(0));
ager@chromium.org378b34e2011-01-28 08:04:38 +00002023 Operand cell_operand = Operand::Cell(instr->hydrogen()->cell());
2024
2025 // If the cell we are storing to contains the hole it could have
2026 // been deleted from the property dictionary. In that case, we need
2027 // to update the property details in the property dictionary to mark
2028 // it as no longer deleted. We deoptimize in that case.
2029 if (instr->hydrogen()->check_hole_value()) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002030 __ cmp(cell_operand, factory()->the_hole_value());
ager@chromium.org378b34e2011-01-28 08:04:38 +00002031 DeoptimizeIf(equal, instr->environment());
2032 }
2033
2034 // Store the value.
2035 __ mov(cell_operand, value);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002036}
2037
2038
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002039void LCodeGen::DoStoreGlobalGeneric(LStoreGlobalGeneric* instr) {
2040 ASSERT(ToRegister(instr->context()).is(esi));
2041 ASSERT(ToRegister(instr->global_object()).is(edx));
2042 ASSERT(ToRegister(instr->value()).is(eax));
2043
2044 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002045 Handle<Code> ic = instr->strict_mode()
2046 ? isolate()->builtins()->StoreIC_Initialize_Strict()
2047 : isolate()->builtins()->StoreIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002048 CallCode(ic, RelocInfo::CODE_TARGET_CONTEXT, instr);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002049}
2050
2051
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002052void LCodeGen::DoLoadContextSlot(LLoadContextSlot* instr) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002053 Register context = ToRegister(instr->context());
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002054 Register result = ToRegister(instr->result());
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002055 __ mov(result, ContextOperand(context, instr->slot_index()));
2056}
2057
2058
2059void LCodeGen::DoStoreContextSlot(LStoreContextSlot* instr) {
2060 Register context = ToRegister(instr->context());
2061 Register value = ToRegister(instr->value());
2062 __ mov(ContextOperand(context, instr->slot_index()), value);
2063 if (instr->needs_write_barrier()) {
2064 Register temp = ToRegister(instr->TempAt(0));
2065 int offset = Context::SlotOffset(instr->slot_index());
2066 __ RecordWrite(context, offset, value, temp);
2067 }
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002068}
2069
2070
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002071void LCodeGen::DoLoadNamedField(LLoadNamedField* instr) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002072 Register object = ToRegister(instr->object());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002073 Register result = ToRegister(instr->result());
2074 if (instr->hydrogen()->is_in_object()) {
2075 __ mov(result, FieldOperand(object, instr->hydrogen()->offset()));
2076 } else {
2077 __ mov(result, FieldOperand(object, JSObject::kPropertiesOffset));
2078 __ mov(result, FieldOperand(result, instr->hydrogen()->offset()));
2079 }
2080}
2081
2082
lrn@chromium.org1c092762011-05-09 09:42:16 +00002083void LCodeGen::EmitLoadFieldOrConstantFunction(Register result,
2084 Register object,
2085 Handle<Map> type,
2086 Handle<String> name) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002087 LookupResult lookup;
2088 type->LookupInDescriptors(NULL, *name, &lookup);
lrn@chromium.org1c092762011-05-09 09:42:16 +00002089 ASSERT(lookup.IsProperty() &&
2090 (lookup.type() == FIELD || lookup.type() == CONSTANT_FUNCTION));
2091 if (lookup.type() == FIELD) {
2092 int index = lookup.GetLocalFieldIndexFromMap(*type);
2093 int offset = index * kPointerSize;
2094 if (index < 0) {
2095 // Negative property indices are in-object properties, indexed
2096 // from the end of the fixed part of the object.
2097 __ mov(result, FieldOperand(object, offset + type->instance_size()));
2098 } else {
2099 // Non-negative property indices are in the properties array.
2100 __ mov(result, FieldOperand(object, JSObject::kPropertiesOffset));
2101 __ mov(result, FieldOperand(result, offset + FixedArray::kHeaderSize));
2102 }
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002103 } else {
lrn@chromium.org1c092762011-05-09 09:42:16 +00002104 Handle<JSFunction> function(lookup.GetConstantFunctionFromMap(*type));
2105 LoadHeapObject(result, Handle<HeapObject>::cast(function));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002106 }
2107}
2108
2109
2110void LCodeGen::DoLoadNamedFieldPolymorphic(LLoadNamedFieldPolymorphic* instr) {
2111 Register object = ToRegister(instr->object());
2112 Register result = ToRegister(instr->result());
2113
2114 int map_count = instr->hydrogen()->types()->length();
2115 Handle<String> name = instr->hydrogen()->name();
2116 if (map_count == 0) {
2117 ASSERT(instr->hydrogen()->need_generic());
2118 __ mov(ecx, name);
2119 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002120 CallCode(ic, RelocInfo::CODE_TARGET, instr);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002121 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002122 Label done;
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002123 for (int i = 0; i < map_count - 1; ++i) {
2124 Handle<Map> map = instr->hydrogen()->types()->at(i);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002125 Label next;
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002126 __ cmp(FieldOperand(object, HeapObject::kMapOffset), map);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002127 __ j(not_equal, &next, Label::kNear);
lrn@chromium.org1c092762011-05-09 09:42:16 +00002128 EmitLoadFieldOrConstantFunction(result, object, map, name);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002129 __ jmp(&done, Label::kNear);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002130 __ bind(&next);
2131 }
2132 Handle<Map> map = instr->hydrogen()->types()->last();
2133 __ cmp(FieldOperand(object, HeapObject::kMapOffset), map);
2134 if (instr->hydrogen()->need_generic()) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002135 Label generic;
2136 __ j(not_equal, &generic, Label::kNear);
lrn@chromium.org1c092762011-05-09 09:42:16 +00002137 EmitLoadFieldOrConstantFunction(result, object, map, name);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002138 __ jmp(&done, Label::kNear);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002139 __ bind(&generic);
2140 __ mov(ecx, name);
2141 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002142 CallCode(ic, RelocInfo::CODE_TARGET, instr);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002143 } else {
2144 DeoptimizeIf(not_equal, instr->environment());
lrn@chromium.org1c092762011-05-09 09:42:16 +00002145 EmitLoadFieldOrConstantFunction(result, object, map, name);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002146 }
2147 __ bind(&done);
2148 }
2149}
2150
2151
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002152void LCodeGen::DoLoadNamedGeneric(LLoadNamedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002153 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002154 ASSERT(ToRegister(instr->object()).is(eax));
2155 ASSERT(ToRegister(instr->result()).is(eax));
2156
2157 __ mov(ecx, instr->name());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002158 Handle<Code> ic = isolate()->builtins()->LoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002159 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002160}
2161
2162
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002163void LCodeGen::DoLoadFunctionPrototype(LLoadFunctionPrototype* instr) {
2164 Register function = ToRegister(instr->function());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002165 Register temp = ToRegister(instr->TempAt(0));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002166 Register result = ToRegister(instr->result());
2167
2168 // Check that the function really is a function.
2169 __ CmpObjectType(function, JS_FUNCTION_TYPE, result);
2170 DeoptimizeIf(not_equal, instr->environment());
2171
2172 // Check whether the function has an instance prototype.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002173 Label non_instance;
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002174 __ test_b(FieldOperand(result, Map::kBitFieldOffset),
2175 1 << Map::kHasNonInstancePrototype);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002176 __ j(not_zero, &non_instance, Label::kNear);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002177
2178 // Get the prototype or initial map from the function.
2179 __ mov(result,
2180 FieldOperand(function, JSFunction::kPrototypeOrInitialMapOffset));
2181
2182 // Check that the function has a prototype or an initial map.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002183 __ cmp(Operand(result), Immediate(factory()->the_hole_value()));
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002184 DeoptimizeIf(equal, instr->environment());
2185
2186 // If the function does not have an initial map, we're done.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002187 Label done;
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002188 __ CmpObjectType(result, MAP_TYPE, temp);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002189 __ j(not_equal, &done, Label::kNear);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002190
2191 // Get the prototype from the initial map.
2192 __ mov(result, FieldOperand(result, Map::kPrototypeOffset));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002193 __ jmp(&done, Label::kNear);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +00002194
2195 // Non-instance prototype: Fetch prototype from constructor field
2196 // in the function's map.
2197 __ bind(&non_instance);
2198 __ mov(result, FieldOperand(result, Map::kConstructorOffset));
2199
2200 // All done.
2201 __ bind(&done);
2202}
2203
2204
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002205void LCodeGen::DoLoadElements(LLoadElements* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002206 Register result = ToRegister(instr->result());
2207 Register input = ToRegister(instr->InputAt(0));
2208 __ mov(result, FieldOperand(input, JSObject::kElementsOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002209 if (FLAG_debug_code) {
whesse@chromium.org7b260152011-06-20 15:33:18 +00002210 Label done, ok, fail;
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002211 __ cmp(FieldOperand(result, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002212 Immediate(factory()->fixed_array_map()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002213 __ j(equal, &done, Label::kNear);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002214 __ cmp(FieldOperand(result, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002215 Immediate(factory()->fixed_cow_array_map()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002216 __ j(equal, &done, Label::kNear);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002217 Register temp((result.is(eax)) ? ebx : eax);
2218 __ push(temp);
2219 __ mov(temp, FieldOperand(result, HeapObject::kMapOffset));
whesse@chromium.org7b260152011-06-20 15:33:18 +00002220 __ movzx_b(temp, FieldOperand(temp, Map::kBitField2Offset));
2221 __ and_(temp, Map::kElementsKindMask);
2222 __ shr(temp, Map::kElementsKindShift);
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002223 __ cmp(temp, FAST_ELEMENTS);
whesse@chromium.org7b260152011-06-20 15:33:18 +00002224 __ j(equal, &ok, Label::kNear);
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002225 __ cmp(temp, FIRST_EXTERNAL_ARRAY_ELEMENTS_KIND);
whesse@chromium.org7b260152011-06-20 15:33:18 +00002226 __ j(less, &fail, Label::kNear);
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002227 __ cmp(temp, LAST_EXTERNAL_ARRAY_ELEMENTS_KIND);
whesse@chromium.org7b260152011-06-20 15:33:18 +00002228 __ j(less_equal, &ok, Label::kNear);
2229 __ bind(&fail);
2230 __ Abort("Check for fast or external elements failed.");
2231 __ bind(&ok);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002232 __ pop(temp);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002233 __ bind(&done);
2234 }
2235}
2236
2237
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00002238void LCodeGen::DoLoadExternalArrayPointer(
2239 LLoadExternalArrayPointer* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002240 Register result = ToRegister(instr->result());
2241 Register input = ToRegister(instr->InputAt(0));
danno@chromium.org4d3fe4e2011-03-10 10:14:28 +00002242 __ mov(result, FieldOperand(input,
2243 ExternalArray::kExternalPointerOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002244}
2245
2246
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002247void LCodeGen::DoAccessArgumentsAt(LAccessArgumentsAt* instr) {
2248 Register arguments = ToRegister(instr->arguments());
2249 Register length = ToRegister(instr->length());
2250 Operand index = ToOperand(instr->index());
2251 Register result = ToRegister(instr->result());
2252
2253 __ sub(length, index);
2254 DeoptimizeIf(below_equal, instr->environment());
2255
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002256 // There are two words between the frame pointer and the last argument.
2257 // Subtracting from length accounts for one of them add one more.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002258 __ mov(result, Operand(arguments, length, times_4, kPointerSize));
2259}
2260
2261
2262void LCodeGen::DoLoadKeyedFastElement(LLoadKeyedFastElement* instr) {
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002263 Register result = ToRegister(instr->result());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002264
2265 // Load the result.
danno@chromium.orgb6451162011-08-17 14:33:23 +00002266 __ mov(result,
2267 BuildFastArrayOperand(instr->elements(), instr->key(),
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002268 FAST_ELEMENTS,
danno@chromium.orgb6451162011-08-17 14:33:23 +00002269 FixedArray::kHeaderSize - kHeapObjectTag));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002270
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00002271 // Check for the hole value.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002272 if (instr->hydrogen()->RequiresHoleCheck()) {
2273 __ cmp(result, factory()->the_hole_value());
2274 DeoptimizeIf(equal, instr->environment());
2275 }
2276}
2277
2278
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002279void LCodeGen::DoLoadKeyedFastDoubleElement(
2280 LLoadKeyedFastDoubleElement* instr) {
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002281 XMMRegister result = ToDoubleRegister(instr->result());
2282
2283 if (instr->hydrogen()->RequiresHoleCheck()) {
2284 int offset = FixedDoubleArray::kHeaderSize - kHeapObjectTag +
2285 sizeof(kHoleNanLower32);
2286 Operand hole_check_operand = BuildFastArrayOperand(
2287 instr->elements(), instr->key(),
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002288 FAST_DOUBLE_ELEMENTS,
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002289 offset);
2290 __ cmp(hole_check_operand, Immediate(kHoleNanUpper32));
2291 DeoptimizeIf(equal, instr->environment());
2292 }
2293
2294 Operand double_load_operand = BuildFastArrayOperand(
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002295 instr->elements(), instr->key(), FAST_DOUBLE_ELEMENTS,
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002296 FixedDoubleArray::kHeaderSize - kHeapObjectTag);
2297 __ movdbl(result, double_load_operand);
2298}
2299
2300
2301Operand LCodeGen::BuildFastArrayOperand(
danno@chromium.orgb6451162011-08-17 14:33:23 +00002302 LOperand* elements_pointer,
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002303 LOperand* key,
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002304 ElementsKind elements_kind,
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002305 uint32_t offset) {
danno@chromium.orgb6451162011-08-17 14:33:23 +00002306 Register elements_pointer_reg = ToRegister(elements_pointer);
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002307 int shift_size = ElementsKindToShiftSize(elements_kind);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002308 if (key->IsConstantOperand()) {
2309 int constant_value = ToInteger32(LConstantOperand::cast(key));
2310 if (constant_value & 0xF0000000) {
2311 Abort("array index constant value too big");
2312 }
danno@chromium.orgb6451162011-08-17 14:33:23 +00002313 return Operand(elements_pointer_reg,
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002314 constant_value * (1 << shift_size) + offset);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002315 } else {
2316 ScaleFactor scale_factor = static_cast<ScaleFactor>(shift_size);
danno@chromium.orgb6451162011-08-17 14:33:23 +00002317 return Operand(elements_pointer_reg, ToRegister(key), scale_factor, offset);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002318 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002319}
2320
2321
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002322void LCodeGen::DoLoadKeyedSpecializedArrayElement(
2323 LLoadKeyedSpecializedArrayElement* instr) {
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002324 ElementsKind elements_kind = instr->elements_kind();
rossberg@chromium.org717967f2011-07-20 13:44:42 +00002325 Operand operand(BuildFastArrayOperand(instr->external_pointer(),
2326 instr->key(), elements_kind, 0));
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002327 if (elements_kind == EXTERNAL_FLOAT_ELEMENTS) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002328 XMMRegister result(ToDoubleRegister(instr->result()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002329 __ movss(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002330 __ cvtss2sd(result, result);
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002331 } else if (elements_kind == EXTERNAL_DOUBLE_ELEMENTS) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002332 __ movdbl(ToDoubleRegister(instr->result()), operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002333 } else {
2334 Register result(ToRegister(instr->result()));
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002335 switch (elements_kind) {
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002336 case EXTERNAL_BYTE_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002337 __ movsx_b(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002338 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002339 case EXTERNAL_PIXEL_ELEMENTS:
2340 case EXTERNAL_UNSIGNED_BYTE_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002341 __ movzx_b(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002342 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002343 case EXTERNAL_SHORT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002344 __ movsx_w(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002345 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002346 case EXTERNAL_UNSIGNED_SHORT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002347 __ movzx_w(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002348 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002349 case EXTERNAL_INT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002350 __ mov(result, operand);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002351 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002352 case EXTERNAL_UNSIGNED_INT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002353 __ mov(result, operand);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002354 __ test(result, Operand(result));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002355 // TODO(danno): we could be more clever here, perhaps having a special
2356 // version of the stub that detects if the overflow case actually
2357 // happens, and generate code that returns a double rather than int.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00002358 DeoptimizeIf(negative, instr->environment());
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002359 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00002360 case EXTERNAL_FLOAT_ELEMENTS:
2361 case EXTERNAL_DOUBLE_ELEMENTS:
2362 case FAST_ELEMENTS:
2363 case FAST_DOUBLE_ELEMENTS:
2364 case DICTIONARY_ELEMENTS:
2365 case NON_STRICT_ARGUMENTS_ELEMENTS:
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002366 UNREACHABLE();
2367 break;
2368 }
2369 }
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002370}
2371
2372
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002373void LCodeGen::DoLoadKeyedGeneric(LLoadKeyedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002374 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002375 ASSERT(ToRegister(instr->object()).is(edx));
2376 ASSERT(ToRegister(instr->key()).is(eax));
2377
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002378 Handle<Code> ic = isolate()->builtins()->KeyedLoadIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002379 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002380}
2381
2382
2383void LCodeGen::DoArgumentsElements(LArgumentsElements* instr) {
2384 Register result = ToRegister(instr->result());
2385
2386 // Check for arguments adapter frame.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002387 Label done, adapted;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002388 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2389 __ mov(result, Operand(result, StandardFrameConstants::kContextOffset));
2390 __ cmp(Operand(result),
2391 Immediate(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002392 __ j(equal, &adapted, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002393
2394 // No arguments adaptor frame.
2395 __ mov(result, Operand(ebp));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002396 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002397
2398 // Arguments adaptor frame present.
2399 __ bind(&adapted);
2400 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2401
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002402 // Result is the frame pointer for the frame if not adapted and for the real
2403 // frame below the adaptor frame if adapted.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002404 __ bind(&done);
2405}
2406
2407
2408void LCodeGen::DoArgumentsLength(LArgumentsLength* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002409 Operand elem = ToOperand(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002410 Register result = ToRegister(instr->result());
2411
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002412 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002413
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002414 // If no arguments adaptor frame the number of arguments is fixed.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002415 __ cmp(ebp, elem);
2416 __ mov(result, Immediate(scope()->num_parameters()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002417 __ j(equal, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002418
2419 // Arguments adaptor frame present. Get argument length from there.
2420 __ mov(result, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
2421 __ mov(result, Operand(result,
2422 ArgumentsAdaptorFrameConstants::kLengthOffset));
2423 __ SmiUntag(result);
2424
kmillikin@chromium.orgd2c22f02011-01-10 08:15:37 +00002425 // Argument length is in result register.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002426 __ bind(&done);
2427}
2428
2429
2430void LCodeGen::DoApplyArguments(LApplyArguments* instr) {
2431 Register receiver = ToRegister(instr->receiver());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002432 Register function = ToRegister(instr->function());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002433 Register length = ToRegister(instr->length());
2434 Register elements = ToRegister(instr->elements());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002435 Register scratch = ToRegister(instr->TempAt(0));
2436 ASSERT(receiver.is(eax)); // Used for parameter count.
2437 ASSERT(function.is(edi)); // Required by InvokeFunction.
2438 ASSERT(ToRegister(instr->result()).is(eax));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002439
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002440 // If the receiver is null or undefined, we have to pass the global
2441 // object as a receiver to normal functions. Values have to be
2442 // passed unchanged to builtins and strict-mode functions.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002443 Label global_object, receiver_ok;
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002444
2445 // Do not transform the receiver to object for strict mode
2446 // functions.
2447 __ mov(scratch,
2448 FieldOperand(function, JSFunction::kSharedFunctionInfoOffset));
2449 __ test_b(FieldOperand(scratch, SharedFunctionInfo::kStrictModeByteOffset),
2450 1 << SharedFunctionInfo::kStrictModeBitWithinByte);
2451 __ j(not_equal, &receiver_ok, Label::kNear);
2452
2453 // Do not transform the receiver to object for builtins.
2454 __ test_b(FieldOperand(scratch, SharedFunctionInfo::kNativeByteOffset),
2455 1 << SharedFunctionInfo::kNativeBitWithinByte);
2456 __ j(not_equal, &receiver_ok, Label::kNear);
2457
2458 // Normal function. Replace undefined or null with global receiver.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002459 __ cmp(receiver, factory()->null_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002460 __ j(equal, &global_object, Label::kNear);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002461 __ cmp(receiver, factory()->undefined_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002462 __ j(equal, &global_object, Label::kNear);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002463
2464 // The receiver should be a JS object.
2465 __ test(receiver, Immediate(kSmiTagMask));
2466 DeoptimizeIf(equal, instr->environment());
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002467 __ CmpObjectType(receiver, FIRST_SPEC_OBJECT_TYPE, scratch);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002468 DeoptimizeIf(below, instr->environment());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002469 __ jmp(&receiver_ok, Label::kNear);
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002470
2471 __ bind(&global_object);
2472 // TODO(kmillikin): We have a hydrogen value for the global object. See
2473 // if it's better to use it than to explicitly fetch it from the context
2474 // here.
2475 __ mov(receiver, Operand(ebp, StandardFrameConstants::kContextOffset));
2476 __ mov(receiver, ContextOperand(receiver, Context::GLOBAL_INDEX));
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002477 __ mov(receiver,
2478 FieldOperand(receiver, JSGlobalObject::kGlobalReceiverOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002479 __ bind(&receiver_ok);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002480
2481 // Copy the arguments to this function possibly from the
2482 // adaptor frame below it.
2483 const uint32_t kArgumentsLimit = 1 * KB;
2484 __ cmp(length, kArgumentsLimit);
2485 DeoptimizeIf(above, instr->environment());
2486
2487 __ push(receiver);
2488 __ mov(receiver, length);
2489
2490 // Loop through the arguments pushing them onto the execution
2491 // stack.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002492 Label invoke, loop;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002493 // length is a small non-negative integer, due to the test above.
2494 __ test(length, Operand(length));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002495 __ j(zero, &invoke, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002496 __ bind(&loop);
2497 __ push(Operand(elements, length, times_pointer_size, 1 * kPointerSize));
2498 __ dec(length);
2499 __ j(not_zero, &loop);
2500
2501 // Invoke the function.
2502 __ bind(&invoke);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00002503 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
2504 LPointerMap* pointers = instr->pointer_map();
2505 LEnvironment* env = instr->deoptimization_environment();
2506 RecordPosition(pointers->position());
2507 RegisterEnvironmentForDeoptimization(env);
2508 SafepointGenerator safepoint_generator(this,
2509 pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00002510 env->deoptimization_index());
danno@chromium.org160a7b02011-04-18 15:51:38 +00002511 ParameterCount actual(eax);
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002512 __ InvokeFunction(function, actual, CALL_FUNCTION,
2513 safepoint_generator, CALL_AS_METHOD);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002514}
2515
2516
2517void LCodeGen::DoPushArgument(LPushArgument* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002518 LOperand* argument = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002519 if (argument->IsConstantOperand()) {
2520 __ push(ToImmediate(argument));
2521 } else {
2522 __ push(ToOperand(argument));
2523 }
2524}
2525
2526
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002527void LCodeGen::DoThisFunction(LThisFunction* instr) {
2528 Register result = ToRegister(instr->result());
2529 __ mov(result, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
2530}
2531
2532
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002533void LCodeGen::DoContext(LContext* instr) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002534 Register result = ToRegister(instr->result());
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002535 __ mov(result, Operand(ebp, StandardFrameConstants::kContextOffset));
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002536}
2537
2538
2539void LCodeGen::DoOuterContext(LOuterContext* instr) {
2540 Register context = ToRegister(instr->context());
2541 Register result = ToRegister(instr->result());
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00002542 __ mov(result,
2543 Operand(context, Context::SlotOffset(Context::PREVIOUS_INDEX)));
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002544}
2545
2546
2547void LCodeGen::DoGlobalObject(LGlobalObject* instr) {
2548 Register context = ToRegister(instr->context());
2549 Register result = ToRegister(instr->result());
2550 __ mov(result, Operand(context, Context::SlotOffset(Context::GLOBAL_INDEX)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002551}
2552
2553
2554void LCodeGen::DoGlobalReceiver(LGlobalReceiver* instr) {
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002555 Register global = ToRegister(instr->global());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002556 Register result = ToRegister(instr->result());
ricow@chromium.org83aa5492011-02-07 12:42:56 +00002557 __ mov(result, FieldOperand(global, GlobalObject::kGlobalReceiverOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002558}
2559
2560
2561void LCodeGen::CallKnownFunction(Handle<JSFunction> function,
2562 int arity,
danno@chromium.org40cb8782011-05-25 07:58:50 +00002563 LInstruction* instr,
2564 CallKind call_kind) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002565 // Change context if needed.
2566 bool change_context =
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00002567 (info()->closure()->context() != function->context()) ||
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002568 scope()->contains_with() ||
2569 (scope()->num_heap_slots() > 0);
2570 if (change_context) {
2571 __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002572 } else {
2573 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002574 }
2575
2576 // Set eax to arguments count if adaption is not needed. Assumes that eax
2577 // is available to write to at this point.
2578 if (!function->NeedsArgumentsAdaption()) {
2579 __ mov(eax, arity);
2580 }
2581
2582 LPointerMap* pointers = instr->pointer_map();
2583 RecordPosition(pointers->position());
2584
2585 // Invoke function.
danno@chromium.org40cb8782011-05-25 07:58:50 +00002586 __ SetCallKind(ecx, call_kind);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00002587 if (*function == *info()->closure()) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002588 __ CallSelf();
2589 } else {
2590 __ call(FieldOperand(edi, JSFunction::kCodeEntryOffset));
2591 }
2592
2593 // Setup deoptimization.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002594 RegisterLazyDeoptimization(instr, RECORD_SIMPLE_SAFEPOINT);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002595}
2596
2597
2598void LCodeGen::DoCallConstantFunction(LCallConstantFunction* instr) {
2599 ASSERT(ToRegister(instr->result()).is(eax));
2600 __ mov(edi, instr->function());
danno@chromium.org40cb8782011-05-25 07:58:50 +00002601 CallKnownFunction(instr->function(),
2602 instr->arity(),
2603 instr,
2604 CALL_AS_METHOD);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002605}
2606
2607
2608void LCodeGen::DoDeferredMathAbsTaggedHeapNumber(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002609 Register input_reg = ToRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002610 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002611 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002612 DeoptimizeIf(not_equal, instr->environment());
2613
2614 Label done;
2615 Register tmp = input_reg.is(eax) ? ecx : eax;
2616 Register tmp2 = tmp.is(ecx) ? edx : input_reg.is(ecx) ? edx : ecx;
2617
2618 // Preserve the value of all registers.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002619 PushSafepointRegistersScope scope(this);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002620
2621 Label negative;
2622 __ mov(tmp, FieldOperand(input_reg, HeapNumber::kExponentOffset));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002623 // Check the sign of the argument. If the argument is positive, just
2624 // return it. We do not need to patch the stack since |input| and
2625 // |result| are the same register and |input| will be restored
2626 // unchanged by popping safepoint registers.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002627 __ test(tmp, Immediate(HeapNumber::kSignMask));
2628 __ j(not_zero, &negative);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002629 __ jmp(&done);
2630
2631 __ bind(&negative);
2632
2633 Label allocated, slow;
2634 __ AllocateHeapNumber(tmp, tmp2, no_reg, &slow);
2635 __ jmp(&allocated);
2636
2637 // Slow case: Call the runtime system to do the number allocation.
2638 __ bind(&slow);
2639
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002640 CallRuntimeFromDeferred(Runtime::kAllocateHeapNumber, 0,
2641 instr, instr->context());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00002642
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002643 // Set the pointer to the new heap number in tmp.
2644 if (!tmp.is(eax)) __ mov(tmp, eax);
2645
2646 // Restore input_reg after call to runtime.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002647 __ LoadFromSafepointRegisterSlot(input_reg, input_reg);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002648
2649 __ bind(&allocated);
2650 __ mov(tmp2, FieldOperand(input_reg, HeapNumber::kExponentOffset));
2651 __ and_(tmp2, ~HeapNumber::kSignMask);
2652 __ mov(FieldOperand(tmp, HeapNumber::kExponentOffset), tmp2);
2653 __ mov(tmp2, FieldOperand(input_reg, HeapNumber::kMantissaOffset));
2654 __ mov(FieldOperand(tmp, HeapNumber::kMantissaOffset), tmp2);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00002655 __ StoreToSafepointRegisterSlot(input_reg, tmp);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002656
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002657 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002658}
2659
2660
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002661void LCodeGen::EmitIntegerMathAbs(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002662 Register input_reg = ToRegister(instr->value());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002663 __ test(input_reg, Operand(input_reg));
2664 Label is_positive;
2665 __ j(not_sign, &is_positive);
2666 __ neg(input_reg);
2667 __ test(input_reg, Operand(input_reg));
2668 DeoptimizeIf(negative, instr->environment());
2669 __ bind(&is_positive);
2670}
2671
2672
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002673void LCodeGen::DoMathAbs(LUnaryMathOperation* instr) {
2674 // Class for deferred case.
2675 class DeferredMathAbsTaggedHeapNumber: public LDeferredCode {
2676 public:
2677 DeferredMathAbsTaggedHeapNumber(LCodeGen* codegen,
2678 LUnaryMathOperation* instr)
2679 : LDeferredCode(codegen), instr_(instr) { }
2680 virtual void Generate() {
2681 codegen()->DoDeferredMathAbsTaggedHeapNumber(instr_);
2682 }
2683 private:
2684 LUnaryMathOperation* instr_;
2685 };
2686
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002687 ASSERT(instr->value()->Equals(instr->result()));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002688 Representation r = instr->hydrogen()->value()->representation();
2689
2690 if (r.IsDouble()) {
2691 XMMRegister scratch = xmm0;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002692 XMMRegister input_reg = ToDoubleRegister(instr->value());
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002693 __ xorps(scratch, scratch);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002694 __ subsd(scratch, input_reg);
2695 __ pand(input_reg, scratch);
2696 } else if (r.IsInteger32()) {
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002697 EmitIntegerMathAbs(instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002698 } else { // Tagged case.
2699 DeferredMathAbsTaggedHeapNumber* deferred =
2700 new DeferredMathAbsTaggedHeapNumber(this, instr);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002701 Register input_reg = ToRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002702 // Smi check.
whesse@chromium.org7b260152011-06-20 15:33:18 +00002703 __ JumpIfNotSmi(input_reg, deferred->entry());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00002704 EmitIntegerMathAbs(instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002705 __ bind(deferred->exit());
2706 }
2707}
2708
2709
2710void LCodeGen::DoMathFloor(LUnaryMathOperation* instr) {
2711 XMMRegister xmm_scratch = xmm0;
2712 Register output_reg = ToRegister(instr->result());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002713 XMMRegister input_reg = ToDoubleRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002714
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002715 if (CpuFeatures::IsSupported(SSE4_1)) {
2716 CpuFeatures::Scope scope(SSE4_1);
2717 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2718 // Deoptimize on negative zero.
2719 Label non_zero;
2720 __ xorps(xmm_scratch, xmm_scratch); // Zero the register.
2721 __ ucomisd(input_reg, xmm_scratch);
2722 __ j(not_equal, &non_zero, Label::kNear);
2723 __ movmskpd(output_reg, input_reg);
2724 __ test(output_reg, Immediate(1));
2725 DeoptimizeIf(not_zero, instr->environment());
2726 __ bind(&non_zero);
2727 }
2728 __ roundsd(xmm_scratch, input_reg, Assembler::kRoundDown);
2729 __ cvttsd2si(output_reg, Operand(xmm_scratch));
2730 // Overflow is signalled with minint.
2731 __ cmp(output_reg, 0x80000000u);
2732 DeoptimizeIf(equal, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002733 } else {
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002734 Label done;
2735 // Deoptimize on negative numbers.
2736 __ xorps(xmm_scratch, xmm_scratch); // Zero the register.
2737 __ ucomisd(input_reg, xmm_scratch);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002738 DeoptimizeIf(below, instr->environment());
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00002739
2740 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2741 // Check for negative zero.
2742 Label positive_sign;
2743 __ j(above, &positive_sign, Label::kNear);
2744 __ movmskpd(output_reg, input_reg);
2745 __ test(output_reg, Immediate(1));
2746 DeoptimizeIf(not_zero, instr->environment());
2747 __ Set(output_reg, Immediate(0));
2748 __ jmp(&done, Label::kNear);
2749 __ bind(&positive_sign);
2750 }
2751
2752 // Use truncating instruction (OK because input is positive).
2753 __ cvttsd2si(output_reg, Operand(input_reg));
2754
2755 // Overflow is signalled with minint.
2756 __ cmp(output_reg, 0x80000000u);
2757 DeoptimizeIf(equal, instr->environment());
2758 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002759 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002760}
2761
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002762void LCodeGen::DoMathRound(LUnaryMathOperation* instr) {
2763 XMMRegister xmm_scratch = xmm0;
2764 Register output_reg = ToRegister(instr->result());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002765 XMMRegister input_reg = ToDoubleRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002766
danno@chromium.org160a7b02011-04-18 15:51:38 +00002767 Label below_half, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002768 // xmm_scratch = 0.5
2769 ExternalReference one_half = ExternalReference::address_of_one_half();
2770 __ movdbl(xmm_scratch, Operand::StaticVariable(one_half));
danno@chromium.org160a7b02011-04-18 15:51:38 +00002771 __ ucomisd(xmm_scratch, input_reg);
2772 __ j(above, &below_half);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002773 // input = input + 0.5
2774 __ addsd(input_reg, xmm_scratch);
2775
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002776 // Compute Math.floor(value + 0.5).
2777 // Use truncating instruction (OK because input is positive).
2778 __ cvttsd2si(output_reg, Operand(input_reg));
2779
2780 // Overflow is signalled with minint.
2781 __ cmp(output_reg, 0x80000000u);
2782 DeoptimizeIf(equal, instr->environment());
danno@chromium.org160a7b02011-04-18 15:51:38 +00002783 __ jmp(&done);
2784
2785 __ bind(&below_half);
2786
2787 // We return 0 for the input range [+0, 0.5[, or [-0.5, 0.5[ if
2788 // we can ignore the difference between a result of -0 and +0.
2789 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
2790 // If the sign is positive, we return +0.
2791 __ movmskpd(output_reg, input_reg);
2792 __ test(output_reg, Immediate(1));
2793 DeoptimizeIf(not_zero, instr->environment());
2794 } else {
2795 // If the input is >= -0.5, we return +0.
2796 __ mov(output_reg, Immediate(0xBF000000));
2797 __ movd(xmm_scratch, Operand(output_reg));
2798 __ cvtss2sd(xmm_scratch, xmm_scratch);
2799 __ ucomisd(input_reg, xmm_scratch);
2800 DeoptimizeIf(below, instr->environment());
2801 }
2802 __ Set(output_reg, Immediate(0));
2803 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002804}
2805
2806
2807void LCodeGen::DoMathSqrt(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002808 XMMRegister input_reg = ToDoubleRegister(instr->value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002809 ASSERT(ToDoubleRegister(instr->result()).is(input_reg));
2810 __ sqrtsd(input_reg, input_reg);
2811}
2812
2813
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002814void LCodeGen::DoMathPowHalf(LUnaryMathOperation* instr) {
2815 XMMRegister xmm_scratch = xmm0;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002816 XMMRegister input_reg = ToDoubleRegister(instr->value());
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002817 ASSERT(ToDoubleRegister(instr->result()).is(input_reg));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002818 __ xorps(xmm_scratch, xmm_scratch);
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00002819 __ addsd(input_reg, xmm_scratch); // Convert -0 to +0.
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002820 __ sqrtsd(input_reg, input_reg);
2821}
2822
2823
2824void LCodeGen::DoPower(LPower* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00002825 LOperand* left = instr->InputAt(0);
2826 LOperand* right = instr->InputAt(1);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002827 DoubleRegister result_reg = ToDoubleRegister(instr->result());
2828 Representation exponent_type = instr->hydrogen()->right()->representation();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002829
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002830 if (exponent_type.IsDouble()) {
2831 // It is safe to use ebx directly since the instruction is marked
2832 // as a call.
2833 __ PrepareCallCFunction(4, ebx);
2834 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2835 __ movdbl(Operand(esp, 1 * kDoubleSize), ToDoubleRegister(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002836 __ CallCFunction(ExternalReference::power_double_double_function(isolate()),
2837 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002838 } else if (exponent_type.IsInteger32()) {
2839 // It is safe to use ebx directly since the instruction is marked
2840 // as a call.
2841 ASSERT(!ToRegister(right).is(ebx));
2842 __ PrepareCallCFunction(4, ebx);
2843 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2844 __ mov(Operand(esp, 1 * kDoubleSize), ToRegister(right));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002845 __ CallCFunction(ExternalReference::power_double_int_function(isolate()),
2846 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002847 } else {
2848 ASSERT(exponent_type.IsTagged());
2849 CpuFeatures::Scope scope(SSE2);
2850 Register right_reg = ToRegister(right);
2851
2852 Label non_smi, call;
whesse@chromium.org7b260152011-06-20 15:33:18 +00002853 __ JumpIfNotSmi(right_reg, &non_smi);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002854 __ SmiUntag(right_reg);
2855 __ cvtsi2sd(result_reg, Operand(right_reg));
2856 __ jmp(&call);
2857
2858 __ bind(&non_smi);
2859 // It is safe to use ebx directly since the instruction is marked
2860 // as a call.
2861 ASSERT(!right_reg.is(ebx));
2862 __ CmpObjectType(right_reg, HEAP_NUMBER_TYPE , ebx);
2863 DeoptimizeIf(not_equal, instr->environment());
2864 __ movdbl(result_reg, FieldOperand(right_reg, HeapNumber::kValueOffset));
2865
2866 __ bind(&call);
2867 __ PrepareCallCFunction(4, ebx);
2868 __ movdbl(Operand(esp, 0 * kDoubleSize), ToDoubleRegister(left));
2869 __ movdbl(Operand(esp, 1 * kDoubleSize), result_reg);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00002870 __ CallCFunction(ExternalReference::power_double_double_function(isolate()),
2871 4);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002872 }
2873
2874 // Return value is in st(0) on ia32.
2875 // Store it into the (fixed) result register.
2876 __ sub(Operand(esp), Immediate(kDoubleSize));
2877 __ fstp_d(Operand(esp, 0));
2878 __ movdbl(result_reg, Operand(esp, 0));
2879 __ add(Operand(esp), Immediate(kDoubleSize));
2880}
2881
2882
2883void LCodeGen::DoMathLog(LUnaryMathOperation* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002884 ASSERT(instr->value()->Equals(instr->result()));
2885 XMMRegister input_reg = ToDoubleRegister(instr->value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002886 Label positive, done, zero;
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00002887 __ xorps(xmm0, xmm0);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002888 __ ucomisd(input_reg, xmm0);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002889 __ j(above, &positive, Label::kNear);
2890 __ j(equal, &zero, Label::kNear);
svenpanne@chromium.org84bcc552011-07-18 09:50:57 +00002891 ExternalReference nan =
2892 ExternalReference::address_of_canonical_non_hole_nan();
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002893 __ movdbl(input_reg, Operand::StaticVariable(nan));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002894 __ jmp(&done, Label::kNear);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002895 __ bind(&zero);
2896 __ push(Immediate(0xFFF00000));
2897 __ push(Immediate(0));
2898 __ movdbl(input_reg, Operand(esp, 0));
2899 __ add(Operand(esp), Immediate(kDoubleSize));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00002900 __ jmp(&done, Label::kNear);
vegorov@chromium.org74f333b2011-04-06 11:17:46 +00002901 __ bind(&positive);
2902 __ fldln2();
2903 __ sub(Operand(esp), Immediate(kDoubleSize));
2904 __ movdbl(Operand(esp, 0), input_reg);
2905 __ fld_d(Operand(esp, 0));
2906 __ fyl2x();
2907 __ fstp_d(Operand(esp, 0));
2908 __ movdbl(input_reg, Operand(esp, 0));
2909 __ add(Operand(esp), Immediate(kDoubleSize));
2910 __ bind(&done);
whesse@chromium.org023421e2010-12-21 12:19:12 +00002911}
2912
2913
2914void LCodeGen::DoMathCos(LUnaryMathOperation* instr) {
2915 ASSERT(ToDoubleRegister(instr->result()).is(xmm1));
2916 TranscendentalCacheStub stub(TranscendentalCache::COS,
2917 TranscendentalCacheStub::UNTAGGED);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002918 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
whesse@chromium.org023421e2010-12-21 12:19:12 +00002919}
2920
2921
2922void LCodeGen::DoMathSin(LUnaryMathOperation* instr) {
2923 ASSERT(ToDoubleRegister(instr->result()).is(xmm1));
2924 TranscendentalCacheStub stub(TranscendentalCache::SIN,
2925 TranscendentalCacheStub::UNTAGGED);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002926 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002927}
2928
2929
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002930void LCodeGen::DoUnaryMathOperation(LUnaryMathOperation* instr) {
2931 switch (instr->op()) {
2932 case kMathAbs:
2933 DoMathAbs(instr);
2934 break;
2935 case kMathFloor:
2936 DoMathFloor(instr);
2937 break;
2938 case kMathRound:
2939 DoMathRound(instr);
2940 break;
2941 case kMathSqrt:
2942 DoMathSqrt(instr);
2943 break;
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002944 case kMathPowHalf:
2945 DoMathPowHalf(instr);
2946 break;
whesse@chromium.org023421e2010-12-21 12:19:12 +00002947 case kMathCos:
2948 DoMathCos(instr);
2949 break;
2950 case kMathSin:
2951 DoMathSin(instr);
2952 break;
ager@chromium.org5f0c45f2010-12-17 08:51:21 +00002953 case kMathLog:
2954 DoMathLog(instr);
2955 break;
2956
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002957 default:
2958 UNREACHABLE();
2959 }
2960}
2961
2962
danno@chromium.org160a7b02011-04-18 15:51:38 +00002963void LCodeGen::DoInvokeFunction(LInvokeFunction* instr) {
2964 ASSERT(ToRegister(instr->context()).is(esi));
2965 ASSERT(ToRegister(instr->function()).is(edi));
2966 ASSERT(instr->HasPointerMap());
2967 ASSERT(instr->HasDeoptimizationEnvironment());
2968 LPointerMap* pointers = instr->pointer_map();
2969 LEnvironment* env = instr->deoptimization_environment();
2970 RecordPosition(pointers->position());
2971 RegisterEnvironmentForDeoptimization(env);
2972 SafepointGenerator generator(this, pointers, env->deoptimization_index());
2973 ParameterCount count(instr->arity());
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00002974 __ InvokeFunction(edi, count, CALL_FUNCTION, generator, CALL_AS_METHOD);
danno@chromium.org160a7b02011-04-18 15:51:38 +00002975}
2976
2977
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002978void LCodeGen::DoCallKeyed(LCallKeyed* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002979 ASSERT(ToRegister(instr->context()).is(esi));
2980 ASSERT(ToRegister(instr->key()).is(ecx));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002981 ASSERT(ToRegister(instr->result()).is(eax));
2982
2983 int arity = instr->arity();
lrn@chromium.org34e60782011-09-15 07:25:40 +00002984 Handle<Code> ic =
2985 isolate()->stub_cache()->ComputeKeyedCallInitialize(arity);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002986 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002987}
2988
2989
2990void LCodeGen::DoCallNamed(LCallNamed* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00002991 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002992 ASSERT(ToRegister(instr->result()).is(eax));
2993
2994 int arity = instr->arity();
danno@chromium.org40cb8782011-05-25 07:58:50 +00002995 RelocInfo::Mode mode = RelocInfo::CODE_TARGET;
2996 Handle<Code> ic =
lrn@chromium.org34e60782011-09-15 07:25:40 +00002997 isolate()->stub_cache()->ComputeCallInitialize(arity, mode);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00002998 __ mov(ecx, instr->name());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00002999 CallCode(ic, mode, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003000}
3001
3002
3003void LCodeGen::DoCallFunction(LCallFunction* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003004 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003005 ASSERT(ToRegister(instr->result()).is(eax));
3006
3007 int arity = instr->arity();
lrn@chromium.org34e60782011-09-15 07:25:40 +00003008 CallFunctionStub stub(arity, RECEIVER_MIGHT_BE_IMPLICIT);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003009 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003010 __ Drop(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003011}
3012
3013
3014void LCodeGen::DoCallGlobal(LCallGlobal* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003015 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003016 ASSERT(ToRegister(instr->result()).is(eax));
3017
3018 int arity = instr->arity();
danno@chromium.org40cb8782011-05-25 07:58:50 +00003019 RelocInfo::Mode mode = RelocInfo::CODE_TARGET_CONTEXT;
3020 Handle<Code> ic =
lrn@chromium.org34e60782011-09-15 07:25:40 +00003021 isolate()->stub_cache()->ComputeCallInitialize(arity, mode);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003022 __ mov(ecx, instr->name());
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003023 CallCode(ic, mode, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003024}
3025
3026
3027void LCodeGen::DoCallKnownGlobal(LCallKnownGlobal* instr) {
3028 ASSERT(ToRegister(instr->result()).is(eax));
3029 __ mov(edi, instr->target());
danno@chromium.org40cb8782011-05-25 07:58:50 +00003030 CallKnownFunction(instr->target(), instr->arity(), instr, CALL_AS_FUNCTION);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003031}
3032
3033
3034void LCodeGen::DoCallNew(LCallNew* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003035 ASSERT(ToRegister(instr->context()).is(esi));
3036 ASSERT(ToRegister(instr->constructor()).is(edi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003037 ASSERT(ToRegister(instr->result()).is(eax));
3038
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003039 Handle<Code> builtin = isolate()->builtins()->JSConstructCall();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003040 __ Set(eax, Immediate(instr->arity()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003041 CallCode(builtin, RelocInfo::CONSTRUCT_CALL, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003042}
3043
3044
3045void LCodeGen::DoCallRuntime(LCallRuntime* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003046 CallRuntime(instr->function(), instr->arity(), instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003047}
3048
3049
3050void LCodeGen::DoStoreNamedField(LStoreNamedField* instr) {
3051 Register object = ToRegister(instr->object());
3052 Register value = ToRegister(instr->value());
3053 int offset = instr->offset();
3054
3055 if (!instr->transition().is_null()) {
3056 __ mov(FieldOperand(object, HeapObject::kMapOffset), instr->transition());
3057 }
3058
3059 // Do the store.
3060 if (instr->is_in_object()) {
3061 __ mov(FieldOperand(object, offset), value);
3062 if (instr->needs_write_barrier()) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003063 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003064 // Update the write barrier for the object for in-object properties.
3065 __ RecordWrite(object, offset, value, temp);
3066 }
3067 } else {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003068 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003069 __ mov(temp, FieldOperand(object, JSObject::kPropertiesOffset));
3070 __ mov(FieldOperand(temp, offset), value);
3071 if (instr->needs_write_barrier()) {
3072 // Update the write barrier for the properties array.
3073 // object is used as a scratch register.
3074 __ RecordWrite(temp, offset, value, object);
3075 }
3076 }
3077}
3078
3079
3080void LCodeGen::DoStoreNamedGeneric(LStoreNamedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003081 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003082 ASSERT(ToRegister(instr->object()).is(edx));
3083 ASSERT(ToRegister(instr->value()).is(eax));
3084
3085 __ mov(ecx, instr->name());
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003086 Handle<Code> ic = instr->strict_mode()
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003087 ? isolate()->builtins()->StoreIC_Initialize_Strict()
3088 : isolate()->builtins()->StoreIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003089 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003090}
3091
3092
3093void LCodeGen::DoBoundsCheck(LBoundsCheck* instr) {
danno@chromium.orgb6451162011-08-17 14:33:23 +00003094 if (instr->index()->IsConstantOperand()) {
3095 __ cmp(ToOperand(instr->length()),
3096 ToImmediate(LConstantOperand::cast(instr->index())));
3097 DeoptimizeIf(below_equal, instr->environment());
3098 } else {
3099 __ cmp(ToRegister(instr->index()), ToOperand(instr->length()));
3100 DeoptimizeIf(above_equal, instr->environment());
3101 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003102}
3103
3104
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003105void LCodeGen::DoStoreKeyedSpecializedArrayElement(
3106 LStoreKeyedSpecializedArrayElement* instr) {
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003107 ElementsKind elements_kind = instr->elements_kind();
rossberg@chromium.org717967f2011-07-20 13:44:42 +00003108 Operand operand(BuildFastArrayOperand(instr->external_pointer(),
3109 instr->key(), elements_kind, 0));
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003110 if (elements_kind == EXTERNAL_FLOAT_ELEMENTS) {
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003111 __ cvtsd2ss(xmm0, ToDoubleRegister(instr->value()));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003112 __ movss(operand, xmm0);
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003113 } else if (elements_kind == EXTERNAL_DOUBLE_ELEMENTS) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003114 __ movdbl(operand, ToDoubleRegister(instr->value()));
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003115 } else {
3116 Register value = ToRegister(instr->value());
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003117 switch (elements_kind) {
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003118 case EXTERNAL_PIXEL_ELEMENTS:
3119 case EXTERNAL_UNSIGNED_BYTE_ELEMENTS:
3120 case EXTERNAL_BYTE_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003121 __ mov_b(operand, value);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003122 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003123 case EXTERNAL_SHORT_ELEMENTS:
3124 case EXTERNAL_UNSIGNED_SHORT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003125 __ mov_w(operand, value);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003126 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003127 case EXTERNAL_INT_ELEMENTS:
3128 case EXTERNAL_UNSIGNED_INT_ELEMENTS:
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003129 __ mov(operand, value);
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003130 break;
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003131 case EXTERNAL_FLOAT_ELEMENTS:
3132 case EXTERNAL_DOUBLE_ELEMENTS:
3133 case FAST_ELEMENTS:
3134 case FAST_DOUBLE_ELEMENTS:
3135 case DICTIONARY_ELEMENTS:
3136 case NON_STRICT_ARGUMENTS_ELEMENTS:
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003137 UNREACHABLE();
3138 break;
3139 }
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003140 }
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003141}
3142
3143
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003144void LCodeGen::DoStoreKeyedFastElement(LStoreKeyedFastElement* instr) {
3145 Register value = ToRegister(instr->value());
3146 Register elements = ToRegister(instr->object());
3147 Register key = instr->key()->IsRegister() ? ToRegister(instr->key()) : no_reg;
3148
3149 // Do the store.
3150 if (instr->key()->IsConstantOperand()) {
3151 ASSERT(!instr->hydrogen()->NeedsWriteBarrier());
3152 LConstantOperand* const_operand = LConstantOperand::cast(instr->key());
3153 int offset =
3154 ToInteger32(const_operand) * kPointerSize + FixedArray::kHeaderSize;
3155 __ mov(FieldOperand(elements, offset), value);
3156 } else {
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003157 __ mov(FieldOperand(elements,
3158 key,
3159 times_pointer_size,
3160 FixedArray::kHeaderSize),
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003161 value);
3162 }
3163
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003164 if (instr->hydrogen()->NeedsWriteBarrier()) {
3165 // Compute address of modified element and store it into key register.
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00003166 __ lea(key,
3167 FieldOperand(elements,
3168 key,
3169 times_pointer_size,
3170 FixedArray::kHeaderSize));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003171 __ RecordWrite(elements, key, value);
3172 }
3173}
3174
3175
rossberg@chromium.org717967f2011-07-20 13:44:42 +00003176void LCodeGen::DoStoreKeyedFastDoubleElement(
3177 LStoreKeyedFastDoubleElement* instr) {
3178 XMMRegister value = ToDoubleRegister(instr->value());
rossberg@chromium.org717967f2011-07-20 13:44:42 +00003179 Label have_value;
3180
3181 __ ucomisd(value, value);
3182 __ j(parity_odd, &have_value); // NaN.
3183
3184 ExternalReference canonical_nan_reference =
3185 ExternalReference::address_of_canonical_non_hole_nan();
3186 __ movdbl(value, Operand::StaticVariable(canonical_nan_reference));
3187 __ bind(&have_value);
3188
3189 Operand double_store_operand = BuildFastArrayOperand(
kmillikin@chromium.org83e16822011-09-13 08:21:47 +00003190 instr->elements(), instr->key(), FAST_DOUBLE_ELEMENTS,
rossberg@chromium.org717967f2011-07-20 13:44:42 +00003191 FixedDoubleArray::kHeaderSize - kHeapObjectTag);
3192 __ movdbl(double_store_operand, value);
3193}
3194
3195
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003196void LCodeGen::DoStoreKeyedGeneric(LStoreKeyedGeneric* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00003197 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003198 ASSERT(ToRegister(instr->object()).is(edx));
3199 ASSERT(ToRegister(instr->key()).is(ecx));
3200 ASSERT(ToRegister(instr->value()).is(eax));
3201
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003202 Handle<Code> ic = instr->strict_mode()
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00003203 ? isolate()->builtins()->KeyedStoreIC_Initialize_Strict()
3204 : isolate()->builtins()->KeyedStoreIC_Initialize();
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003205 CallCode(ic, RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003206}
3207
3208
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003209void LCodeGen::DoStringCharCodeAt(LStringCharCodeAt* instr) {
3210 class DeferredStringCharCodeAt: public LDeferredCode {
3211 public:
3212 DeferredStringCharCodeAt(LCodeGen* codegen, LStringCharCodeAt* instr)
3213 : LDeferredCode(codegen), instr_(instr) { }
3214 virtual void Generate() { codegen()->DoDeferredStringCharCodeAt(instr_); }
3215 private:
3216 LStringCharCodeAt* instr_;
3217 };
3218
3219 Register string = ToRegister(instr->string());
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003220 Register index = ToRegister(instr->index());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003221 Register result = ToRegister(instr->result());
3222
3223 DeferredStringCharCodeAt* deferred =
3224 new DeferredStringCharCodeAt(this, instr);
3225
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003226 // Fetch the instance type of the receiver into result register.
3227 __ mov(result, FieldOperand(string, HeapObject::kMapOffset));
3228 __ movzx_b(result, FieldOperand(result, Map::kInstanceTypeOffset));
3229
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003230 // We need special handling for indirect strings.
3231 Label check_sequential;
3232 __ test(result, Immediate(kIsIndirectStringMask));
3233 __ j(zero, &check_sequential, Label::kNear);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003234
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003235 // Dispatch on the indirect string shape: slice or cons.
3236 Label cons_string;
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003237 __ test(result, Immediate(kSlicedNotConsMask));
3238 __ j(zero, &cons_string, Label::kNear);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003239
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003240 // Handle slices.
3241 Label indirect_string_loaded;
3242 __ mov(result, FieldOperand(string, SlicedString::kOffsetOffset));
3243 __ SmiUntag(result);
3244 __ add(index, Operand(result));
3245 __ mov(string, FieldOperand(string, SlicedString::kParentOffset));
3246 __ jmp(&indirect_string_loaded, Label::kNear);
3247
3248 // Handle conses.
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003249 // Check whether the right hand side is the empty string (i.e. if
3250 // this is really a flat string in a cons string). If that is not
3251 // the case we would rather go to the runtime system now to flatten
3252 // the string.
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003253 __ bind(&cons_string);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003254 __ cmp(FieldOperand(string, ConsString::kSecondOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003255 Immediate(factory()->empty_string()));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003256 __ j(not_equal, deferred->entry());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003257 __ mov(string, FieldOperand(string, ConsString::kFirstOffset));
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003258
3259 __ bind(&indirect_string_loaded);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003260 __ mov(result, FieldOperand(string, HeapObject::kMapOffset));
3261 __ movzx_b(result, FieldOperand(result, Map::kInstanceTypeOffset));
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003262
3263 // Check whether the string is sequential. The only non-sequential
3264 // shapes we support have just been unwrapped above.
3265 __ bind(&check_sequential);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003266 STATIC_ASSERT(kSeqStringTag == 0);
3267 __ test(result, Immediate(kStringRepresentationMask));
3268 __ j(not_zero, deferred->entry());
3269
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003270 // Dispatch on the encoding: ASCII or two-byte.
3271 Label ascii_string;
fschneider@chromium.org1805e212011-09-05 10:49:12 +00003272 STATIC_ASSERT((kStringEncodingMask & kAsciiStringTag) != 0);
3273 STATIC_ASSERT((kStringEncodingMask & kTwoByteStringTag) == 0);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003274 __ test(result, Immediate(kStringEncodingMask));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003275 __ j(not_zero, &ascii_string, Label::kNear);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003276
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003277 // Two-byte string.
3278 // Load the two-byte character code into the result register.
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003279 Label done;
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003280 STATIC_ASSERT(kSmiTag == 0 && kSmiTagSize == 1);
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003281 __ movzx_w(result, FieldOperand(string,
3282 index,
3283 times_2,
3284 SeqTwoByteString::kHeaderSize));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003285 __ jmp(&done, Label::kNear);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003286
3287 // ASCII string.
3288 // Load the byte into the result register.
3289 __ bind(&ascii_string);
ricow@chromium.org4668a2c2011-08-29 10:41:00 +00003290 __ movzx_b(result, FieldOperand(string,
3291 index,
3292 times_1,
3293 SeqAsciiString::kHeaderSize));
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003294 __ bind(&done);
3295 __ bind(deferred->exit());
3296}
3297
3298
3299void LCodeGen::DoDeferredStringCharCodeAt(LStringCharCodeAt* instr) {
3300 Register string = ToRegister(instr->string());
3301 Register result = ToRegister(instr->result());
3302
3303 // TODO(3095996): Get rid of this. For now, we need to make the
3304 // result register contain a valid pointer because it is already
3305 // contained in the register pointer map.
3306 __ Set(result, Immediate(0));
3307
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003308 PushSafepointRegistersScope scope(this);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003309 __ push(string);
3310 // Push the index as a smi. This is safe because of the checks in
3311 // DoStringCharCodeAt above.
3312 STATIC_ASSERT(String::kMaxLength <= Smi::kMaxValue);
3313 if (instr->index()->IsConstantOperand()) {
3314 int const_index = ToInteger32(LConstantOperand::cast(instr->index()));
3315 __ push(Immediate(Smi::FromInt(const_index)));
3316 } else {
3317 Register index = ToRegister(instr->index());
3318 __ SmiTag(index);
3319 __ push(index);
3320 }
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003321 CallRuntimeFromDeferred(Runtime::kStringCharCodeAt, 2,
3322 instr, instr->context());
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003323 if (FLAG_debug_code) {
3324 __ AbortIfNotSmi(eax);
3325 }
3326 __ SmiUntag(eax);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003327 __ StoreToSafepointRegisterSlot(result, eax);
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003328}
3329
3330
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003331void LCodeGen::DoStringCharFromCode(LStringCharFromCode* instr) {
3332 class DeferredStringCharFromCode: public LDeferredCode {
3333 public:
3334 DeferredStringCharFromCode(LCodeGen* codegen, LStringCharFromCode* instr)
3335 : LDeferredCode(codegen), instr_(instr) { }
3336 virtual void Generate() { codegen()->DoDeferredStringCharFromCode(instr_); }
3337 private:
3338 LStringCharFromCode* instr_;
3339 };
3340
3341 DeferredStringCharFromCode* deferred =
3342 new DeferredStringCharFromCode(this, instr);
3343
3344 ASSERT(instr->hydrogen()->value()->representation().IsInteger32());
3345 Register char_code = ToRegister(instr->char_code());
3346 Register result = ToRegister(instr->result());
3347 ASSERT(!char_code.is(result));
3348
3349 __ cmp(char_code, String::kMaxAsciiCharCode);
3350 __ j(above, deferred->entry());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003351 __ Set(result, Immediate(factory()->single_character_string_cache()));
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003352 __ mov(result, FieldOperand(result,
3353 char_code, times_pointer_size,
3354 FixedArray::kHeaderSize));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003355 __ cmp(result, factory()->undefined_value());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003356 __ j(equal, deferred->entry());
3357 __ bind(deferred->exit());
3358}
3359
3360
3361void LCodeGen::DoDeferredStringCharFromCode(LStringCharFromCode* instr) {
3362 Register char_code = ToRegister(instr->char_code());
3363 Register result = ToRegister(instr->result());
3364
3365 // TODO(3095996): Get rid of this. For now, we need to make the
3366 // result register contain a valid pointer because it is already
3367 // contained in the register pointer map.
3368 __ Set(result, Immediate(0));
3369
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003370 PushSafepointRegistersScope scope(this);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003371 __ SmiTag(char_code);
3372 __ push(char_code);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003373 CallRuntimeFromDeferred(Runtime::kCharFromCode, 1, instr, instr->context());
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003374 __ StoreToSafepointRegisterSlot(result, eax);
whesse@chromium.orgb08986c2011-03-14 16:13:42 +00003375}
3376
3377
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003378void LCodeGen::DoStringLength(LStringLength* instr) {
3379 Register string = ToRegister(instr->string());
3380 Register result = ToRegister(instr->result());
3381 __ mov(result, FieldOperand(string, String::kLengthOffset));
3382}
3383
3384
danno@chromium.org160a7b02011-04-18 15:51:38 +00003385void LCodeGen::DoStringAdd(LStringAdd* instr) {
3386 if (instr->left()->IsConstantOperand()) {
3387 __ push(ToImmediate(instr->left()));
3388 } else {
3389 __ push(ToOperand(instr->left()));
3390 }
3391 if (instr->right()->IsConstantOperand()) {
3392 __ push(ToImmediate(instr->right()));
3393 } else {
3394 __ push(ToOperand(instr->right()));
3395 }
3396 StringAddStub stub(NO_STRING_CHECK_IN_STUB);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003397 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
danno@chromium.org160a7b02011-04-18 15:51:38 +00003398}
3399
3400
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003401void LCodeGen::DoInteger32ToDouble(LInteger32ToDouble* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003402 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003403 ASSERT(input->IsRegister() || input->IsStackSlot());
3404 LOperand* output = instr->result();
3405 ASSERT(output->IsDoubleRegister());
3406 __ cvtsi2sd(ToDoubleRegister(output), ToOperand(input));
3407}
3408
3409
3410void LCodeGen::DoNumberTagI(LNumberTagI* instr) {
3411 class DeferredNumberTagI: public LDeferredCode {
3412 public:
3413 DeferredNumberTagI(LCodeGen* codegen, LNumberTagI* instr)
3414 : LDeferredCode(codegen), instr_(instr) { }
3415 virtual void Generate() { codegen()->DoDeferredNumberTagI(instr_); }
3416 private:
3417 LNumberTagI* instr_;
3418 };
3419
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003420 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003421 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3422 Register reg = ToRegister(input);
3423
3424 DeferredNumberTagI* deferred = new DeferredNumberTagI(this, instr);
3425 __ SmiTag(reg);
3426 __ j(overflow, deferred->entry());
3427 __ bind(deferred->exit());
3428}
3429
3430
3431void LCodeGen::DoDeferredNumberTagI(LNumberTagI* instr) {
3432 Label slow;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003433 Register reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003434 Register tmp = reg.is(eax) ? ecx : eax;
3435
3436 // Preserve the value of all registers.
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003437 PushSafepointRegistersScope scope(this);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003438
3439 // There was overflow, so bits 30 and 31 of the original integer
3440 // disagree. Try to allocate a heap number in new space and store
3441 // the value in there. If that fails, call the runtime system.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003442 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003443 __ SmiUntag(reg);
3444 __ xor_(reg, 0x80000000);
3445 __ cvtsi2sd(xmm0, Operand(reg));
3446 if (FLAG_inline_new) {
3447 __ AllocateHeapNumber(reg, tmp, no_reg, &slow);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003448 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003449 }
3450
3451 // Slow case: Call the runtime system to do the number allocation.
3452 __ bind(&slow);
3453
3454 // TODO(3095996): Put a valid pointer value in the stack slot where the result
3455 // register is stored, as this register is in the pointer map, but contains an
3456 // integer value.
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003457 __ StoreToSafepointRegisterSlot(reg, Immediate(0));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003458 // NumberTagI and NumberTagD use the context from the frame, rather than
3459 // the environment's HContext or HInlinedContext value.
3460 // They only call Runtime::kAllocateHeapNumber.
3461 // The corresponding HChange instructions are added in a phase that does
3462 // not have easy access to the local context.
3463 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
3464 __ CallRuntimeSaveDoubles(Runtime::kAllocateHeapNumber);
3465 RecordSafepointWithRegisters(
3466 instr->pointer_map(), 0, Safepoint::kNoDeoptimizationIndex);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003467 if (!reg.is(eax)) __ mov(reg, eax);
3468
3469 // Done. Put the value in xmm0 into the value of the allocated heap
3470 // number.
3471 __ bind(&done);
3472 __ movdbl(FieldOperand(reg, HeapNumber::kValueOffset), xmm0);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003473 __ StoreToSafepointRegisterSlot(reg, reg);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003474}
3475
3476
3477void LCodeGen::DoNumberTagD(LNumberTagD* instr) {
3478 class DeferredNumberTagD: public LDeferredCode {
3479 public:
3480 DeferredNumberTagD(LCodeGen* codegen, LNumberTagD* instr)
3481 : LDeferredCode(codegen), instr_(instr) { }
3482 virtual void Generate() { codegen()->DoDeferredNumberTagD(instr_); }
3483 private:
3484 LNumberTagD* instr_;
3485 };
3486
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003487 XMMRegister input_reg = ToDoubleRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003488 Register reg = ToRegister(instr->result());
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003489 Register tmp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003490
3491 DeferredNumberTagD* deferred = new DeferredNumberTagD(this, instr);
3492 if (FLAG_inline_new) {
3493 __ AllocateHeapNumber(reg, tmp, no_reg, deferred->entry());
3494 } else {
3495 __ jmp(deferred->entry());
3496 }
3497 __ bind(deferred->exit());
3498 __ movdbl(FieldOperand(reg, HeapNumber::kValueOffset), input_reg);
3499}
3500
3501
3502void LCodeGen::DoDeferredNumberTagD(LNumberTagD* instr) {
3503 // TODO(3095996): Get rid of this. For now, we need to make the
3504 // result register contain a valid pointer because it is already
3505 // contained in the register pointer map.
3506 Register reg = ToRegister(instr->result());
3507 __ Set(reg, Immediate(0));
3508
karlklose@chromium.org44bc7082011-04-11 12:33:05 +00003509 PushSafepointRegistersScope scope(this);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003510 // NumberTagI and NumberTagD use the context from the frame, rather than
3511 // the environment's HContext or HInlinedContext value.
3512 // They only call Runtime::kAllocateHeapNumber.
3513 // The corresponding HChange instructions are added in a phase that does
3514 // not have easy access to the local context.
3515 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
3516 __ CallRuntimeSaveDoubles(Runtime::kAllocateHeapNumber);
3517 RecordSafepointWithRegisters(instr->pointer_map(), 0,
3518 Safepoint::kNoDeoptimizationIndex);
fschneider@chromium.org3a5fd782011-02-24 10:10:44 +00003519 __ StoreToSafepointRegisterSlot(reg, eax);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003520}
3521
3522
3523void LCodeGen::DoSmiTag(LSmiTag* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003524 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003525 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3526 ASSERT(!instr->hydrogen_value()->CheckFlag(HValue::kCanOverflow));
3527 __ SmiTag(ToRegister(input));
3528}
3529
3530
3531void LCodeGen::DoSmiUntag(LSmiUntag* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003532 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003533 ASSERT(input->IsRegister() && input->Equals(instr->result()));
3534 if (instr->needs_check()) {
3535 __ test(ToRegister(input), Immediate(kSmiTagMask));
3536 DeoptimizeIf(not_zero, instr->environment());
3537 }
3538 __ SmiUntag(ToRegister(input));
3539}
3540
3541
3542void LCodeGen::EmitNumberUntagD(Register input_reg,
3543 XMMRegister result_reg,
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003544 bool deoptimize_on_undefined,
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003545 LEnvironment* env) {
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003546 Label load_smi, done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003547
3548 // Smi check.
whesse@chromium.org7b260152011-06-20 15:33:18 +00003549 __ JumpIfSmi(input_reg, &load_smi, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003550
3551 // Heap number map check.
3552 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003553 factory()->heap_number_map());
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003554 if (deoptimize_on_undefined) {
3555 DeoptimizeIf(not_equal, env);
3556 } else {
3557 Label heap_number;
3558 __ j(equal, &heap_number, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003559
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003560 __ cmp(input_reg, factory()->undefined_value());
3561 DeoptimizeIf(not_equal, env);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003562
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003563 // Convert undefined to NaN.
svenpanne@chromium.org84bcc552011-07-18 09:50:57 +00003564 ExternalReference nan =
3565 ExternalReference::address_of_canonical_non_hole_nan();
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003566 __ movdbl(result_reg, Operand::StaticVariable(nan));
3567 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003568
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003569 __ bind(&heap_number);
3570 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003571 // Heap number to XMM conversion.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003572 __ movdbl(result_reg, FieldOperand(input_reg, HeapNumber::kValueOffset));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003573 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003574
3575 // Smi to XMM conversion
3576 __ bind(&load_smi);
3577 __ SmiUntag(input_reg); // Untag smi before converting to float.
3578 __ cvtsi2sd(result_reg, Operand(input_reg));
3579 __ SmiTag(input_reg); // Retag smi.
3580 __ bind(&done);
3581}
3582
3583
3584class DeferredTaggedToI: public LDeferredCode {
3585 public:
3586 DeferredTaggedToI(LCodeGen* codegen, LTaggedToI* instr)
3587 : LDeferredCode(codegen), instr_(instr) { }
3588 virtual void Generate() { codegen()->DoDeferredTaggedToI(instr_); }
3589 private:
3590 LTaggedToI* instr_;
3591};
3592
3593
3594void LCodeGen::DoDeferredTaggedToI(LTaggedToI* instr) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003595 Label done, heap_number;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003596 Register input_reg = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003597
3598 // Heap number map check.
3599 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003600 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003601
3602 if (instr->truncating()) {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003603 __ j(equal, &heap_number, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003604 // Check for undefined. Undefined is converted to zero for truncating
3605 // conversions.
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003606 __ cmp(input_reg, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003607 DeoptimizeIf(not_equal, instr->environment());
3608 __ mov(input_reg, 0);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003609 __ jmp(&done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003610
3611 __ bind(&heap_number);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00003612 if (CpuFeatures::IsSupported(SSE3)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003613 CpuFeatures::Scope scope(SSE3);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003614 Label convert;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003615 // Use more powerful conversion when sse3 is available.
3616 // Load x87 register with heap number.
3617 __ fld_d(FieldOperand(input_reg, HeapNumber::kValueOffset));
3618 // Get exponent alone and check for too-big exponent.
3619 __ mov(input_reg, FieldOperand(input_reg, HeapNumber::kExponentOffset));
3620 __ and_(input_reg, HeapNumber::kExponentMask);
3621 const uint32_t kTooBigExponent =
3622 (HeapNumber::kExponentBias + 63) << HeapNumber::kExponentShift;
3623 __ cmp(Operand(input_reg), Immediate(kTooBigExponent));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003624 __ j(less, &convert, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003625 // Pop FPU stack before deoptimizing.
3626 __ ffree(0);
3627 __ fincstp();
3628 DeoptimizeIf(no_condition, instr->environment());
3629
3630 // Reserve space for 64 bit answer.
3631 __ bind(&convert);
3632 __ sub(Operand(esp), Immediate(kDoubleSize));
3633 // Do conversion, which cannot fail because we checked the exponent.
3634 __ fisttp_d(Operand(esp, 0));
3635 __ mov(input_reg, Operand(esp, 0)); // Low word of answer is the result.
3636 __ add(Operand(esp), Immediate(kDoubleSize));
3637 } else {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003638 XMMRegister xmm_temp = ToDoubleRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003639 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3640 __ cvttsd2si(input_reg, Operand(xmm0));
3641 __ cmp(input_reg, 0x80000000u);
3642 __ j(not_equal, &done);
3643 // Check if the input was 0x8000000 (kMinInt).
3644 // If no, then we got an overflow and we deoptimize.
3645 ExternalReference min_int = ExternalReference::address_of_min_int();
3646 __ movdbl(xmm_temp, Operand::StaticVariable(min_int));
3647 __ ucomisd(xmm_temp, xmm0);
3648 DeoptimizeIf(not_equal, instr->environment());
3649 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3650 }
3651 } else {
3652 // Deoptimize if we don't have a heap number.
3653 DeoptimizeIf(not_equal, instr->environment());
3654
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003655 XMMRegister xmm_temp = ToDoubleRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003656 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3657 __ cvttsd2si(input_reg, Operand(xmm0));
3658 __ cvtsi2sd(xmm_temp, Operand(input_reg));
3659 __ ucomisd(xmm0, xmm_temp);
3660 DeoptimizeIf(not_equal, instr->environment());
3661 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3662 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
3663 __ test(input_reg, Operand(input_reg));
3664 __ j(not_zero, &done);
3665 __ movmskpd(input_reg, xmm0);
3666 __ and_(input_reg, 1);
3667 DeoptimizeIf(not_zero, instr->environment());
3668 }
3669 }
3670 __ bind(&done);
3671}
3672
3673
3674void LCodeGen::DoTaggedToI(LTaggedToI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003675 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003676 ASSERT(input->IsRegister());
3677 ASSERT(input->Equals(instr->result()));
3678
3679 Register input_reg = ToRegister(input);
3680
3681 DeferredTaggedToI* deferred = new DeferredTaggedToI(this, instr);
3682
3683 // Smi check.
whesse@chromium.org7b260152011-06-20 15:33:18 +00003684 __ JumpIfNotSmi(input_reg, deferred->entry());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003685
3686 // Smi to int32 conversion
3687 __ SmiUntag(input_reg); // Untag smi.
3688
3689 __ bind(deferred->exit());
3690}
3691
3692
3693void LCodeGen::DoNumberUntagD(LNumberUntagD* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003694 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003695 ASSERT(input->IsRegister());
3696 LOperand* result = instr->result();
3697 ASSERT(result->IsDoubleRegister());
3698
3699 Register input_reg = ToRegister(input);
3700 XMMRegister result_reg = ToDoubleRegister(result);
3701
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00003702 EmitNumberUntagD(input_reg, result_reg,
3703 instr->hydrogen()->deoptimize_on_undefined(),
3704 instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003705}
3706
3707
3708void LCodeGen::DoDoubleToI(LDoubleToI* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003709 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003710 ASSERT(input->IsDoubleRegister());
3711 LOperand* result = instr->result();
3712 ASSERT(result->IsRegister());
3713
3714 XMMRegister input_reg = ToDoubleRegister(input);
3715 Register result_reg = ToRegister(result);
3716
3717 if (instr->truncating()) {
3718 // Performs a truncating conversion of a floating point number as used by
3719 // the JS bitwise operations.
3720 __ cvttsd2si(result_reg, Operand(input_reg));
3721 __ cmp(result_reg, 0x80000000u);
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +00003722 if (CpuFeatures::IsSupported(SSE3)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003723 // This will deoptimize if the exponent of the input in out of range.
3724 CpuFeatures::Scope scope(SSE3);
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003725 Label convert, done;
3726 __ j(not_equal, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003727 __ sub(Operand(esp), Immediate(kDoubleSize));
3728 __ movdbl(Operand(esp, 0), input_reg);
3729 // Get exponent alone and check for too-big exponent.
3730 __ mov(result_reg, Operand(esp, sizeof(int32_t)));
3731 __ and_(result_reg, HeapNumber::kExponentMask);
3732 const uint32_t kTooBigExponent =
3733 (HeapNumber::kExponentBias + 63) << HeapNumber::kExponentShift;
3734 __ cmp(Operand(result_reg), Immediate(kTooBigExponent));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003735 __ j(less, &convert, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003736 __ add(Operand(esp), Immediate(kDoubleSize));
3737 DeoptimizeIf(no_condition, instr->environment());
3738 __ bind(&convert);
3739 // Do conversion, which cannot fail because we checked the exponent.
3740 __ fld_d(Operand(esp, 0));
3741 __ fisttp_d(Operand(esp, 0));
3742 __ mov(result_reg, Operand(esp, 0)); // Low word of answer is the result.
3743 __ add(Operand(esp), Immediate(kDoubleSize));
3744 __ bind(&done);
3745 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003746 Label done;
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003747 Register temp_reg = ToRegister(instr->TempAt(0));
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003748 XMMRegister xmm_scratch = xmm0;
3749
3750 // If cvttsd2si succeeded, we're done. Otherwise, we attempt
3751 // manual conversion.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003752 __ j(not_equal, &done, Label::kNear);
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003753
3754 // Get high 32 bits of the input in result_reg and temp_reg.
3755 __ pshufd(xmm_scratch, input_reg, 1);
3756 __ movd(Operand(temp_reg), xmm_scratch);
3757 __ mov(result_reg, temp_reg);
3758
3759 // Prepare negation mask in temp_reg.
3760 __ sar(temp_reg, kBitsPerInt - 1);
3761
3762 // Extract the exponent from result_reg and subtract adjusted
3763 // bias from it. The adjustment is selected in a way such that
3764 // when the difference is zero, the answer is in the low 32 bits
3765 // of the input, otherwise a shift has to be performed.
3766 __ shr(result_reg, HeapNumber::kExponentShift);
3767 __ and_(result_reg,
3768 HeapNumber::kExponentMask >> HeapNumber::kExponentShift);
3769 __ sub(Operand(result_reg),
3770 Immediate(HeapNumber::kExponentBias +
3771 HeapNumber::kExponentBits +
3772 HeapNumber::kMantissaBits));
3773 // Don't handle big (> kMantissaBits + kExponentBits == 63) or
3774 // special exponents.
3775 DeoptimizeIf(greater, instr->environment());
3776
3777 // Zero out the sign and the exponent in the input (by shifting
3778 // it to the left) and restore the implicit mantissa bit,
3779 // i.e. convert the input to unsigned int64 shifted left by
3780 // kExponentBits.
3781 ExternalReference minus_zero = ExternalReference::address_of_minus_zero();
3782 // Minus zero has the most significant bit set and the other
3783 // bits cleared.
3784 __ movdbl(xmm_scratch, Operand::StaticVariable(minus_zero));
3785 __ psllq(input_reg, HeapNumber::kExponentBits);
3786 __ por(input_reg, xmm_scratch);
3787
3788 // Get the amount to shift the input right in xmm_scratch.
3789 __ neg(result_reg);
3790 __ movd(xmm_scratch, Operand(result_reg));
3791
3792 // Shift the input right and extract low 32 bits.
3793 __ psrlq(input_reg, xmm_scratch);
3794 __ movd(Operand(result_reg), input_reg);
3795
3796 // Use the prepared mask in temp_reg to negate the result if necessary.
3797 __ xor_(result_reg, Operand(temp_reg));
3798 __ sub(result_reg, Operand(temp_reg));
3799 __ bind(&done);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003800 }
3801 } else {
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003802 Label done;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003803 __ cvttsd2si(result_reg, Operand(input_reg));
3804 __ cvtsi2sd(xmm0, Operand(result_reg));
3805 __ ucomisd(xmm0, input_reg);
3806 DeoptimizeIf(not_equal, instr->environment());
3807 DeoptimizeIf(parity_even, instr->environment()); // NaN.
3808 if (instr->hydrogen()->CheckFlag(HValue::kBailoutOnMinusZero)) {
3809 // The integer converted back is equal to the original. We
3810 // only have to test if we got -0 as an input.
3811 __ test(result_reg, Operand(result_reg));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003812 __ j(not_zero, &done, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003813 __ movmskpd(result_reg, input_reg);
3814 // Bit 0 contains the sign of the double in input_reg.
3815 // If input was positive, we are ok and return 0, otherwise
3816 // deoptimize.
3817 __ and_(result_reg, 1);
3818 DeoptimizeIf(not_zero, instr->environment());
3819 }
3820 __ bind(&done);
3821 }
3822}
3823
3824
3825void LCodeGen::DoCheckSmi(LCheckSmi* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003826 LOperand* input = instr->InputAt(0);
ricow@chromium.org4f693d62011-07-04 14:01:31 +00003827 __ test(ToOperand(input), Immediate(kSmiTagMask));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003828 DeoptimizeIf(not_zero, instr->environment());
3829}
3830
3831
3832void LCodeGen::DoCheckNonSmi(LCheckNonSmi* instr) {
3833 LOperand* input = instr->InputAt(0);
ricow@chromium.org4f693d62011-07-04 14:01:31 +00003834 __ test(ToOperand(input), Immediate(kSmiTagMask));
ricow@chromium.orgbadaffc2011-03-17 12:15:27 +00003835 DeoptimizeIf(zero, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003836}
3837
3838
3839void LCodeGen::DoCheckInstanceType(LCheckInstanceType* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003840 Register input = ToRegister(instr->InputAt(0));
3841 Register temp = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003842
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003843 __ mov(temp, FieldOperand(input, HeapObject::kMapOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003844
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003845 if (instr->hydrogen()->is_interval_check()) {
3846 InstanceType first;
3847 InstanceType last;
3848 instr->hydrogen()->GetCheckInterval(&first, &last);
3849
vegorov@chromium.org0a4e9012011-01-24 12:33:13 +00003850 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
3851 static_cast<int8_t>(first));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00003852
3853 // If there is only one type in the interval check for equality.
3854 if (first == last) {
3855 DeoptimizeIf(not_equal, instr->environment());
3856 } else {
3857 DeoptimizeIf(below, instr->environment());
3858 // Omit check for the last type.
3859 if (last != LAST_TYPE) {
3860 __ cmpb(FieldOperand(temp, Map::kInstanceTypeOffset),
3861 static_cast<int8_t>(last));
3862 DeoptimizeIf(above, instr->environment());
3863 }
3864 }
3865 } else {
3866 uint8_t mask;
3867 uint8_t tag;
3868 instr->hydrogen()->GetCheckMaskAndTag(&mask, &tag);
3869
3870 if (IsPowerOf2(mask)) {
3871 ASSERT(tag == 0 || IsPowerOf2(tag));
3872 __ test_b(FieldOperand(temp, Map::kInstanceTypeOffset), mask);
3873 DeoptimizeIf(tag == 0 ? not_zero : zero, instr->environment());
3874 } else {
3875 __ movzx_b(temp, FieldOperand(temp, Map::kInstanceTypeOffset));
3876 __ and_(temp, mask);
3877 __ cmpb(Operand(temp), tag);
3878 DeoptimizeIf(not_equal, instr->environment());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003879 }
3880 }
3881}
3882
3883
3884void LCodeGen::DoCheckFunction(LCheckFunction* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003885 ASSERT(instr->InputAt(0)->IsRegister());
ricow@chromium.org4f693d62011-07-04 14:01:31 +00003886 Operand operand = ToOperand(instr->InputAt(0));
3887 __ cmp(operand, instr->hydrogen()->target());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003888 DeoptimizeIf(not_equal, instr->environment());
3889}
3890
3891
3892void LCodeGen::DoCheckMap(LCheckMap* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003893 LOperand* input = instr->InputAt(0);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003894 ASSERT(input->IsRegister());
3895 Register reg = ToRegister(input);
3896 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3897 instr->hydrogen()->map());
3898 DeoptimizeIf(not_equal, instr->environment());
3899}
3900
3901
kmillikin@chromium.orgc53e10d2011-05-18 09:12:58 +00003902void LCodeGen::DoClampDToUint8(LClampDToUint8* instr) {
3903 XMMRegister value_reg = ToDoubleRegister(instr->unclamped());
3904 Register result_reg = ToRegister(instr->result());
3905 __ ClampDoubleToUint8(value_reg, xmm0, result_reg);
3906}
3907
3908
3909void LCodeGen::DoClampIToUint8(LClampIToUint8* instr) {
3910 ASSERT(instr->unclamped()->Equals(instr->result()));
3911 Register value_reg = ToRegister(instr->result());
3912 __ ClampUint8(value_reg);
3913}
3914
3915
3916void LCodeGen::DoClampTToUint8(LClampTToUint8* instr) {
3917 ASSERT(instr->unclamped()->Equals(instr->result()));
3918 Register input_reg = ToRegister(instr->unclamped());
3919 Label is_smi, done, heap_number;
3920
3921 __ JumpIfSmi(input_reg, &is_smi);
3922
3923 // Check for heap number
3924 __ cmp(FieldOperand(input_reg, HeapObject::kMapOffset),
3925 factory()->heap_number_map());
3926 __ j(equal, &heap_number, Label::kNear);
3927
3928 // Check for undefined. Undefined is converted to zero for clamping
3929 // conversions.
3930 __ cmp(input_reg, factory()->undefined_value());
3931 DeoptimizeIf(not_equal, instr->environment());
3932 __ mov(input_reg, 0);
3933 __ jmp(&done, Label::kNear);
3934
3935 // Heap number
3936 __ bind(&heap_number);
3937 __ movdbl(xmm0, FieldOperand(input_reg, HeapNumber::kValueOffset));
3938 __ ClampDoubleToUint8(xmm0, xmm1, input_reg);
3939 __ jmp(&done, Label::kNear);
3940
3941 // smi
3942 __ bind(&is_smi);
3943 __ SmiUntag(input_reg);
3944 __ ClampUint8(input_reg);
3945
3946 __ bind(&done);
3947}
3948
3949
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003950void LCodeGen::LoadHeapObject(Register result, Handle<HeapObject> object) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003951 if (isolate()->heap()->InNewSpace(*object)) {
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003952 Handle<JSGlobalPropertyCell> cell =
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00003953 isolate()->factory()->NewJSGlobalPropertyCell(object);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003954 __ mov(result, Operand::Cell(cell));
3955 } else {
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003956 __ mov(result, object);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003957 }
3958}
3959
3960
3961void LCodeGen::DoCheckPrototypeMaps(LCheckPrototypeMaps* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00003962 Register reg = ToRegister(instr->TempAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003963
3964 Handle<JSObject> holder = instr->holder();
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003965 Handle<JSObject> current_prototype = instr->prototype();
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003966
3967 // Load prototype object.
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003968 LoadHeapObject(reg, current_prototype);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003969
3970 // Check prototype maps up to the holder.
3971 while (!current_prototype.is_identical_to(holder)) {
3972 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3973 Handle<Map>(current_prototype->map()));
3974 DeoptimizeIf(not_equal, instr->environment());
3975 current_prototype =
3976 Handle<JSObject>(JSObject::cast(current_prototype->GetPrototype()));
3977 // Load next prototype object.
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00003978 LoadHeapObject(reg, current_prototype);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003979 }
3980
3981 // Check the holder map.
3982 __ cmp(FieldOperand(reg, HeapObject::kMapOffset),
3983 Handle<Map>(current_prototype->map()));
3984 DeoptimizeIf(not_equal, instr->environment());
3985}
3986
3987
3988void LCodeGen::DoArrayLiteral(LArrayLiteral* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00003989 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00003990 // Setup the parameters to the stub/runtime call.
3991 __ mov(eax, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
3992 __ push(FieldOperand(eax, JSFunction::kLiteralsOffset));
3993 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
3994 __ push(Immediate(instr->hydrogen()->constant_elements()));
3995
3996 // Pick the right runtime function or stub to call.
3997 int length = instr->hydrogen()->length();
3998 if (instr->hydrogen()->IsCopyOnWrite()) {
3999 ASSERT(instr->hydrogen()->depth() == 1);
4000 FastCloneShallowArrayStub::Mode mode =
4001 FastCloneShallowArrayStub::COPY_ON_WRITE_ELEMENTS;
4002 FastCloneShallowArrayStub stub(mode, length);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004003 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004004 } else if (instr->hydrogen()->depth() > 1) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004005 CallRuntime(Runtime::kCreateArrayLiteral, 3, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004006 } else if (length > FastCloneShallowArrayStub::kMaximumClonedLength) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004007 CallRuntime(Runtime::kCreateArrayLiteralShallow, 3, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004008 } else {
4009 FastCloneShallowArrayStub::Mode mode =
4010 FastCloneShallowArrayStub::CLONE_ELEMENTS;
4011 FastCloneShallowArrayStub stub(mode, length);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004012 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004013 }
4014}
4015
4016
4017void LCodeGen::DoObjectLiteral(LObjectLiteral* instr) {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00004018 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004019 // Setup the parameters to the stub/runtime call.
4020 __ mov(eax, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
4021 __ push(FieldOperand(eax, JSFunction::kLiteralsOffset));
4022 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
4023 __ push(Immediate(instr->hydrogen()->constant_properties()));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004024 int flags = instr->hydrogen()->fast_elements()
4025 ? ObjectLiteral::kFastElements
4026 : ObjectLiteral::kNoFlags;
4027 flags |= instr->hydrogen()->has_function()
4028 ? ObjectLiteral::kHasFunction
4029 : ObjectLiteral::kNoFlags;
4030 __ push(Immediate(Smi::FromInt(flags)));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004031
lrn@chromium.org5d00b602011-01-05 09:51:43 +00004032 // Pick the right runtime function to call.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004033 if (instr->hydrogen()->depth() > 1) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004034 CallRuntime(Runtime::kCreateObjectLiteral, 4, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004035 } else {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004036 CallRuntime(Runtime::kCreateObjectLiteralShallow, 4, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004037 }
4038}
4039
4040
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004041void LCodeGen::DoToFastProperties(LToFastProperties* instr) {
4042 ASSERT(ToRegister(instr->InputAt(0)).is(eax));
4043 __ push(eax);
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004044 CallRuntime(Runtime::kToFastProperties, 1, instr);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004045}
4046
4047
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004048void LCodeGen::DoRegExpLiteral(LRegExpLiteral* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004049 ASSERT(ToRegister(instr->context()).is(esi));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004050 Label materialized;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004051 // Registers will be used as follows:
4052 // edi = JS function.
4053 // ecx = literals array.
4054 // ebx = regexp literal.
4055 // eax = regexp literal clone.
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004056 // esi = context.
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004057 __ mov(edi, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
4058 __ mov(ecx, FieldOperand(edi, JSFunction::kLiteralsOffset));
4059 int literal_offset = FixedArray::kHeaderSize +
4060 instr->hydrogen()->literal_index() * kPointerSize;
4061 __ mov(ebx, FieldOperand(ecx, literal_offset));
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004062 __ cmp(ebx, factory()->undefined_value());
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004063 __ j(not_equal, &materialized, Label::kNear);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004064
4065 // Create regexp literal using runtime function
4066 // Result will be in eax.
4067 __ push(ecx);
4068 __ push(Immediate(Smi::FromInt(instr->hydrogen()->literal_index())));
4069 __ push(Immediate(instr->hydrogen()->pattern()));
4070 __ push(Immediate(instr->hydrogen()->flags()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004071 CallRuntime(Runtime::kMaterializeRegExpLiteral, 4, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004072 __ mov(ebx, eax);
4073
4074 __ bind(&materialized);
4075 int size = JSRegExp::kSize + JSRegExp::kInObjectFieldCount * kPointerSize;
4076 Label allocated, runtime_allocate;
4077 __ AllocateInNewSpace(size, eax, ecx, edx, &runtime_allocate, TAG_OBJECT);
4078 __ jmp(&allocated);
4079
4080 __ bind(&runtime_allocate);
4081 __ push(ebx);
4082 __ push(Immediate(Smi::FromInt(size)));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004083 CallRuntime(Runtime::kAllocateInNewSpace, 1, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004084 __ pop(ebx);
4085
4086 __ bind(&allocated);
4087 // Copy the content into the newly allocated memory.
4088 // (Unroll copy loop once for better throughput).
4089 for (int i = 0; i < size - kPointerSize; i += 2 * kPointerSize) {
4090 __ mov(edx, FieldOperand(ebx, i));
4091 __ mov(ecx, FieldOperand(ebx, i + kPointerSize));
4092 __ mov(FieldOperand(eax, i), edx);
4093 __ mov(FieldOperand(eax, i + kPointerSize), ecx);
4094 }
4095 if ((size % (2 * kPointerSize)) != 0) {
4096 __ mov(edx, FieldOperand(ebx, size - kPointerSize));
4097 __ mov(FieldOperand(eax, size - kPointerSize), edx);
4098 }
4099}
4100
4101
4102void LCodeGen::DoFunctionLiteral(LFunctionLiteral* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004103 ASSERT(ToRegister(instr->context()).is(esi));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004104 // Use the fast case closure allocation code that allocates in new
4105 // space for nested functions that don't need literals cloning.
4106 Handle<SharedFunctionInfo> shared_info = instr->shared_info();
ricow@chromium.org83aa5492011-02-07 12:42:56 +00004107 bool pretenure = instr->hydrogen()->pretenure();
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004108 if (!pretenure && shared_info->num_literals() == 0) {
4109 FastNewClosureStub stub(
4110 shared_info->strict_mode() ? kStrictMode : kNonStrictMode);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004111 __ push(Immediate(shared_info));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004112 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004113 } else {
sgjesse@chromium.org496c03a2011-02-14 12:05:43 +00004114 __ push(Operand(ebp, StandardFrameConstants::kContextOffset));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004115 __ push(Immediate(shared_info));
4116 __ push(Immediate(pretenure
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004117 ? factory()->true_value()
4118 : factory()->false_value()));
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004119 CallRuntime(Runtime::kNewClosure, 3, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004120 }
4121}
4122
4123
4124void LCodeGen::DoTypeof(LTypeof* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004125 LOperand* input = instr->InputAt(1);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004126 if (input->IsConstantOperand()) {
4127 __ push(ToImmediate(input));
4128 } else {
4129 __ push(ToOperand(input));
4130 }
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004131 CallRuntime(Runtime::kTypeof, 1, instr);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004132}
4133
4134
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004135void LCodeGen::DoTypeofIsAndBranch(LTypeofIsAndBranch* instr) {
erik.corry@gmail.com0511e242011-01-19 11:11:08 +00004136 Register input = ToRegister(instr->InputAt(0));
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004137 int true_block = chunk_->LookupDestination(instr->true_block_id());
4138 int false_block = chunk_->LookupDestination(instr->false_block_id());
4139 Label* true_label = chunk_->GetAssemblyLabel(true_block);
4140 Label* false_label = chunk_->GetAssemblyLabel(false_block);
4141
4142 Condition final_branch_condition = EmitTypeofIs(true_label,
4143 false_label,
4144 input,
4145 instr->type_literal());
4146
4147 EmitBranch(true_block, false_block, final_branch_condition);
4148}
4149
4150
4151Condition LCodeGen::EmitTypeofIs(Label* true_label,
4152 Label* false_label,
4153 Register input,
4154 Handle<String> type_name) {
4155 Condition final_branch_condition = no_condition;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004156 if (type_name->Equals(heap()->number_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004157 __ JumpIfSmi(input, true_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004158 __ cmp(FieldOperand(input, HeapObject::kMapOffset),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004159 factory()->heap_number_map());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004160 final_branch_condition = equal;
4161
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004162 } else if (type_name->Equals(heap()->string_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004163 __ JumpIfSmi(input, false_label);
4164 __ CmpObjectType(input, FIRST_NONSTRING_TYPE, input);
4165 __ j(above_equal, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004166 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4167 1 << Map::kIsUndetectable);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004168 final_branch_condition = zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004169
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004170 } else if (type_name->Equals(heap()->boolean_symbol())) {
4171 __ cmp(input, factory()->true_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004172 __ j(equal, true_label);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004173 __ cmp(input, factory()->false_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004174 final_branch_condition = equal;
4175
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00004176 } else if (FLAG_harmony_typeof && type_name->Equals(heap()->null_symbol())) {
4177 __ cmp(input, factory()->null_value());
4178 final_branch_condition = equal;
4179
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004180 } else if (type_name->Equals(heap()->undefined_symbol())) {
4181 __ cmp(input, factory()->undefined_value());
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004182 __ j(equal, true_label);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004183 __ JumpIfSmi(input, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004184 // Check for undetectable objects => true.
4185 __ mov(input, FieldOperand(input, HeapObject::kMapOffset));
4186 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4187 1 << Map::kIsUndetectable);
4188 final_branch_condition = not_zero;
4189
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004190 } else if (type_name->Equals(heap()->function_symbol())) {
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00004191 STATIC_ASSERT(LAST_TYPE == LAST_CALLABLE_SPEC_OBJECT_TYPE);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004192 __ JumpIfSmi(input, false_label);
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00004193 __ CmpObjectType(input, FIRST_CALLABLE_SPEC_OBJECT_TYPE, input);
ricow@chromium.orgc54d3652011-05-30 09:20:16 +00004194 final_branch_condition = above_equal;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004195
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +00004196 } else if (type_name->Equals(heap()->object_symbol())) {
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004197 __ JumpIfSmi(input, false_label);
whesse@chromium.org4acdc2c2011-08-15 13:01:23 +00004198 if (!FLAG_harmony_typeof) {
4199 __ cmp(input, factory()->null_value());
4200 __ j(equal, true_label);
4201 }
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00004202 __ CmpObjectType(input, FIRST_NONCALLABLE_SPEC_OBJECT_TYPE, input);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004203 __ j(below, false_label);
ricow@chromium.orgd2be9012011-06-01 06:00:58 +00004204 __ CmpInstanceType(input, LAST_NONCALLABLE_SPEC_OBJECT_TYPE);
4205 __ j(above, false_label);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004206 // Check for undetectable objects => false.
4207 __ test_b(FieldOperand(input, Map::kBitFieldOffset),
4208 1 << Map::kIsUndetectable);
karlklose@chromium.org8f806e82011-03-07 14:06:08 +00004209 final_branch_condition = zero;
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004210
4211 } else {
4212 final_branch_condition = not_equal;
4213 __ jmp(false_label);
4214 // A dead branch instruction will be generated after this point.
4215 }
4216
4217 return final_branch_condition;
4218}
4219
4220
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004221void LCodeGen::DoIsConstructCallAndBranch(LIsConstructCallAndBranch* instr) {
4222 Register temp = ToRegister(instr->TempAt(0));
4223 int true_block = chunk_->LookupDestination(instr->true_block_id());
4224 int false_block = chunk_->LookupDestination(instr->false_block_id());
4225
4226 EmitIsConstructCall(temp);
4227 EmitBranch(true_block, false_block, equal);
4228}
4229
4230
4231void LCodeGen::EmitIsConstructCall(Register temp) {
4232 // Get the frame pointer for the calling frame.
4233 __ mov(temp, Operand(ebp, StandardFrameConstants::kCallerFPOffset));
4234
4235 // Skip the arguments adaptor frame if it exists.
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004236 Label check_frame_marker;
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004237 __ cmp(Operand(temp, StandardFrameConstants::kContextOffset),
4238 Immediate(Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)));
karlklose@chromium.org83a47282011-05-11 11:54:09 +00004239 __ j(not_equal, &check_frame_marker, Label::kNear);
erik.corry@gmail.comd91075f2011-02-10 07:45:38 +00004240 __ mov(temp, Operand(temp, StandardFrameConstants::kCallerFPOffset));
4241
4242 // Check the marker in the calling frame.
4243 __ bind(&check_frame_marker);
4244 __ cmp(Operand(temp, StandardFrameConstants::kMarkerOffset),
4245 Immediate(Smi::FromInt(StackFrame::CONSTRUCT)));
4246}
4247
4248
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004249void LCodeGen::DoLazyBailout(LLazyBailout* instr) {
4250 // No code for lazy bailout instruction. Used to capture environment after a
4251 // call for populating the safepoint data with deoptimization data.
4252}
4253
4254
4255void LCodeGen::DoDeoptimize(LDeoptimize* instr) {
4256 DeoptimizeIf(no_condition, instr->environment());
4257}
4258
4259
4260void LCodeGen::DoDeleteProperty(LDeleteProperty* instr) {
4261 LOperand* obj = instr->object();
4262 LOperand* key = instr->key();
4263 __ push(ToOperand(obj));
4264 if (key->IsConstantOperand()) {
4265 __ push(ToImmediate(key));
4266 } else {
4267 __ push(ToOperand(key));
4268 }
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00004269 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
4270 LPointerMap* pointers = instr->pointer_map();
4271 LEnvironment* env = instr->deoptimization_environment();
4272 RecordPosition(pointers->position());
4273 RegisterEnvironmentForDeoptimization(env);
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00004274 // Create safepoint generator that will also ensure enough space in the
4275 // reloc info for patching in deoptimization (since this is invoking a
4276 // builtin)
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004277 SafepointGenerator safepoint_generator(this,
kmillikin@chromium.org31b12772011-02-02 16:08:26 +00004278 pointers,
fschneider@chromium.org7979bbb2011-03-28 10:47:03 +00004279 env->deoptimization_index());
kmillikin@chromium.org49edbdf2011-02-16 12:32:18 +00004280 __ push(Immediate(Smi::FromInt(strict_mode_flag())));
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00004281 __ InvokeBuiltin(Builtins::DELETE, CALL_FUNCTION, safepoint_generator);
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004282}
4283
4284
ager@chromium.org04921a82011-06-27 13:21:41 +00004285void LCodeGen::DoDeferredStackCheck(LStackCheck* instr) {
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004286 {
4287 PushSafepointRegistersScope scope(this);
4288 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
4289 __ CallRuntimeSaveDoubles(Runtime::kStackGuard);
4290 RegisterLazyDeoptimization(
4291 instr, RECORD_SAFEPOINT_WITH_REGISTERS_AND_NO_ARGUMENTS);
4292 }
4293
4294 // The gap code includes the restoring of the safepoint registers.
4295 int pc = masm()->pc_offset();
4296 safepoints_.SetPcAfterGap(pc);
ager@chromium.org04921a82011-06-27 13:21:41 +00004297}
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004298
ager@chromium.org04921a82011-06-27 13:21:41 +00004299
4300void LCodeGen::DoStackCheck(LStackCheck* instr) {
4301 class DeferredStackCheck: public LDeferredCode {
4302 public:
4303 DeferredStackCheck(LCodeGen* codegen, LStackCheck* instr)
4304 : LDeferredCode(codegen), instr_(instr) { }
4305 virtual void Generate() { codegen()->DoDeferredStackCheck(instr_); }
4306 private:
4307 LStackCheck* instr_;
4308 };
4309
4310 if (instr->hydrogen()->is_function_entry()) {
4311 // Perform stack overflow check.
4312 Label done;
4313 ExternalReference stack_limit =
4314 ExternalReference::address_of_stack_limit(isolate());
4315 __ cmp(esp, Operand::StaticVariable(stack_limit));
4316 __ j(above_equal, &done, Label::kNear);
4317
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004318 ASSERT(instr->context()->IsRegister());
4319 ASSERT(ToRegister(instr->context()).is(esi));
ager@chromium.org04921a82011-06-27 13:21:41 +00004320 StackCheckStub stub;
jkummerow@chromium.orgddda9e82011-07-06 11:27:02 +00004321 CallCode(stub.GetCode(), RelocInfo::CODE_TARGET, instr);
ager@chromium.org04921a82011-06-27 13:21:41 +00004322 __ bind(&done);
4323 } else {
4324 ASSERT(instr->hydrogen()->is_backwards_branch());
4325 // Perform stack overflow check if this goto needs it before jumping.
4326 DeferredStackCheck* deferred_stack_check =
4327 new DeferredStackCheck(this, instr);
4328 ExternalReference stack_limit =
4329 ExternalReference::address_of_stack_limit(isolate());
4330 __ cmp(esp, Operand::StaticVariable(stack_limit));
4331 __ j(below, deferred_stack_check->entry());
4332 __ bind(instr->done_label());
4333 deferred_stack_check->SetExit(instr->done_label());
4334 }
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004335}
4336
4337
4338void LCodeGen::DoOsrEntry(LOsrEntry* instr) {
4339 // This is a pseudo-instruction that ensures that the environment here is
4340 // properly registered for deoptimization and records the assembler's PC
4341 // offset.
4342 LEnvironment* environment = instr->environment();
4343 environment->SetSpilledRegisters(instr->SpilledRegisterArray(),
4344 instr->SpilledDoubleRegisterArray());
4345
4346 // If the environment were already registered, we would have no way of
4347 // backpatching it with the spill slot operands.
4348 ASSERT(!environment->HasBeenRegistered());
4349 RegisterEnvironmentForDeoptimization(environment);
4350 ASSERT(osr_pc_offset_ == -1);
4351 osr_pc_offset_ = masm()->pc_offset();
4352}
4353
4354
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00004355void LCodeGen::DoIn(LIn* instr) {
4356 LOperand* obj = instr->object();
4357 LOperand* key = instr->key();
4358 if (key->IsConstantOperand()) {
4359 __ push(ToImmediate(key));
4360 } else {
4361 __ push(ToOperand(key));
4362 }
4363 if (obj->IsConstantOperand()) {
4364 __ push(ToImmediate(obj));
4365 } else {
4366 __ push(ToOperand(obj));
4367 }
4368 ASSERT(instr->HasPointerMap() && instr->HasDeoptimizationEnvironment());
4369 LPointerMap* pointers = instr->pointer_map();
4370 LEnvironment* env = instr->deoptimization_environment();
4371 RecordPosition(pointers->position());
4372 RegisterEnvironmentForDeoptimization(env);
4373 // Create safepoint generator that will also ensure enough space in the
4374 // reloc info for patching in deoptimization (since this is invoking a
4375 // builtin)
4376 SafepointGenerator safepoint_generator(this,
4377 pointers,
4378 env->deoptimization_index());
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00004379 __ InvokeBuiltin(Builtins::IN, CALL_FUNCTION, safepoint_generator);
erik.corry@gmail.com3847bd52011-04-27 10:38:56 +00004380}
4381
4382
kasperl@chromium.orga5551262010-12-07 12:49:48 +00004383#undef __
4384
4385} } // namespace v8::internal
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +00004386
4387#endif // V8_TARGET_ARCH_IA32