1 // Copyright 2012 the V8 project authors. All rights reserved.
2 // 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
28 #include "v8.h"
29
30 #include "lithium-allocator-inl.h"
31 #include "mips/lithium-mips.h"
32 #include "mips/lithium-codegen-mips.h"
33 #include "hydrogen-osr.h"
34
35 namespace v8 {
36 namespace internal {
37
38 #define DEFINE_COMPILE(type) \
39 void L##type::CompileToNative(LCodeGen* generator) { \
40 generator->Do##type(this); \
41 }
LITHIUM_CONCRETE_INSTRUCTION_LIST(DEFINE_COMPILE)42 LITHIUM_CONCRETE_INSTRUCTION_LIST(DEFINE_COMPILE)
43 #undef DEFINE_COMPILE
44
45 #ifdef DEBUG
46 void LInstruction::VerifyCall() {
47 // Call instructions can use only fixed registers as temporaries and
48 // outputs because all registers are blocked by the calling convention.
49 // Inputs operands must use a fixed register or use-at-start policy or
50 // a non-register policy.
51 ASSERT(Output() == NULL ||
52 LUnallocated::cast(Output())->HasFixedPolicy() ||
53 !LUnallocated::cast(Output())->HasRegisterPolicy());
54 for (UseIterator it(this); !it.Done(); it.Advance()) {
55 LUnallocated* operand = LUnallocated::cast(it.Current());
56 ASSERT(operand->HasFixedPolicy() ||
57 operand->IsUsedAtStart());
58 }
59 for (TempIterator it(this); !it.Done(); it.Advance()) {
60 LUnallocated* operand = LUnallocated::cast(it.Current());
61 ASSERT(operand->HasFixedPolicy() ||!operand->HasRegisterPolicy());
62 }
63 }
64 #endif
65
66
PrintTo(StringStream * stream)67 void LInstruction::PrintTo(StringStream* stream) {
68 stream->Add("%s ", this->Mnemonic());
69
70 PrintOutputOperandTo(stream);
71
72 PrintDataTo(stream);
73
74 if (HasEnvironment()) {
75 stream->Add(" ");
76 environment()->PrintTo(stream);
77 }
78
79 if (HasPointerMap()) {
80 stream->Add(" ");
81 pointer_map()->PrintTo(stream);
82 }
83 }
84
85
PrintDataTo(StringStream * stream)86 void LInstruction::PrintDataTo(StringStream* stream) {
87 stream->Add("= ");
88 for (int i = 0; i < InputCount(); i++) {
89 if (i > 0) stream->Add(" ");
90 if (InputAt(i) == NULL) {
91 stream->Add("NULL");
92 } else {
93 InputAt(i)->PrintTo(stream);
94 }
95 }
96 }
97
98
PrintOutputOperandTo(StringStream * stream)99 void LInstruction::PrintOutputOperandTo(StringStream* stream) {
100 if (HasResult()) result()->PrintTo(stream);
101 }
102
103
PrintDataTo(StringStream * stream)104 void LLabel::PrintDataTo(StringStream* stream) {
105 LGap::PrintDataTo(stream);
106 LLabel* rep = replacement();
107 if (rep != NULL) {
108 stream->Add(" Dead block replaced with B%d", rep->block_id());
109 }
110 }
111
112
IsRedundant() const113 bool LGap::IsRedundant() const {
114 for (int i = 0; i < 4; i++) {
115 if (parallel_moves_[i] != NULL && !parallel_moves_[i]->IsRedundant()) {
116 return false;
117 }
118 }
119
120 return true;
121 }
122
123
PrintDataTo(StringStream * stream)124 void LGap::PrintDataTo(StringStream* stream) {
125 for (int i = 0; i < 4; i++) {
126 stream->Add("(");
127 if (parallel_moves_[i] != NULL) {
128 parallel_moves_[i]->PrintDataTo(stream);
129 }
130 stream->Add(") ");
131 }
132 }
133
134
Mnemonic() const135 const char* LArithmeticD::Mnemonic() const {
136 switch (op()) {
137 case Token::ADD: return "add-d";
138 case Token::SUB: return "sub-d";
139 case Token::MUL: return "mul-d";
140 case Token::DIV: return "div-d";
141 case Token::MOD: return "mod-d";
142 default:
143 UNREACHABLE();
144 return NULL;
145 }
146 }
147
148
Mnemonic() const149 const char* LArithmeticT::Mnemonic() const {
150 switch (op()) {
151 case Token::ADD: return "add-t";
152 case Token::SUB: return "sub-t";
153 case Token::MUL: return "mul-t";
154 case Token::MOD: return "mod-t";
155 case Token::DIV: return "div-t";
156 case Token::BIT_AND: return "bit-and-t";
157 case Token::BIT_OR: return "bit-or-t";
158 case Token::BIT_XOR: return "bit-xor-t";
159 case Token::ROR: return "ror-t";
160 case Token::SHL: return "sll-t";
161 case Token::SAR: return "sra-t";
162 case Token::SHR: return "srl-t";
163 default:
164 UNREACHABLE();
165 return NULL;
166 }
167 }
168
169
HasInterestingComment(LCodeGen * gen) const170 bool LGoto::HasInterestingComment(LCodeGen* gen) const {
171 return !gen->IsNextEmittedBlock(block_id());
172 }
173
174
PrintDataTo(StringStream * stream)175 void LGoto::PrintDataTo(StringStream* stream) {
176 stream->Add("B%d", block_id());
177 }
178
179
PrintDataTo(StringStream * stream)180 void LBranch::PrintDataTo(StringStream* stream) {
181 stream->Add("B%d | B%d on ", true_block_id(), false_block_id());
182 value()->PrintTo(stream);
183 }
184
185
DoDebugBreak(HDebugBreak * instr)186 LInstruction* LChunkBuilder::DoDebugBreak(HDebugBreak* instr) {
187 return new(zone()) LDebugBreak();
188 }
189
190
PrintDataTo(StringStream * stream)191 void LCompareNumericAndBranch::PrintDataTo(StringStream* stream) {
192 stream->Add("if ");
193 left()->PrintTo(stream);
194 stream->Add(" %s ", Token::String(op()));
195 right()->PrintTo(stream);
196 stream->Add(" then B%d else B%d", true_block_id(), false_block_id());
197 }
198
199
PrintDataTo(StringStream * stream)200 void LIsObjectAndBranch::PrintDataTo(StringStream* stream) {
201 stream->Add("if is_object(");
202 value()->PrintTo(stream);
203 stream->Add(") then B%d else B%d", true_block_id(), false_block_id());
204 }
205
206
PrintDataTo(StringStream * stream)207 void LIsStringAndBranch::PrintDataTo(StringStream* stream) {
208 stream->Add("if is_string(");
209 value()->PrintTo(stream);
210 stream->Add(") then B%d else B%d", true_block_id(), false_block_id());
211 }
212
213
PrintDataTo(StringStream * stream)214 void LIsSmiAndBranch::PrintDataTo(StringStream* stream) {
215 stream->Add("if is_smi(");
216 value()->PrintTo(stream);
217 stream->Add(") then B%d else B%d", true_block_id(), false_block_id());
218 }
219
220
PrintDataTo(StringStream * stream)221 void LIsUndetectableAndBranch::PrintDataTo(StringStream* stream) {
222 stream->Add("if is_undetectable(");
223 value()->PrintTo(stream);
224 stream->Add(") then B%d else B%d", true_block_id(), false_block_id());
225 }
226
227
PrintDataTo(StringStream * stream)228 void LStringCompareAndBranch::PrintDataTo(StringStream* stream) {
229 stream->Add("if string_compare(");
230 left()->PrintTo(stream);
231 right()->PrintTo(stream);
232 stream->Add(") then B%d else B%d", true_block_id(), false_block_id());
233 }
234
235
PrintDataTo(StringStream * stream)236 void LHasInstanceTypeAndBranch::PrintDataTo(StringStream* stream) {
237 stream->Add("if has_instance_type(");
238 value()->PrintTo(stream);
239 stream->Add(") then B%d else B%d", true_block_id(), false_block_id());
240 }
241
242
PrintDataTo(StringStream * stream)243 void LHasCachedArrayIndexAndBranch::PrintDataTo(StringStream* stream) {
244 stream->Add("if has_cached_array_index(");
245 value()->PrintTo(stream);
246 stream->Add(") then B%d else B%d", true_block_id(), false_block_id());
247 }
248
249
PrintDataTo(StringStream * stream)250 void LClassOfTestAndBranch::PrintDataTo(StringStream* stream) {
251 stream->Add("if class_of_test(");
252 value()->PrintTo(stream);
253 stream->Add(", \"%o\") then B%d else B%d",
254 *hydrogen()->class_name(),
255 true_block_id(),
256 false_block_id());
257 }
258
259
PrintDataTo(StringStream * stream)260 void LTypeofIsAndBranch::PrintDataTo(StringStream* stream) {
261 stream->Add("if typeof ");
262 value()->PrintTo(stream);
263 stream->Add(" == \"%s\" then B%d else B%d",
264 *hydrogen()->type_literal()->ToCString(),
265 true_block_id(), false_block_id());
266 }
267
268
PrintDataTo(StringStream * stream)269 void LStoreCodeEntry::PrintDataTo(StringStream* stream) {
270 stream->Add(" = ");
271 function()->PrintTo(stream);
272 stream->Add(".code_entry = ");
273 code_object()->PrintTo(stream);
274 }
275
276
PrintDataTo(StringStream * stream)277 void LInnerAllocatedObject::PrintDataTo(StringStream* stream) {
278 stream->Add(" = ");
279 base_object()->PrintTo(stream);
280 stream->Add(" + ");
281 offset()->PrintTo(stream);
282 }
283
284
PrintDataTo(StringStream * stream)285 void LCallConstantFunction::PrintDataTo(StringStream* stream) {
286 stream->Add("#%d / ", arity());
287 }
288
289
PrintDataTo(StringStream * stream)290 void LLoadContextSlot::PrintDataTo(StringStream* stream) {
291 context()->PrintTo(stream);
292 stream->Add("[%d]", slot_index());
293 }
294
295
PrintDataTo(StringStream * stream)296 void LStoreContextSlot::PrintDataTo(StringStream* stream) {
297 context()->PrintTo(stream);
298 stream->Add("[%d] <- ", slot_index());
299 value()->PrintTo(stream);
300 }
301
302
PrintDataTo(StringStream * stream)303 void LInvokeFunction::PrintDataTo(StringStream* stream) {
304 stream->Add("= ");
305 function()->PrintTo(stream);
306 stream->Add(" #%d / ", arity());
307 }
308
309
PrintDataTo(StringStream * stream)310 void LCallKeyed::PrintDataTo(StringStream* stream) {
311 stream->Add("[a2] #%d / ", arity());
312 }
313
314
PrintDataTo(StringStream * stream)315 void LCallNamed::PrintDataTo(StringStream* stream) {
316 SmartArrayPointer<char> name_string = name()->ToCString();
317 stream->Add("%s #%d / ", *name_string, arity());
318 }
319
320
PrintDataTo(StringStream * stream)321 void LCallGlobal::PrintDataTo(StringStream* stream) {
322 SmartArrayPointer<char> name_string = name()->ToCString();
323 stream->Add("%s #%d / ", *name_string, arity());
324 }
325
326
PrintDataTo(StringStream * stream)327 void LCallKnownGlobal::PrintDataTo(StringStream* stream) {
328 stream->Add("#%d / ", arity());
329 }
330
331
PrintDataTo(StringStream * stream)332 void LCallNew::PrintDataTo(StringStream* stream) {
333 stream->Add("= ");
334 constructor()->PrintTo(stream);
335 stream->Add(" #%d / ", arity());
336 }
337
338
PrintDataTo(StringStream * stream)339 void LCallNewArray::PrintDataTo(StringStream* stream) {
340 stream->Add("= ");
341 constructor()->PrintTo(stream);
342 stream->Add(" #%d / ", arity());
343 ElementsKind kind = hydrogen()->elements_kind();
344 stream->Add(" (%s) ", ElementsKindToString(kind));
345 }
346
347
PrintDataTo(StringStream * stream)348 void LAccessArgumentsAt::PrintDataTo(StringStream* stream) {
349 arguments()->PrintTo(stream);
350 stream->Add(" length ");
351 length()->PrintTo(stream);
352 stream->Add(" index ");
353 index()->PrintTo(stream);
354 }
355
356
PrintDataTo(StringStream * stream)357 void LStoreNamedField::PrintDataTo(StringStream* stream) {
358 object()->PrintTo(stream);
359 hydrogen()->access().PrintTo(stream);
360 stream->Add(" <- ");
361 value()->PrintTo(stream);
362 }
363
364
PrintDataTo(StringStream * stream)365 void LStoreNamedGeneric::PrintDataTo(StringStream* stream) {
366 object()->PrintTo(stream);
367 stream->Add(".");
368 stream->Add(*String::cast(*name())->ToCString());
369 stream->Add(" <- ");
370 value()->PrintTo(stream);
371 }
372
373
PrintDataTo(StringStream * stream)374 void LLoadKeyed::PrintDataTo(StringStream* stream) {
375 elements()->PrintTo(stream);
376 stream->Add("[");
377 key()->PrintTo(stream);
378 if (hydrogen()->IsDehoisted()) {
379 stream->Add(" + %d]", additional_index());
380 } else {
381 stream->Add("]");
382 }
383 }
384
385
PrintDataTo(StringStream * stream)386 void LStoreKeyed::PrintDataTo(StringStream* stream) {
387 elements()->PrintTo(stream);
388 stream->Add("[");
389 key()->PrintTo(stream);
390 if (hydrogen()->IsDehoisted()) {
391 stream->Add(" + %d] <-", additional_index());
392 } else {
393 stream->Add("] <- ");
394 }
395
396 if (value() == NULL) {
397 ASSERT(hydrogen()->IsConstantHoleStore() &&
398 hydrogen()->value()->representation().IsDouble());
399 stream->Add("<the hole(nan)>");
400 } else {
401 value()->PrintTo(stream);
402 }
403 }
404
405
PrintDataTo(StringStream * stream)406 void LStoreKeyedGeneric::PrintDataTo(StringStream* stream) {
407 object()->PrintTo(stream);
408 stream->Add("[");
409 key()->PrintTo(stream);
410 stream->Add("] <- ");
411 value()->PrintTo(stream);
412 }
413
414
PrintDataTo(StringStream * stream)415 void LTransitionElementsKind::PrintDataTo(StringStream* stream) {
416 object()->PrintTo(stream);
417 stream->Add(" %p -> %p", *original_map(), *transitioned_map());
418 }
419
420
GetNextSpillIndex(RegisterKind kind)421 int LPlatformChunk::GetNextSpillIndex(RegisterKind kind) {
422 // Skip a slot if for a double-width slot.
423 if (kind == DOUBLE_REGISTERS) spill_slot_count_++;
424 return spill_slot_count_++;
425 }
426
427
GetNextSpillSlot(RegisterKind kind)428 LOperand* LPlatformChunk::GetNextSpillSlot(RegisterKind kind) {
429 int index = GetNextSpillIndex(kind);
430 if (kind == DOUBLE_REGISTERS) {
431 return LDoubleStackSlot::Create(index, zone());
432 } else {
433 ASSERT(kind == GENERAL_REGISTERS);
434 return LStackSlot::Create(index, zone());
435 }
436 }
437
438
Build()439 LPlatformChunk* LChunkBuilder::Build() {
440 ASSERT(is_unused());
441 chunk_ = new(zone()) LPlatformChunk(info(), graph());
442 LPhase phase("L_Building chunk", chunk_);
443 status_ = BUILDING;
444
445 // If compiling for OSR, reserve space for the unoptimized frame,
446 // which will be subsumed into this frame.
447 if (graph()->has_osr()) {
448 for (int i = graph()->osr()->UnoptimizedFrameSlots(); i > 0; i--) {
449 chunk_->GetNextSpillIndex(GENERAL_REGISTERS);
450 }
451 }
452
453 const ZoneList<HBasicBlock*>* blocks = graph()->blocks();
454 for (int i = 0; i < blocks->length(); i++) {
455 HBasicBlock* next = NULL;
456 if (i < blocks->length() - 1) next = blocks->at(i + 1);
457 DoBasicBlock(blocks->at(i), next);
458 if (is_aborted()) return NULL;
459 }
460 status_ = DONE;
461 return chunk_;
462 }
463
464
Abort(BailoutReason reason)465 void LCodeGen::Abort(BailoutReason reason) {
466 info()->set_bailout_reason(reason);
467 status_ = ABORTED;
468 }
469
470
ToUnallocated(Register reg)471 LUnallocated* LChunkBuilder::ToUnallocated(Register reg) {
472 return new(zone()) LUnallocated(LUnallocated::FIXED_REGISTER,
473 Register::ToAllocationIndex(reg));
474 }
475
476
ToUnallocated(DoubleRegister reg)477 LUnallocated* LChunkBuilder::ToUnallocated(DoubleRegister reg) {
478 return new(zone()) LUnallocated(LUnallocated::FIXED_DOUBLE_REGISTER,
479 DoubleRegister::ToAllocationIndex(reg));
480 }
481
482
UseFixed(HValue * value,Register fixed_register)483 LOperand* LChunkBuilder::UseFixed(HValue* value, Register fixed_register) {
484 return Use(value, ToUnallocated(fixed_register));
485 }
486
487
UseFixedDouble(HValue * value,DoubleRegister reg)488 LOperand* LChunkBuilder::UseFixedDouble(HValue* value, DoubleRegister reg) {
489 return Use(value, ToUnallocated(reg));
490 }
491
492
UseRegister(HValue * value)493 LOperand* LChunkBuilder::UseRegister(HValue* value) {
494 return Use(value, new(zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER));
495 }
496
497
UseRegisterAtStart(HValue * value)498 LOperand* LChunkBuilder::UseRegisterAtStart(HValue* value) {
499 return Use(value,
500 new(zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER,
501 LUnallocated::USED_AT_START));
502 }
503
504
UseTempRegister(HValue * value)505 LOperand* LChunkBuilder::UseTempRegister(HValue* value) {
506 return Use(value, new(zone()) LUnallocated(LUnallocated::WRITABLE_REGISTER));
507 }
508
509
Use(HValue * value)510 LOperand* LChunkBuilder::Use(HValue* value) {
511 return Use(value, new(zone()) LUnallocated(LUnallocated::NONE));
512 }
513
514
UseAtStart(HValue * value)515 LOperand* LChunkBuilder::UseAtStart(HValue* value) {
516 return Use(value, new(zone()) LUnallocated(LUnallocated::NONE,
517 LUnallocated::USED_AT_START));
518 }
519
520
UseOrConstant(HValue * value)521 LOperand* LChunkBuilder::UseOrConstant(HValue* value) {
522 return value->IsConstant()
523 ? chunk_->DefineConstantOperand(HConstant::cast(value))
524 : Use(value);
525 }
526
527
UseOrConstantAtStart(HValue * value)528 LOperand* LChunkBuilder::UseOrConstantAtStart(HValue* value) {
529 return value->IsConstant()
530 ? chunk_->DefineConstantOperand(HConstant::cast(value))
531 : UseAtStart(value);
532 }
533
534
UseRegisterOrConstant(HValue * value)535 LOperand* LChunkBuilder::UseRegisterOrConstant(HValue* value) {
536 return value->IsConstant()
537 ? chunk_->DefineConstantOperand(HConstant::cast(value))
538 : UseRegister(value);
539 }
540
541
UseRegisterOrConstantAtStart(HValue * value)542 LOperand* LChunkBuilder::UseRegisterOrConstantAtStart(HValue* value) {
543 return value->IsConstant()
544 ? chunk_->DefineConstantOperand(HConstant::cast(value))
545 : UseRegisterAtStart(value);
546 }
547
548
UseConstant(HValue * value)549 LOperand* LChunkBuilder::UseConstant(HValue* value) {
550 return chunk_->DefineConstantOperand(HConstant::cast(value));
551 }
552
553
UseAny(HValue * value)554 LOperand* LChunkBuilder::UseAny(HValue* value) {
555 return value->IsConstant()
556 ? chunk_->DefineConstantOperand(HConstant::cast(value))
557 : Use(value, new(zone()) LUnallocated(LUnallocated::ANY));
558 }
559
560
Use(HValue * value,LUnallocated * operand)561 LOperand* LChunkBuilder::Use(HValue* value, LUnallocated* operand) {
562 if (value->EmitAtUses()) {
563 HInstruction* instr = HInstruction::cast(value);
564 VisitInstruction(instr);
565 }
566 operand->set_virtual_register(value->id());
567 return operand;
568 }
569
570
571 template<int I, int T>
Define(LTemplateInstruction<1,I,T> * instr,LUnallocated * result)572 LInstruction* LChunkBuilder::Define(LTemplateInstruction<1, I, T>* instr,
573 LUnallocated* result) {
574 result->set_virtual_register(current_instruction_->id());
575 instr->set_result(result);
576 return instr;
577 }
578
579
580 template<int I, int T>
DefineAsRegister(LTemplateInstruction<1,I,T> * instr)581 LInstruction* LChunkBuilder::DefineAsRegister(
582 LTemplateInstruction<1, I, T>* instr) {
583 return Define(instr,
584 new(zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER));
585 }
586
587
588 template<int I, int T>
DefineAsSpilled(LTemplateInstruction<1,I,T> * instr,int index)589 LInstruction* LChunkBuilder::DefineAsSpilled(
590 LTemplateInstruction<1, I, T>* instr, int index) {
591 return Define(instr,
592 new(zone()) LUnallocated(LUnallocated::FIXED_SLOT, index));
593 }
594
595
596 template<int I, int T>
DefineSameAsFirst(LTemplateInstruction<1,I,T> * instr)597 LInstruction* LChunkBuilder::DefineSameAsFirst(
598 LTemplateInstruction<1, I, T>* instr) {
599 return Define(instr,
600 new(zone()) LUnallocated(LUnallocated::SAME_AS_FIRST_INPUT));
601 }
602
603
604 template<int I, int T>
DefineFixed(LTemplateInstruction<1,I,T> * instr,Register reg)605 LInstruction* LChunkBuilder::DefineFixed(
606 LTemplateInstruction<1, I, T>* instr, Register reg) {
607 return Define(instr, ToUnallocated(reg));
608 }
609
610
611 template<int I, int T>
DefineFixedDouble(LTemplateInstruction<1,I,T> * instr,DoubleRegister reg)612 LInstruction* LChunkBuilder::DefineFixedDouble(
613 LTemplateInstruction<1, I, T>* instr, DoubleRegister reg) {
614 return Define(instr, ToUnallocated(reg));
615 }
616
617
AssignEnvironment(LInstruction * instr)618 LInstruction* LChunkBuilder::AssignEnvironment(LInstruction* instr) {
619 HEnvironment* hydrogen_env = current_block_->last_environment();
620 int argument_index_accumulator = 0;
621 ZoneList<HValue*> objects_to_materialize(0, zone());
622 instr->set_environment(CreateEnvironment(hydrogen_env,
623 &argument_index_accumulator,
624 &objects_to_materialize));
625 return instr;
626 }
627
628
MarkAsCall(LInstruction * instr,HInstruction * hinstr,CanDeoptimize can_deoptimize)629 LInstruction* LChunkBuilder::MarkAsCall(LInstruction* instr,
630 HInstruction* hinstr,
631 CanDeoptimize can_deoptimize) {
632 info()->MarkAsNonDeferredCalling();
633 #ifdef DEBUG
634 instr->VerifyCall();
635 #endif
636 instr->MarkAsCall();
637 instr = AssignPointerMap(instr);
638
639 if (hinstr->HasObservableSideEffects()) {
640 ASSERT(hinstr->next()->IsSimulate());
641 HSimulate* sim = HSimulate::cast(hinstr->next());
642 ASSERT(instruction_pending_deoptimization_environment_ == NULL);
643 ASSERT(pending_deoptimization_ast_id_.IsNone());
644 instruction_pending_deoptimization_environment_ = instr;
645 pending_deoptimization_ast_id_ = sim->ast_id();
646 }
647
648 // If instruction does not have side-effects lazy deoptimization
649 // after the call will try to deoptimize to the point before the call.
650 // Thus we still need to attach environment to this call even if
651 // call sequence can not deoptimize eagerly.
652 bool needs_environment =
653 (can_deoptimize == CAN_DEOPTIMIZE_EAGERLY) ||
654 !hinstr->HasObservableSideEffects();
655 if (needs_environment && !instr->HasEnvironment()) {
656 instr = AssignEnvironment(instr);
657 }
658
659 return instr;
660 }
661
662
AssignPointerMap(LInstruction * instr)663 LInstruction* LChunkBuilder::AssignPointerMap(LInstruction* instr) {
664 ASSERT(!instr->HasPointerMap());
665 instr->set_pointer_map(new(zone()) LPointerMap(zone()));
666 return instr;
667 }
668
669
TempRegister()670 LUnallocated* LChunkBuilder::TempRegister() {
671 LUnallocated* operand =
672 new(zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER);
673 int vreg = allocator_->GetVirtualRegister();
674 if (!allocator_->AllocationOk()) {
675 Abort(kOutOfVirtualRegistersWhileTryingToAllocateTempRegister);
676 vreg = 0;
677 }
678 operand->set_virtual_register(vreg);
679 return operand;
680 }
681
682
FixedTemp(Register reg)683 LOperand* LChunkBuilder::FixedTemp(Register reg) {
684 LUnallocated* operand = ToUnallocated(reg);
685 ASSERT(operand->HasFixedPolicy());
686 return operand;
687 }
688
689
FixedTemp(DoubleRegister reg)690 LOperand* LChunkBuilder::FixedTemp(DoubleRegister reg) {
691 LUnallocated* operand = ToUnallocated(reg);
692 ASSERT(operand->HasFixedPolicy());
693 return operand;
694 }
695
696
DoBlockEntry(HBlockEntry * instr)697 LInstruction* LChunkBuilder::DoBlockEntry(HBlockEntry* instr) {
698 return new(zone()) LLabel(instr->block());
699 }
700
701
DoDummyUse(HDummyUse * instr)702 LInstruction* LChunkBuilder::DoDummyUse(HDummyUse* instr) {
703 return DefineAsRegister(new(zone()) LDummyUse(UseAny(instr->value())));
704 }
705
706
DoEnvironmentMarker(HEnvironmentMarker * instr)707 LInstruction* LChunkBuilder::DoEnvironmentMarker(HEnvironmentMarker* instr) {
708 UNREACHABLE();
709 return NULL;
710 }
711
712
DoDeoptimize(HDeoptimize * instr)713 LInstruction* LChunkBuilder::DoDeoptimize(HDeoptimize* instr) {
714 return AssignEnvironment(new(zone()) LDeoptimize);
715 }
716
717
DoShift(Token::Value op,HBitwiseBinaryOperation * instr)718 LInstruction* LChunkBuilder::DoShift(Token::Value op,
719 HBitwiseBinaryOperation* instr) {
720 if (instr->representation().IsSmiOrInteger32()) {
721 ASSERT(instr->left()->representation().Equals(instr->representation()));
722 ASSERT(instr->right()->representation().Equals(instr->representation()));
723 LOperand* left = UseRegisterAtStart(instr->left());
724
725 HValue* right_value = instr->right();
726 LOperand* right = NULL;
727 int constant_value = 0;
728 bool does_deopt = false;
729 if (right_value->IsConstant()) {
730 HConstant* constant = HConstant::cast(right_value);
731 right = chunk_->DefineConstantOperand(constant);
732 constant_value = constant->Integer32Value() & 0x1f;
733 // Left shifts can deoptimize if we shift by > 0 and the result cannot be
734 // truncated to smi.
735 if (instr->representation().IsSmi() && constant_value > 0) {
736 does_deopt = !instr->CheckUsesForFlag(HValue::kTruncatingToSmi);
737 }
738 } else {
739 right = UseRegisterAtStart(right_value);
740 }
741
742 // Shift operations can only deoptimize if we do a logical shift
743 // by 0 and the result cannot be truncated to int32.
744 if (op == Token::SHR && constant_value == 0) {
745 if (FLAG_opt_safe_uint32_operations) {
746 does_deopt = !instr->CheckFlag(HInstruction::kUint32);
747 } else {
748 does_deopt = !instr->CheckUsesForFlag(HValue::kTruncatingToInt32);
749 }
750 }
751
752 LInstruction* result =
753 DefineAsRegister(new(zone()) LShiftI(op, left, right, does_deopt));
754 return does_deopt ? AssignEnvironment(result) : result;
755 } else {
756 return DoArithmeticT(op, instr);
757 }
758 }
759
760
DoArithmeticD(Token::Value op,HArithmeticBinaryOperation * instr)761 LInstruction* LChunkBuilder::DoArithmeticD(Token::Value op,
762 HArithmeticBinaryOperation* instr) {
763 ASSERT(instr->representation().IsDouble());
764 ASSERT(instr->left()->representation().IsDouble());
765 ASSERT(instr->right()->representation().IsDouble());
766 if (op == Token::MOD) {
767 LOperand* left = UseFixedDouble(instr->left(), f2);
768 LOperand* right = UseFixedDouble(instr->right(), f4);
769 LArithmeticD* result = new(zone()) LArithmeticD(op, left, right);
770 // We call a C function for double modulo. It can't trigger a GC. We need
771 // to use fixed result register for the call.
772 // TODO(fschneider): Allow any register as input registers.
773 return MarkAsCall(DefineFixedDouble(result, f2), instr);
774 } else {
775 LOperand* left = UseRegisterAtStart(instr->left());
776 LOperand* right = UseRegisterAtStart(instr->right());
777 LArithmeticD* result = new(zone()) LArithmeticD(op, left, right);
778 return DefineAsRegister(result);
779 }
780 }
781
782
DoArithmeticT(Token::Value op,HBinaryOperation * instr)783 LInstruction* LChunkBuilder::DoArithmeticT(Token::Value op,
784 HBinaryOperation* instr) {
785 HValue* left = instr->left();
786 HValue* right = instr->right();
787 ASSERT(left->representation().IsTagged());
788 ASSERT(right->representation().IsTagged());
789 LOperand* context = UseFixed(instr->context(), cp);
790 LOperand* left_operand = UseFixed(left, a1);
791 LOperand* right_operand = UseFixed(right, a0);
792 LArithmeticT* result =
793 new(zone()) LArithmeticT(op, context, left_operand, right_operand);
794 return MarkAsCall(DefineFixed(result, v0), instr);
795 }
796
797
DoBasicBlock(HBasicBlock * block,HBasicBlock * next_block)798 void LChunkBuilder::DoBasicBlock(HBasicBlock* block, HBasicBlock* next_block) {
799 ASSERT(is_building());
800 current_block_ = block;
801 next_block_ = next_block;
802 if (block->IsStartBlock()) {
803 block->UpdateEnvironment(graph_->start_environment());
804 argument_count_ = 0;
805 } else if (block->predecessors()->length() == 1) {
806 // We have a single predecessor => copy environment and outgoing
807 // argument count from the predecessor.
808 ASSERT(block->phis()->length() == 0);
809 HBasicBlock* pred = block->predecessors()->at(0);
810 HEnvironment* last_environment = pred->last_environment();
811 ASSERT(last_environment != NULL);
812 // Only copy the environment, if it is later used again.
813 if (pred->end()->SecondSuccessor() == NULL) {
814 ASSERT(pred->end()->FirstSuccessor() == block);
815 } else {
816 if (pred->end()->FirstSuccessor()->block_id() > block->block_id() ||
817 pred->end()->SecondSuccessor()->block_id() > block->block_id()) {
818 last_environment = last_environment->Copy();
819 }
820 }
821 block->UpdateEnvironment(last_environment);
822 ASSERT(pred->argument_count() >= 0);
823 argument_count_ = pred->argument_count();
824 } else {
825 // We are at a state join => process phis.
826 HBasicBlock* pred = block->predecessors()->at(0);
827 // No need to copy the environment, it cannot be used later.
828 HEnvironment* last_environment = pred->last_environment();
829 for (int i = 0; i < block->phis()->length(); ++i) {
830 HPhi* phi = block->phis()->at(i);
831 if (phi->HasMergedIndex()) {
832 last_environment->SetValueAt(phi->merged_index(), phi);
833 }
834 }
835 for (int i = 0; i < block->deleted_phis()->length(); ++i) {
836 if (block->deleted_phis()->at(i) < last_environment->length()) {
837 last_environment->SetValueAt(block->deleted_phis()->at(i),
838 graph_->GetConstantUndefined());
839 }
840 }
841 block->UpdateEnvironment(last_environment);
842 // Pick up the outgoing argument count of one of the predecessors.
843 argument_count_ = pred->argument_count();
844 }
845 HInstruction* current = block->first();
846 int start = chunk_->instructions()->length();
847 while (current != NULL && !is_aborted()) {
848 // Code for constants in registers is generated lazily.
849 if (!current->EmitAtUses()) {
850 VisitInstruction(current);
851 }
852 current = current->next();
853 }
854 int end = chunk_->instructions()->length() - 1;
855 if (end >= start) {
856 block->set_first_instruction_index(start);
857 block->set_last_instruction_index(end);
858 }
859 block->set_argument_count(argument_count_);
860 next_block_ = NULL;
861 current_block_ = NULL;
862 }
863
864
VisitInstruction(HInstruction * current)865 void LChunkBuilder::VisitInstruction(HInstruction* current) {
866 HInstruction* old_current = current_instruction_;
867 current_instruction_ = current;
868 if (current->has_position()) position_ = current->position();
869
870 LInstruction* instr = NULL;
871 if (current->CanReplaceWithDummyUses()) {
872 if (current->OperandCount() == 0) {
873 instr = DefineAsRegister(new(zone()) LDummy());
874 } else {
875 instr = DefineAsRegister(new(zone())
876 LDummyUse(UseAny(current->OperandAt(0))));
877 }
878 for (int i = 1; i < current->OperandCount(); ++i) {
879 LInstruction* dummy =
880 new(zone()) LDummyUse(UseAny(current->OperandAt(i)));
881 dummy->set_hydrogen_value(current);
882 chunk_->AddInstruction(dummy, current_block_);
883 }
884 } else {
885 instr = current->CompileToLithium(this);
886 }
887
888 argument_count_ += current->argument_delta();
889 ASSERT(argument_count_ >= 0);
890
891 if (instr != NULL) {
892 // Associate the hydrogen instruction first, since we may need it for
893 // the ClobbersRegisters() or ClobbersDoubleRegisters() calls below.
894 instr->set_hydrogen_value(current);
895
896 #if DEBUG
897 // Make sure that the lithium instruction has either no fixed register
898 // constraints in temps or the result OR no uses that are only used at
899 // start. If this invariant doesn't hold, the register allocator can decide
900 // to insert a split of a range immediately before the instruction due to an
901 // already allocated register needing to be used for the instruction's fixed
902 // register constraint. In this case, The register allocator won't see an
903 // interference between the split child and the use-at-start (it would if
904 // the it was just a plain use), so it is free to move the split child into
905 // the same register that is used for the use-at-start.
906 // See https://code.google.com/p/chromium/issues/detail?id=201590
907 if (!(instr->ClobbersRegisters() && instr->ClobbersDoubleRegisters())) {
908 int fixed = 0;
909 int used_at_start = 0;
910 for (UseIterator it(instr); !it.Done(); it.Advance()) {
911 LUnallocated* operand = LUnallocated::cast(it.Current());
912 if (operand->IsUsedAtStart()) ++used_at_start;
913 }
914 if (instr->Output() != NULL) {
915 if (LUnallocated::cast(instr->Output())->HasFixedPolicy()) ++fixed;
916 }
917 for (TempIterator it(instr); !it.Done(); it.Advance()) {
918 LUnallocated* operand = LUnallocated::cast(it.Current());
919 if (operand->HasFixedPolicy()) ++fixed;
920 }
921 ASSERT(fixed == 0 || used_at_start == 0);
922 }
923 #endif
924
925 if (FLAG_stress_pointer_maps && !instr->HasPointerMap()) {
926 instr = AssignPointerMap(instr);
927 }
928 if (FLAG_stress_environments && !instr->HasEnvironment()) {
929 instr = AssignEnvironment(instr);
930 }
931 chunk_->AddInstruction(instr, current_block_);
932 }
933 current_instruction_ = old_current;
934 }
935
936
CreateEnvironment(HEnvironment * hydrogen_env,int * argument_index_accumulator,ZoneList<HValue * > * objects_to_materialize)937 LEnvironment* LChunkBuilder::CreateEnvironment(
938 HEnvironment* hydrogen_env,
939 int* argument_index_accumulator,
940 ZoneList<HValue*>* objects_to_materialize) {
941 if (hydrogen_env == NULL) return NULL;
942
943 LEnvironment* outer = CreateEnvironment(hydrogen_env->outer(),
944 argument_index_accumulator,
945 objects_to_materialize);
946 BailoutId ast_id = hydrogen_env->ast_id();
947 ASSERT(!ast_id.IsNone() ||
948 hydrogen_env->frame_type() != JS_FUNCTION);
949 int value_count = hydrogen_env->length() - hydrogen_env->specials_count();
950 LEnvironment* result = new(zone()) LEnvironment(
951 hydrogen_env->closure(),
952 hydrogen_env->frame_type(),
953 ast_id,
954 hydrogen_env->parameter_count(),
955 argument_count_,
956 value_count,
957 outer,
958 hydrogen_env->entry(),
959 zone());
960 int argument_index = *argument_index_accumulator;
961 int object_index = objects_to_materialize->length();
962 for (int i = 0; i < hydrogen_env->length(); ++i) {
963 if (hydrogen_env->is_special_index(i)) continue;
964
965 LOperand* op;
966 HValue* value = hydrogen_env->values()->at(i);
967 if (value->IsArgumentsObject() || value->IsCapturedObject()) {
968 objects_to_materialize->Add(value, zone());
969 op = LEnvironment::materialization_marker();
970 } else if (value->IsPushArgument()) {
971 op = new(zone()) LArgument(argument_index++);
972 } else {
973 op = UseAny(value);
974 }
975 result->AddValue(op,
976 value->representation(),
977 value->CheckFlag(HInstruction::kUint32));
978 }
979
980 for (int i = object_index; i < objects_to_materialize->length(); ++i) {
981 HValue* object_to_materialize = objects_to_materialize->at(i);
982 int previously_materialized_object = -1;
983 for (int prev = 0; prev < i; ++prev) {
984 if (objects_to_materialize->at(prev) == objects_to_materialize->at(i)) {
985 previously_materialized_object = prev;
986 break;
987 }
988 }
989 int length = object_to_materialize->OperandCount();
990 bool is_arguments = object_to_materialize->IsArgumentsObject();
991 if (previously_materialized_object >= 0) {
992 result->AddDuplicateObject(previously_materialized_object);
993 continue;
994 } else {
995 result->AddNewObject(is_arguments ? length - 1 : length, is_arguments);
996 }
997 for (int i = is_arguments ? 1 : 0; i < length; ++i) {
998 LOperand* op;
999 HValue* value = object_to_materialize->OperandAt(i);
1000 if (value->IsArgumentsObject() || value->IsCapturedObject()) {
1001 objects_to_materialize->Add(value, zone());
1002 op = LEnvironment::materialization_marker();
1003 } else {
1004 ASSERT(!value->IsPushArgument());
1005 op = UseAny(value);
1006 }
1007 result->AddValue(op,
1008 value->representation(),
1009 value->CheckFlag(HInstruction::kUint32));
1010 }
1011 }
1012
1013 if (hydrogen_env->frame_type() == JS_FUNCTION) {
1014 *argument_index_accumulator = argument_index;
1015 }
1016
1017 return result;
1018 }
1019
1020
DoGoto(HGoto * instr)1021 LInstruction* LChunkBuilder::DoGoto(HGoto* instr) {
1022 return new(zone()) LGoto(instr->FirstSuccessor());
1023 }
1024
1025
DoBranch(HBranch * instr)1026 LInstruction* LChunkBuilder::DoBranch(HBranch* instr) {
1027 LInstruction* goto_instr = CheckElideControlInstruction(instr);
1028 if (goto_instr != NULL) return goto_instr;
1029
1030 HValue* value = instr->value();
1031 LBranch* result = new(zone()) LBranch(UseRegister(value));
1032 // Tagged values that are not known smis or booleans require a
1033 // deoptimization environment. If the instruction is generic no
1034 // environment is needed since all cases are handled.
1035 Representation rep = value->representation();
1036 HType type = value->type();
1037 ToBooleanStub::Types expected = instr->expected_input_types();
1038 if (rep.IsTagged() && !type.IsSmi() && !type.IsBoolean() &&
1039 !expected.IsGeneric()) {
1040 return AssignEnvironment(result);
1041 }
1042 return result;
1043 }
1044
1045
DoCompareMap(HCompareMap * instr)1046 LInstruction* LChunkBuilder::DoCompareMap(HCompareMap* instr) {
1047 ASSERT(instr->value()->representation().IsTagged());
1048 LOperand* value = UseRegisterAtStart(instr->value());
1049 LOperand* temp = TempRegister();
1050 return new(zone()) LCmpMapAndBranch(value, temp);
1051 }
1052
1053
DoArgumentsLength(HArgumentsLength * length)1054 LInstruction* LChunkBuilder::DoArgumentsLength(HArgumentsLength* length) {
1055 info()->MarkAsRequiresFrame();
1056 return DefineAsRegister(
1057 new(zone()) LArgumentsLength(UseRegister(length->value())));
1058 }
1059
1060
DoArgumentsElements(HArgumentsElements * elems)1061 LInstruction* LChunkBuilder::DoArgumentsElements(HArgumentsElements* elems) {
1062 info()->MarkAsRequiresFrame();
1063 return DefineAsRegister(new(zone()) LArgumentsElements);
1064 }
1065
1066
DoInstanceOf(HInstanceOf * instr)1067 LInstruction* LChunkBuilder::DoInstanceOf(HInstanceOf* instr) {
1068 LOperand* context = UseFixed(instr->context(), cp);
1069 LInstanceOf* result =
1070 new(zone()) LInstanceOf(context, UseFixed(instr->left(), a0),
1071 UseFixed(instr->right(), a1));
1072 return MarkAsCall(DefineFixed(result, v0), instr);
1073 }
1074
1075
DoInstanceOfKnownGlobal(HInstanceOfKnownGlobal * instr)1076 LInstruction* LChunkBuilder::DoInstanceOfKnownGlobal(
1077 HInstanceOfKnownGlobal* instr) {
1078 LInstanceOfKnownGlobal* result =
1079 new(zone()) LInstanceOfKnownGlobal(
1080 UseFixed(instr->context(), cp),
1081 UseFixed(instr->left(), a0),
1082 FixedTemp(t0));
1083 return MarkAsCall(DefineFixed(result, v0), instr);
1084 }
1085
1086
DoWrapReceiver(HWrapReceiver * instr)1087 LInstruction* LChunkBuilder::DoWrapReceiver(HWrapReceiver* instr) {
1088 LOperand* receiver = UseRegisterAtStart(instr->receiver());
1089 LOperand* function = UseRegisterAtStart(instr->function());
1090 LWrapReceiver* result = new(zone()) LWrapReceiver(receiver, function);
1091 return AssignEnvironment(DefineAsRegister(result));
1092 }
1093
1094
DoApplyArguments(HApplyArguments * instr)1095 LInstruction* LChunkBuilder::DoApplyArguments(HApplyArguments* instr) {
1096 LOperand* function = UseFixed(instr->function(), a1);
1097 LOperand* receiver = UseFixed(instr->receiver(), a0);
1098 LOperand* length = UseFixed(instr->length(), a2);
1099 LOperand* elements = UseFixed(instr->elements(), a3);
1100 LApplyArguments* result = new(zone()) LApplyArguments(function,
1101 receiver,
1102 length,
1103 elements);
1104 return MarkAsCall(DefineFixed(result, v0), instr, CAN_DEOPTIMIZE_EAGERLY);
1105 }
1106
1107
DoPushArgument(HPushArgument * instr)1108 LInstruction* LChunkBuilder::DoPushArgument(HPushArgument* instr) {
1109 LOperand* argument = Use(instr->argument());
1110 return new(zone()) LPushArgument(argument);
1111 }
1112
1113
DoStoreCodeEntry(HStoreCodeEntry * store_code_entry)1114 LInstruction* LChunkBuilder::DoStoreCodeEntry(
1115 HStoreCodeEntry* store_code_entry) {
1116 LOperand* function = UseRegister(store_code_entry->function());
1117 LOperand* code_object = UseTempRegister(store_code_entry->code_object());
1118 return new(zone()) LStoreCodeEntry(function, code_object);
1119 }
1120
1121
DoInnerAllocatedObject(HInnerAllocatedObject * instr)1122 LInstruction* LChunkBuilder::DoInnerAllocatedObject(
1123 HInnerAllocatedObject* instr) {
1124 LOperand* base_object = UseRegisterAtStart(instr->base_object());
1125 LOperand* offset = UseRegisterOrConstantAtStart(instr->offset());
1126 return DefineAsRegister(
1127 new(zone()) LInnerAllocatedObject(base_object, offset));
1128 }
1129
1130
DoThisFunction(HThisFunction * instr)1131 LInstruction* LChunkBuilder::DoThisFunction(HThisFunction* instr) {
1132 return instr->HasNoUses()
1133 ? NULL
1134 : DefineAsRegister(new(zone()) LThisFunction);
1135 }
1136
1137
DoContext(HContext * instr)1138 LInstruction* LChunkBuilder::DoContext(HContext* instr) {
1139 if (instr->HasNoUses()) return NULL;
1140
1141 if (info()->IsStub()) {
1142 return DefineFixed(new(zone()) LContext, cp);
1143 }
1144
1145 return DefineAsRegister(new(zone()) LContext);
1146 }
1147
1148
DoOuterContext(HOuterContext * instr)1149 LInstruction* LChunkBuilder::DoOuterContext(HOuterContext* instr) {
1150 LOperand* context = UseRegisterAtStart(instr->value());
1151 return DefineAsRegister(new(zone()) LOuterContext(context));
1152 }
1153
1154
DoDeclareGlobals(HDeclareGlobals * instr)1155 LInstruction* LChunkBuilder::DoDeclareGlobals(HDeclareGlobals* instr) {
1156 LOperand* context = UseFixed(instr->context(), cp);
1157 return MarkAsCall(new(zone()) LDeclareGlobals(context), instr);
1158 }
1159
1160
DoGlobalObject(HGlobalObject * instr)1161 LInstruction* LChunkBuilder::DoGlobalObject(HGlobalObject* instr) {
1162 LOperand* context = UseRegisterAtStart(instr->value());
1163 return DefineAsRegister(new(zone()) LGlobalObject(context));
1164 }
1165
1166
DoGlobalReceiver(HGlobalReceiver * instr)1167 LInstruction* LChunkBuilder::DoGlobalReceiver(HGlobalReceiver* instr) {
1168 LOperand* global_object = UseRegisterAtStart(instr->value());
1169 return DefineAsRegister(new(zone()) LGlobalReceiver(global_object));
1170 }
1171
1172
DoCallConstantFunction(HCallConstantFunction * instr)1173 LInstruction* LChunkBuilder::DoCallConstantFunction(
1174 HCallConstantFunction* instr) {
1175 return MarkAsCall(DefineFixed(new(zone()) LCallConstantFunction, v0), instr);
1176 }
1177
1178
DoInvokeFunction(HInvokeFunction * instr)1179 LInstruction* LChunkBuilder::DoInvokeFunction(HInvokeFunction* instr) {
1180 LOperand* context = UseFixed(instr->context(), cp);
1181 LOperand* function = UseFixed(instr->function(), a1);
1182 LInvokeFunction* result = new(zone()) LInvokeFunction(context, function);
1183 return MarkAsCall(DefineFixed(result, v0), instr, CANNOT_DEOPTIMIZE_EAGERLY);
1184 }
1185
1186
DoUnaryMathOperation(HUnaryMathOperation * instr)1187 LInstruction* LChunkBuilder::DoUnaryMathOperation(HUnaryMathOperation* instr) {
1188 switch (instr->op()) {
1189 case kMathFloor: return DoMathFloor(instr);
1190 case kMathRound: return DoMathRound(instr);
1191 case kMathAbs: return DoMathAbs(instr);
1192 case kMathLog: return DoMathLog(instr);
1193 case kMathSin: return DoMathSin(instr);
1194 case kMathCos: return DoMathCos(instr);
1195 case kMathTan: return DoMathTan(instr);
1196 case kMathExp: return DoMathExp(instr);
1197 case kMathSqrt: return DoMathSqrt(instr);
1198 case kMathPowHalf: return DoMathPowHalf(instr);
1199 default:
1200 UNREACHABLE();
1201 return NULL;
1202 }
1203 }
1204
1205
DoMathLog(HUnaryMathOperation * instr)1206 LInstruction* LChunkBuilder::DoMathLog(HUnaryMathOperation* instr) {
1207 LOperand* input = UseFixedDouble(instr->value(), f4);
1208 LMathLog* result = new(zone()) LMathLog(input);
1209 return MarkAsCall(DefineFixedDouble(result, f4), instr);
1210 }
1211
1212
DoMathSin(HUnaryMathOperation * instr)1213 LInstruction* LChunkBuilder::DoMathSin(HUnaryMathOperation* instr) {
1214 LOperand* input = UseFixedDouble(instr->value(), f4);
1215 LMathSin* result = new(zone()) LMathSin(input);
1216 return MarkAsCall(DefineFixedDouble(result, f4), instr);
1217 }
1218
1219
DoMathCos(HUnaryMathOperation * instr)1220 LInstruction* LChunkBuilder::DoMathCos(HUnaryMathOperation* instr) {
1221 LOperand* input = UseFixedDouble(instr->value(), f4);
1222 LMathCos* result = new(zone()) LMathCos(input);
1223 return MarkAsCall(DefineFixedDouble(result, f4), instr);
1224 }
1225
1226
DoMathTan(HUnaryMathOperation * instr)1227 LInstruction* LChunkBuilder::DoMathTan(HUnaryMathOperation* instr) {
1228 LOperand* input = UseFixedDouble(instr->value(), f4);
1229 LMathTan* result = new(zone()) LMathTan(input);
1230 return MarkAsCall(DefineFixedDouble(result, f4), instr);
1231 }
1232
1233
DoMathExp(HUnaryMathOperation * instr)1234 LInstruction* LChunkBuilder::DoMathExp(HUnaryMathOperation* instr) {
1235 ASSERT(instr->representation().IsDouble());
1236 ASSERT(instr->value()->representation().IsDouble());
1237 LOperand* input = UseRegister(instr->value());
1238 LOperand* temp1 = TempRegister();
1239 LOperand* temp2 = TempRegister();
1240 LOperand* double_temp = FixedTemp(f6); // Chosen by fair dice roll.
1241 LMathExp* result = new(zone()) LMathExp(input, double_temp, temp1, temp2);
1242 return DefineAsRegister(result);
1243 }
1244
1245
DoMathPowHalf(HUnaryMathOperation * instr)1246 LInstruction* LChunkBuilder::DoMathPowHalf(HUnaryMathOperation* instr) {
1247 // Input cannot be the same as the result, see LCodeGen::DoMathPowHalf.
1248 LOperand* input = UseFixedDouble(instr->value(), f8);
1249 LOperand* temp = FixedTemp(f6);
1250 LMathPowHalf* result = new(zone()) LMathPowHalf(input, temp);
1251 return DefineFixedDouble(result, f4);
1252 }
1253
1254
DoMathAbs(HUnaryMathOperation * instr)1255 LInstruction* LChunkBuilder::DoMathAbs(HUnaryMathOperation* instr) {
1256 Representation r = instr->value()->representation();
1257 LOperand* context = (r.IsDouble() || r.IsSmiOrInteger32())
1258 ? NULL
1259 : UseFixed(instr->context(), cp);
1260 LOperand* input = UseRegister(instr->value());
1261 LMathAbs* result = new(zone()) LMathAbs(context, input);
1262 return AssignEnvironment(AssignPointerMap(DefineAsRegister(result)));
1263 }
1264
1265
DoMathFloor(HUnaryMathOperation * instr)1266 LInstruction* LChunkBuilder::DoMathFloor(HUnaryMathOperation* instr) {
1267 LOperand* input = UseRegister(instr->value());
1268 LOperand* temp = TempRegister();
1269 LMathFloor* result = new(zone()) LMathFloor(input, temp);
1270 return AssignEnvironment(AssignPointerMap(DefineAsRegister(result)));
1271 }
1272
1273
DoMathSqrt(HUnaryMathOperation * instr)1274 LInstruction* LChunkBuilder::DoMathSqrt(HUnaryMathOperation* instr) {
1275 LOperand* input = UseRegister(instr->value());
1276 LMathSqrt* result = new(zone()) LMathSqrt(input);
1277 return DefineAsRegister(result);
1278 }
1279
1280
DoMathRound(HUnaryMathOperation * instr)1281 LInstruction* LChunkBuilder::DoMathRound(HUnaryMathOperation* instr) {
1282 LOperand* input = UseRegister(instr->value());
1283 LOperand* temp = FixedTemp(f6);
1284 LMathRound* result = new(zone()) LMathRound(input, temp);
1285 return AssignEnvironment(DefineAsRegister(result));
1286 }
1287
1288
DoCallKeyed(HCallKeyed * instr)1289 LInstruction* LChunkBuilder::DoCallKeyed(HCallKeyed* instr) {
1290 ASSERT(instr->key()->representation().IsTagged());
1291 LOperand* context = UseFixed(instr->context(), cp);
1292 LOperand* key = UseFixed(instr->key(), a2);
1293 return MarkAsCall(
1294 DefineFixed(new(zone()) LCallKeyed(context, key), v0), instr);
1295 }
1296
1297
DoCallNamed(HCallNamed * instr)1298 LInstruction* LChunkBuilder::DoCallNamed(HCallNamed* instr) {
1299 LOperand* context = UseFixed(instr->context(), cp);
1300 return MarkAsCall(DefineFixed(new(zone()) LCallNamed(context), v0), instr);
1301 }
1302
1303
DoCallGlobal(HCallGlobal * instr)1304 LInstruction* LChunkBuilder::DoCallGlobal(HCallGlobal* instr) {
1305 LOperand* context = UseFixed(instr->context(), cp);
1306 return MarkAsCall(DefineFixed(new(zone()) LCallGlobal(context), v0), instr);
1307 }
1308
1309
DoCallKnownGlobal(HCallKnownGlobal * instr)1310 LInstruction* LChunkBuilder::DoCallKnownGlobal(HCallKnownGlobal* instr) {
1311 return MarkAsCall(DefineFixed(new(zone()) LCallKnownGlobal, v0), instr);
1312 }
1313
1314
DoCallNew(HCallNew * instr)1315 LInstruction* LChunkBuilder::DoCallNew(HCallNew* instr) {
1316 LOperand* context = UseFixed(instr->context(), cp);
1317 LOperand* constructor = UseFixed(instr->constructor(), a1);
1318 LCallNew* result = new(zone()) LCallNew(context, constructor);
1319 return MarkAsCall(DefineFixed(result, v0), instr);
1320 }
1321
1322
DoCallNewArray(HCallNewArray * instr)1323 LInstruction* LChunkBuilder::DoCallNewArray(HCallNewArray* instr) {
1324 LOperand* context = UseFixed(instr->context(), cp);
1325 LOperand* constructor = UseFixed(instr->constructor(), a1);
1326 LCallNewArray* result = new(zone()) LCallNewArray(context, constructor);
1327 return MarkAsCall(DefineFixed(result, v0), instr);
1328 }
1329
1330
DoCallFunction(HCallFunction * instr)1331 LInstruction* LChunkBuilder::DoCallFunction(HCallFunction* instr) {
1332 LOperand* context = UseFixed(instr->context(), cp);
1333 LOperand* function = UseFixed(instr->function(), a1);
1334 LCallFunction* call = new(zone()) LCallFunction(context, function);
1335 LInstruction* result = DefineFixed(call, v0);
1336 if (instr->IsTailCall()) return result;
1337 return MarkAsCall(result, instr);
1338 }
1339
1340
DoCallRuntime(HCallRuntime * instr)1341 LInstruction* LChunkBuilder::DoCallRuntime(HCallRuntime* instr) {
1342 LOperand* context = UseFixed(instr->context(), cp);
1343 return MarkAsCall(DefineFixed(new(zone()) LCallRuntime(context), v0), instr);
1344 }
1345
1346
DoRor(HRor * instr)1347 LInstruction* LChunkBuilder::DoRor(HRor* instr) {
1348 return DoShift(Token::ROR, instr);
1349 }
1350
1351
DoShr(HShr * instr)1352 LInstruction* LChunkBuilder::DoShr(HShr* instr) {
1353 return DoShift(Token::SHR, instr);
1354 }
1355
1356
DoSar(HSar * instr)1357 LInstruction* LChunkBuilder::DoSar(HSar* instr) {
1358 return DoShift(Token::SAR, instr);
1359 }
1360
1361
DoShl(HShl * instr)1362 LInstruction* LChunkBuilder::DoShl(HShl* instr) {
1363 return DoShift(Token::SHL, instr);
1364 }
1365
1366
DoBitwise(HBitwise * instr)1367 LInstruction* LChunkBuilder::DoBitwise(HBitwise* instr) {
1368 if (instr->representation().IsSmiOrInteger32()) {
1369 ASSERT(instr->left()->representation().Equals(instr->representation()));
1370 ASSERT(instr->right()->representation().Equals(instr->representation()));
1371 ASSERT(instr->CheckFlag(HValue::kTruncatingToInt32));
1372
1373 LOperand* left = UseRegisterAtStart(instr->BetterLeftOperand());
1374 LOperand* right = UseOrConstantAtStart(instr->BetterRightOperand());
1375 return DefineAsRegister(new(zone()) LBitI(left, right));
1376 } else {
1377 return DoArithmeticT(instr->op(), instr);
1378 }
1379 }
1380
1381
DoDiv(HDiv * instr)1382 LInstruction* LChunkBuilder::DoDiv(HDiv* instr) {
1383 if (instr->representation().IsSmiOrInteger32()) {
1384 ASSERT(instr->left()->representation().Equals(instr->representation()));
1385 ASSERT(instr->right()->representation().Equals(instr->representation()));
1386 LOperand* dividend = UseRegister(instr->left());
1387 LOperand* divisor = UseRegister(instr->right());
1388 LDivI* div = new(zone()) LDivI(dividend, divisor);
1389 return AssignEnvironment(DefineAsRegister(div));
1390 } else if (instr->representation().IsDouble()) {
1391 return DoArithmeticD(Token::DIV, instr);
1392 } else {
1393 return DoArithmeticT(Token::DIV, instr);
1394 }
1395 }
1396
1397
HasMagicNumberForDivisor(int32_t divisor)1398 bool LChunkBuilder::HasMagicNumberForDivisor(int32_t divisor) {
1399 uint32_t divisor_abs = abs(divisor);
1400 // Dividing by 0, 1, and powers of 2 is easy.
1401 // Note that IsPowerOf2(0) returns true;
1402 ASSERT(IsPowerOf2(0) == true);
1403 if (IsPowerOf2(divisor_abs)) return true;
1404
1405 // We have magic numbers for a few specific divisors.
1406 // Details and proofs can be found in:
1407 // - Hacker's Delight, Henry S. Warren, Jr.
1408 // - The PowerPC Compiler Writer's Guide
1409 // and probably many others.
1410 //
1411 // We handle
1412 // <divisor with magic numbers> * <power of 2>
1413 // but not
1414 // <divisor with magic numbers> * <other divisor with magic numbers>
1415 int32_t power_of_2_factor =
1416 CompilerIntrinsics::CountTrailingZeros(divisor_abs);
1417 DivMagicNumbers magic_numbers =
1418 DivMagicNumberFor(divisor_abs >> power_of_2_factor);
1419 if (magic_numbers.M != InvalidDivMagicNumber.M) return true;
1420
1421 return false;
1422 }
1423
1424
SimplifiedDivisorForMathFloorOfDiv(HValue * divisor)1425 HValue* LChunkBuilder::SimplifiedDivisorForMathFloorOfDiv(HValue* divisor) {
1426 // Only optimize when we have magic numbers for the divisor.
1427 // The standard integer division routine is usually slower than transitionning
1428 // to FPU.
1429 if (divisor->IsConstant() &&
1430 HConstant::cast(divisor)->HasInteger32Value()) {
1431 HConstant* constant_val = HConstant::cast(divisor);
1432 return constant_val->CopyToRepresentation(Representation::Integer32(),
1433 divisor->block()->zone());
1434 }
1435 return NULL;
1436 }
1437
1438
DoMathFloorOfDiv(HMathFloorOfDiv * instr)1439 LInstruction* LChunkBuilder::DoMathFloorOfDiv(HMathFloorOfDiv* instr) {
1440 HValue* right = instr->right();
1441 LOperand* dividend = UseRegister(instr->left());
1442 LOperand* divisor = UseRegisterOrConstant(right);
1443 LOperand* remainder = TempRegister();
1444 return AssignEnvironment(DefineAsRegister(
1445 new(zone()) LMathFloorOfDiv(dividend, divisor, remainder)));
1446 }
1447
1448
DoMod(HMod * instr)1449 LInstruction* LChunkBuilder::DoMod(HMod* instr) {
1450 HValue* left = instr->left();
1451 HValue* right = instr->right();
1452 if (instr->representation().IsSmiOrInteger32()) {
1453 ASSERT(instr->left()->representation().Equals(instr->representation()));
1454 ASSERT(instr->right()->representation().Equals(instr->representation()));
1455 if (instr->HasPowerOf2Divisor()) {
1456 ASSERT(!right->CanBeZero());
1457 LModI* mod = new(zone()) LModI(UseRegisterAtStart(left),
1458 UseConstant(right));
1459 LInstruction* result = DefineAsRegister(mod);
1460 return (left->CanBeNegative() &&
1461 instr->CheckFlag(HValue::kBailoutOnMinusZero))
1462 ? AssignEnvironment(result)
1463 : result;
1464 } else {
1465 LModI* mod = new(zone()) LModI(UseRegister(left),
1466 UseRegister(right),
1467 TempRegister(),
1468 FixedTemp(f20),
1469 FixedTemp(f22));
1470 LInstruction* result = DefineAsRegister(mod);
1471 return (right->CanBeZero() ||
1472 (left->RangeCanInclude(kMinInt) &&
1473 right->RangeCanInclude(-1)) ||
1474 instr->CheckFlag(HValue::kBailoutOnMinusZero))
1475 ? AssignEnvironment(result)
1476 : result;
1477 }
1478 } else if (instr->representation().IsDouble()) {
1479 return DoArithmeticD(Token::MOD, instr);
1480 } else {
1481 return DoArithmeticT(Token::MOD, instr);
1482 }
1483 }
1484
1485
DoMul(HMul * instr)1486 LInstruction* LChunkBuilder::DoMul(HMul* instr) {
1487 if (instr->representation().IsSmiOrInteger32()) {
1488 ASSERT(instr->left()->representation().Equals(instr->representation()));
1489 ASSERT(instr->right()->representation().Equals(instr->representation()));
1490 HValue* left = instr->BetterLeftOperand();
1491 HValue* right = instr->BetterRightOperand();
1492 LOperand* left_op;
1493 LOperand* right_op;
1494 bool can_overflow = instr->CheckFlag(HValue::kCanOverflow);
1495 bool bailout_on_minus_zero = instr->CheckFlag(HValue::kBailoutOnMinusZero);
1496
1497 if (right->IsConstant()) {
1498 HConstant* constant = HConstant::cast(right);
1499 int32_t constant_value = constant->Integer32Value();
1500 // Constants -1, 0 and 1 can be optimized if the result can overflow.
1501 // For other constants, it can be optimized only without overflow.
1502 if (!can_overflow || ((constant_value >= -1) && (constant_value <= 1))) {
1503 left_op = UseRegisterAtStart(left);
1504 right_op = UseConstant(right);
1505 } else {
1506 if (bailout_on_minus_zero) {
1507 left_op = UseRegister(left);
1508 } else {
1509 left_op = UseRegisterAtStart(left);
1510 }
1511 right_op = UseRegister(right);
1512 }
1513 } else {
1514 if (bailout_on_minus_zero) {
1515 left_op = UseRegister(left);
1516 } else {
1517 left_op = UseRegisterAtStart(left);
1518 }
1519 right_op = UseRegister(right);
1520 }
1521 LMulI* mul = new(zone()) LMulI(left_op, right_op);
1522 if (can_overflow || bailout_on_minus_zero) {
1523 AssignEnvironment(mul);
1524 }
1525 return DefineAsRegister(mul);
1526
1527 } else if (instr->representation().IsDouble()) {
1528 if (kArchVariant == kMips32r2) {
1529 if (instr->UseCount() == 1 && instr->uses().value()->IsAdd()) {
1530 HAdd* add = HAdd::cast(instr->uses().value());
1531 if (instr == add->left()) {
1532 // This mul is the lhs of an add. The add and mul will be folded
1533 // into a multiply-add.
1534 return NULL;
1535 }
1536 if (instr == add->right() && !add->left()->IsMul()) {
1537 // This mul is the rhs of an add, where the lhs is not another mul.
1538 // The add and mul will be folded into a multiply-add.
1539 return NULL;
1540 }
1541 }
1542 }
1543 return DoArithmeticD(Token::MUL, instr);
1544 } else {
1545 return DoArithmeticT(Token::MUL, instr);
1546 }
1547 }
1548
1549
DoSub(HSub * instr)1550 LInstruction* LChunkBuilder::DoSub(HSub* instr) {
1551 if (instr->representation().IsSmiOrInteger32()) {
1552 ASSERT(instr->left()->representation().Equals(instr->representation()));
1553 ASSERT(instr->right()->representation().Equals(instr->representation()));
1554 LOperand* left = UseRegisterAtStart(instr->left());
1555 LOperand* right = UseOrConstantAtStart(instr->right());
1556 LSubI* sub = new(zone()) LSubI(left, right);
1557 LInstruction* result = DefineAsRegister(sub);
1558 if (instr->CheckFlag(HValue::kCanOverflow)) {
1559 result = AssignEnvironment(result);
1560 }
1561 return result;
1562 } else if (instr->representation().IsDouble()) {
1563 return DoArithmeticD(Token::SUB, instr);
1564 } else {
1565 return DoArithmeticT(Token::SUB, instr);
1566 }
1567 }
1568
1569
DoMultiplyAdd(HMul * mul,HValue * addend)1570 LInstruction* LChunkBuilder::DoMultiplyAdd(HMul* mul, HValue* addend) {
1571 LOperand* multiplier_op = UseRegisterAtStart(mul->left());
1572 LOperand* multiplicand_op = UseRegisterAtStart(mul->right());
1573 LOperand* addend_op = UseRegisterAtStart(addend);
1574 return DefineSameAsFirst(new(zone()) LMultiplyAddD(addend_op, multiplier_op,
1575 multiplicand_op));
1576 }
1577
1578
DoAdd(HAdd * instr)1579 LInstruction* LChunkBuilder::DoAdd(HAdd* instr) {
1580 if (instr->representation().IsSmiOrInteger32()) {
1581 ASSERT(instr->left()->representation().Equals(instr->representation()));
1582 ASSERT(instr->right()->representation().Equals(instr->representation()));
1583 LOperand* left = UseRegisterAtStart(instr->BetterLeftOperand());
1584 LOperand* right = UseOrConstantAtStart(instr->BetterRightOperand());
1585 LAddI* add = new(zone()) LAddI(left, right);
1586 LInstruction* result = DefineAsRegister(add);
1587 if (instr->CheckFlag(HValue::kCanOverflow)) {
1588 result = AssignEnvironment(result);
1589 }
1590 return result;
1591 } else if (instr->representation().IsExternal()) {
1592 ASSERT(instr->left()->representation().IsExternal());
1593 ASSERT(instr->right()->representation().IsInteger32());
1594 ASSERT(!instr->CheckFlag(HValue::kCanOverflow));
1595 LOperand* left = UseRegisterAtStart(instr->left());
1596 LOperand* right = UseOrConstantAtStart(instr->right());
1597 LAddI* add = new(zone()) LAddI(left, right);
1598 LInstruction* result = DefineAsRegister(add);
1599 return result;
1600 } else if (instr->representation().IsDouble()) {
1601 if (kArchVariant == kMips32r2) {
1602 if (instr->left()->IsMul())
1603 return DoMultiplyAdd(HMul::cast(instr->left()), instr->right());
1604
1605 if (instr->right()->IsMul()) {
1606 ASSERT(!instr->left()->IsMul());
1607 return DoMultiplyAdd(HMul::cast(instr->right()), instr->left());
1608 }
1609 }
1610 return DoArithmeticD(Token::ADD, instr);
1611 } else {
1612 return DoArithmeticT(Token::ADD, instr);
1613 }
1614 }
1615
1616
DoMathMinMax(HMathMinMax * instr)1617 LInstruction* LChunkBuilder::DoMathMinMax(HMathMinMax* instr) {
1618 LOperand* left = NULL;
1619 LOperand* right = NULL;
1620 if (instr->representation().IsSmiOrInteger32()) {
1621 ASSERT(instr->left()->representation().Equals(instr->representation()));
1622 ASSERT(instr->right()->representation().Equals(instr->representation()));
1623 left = UseRegisterAtStart(instr->BetterLeftOperand());
1624 right = UseOrConstantAtStart(instr->BetterRightOperand());
1625 } else {
1626 ASSERT(instr->representation().IsDouble());
1627 ASSERT(instr->left()->representation().IsDouble());
1628 ASSERT(instr->right()->representation().IsDouble());
1629 left = UseRegisterAtStart(instr->left());
1630 right = UseRegisterAtStart(instr->right());
1631 }
1632 return DefineAsRegister(new(zone()) LMathMinMax(left, right));
1633 }
1634
1635
DoPower(HPower * instr)1636 LInstruction* LChunkBuilder::DoPower(HPower* instr) {
1637 ASSERT(instr->representation().IsDouble());
1638 // We call a C function for double power. It can't trigger a GC.
1639 // We need to use fixed result register for the call.
1640 Representation exponent_type = instr->right()->representation();
1641 ASSERT(instr->left()->representation().IsDouble());
1642 LOperand* left = UseFixedDouble(instr->left(), f2);
1643 LOperand* right = exponent_type.IsDouble() ?
1644 UseFixedDouble(instr->right(), f4) :
1645 UseFixed(instr->right(), a2);
1646 LPower* result = new(zone()) LPower(left, right);
1647 return MarkAsCall(DefineFixedDouble(result, f0),
1648 instr,
1649 CAN_DEOPTIMIZE_EAGERLY);
1650 }
1651
1652
DoCompareGeneric(HCompareGeneric * instr)1653 LInstruction* LChunkBuilder::DoCompareGeneric(HCompareGeneric* instr) {
1654 ASSERT(instr->left()->representation().IsTagged());
1655 ASSERT(instr->right()->representation().IsTagged());
1656 LOperand* context = UseFixed(instr->context(), cp);
1657 LOperand* left = UseFixed(instr->left(), a1);
1658 LOperand* right = UseFixed(instr->right(), a0);
1659 LCmpT* result = new(zone()) LCmpT(context, left, right);
1660 return MarkAsCall(DefineFixed(result, v0), instr);
1661 }
1662
1663
DoCompareNumericAndBranch(HCompareNumericAndBranch * instr)1664 LInstruction* LChunkBuilder::DoCompareNumericAndBranch(
1665 HCompareNumericAndBranch* instr) {
1666 Representation r = instr->representation();
1667 if (r.IsSmiOrInteger32()) {
1668 ASSERT(instr->left()->representation().Equals(r));
1669 ASSERT(instr->right()->representation().Equals(r));
1670 LOperand* left = UseRegisterOrConstantAtStart(instr->left());
1671 LOperand* right = UseRegisterOrConstantAtStart(instr->right());
1672 return new(zone()) LCompareNumericAndBranch(left, right);
1673 } else {
1674 ASSERT(r.IsDouble());
1675 ASSERT(instr->left()->representation().IsDouble());
1676 ASSERT(instr->right()->representation().IsDouble());
1677 LOperand* left = UseRegisterAtStart(instr->left());
1678 LOperand* right = UseRegisterAtStart(instr->right());
1679 return new(zone()) LCompareNumericAndBranch(left, right);
1680 }
1681 }
1682
1683
DoCompareObjectEqAndBranch(HCompareObjectEqAndBranch * instr)1684 LInstruction* LChunkBuilder::DoCompareObjectEqAndBranch(
1685 HCompareObjectEqAndBranch* instr) {
1686 LInstruction* goto_instr = CheckElideControlInstruction(instr);
1687 if (goto_instr != NULL) return goto_instr;
1688 LOperand* left = UseRegisterAtStart(instr->left());
1689 LOperand* right = UseRegisterAtStart(instr->right());
1690 return new(zone()) LCmpObjectEqAndBranch(left, right);
1691 }
1692
1693
DoCompareHoleAndBranch(HCompareHoleAndBranch * instr)1694 LInstruction* LChunkBuilder::DoCompareHoleAndBranch(
1695 HCompareHoleAndBranch* instr) {
1696 LOperand* value = UseRegisterAtStart(instr->value());
1697 return new(zone()) LCmpHoleAndBranch(value);
1698 }
1699
1700
DoCompareMinusZeroAndBranch(HCompareMinusZeroAndBranch * instr)1701 LInstruction* LChunkBuilder::DoCompareMinusZeroAndBranch(
1702 HCompareMinusZeroAndBranch* instr) {
1703 LInstruction* goto_instr = CheckElideControlInstruction(instr);
1704 if (goto_instr != NULL) return goto_instr;
1705 LOperand* value = UseRegister(instr->value());
1706 LOperand* scratch = TempRegister();
1707 return new(zone()) LCompareMinusZeroAndBranch(value, scratch);
1708 }
1709
1710
DoIsObjectAndBranch(HIsObjectAndBranch * instr)1711 LInstruction* LChunkBuilder::DoIsObjectAndBranch(HIsObjectAndBranch* instr) {
1712 ASSERT(instr->value()->representation().IsTagged());
1713 LOperand* temp = TempRegister();
1714 return new(zone()) LIsObjectAndBranch(UseRegisterAtStart(instr->value()),
1715 temp);
1716 }
1717
1718
DoIsStringAndBranch(HIsStringAndBranch * instr)1719 LInstruction* LChunkBuilder::DoIsStringAndBranch(HIsStringAndBranch* instr) {
1720 ASSERT(instr->value()->representation().IsTagged());
1721 LOperand* temp = TempRegister();
1722 return new(zone()) LIsStringAndBranch(UseRegisterAtStart(instr->value()),
1723 temp);
1724 }
1725
1726
DoIsSmiAndBranch(HIsSmiAndBranch * instr)1727 LInstruction* LChunkBuilder::DoIsSmiAndBranch(HIsSmiAndBranch* instr) {
1728 ASSERT(instr->value()->representation().IsTagged());
1729 return new(zone()) LIsSmiAndBranch(Use(instr->value()));
1730 }
1731
1732
DoIsUndetectableAndBranch(HIsUndetectableAndBranch * instr)1733 LInstruction* LChunkBuilder::DoIsUndetectableAndBranch(
1734 HIsUndetectableAndBranch* instr) {
1735 ASSERT(instr->value()->representation().IsTagged());
1736 return new(zone()) LIsUndetectableAndBranch(
1737 UseRegisterAtStart(instr->value()), TempRegister());
1738 }
1739
1740
DoStringCompareAndBranch(HStringCompareAndBranch * instr)1741 LInstruction* LChunkBuilder::DoStringCompareAndBranch(
1742 HStringCompareAndBranch* instr) {
1743 ASSERT(instr->left()->representation().IsTagged());
1744 ASSERT(instr->right()->representation().IsTagged());
1745 LOperand* context = UseFixed(instr->context(), cp);
1746 LOperand* left = UseFixed(instr->left(), a1);
1747 LOperand* right = UseFixed(instr->right(), a0);
1748 LStringCompareAndBranch* result =
1749 new(zone()) LStringCompareAndBranch(context, left, right);
1750 return MarkAsCall(result, instr);
1751 }
1752
1753
DoHasInstanceTypeAndBranch(HHasInstanceTypeAndBranch * instr)1754 LInstruction* LChunkBuilder::DoHasInstanceTypeAndBranch(
1755 HHasInstanceTypeAndBranch* instr) {
1756 ASSERT(instr->value()->representation().IsTagged());
1757 LOperand* value = UseRegisterAtStart(instr->value());
1758 return new(zone()) LHasInstanceTypeAndBranch(value);
1759 }
1760
1761
DoGetCachedArrayIndex(HGetCachedArrayIndex * instr)1762 LInstruction* LChunkBuilder::DoGetCachedArrayIndex(
1763 HGetCachedArrayIndex* instr) {
1764 ASSERT(instr->value()->representation().IsTagged());
1765 LOperand* value = UseRegisterAtStart(instr->value());
1766
1767 return DefineAsRegister(new(zone()) LGetCachedArrayIndex(value));
1768 }
1769
1770
DoHasCachedArrayIndexAndBranch(HHasCachedArrayIndexAndBranch * instr)1771 LInstruction* LChunkBuilder::DoHasCachedArrayIndexAndBranch(
1772 HHasCachedArrayIndexAndBranch* instr) {
1773 ASSERT(instr->value()->representation().IsTagged());
1774 return new(zone()) LHasCachedArrayIndexAndBranch(
1775 UseRegisterAtStart(instr->value()));
1776 }
1777
1778
DoClassOfTestAndBranch(HClassOfTestAndBranch * instr)1779 LInstruction* LChunkBuilder::DoClassOfTestAndBranch(
1780 HClassOfTestAndBranch* instr) {
1781 ASSERT(instr->value()->representation().IsTagged());
1782 return new(zone()) LClassOfTestAndBranch(UseRegister(instr->value()),
1783 TempRegister());
1784 }
1785
1786
DoMapEnumLength(HMapEnumLength * instr)1787 LInstruction* LChunkBuilder::DoMapEnumLength(HMapEnumLength* instr) {
1788 LOperand* map = UseRegisterAtStart(instr->value());
1789 return DefineAsRegister(new(zone()) LMapEnumLength(map));
1790 }
1791
1792
DoElementsKind(HElementsKind * instr)1793 LInstruction* LChunkBuilder::DoElementsKind(HElementsKind* instr) {
1794 LOperand* object = UseRegisterAtStart(instr->value());
1795 return DefineAsRegister(new(zone()) LElementsKind(object));
1796 }
1797
1798
DoValueOf(HValueOf * instr)1799 LInstruction* LChunkBuilder::DoValueOf(HValueOf* instr) {
1800 LOperand* object = UseRegister(instr->value());
1801 LValueOf* result = new(zone()) LValueOf(object, TempRegister());
1802 return DefineAsRegister(result);
1803 }
1804
1805
DoDateField(HDateField * instr)1806 LInstruction* LChunkBuilder::DoDateField(HDateField* instr) {
1807 LOperand* object = UseFixed(instr->value(), a0);
1808 LDateField* result =
1809 new(zone()) LDateField(object, FixedTemp(a1), instr->index());
1810 return MarkAsCall(DefineFixed(result, v0), instr, CAN_DEOPTIMIZE_EAGERLY);
1811 }
1812
1813
DoSeqStringGetChar(HSeqStringGetChar * instr)1814 LInstruction* LChunkBuilder::DoSeqStringGetChar(HSeqStringGetChar* instr) {
1815 LOperand* string = UseRegisterAtStart(instr->string());
1816 LOperand* index = UseRegisterOrConstantAtStart(instr->index());
1817 return DefineAsRegister(new(zone()) LSeqStringGetChar(string, index));
1818 }
1819
1820
DoSeqStringSetChar(HSeqStringSetChar * instr)1821 LInstruction* LChunkBuilder::DoSeqStringSetChar(HSeqStringSetChar* instr) {
1822 LOperand* string = UseRegisterAtStart(instr->string());
1823 LOperand* index = FLAG_debug_code
1824 ? UseRegisterAtStart(instr->index())
1825 : UseRegisterOrConstantAtStart(instr->index());
1826 LOperand* value = UseRegisterAtStart(instr->value());
1827 LOperand* context = FLAG_debug_code ? UseFixed(instr->context(), cp) : NULL;
1828 return new(zone()) LSeqStringSetChar(context, string, index, value);
1829 }
1830
1831
DoBoundsCheck(HBoundsCheck * instr)1832 LInstruction* LChunkBuilder::DoBoundsCheck(HBoundsCheck* instr) {
1833 LOperand* value = UseRegisterOrConstantAtStart(instr->index());
1834 LOperand* length = UseRegister(instr->length());
1835 return AssignEnvironment(new(zone()) LBoundsCheck(value, length));
1836 }
1837
1838
DoBoundsCheckBaseIndexInformation(HBoundsCheckBaseIndexInformation * instr)1839 LInstruction* LChunkBuilder::DoBoundsCheckBaseIndexInformation(
1840 HBoundsCheckBaseIndexInformation* instr) {
1841 UNREACHABLE();
1842 return NULL;
1843 }
1844
1845
DoAbnormalExit(HAbnormalExit * instr)1846 LInstruction* LChunkBuilder::DoAbnormalExit(HAbnormalExit* instr) {
1847 // The control instruction marking the end of a block that completed
1848 // abruptly (e.g., threw an exception). There is nothing specific to do.
1849 return NULL;
1850 }
1851
1852
DoThrow(HThrow * instr)1853 LInstruction* LChunkBuilder::DoThrow(HThrow* instr) {
1854 LOperand* context = UseFixed(instr->context(), cp);
1855 LOperand* value = UseFixed(instr->value(), a0);
1856 return MarkAsCall(new(zone()) LThrow(context, value), instr);
1857 }
1858
1859
DoUseConst(HUseConst * instr)1860 LInstruction* LChunkBuilder::DoUseConst(HUseConst* instr) {
1861 return NULL;
1862 }
1863
1864
DoForceRepresentation(HForceRepresentation * bad)1865 LInstruction* LChunkBuilder::DoForceRepresentation(HForceRepresentation* bad) {
1866 // All HForceRepresentation instructions should be eliminated in the
1867 // representation change phase of Hydrogen.
1868 UNREACHABLE();
1869 return NULL;
1870 }
1871
1872
DoChange(HChange * instr)1873 LInstruction* LChunkBuilder::DoChange(HChange* instr) {
1874 Representation from = instr->from();
1875 Representation to = instr->to();
1876 if (from.IsSmi()) {
1877 if (to.IsTagged()) {
1878 LOperand* value = UseRegister(instr->value());
1879 return DefineSameAsFirst(new(zone()) LDummyUse(value));
1880 }
1881 from = Representation::Tagged();
1882 }
1883 if (from.IsTagged()) {
1884 if (to.IsDouble()) {
1885 LOperand* value = UseRegister(instr->value());
1886 LNumberUntagD* res = new(zone()) LNumberUntagD(value);
1887 return AssignEnvironment(DefineAsRegister(res));
1888 } else if (to.IsSmi()) {
1889 HValue* val = instr->value();
1890 LOperand* value = UseRegister(val);
1891 if (val->type().IsSmi()) {
1892 return DefineSameAsFirst(new(zone()) LDummyUse(value));
1893 }
1894 return AssignEnvironment(DefineSameAsFirst(new(zone()) LCheckSmi(value)));
1895 } else {
1896 ASSERT(to.IsInteger32());
1897 LOperand* value = NULL;
1898 LInstruction* res = NULL;
1899 HValue* val = instr->value();
1900 if (val->type().IsSmi() || val->representation().IsSmi()) {
1901 value = UseRegisterAtStart(val);
1902 res = DefineAsRegister(new(zone()) LSmiUntag(value, false));
1903 } else {
1904 value = UseRegister(val);
1905 LOperand* temp1 = TempRegister();
1906 LOperand* temp2 = FixedTemp(f22);
1907 res = DefineSameAsFirst(new(zone()) LTaggedToI(value,
1908 temp1,
1909 temp2));
1910 res = AssignEnvironment(res);
1911 }
1912 return res;
1913 }
1914 } else if (from.IsDouble()) {
1915 if (to.IsTagged()) {
1916 info()->MarkAsDeferredCalling();
1917 LOperand* value = UseRegister(instr->value());
1918 LOperand* temp1 = TempRegister();
1919 LOperand* temp2 = TempRegister();
1920
1921 // Make sure that the temp and result_temp registers are
1922 // different.
1923 LUnallocated* result_temp = TempRegister();
1924 LNumberTagD* result = new(zone()) LNumberTagD(value, temp1, temp2);
1925 Define(result, result_temp);
1926 return AssignPointerMap(result);
1927 } else if (to.IsSmi()) {
1928 LOperand* value = UseRegister(instr->value());
1929 return AssignEnvironment(
1930 DefineAsRegister(new(zone()) LDoubleToSmi(value)));
1931 } else {
1932 ASSERT(to.IsInteger32());
1933 LOperand* value = UseRegister(instr->value());
1934 LDoubleToI* res = new(zone()) LDoubleToI(value);
1935 return AssignEnvironment(DefineAsRegister(res));
1936 }
1937 } else if (from.IsInteger32()) {
1938 info()->MarkAsDeferredCalling();
1939 if (to.IsTagged()) {
1940 HValue* val = instr->value();
1941 LOperand* value = UseRegisterAtStart(val);
1942 if (val->CheckFlag(HInstruction::kUint32)) {
1943 LNumberTagU* result = new(zone()) LNumberTagU(value);
1944 return AssignEnvironment(AssignPointerMap(DefineAsRegister(result)));
1945 } else if (val->HasRange() && val->range()->IsInSmiRange()) {
1946 return DefineAsRegister(new(zone()) LSmiTag(value));
1947 } else {
1948 LNumberTagI* result = new(zone()) LNumberTagI(value);
1949 return AssignEnvironment(AssignPointerMap(DefineAsRegister(result)));
1950 }
1951 } else if (to.IsSmi()) {
1952 HValue* val = instr->value();
1953 LOperand* value = UseRegister(val);
1954 LInstruction* result = val->CheckFlag(HInstruction::kUint32)
1955 ? DefineAsRegister(new(zone()) LUint32ToSmi(value))
1956 : DefineAsRegister(new(zone()) LInteger32ToSmi(value));
1957 if (val->HasRange() && val->range()->IsInSmiRange()) {
1958 return result;
1959 }
1960 return AssignEnvironment(result);
1961 } else {
1962 ASSERT(to.IsDouble());
1963 if (instr->value()->CheckFlag(HInstruction::kUint32)) {
1964 return DefineAsRegister(
1965 new(zone()) LUint32ToDouble(UseRegister(instr->value())));
1966 } else {
1967 return DefineAsRegister(
1968 new(zone()) LInteger32ToDouble(Use(instr->value())));
1969 }
1970 }
1971 }
1972 UNREACHABLE();
1973 return NULL;
1974 }
1975
1976
DoCheckHeapObject(HCheckHeapObject * instr)1977 LInstruction* LChunkBuilder::DoCheckHeapObject(HCheckHeapObject* instr) {
1978 LOperand* value = UseRegisterAtStart(instr->value());
1979 return AssignEnvironment(new(zone()) LCheckNonSmi(value));
1980 }
1981
1982
DoCheckSmi(HCheckSmi * instr)1983 LInstruction* LChunkBuilder::DoCheckSmi(HCheckSmi* instr) {
1984 LOperand* value = UseRegisterAtStart(instr->value());
1985 return AssignEnvironment(new(zone()) LCheckSmi(value));
1986 }
1987
1988
DoCheckInstanceType(HCheckInstanceType * instr)1989 LInstruction* LChunkBuilder::DoCheckInstanceType(HCheckInstanceType* instr) {
1990 LOperand* value = UseRegisterAtStart(instr->value());
1991 LInstruction* result = new(zone()) LCheckInstanceType(value);
1992 return AssignEnvironment(result);
1993 }
1994
1995
DoCheckValue(HCheckValue * instr)1996 LInstruction* LChunkBuilder::DoCheckValue(HCheckValue* instr) {
1997 LOperand* value = UseRegisterAtStart(instr->value());
1998 return AssignEnvironment(new(zone()) LCheckValue(value));
1999 }
2000
2001
DoCheckMaps(HCheckMaps * instr)2002 LInstruction* LChunkBuilder::DoCheckMaps(HCheckMaps* instr) {
2003 LOperand* value = NULL;
2004 if (!instr->CanOmitMapChecks()) {
2005 value = UseRegisterAtStart(instr->value());
2006 if (instr->has_migration_target()) info()->MarkAsDeferredCalling();
2007 }
2008 LCheckMaps* result = new(zone()) LCheckMaps(value);
2009 if (!instr->CanOmitMapChecks()) {
2010 AssignEnvironment(result);
2011 if (instr->has_migration_target()) return AssignPointerMap(result);
2012 }
2013 return result;
2014 }
2015
2016
DoClampToUint8(HClampToUint8 * instr)2017 LInstruction* LChunkBuilder::DoClampToUint8(HClampToUint8* instr) {
2018 HValue* value = instr->value();
2019 Representation input_rep = value->representation();
2020 LOperand* reg = UseRegister(value);
2021 if (input_rep.IsDouble()) {
2022 // Revisit this decision, here and 8 lines below.
2023 return DefineAsRegister(new(zone()) LClampDToUint8(reg, FixedTemp(f22)));
2024 } else if (input_rep.IsInteger32()) {
2025 return DefineAsRegister(new(zone()) LClampIToUint8(reg));
2026 } else {
2027 ASSERT(input_rep.IsSmiOrTagged());
2028 // Register allocator doesn't (yet) support allocation of double
2029 // temps. Reserve f22 explicitly.
2030 LClampTToUint8* result = new(zone()) LClampTToUint8(reg, FixedTemp(f22));
2031 return AssignEnvironment(DefineAsRegister(result));
2032 }
2033 }
2034
2035
DoReturn(HReturn * instr)2036 LInstruction* LChunkBuilder::DoReturn(HReturn* instr) {
2037 LOperand* context = info()->IsStub()
2038 ? UseFixed(instr->context(), cp)
2039 : NULL;
2040 LOperand* parameter_count = UseRegisterOrConstant(instr->parameter_count());
2041 return new(zone()) LReturn(UseFixed(instr->value(), v0), context,
2042 parameter_count);
2043 }
2044
2045
DoConstant(HConstant * instr)2046 LInstruction* LChunkBuilder::DoConstant(HConstant* instr) {
2047 Representation r = instr->representation();
2048 if (r.IsSmi()) {
2049 return DefineAsRegister(new(zone()) LConstantS);
2050 } else if (r.IsInteger32()) {
2051 return DefineAsRegister(new(zone()) LConstantI);
2052 } else if (r.IsDouble()) {
2053 return DefineAsRegister(new(zone()) LConstantD);
2054 } else if (r.IsExternal()) {
2055 return DefineAsRegister(new(zone()) LConstantE);
2056 } else if (r.IsTagged()) {
2057 return DefineAsRegister(new(zone()) LConstantT);
2058 } else {
2059 UNREACHABLE();
2060 return NULL;
2061 }
2062 }
2063
2064
DoLoadGlobalCell(HLoadGlobalCell * instr)2065 LInstruction* LChunkBuilder::DoLoadGlobalCell(HLoadGlobalCell* instr) {
2066 LLoadGlobalCell* result = new(zone()) LLoadGlobalCell;
2067 return instr->RequiresHoleCheck()
2068 ? AssignEnvironment(DefineAsRegister(result))
2069 : DefineAsRegister(result);
2070 }
2071
2072
DoLoadGlobalGeneric(HLoadGlobalGeneric * instr)2073 LInstruction* LChunkBuilder::DoLoadGlobalGeneric(HLoadGlobalGeneric* instr) {
2074 LOperand* context = UseFixed(instr->context(), cp);
2075 LOperand* global_object = UseFixed(instr->global_object(), a0);
2076 LLoadGlobalGeneric* result =
2077 new(zone()) LLoadGlobalGeneric(context, global_object);
2078 return MarkAsCall(DefineFixed(result, v0), instr);
2079 }
2080
2081
DoStoreGlobalCell(HStoreGlobalCell * instr)2082 LInstruction* LChunkBuilder::DoStoreGlobalCell(HStoreGlobalCell* instr) {
2083 LOperand* value = UseRegister(instr->value());
2084 // Use a temp to check the value in the cell in the case where we perform
2085 // a hole check.
2086 return instr->RequiresHoleCheck()
2087 ? AssignEnvironment(new(zone()) LStoreGlobalCell(value, TempRegister()))
2088 : new(zone()) LStoreGlobalCell(value, NULL);
2089 }
2090
2091
DoStoreGlobalGeneric(HStoreGlobalGeneric * instr)2092 LInstruction* LChunkBuilder::DoStoreGlobalGeneric(HStoreGlobalGeneric* instr) {
2093 LOperand* context = UseFixed(instr->context(), cp);
2094 LOperand* global_object = UseFixed(instr->global_object(), a1);
2095 LOperand* value = UseFixed(instr->value(), a0);
2096 LStoreGlobalGeneric* result =
2097 new(zone()) LStoreGlobalGeneric(context, global_object, value);
2098 return MarkAsCall(result, instr);
2099 }
2100
2101
DoLoadContextSlot(HLoadContextSlot * instr)2102 LInstruction* LChunkBuilder::DoLoadContextSlot(HLoadContextSlot* instr) {
2103 LOperand* context = UseRegisterAtStart(instr->value());
2104 LInstruction* result =
2105 DefineAsRegister(new(zone()) LLoadContextSlot(context));
2106 return instr->RequiresHoleCheck() ? AssignEnvironment(result) : result;
2107 }
2108
2109
DoStoreContextSlot(HStoreContextSlot * instr)2110 LInstruction* LChunkBuilder::DoStoreContextSlot(HStoreContextSlot* instr) {
2111 LOperand* context;
2112 LOperand* value;
2113 if (instr->NeedsWriteBarrier()) {
2114 context = UseTempRegister(instr->context());
2115 value = UseTempRegister(instr->value());
2116 } else {
2117 context = UseRegister(instr->context());
2118 value = UseRegister(instr->value());
2119 }
2120 LInstruction* result = new(zone()) LStoreContextSlot(context, value);
2121 return instr->RequiresHoleCheck() ? AssignEnvironment(result) : result;
2122 }
2123
2124
DoLoadNamedField(HLoadNamedField * instr)2125 LInstruction* LChunkBuilder::DoLoadNamedField(HLoadNamedField* instr) {
2126 LOperand* obj = UseRegisterAtStart(instr->object());
2127 return DefineAsRegister(new(zone()) LLoadNamedField(obj));
2128 }
2129
2130
DoLoadNamedGeneric(HLoadNamedGeneric * instr)2131 LInstruction* LChunkBuilder::DoLoadNamedGeneric(HLoadNamedGeneric* instr) {
2132 LOperand* context = UseFixed(instr->context(), cp);
2133 LOperand* object = UseFixed(instr->object(), a0);
2134 LInstruction* result =
2135 DefineFixed(new(zone()) LLoadNamedGeneric(context, object), v0);
2136 return MarkAsCall(result, instr);
2137 }
2138
2139
DoLoadFunctionPrototype(HLoadFunctionPrototype * instr)2140 LInstruction* LChunkBuilder::DoLoadFunctionPrototype(
2141 HLoadFunctionPrototype* instr) {
2142 return AssignEnvironment(DefineAsRegister(
2143 new(zone()) LLoadFunctionPrototype(UseRegister(instr->function()))));
2144 }
2145
2146
DoLoadRoot(HLoadRoot * instr)2147 LInstruction* LChunkBuilder::DoLoadRoot(HLoadRoot* instr) {
2148 return DefineAsRegister(new(zone()) LLoadRoot);
2149 }
2150
2151
DoLoadExternalArrayPointer(HLoadExternalArrayPointer * instr)2152 LInstruction* LChunkBuilder::DoLoadExternalArrayPointer(
2153 HLoadExternalArrayPointer* instr) {
2154 LOperand* input = UseRegisterAtStart(instr->value());
2155 return DefineAsRegister(new(zone()) LLoadExternalArrayPointer(input));
2156 }
2157
2158
DoLoadKeyed(HLoadKeyed * instr)2159 LInstruction* LChunkBuilder::DoLoadKeyed(HLoadKeyed* instr) {
2160 ASSERT(instr->key()->representation().IsSmiOrInteger32());
2161 ElementsKind elements_kind = instr->elements_kind();
2162 LOperand* key = UseRegisterOrConstantAtStart(instr->key());
2163 LLoadKeyed* result = NULL;
2164
2165 if (!instr->is_external()) {
2166 LOperand* obj = NULL;
2167 if (instr->representation().IsDouble()) {
2168 obj = UseRegister(instr->elements());
2169 } else {
2170 ASSERT(instr->representation().IsSmiOrTagged());
2171 obj = UseRegisterAtStart(instr->elements());
2172 }
2173 result = new(zone()) LLoadKeyed(obj, key);
2174 } else {
2175 ASSERT(
2176 (instr->representation().IsInteger32() &&
2177 (elements_kind != EXTERNAL_FLOAT_ELEMENTS) &&
2178 (elements_kind != EXTERNAL_DOUBLE_ELEMENTS)) ||
2179 (instr->representation().IsDouble() &&
2180 ((elements_kind == EXTERNAL_FLOAT_ELEMENTS) ||
2181 (elements_kind == EXTERNAL_DOUBLE_ELEMENTS))));
2182 LOperand* external_pointer = UseRegister(instr->elements());
2183 result = new(zone()) LLoadKeyed(external_pointer, key);
2184 }
2185
2186 DefineAsRegister(result);
2187 // An unsigned int array load might overflow and cause a deopt, make sure it
2188 // has an environment.
2189 bool can_deoptimize = instr->RequiresHoleCheck() ||
2190 (elements_kind == EXTERNAL_UNSIGNED_INT_ELEMENTS);
2191 return can_deoptimize ? AssignEnvironment(result) : result;
2192 }
2193
2194
DoLoadKeyedGeneric(HLoadKeyedGeneric * instr)2195 LInstruction* LChunkBuilder::DoLoadKeyedGeneric(HLoadKeyedGeneric* instr) {
2196 LOperand* context = UseFixed(instr->context(), cp);
2197 LOperand* object = UseFixed(instr->object(), a1);
2198 LOperand* key = UseFixed(instr->key(), a0);
2199
2200 LInstruction* result =
2201 DefineFixed(new(zone()) LLoadKeyedGeneric(context, object, key), v0);
2202 return MarkAsCall(result, instr);
2203 }
2204
2205
DoStoreKeyed(HStoreKeyed * instr)2206 LInstruction* LChunkBuilder::DoStoreKeyed(HStoreKeyed* instr) {
2207 if (!instr->is_external()) {
2208 ASSERT(instr->elements()->representation().IsTagged());
2209 bool needs_write_barrier = instr->NeedsWriteBarrier();
2210 LOperand* object = NULL;
2211 LOperand* val = NULL;
2212 LOperand* key = NULL;
2213
2214 if (instr->value()->representation().IsDouble()) {
2215 object = UseRegisterAtStart(instr->elements());
2216 key = UseRegisterOrConstantAtStart(instr->key());
2217 val = UseRegister(instr->value());
2218 } else {
2219 ASSERT(instr->value()->representation().IsSmiOrTagged());
2220 if (needs_write_barrier) {
2221 object = UseTempRegister(instr->elements());
2222 val = UseTempRegister(instr->value());
2223 key = UseTempRegister(instr->key());
2224 } else {
2225 object = UseRegisterAtStart(instr->elements());
2226 val = UseRegisterAtStart(instr->value());
2227 key = UseRegisterOrConstantAtStart(instr->key());
2228 }
2229 }
2230
2231 return new(zone()) LStoreKeyed(object, key, val);
2232 }
2233
2234 ASSERT(
2235 (instr->value()->representation().IsInteger32() &&
2236 (instr->elements_kind() != EXTERNAL_FLOAT_ELEMENTS) &&
2237 (instr->elements_kind() != EXTERNAL_DOUBLE_ELEMENTS)) ||
2238 (instr->value()->representation().IsDouble() &&
2239 ((instr->elements_kind() == EXTERNAL_FLOAT_ELEMENTS) ||
2240 (instr->elements_kind() == EXTERNAL_DOUBLE_ELEMENTS))));
2241 ASSERT(instr->elements()->representation().IsExternal());
2242 LOperand* val = UseRegister(instr->value());
2243 LOperand* key = UseRegisterOrConstantAtStart(instr->key());
2244 LOperand* external_pointer = UseRegister(instr->elements());
2245
2246 return new(zone()) LStoreKeyed(external_pointer, key, val);
2247 }
2248
2249
DoStoreKeyedGeneric(HStoreKeyedGeneric * instr)2250 LInstruction* LChunkBuilder::DoStoreKeyedGeneric(HStoreKeyedGeneric* instr) {
2251 LOperand* context = UseFixed(instr->context(), cp);
2252 LOperand* obj = UseFixed(instr->object(), a2);
2253 LOperand* key = UseFixed(instr->key(), a1);
2254 LOperand* val = UseFixed(instr->value(), a0);
2255
2256 ASSERT(instr->object()->representation().IsTagged());
2257 ASSERT(instr->key()->representation().IsTagged());
2258 ASSERT(instr->value()->representation().IsTagged());
2259
2260 return MarkAsCall(
2261 new(zone()) LStoreKeyedGeneric(context, obj, key, val), instr);
2262 }
2263
2264
DoTransitionElementsKind(HTransitionElementsKind * instr)2265 LInstruction* LChunkBuilder::DoTransitionElementsKind(
2266 HTransitionElementsKind* instr) {
2267 LOperand* object = UseRegister(instr->object());
2268 if (IsSimpleMapChangeTransition(instr->from_kind(), instr->to_kind())) {
2269 LOperand* new_map_reg = TempRegister();
2270 LTransitionElementsKind* result =
2271 new(zone()) LTransitionElementsKind(object, NULL, new_map_reg);
2272 return result;
2273 } else {
2274 LOperand* context = UseFixed(instr->context(), cp);
2275 LTransitionElementsKind* result =
2276 new(zone()) LTransitionElementsKind(object, context, NULL);
2277 return AssignPointerMap(result);
2278 }
2279 }
2280
2281
DoTrapAllocationMemento(HTrapAllocationMemento * instr)2282 LInstruction* LChunkBuilder::DoTrapAllocationMemento(
2283 HTrapAllocationMemento* instr) {
2284 LOperand* object = UseRegister(instr->object());
2285 LOperand* temp = TempRegister();
2286 LTrapAllocationMemento* result =
2287 new(zone()) LTrapAllocationMemento(object, temp);
2288 return AssignEnvironment(result);
2289 }
2290
2291
DoStoreNamedField(HStoreNamedField * instr)2292 LInstruction* LChunkBuilder::DoStoreNamedField(HStoreNamedField* instr) {
2293 bool is_in_object = instr->access().IsInobject();
2294 bool needs_write_barrier = instr->NeedsWriteBarrier();
2295 bool needs_write_barrier_for_map = instr->has_transition() &&
2296 instr->NeedsWriteBarrierForMap();
2297
2298 LOperand* obj;
2299 if (needs_write_barrier) {
2300 obj = is_in_object
2301 ? UseRegister(instr->object())
2302 : UseTempRegister(instr->object());
2303 } else {
2304 obj = needs_write_barrier_for_map
2305 ? UseRegister(instr->object())
2306 : UseRegisterAtStart(instr->object());
2307 }
2308
2309 LOperand* val;
2310 if (needs_write_barrier ||
2311 (FLAG_track_fields && instr->field_representation().IsSmi())) {
2312 val = UseTempRegister(instr->value());
2313 } else if (FLAG_track_double_fields &&
2314 instr->field_representation().IsDouble()) {
2315 val = UseRegisterAtStart(instr->value());
2316 } else {
2317 val = UseRegister(instr->value());
2318 }
2319
2320 // We need a temporary register for write barrier of the map field.
2321 LOperand* temp = needs_write_barrier_for_map ? TempRegister() : NULL;
2322
2323 LStoreNamedField* result = new(zone()) LStoreNamedField(obj, val, temp);
2324 if (FLAG_track_heap_object_fields &&
2325 instr->field_representation().IsHeapObject()) {
2326 if (!instr->value()->type().IsHeapObject()) {
2327 return AssignEnvironment(result);
2328 }
2329 }
2330 return result;
2331 }
2332
2333
DoStoreNamedGeneric(HStoreNamedGeneric * instr)2334 LInstruction* LChunkBuilder::DoStoreNamedGeneric(HStoreNamedGeneric* instr) {
2335 LOperand* context = UseFixed(instr->context(), cp);
2336 LOperand* obj = UseFixed(instr->object(), a1);
2337 LOperand* val = UseFixed(instr->value(), a0);
2338
2339 LInstruction* result = new(zone()) LStoreNamedGeneric(context, obj, val);
2340 return MarkAsCall(result, instr);
2341 }
2342
2343
DoStringAdd(HStringAdd * instr)2344 LInstruction* LChunkBuilder::DoStringAdd(HStringAdd* instr) {
2345 LOperand* context = UseFixed(instr->context(), cp);
2346 LOperand* left = FLAG_new_string_add
2347 ? UseFixed(instr->left(), a1)
2348 : UseRegisterAtStart(instr->left());
2349 LOperand* right = FLAG_new_string_add
2350 ? UseFixed(instr->right(), a0)
2351 : UseRegisterAtStart(instr->right());
2352 return MarkAsCall(
2353 DefineFixed(new(zone()) LStringAdd(context, left, right), v0),
2354 instr);
2355 }
2356
2357
DoStringCharCodeAt(HStringCharCodeAt * instr)2358 LInstruction* LChunkBuilder::DoStringCharCodeAt(HStringCharCodeAt* instr) {
2359 LOperand* string = UseTempRegister(instr->string());
2360 LOperand* index = UseTempRegister(instr->index());
2361 LOperand* context = UseAny(instr->context());
2362 LStringCharCodeAt* result =
2363 new(zone()) LStringCharCodeAt(context, string, index);
2364 return AssignEnvironment(AssignPointerMap(DefineAsRegister(result)));
2365 }
2366
2367
DoStringCharFromCode(HStringCharFromCode * instr)2368 LInstruction* LChunkBuilder::DoStringCharFromCode(HStringCharFromCode* instr) {
2369 LOperand* char_code = UseRegister(instr->value());
2370 LOperand* context = UseAny(instr->context());
2371 LStringCharFromCode* result =
2372 new(zone()) LStringCharFromCode(context, char_code);
2373 return AssignPointerMap(DefineAsRegister(result));
2374 }
2375
2376
DoAllocate(HAllocate * instr)2377 LInstruction* LChunkBuilder::DoAllocate(HAllocate* instr) {
2378 info()->MarkAsDeferredCalling();
2379 LOperand* context = UseAny(instr->context());
2380 LOperand* size = instr->size()->IsConstant()
2381 ? UseConstant(instr->size())
2382 : UseTempRegister(instr->size());
2383 LOperand* temp1 = TempRegister();
2384 LOperand* temp2 = TempRegister();
2385 LAllocate* result = new(zone()) LAllocate(context, size, temp1, temp2);
2386 return AssignPointerMap(DefineAsRegister(result));
2387 }
2388
2389
DoRegExpLiteral(HRegExpLiteral * instr)2390 LInstruction* LChunkBuilder::DoRegExpLiteral(HRegExpLiteral* instr) {
2391 LOperand* context = UseFixed(instr->context(), cp);
2392 return MarkAsCall(
2393 DefineFixed(new(zone()) LRegExpLiteral(context), v0), instr);
2394 }
2395
2396
DoFunctionLiteral(HFunctionLiteral * instr)2397 LInstruction* LChunkBuilder::DoFunctionLiteral(HFunctionLiteral* instr) {
2398 LOperand* context = UseFixed(instr->context(), cp);
2399 return MarkAsCall(
2400 DefineFixed(new(zone()) LFunctionLiteral(context), v0), instr);
2401 }
2402
2403
DoOsrEntry(HOsrEntry * instr)2404 LInstruction* LChunkBuilder::DoOsrEntry(HOsrEntry* instr) {
2405 ASSERT(argument_count_ == 0);
2406 allocator_->MarkAsOsrEntry();
2407 current_block_->last_environment()->set_ast_id(instr->ast_id());
2408 return AssignEnvironment(new(zone()) LOsrEntry);
2409 }
2410
2411
DoParameter(HParameter * instr)2412 LInstruction* LChunkBuilder::DoParameter(HParameter* instr) {
2413 LParameter* result = new(zone()) LParameter;
2414 if (instr->kind() == HParameter::STACK_PARAMETER) {
2415 int spill_index = chunk()->GetParameterStackSlot(instr->index());
2416 return DefineAsSpilled(result, spill_index);
2417 } else {
2418 ASSERT(info()->IsStub());
2419 CodeStubInterfaceDescriptor* descriptor =
2420 info()->code_stub()->GetInterfaceDescriptor(info()->isolate());
2421 int index = static_cast<int>(instr->index());
2422 Register reg = descriptor->GetParameterRegister(index);
2423 return DefineFixed(result, reg);
2424 }
2425 }
2426
2427
DoUnknownOSRValue(HUnknownOSRValue * instr)2428 LInstruction* LChunkBuilder::DoUnknownOSRValue(HUnknownOSRValue* instr) {
2429 // Use an index that corresponds to the location in the unoptimized frame,
2430 // which the optimized frame will subsume.
2431 int env_index = instr->index();
2432 int spill_index = 0;
2433 if (instr->environment()->is_parameter_index(env_index)) {
2434 spill_index = chunk()->GetParameterStackSlot(env_index);
2435 } else {
2436 spill_index = env_index - instr->environment()->first_local_index();
2437 if (spill_index > LUnallocated::kMaxFixedSlotIndex) {
2438 Abort(kTooManySpillSlotsNeededForOSR);
2439 spill_index = 0;
2440 }
2441 }
2442 return DefineAsSpilled(new(zone()) LUnknownOSRValue, spill_index);
2443 }
2444
2445
DoCallStub(HCallStub * instr)2446 LInstruction* LChunkBuilder::DoCallStub(HCallStub* instr) {
2447 LOperand* context = UseFixed(instr->context(), cp);
2448 return MarkAsCall(DefineFixed(new(zone()) LCallStub(context), v0), instr);
2449 }
2450
2451
DoArgumentsObject(HArgumentsObject * instr)2452 LInstruction* LChunkBuilder::DoArgumentsObject(HArgumentsObject* instr) {
2453 // There are no real uses of the arguments object.
2454 // arguments.length and element access are supported directly on
2455 // stack arguments, and any real arguments object use causes a bailout.
2456 // So this value is never used.
2457 return NULL;
2458 }
2459
2460
DoCapturedObject(HCapturedObject * instr)2461 LInstruction* LChunkBuilder::DoCapturedObject(HCapturedObject* instr) {
2462 instr->ReplayEnvironment(current_block_->last_environment());
2463
2464 // There are no real uses of a captured object.
2465 return NULL;
2466 }
2467
2468
DoAccessArgumentsAt(HAccessArgumentsAt * instr)2469 LInstruction* LChunkBuilder::DoAccessArgumentsAt(HAccessArgumentsAt* instr) {
2470 info()->MarkAsRequiresFrame();
2471 LOperand* args = UseRegister(instr->arguments());
2472 LOperand* length = UseRegisterOrConstantAtStart(instr->length());
2473 LOperand* index = UseRegisterOrConstantAtStart(instr->index());
2474 return DefineAsRegister(new(zone()) LAccessArgumentsAt(args, length, index));
2475 }
2476
2477
DoToFastProperties(HToFastProperties * instr)2478 LInstruction* LChunkBuilder::DoToFastProperties(HToFastProperties* instr) {
2479 LOperand* object = UseFixed(instr->value(), a0);
2480 LToFastProperties* result = new(zone()) LToFastProperties(object);
2481 return MarkAsCall(DefineFixed(result, v0), instr);
2482 }
2483
2484
DoTypeof(HTypeof * instr)2485 LInstruction* LChunkBuilder::DoTypeof(HTypeof* instr) {
2486 LOperand* context = UseFixed(instr->context(), cp);
2487 LTypeof* result = new(zone()) LTypeof(context, UseFixed(instr->value(), a0));
2488 return MarkAsCall(DefineFixed(result, v0), instr);
2489 }
2490
2491
DoTypeofIsAndBranch(HTypeofIsAndBranch * instr)2492 LInstruction* LChunkBuilder::DoTypeofIsAndBranch(HTypeofIsAndBranch* instr) {
2493 LInstruction* goto_instr = CheckElideControlInstruction(instr);
2494 if (goto_instr != NULL) return goto_instr;
2495
2496 return new(zone()) LTypeofIsAndBranch(UseTempRegister(instr->value()));
2497 }
2498
2499
DoIsConstructCallAndBranch(HIsConstructCallAndBranch * instr)2500 LInstruction* LChunkBuilder::DoIsConstructCallAndBranch(
2501 HIsConstructCallAndBranch* instr) {
2502 return new(zone()) LIsConstructCallAndBranch(TempRegister());
2503 }
2504
2505
DoSimulate(HSimulate * instr)2506 LInstruction* LChunkBuilder::DoSimulate(HSimulate* instr) {
2507 instr->ReplayEnvironment(current_block_->last_environment());
2508
2509 // If there is an instruction pending deoptimization environment create a
2510 // lazy bailout instruction to capture the environment.
2511 if (pending_deoptimization_ast_id_ == instr->ast_id()) {
2512 LInstruction* result = new(zone()) LLazyBailout;
2513 result = AssignEnvironment(result);
2514 // Store the lazy deopt environment with the instruction if needed. Right
2515 // now it is only used for LInstanceOfKnownGlobal.
2516 instruction_pending_deoptimization_environment_->
2517 SetDeferredLazyDeoptimizationEnvironment(result->environment());
2518 instruction_pending_deoptimization_environment_ = NULL;
2519 pending_deoptimization_ast_id_ = BailoutId::None();
2520 return result;
2521 }
2522
2523 return NULL;
2524 }
2525
2526
DoStackCheck(HStackCheck * instr)2527 LInstruction* LChunkBuilder::DoStackCheck(HStackCheck* instr) {
2528 if (instr->is_function_entry()) {
2529 LOperand* context = UseFixed(instr->context(), cp);
2530 return MarkAsCall(new(zone()) LStackCheck(context), instr);
2531 } else {
2532 ASSERT(instr->is_backwards_branch());
2533 LOperand* context = UseAny(instr->context());
2534 return AssignEnvironment(
2535 AssignPointerMap(new(zone()) LStackCheck(context)));
2536 }
2537 }
2538
2539
DoEnterInlined(HEnterInlined * instr)2540 LInstruction* LChunkBuilder::DoEnterInlined(HEnterInlined* instr) {
2541 HEnvironment* outer = current_block_->last_environment();
2542 HConstant* undefined = graph()->GetConstantUndefined();
2543 HEnvironment* inner = outer->CopyForInlining(instr->closure(),
2544 instr->arguments_count(),
2545 instr->function(),
2546 undefined,
2547 instr->inlining_kind(),
2548 instr->undefined_receiver());
2549 // Only replay binding of arguments object if it wasn't removed from graph.
2550 if (instr->arguments_var() != NULL && instr->arguments_object()->IsLinked()) {
2551 inner->Bind(instr->arguments_var(), instr->arguments_object());
2552 }
2553 inner->set_entry(instr);
2554 current_block_->UpdateEnvironment(inner);
2555 chunk_->AddInlinedClosure(instr->closure());
2556 return NULL;
2557 }
2558
2559
DoLeaveInlined(HLeaveInlined * instr)2560 LInstruction* LChunkBuilder::DoLeaveInlined(HLeaveInlined* instr) {
2561 LInstruction* pop = NULL;
2562
2563 HEnvironment* env = current_block_->last_environment();
2564
2565 if (env->entry()->arguments_pushed()) {
2566 int argument_count = env->arguments_environment()->parameter_count();
2567 pop = new(zone()) LDrop(argument_count);
2568 ASSERT(instr->argument_delta() == -argument_count);
2569 }
2570
2571 HEnvironment* outer = current_block_->last_environment()->
2572 DiscardInlined(false);
2573 current_block_->UpdateEnvironment(outer);
2574
2575 return pop;
2576 }
2577
2578
DoForInPrepareMap(HForInPrepareMap * instr)2579 LInstruction* LChunkBuilder::DoForInPrepareMap(HForInPrepareMap* instr) {
2580 LOperand* context = UseFixed(instr->context(), cp);
2581 LOperand* object = UseFixed(instr->enumerable(), a0);
2582 LForInPrepareMap* result = new(zone()) LForInPrepareMap(context, object);
2583 return MarkAsCall(DefineFixed(result, v0), instr, CAN_DEOPTIMIZE_EAGERLY);
2584 }
2585
2586
DoForInCacheArray(HForInCacheArray * instr)2587 LInstruction* LChunkBuilder::DoForInCacheArray(HForInCacheArray* instr) {
2588 LOperand* map = UseRegister(instr->map());
2589 return AssignEnvironment(DefineAsRegister(new(zone()) LForInCacheArray(map)));
2590 }
2591
2592
DoCheckMapValue(HCheckMapValue * instr)2593 LInstruction* LChunkBuilder::DoCheckMapValue(HCheckMapValue* instr) {
2594 LOperand* value = UseRegisterAtStart(instr->value());
2595 LOperand* map = UseRegisterAtStart(instr->map());
2596 return AssignEnvironment(new(zone()) LCheckMapValue(value, map));
2597 }
2598
2599
DoLoadFieldByIndex(HLoadFieldByIndex * instr)2600 LInstruction* LChunkBuilder::DoLoadFieldByIndex(HLoadFieldByIndex* instr) {
2601 LOperand* object = UseRegister(instr->object());
2602 LOperand* index = UseRegister(instr->index());
2603 return DefineAsRegister(new(zone()) LLoadFieldByIndex(object, index));
2604 }
2605
2606
2607 } } // namespace v8::internal
2608