OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2014 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #include <sstream> | 5 #include <sstream> |
6 | 6 |
7 #include "src/v8.h" | 7 #include "src/v8.h" |
8 | 8 |
9 #include "src/arm/lithium-codegen-arm.h" | |
10 #include "src/hydrogen-osr.h" | 9 #include "src/hydrogen-osr.h" |
11 #include "src/lithium-inl.h" | 10 #include "src/lithium-inl.h" |
| 11 #include "src/ppc/lithium-codegen-ppc.h" |
12 | 12 |
13 namespace v8 { | 13 namespace v8 { |
14 namespace internal { | 14 namespace internal { |
15 | 15 |
16 #define DEFINE_COMPILE(type) \ | 16 #define DEFINE_COMPILE(type) \ |
17 void L##type::CompileToNative(LCodeGen* generator) { \ | 17 void L##type::CompileToNative(LCodeGen* generator) { \ |
18 generator->Do##type(this); \ | 18 generator->Do##type(this); \ |
19 } | 19 } |
20 LITHIUM_CONCRETE_INSTRUCTION_LIST(DEFINE_COMPILE) | 20 LITHIUM_CONCRETE_INSTRUCTION_LIST(DEFINE_COMPILE) |
21 #undef DEFINE_COMPILE | 21 #undef DEFINE_COMPILE |
22 | 22 |
23 #ifdef DEBUG | 23 #ifdef DEBUG |
24 void LInstruction::VerifyCall() { | 24 void LInstruction::VerifyCall() { |
25 // Call instructions can use only fixed registers as temporaries and | 25 // Call instructions can use only fixed registers as temporaries and |
26 // outputs because all registers are blocked by the calling convention. | 26 // outputs because all registers are blocked by the calling convention. |
27 // Inputs operands must use a fixed register or use-at-start policy or | 27 // Inputs operands must use a fixed register or use-at-start policy or |
28 // a non-register policy. | 28 // a non-register policy. |
29 DCHECK(Output() == NULL || | 29 DCHECK(Output() == NULL || LUnallocated::cast(Output())->HasFixedPolicy() || |
30 LUnallocated::cast(Output())->HasFixedPolicy() || | |
31 !LUnallocated::cast(Output())->HasRegisterPolicy()); | 30 !LUnallocated::cast(Output())->HasRegisterPolicy()); |
32 for (UseIterator it(this); !it.Done(); it.Advance()) { | 31 for (UseIterator it(this); !it.Done(); it.Advance()) { |
33 LUnallocated* operand = LUnallocated::cast(it.Current()); | 32 LUnallocated* operand = LUnallocated::cast(it.Current()); |
34 DCHECK(operand->HasFixedPolicy() || | 33 DCHECK(operand->HasFixedPolicy() || operand->IsUsedAtStart()); |
35 operand->IsUsedAtStart()); | |
36 } | 34 } |
37 for (TempIterator it(this); !it.Done(); it.Advance()) { | 35 for (TempIterator it(this); !it.Done(); it.Advance()) { |
38 LUnallocated* operand = LUnallocated::cast(it.Current()); | 36 LUnallocated* operand = LUnallocated::cast(it.Current()); |
39 DCHECK(operand->HasFixedPolicy() ||!operand->HasRegisterPolicy()); | 37 DCHECK(operand->HasFixedPolicy() || !operand->HasRegisterPolicy()); |
40 } | 38 } |
41 } | 39 } |
42 #endif | 40 #endif |
43 | 41 |
44 | 42 |
45 void LInstruction::PrintTo(StringStream* stream) { | 43 void LInstruction::PrintTo(StringStream* stream) { |
46 stream->Add("%s ", this->Mnemonic()); | 44 stream->Add("%s ", this->Mnemonic()); |
47 | 45 |
48 PrintOutputOperandTo(stream); | 46 PrintOutputOperandTo(stream); |
49 | 47 |
(...skipping 55 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
105 if (parallel_moves_[i] != NULL) { | 103 if (parallel_moves_[i] != NULL) { |
106 parallel_moves_[i]->PrintDataTo(stream); | 104 parallel_moves_[i]->PrintDataTo(stream); |
107 } | 105 } |
108 stream->Add(") "); | 106 stream->Add(") "); |
109 } | 107 } |
110 } | 108 } |
111 | 109 |
112 | 110 |
113 const char* LArithmeticD::Mnemonic() const { | 111 const char* LArithmeticD::Mnemonic() const { |
114 switch (op()) { | 112 switch (op()) { |
115 case Token::ADD: return "add-d"; | 113 case Token::ADD: |
116 case Token::SUB: return "sub-d"; | 114 return "add-d"; |
117 case Token::MUL: return "mul-d"; | 115 case Token::SUB: |
118 case Token::DIV: return "div-d"; | 116 return "sub-d"; |
119 case Token::MOD: return "mod-d"; | 117 case Token::MUL: |
| 118 return "mul-d"; |
| 119 case Token::DIV: |
| 120 return "div-d"; |
| 121 case Token::MOD: |
| 122 return "mod-d"; |
120 default: | 123 default: |
121 UNREACHABLE(); | 124 UNREACHABLE(); |
122 return NULL; | 125 return NULL; |
123 } | 126 } |
124 } | 127 } |
125 | 128 |
126 | 129 |
127 const char* LArithmeticT::Mnemonic() const { | 130 const char* LArithmeticT::Mnemonic() const { |
128 switch (op()) { | 131 switch (op()) { |
129 case Token::ADD: return "add-t"; | 132 case Token::ADD: |
130 case Token::SUB: return "sub-t"; | 133 return "add-t"; |
131 case Token::MUL: return "mul-t"; | 134 case Token::SUB: |
132 case Token::MOD: return "mod-t"; | 135 return "sub-t"; |
133 case Token::DIV: return "div-t"; | 136 case Token::MUL: |
134 case Token::BIT_AND: return "bit-and-t"; | 137 return "mul-t"; |
135 case Token::BIT_OR: return "bit-or-t"; | 138 case Token::MOD: |
136 case Token::BIT_XOR: return "bit-xor-t"; | 139 return "mod-t"; |
137 case Token::ROR: return "ror-t"; | 140 case Token::DIV: |
138 case Token::SHL: return "shl-t"; | 141 return "div-t"; |
139 case Token::SAR: return "sar-t"; | 142 case Token::BIT_AND: |
140 case Token::SHR: return "shr-t"; | 143 return "bit-and-t"; |
| 144 case Token::BIT_OR: |
| 145 return "bit-or-t"; |
| 146 case Token::BIT_XOR: |
| 147 return "bit-xor-t"; |
| 148 case Token::ROR: |
| 149 return "ror-t"; |
| 150 case Token::SHL: |
| 151 return "shl-t"; |
| 152 case Token::SAR: |
| 153 return "sar-t"; |
| 154 case Token::SHR: |
| 155 return "shr-t"; |
141 default: | 156 default: |
142 UNREACHABLE(); | 157 UNREACHABLE(); |
143 return NULL; | 158 return NULL; |
144 } | 159 } |
145 } | 160 } |
146 | 161 |
147 | 162 |
148 bool LGoto::HasInterestingComment(LCodeGen* gen) const { | 163 bool LGoto::HasInterestingComment(LCodeGen* gen) const { |
149 return !gen->IsNextEmittedBlock(block_id()); | 164 return !gen->IsNextEmittedBlock(block_id()); |
150 } | 165 } |
(...skipping 65 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
216 void LHasCachedArrayIndexAndBranch::PrintDataTo(StringStream* stream) { | 231 void LHasCachedArrayIndexAndBranch::PrintDataTo(StringStream* stream) { |
217 stream->Add("if has_cached_array_index("); | 232 stream->Add("if has_cached_array_index("); |
218 value()->PrintTo(stream); | 233 value()->PrintTo(stream); |
219 stream->Add(") then B%d else B%d", true_block_id(), false_block_id()); | 234 stream->Add(") then B%d else B%d", true_block_id(), false_block_id()); |
220 } | 235 } |
221 | 236 |
222 | 237 |
223 void LClassOfTestAndBranch::PrintDataTo(StringStream* stream) { | 238 void LClassOfTestAndBranch::PrintDataTo(StringStream* stream) { |
224 stream->Add("if class_of_test("); | 239 stream->Add("if class_of_test("); |
225 value()->PrintTo(stream); | 240 value()->PrintTo(stream); |
226 stream->Add(", \"%o\") then B%d else B%d", | 241 stream->Add(", \"%o\") then B%d else B%d", *hydrogen()->class_name(), |
227 *hydrogen()->class_name(), | 242 true_block_id(), false_block_id()); |
228 true_block_id(), | |
229 false_block_id()); | |
230 } | 243 } |
231 | 244 |
232 | 245 |
233 void LTypeofIsAndBranch::PrintDataTo(StringStream* stream) { | 246 void LTypeofIsAndBranch::PrintDataTo(StringStream* stream) { |
234 stream->Add("if typeof "); | 247 stream->Add("if typeof "); |
235 value()->PrintTo(stream); | 248 value()->PrintTo(stream); |
236 stream->Add(" == \"%s\" then B%d else B%d", | 249 stream->Add(" == \"%s\" then B%d else B%d", |
237 hydrogen()->type_literal()->ToCString().get(), | 250 hydrogen()->type_literal()->ToCString().get(), true_block_id(), |
238 true_block_id(), false_block_id()); | 251 false_block_id()); |
239 } | 252 } |
240 | 253 |
241 | 254 |
242 void LStoreCodeEntry::PrintDataTo(StringStream* stream) { | 255 void LStoreCodeEntry::PrintDataTo(StringStream* stream) { |
243 stream->Add(" = "); | 256 stream->Add(" = "); |
244 function()->PrintTo(stream); | 257 function()->PrintTo(stream); |
245 stream->Add(".code_entry = "); | 258 stream->Add(".code_entry = "); |
246 code_object()->PrintTo(stream); | 259 code_object()->PrintTo(stream); |
247 } | 260 } |
248 | 261 |
(...skipping 132 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
381 } | 394 } |
382 | 395 |
383 | 396 |
384 int LPlatformChunk::GetNextSpillIndex(RegisterKind kind) { | 397 int LPlatformChunk::GetNextSpillIndex(RegisterKind kind) { |
385 // Skip a slot if for a double-width slot. | 398 // Skip a slot if for a double-width slot. |
386 if (kind == DOUBLE_REGISTERS) spill_slot_count_++; | 399 if (kind == DOUBLE_REGISTERS) spill_slot_count_++; |
387 return spill_slot_count_++; | 400 return spill_slot_count_++; |
388 } | 401 } |
389 | 402 |
390 | 403 |
391 LOperand* LPlatformChunk::GetNextSpillSlot(RegisterKind kind) { | 404 LOperand* LPlatformChunk::GetNextSpillSlot(RegisterKind kind) { |
392 int index = GetNextSpillIndex(kind); | 405 int index = GetNextSpillIndex(kind); |
393 if (kind == DOUBLE_REGISTERS) { | 406 if (kind == DOUBLE_REGISTERS) { |
394 return LDoubleStackSlot::Create(index, zone()); | 407 return LDoubleStackSlot::Create(index, zone()); |
395 } else { | 408 } else { |
396 DCHECK(kind == GENERAL_REGISTERS); | 409 DCHECK(kind == GENERAL_REGISTERS); |
397 return LStackSlot::Create(index, zone()); | 410 return LStackSlot::Create(index, zone()); |
398 } | 411 } |
399 } | 412 } |
400 | 413 |
401 | 414 |
402 LPlatformChunk* LChunkBuilder::Build() { | 415 LPlatformChunk* LChunkBuilder::Build() { |
403 DCHECK(is_unused()); | 416 DCHECK(is_unused()); |
404 chunk_ = new(zone()) LPlatformChunk(info(), graph()); | 417 chunk_ = new (zone()) LPlatformChunk(info(), graph()); |
405 LPhase phase("L_Building chunk", chunk_); | 418 LPhase phase("L_Building chunk", chunk_); |
406 status_ = BUILDING; | 419 status_ = BUILDING; |
407 | 420 |
408 // If compiling for OSR, reserve space for the unoptimized frame, | 421 // If compiling for OSR, reserve space for the unoptimized frame, |
409 // which will be subsumed into this frame. | 422 // which will be subsumed into this frame. |
410 if (graph()->has_osr()) { | 423 if (graph()->has_osr()) { |
411 for (int i = graph()->osr()->UnoptimizedFrameSlots(); i > 0; i--) { | 424 for (int i = graph()->osr()->UnoptimizedFrameSlots(); i > 0; i--) { |
412 chunk_->GetNextSpillIndex(GENERAL_REGISTERS); | 425 chunk_->GetNextSpillIndex(GENERAL_REGISTERS); |
413 } | 426 } |
414 } | 427 } |
415 | 428 |
416 const ZoneList<HBasicBlock*>* blocks = graph()->blocks(); | 429 const ZoneList<HBasicBlock*>* blocks = graph()->blocks(); |
417 for (int i = 0; i < blocks->length(); i++) { | 430 for (int i = 0; i < blocks->length(); i++) { |
418 HBasicBlock* next = NULL; | 431 HBasicBlock* next = NULL; |
419 if (i < blocks->length() - 1) next = blocks->at(i + 1); | 432 if (i < blocks->length() - 1) next = blocks->at(i + 1); |
420 DoBasicBlock(blocks->at(i), next); | 433 DoBasicBlock(blocks->at(i), next); |
421 if (is_aborted()) return NULL; | 434 if (is_aborted()) return NULL; |
422 } | 435 } |
423 status_ = DONE; | 436 status_ = DONE; |
424 return chunk_; | 437 return chunk_; |
425 } | 438 } |
426 | 439 |
427 | 440 |
428 LUnallocated* LChunkBuilder::ToUnallocated(Register reg) { | 441 LUnallocated* LChunkBuilder::ToUnallocated(Register reg) { |
429 return new(zone()) LUnallocated(LUnallocated::FIXED_REGISTER, | 442 return new (zone()) LUnallocated(LUnallocated::FIXED_REGISTER, |
430 Register::ToAllocationIndex(reg)); | 443 Register::ToAllocationIndex(reg)); |
431 } | 444 } |
432 | 445 |
433 | 446 |
434 LUnallocated* LChunkBuilder::ToUnallocated(DoubleRegister reg) { | 447 LUnallocated* LChunkBuilder::ToUnallocated(DoubleRegister reg) { |
435 return new(zone()) LUnallocated(LUnallocated::FIXED_DOUBLE_REGISTER, | 448 return new (zone()) LUnallocated(LUnallocated::FIXED_DOUBLE_REGISTER, |
436 DoubleRegister::ToAllocationIndex(reg)); | 449 DoubleRegister::ToAllocationIndex(reg)); |
437 } | 450 } |
438 | 451 |
439 | 452 |
440 LOperand* LChunkBuilder::UseFixed(HValue* value, Register fixed_register) { | 453 LOperand* LChunkBuilder::UseFixed(HValue* value, Register fixed_register) { |
441 return Use(value, ToUnallocated(fixed_register)); | 454 return Use(value, ToUnallocated(fixed_register)); |
442 } | 455 } |
443 | 456 |
444 | 457 |
445 LOperand* LChunkBuilder::UseFixedDouble(HValue* value, DoubleRegister reg) { | 458 LOperand* LChunkBuilder::UseFixedDouble(HValue* value, DoubleRegister reg) { |
446 return Use(value, ToUnallocated(reg)); | 459 return Use(value, ToUnallocated(reg)); |
447 } | 460 } |
448 | 461 |
449 | 462 |
450 LOperand* LChunkBuilder::UseRegister(HValue* value) { | 463 LOperand* LChunkBuilder::UseRegister(HValue* value) { |
451 return Use(value, new(zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER)); | 464 return Use(value, |
| 465 new (zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER)); |
452 } | 466 } |
453 | 467 |
454 | 468 |
455 LOperand* LChunkBuilder::UseRegisterAtStart(HValue* value) { | 469 LOperand* LChunkBuilder::UseRegisterAtStart(HValue* value) { |
456 return Use(value, | 470 return Use(value, new (zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER, |
457 new(zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER, | 471 LUnallocated::USED_AT_START)); |
458 LUnallocated::USED_AT_START)); | |
459 } | 472 } |
460 | 473 |
461 | 474 |
462 LOperand* LChunkBuilder::UseTempRegister(HValue* value) { | 475 LOperand* LChunkBuilder::UseTempRegister(HValue* value) { |
463 return Use(value, new(zone()) LUnallocated(LUnallocated::WRITABLE_REGISTER)); | 476 return Use(value, new (zone()) LUnallocated(LUnallocated::WRITABLE_REGISTER)); |
464 } | 477 } |
465 | 478 |
466 | 479 |
467 LOperand* LChunkBuilder::Use(HValue* value) { | 480 LOperand* LChunkBuilder::Use(HValue* value) { |
468 return Use(value, new(zone()) LUnallocated(LUnallocated::NONE)); | 481 return Use(value, new (zone()) LUnallocated(LUnallocated::NONE)); |
469 } | 482 } |
470 | 483 |
471 | 484 |
472 LOperand* LChunkBuilder::UseAtStart(HValue* value) { | 485 LOperand* LChunkBuilder::UseAtStart(HValue* value) { |
473 return Use(value, new(zone()) LUnallocated(LUnallocated::NONE, | 486 return Use(value, new (zone()) |
474 LUnallocated::USED_AT_START)); | 487 LUnallocated(LUnallocated::NONE, LUnallocated::USED_AT_START)); |
475 } | 488 } |
476 | 489 |
477 | 490 |
478 LOperand* LChunkBuilder::UseOrConstant(HValue* value) { | 491 LOperand* LChunkBuilder::UseOrConstant(HValue* value) { |
479 return value->IsConstant() | 492 return value->IsConstant() |
480 ? chunk_->DefineConstantOperand(HConstant::cast(value)) | 493 ? chunk_->DefineConstantOperand(HConstant::cast(value)) |
481 : Use(value); | 494 : Use(value); |
482 } | 495 } |
483 | 496 |
484 | 497 |
485 LOperand* LChunkBuilder::UseOrConstantAtStart(HValue* value) { | 498 LOperand* LChunkBuilder::UseOrConstantAtStart(HValue* value) { |
486 return value->IsConstant() | 499 return value->IsConstant() |
487 ? chunk_->DefineConstantOperand(HConstant::cast(value)) | 500 ? chunk_->DefineConstantOperand(HConstant::cast(value)) |
488 : UseAtStart(value); | 501 : UseAtStart(value); |
489 } | 502 } |
490 | 503 |
491 | 504 |
492 LOperand* LChunkBuilder::UseRegisterOrConstant(HValue* value) { | 505 LOperand* LChunkBuilder::UseRegisterOrConstant(HValue* value) { |
493 return value->IsConstant() | 506 return value->IsConstant() |
494 ? chunk_->DefineConstantOperand(HConstant::cast(value)) | 507 ? chunk_->DefineConstantOperand(HConstant::cast(value)) |
495 : UseRegister(value); | 508 : UseRegister(value); |
496 } | 509 } |
497 | 510 |
498 | 511 |
499 LOperand* LChunkBuilder::UseRegisterOrConstantAtStart(HValue* value) { | 512 LOperand* LChunkBuilder::UseRegisterOrConstantAtStart(HValue* value) { |
500 return value->IsConstant() | 513 return value->IsConstant() |
501 ? chunk_->DefineConstantOperand(HConstant::cast(value)) | 514 ? chunk_->DefineConstantOperand(HConstant::cast(value)) |
502 : UseRegisterAtStart(value); | 515 : UseRegisterAtStart(value); |
503 } | 516 } |
504 | 517 |
505 | 518 |
506 LOperand* LChunkBuilder::UseConstant(HValue* value) { | 519 LOperand* LChunkBuilder::UseConstant(HValue* value) { |
507 return chunk_->DefineConstantOperand(HConstant::cast(value)); | 520 return chunk_->DefineConstantOperand(HConstant::cast(value)); |
508 } | 521 } |
509 | 522 |
510 | 523 |
511 LOperand* LChunkBuilder::UseAny(HValue* value) { | 524 LOperand* LChunkBuilder::UseAny(HValue* value) { |
512 return value->IsConstant() | 525 return value->IsConstant() |
513 ? chunk_->DefineConstantOperand(HConstant::cast(value)) | 526 ? chunk_->DefineConstantOperand(HConstant::cast(value)) |
514 : Use(value, new(zone()) LUnallocated(LUnallocated::ANY)); | 527 : Use(value, new (zone()) LUnallocated(LUnallocated::ANY)); |
515 } | 528 } |
516 | 529 |
517 | 530 |
518 LOperand* LChunkBuilder::Use(HValue* value, LUnallocated* operand) { | 531 LOperand* LChunkBuilder::Use(HValue* value, LUnallocated* operand) { |
519 if (value->EmitAtUses()) { | 532 if (value->EmitAtUses()) { |
520 HInstruction* instr = HInstruction::cast(value); | 533 HInstruction* instr = HInstruction::cast(value); |
521 VisitInstruction(instr); | 534 VisitInstruction(instr); |
522 } | 535 } |
523 operand->set_virtual_register(value->id()); | 536 operand->set_virtual_register(value->id()); |
524 return operand; | 537 return operand; |
525 } | 538 } |
526 | 539 |
527 | 540 |
528 LInstruction* LChunkBuilder::Define(LTemplateResultInstruction<1>* instr, | 541 LInstruction* LChunkBuilder::Define(LTemplateResultInstruction<1>* instr, |
529 LUnallocated* result) { | 542 LUnallocated* result) { |
530 result->set_virtual_register(current_instruction_->id()); | 543 result->set_virtual_register(current_instruction_->id()); |
531 instr->set_result(result); | 544 instr->set_result(result); |
532 return instr; | 545 return instr; |
533 } | 546 } |
534 | 547 |
535 | 548 |
536 LInstruction* LChunkBuilder::DefineAsRegister( | 549 LInstruction* LChunkBuilder::DefineAsRegister( |
537 LTemplateResultInstruction<1>* instr) { | 550 LTemplateResultInstruction<1>* instr) { |
538 return Define(instr, | 551 return Define(instr, |
539 new(zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER)); | 552 new (zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER)); |
540 } | 553 } |
541 | 554 |
542 | 555 |
543 LInstruction* LChunkBuilder::DefineAsSpilled( | 556 LInstruction* LChunkBuilder::DefineAsSpilled( |
544 LTemplateResultInstruction<1>* instr, int index) { | 557 LTemplateResultInstruction<1>* instr, int index) { |
545 return Define(instr, | 558 return Define(instr, |
546 new(zone()) LUnallocated(LUnallocated::FIXED_SLOT, index)); | 559 new (zone()) LUnallocated(LUnallocated::FIXED_SLOT, index)); |
547 } | 560 } |
548 | 561 |
549 | 562 |
550 LInstruction* LChunkBuilder::DefineSameAsFirst( | 563 LInstruction* LChunkBuilder::DefineSameAsFirst( |
551 LTemplateResultInstruction<1>* instr) { | 564 LTemplateResultInstruction<1>* instr) { |
552 return Define(instr, | 565 return Define(instr, |
553 new(zone()) LUnallocated(LUnallocated::SAME_AS_FIRST_INPUT)); | 566 new (zone()) LUnallocated(LUnallocated::SAME_AS_FIRST_INPUT)); |
554 } | 567 } |
555 | 568 |
556 | 569 |
557 LInstruction* LChunkBuilder::DefineFixed( | 570 LInstruction* LChunkBuilder::DefineFixed(LTemplateResultInstruction<1>* instr, |
558 LTemplateResultInstruction<1>* instr, Register reg) { | 571 Register reg) { |
559 return Define(instr, ToUnallocated(reg)); | 572 return Define(instr, ToUnallocated(reg)); |
560 } | 573 } |
561 | 574 |
562 | 575 |
563 LInstruction* LChunkBuilder::DefineFixedDouble( | 576 LInstruction* LChunkBuilder::DefineFixedDouble( |
564 LTemplateResultInstruction<1>* instr, DoubleRegister reg) { | 577 LTemplateResultInstruction<1>* instr, DoubleRegister reg) { |
565 return Define(instr, ToUnallocated(reg)); | 578 return Define(instr, ToUnallocated(reg)); |
566 } | 579 } |
567 | 580 |
568 | 581 |
569 LInstruction* LChunkBuilder::AssignEnvironment(LInstruction* instr) { | 582 LInstruction* LChunkBuilder::AssignEnvironment(LInstruction* instr) { |
570 HEnvironment* hydrogen_env = current_block_->last_environment(); | 583 HEnvironment* hydrogen_env = current_block_->last_environment(); |
571 int argument_index_accumulator = 0; | 584 int argument_index_accumulator = 0; |
572 ZoneList<HValue*> objects_to_materialize(0, zone()); | 585 ZoneList<HValue*> objects_to_materialize(0, zone()); |
573 instr->set_environment(CreateEnvironment(hydrogen_env, | 586 instr->set_environment(CreateEnvironment( |
574 &argument_index_accumulator, | 587 hydrogen_env, &argument_index_accumulator, &objects_to_materialize)); |
575 &objects_to_materialize)); | |
576 return instr; | 588 return instr; |
577 } | 589 } |
578 | 590 |
579 | 591 |
580 LInstruction* LChunkBuilder::MarkAsCall(LInstruction* instr, | 592 LInstruction* LChunkBuilder::MarkAsCall(LInstruction* instr, |
581 HInstruction* hinstr, | 593 HInstruction* hinstr, |
582 CanDeoptimize can_deoptimize) { | 594 CanDeoptimize can_deoptimize) { |
583 info()->MarkAsNonDeferredCalling(); | 595 info()->MarkAsNonDeferredCalling(); |
584 #ifdef DEBUG | 596 #ifdef DEBUG |
585 instr->VerifyCall(); | 597 instr->VerifyCall(); |
586 #endif | 598 #endif |
587 instr->MarkAsCall(); | 599 instr->MarkAsCall(); |
588 instr = AssignPointerMap(instr); | 600 instr = AssignPointerMap(instr); |
589 | 601 |
590 // If instruction does not have side-effects lazy deoptimization | 602 // If instruction does not have side-effects lazy deoptimization |
591 // after the call will try to deoptimize to the point before the call. | 603 // after the call will try to deoptimize to the point before the call. |
592 // Thus we still need to attach environment to this call even if | 604 // Thus we still need to attach environment to this call even if |
593 // call sequence can not deoptimize eagerly. | 605 // call sequence can not deoptimize eagerly. |
594 bool needs_environment = | 606 bool needs_environment = (can_deoptimize == CAN_DEOPTIMIZE_EAGERLY) || |
595 (can_deoptimize == CAN_DEOPTIMIZE_EAGERLY) || | 607 !hinstr->HasObservableSideEffects(); |
596 !hinstr->HasObservableSideEffects(); | |
597 if (needs_environment && !instr->HasEnvironment()) { | 608 if (needs_environment && !instr->HasEnvironment()) { |
598 instr = AssignEnvironment(instr); | 609 instr = AssignEnvironment(instr); |
599 // We can't really figure out if the environment is needed or not. | 610 // We can't really figure out if the environment is needed or not. |
600 instr->environment()->set_has_been_used(); | 611 instr->environment()->set_has_been_used(); |
601 } | 612 } |
602 | 613 |
603 return instr; | 614 return instr; |
604 } | 615 } |
605 | 616 |
606 | 617 |
607 LInstruction* LChunkBuilder::AssignPointerMap(LInstruction* instr) { | 618 LInstruction* LChunkBuilder::AssignPointerMap(LInstruction* instr) { |
608 DCHECK(!instr->HasPointerMap()); | 619 DCHECK(!instr->HasPointerMap()); |
609 instr->set_pointer_map(new(zone()) LPointerMap(zone())); | 620 instr->set_pointer_map(new (zone()) LPointerMap(zone())); |
610 return instr; | 621 return instr; |
611 } | 622 } |
612 | 623 |
613 | 624 |
614 LUnallocated* LChunkBuilder::TempRegister() { | 625 LUnallocated* LChunkBuilder::TempRegister() { |
615 LUnallocated* operand = | 626 LUnallocated* operand = |
616 new(zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER); | 627 new (zone()) LUnallocated(LUnallocated::MUST_HAVE_REGISTER); |
617 int vreg = allocator_->GetVirtualRegister(); | 628 int vreg = allocator_->GetVirtualRegister(); |
618 if (!allocator_->AllocationOk()) { | 629 if (!allocator_->AllocationOk()) { |
619 Abort(kOutOfVirtualRegistersWhileTryingToAllocateTempRegister); | 630 Abort(kOutOfVirtualRegistersWhileTryingToAllocateTempRegister); |
620 vreg = 0; | 631 vreg = 0; |
621 } | 632 } |
622 operand->set_virtual_register(vreg); | 633 operand->set_virtual_register(vreg); |
623 return operand; | 634 return operand; |
624 } | 635 } |
625 | 636 |
626 | 637 |
627 LUnallocated* LChunkBuilder::TempDoubleRegister() { | 638 LUnallocated* LChunkBuilder::TempDoubleRegister() { |
628 LUnallocated* operand = | 639 LUnallocated* operand = |
629 new(zone()) LUnallocated(LUnallocated::MUST_HAVE_DOUBLE_REGISTER); | 640 new (zone()) LUnallocated(LUnallocated::MUST_HAVE_DOUBLE_REGISTER); |
630 int vreg = allocator_->GetVirtualRegister(); | 641 int vreg = allocator_->GetVirtualRegister(); |
631 if (!allocator_->AllocationOk()) { | 642 if (!allocator_->AllocationOk()) { |
632 Abort(kOutOfVirtualRegistersWhileTryingToAllocateTempRegister); | 643 Abort(kOutOfVirtualRegistersWhileTryingToAllocateTempRegister); |
633 vreg = 0; | 644 vreg = 0; |
634 } | 645 } |
635 operand->set_virtual_register(vreg); | 646 operand->set_virtual_register(vreg); |
636 return operand; | 647 return operand; |
637 } | 648 } |
638 | 649 |
639 | 650 |
640 LOperand* LChunkBuilder::FixedTemp(Register reg) { | 651 LOperand* LChunkBuilder::FixedTemp(Register reg) { |
641 LUnallocated* operand = ToUnallocated(reg); | 652 LUnallocated* operand = ToUnallocated(reg); |
642 DCHECK(operand->HasFixedPolicy()); | 653 DCHECK(operand->HasFixedPolicy()); |
643 return operand; | 654 return operand; |
644 } | 655 } |
645 | 656 |
646 | 657 |
647 LOperand* LChunkBuilder::FixedTemp(DoubleRegister reg) { | 658 LOperand* LChunkBuilder::FixedTemp(DoubleRegister reg) { |
648 LUnallocated* operand = ToUnallocated(reg); | 659 LUnallocated* operand = ToUnallocated(reg); |
649 DCHECK(operand->HasFixedPolicy()); | 660 DCHECK(operand->HasFixedPolicy()); |
650 return operand; | 661 return operand; |
651 } | 662 } |
652 | 663 |
653 | 664 |
654 LInstruction* LChunkBuilder::DoBlockEntry(HBlockEntry* instr) { | 665 LInstruction* LChunkBuilder::DoBlockEntry(HBlockEntry* instr) { |
655 return new(zone()) LLabel(instr->block()); | 666 return new (zone()) LLabel(instr->block()); |
656 } | 667 } |
657 | 668 |
658 | 669 |
659 LInstruction* LChunkBuilder::DoDummyUse(HDummyUse* instr) { | 670 LInstruction* LChunkBuilder::DoDummyUse(HDummyUse* instr) { |
660 return DefineAsRegister(new(zone()) LDummyUse(UseAny(instr->value()))); | 671 return DefineAsRegister(new (zone()) LDummyUse(UseAny(instr->value()))); |
661 } | 672 } |
662 | 673 |
663 | 674 |
664 LInstruction* LChunkBuilder::DoEnvironmentMarker(HEnvironmentMarker* instr) { | 675 LInstruction* LChunkBuilder::DoEnvironmentMarker(HEnvironmentMarker* instr) { |
665 UNREACHABLE(); | 676 UNREACHABLE(); |
666 return NULL; | 677 return NULL; |
667 } | 678 } |
668 | 679 |
669 | 680 |
670 LInstruction* LChunkBuilder::DoDeoptimize(HDeoptimize* instr) { | 681 LInstruction* LChunkBuilder::DoDeoptimize(HDeoptimize* instr) { |
671 return AssignEnvironment(new(zone()) LDeoptimize); | 682 return AssignEnvironment(new (zone()) LDeoptimize); |
672 } | 683 } |
673 | 684 |
674 | 685 |
675 LInstruction* LChunkBuilder::DoShift(Token::Value op, | 686 LInstruction* LChunkBuilder::DoShift(Token::Value op, |
676 HBitwiseBinaryOperation* instr) { | 687 HBitwiseBinaryOperation* instr) { |
677 if (instr->representation().IsSmiOrInteger32()) { | 688 if (instr->representation().IsSmiOrInteger32()) { |
678 DCHECK(instr->left()->representation().Equals(instr->representation())); | 689 DCHECK(instr->left()->representation().Equals(instr->representation())); |
679 DCHECK(instr->right()->representation().Equals(instr->representation())); | 690 DCHECK(instr->right()->representation().Equals(instr->representation())); |
680 LOperand* left = UseRegisterAtStart(instr->left()); | 691 LOperand* left = UseRegisterAtStart(instr->left()); |
681 | 692 |
(...skipping 14 matching lines...) Expand all Loading... |
696 right = UseRegisterAtStart(right_value); | 707 right = UseRegisterAtStart(right_value); |
697 } | 708 } |
698 | 709 |
699 // Shift operations can only deoptimize if we do a logical shift | 710 // Shift operations can only deoptimize if we do a logical shift |
700 // by 0 and the result cannot be truncated to int32. | 711 // by 0 and the result cannot be truncated to int32. |
701 if (op == Token::SHR && constant_value == 0) { | 712 if (op == Token::SHR && constant_value == 0) { |
702 does_deopt = !instr->CheckFlag(HInstruction::kUint32); | 713 does_deopt = !instr->CheckFlag(HInstruction::kUint32); |
703 } | 714 } |
704 | 715 |
705 LInstruction* result = | 716 LInstruction* result = |
706 DefineAsRegister(new(zone()) LShiftI(op, left, right, does_deopt)); | 717 DefineAsRegister(new (zone()) LShiftI(op, left, right, does_deopt)); |
707 return does_deopt ? AssignEnvironment(result) : result; | 718 return does_deopt ? AssignEnvironment(result) : result; |
708 } else { | 719 } else { |
709 return DoArithmeticT(op, instr); | 720 return DoArithmeticT(op, instr); |
710 } | 721 } |
711 } | 722 } |
712 | 723 |
713 | 724 |
714 LInstruction* LChunkBuilder::DoArithmeticD(Token::Value op, | 725 LInstruction* LChunkBuilder::DoArithmeticD(Token::Value op, |
715 HArithmeticBinaryOperation* instr) { | 726 HArithmeticBinaryOperation* instr) { |
716 DCHECK(instr->representation().IsDouble()); | 727 DCHECK(instr->representation().IsDouble()); |
717 DCHECK(instr->left()->representation().IsDouble()); | 728 DCHECK(instr->left()->representation().IsDouble()); |
718 DCHECK(instr->right()->representation().IsDouble()); | 729 DCHECK(instr->right()->representation().IsDouble()); |
719 if (op == Token::MOD) { | 730 if (op == Token::MOD) { |
720 LOperand* left = UseFixedDouble(instr->left(), d0); | 731 LOperand* left = UseFixedDouble(instr->left(), d1); |
721 LOperand* right = UseFixedDouble(instr->right(), d1); | 732 LOperand* right = UseFixedDouble(instr->right(), d2); |
722 LArithmeticD* result = new(zone()) LArithmeticD(op, left, right); | 733 LArithmeticD* result = new (zone()) LArithmeticD(op, left, right); |
723 return MarkAsCall(DefineFixedDouble(result, d0), instr); | 734 // We call a C function for double modulo. It can't trigger a GC. We need |
| 735 // to use fixed result register for the call. |
| 736 // TODO(fschneider): Allow any register as input registers. |
| 737 return MarkAsCall(DefineFixedDouble(result, d1), instr); |
724 } else { | 738 } else { |
725 LOperand* left = UseRegisterAtStart(instr->left()); | 739 LOperand* left = UseRegisterAtStart(instr->left()); |
726 LOperand* right = UseRegisterAtStart(instr->right()); | 740 LOperand* right = UseRegisterAtStart(instr->right()); |
727 LArithmeticD* result = new(zone()) LArithmeticD(op, left, right); | 741 LArithmeticD* result = new (zone()) LArithmeticD(op, left, right); |
728 return DefineAsRegister(result); | 742 return DefineAsRegister(result); |
729 } | 743 } |
730 } | 744 } |
731 | 745 |
732 | 746 |
733 LInstruction* LChunkBuilder::DoArithmeticT(Token::Value op, | 747 LInstruction* LChunkBuilder::DoArithmeticT(Token::Value op, |
734 HBinaryOperation* instr) { | 748 HBinaryOperation* instr) { |
735 HValue* left = instr->left(); | 749 HValue* left = instr->left(); |
736 HValue* right = instr->right(); | 750 HValue* right = instr->right(); |
737 DCHECK(left->representation().IsTagged()); | 751 DCHECK(left->representation().IsTagged()); |
738 DCHECK(right->representation().IsTagged()); | 752 DCHECK(right->representation().IsTagged()); |
739 LOperand* context = UseFixed(instr->context(), cp); | 753 LOperand* context = UseFixed(instr->context(), cp); |
740 LOperand* left_operand = UseFixed(left, r1); | 754 LOperand* left_operand = UseFixed(left, r4); |
741 LOperand* right_operand = UseFixed(right, r0); | 755 LOperand* right_operand = UseFixed(right, r3); |
742 LArithmeticT* result = | 756 LArithmeticT* result = |
743 new(zone()) LArithmeticT(op, context, left_operand, right_operand); | 757 new (zone()) LArithmeticT(op, context, left_operand, right_operand); |
744 return MarkAsCall(DefineFixed(result, r0), instr); | 758 return MarkAsCall(DefineFixed(result, r3), instr); |
745 } | 759 } |
746 | 760 |
747 | 761 |
748 void LChunkBuilder::DoBasicBlock(HBasicBlock* block, HBasicBlock* next_block) { | 762 void LChunkBuilder::DoBasicBlock(HBasicBlock* block, HBasicBlock* next_block) { |
749 DCHECK(is_building()); | 763 DCHECK(is_building()); |
750 current_block_ = block; | 764 current_block_ = block; |
751 next_block_ = next_block; | 765 next_block_ = next_block; |
752 if (block->IsStartBlock()) { | 766 if (block->IsStartBlock()) { |
753 block->UpdateEnvironment(graph_->start_environment()); | 767 block->UpdateEnvironment(graph_->start_environment()); |
754 argument_count_ = 0; | 768 argument_count_ = 0; |
(...skipping 57 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
812 } | 826 } |
813 | 827 |
814 | 828 |
815 void LChunkBuilder::VisitInstruction(HInstruction* current) { | 829 void LChunkBuilder::VisitInstruction(HInstruction* current) { |
816 HInstruction* old_current = current_instruction_; | 830 HInstruction* old_current = current_instruction_; |
817 current_instruction_ = current; | 831 current_instruction_ = current; |
818 | 832 |
819 LInstruction* instr = NULL; | 833 LInstruction* instr = NULL; |
820 if (current->CanReplaceWithDummyUses()) { | 834 if (current->CanReplaceWithDummyUses()) { |
821 if (current->OperandCount() == 0) { | 835 if (current->OperandCount() == 0) { |
822 instr = DefineAsRegister(new(zone()) LDummy()); | 836 instr = DefineAsRegister(new (zone()) LDummy()); |
823 } else { | 837 } else { |
824 DCHECK(!current->OperandAt(0)->IsControlInstruction()); | 838 DCHECK(!current->OperandAt(0)->IsControlInstruction()); |
825 instr = DefineAsRegister(new(zone()) | 839 instr = DefineAsRegister(new (zone()) |
826 LDummyUse(UseAny(current->OperandAt(0)))); | 840 LDummyUse(UseAny(current->OperandAt(0)))); |
827 } | 841 } |
828 for (int i = 1; i < current->OperandCount(); ++i) { | 842 for (int i = 1; i < current->OperandCount(); ++i) { |
829 if (current->OperandAt(i)->IsControlInstruction()) continue; | 843 if (current->OperandAt(i)->IsControlInstruction()) continue; |
830 LInstruction* dummy = | 844 LInstruction* dummy = |
831 new(zone()) LDummyUse(UseAny(current->OperandAt(i))); | 845 new (zone()) LDummyUse(UseAny(current->OperandAt(i))); |
832 dummy->set_hydrogen_value(current); | 846 dummy->set_hydrogen_value(current); |
833 chunk_->AddInstruction(dummy, current_block_); | 847 chunk_->AddInstruction(dummy, current_block_); |
834 } | 848 } |
835 } else { | 849 } else { |
836 HBasicBlock* successor; | 850 HBasicBlock* successor; |
837 if (current->IsControlInstruction() && | 851 if (current->IsControlInstruction() && |
838 HControlInstruction::cast(current)->KnownSuccessorBlock(&successor) && | 852 HControlInstruction::cast(current)->KnownSuccessorBlock(&successor) && |
839 successor != NULL) { | 853 successor != NULL) { |
840 instr = new(zone()) LGoto(successor); | 854 instr = new (zone()) LGoto(successor); |
841 } else { | 855 } else { |
842 instr = current->CompileToLithium(this); | 856 instr = current->CompileToLithium(this); |
843 } | 857 } |
844 } | 858 } |
845 | 859 |
846 argument_count_ += current->argument_delta(); | 860 argument_count_ += current->argument_delta(); |
847 DCHECK(argument_count_ >= 0); | 861 DCHECK(argument_count_ >= 0); |
848 | 862 |
849 if (instr != NULL) { | 863 if (instr != NULL) { |
850 AddInstruction(instr, current); | 864 AddInstruction(instr, current); |
(...skipping 49 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
900 | 914 |
901 if (instr->IsCall()) { | 915 if (instr->IsCall()) { |
902 HValue* hydrogen_value_for_lazy_bailout = hydrogen_val; | 916 HValue* hydrogen_value_for_lazy_bailout = hydrogen_val; |
903 LInstruction* instruction_needing_environment = NULL; | 917 LInstruction* instruction_needing_environment = NULL; |
904 if (hydrogen_val->HasObservableSideEffects()) { | 918 if (hydrogen_val->HasObservableSideEffects()) { |
905 HSimulate* sim = HSimulate::cast(hydrogen_val->next()); | 919 HSimulate* sim = HSimulate::cast(hydrogen_val->next()); |
906 instruction_needing_environment = instr; | 920 instruction_needing_environment = instr; |
907 sim->ReplayEnvironment(current_block_->last_environment()); | 921 sim->ReplayEnvironment(current_block_->last_environment()); |
908 hydrogen_value_for_lazy_bailout = sim; | 922 hydrogen_value_for_lazy_bailout = sim; |
909 } | 923 } |
910 LInstruction* bailout = AssignEnvironment(new(zone()) LLazyBailout()); | 924 LInstruction* bailout = AssignEnvironment(new (zone()) LLazyBailout()); |
911 bailout->set_hydrogen_value(hydrogen_value_for_lazy_bailout); | 925 bailout->set_hydrogen_value(hydrogen_value_for_lazy_bailout); |
912 chunk_->AddInstruction(bailout, current_block_); | 926 chunk_->AddInstruction(bailout, current_block_); |
913 if (instruction_needing_environment != NULL) { | 927 if (instruction_needing_environment != NULL) { |
914 // Store the lazy deopt environment with the instruction if needed. | 928 // Store the lazy deopt environment with the instruction if needed. |
915 // Right now it is only used for LInstanceOfKnownGlobal. | 929 // Right now it is only used for LInstanceOfKnownGlobal. |
916 instruction_needing_environment-> | 930 instruction_needing_environment->SetDeferredLazyDeoptimizationEnvironment( |
917 SetDeferredLazyDeoptimizationEnvironment(bailout->environment()); | 931 bailout->environment()); |
918 } | 932 } |
919 } | 933 } |
920 } | 934 } |
921 | 935 |
922 | 936 |
923 LInstruction* LChunkBuilder::DoGoto(HGoto* instr) { | 937 LInstruction* LChunkBuilder::DoGoto(HGoto* instr) { |
924 return new(zone()) LGoto(instr->FirstSuccessor()); | 938 return new (zone()) LGoto(instr->FirstSuccessor()); |
925 } | 939 } |
926 | 940 |
927 | 941 |
928 LInstruction* LChunkBuilder::DoBranch(HBranch* instr) { | 942 LInstruction* LChunkBuilder::DoBranch(HBranch* instr) { |
929 HValue* value = instr->value(); | 943 HValue* value = instr->value(); |
930 Representation r = value->representation(); | 944 Representation r = value->representation(); |
931 HType type = value->type(); | 945 HType type = value->type(); |
932 ToBooleanStub::Types expected = instr->expected_input_types(); | 946 ToBooleanStub::Types expected = instr->expected_input_types(); |
933 if (expected.IsEmpty()) expected = ToBooleanStub::Types::Generic(); | 947 if (expected.IsEmpty()) expected = ToBooleanStub::Types::Generic(); |
934 | 948 |
935 bool easy_case = !r.IsTagged() || type.IsBoolean() || type.IsSmi() || | 949 bool easy_case = !r.IsTagged() || type.IsBoolean() || type.IsSmi() || |
936 type.IsJSArray() || type.IsHeapNumber() || type.IsString(); | 950 type.IsJSArray() || type.IsHeapNumber() || type.IsString(); |
937 LInstruction* branch = new(zone()) LBranch(UseRegister(value)); | 951 LInstruction* branch = new (zone()) LBranch(UseRegister(value)); |
938 if (!easy_case && | 952 if (!easy_case && |
939 ((!expected.Contains(ToBooleanStub::SMI) && expected.NeedsMap()) || | 953 ((!expected.Contains(ToBooleanStub::SMI) && expected.NeedsMap()) || |
940 !expected.IsGeneric())) { | 954 !expected.IsGeneric())) { |
941 branch = AssignEnvironment(branch); | 955 branch = AssignEnvironment(branch); |
942 } | 956 } |
943 return branch; | 957 return branch; |
944 } | 958 } |
945 | 959 |
946 | 960 |
947 LInstruction* LChunkBuilder::DoDebugBreak(HDebugBreak* instr) { | 961 LInstruction* LChunkBuilder::DoDebugBreak(HDebugBreak* instr) { |
948 return new(zone()) LDebugBreak(); | 962 return new (zone()) LDebugBreak(); |
949 } | 963 } |
950 | 964 |
951 | 965 |
952 LInstruction* LChunkBuilder::DoCompareMap(HCompareMap* instr) { | 966 LInstruction* LChunkBuilder::DoCompareMap(HCompareMap* instr) { |
953 DCHECK(instr->value()->representation().IsTagged()); | 967 DCHECK(instr->value()->representation().IsTagged()); |
954 LOperand* value = UseRegisterAtStart(instr->value()); | 968 LOperand* value = UseRegisterAtStart(instr->value()); |
955 LOperand* temp = TempRegister(); | 969 LOperand* temp = TempRegister(); |
956 return new(zone()) LCmpMapAndBranch(value, temp); | 970 return new (zone()) LCmpMapAndBranch(value, temp); |
957 } | 971 } |
958 | 972 |
959 | 973 |
960 LInstruction* LChunkBuilder::DoArgumentsLength(HArgumentsLength* instr) { | 974 LInstruction* LChunkBuilder::DoArgumentsLength(HArgumentsLength* instr) { |
961 info()->MarkAsRequiresFrame(); | 975 info()->MarkAsRequiresFrame(); |
962 LOperand* value = UseRegister(instr->value()); | 976 LOperand* value = UseRegister(instr->value()); |
963 return DefineAsRegister(new(zone()) LArgumentsLength(value)); | 977 return DefineAsRegister(new (zone()) LArgumentsLength(value)); |
964 } | 978 } |
965 | 979 |
966 | 980 |
967 LInstruction* LChunkBuilder::DoArgumentsElements(HArgumentsElements* elems) { | 981 LInstruction* LChunkBuilder::DoArgumentsElements(HArgumentsElements* elems) { |
968 info()->MarkAsRequiresFrame(); | 982 info()->MarkAsRequiresFrame(); |
969 return DefineAsRegister(new(zone()) LArgumentsElements); | 983 return DefineAsRegister(new (zone()) LArgumentsElements); |
970 } | 984 } |
971 | 985 |
972 | 986 |
973 LInstruction* LChunkBuilder::DoInstanceOf(HInstanceOf* instr) { | 987 LInstruction* LChunkBuilder::DoInstanceOf(HInstanceOf* instr) { |
974 LOperand* context = UseFixed(instr->context(), cp); | 988 LOperand* context = UseFixed(instr->context(), cp); |
975 LInstanceOf* result = | 989 LInstanceOf* result = new (zone()) LInstanceOf( |
976 new(zone()) LInstanceOf(context, UseFixed(instr->left(), r0), | 990 context, UseFixed(instr->left(), r3), UseFixed(instr->right(), r4)); |
977 UseFixed(instr->right(), r1)); | 991 return MarkAsCall(DefineFixed(result, r3), instr); |
978 return MarkAsCall(DefineFixed(result, r0), instr); | |
979 } | 992 } |
980 | 993 |
981 | 994 |
982 LInstruction* LChunkBuilder::DoInstanceOfKnownGlobal( | 995 LInstruction* LChunkBuilder::DoInstanceOfKnownGlobal( |
983 HInstanceOfKnownGlobal* instr) { | 996 HInstanceOfKnownGlobal* instr) { |
984 LInstanceOfKnownGlobal* result = | 997 LInstanceOfKnownGlobal* result = new (zone()) |
985 new(zone()) LInstanceOfKnownGlobal( | 998 LInstanceOfKnownGlobal(UseFixed(instr->context(), cp), |
986 UseFixed(instr->context(), cp), | 999 UseFixed(instr->left(), r3), FixedTemp(r7)); |
987 UseFixed(instr->left(), r0), | 1000 return MarkAsCall(DefineFixed(result, r3), instr); |
988 FixedTemp(r4)); | |
989 return MarkAsCall(DefineFixed(result, r0), instr); | |
990 } | 1001 } |
991 | 1002 |
992 | 1003 |
993 LInstruction* LChunkBuilder::DoWrapReceiver(HWrapReceiver* instr) { | 1004 LInstruction* LChunkBuilder::DoWrapReceiver(HWrapReceiver* instr) { |
994 LOperand* receiver = UseRegisterAtStart(instr->receiver()); | 1005 LOperand* receiver = UseRegisterAtStart(instr->receiver()); |
995 LOperand* function = UseRegisterAtStart(instr->function()); | 1006 LOperand* function = UseRegisterAtStart(instr->function()); |
996 LWrapReceiver* result = new(zone()) LWrapReceiver(receiver, function); | 1007 LWrapReceiver* result = new (zone()) LWrapReceiver(receiver, function); |
997 return AssignEnvironment(DefineAsRegister(result)); | 1008 return AssignEnvironment(DefineAsRegister(result)); |
998 } | 1009 } |
999 | 1010 |
1000 | 1011 |
1001 LInstruction* LChunkBuilder::DoApplyArguments(HApplyArguments* instr) { | 1012 LInstruction* LChunkBuilder::DoApplyArguments(HApplyArguments* instr) { |
1002 LOperand* function = UseFixed(instr->function(), r1); | 1013 LOperand* function = UseFixed(instr->function(), r4); |
1003 LOperand* receiver = UseFixed(instr->receiver(), r0); | 1014 LOperand* receiver = UseFixed(instr->receiver(), r3); |
1004 LOperand* length = UseFixed(instr->length(), r2); | 1015 LOperand* length = UseFixed(instr->length(), r5); |
1005 LOperand* elements = UseFixed(instr->elements(), r3); | 1016 LOperand* elements = UseFixed(instr->elements(), r6); |
1006 LApplyArguments* result = new(zone()) LApplyArguments(function, | 1017 LApplyArguments* result = |
1007 receiver, | 1018 new (zone()) LApplyArguments(function, receiver, length, elements); |
1008 length, | 1019 return MarkAsCall(DefineFixed(result, r3), instr, CAN_DEOPTIMIZE_EAGERLY); |
1009 elements); | |
1010 return MarkAsCall(DefineFixed(result, r0), instr, CAN_DEOPTIMIZE_EAGERLY); | |
1011 } | 1020 } |
1012 | 1021 |
1013 | 1022 |
1014 LInstruction* LChunkBuilder::DoPushArguments(HPushArguments* instr) { | 1023 LInstruction* LChunkBuilder::DoPushArguments(HPushArguments* instr) { |
1015 int argc = instr->OperandCount(); | 1024 int argc = instr->OperandCount(); |
1016 for (int i = 0; i < argc; ++i) { | 1025 for (int i = 0; i < argc; ++i) { |
1017 LOperand* argument = Use(instr->argument(i)); | 1026 LOperand* argument = Use(instr->argument(i)); |
1018 AddInstruction(new(zone()) LPushArgument(argument), instr); | 1027 AddInstruction(new (zone()) LPushArgument(argument), instr); |
1019 } | 1028 } |
1020 return NULL; | 1029 return NULL; |
1021 } | 1030 } |
1022 | 1031 |
1023 | 1032 |
1024 LInstruction* LChunkBuilder::DoStoreCodeEntry( | 1033 LInstruction* LChunkBuilder::DoStoreCodeEntry( |
1025 HStoreCodeEntry* store_code_entry) { | 1034 HStoreCodeEntry* store_code_entry) { |
1026 LOperand* function = UseRegister(store_code_entry->function()); | 1035 LOperand* function = UseRegister(store_code_entry->function()); |
1027 LOperand* code_object = UseTempRegister(store_code_entry->code_object()); | 1036 LOperand* code_object = UseTempRegister(store_code_entry->code_object()); |
1028 return new(zone()) LStoreCodeEntry(function, code_object); | 1037 return new (zone()) LStoreCodeEntry(function, code_object); |
1029 } | 1038 } |
1030 | 1039 |
1031 | 1040 |
1032 LInstruction* LChunkBuilder::DoInnerAllocatedObject( | 1041 LInstruction* LChunkBuilder::DoInnerAllocatedObject( |
1033 HInnerAllocatedObject* instr) { | 1042 HInnerAllocatedObject* instr) { |
1034 LOperand* base_object = UseRegisterAtStart(instr->base_object()); | 1043 LOperand* base_object = UseRegisterAtStart(instr->base_object()); |
1035 LOperand* offset = UseRegisterOrConstantAtStart(instr->offset()); | 1044 LOperand* offset = UseRegisterOrConstantAtStart(instr->offset()); |
1036 return DefineAsRegister( | 1045 return DefineAsRegister(new (zone()) |
1037 new(zone()) LInnerAllocatedObject(base_object, offset)); | 1046 LInnerAllocatedObject(base_object, offset)); |
1038 } | 1047 } |
1039 | 1048 |
1040 | 1049 |
1041 LInstruction* LChunkBuilder::DoThisFunction(HThisFunction* instr) { | 1050 LInstruction* LChunkBuilder::DoThisFunction(HThisFunction* instr) { |
1042 return instr->HasNoUses() | 1051 return instr->HasNoUses() ? NULL |
1043 ? NULL | 1052 : DefineAsRegister(new (zone()) LThisFunction); |
1044 : DefineAsRegister(new(zone()) LThisFunction); | |
1045 } | 1053 } |
1046 | 1054 |
1047 | 1055 |
1048 LInstruction* LChunkBuilder::DoContext(HContext* instr) { | 1056 LInstruction* LChunkBuilder::DoContext(HContext* instr) { |
1049 if (instr->HasNoUses()) return NULL; | 1057 if (instr->HasNoUses()) return NULL; |
1050 | 1058 |
1051 if (info()->IsStub()) { | 1059 if (info()->IsStub()) { |
1052 return DefineFixed(new(zone()) LContext, cp); | 1060 return DefineFixed(new (zone()) LContext, cp); |
1053 } | 1061 } |
1054 | 1062 |
1055 return DefineAsRegister(new(zone()) LContext); | 1063 return DefineAsRegister(new (zone()) LContext); |
1056 } | 1064 } |
1057 | 1065 |
1058 | 1066 |
1059 LInstruction* LChunkBuilder::DoDeclareGlobals(HDeclareGlobals* instr) { | 1067 LInstruction* LChunkBuilder::DoDeclareGlobals(HDeclareGlobals* instr) { |
1060 LOperand* context = UseFixed(instr->context(), cp); | 1068 LOperand* context = UseFixed(instr->context(), cp); |
1061 return MarkAsCall(new(zone()) LDeclareGlobals(context), instr); | 1069 return MarkAsCall(new (zone()) LDeclareGlobals(context), instr); |
1062 } | 1070 } |
1063 | 1071 |
1064 | 1072 |
1065 LInstruction* LChunkBuilder::DoCallJSFunction( | 1073 LInstruction* LChunkBuilder::DoCallJSFunction(HCallJSFunction* instr) { |
1066 HCallJSFunction* instr) { | 1074 LOperand* function = UseFixed(instr->function(), r4); |
1067 LOperand* function = UseFixed(instr->function(), r1); | |
1068 | 1075 |
1069 LCallJSFunction* result = new(zone()) LCallJSFunction(function); | 1076 LCallJSFunction* result = new (zone()) LCallJSFunction(function); |
1070 | 1077 |
1071 return MarkAsCall(DefineFixed(result, r0), instr); | 1078 return MarkAsCall(DefineFixed(result, r3), instr); |
1072 } | 1079 } |
1073 | 1080 |
1074 | 1081 |
1075 LInstruction* LChunkBuilder::DoCallWithDescriptor( | 1082 LInstruction* LChunkBuilder::DoCallWithDescriptor(HCallWithDescriptor* instr) { |
1076 HCallWithDescriptor* instr) { | |
1077 CallInterfaceDescriptor descriptor = instr->descriptor(); | 1083 CallInterfaceDescriptor descriptor = instr->descriptor(); |
1078 | 1084 |
1079 LOperand* target = UseRegisterOrConstantAtStart(instr->target()); | 1085 LOperand* target = UseRegisterOrConstantAtStart(instr->target()); |
1080 ZoneList<LOperand*> ops(instr->OperandCount(), zone()); | 1086 ZoneList<LOperand*> ops(instr->OperandCount(), zone()); |
1081 ops.Add(target, zone()); | 1087 ops.Add(target, zone()); |
1082 for (int i = 1; i < instr->OperandCount(); i++) { | 1088 for (int i = 1; i < instr->OperandCount(); i++) { |
1083 LOperand* op = | 1089 LOperand* op = |
1084 UseFixed(instr->OperandAt(i), descriptor.GetParameterRegister(i - 1)); | 1090 UseFixed(instr->OperandAt(i), descriptor.GetParameterRegister(i - 1)); |
1085 ops.Add(op, zone()); | 1091 ops.Add(op, zone()); |
1086 } | 1092 } |
1087 | 1093 |
1088 LCallWithDescriptor* result = new(zone()) LCallWithDescriptor( | 1094 LCallWithDescriptor* result = |
1089 descriptor, ops, zone()); | 1095 new (zone()) LCallWithDescriptor(descriptor, ops, zone()); |
1090 return MarkAsCall(DefineFixed(result, r0), instr); | 1096 return MarkAsCall(DefineFixed(result, r3), instr); |
1091 } | 1097 } |
1092 | 1098 |
1093 | 1099 |
1094 LInstruction* LChunkBuilder::DoTailCallThroughMegamorphicCache( | 1100 LInstruction* LChunkBuilder::DoTailCallThroughMegamorphicCache( |
1095 HTailCallThroughMegamorphicCache* instr) { | 1101 HTailCallThroughMegamorphicCache* instr) { |
1096 LOperand* context = UseFixed(instr->context(), cp); | 1102 LOperand* context = UseFixed(instr->context(), cp); |
1097 LOperand* receiver_register = | 1103 LOperand* receiver_register = |
1098 UseFixed(instr->receiver(), LoadDescriptor::ReceiverRegister()); | 1104 UseFixed(instr->receiver(), LoadDescriptor::ReceiverRegister()); |
1099 LOperand* name_register = | 1105 LOperand* name_register = |
1100 UseFixed(instr->name(), LoadDescriptor::NameRegister()); | 1106 UseFixed(instr->name(), LoadDescriptor::NameRegister()); |
1101 // Not marked as call. It can't deoptimize, and it never returns. | 1107 // Not marked as call. It can't deoptimize, and it never returns. |
1102 return new (zone()) LTailCallThroughMegamorphicCache( | 1108 return new (zone()) LTailCallThroughMegamorphicCache( |
1103 context, receiver_register, name_register); | 1109 context, receiver_register, name_register); |
1104 } | 1110 } |
1105 | 1111 |
1106 | 1112 |
1107 LInstruction* LChunkBuilder::DoInvokeFunction(HInvokeFunction* instr) { | 1113 LInstruction* LChunkBuilder::DoInvokeFunction(HInvokeFunction* instr) { |
1108 LOperand* context = UseFixed(instr->context(), cp); | 1114 LOperand* context = UseFixed(instr->context(), cp); |
1109 LOperand* function = UseFixed(instr->function(), r1); | 1115 LOperand* function = UseFixed(instr->function(), r4); |
1110 LInvokeFunction* result = new(zone()) LInvokeFunction(context, function); | 1116 LInvokeFunction* result = new (zone()) LInvokeFunction(context, function); |
1111 return MarkAsCall(DefineFixed(result, r0), instr, CANNOT_DEOPTIMIZE_EAGERLY); | 1117 return MarkAsCall(DefineFixed(result, r3), instr, CANNOT_DEOPTIMIZE_EAGERLY); |
1112 } | 1118 } |
1113 | 1119 |
1114 | 1120 |
1115 LInstruction* LChunkBuilder::DoUnaryMathOperation(HUnaryMathOperation* instr) { | 1121 LInstruction* LChunkBuilder::DoUnaryMathOperation(HUnaryMathOperation* instr) { |
1116 switch (instr->op()) { | 1122 switch (instr->op()) { |
1117 case kMathFloor: | 1123 case kMathFloor: |
1118 return DoMathFloor(instr); | 1124 return DoMathFloor(instr); |
1119 case kMathRound: | 1125 case kMathRound: |
1120 return DoMathRound(instr); | 1126 return DoMathRound(instr); |
1121 case kMathFround: | 1127 case kMathFround: |
(...skipping 12 matching lines...) Expand all Loading... |
1134 return DoMathClz32(instr); | 1140 return DoMathClz32(instr); |
1135 default: | 1141 default: |
1136 UNREACHABLE(); | 1142 UNREACHABLE(); |
1137 return NULL; | 1143 return NULL; |
1138 } | 1144 } |
1139 } | 1145 } |
1140 | 1146 |
1141 | 1147 |
1142 LInstruction* LChunkBuilder::DoMathFloor(HUnaryMathOperation* instr) { | 1148 LInstruction* LChunkBuilder::DoMathFloor(HUnaryMathOperation* instr) { |
1143 LOperand* input = UseRegister(instr->value()); | 1149 LOperand* input = UseRegister(instr->value()); |
1144 LMathFloor* result = new(zone()) LMathFloor(input); | 1150 LMathFloor* result = new (zone()) LMathFloor(input); |
1145 return AssignEnvironment(AssignPointerMap(DefineAsRegister(result))); | 1151 return AssignEnvironment(AssignPointerMap(DefineAsRegister(result))); |
1146 } | 1152 } |
1147 | 1153 |
1148 | 1154 |
1149 LInstruction* LChunkBuilder::DoMathRound(HUnaryMathOperation* instr) { | 1155 LInstruction* LChunkBuilder::DoMathRound(HUnaryMathOperation* instr) { |
1150 LOperand* input = UseRegister(instr->value()); | 1156 LOperand* input = UseRegister(instr->value()); |
1151 LOperand* temp = TempDoubleRegister(); | 1157 LOperand* temp = TempDoubleRegister(); |
1152 LMathRound* result = new(zone()) LMathRound(input, temp); | 1158 LMathRound* result = new (zone()) LMathRound(input, temp); |
1153 return AssignEnvironment(DefineAsRegister(result)); | 1159 return AssignEnvironment(DefineAsRegister(result)); |
1154 } | 1160 } |
1155 | 1161 |
1156 | 1162 |
1157 LInstruction* LChunkBuilder::DoMathFround(HUnaryMathOperation* instr) { | 1163 LInstruction* LChunkBuilder::DoMathFround(HUnaryMathOperation* instr) { |
1158 LOperand* input = UseRegister(instr->value()); | 1164 LOperand* input = UseRegister(instr->value()); |
1159 LMathFround* result = new (zone()) LMathFround(input); | 1165 LMathFround* result = new (zone()) LMathFround(input); |
1160 return DefineAsRegister(result); | 1166 return DefineAsRegister(result); |
1161 } | 1167 } |
1162 | 1168 |
1163 | 1169 |
1164 LInstruction* LChunkBuilder::DoMathAbs(HUnaryMathOperation* instr) { | 1170 LInstruction* LChunkBuilder::DoMathAbs(HUnaryMathOperation* instr) { |
1165 Representation r = instr->value()->representation(); | 1171 Representation r = instr->value()->representation(); |
1166 LOperand* context = (r.IsDouble() || r.IsSmiOrInteger32()) | 1172 LOperand* context = (r.IsDouble() || r.IsSmiOrInteger32()) |
1167 ? NULL | 1173 ? NULL |
1168 : UseFixed(instr->context(), cp); | 1174 : UseFixed(instr->context(), cp); |
1169 LOperand* input = UseRegister(instr->value()); | 1175 LOperand* input = UseRegister(instr->value()); |
1170 LInstruction* result = | 1176 LInstruction* result = |
1171 DefineAsRegister(new(zone()) LMathAbs(context, input)); | 1177 DefineAsRegister(new (zone()) LMathAbs(context, input)); |
1172 if (!r.IsDouble() && !r.IsSmiOrInteger32()) result = AssignPointerMap(result); | 1178 if (!r.IsDouble() && !r.IsSmiOrInteger32()) result = AssignPointerMap(result); |
1173 if (!r.IsDouble()) result = AssignEnvironment(result); | 1179 if (!r.IsDouble()) result = AssignEnvironment(result); |
1174 return result; | 1180 return result; |
1175 } | 1181 } |
1176 | 1182 |
1177 | 1183 |
1178 LInstruction* LChunkBuilder::DoMathLog(HUnaryMathOperation* instr) { | 1184 LInstruction* LChunkBuilder::DoMathLog(HUnaryMathOperation* instr) { |
1179 DCHECK(instr->representation().IsDouble()); | 1185 DCHECK(instr->representation().IsDouble()); |
1180 DCHECK(instr->value()->representation().IsDouble()); | 1186 DCHECK(instr->value()->representation().IsDouble()); |
1181 LOperand* input = UseFixedDouble(instr->value(), d0); | 1187 LOperand* input = UseFixedDouble(instr->value(), d1); |
1182 return MarkAsCall(DefineFixedDouble(new(zone()) LMathLog(input), d0), instr); | 1188 return MarkAsCall(DefineFixedDouble(new (zone()) LMathLog(input), d1), instr); |
1183 } | 1189 } |
1184 | 1190 |
1185 | 1191 |
1186 LInstruction* LChunkBuilder::DoMathClz32(HUnaryMathOperation* instr) { | 1192 LInstruction* LChunkBuilder::DoMathClz32(HUnaryMathOperation* instr) { |
1187 LOperand* input = UseRegisterAtStart(instr->value()); | 1193 LOperand* input = UseRegisterAtStart(instr->value()); |
1188 LMathClz32* result = new(zone()) LMathClz32(input); | 1194 LMathClz32* result = new (zone()) LMathClz32(input); |
1189 return DefineAsRegister(result); | 1195 return DefineAsRegister(result); |
1190 } | 1196 } |
1191 | 1197 |
1192 | 1198 |
1193 LInstruction* LChunkBuilder::DoMathExp(HUnaryMathOperation* instr) { | 1199 LInstruction* LChunkBuilder::DoMathExp(HUnaryMathOperation* instr) { |
1194 DCHECK(instr->representation().IsDouble()); | 1200 DCHECK(instr->representation().IsDouble()); |
1195 DCHECK(instr->value()->representation().IsDouble()); | 1201 DCHECK(instr->value()->representation().IsDouble()); |
1196 LOperand* input = UseRegister(instr->value()); | 1202 LOperand* input = UseRegister(instr->value()); |
1197 LOperand* temp1 = TempRegister(); | 1203 LOperand* temp1 = TempRegister(); |
1198 LOperand* temp2 = TempRegister(); | 1204 LOperand* temp2 = TempRegister(); |
1199 LOperand* double_temp = TempDoubleRegister(); | 1205 LOperand* double_temp = TempDoubleRegister(); |
1200 LMathExp* result = new(zone()) LMathExp(input, double_temp, temp1, temp2); | 1206 LMathExp* result = new (zone()) LMathExp(input, double_temp, temp1, temp2); |
1201 return DefineAsRegister(result); | 1207 return DefineAsRegister(result); |
1202 } | 1208 } |
1203 | 1209 |
1204 | 1210 |
1205 LInstruction* LChunkBuilder::DoMathSqrt(HUnaryMathOperation* instr) { | 1211 LInstruction* LChunkBuilder::DoMathSqrt(HUnaryMathOperation* instr) { |
1206 LOperand* input = UseRegisterAtStart(instr->value()); | 1212 LOperand* input = UseRegisterAtStart(instr->value()); |
1207 LMathSqrt* result = new(zone()) LMathSqrt(input); | 1213 LMathSqrt* result = new (zone()) LMathSqrt(input); |
1208 return DefineAsRegister(result); | 1214 return DefineAsRegister(result); |
1209 } | 1215 } |
1210 | 1216 |
1211 | 1217 |
1212 LInstruction* LChunkBuilder::DoMathPowHalf(HUnaryMathOperation* instr) { | 1218 LInstruction* LChunkBuilder::DoMathPowHalf(HUnaryMathOperation* instr) { |
1213 LOperand* input = UseRegisterAtStart(instr->value()); | 1219 LOperand* input = UseRegisterAtStart(instr->value()); |
1214 LMathPowHalf* result = new(zone()) LMathPowHalf(input); | 1220 LMathPowHalf* result = new (zone()) LMathPowHalf(input); |
1215 return DefineAsRegister(result); | 1221 return DefineAsRegister(result); |
1216 } | 1222 } |
1217 | 1223 |
1218 | 1224 |
1219 LInstruction* LChunkBuilder::DoCallNew(HCallNew* instr) { | 1225 LInstruction* LChunkBuilder::DoCallNew(HCallNew* instr) { |
1220 LOperand* context = UseFixed(instr->context(), cp); | 1226 LOperand* context = UseFixed(instr->context(), cp); |
1221 LOperand* constructor = UseFixed(instr->constructor(), r1); | 1227 LOperand* constructor = UseFixed(instr->constructor(), r4); |
1222 LCallNew* result = new(zone()) LCallNew(context, constructor); | 1228 LCallNew* result = new (zone()) LCallNew(context, constructor); |
1223 return MarkAsCall(DefineFixed(result, r0), instr); | 1229 return MarkAsCall(DefineFixed(result, r3), instr); |
1224 } | 1230 } |
1225 | 1231 |
1226 | 1232 |
1227 LInstruction* LChunkBuilder::DoCallNewArray(HCallNewArray* instr) { | 1233 LInstruction* LChunkBuilder::DoCallNewArray(HCallNewArray* instr) { |
1228 LOperand* context = UseFixed(instr->context(), cp); | 1234 LOperand* context = UseFixed(instr->context(), cp); |
1229 LOperand* constructor = UseFixed(instr->constructor(), r1); | 1235 LOperand* constructor = UseFixed(instr->constructor(), r4); |
1230 LCallNewArray* result = new(zone()) LCallNewArray(context, constructor); | 1236 LCallNewArray* result = new (zone()) LCallNewArray(context, constructor); |
1231 return MarkAsCall(DefineFixed(result, r0), instr); | 1237 return MarkAsCall(DefineFixed(result, r3), instr); |
1232 } | 1238 } |
1233 | 1239 |
1234 | 1240 |
1235 LInstruction* LChunkBuilder::DoCallFunction(HCallFunction* instr) { | 1241 LInstruction* LChunkBuilder::DoCallFunction(HCallFunction* instr) { |
1236 LOperand* context = UseFixed(instr->context(), cp); | 1242 LOperand* context = UseFixed(instr->context(), cp); |
1237 LOperand* function = UseFixed(instr->function(), r1); | 1243 LOperand* function = UseFixed(instr->function(), r4); |
1238 LCallFunction* call = new(zone()) LCallFunction(context, function); | 1244 LCallFunction* call = new (zone()) LCallFunction(context, function); |
1239 return MarkAsCall(DefineFixed(call, r0), instr); | 1245 return MarkAsCall(DefineFixed(call, r3), instr); |
1240 } | 1246 } |
1241 | 1247 |
1242 | 1248 |
1243 LInstruction* LChunkBuilder::DoCallRuntime(HCallRuntime* instr) { | 1249 LInstruction* LChunkBuilder::DoCallRuntime(HCallRuntime* instr) { |
1244 LOperand* context = UseFixed(instr->context(), cp); | 1250 LOperand* context = UseFixed(instr->context(), cp); |
1245 return MarkAsCall(DefineFixed(new(zone()) LCallRuntime(context), r0), instr); | 1251 return MarkAsCall(DefineFixed(new (zone()) LCallRuntime(context), r3), instr); |
1246 } | 1252 } |
1247 | 1253 |
1248 | 1254 |
1249 LInstruction* LChunkBuilder::DoRor(HRor* instr) { | 1255 LInstruction* LChunkBuilder::DoRor(HRor* instr) { |
1250 return DoShift(Token::ROR, instr); | 1256 return DoShift(Token::ROR, instr); |
1251 } | 1257 } |
1252 | 1258 |
1253 | 1259 |
1254 LInstruction* LChunkBuilder::DoShr(HShr* instr) { | 1260 LInstruction* LChunkBuilder::DoShr(HShr* instr) { |
1255 return DoShift(Token::SHR, instr); | 1261 return DoShift(Token::SHR, instr); |
(...skipping 11 matching lines...) Expand all Loading... |
1267 | 1273 |
1268 | 1274 |
1269 LInstruction* LChunkBuilder::DoBitwise(HBitwise* instr) { | 1275 LInstruction* LChunkBuilder::DoBitwise(HBitwise* instr) { |
1270 if (instr->representation().IsSmiOrInteger32()) { | 1276 if (instr->representation().IsSmiOrInteger32()) { |
1271 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1277 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1272 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1278 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1273 DCHECK(instr->CheckFlag(HValue::kTruncatingToInt32)); | 1279 DCHECK(instr->CheckFlag(HValue::kTruncatingToInt32)); |
1274 | 1280 |
1275 LOperand* left = UseRegisterAtStart(instr->BetterLeftOperand()); | 1281 LOperand* left = UseRegisterAtStart(instr->BetterLeftOperand()); |
1276 LOperand* right = UseOrConstantAtStart(instr->BetterRightOperand()); | 1282 LOperand* right = UseOrConstantAtStart(instr->BetterRightOperand()); |
1277 return DefineAsRegister(new(zone()) LBitI(left, right)); | 1283 return DefineAsRegister(new (zone()) LBitI(left, right)); |
1278 } else { | 1284 } else { |
1279 return DoArithmeticT(instr->op(), instr); | 1285 return DoArithmeticT(instr->op(), instr); |
1280 } | 1286 } |
1281 } | 1287 } |
1282 | 1288 |
1283 | 1289 |
1284 LInstruction* LChunkBuilder::DoDivByPowerOf2I(HDiv* instr) { | 1290 LInstruction* LChunkBuilder::DoDivByPowerOf2I(HDiv* instr) { |
1285 DCHECK(instr->representation().IsSmiOrInteger32()); | 1291 DCHECK(instr->representation().IsSmiOrInteger32()); |
1286 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1292 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1287 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1293 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1288 LOperand* dividend = UseRegister(instr->left()); | 1294 LOperand* dividend = UseRegister(instr->left()); |
1289 int32_t divisor = instr->right()->GetInteger32Constant(); | 1295 int32_t divisor = instr->right()->GetInteger32Constant(); |
1290 LInstruction* result = DefineAsRegister(new(zone()) LDivByPowerOf2I( | 1296 LInstruction* result = |
1291 dividend, divisor)); | 1297 DefineAsRegister(new (zone()) LDivByPowerOf2I(dividend, divisor)); |
1292 if ((instr->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) || | 1298 if ((instr->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) || |
1293 (instr->CheckFlag(HValue::kCanOverflow) && divisor == -1) || | 1299 (instr->CheckFlag(HValue::kCanOverflow) && divisor == -1) || |
1294 (!instr->CheckFlag(HInstruction::kAllUsesTruncatingToInt32) && | 1300 (!instr->CheckFlag(HInstruction::kAllUsesTruncatingToInt32) && |
1295 divisor != 1 && divisor != -1)) { | 1301 divisor != 1 && divisor != -1)) { |
1296 result = AssignEnvironment(result); | 1302 result = AssignEnvironment(result); |
1297 } | 1303 } |
1298 return result; | 1304 return result; |
1299 } | 1305 } |
1300 | 1306 |
1301 | 1307 |
1302 LInstruction* LChunkBuilder::DoDivByConstI(HDiv* instr) { | 1308 LInstruction* LChunkBuilder::DoDivByConstI(HDiv* instr) { |
1303 DCHECK(instr->representation().IsInteger32()); | 1309 DCHECK(instr->representation().IsInteger32()); |
1304 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1310 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1305 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1311 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1306 LOperand* dividend = UseRegister(instr->left()); | 1312 LOperand* dividend = UseRegister(instr->left()); |
1307 int32_t divisor = instr->right()->GetInteger32Constant(); | 1313 int32_t divisor = instr->right()->GetInteger32Constant(); |
1308 LInstruction* result = DefineAsRegister(new(zone()) LDivByConstI( | 1314 LInstruction* result = |
1309 dividend, divisor)); | 1315 DefineAsRegister(new (zone()) LDivByConstI(dividend, divisor)); |
1310 if (divisor == 0 || | 1316 if (divisor == 0 || |
1311 (instr->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) || | 1317 (instr->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) || |
1312 !instr->CheckFlag(HInstruction::kAllUsesTruncatingToInt32)) { | 1318 !instr->CheckFlag(HInstruction::kAllUsesTruncatingToInt32)) { |
1313 result = AssignEnvironment(result); | 1319 result = AssignEnvironment(result); |
1314 } | 1320 } |
1315 return result; | 1321 return result; |
1316 } | 1322 } |
1317 | 1323 |
1318 | 1324 |
1319 LInstruction* LChunkBuilder::DoDivI(HDiv* instr) { | 1325 LInstruction* LChunkBuilder::DoDivI(HDiv* instr) { |
1320 DCHECK(instr->representation().IsSmiOrInteger32()); | 1326 DCHECK(instr->representation().IsSmiOrInteger32()); |
1321 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1327 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1322 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1328 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1323 LOperand* dividend = UseRegister(instr->left()); | 1329 LOperand* dividend = UseRegister(instr->left()); |
1324 LOperand* divisor = UseRegister(instr->right()); | 1330 LOperand* divisor = UseRegister(instr->right()); |
1325 LOperand* temp = | |
1326 CpuFeatures::IsSupported(SUDIV) ? NULL : TempDoubleRegister(); | |
1327 LInstruction* result = | 1331 LInstruction* result = |
1328 DefineAsRegister(new(zone()) LDivI(dividend, divisor, temp)); | 1332 DefineAsRegister(new (zone()) LDivI(dividend, divisor)); |
1329 if (instr->CheckFlag(HValue::kCanBeDivByZero) || | 1333 if (instr->CheckFlag(HValue::kCanBeDivByZero) || |
1330 instr->CheckFlag(HValue::kBailoutOnMinusZero) || | 1334 instr->CheckFlag(HValue::kBailoutOnMinusZero) || |
1331 (instr->CheckFlag(HValue::kCanOverflow) && | 1335 (instr->CheckFlag(HValue::kCanOverflow) && |
1332 (!CpuFeatures::IsSupported(SUDIV) || | 1336 !instr->CheckFlag(HValue::kAllUsesTruncatingToInt32)) || |
1333 !instr->CheckFlag(HValue::kAllUsesTruncatingToInt32))) || | |
1334 (!instr->IsMathFloorOfDiv() && | 1337 (!instr->IsMathFloorOfDiv() && |
1335 !instr->CheckFlag(HValue::kAllUsesTruncatingToInt32))) { | 1338 !instr->CheckFlag(HValue::kAllUsesTruncatingToInt32))) { |
1336 result = AssignEnvironment(result); | 1339 result = AssignEnvironment(result); |
1337 } | 1340 } |
1338 return result; | 1341 return result; |
1339 } | 1342 } |
1340 | 1343 |
1341 | 1344 |
1342 LInstruction* LChunkBuilder::DoDiv(HDiv* instr) { | 1345 LInstruction* LChunkBuilder::DoDiv(HDiv* instr) { |
1343 if (instr->representation().IsSmiOrInteger32()) { | 1346 if (instr->representation().IsSmiOrInteger32()) { |
1344 if (instr->RightIsPowerOf2()) { | 1347 if (instr->RightIsPowerOf2()) { |
1345 return DoDivByPowerOf2I(instr); | 1348 return DoDivByPowerOf2I(instr); |
1346 } else if (instr->right()->IsConstant()) { | 1349 } else if (instr->right()->IsConstant()) { |
1347 return DoDivByConstI(instr); | 1350 return DoDivByConstI(instr); |
1348 } else { | 1351 } else { |
1349 return DoDivI(instr); | 1352 return DoDivI(instr); |
1350 } | 1353 } |
1351 } else if (instr->representation().IsDouble()) { | 1354 } else if (instr->representation().IsDouble()) { |
1352 return DoArithmeticD(Token::DIV, instr); | 1355 return DoArithmeticD(Token::DIV, instr); |
1353 } else { | 1356 } else { |
1354 return DoArithmeticT(Token::DIV, instr); | 1357 return DoArithmeticT(Token::DIV, instr); |
1355 } | 1358 } |
1356 } | 1359 } |
1357 | 1360 |
1358 | 1361 |
1359 LInstruction* LChunkBuilder::DoFlooringDivByPowerOf2I(HMathFloorOfDiv* instr) { | 1362 LInstruction* LChunkBuilder::DoFlooringDivByPowerOf2I(HMathFloorOfDiv* instr) { |
1360 LOperand* dividend = UseRegisterAtStart(instr->left()); | 1363 LOperand* dividend = UseRegisterAtStart(instr->left()); |
1361 int32_t divisor = instr->right()->GetInteger32Constant(); | 1364 int32_t divisor = instr->right()->GetInteger32Constant(); |
1362 LInstruction* result = DefineAsRegister(new(zone()) LFlooringDivByPowerOf2I( | 1365 LInstruction* result = |
1363 dividend, divisor)); | 1366 DefineAsRegister(new (zone()) LFlooringDivByPowerOf2I(dividend, divisor)); |
1364 if ((instr->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) || | 1367 if ((instr->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0) || |
1365 (instr->CheckFlag(HValue::kLeftCanBeMinInt) && divisor == -1)) { | 1368 (instr->CheckFlag(HValue::kLeftCanBeMinInt) && divisor == -1)) { |
1366 result = AssignEnvironment(result); | 1369 result = AssignEnvironment(result); |
1367 } | 1370 } |
1368 return result; | 1371 return result; |
1369 } | 1372 } |
1370 | 1373 |
1371 | 1374 |
1372 LInstruction* LChunkBuilder::DoFlooringDivByConstI(HMathFloorOfDiv* instr) { | 1375 LInstruction* LChunkBuilder::DoFlooringDivByConstI(HMathFloorOfDiv* instr) { |
1373 DCHECK(instr->representation().IsInteger32()); | 1376 DCHECK(instr->representation().IsInteger32()); |
1374 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1377 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1375 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1378 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1376 LOperand* dividend = UseRegister(instr->left()); | 1379 LOperand* dividend = UseRegister(instr->left()); |
1377 int32_t divisor = instr->right()->GetInteger32Constant(); | 1380 int32_t divisor = instr->right()->GetInteger32Constant(); |
1378 LOperand* temp = | 1381 LOperand* temp = |
1379 ((divisor > 0 && !instr->CheckFlag(HValue::kLeftCanBeNegative)) || | 1382 ((divisor > 0 && !instr->CheckFlag(HValue::kLeftCanBeNegative)) || |
1380 (divisor < 0 && !instr->CheckFlag(HValue::kLeftCanBePositive))) ? | 1383 (divisor < 0 && !instr->CheckFlag(HValue::kLeftCanBePositive))) |
1381 NULL : TempRegister(); | 1384 ? NULL |
| 1385 : TempRegister(); |
1382 LInstruction* result = DefineAsRegister( | 1386 LInstruction* result = DefineAsRegister( |
1383 new(zone()) LFlooringDivByConstI(dividend, divisor, temp)); | 1387 new (zone()) LFlooringDivByConstI(dividend, divisor, temp)); |
1384 if (divisor == 0 || | 1388 if (divisor == 0 || |
1385 (instr->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0)) { | 1389 (instr->CheckFlag(HValue::kBailoutOnMinusZero) && divisor < 0)) { |
1386 result = AssignEnvironment(result); | 1390 result = AssignEnvironment(result); |
1387 } | 1391 } |
1388 return result; | 1392 return result; |
1389 } | 1393 } |
1390 | 1394 |
1391 | 1395 |
1392 LInstruction* LChunkBuilder::DoFlooringDivI(HMathFloorOfDiv* instr) { | 1396 LInstruction* LChunkBuilder::DoFlooringDivI(HMathFloorOfDiv* instr) { |
1393 DCHECK(instr->representation().IsSmiOrInteger32()); | 1397 DCHECK(instr->representation().IsSmiOrInteger32()); |
1394 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1398 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1395 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1399 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1396 LOperand* dividend = UseRegister(instr->left()); | 1400 LOperand* dividend = UseRegister(instr->left()); |
1397 LOperand* divisor = UseRegister(instr->right()); | 1401 LOperand* divisor = UseRegister(instr->right()); |
1398 LOperand* temp = | 1402 LFlooringDivI* div = new (zone()) LFlooringDivI(dividend, divisor); |
1399 CpuFeatures::IsSupported(SUDIV) ? NULL : TempDoubleRegister(); | |
1400 LFlooringDivI* div = new(zone()) LFlooringDivI(dividend, divisor, temp); | |
1401 return AssignEnvironment(DefineAsRegister(div)); | 1403 return AssignEnvironment(DefineAsRegister(div)); |
1402 } | 1404 } |
1403 | 1405 |
1404 | 1406 |
1405 LInstruction* LChunkBuilder::DoMathFloorOfDiv(HMathFloorOfDiv* instr) { | 1407 LInstruction* LChunkBuilder::DoMathFloorOfDiv(HMathFloorOfDiv* instr) { |
1406 if (instr->RightIsPowerOf2()) { | 1408 if (instr->RightIsPowerOf2()) { |
1407 return DoFlooringDivByPowerOf2I(instr); | 1409 return DoFlooringDivByPowerOf2I(instr); |
1408 } else if (instr->right()->IsConstant()) { | 1410 } else if (instr->right()->IsConstant()) { |
1409 return DoFlooringDivByConstI(instr); | 1411 return DoFlooringDivByConstI(instr); |
1410 } else { | 1412 } else { |
1411 return DoFlooringDivI(instr); | 1413 return DoFlooringDivI(instr); |
1412 } | 1414 } |
1413 } | 1415 } |
1414 | 1416 |
1415 | 1417 |
1416 LInstruction* LChunkBuilder::DoModByPowerOf2I(HMod* instr) { | 1418 LInstruction* LChunkBuilder::DoModByPowerOf2I(HMod* instr) { |
1417 DCHECK(instr->representation().IsSmiOrInteger32()); | 1419 DCHECK(instr->representation().IsSmiOrInteger32()); |
1418 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1420 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1419 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1421 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1420 LOperand* dividend = UseRegisterAtStart(instr->left()); | 1422 LOperand* dividend = UseRegisterAtStart(instr->left()); |
1421 int32_t divisor = instr->right()->GetInteger32Constant(); | 1423 int32_t divisor = instr->right()->GetInteger32Constant(); |
1422 LInstruction* result = DefineSameAsFirst(new(zone()) LModByPowerOf2I( | 1424 LInstruction* result = |
1423 dividend, divisor)); | 1425 DefineSameAsFirst(new (zone()) LModByPowerOf2I(dividend, divisor)); |
1424 if (instr->CheckFlag(HValue::kLeftCanBeNegative) && | 1426 if (instr->CheckFlag(HValue::kLeftCanBeNegative) && |
1425 instr->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1427 instr->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1426 result = AssignEnvironment(result); | 1428 result = AssignEnvironment(result); |
1427 } | 1429 } |
1428 return result; | 1430 return result; |
1429 } | 1431 } |
1430 | 1432 |
1431 | 1433 |
1432 LInstruction* LChunkBuilder::DoModByConstI(HMod* instr) { | 1434 LInstruction* LChunkBuilder::DoModByConstI(HMod* instr) { |
1433 DCHECK(instr->representation().IsSmiOrInteger32()); | 1435 DCHECK(instr->representation().IsSmiOrInteger32()); |
1434 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1436 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1435 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1437 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1436 LOperand* dividend = UseRegister(instr->left()); | 1438 LOperand* dividend = UseRegister(instr->left()); |
1437 int32_t divisor = instr->right()->GetInteger32Constant(); | 1439 int32_t divisor = instr->right()->GetInteger32Constant(); |
1438 LInstruction* result = DefineAsRegister(new(zone()) LModByConstI( | 1440 LInstruction* result = |
1439 dividend, divisor)); | 1441 DefineAsRegister(new (zone()) LModByConstI(dividend, divisor)); |
1440 if (divisor == 0 || instr->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1442 if (divisor == 0 || instr->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1441 result = AssignEnvironment(result); | 1443 result = AssignEnvironment(result); |
1442 } | 1444 } |
1443 return result; | 1445 return result; |
1444 } | 1446 } |
1445 | 1447 |
1446 | 1448 |
1447 LInstruction* LChunkBuilder::DoModI(HMod* instr) { | 1449 LInstruction* LChunkBuilder::DoModI(HMod* instr) { |
1448 DCHECK(instr->representation().IsSmiOrInteger32()); | 1450 DCHECK(instr->representation().IsSmiOrInteger32()); |
1449 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1451 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1450 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1452 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1451 LOperand* dividend = UseRegister(instr->left()); | 1453 LOperand* dividend = UseRegister(instr->left()); |
1452 LOperand* divisor = UseRegister(instr->right()); | 1454 LOperand* divisor = UseRegister(instr->right()); |
1453 LOperand* temp = | 1455 LInstruction* result = |
1454 CpuFeatures::IsSupported(SUDIV) ? NULL : TempDoubleRegister(); | 1456 DefineAsRegister(new (zone()) LModI(dividend, divisor)); |
1455 LOperand* temp2 = | |
1456 CpuFeatures::IsSupported(SUDIV) ? NULL : TempDoubleRegister(); | |
1457 LInstruction* result = DefineAsRegister(new(zone()) LModI( | |
1458 dividend, divisor, temp, temp2)); | |
1459 if (instr->CheckFlag(HValue::kCanBeDivByZero) || | 1457 if (instr->CheckFlag(HValue::kCanBeDivByZero) || |
1460 instr->CheckFlag(HValue::kBailoutOnMinusZero)) { | 1458 instr->CheckFlag(HValue::kBailoutOnMinusZero)) { |
1461 result = AssignEnvironment(result); | 1459 result = AssignEnvironment(result); |
1462 } | 1460 } |
1463 return result; | 1461 return result; |
1464 } | 1462 } |
1465 | 1463 |
1466 | 1464 |
1467 LInstruction* LChunkBuilder::DoMod(HMod* instr) { | 1465 LInstruction* LChunkBuilder::DoMod(HMod* instr) { |
1468 if (instr->representation().IsSmiOrInteger32()) { | 1466 if (instr->representation().IsSmiOrInteger32()) { |
(...skipping 40 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1509 right_op = UseRegister(right); | 1507 right_op = UseRegister(right); |
1510 } | 1508 } |
1511 } else { | 1509 } else { |
1512 if (bailout_on_minus_zero) { | 1510 if (bailout_on_minus_zero) { |
1513 left_op = UseRegister(left); | 1511 left_op = UseRegister(left); |
1514 } else { | 1512 } else { |
1515 left_op = UseRegisterAtStart(left); | 1513 left_op = UseRegisterAtStart(left); |
1516 } | 1514 } |
1517 right_op = UseRegister(right); | 1515 right_op = UseRegister(right); |
1518 } | 1516 } |
1519 LMulI* mul = new(zone()) LMulI(left_op, right_op); | 1517 LMulI* mul = new (zone()) LMulI(left_op, right_op); |
1520 if (can_overflow || bailout_on_minus_zero) { | 1518 if (can_overflow || bailout_on_minus_zero) { |
1521 AssignEnvironment(mul); | 1519 AssignEnvironment(mul); |
1522 } | 1520 } |
1523 return DefineAsRegister(mul); | 1521 return DefineAsRegister(mul); |
1524 | 1522 |
1525 } else if (instr->representation().IsDouble()) { | 1523 } else if (instr->representation().IsDouble()) { |
1526 if (instr->HasOneUse() && (instr->uses().value()->IsAdd() || | 1524 if (instr->HasOneUse() && |
1527 instr->uses().value()->IsSub())) { | 1525 (instr->uses().value()->IsAdd() || instr->uses().value()->IsSub())) { |
1528 HBinaryOperation* use = HBinaryOperation::cast(instr->uses().value()); | 1526 HBinaryOperation* use = HBinaryOperation::cast(instr->uses().value()); |
1529 | 1527 |
1530 if (use->IsAdd() && instr == use->left()) { | 1528 if (use->IsAdd() && instr == use->left()) { |
1531 // This mul is the lhs of an add. The add and mul will be folded into a | 1529 // This mul is the lhs of an add. The add and mul will be folded into a |
1532 // multiply-add in DoAdd. | 1530 // multiply-add in DoAdd. |
1533 return NULL; | 1531 return NULL; |
1534 } | 1532 } |
1535 if (instr == use->right() && use->IsAdd() && !use->left()->IsMul()) { | 1533 if (instr == use->right() && use->IsAdd() && |
| 1534 !(use->left()->IsMul() && use->left()->HasOneUse())) { |
1536 // This mul is the rhs of an add, where the lhs is not another mul. | 1535 // This mul is the rhs of an add, where the lhs is not another mul. |
1537 // The add and mul will be folded into a multiply-add in DoAdd. | 1536 // The add and mul will be folded into a multiply-add in DoAdd. |
1538 return NULL; | 1537 return NULL; |
1539 } | 1538 } |
1540 if (instr == use->right() && use->IsSub()) { | 1539 if (instr == use->left() && use->IsSub()) { |
1541 // This mul is the rhs of a sub. The sub and mul will be folded into a | 1540 // This mul is the lhs of a sub. The mul and sub will be folded into a |
1542 // multiply-sub in DoSub. | 1541 // multiply-sub in DoSub. |
1543 return NULL; | 1542 return NULL; |
1544 } | 1543 } |
1545 } | 1544 } |
1546 | 1545 |
1547 return DoArithmeticD(Token::MUL, instr); | 1546 return DoArithmeticD(Token::MUL, instr); |
1548 } else { | 1547 } else { |
1549 return DoArithmeticT(Token::MUL, instr); | 1548 return DoArithmeticT(Token::MUL, instr); |
1550 } | 1549 } |
1551 } | 1550 } |
1552 | 1551 |
1553 | 1552 |
1554 LInstruction* LChunkBuilder::DoSub(HSub* instr) { | 1553 LInstruction* LChunkBuilder::DoSub(HSub* instr) { |
1555 if (instr->representation().IsSmiOrInteger32()) { | 1554 if (instr->representation().IsSmiOrInteger32()) { |
1556 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1555 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1557 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1556 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1558 | 1557 |
1559 if (instr->left()->IsConstant()) { | 1558 if (instr->left()->IsConstant() && |
| 1559 !instr->CheckFlag(HValue::kCanOverflow)) { |
1560 // If lhs is constant, do reverse subtraction instead. | 1560 // If lhs is constant, do reverse subtraction instead. |
1561 return DoRSub(instr); | 1561 return DoRSub(instr); |
1562 } | 1562 } |
1563 | 1563 |
1564 LOperand* left = UseRegisterAtStart(instr->left()); | 1564 LOperand* left = UseRegisterAtStart(instr->left()); |
1565 LOperand* right = UseOrConstantAtStart(instr->right()); | 1565 LOperand* right = UseOrConstantAtStart(instr->right()); |
1566 LSubI* sub = new(zone()) LSubI(left, right); | 1566 LSubI* sub = new (zone()) LSubI(left, right); |
1567 LInstruction* result = DefineAsRegister(sub); | 1567 LInstruction* result = DefineAsRegister(sub); |
1568 if (instr->CheckFlag(HValue::kCanOverflow)) { | 1568 if (instr->CheckFlag(HValue::kCanOverflow)) { |
1569 result = AssignEnvironment(result); | 1569 result = AssignEnvironment(result); |
1570 } | 1570 } |
1571 return result; | 1571 return result; |
1572 } else if (instr->representation().IsDouble()) { | 1572 } else if (instr->representation().IsDouble()) { |
1573 if (instr->right()->IsMul() && instr->right()->HasOneUse()) { | 1573 if (instr->left()->IsMul() && instr->left()->HasOneUse()) { |
1574 return DoMultiplySub(instr->left(), HMul::cast(instr->right())); | 1574 return DoMultiplySub(instr->right(), HMul::cast(instr->left())); |
1575 } | 1575 } |
1576 | 1576 |
1577 return DoArithmeticD(Token::SUB, instr); | 1577 return DoArithmeticD(Token::SUB, instr); |
1578 } else { | 1578 } else { |
1579 return DoArithmeticT(Token::SUB, instr); | 1579 return DoArithmeticT(Token::SUB, instr); |
1580 } | 1580 } |
1581 } | 1581 } |
1582 | 1582 |
1583 | 1583 |
1584 LInstruction* LChunkBuilder::DoRSub(HSub* instr) { | 1584 LInstruction* LChunkBuilder::DoRSub(HSub* instr) { |
1585 DCHECK(instr->representation().IsSmiOrInteger32()); | 1585 DCHECK(instr->representation().IsSmiOrInteger32()); |
1586 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1586 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1587 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1587 DCHECK(instr->right()->representation().Equals(instr->representation())); |
| 1588 DCHECK(!instr->CheckFlag(HValue::kCanOverflow)); |
1588 | 1589 |
1589 // Note: The lhs of the subtraction becomes the rhs of the | 1590 // Note: The lhs of the subtraction becomes the rhs of the |
1590 // reverse-subtraction. | 1591 // reverse-subtraction. |
1591 LOperand* left = UseRegisterAtStart(instr->right()); | 1592 LOperand* left = UseRegisterAtStart(instr->right()); |
1592 LOperand* right = UseOrConstantAtStart(instr->left()); | 1593 LOperand* right = UseOrConstantAtStart(instr->left()); |
1593 LRSubI* rsb = new(zone()) LRSubI(left, right); | 1594 LRSubI* rsb = new (zone()) LRSubI(left, right); |
1594 LInstruction* result = DefineAsRegister(rsb); | 1595 LInstruction* result = DefineAsRegister(rsb); |
1595 if (instr->CheckFlag(HValue::kCanOverflow)) { | |
1596 result = AssignEnvironment(result); | |
1597 } | |
1598 return result; | 1596 return result; |
1599 } | 1597 } |
1600 | 1598 |
1601 | 1599 |
1602 LInstruction* LChunkBuilder::DoMultiplyAdd(HMul* mul, HValue* addend) { | 1600 LInstruction* LChunkBuilder::DoMultiplyAdd(HMul* mul, HValue* addend) { |
1603 LOperand* multiplier_op = UseRegisterAtStart(mul->left()); | 1601 LOperand* multiplier_op = UseRegisterAtStart(mul->left()); |
1604 LOperand* multiplicand_op = UseRegisterAtStart(mul->right()); | 1602 LOperand* multiplicand_op = UseRegisterAtStart(mul->right()); |
1605 LOperand* addend_op = UseRegisterAtStart(addend); | 1603 LOperand* addend_op = UseRegisterAtStart(addend); |
1606 return DefineSameAsFirst(new(zone()) LMultiplyAddD(addend_op, multiplier_op, | 1604 return DefineSameAsFirst( |
1607 multiplicand_op)); | 1605 new (zone()) LMultiplyAddD(addend_op, multiplier_op, multiplicand_op)); |
1608 } | 1606 } |
1609 | 1607 |
1610 | 1608 |
1611 LInstruction* LChunkBuilder::DoMultiplySub(HValue* minuend, HMul* mul) { | 1609 LInstruction* LChunkBuilder::DoMultiplySub(HValue* minuend, HMul* mul) { |
1612 LOperand* minuend_op = UseRegisterAtStart(minuend); | 1610 LOperand* minuend_op = UseRegisterAtStart(minuend); |
1613 LOperand* multiplier_op = UseRegisterAtStart(mul->left()); | 1611 LOperand* multiplier_op = UseRegisterAtStart(mul->left()); |
1614 LOperand* multiplicand_op = UseRegisterAtStart(mul->right()); | 1612 LOperand* multiplicand_op = UseRegisterAtStart(mul->right()); |
1615 | 1613 |
1616 return DefineSameAsFirst(new(zone()) LMultiplySubD(minuend_op, | 1614 return DefineSameAsFirst( |
1617 multiplier_op, | 1615 new (zone()) LMultiplySubD(minuend_op, multiplier_op, multiplicand_op)); |
1618 multiplicand_op)); | |
1619 } | 1616 } |
1620 | 1617 |
1621 | 1618 |
1622 LInstruction* LChunkBuilder::DoAdd(HAdd* instr) { | 1619 LInstruction* LChunkBuilder::DoAdd(HAdd* instr) { |
1623 if (instr->representation().IsSmiOrInteger32()) { | 1620 if (instr->representation().IsSmiOrInteger32()) { |
1624 DCHECK(instr->left()->representation().Equals(instr->representation())); | 1621 DCHECK(instr->left()->representation().Equals(instr->representation())); |
1625 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1622 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1626 LOperand* left = UseRegisterAtStart(instr->BetterLeftOperand()); | 1623 LOperand* left = UseRegisterAtStart(instr->BetterLeftOperand()); |
1627 LOperand* right = UseOrConstantAtStart(instr->BetterRightOperand()); | 1624 LOperand* right = UseOrConstantAtStart(instr->BetterRightOperand()); |
1628 LAddI* add = new(zone()) LAddI(left, right); | 1625 LAddI* add = new (zone()) LAddI(left, right); |
1629 LInstruction* result = DefineAsRegister(add); | 1626 LInstruction* result = DefineAsRegister(add); |
1630 if (instr->CheckFlag(HValue::kCanOverflow)) { | 1627 if (instr->CheckFlag(HValue::kCanOverflow)) { |
1631 result = AssignEnvironment(result); | 1628 result = AssignEnvironment(result); |
1632 } | 1629 } |
1633 return result; | 1630 return result; |
1634 } else if (instr->representation().IsExternal()) { | 1631 } else if (instr->representation().IsExternal()) { |
1635 DCHECK(instr->left()->representation().IsExternal()); | 1632 DCHECK(instr->left()->representation().IsExternal()); |
1636 DCHECK(instr->right()->representation().IsInteger32()); | 1633 DCHECK(instr->right()->representation().IsInteger32()); |
1637 DCHECK(!instr->CheckFlag(HValue::kCanOverflow)); | 1634 DCHECK(!instr->CheckFlag(HValue::kCanOverflow)); |
1638 LOperand* left = UseRegisterAtStart(instr->left()); | 1635 LOperand* left = UseRegisterAtStart(instr->left()); |
1639 LOperand* right = UseOrConstantAtStart(instr->right()); | 1636 LOperand* right = UseOrConstantAtStart(instr->right()); |
1640 LAddI* add = new(zone()) LAddI(left, right); | 1637 LAddI* add = new (zone()) LAddI(left, right); |
1641 LInstruction* result = DefineAsRegister(add); | 1638 LInstruction* result = DefineAsRegister(add); |
1642 return result; | 1639 return result; |
1643 } else if (instr->representation().IsDouble()) { | 1640 } else if (instr->representation().IsDouble()) { |
1644 if (instr->left()->IsMul() && instr->left()->HasOneUse()) { | 1641 if (instr->left()->IsMul() && instr->left()->HasOneUse()) { |
1645 return DoMultiplyAdd(HMul::cast(instr->left()), instr->right()); | 1642 return DoMultiplyAdd(HMul::cast(instr->left()), instr->right()); |
1646 } | 1643 } |
1647 | 1644 |
1648 if (instr->right()->IsMul() && instr->right()->HasOneUse()) { | 1645 if (instr->right()->IsMul() && instr->right()->HasOneUse()) { |
1649 DCHECK(!instr->left()->IsMul() || !instr->left()->HasOneUse()); | 1646 DCHECK(!instr->left()->IsMul() || !instr->left()->HasOneUse()); |
1650 return DoMultiplyAdd(HMul::cast(instr->right()), instr->left()); | 1647 return DoMultiplyAdd(HMul::cast(instr->right()), instr->left()); |
(...skipping 14 matching lines...) Expand all Loading... |
1665 DCHECK(instr->right()->representation().Equals(instr->representation())); | 1662 DCHECK(instr->right()->representation().Equals(instr->representation())); |
1666 left = UseRegisterAtStart(instr->BetterLeftOperand()); | 1663 left = UseRegisterAtStart(instr->BetterLeftOperand()); |
1667 right = UseOrConstantAtStart(instr->BetterRightOperand()); | 1664 right = UseOrConstantAtStart(instr->BetterRightOperand()); |
1668 } else { | 1665 } else { |
1669 DCHECK(instr->representation().IsDouble()); | 1666 DCHECK(instr->representation().IsDouble()); |
1670 DCHECK(instr->left()->representation().IsDouble()); | 1667 DCHECK(instr->left()->representation().IsDouble()); |
1671 DCHECK(instr->right()->representation().IsDouble()); | 1668 DCHECK(instr->right()->representation().IsDouble()); |
1672 left = UseRegisterAtStart(instr->left()); | 1669 left = UseRegisterAtStart(instr->left()); |
1673 right = UseRegisterAtStart(instr->right()); | 1670 right = UseRegisterAtStart(instr->right()); |
1674 } | 1671 } |
1675 return DefineAsRegister(new(zone()) LMathMinMax(left, right)); | 1672 return DefineAsRegister(new (zone()) LMathMinMax(left, right)); |
1676 } | 1673 } |
1677 | 1674 |
1678 | 1675 |
1679 LInstruction* LChunkBuilder::DoPower(HPower* instr) { | 1676 LInstruction* LChunkBuilder::DoPower(HPower* instr) { |
1680 DCHECK(instr->representation().IsDouble()); | 1677 DCHECK(instr->representation().IsDouble()); |
1681 // We call a C function for double power. It can't trigger a GC. | 1678 // We call a C function for double power. It can't trigger a GC. |
1682 // We need to use fixed result register for the call. | 1679 // We need to use fixed result register for the call. |
1683 Representation exponent_type = instr->right()->representation(); | 1680 Representation exponent_type = instr->right()->representation(); |
1684 DCHECK(instr->left()->representation().IsDouble()); | 1681 DCHECK(instr->left()->representation().IsDouble()); |
1685 LOperand* left = UseFixedDouble(instr->left(), d0); | 1682 LOperand* left = UseFixedDouble(instr->left(), d1); |
1686 LOperand* right = | 1683 LOperand* right = |
1687 exponent_type.IsDouble() | 1684 exponent_type.IsDouble() |
1688 ? UseFixedDouble(instr->right(), d1) | 1685 ? UseFixedDouble(instr->right(), d2) |
1689 : UseFixed(instr->right(), MathPowTaggedDescriptor::exponent()); | 1686 : UseFixed(instr->right(), MathPowTaggedDescriptor::exponent()); |
1690 LPower* result = new(zone()) LPower(left, right); | 1687 LPower* result = new (zone()) LPower(left, right); |
1691 return MarkAsCall(DefineFixedDouble(result, d2), | 1688 return MarkAsCall(DefineFixedDouble(result, d3), instr, |
1692 instr, | |
1693 CAN_DEOPTIMIZE_EAGERLY); | 1689 CAN_DEOPTIMIZE_EAGERLY); |
1694 } | 1690 } |
1695 | 1691 |
1696 | 1692 |
1697 LInstruction* LChunkBuilder::DoCompareGeneric(HCompareGeneric* instr) { | 1693 LInstruction* LChunkBuilder::DoCompareGeneric(HCompareGeneric* instr) { |
1698 DCHECK(instr->left()->representation().IsTagged()); | 1694 DCHECK(instr->left()->representation().IsTagged()); |
1699 DCHECK(instr->right()->representation().IsTagged()); | 1695 DCHECK(instr->right()->representation().IsTagged()); |
1700 LOperand* context = UseFixed(instr->context(), cp); | 1696 LOperand* context = UseFixed(instr->context(), cp); |
1701 LOperand* left = UseFixed(instr->left(), r1); | 1697 LOperand* left = UseFixed(instr->left(), r4); |
1702 LOperand* right = UseFixed(instr->right(), r0); | 1698 LOperand* right = UseFixed(instr->right(), r3); |
1703 LCmpT* result = new(zone()) LCmpT(context, left, right); | 1699 LCmpT* result = new (zone()) LCmpT(context, left, right); |
1704 return MarkAsCall(DefineFixed(result, r0), instr); | 1700 return MarkAsCall(DefineFixed(result, r3), instr); |
1705 } | 1701 } |
1706 | 1702 |
1707 | 1703 |
1708 LInstruction* LChunkBuilder::DoCompareNumericAndBranch( | 1704 LInstruction* LChunkBuilder::DoCompareNumericAndBranch( |
1709 HCompareNumericAndBranch* instr) { | 1705 HCompareNumericAndBranch* instr) { |
1710 Representation r = instr->representation(); | 1706 Representation r = instr->representation(); |
1711 if (r.IsSmiOrInteger32()) { | 1707 if (r.IsSmiOrInteger32()) { |
1712 DCHECK(instr->left()->representation().Equals(r)); | 1708 DCHECK(instr->left()->representation().Equals(r)); |
1713 DCHECK(instr->right()->representation().Equals(r)); | 1709 DCHECK(instr->right()->representation().Equals(r)); |
1714 LOperand* left = UseRegisterOrConstantAtStart(instr->left()); | 1710 LOperand* left = UseRegisterOrConstantAtStart(instr->left()); |
1715 LOperand* right = UseRegisterOrConstantAtStart(instr->right()); | 1711 LOperand* right = UseRegisterOrConstantAtStart(instr->right()); |
1716 return new(zone()) LCompareNumericAndBranch(left, right); | 1712 return new (zone()) LCompareNumericAndBranch(left, right); |
1717 } else { | 1713 } else { |
1718 DCHECK(r.IsDouble()); | 1714 DCHECK(r.IsDouble()); |
1719 DCHECK(instr->left()->representation().IsDouble()); | 1715 DCHECK(instr->left()->representation().IsDouble()); |
1720 DCHECK(instr->right()->representation().IsDouble()); | 1716 DCHECK(instr->right()->representation().IsDouble()); |
1721 LOperand* left = UseRegisterAtStart(instr->left()); | 1717 LOperand* left = UseRegisterAtStart(instr->left()); |
1722 LOperand* right = UseRegisterAtStart(instr->right()); | 1718 LOperand* right = UseRegisterAtStart(instr->right()); |
1723 return new(zone()) LCompareNumericAndBranch(left, right); | 1719 return new (zone()) LCompareNumericAndBranch(left, right); |
1724 } | 1720 } |
1725 } | 1721 } |
1726 | 1722 |
1727 | 1723 |
1728 LInstruction* LChunkBuilder::DoCompareObjectEqAndBranch( | 1724 LInstruction* LChunkBuilder::DoCompareObjectEqAndBranch( |
1729 HCompareObjectEqAndBranch* instr) { | 1725 HCompareObjectEqAndBranch* instr) { |
1730 LOperand* left = UseRegisterAtStart(instr->left()); | 1726 LOperand* left = UseRegisterAtStart(instr->left()); |
1731 LOperand* right = UseRegisterAtStart(instr->right()); | 1727 LOperand* right = UseRegisterAtStart(instr->right()); |
1732 return new(zone()) LCmpObjectEqAndBranch(left, right); | 1728 return new (zone()) LCmpObjectEqAndBranch(left, right); |
1733 } | 1729 } |
1734 | 1730 |
1735 | 1731 |
1736 LInstruction* LChunkBuilder::DoCompareHoleAndBranch( | 1732 LInstruction* LChunkBuilder::DoCompareHoleAndBranch( |
1737 HCompareHoleAndBranch* instr) { | 1733 HCompareHoleAndBranch* instr) { |
1738 LOperand* value = UseRegisterAtStart(instr->value()); | 1734 LOperand* value = UseRegisterAtStart(instr->value()); |
1739 return new(zone()) LCmpHoleAndBranch(value); | 1735 return new (zone()) LCmpHoleAndBranch(value); |
1740 } | 1736 } |
1741 | 1737 |
1742 | 1738 |
1743 LInstruction* LChunkBuilder::DoCompareMinusZeroAndBranch( | 1739 LInstruction* LChunkBuilder::DoCompareMinusZeroAndBranch( |
1744 HCompareMinusZeroAndBranch* instr) { | 1740 HCompareMinusZeroAndBranch* instr) { |
1745 LOperand* value = UseRegister(instr->value()); | 1741 LOperand* value = UseRegister(instr->value()); |
1746 LOperand* scratch = TempRegister(); | 1742 LOperand* scratch = TempRegister(); |
1747 return new(zone()) LCompareMinusZeroAndBranch(value, scratch); | 1743 return new (zone()) LCompareMinusZeroAndBranch(value, scratch); |
1748 } | 1744 } |
1749 | 1745 |
1750 | 1746 |
1751 LInstruction* LChunkBuilder::DoIsObjectAndBranch(HIsObjectAndBranch* instr) { | 1747 LInstruction* LChunkBuilder::DoIsObjectAndBranch(HIsObjectAndBranch* instr) { |
1752 DCHECK(instr->value()->representation().IsTagged()); | 1748 DCHECK(instr->value()->representation().IsTagged()); |
1753 LOperand* value = UseRegisterAtStart(instr->value()); | 1749 LOperand* value = UseRegisterAtStart(instr->value()); |
1754 LOperand* temp = TempRegister(); | 1750 LOperand* temp = TempRegister(); |
1755 return new(zone()) LIsObjectAndBranch(value, temp); | 1751 return new (zone()) LIsObjectAndBranch(value, temp); |
1756 } | 1752 } |
1757 | 1753 |
1758 | 1754 |
1759 LInstruction* LChunkBuilder::DoIsStringAndBranch(HIsStringAndBranch* instr) { | 1755 LInstruction* LChunkBuilder::DoIsStringAndBranch(HIsStringAndBranch* instr) { |
1760 DCHECK(instr->value()->representation().IsTagged()); | 1756 DCHECK(instr->value()->representation().IsTagged()); |
1761 LOperand* value = UseRegisterAtStart(instr->value()); | 1757 LOperand* value = UseRegisterAtStart(instr->value()); |
1762 LOperand* temp = TempRegister(); | 1758 LOperand* temp = TempRegister(); |
1763 return new(zone()) LIsStringAndBranch(value, temp); | 1759 return new (zone()) LIsStringAndBranch(value, temp); |
1764 } | 1760 } |
1765 | 1761 |
1766 | 1762 |
1767 LInstruction* LChunkBuilder::DoIsSmiAndBranch(HIsSmiAndBranch* instr) { | 1763 LInstruction* LChunkBuilder::DoIsSmiAndBranch(HIsSmiAndBranch* instr) { |
1768 DCHECK(instr->value()->representation().IsTagged()); | 1764 DCHECK(instr->value()->representation().IsTagged()); |
1769 return new(zone()) LIsSmiAndBranch(Use(instr->value())); | 1765 return new (zone()) LIsSmiAndBranch(Use(instr->value())); |
1770 } | 1766 } |
1771 | 1767 |
1772 | 1768 |
1773 LInstruction* LChunkBuilder::DoIsUndetectableAndBranch( | 1769 LInstruction* LChunkBuilder::DoIsUndetectableAndBranch( |
1774 HIsUndetectableAndBranch* instr) { | 1770 HIsUndetectableAndBranch* instr) { |
1775 DCHECK(instr->value()->representation().IsTagged()); | 1771 DCHECK(instr->value()->representation().IsTagged()); |
1776 LOperand* value = UseRegisterAtStart(instr->value()); | 1772 LOperand* value = UseRegisterAtStart(instr->value()); |
1777 return new(zone()) LIsUndetectableAndBranch(value, TempRegister()); | 1773 return new (zone()) LIsUndetectableAndBranch(value, TempRegister()); |
1778 } | 1774 } |
1779 | 1775 |
1780 | 1776 |
1781 LInstruction* LChunkBuilder::DoStringCompareAndBranch( | 1777 LInstruction* LChunkBuilder::DoStringCompareAndBranch( |
1782 HStringCompareAndBranch* instr) { | 1778 HStringCompareAndBranch* instr) { |
1783 DCHECK(instr->left()->representation().IsTagged()); | 1779 DCHECK(instr->left()->representation().IsTagged()); |
1784 DCHECK(instr->right()->representation().IsTagged()); | 1780 DCHECK(instr->right()->representation().IsTagged()); |
1785 LOperand* context = UseFixed(instr->context(), cp); | 1781 LOperand* context = UseFixed(instr->context(), cp); |
1786 LOperand* left = UseFixed(instr->left(), r1); | 1782 LOperand* left = UseFixed(instr->left(), r4); |
1787 LOperand* right = UseFixed(instr->right(), r0); | 1783 LOperand* right = UseFixed(instr->right(), r3); |
1788 LStringCompareAndBranch* result = | 1784 LStringCompareAndBranch* result = |
1789 new(zone()) LStringCompareAndBranch(context, left, right); | 1785 new (zone()) LStringCompareAndBranch(context, left, right); |
1790 return MarkAsCall(result, instr); | 1786 return MarkAsCall(result, instr); |
1791 } | 1787 } |
1792 | 1788 |
1793 | 1789 |
1794 LInstruction* LChunkBuilder::DoHasInstanceTypeAndBranch( | 1790 LInstruction* LChunkBuilder::DoHasInstanceTypeAndBranch( |
1795 HHasInstanceTypeAndBranch* instr) { | 1791 HHasInstanceTypeAndBranch* instr) { |
1796 DCHECK(instr->value()->representation().IsTagged()); | 1792 DCHECK(instr->value()->representation().IsTagged()); |
1797 LOperand* value = UseRegisterAtStart(instr->value()); | 1793 LOperand* value = UseRegisterAtStart(instr->value()); |
1798 return new(zone()) LHasInstanceTypeAndBranch(value); | 1794 return new (zone()) LHasInstanceTypeAndBranch(value); |
1799 } | 1795 } |
1800 | 1796 |
1801 | 1797 |
1802 LInstruction* LChunkBuilder::DoGetCachedArrayIndex( | 1798 LInstruction* LChunkBuilder::DoGetCachedArrayIndex( |
1803 HGetCachedArrayIndex* instr) { | 1799 HGetCachedArrayIndex* instr) { |
1804 DCHECK(instr->value()->representation().IsTagged()); | 1800 DCHECK(instr->value()->representation().IsTagged()); |
1805 LOperand* value = UseRegisterAtStart(instr->value()); | 1801 LOperand* value = UseRegisterAtStart(instr->value()); |
1806 | 1802 |
1807 return DefineAsRegister(new(zone()) LGetCachedArrayIndex(value)); | 1803 return DefineAsRegister(new (zone()) LGetCachedArrayIndex(value)); |
1808 } | 1804 } |
1809 | 1805 |
1810 | 1806 |
1811 LInstruction* LChunkBuilder::DoHasCachedArrayIndexAndBranch( | 1807 LInstruction* LChunkBuilder::DoHasCachedArrayIndexAndBranch( |
1812 HHasCachedArrayIndexAndBranch* instr) { | 1808 HHasCachedArrayIndexAndBranch* instr) { |
1813 DCHECK(instr->value()->representation().IsTagged()); | 1809 DCHECK(instr->value()->representation().IsTagged()); |
1814 return new(zone()) LHasCachedArrayIndexAndBranch( | 1810 return new (zone()) |
1815 UseRegisterAtStart(instr->value())); | 1811 LHasCachedArrayIndexAndBranch(UseRegisterAtStart(instr->value())); |
1816 } | 1812 } |
1817 | 1813 |
1818 | 1814 |
1819 LInstruction* LChunkBuilder::DoClassOfTestAndBranch( | 1815 LInstruction* LChunkBuilder::DoClassOfTestAndBranch( |
1820 HClassOfTestAndBranch* instr) { | 1816 HClassOfTestAndBranch* instr) { |
1821 DCHECK(instr->value()->representation().IsTagged()); | 1817 DCHECK(instr->value()->representation().IsTagged()); |
1822 LOperand* value = UseRegister(instr->value()); | 1818 LOperand* value = UseRegister(instr->value()); |
1823 return new(zone()) LClassOfTestAndBranch(value, TempRegister()); | 1819 return new (zone()) LClassOfTestAndBranch(value, TempRegister()); |
1824 } | 1820 } |
1825 | 1821 |
1826 | 1822 |
1827 LInstruction* LChunkBuilder::DoMapEnumLength(HMapEnumLength* instr) { | 1823 LInstruction* LChunkBuilder::DoMapEnumLength(HMapEnumLength* instr) { |
1828 LOperand* map = UseRegisterAtStart(instr->value()); | 1824 LOperand* map = UseRegisterAtStart(instr->value()); |
1829 return DefineAsRegister(new(zone()) LMapEnumLength(map)); | 1825 return DefineAsRegister(new (zone()) LMapEnumLength(map)); |
1830 } | 1826 } |
1831 | 1827 |
1832 | 1828 |
1833 LInstruction* LChunkBuilder::DoDateField(HDateField* instr) { | 1829 LInstruction* LChunkBuilder::DoDateField(HDateField* instr) { |
1834 LOperand* object = UseFixed(instr->value(), r0); | 1830 LOperand* object = UseFixed(instr->value(), r3); |
1835 LDateField* result = | 1831 LDateField* result = |
1836 new(zone()) LDateField(object, FixedTemp(r1), instr->index()); | 1832 new (zone()) LDateField(object, FixedTemp(r4), instr->index()); |
1837 return MarkAsCall(DefineFixed(result, r0), instr, CAN_DEOPTIMIZE_EAGERLY); | 1833 return MarkAsCall(DefineFixed(result, r3), instr, CAN_DEOPTIMIZE_EAGERLY); |
1838 } | 1834 } |
1839 | 1835 |
1840 | 1836 |
1841 LInstruction* LChunkBuilder::DoSeqStringGetChar(HSeqStringGetChar* instr) { | 1837 LInstruction* LChunkBuilder::DoSeqStringGetChar(HSeqStringGetChar* instr) { |
1842 LOperand* string = UseRegisterAtStart(instr->string()); | 1838 LOperand* string = UseRegisterAtStart(instr->string()); |
1843 LOperand* index = UseRegisterOrConstantAtStart(instr->index()); | 1839 LOperand* index = UseRegisterOrConstantAtStart(instr->index()); |
1844 return DefineAsRegister(new(zone()) LSeqStringGetChar(string, index)); | 1840 return DefineAsRegister(new (zone()) LSeqStringGetChar(string, index)); |
1845 } | 1841 } |
1846 | 1842 |
1847 | 1843 |
1848 LInstruction* LChunkBuilder::DoSeqStringSetChar(HSeqStringSetChar* instr) { | 1844 LInstruction* LChunkBuilder::DoSeqStringSetChar(HSeqStringSetChar* instr) { |
1849 LOperand* string = UseRegisterAtStart(instr->string()); | 1845 LOperand* string = UseRegisterAtStart(instr->string()); |
1850 LOperand* index = FLAG_debug_code | 1846 LOperand* index = FLAG_debug_code |
1851 ? UseRegisterAtStart(instr->index()) | 1847 ? UseRegisterAtStart(instr->index()) |
1852 : UseRegisterOrConstantAtStart(instr->index()); | 1848 : UseRegisterOrConstantAtStart(instr->index()); |
1853 LOperand* value = UseRegisterAtStart(instr->value()); | 1849 LOperand* value = UseRegisterAtStart(instr->value()); |
1854 LOperand* context = FLAG_debug_code ? UseFixed(instr->context(), cp) : NULL; | 1850 LOperand* context = FLAG_debug_code ? UseFixed(instr->context(), cp) : NULL; |
1855 return new(zone()) LSeqStringSetChar(context, string, index, value); | 1851 return new (zone()) LSeqStringSetChar(context, string, index, value); |
1856 } | 1852 } |
1857 | 1853 |
1858 | 1854 |
1859 LInstruction* LChunkBuilder::DoBoundsCheck(HBoundsCheck* instr) { | 1855 LInstruction* LChunkBuilder::DoBoundsCheck(HBoundsCheck* instr) { |
1860 if (!FLAG_debug_code && instr->skip_check()) return NULL; | 1856 if (!FLAG_debug_code && instr->skip_check()) return NULL; |
1861 LOperand* index = UseRegisterOrConstantAtStart(instr->index()); | 1857 LOperand* index = UseRegisterOrConstantAtStart(instr->index()); |
1862 LOperand* length = !index->IsConstantOperand() | 1858 LOperand* length = !index->IsConstantOperand() |
1863 ? UseRegisterOrConstantAtStart(instr->length()) | 1859 ? UseRegisterOrConstantAtStart(instr->length()) |
1864 : UseRegisterAtStart(instr->length()); | 1860 : UseRegisterAtStart(instr->length()); |
1865 LInstruction* result = new(zone()) LBoundsCheck(index, length); | 1861 LInstruction* result = new (zone()) LBoundsCheck(index, length); |
1866 if (!FLAG_debug_code || !instr->skip_check()) { | 1862 if (!FLAG_debug_code || !instr->skip_check()) { |
1867 result = AssignEnvironment(result); | 1863 result = AssignEnvironment(result); |
1868 } | 1864 } |
1869 return result; | 1865 return result; |
1870 } | 1866 } |
1871 | 1867 |
1872 | 1868 |
1873 LInstruction* LChunkBuilder::DoBoundsCheckBaseIndexInformation( | 1869 LInstruction* LChunkBuilder::DoBoundsCheckBaseIndexInformation( |
1874 HBoundsCheckBaseIndexInformation* instr) { | 1870 HBoundsCheckBaseIndexInformation* instr) { |
1875 UNREACHABLE(); | 1871 UNREACHABLE(); |
1876 return NULL; | 1872 return NULL; |
1877 } | 1873 } |
1878 | 1874 |
1879 | 1875 |
1880 LInstruction* LChunkBuilder::DoAbnormalExit(HAbnormalExit* instr) { | 1876 LInstruction* LChunkBuilder::DoAbnormalExit(HAbnormalExit* instr) { |
1881 // The control instruction marking the end of a block that completed | 1877 // The control instruction marking the end of a block that completed |
1882 // abruptly (e.g., threw an exception). There is nothing specific to do. | 1878 // abruptly (e.g., threw an exception). There is nothing specific to do. |
1883 return NULL; | 1879 return NULL; |
1884 } | 1880 } |
1885 | 1881 |
1886 | 1882 |
1887 LInstruction* LChunkBuilder::DoUseConst(HUseConst* instr) { | 1883 LInstruction* LChunkBuilder::DoUseConst(HUseConst* instr) { return NULL; } |
1888 return NULL; | |
1889 } | |
1890 | 1884 |
1891 | 1885 |
1892 LInstruction* LChunkBuilder::DoForceRepresentation(HForceRepresentation* bad) { | 1886 LInstruction* LChunkBuilder::DoForceRepresentation(HForceRepresentation* bad) { |
1893 // All HForceRepresentation instructions should be eliminated in the | 1887 // All HForceRepresentation instructions should be eliminated in the |
1894 // representation change phase of Hydrogen. | 1888 // representation change phase of Hydrogen. |
1895 UNREACHABLE(); | 1889 UNREACHABLE(); |
1896 return NULL; | 1890 return NULL; |
1897 } | 1891 } |
1898 | 1892 |
1899 | 1893 |
1900 LInstruction* LChunkBuilder::DoChange(HChange* instr) { | 1894 LInstruction* LChunkBuilder::DoChange(HChange* instr) { |
1901 Representation from = instr->from(); | 1895 Representation from = instr->from(); |
1902 Representation to = instr->to(); | 1896 Representation to = instr->to(); |
1903 HValue* val = instr->value(); | 1897 HValue* val = instr->value(); |
1904 if (from.IsSmi()) { | 1898 if (from.IsSmi()) { |
1905 if (to.IsTagged()) { | 1899 if (to.IsTagged()) { |
1906 LOperand* value = UseRegister(val); | 1900 LOperand* value = UseRegister(val); |
1907 return DefineSameAsFirst(new(zone()) LDummyUse(value)); | 1901 return DefineSameAsFirst(new (zone()) LDummyUse(value)); |
1908 } | 1902 } |
1909 from = Representation::Tagged(); | 1903 from = Representation::Tagged(); |
1910 } | 1904 } |
1911 if (from.IsTagged()) { | 1905 if (from.IsTagged()) { |
1912 if (to.IsDouble()) { | 1906 if (to.IsDouble()) { |
1913 LOperand* value = UseRegister(val); | 1907 LOperand* value = UseRegister(val); |
1914 LInstruction* result = DefineAsRegister(new(zone()) LNumberUntagD(value)); | 1908 LInstruction* result = |
| 1909 DefineAsRegister(new (zone()) LNumberUntagD(value)); |
1915 if (!val->representation().IsSmi()) result = AssignEnvironment(result); | 1910 if (!val->representation().IsSmi()) result = AssignEnvironment(result); |
1916 return result; | 1911 return result; |
1917 } else if (to.IsSmi()) { | 1912 } else if (to.IsSmi()) { |
1918 LOperand* value = UseRegister(val); | 1913 LOperand* value = UseRegister(val); |
1919 if (val->type().IsSmi()) { | 1914 if (val->type().IsSmi()) { |
1920 return DefineSameAsFirst(new(zone()) LDummyUse(value)); | 1915 return DefineSameAsFirst(new (zone()) LDummyUse(value)); |
1921 } | 1916 } |
1922 return AssignEnvironment(DefineSameAsFirst(new(zone()) LCheckSmi(value))); | 1917 return AssignEnvironment( |
| 1918 DefineSameAsFirst(new (zone()) LCheckSmi(value))); |
1923 } else { | 1919 } else { |
1924 DCHECK(to.IsInteger32()); | 1920 DCHECK(to.IsInteger32()); |
1925 if (val->type().IsSmi() || val->representation().IsSmi()) { | 1921 if (val->type().IsSmi() || val->representation().IsSmi()) { |
1926 LOperand* value = UseRegisterAtStart(val); | 1922 LOperand* value = UseRegisterAtStart(val); |
1927 return DefineAsRegister(new(zone()) LSmiUntag(value, false)); | 1923 return DefineAsRegister(new (zone()) LSmiUntag(value, false)); |
1928 } else { | 1924 } else { |
1929 LOperand* value = UseRegister(val); | 1925 LOperand* value = UseRegister(val); |
1930 LOperand* temp1 = TempRegister(); | 1926 LOperand* temp1 = TempRegister(); |
1931 LOperand* temp2 = TempDoubleRegister(); | 1927 LOperand* temp2 = TempDoubleRegister(); |
1932 LInstruction* result = | 1928 LInstruction* result = |
1933 DefineSameAsFirst(new(zone()) LTaggedToI(value, temp1, temp2)); | 1929 DefineSameAsFirst(new (zone()) LTaggedToI(value, temp1, temp2)); |
1934 if (!val->representation().IsSmi()) result = AssignEnvironment(result); | 1930 if (!val->representation().IsSmi()) result = AssignEnvironment(result); |
1935 return result; | 1931 return result; |
1936 } | 1932 } |
1937 } | 1933 } |
1938 } else if (from.IsDouble()) { | 1934 } else if (from.IsDouble()) { |
1939 if (to.IsTagged()) { | 1935 if (to.IsTagged()) { |
1940 info()->MarkAsDeferredCalling(); | 1936 info()->MarkAsDeferredCalling(); |
1941 LOperand* value = UseRegister(val); | 1937 LOperand* value = UseRegister(val); |
1942 LOperand* temp1 = TempRegister(); | 1938 LOperand* temp1 = TempRegister(); |
1943 LOperand* temp2 = TempRegister(); | 1939 LOperand* temp2 = TempRegister(); |
1944 LUnallocated* result_temp = TempRegister(); | 1940 LUnallocated* result_temp = TempRegister(); |
1945 LNumberTagD* result = new(zone()) LNumberTagD(value, temp1, temp2); | 1941 LNumberTagD* result = new (zone()) LNumberTagD(value, temp1, temp2); |
1946 return AssignPointerMap(Define(result, result_temp)); | 1942 return AssignPointerMap(Define(result, result_temp)); |
1947 } else if (to.IsSmi()) { | 1943 } else if (to.IsSmi()) { |
1948 LOperand* value = UseRegister(val); | 1944 LOperand* value = UseRegister(val); |
1949 return AssignEnvironment( | 1945 return AssignEnvironment( |
1950 DefineAsRegister(new(zone()) LDoubleToSmi(value))); | 1946 DefineAsRegister(new (zone()) LDoubleToSmi(value))); |
1951 } else { | 1947 } else { |
1952 DCHECK(to.IsInteger32()); | 1948 DCHECK(to.IsInteger32()); |
1953 LOperand* value = UseRegister(val); | 1949 LOperand* value = UseRegister(val); |
1954 LInstruction* result = DefineAsRegister(new(zone()) LDoubleToI(value)); | 1950 LInstruction* result = DefineAsRegister(new (zone()) LDoubleToI(value)); |
1955 if (!instr->CanTruncateToInt32()) result = AssignEnvironment(result); | 1951 if (!instr->CanTruncateToInt32()) result = AssignEnvironment(result); |
1956 return result; | 1952 return result; |
1957 } | 1953 } |
1958 } else if (from.IsInteger32()) { | 1954 } else if (from.IsInteger32()) { |
1959 info()->MarkAsDeferredCalling(); | 1955 info()->MarkAsDeferredCalling(); |
1960 if (to.IsTagged()) { | 1956 if (to.IsTagged()) { |
1961 if (!instr->CheckFlag(HValue::kCanOverflow)) { | 1957 if (!instr->CheckFlag(HValue::kCanOverflow)) { |
1962 LOperand* value = UseRegisterAtStart(val); | 1958 LOperand* value = UseRegisterAtStart(val); |
1963 return DefineAsRegister(new(zone()) LSmiTag(value)); | 1959 return DefineAsRegister(new (zone()) LSmiTag(value)); |
1964 } else if (val->CheckFlag(HInstruction::kUint32)) { | 1960 } else if (val->CheckFlag(HInstruction::kUint32)) { |
1965 LOperand* value = UseRegisterAtStart(val); | 1961 LOperand* value = UseRegisterAtStart(val); |
1966 LOperand* temp1 = TempRegister(); | 1962 LOperand* temp1 = TempRegister(); |
1967 LOperand* temp2 = TempRegister(); | 1963 LOperand* temp2 = TempRegister(); |
1968 LNumberTagU* result = new(zone()) LNumberTagU(value, temp1, temp2); | 1964 LNumberTagU* result = new (zone()) LNumberTagU(value, temp1, temp2); |
1969 return AssignPointerMap(DefineAsRegister(result)); | 1965 return AssignPointerMap(DefineAsRegister(result)); |
1970 } else { | 1966 } else { |
1971 LOperand* value = UseRegisterAtStart(val); | 1967 LOperand* value = UseRegisterAtStart(val); |
1972 LOperand* temp1 = TempRegister(); | 1968 LOperand* temp1 = TempRegister(); |
1973 LOperand* temp2 = TempRegister(); | 1969 LOperand* temp2 = TempRegister(); |
1974 LNumberTagI* result = new(zone()) LNumberTagI(value, temp1, temp2); | 1970 LNumberTagI* result = new (zone()) LNumberTagI(value, temp1, temp2); |
1975 return AssignPointerMap(DefineAsRegister(result)); | 1971 return AssignPointerMap(DefineAsRegister(result)); |
1976 } | 1972 } |
1977 } else if (to.IsSmi()) { | 1973 } else if (to.IsSmi()) { |
1978 LOperand* value = UseRegister(val); | 1974 LOperand* value = UseRegister(val); |
1979 LInstruction* result = DefineAsRegister(new(zone()) LSmiTag(value)); | 1975 LInstruction* result = DefineAsRegister(new (zone()) LSmiTag(value)); |
1980 if (instr->CheckFlag(HValue::kCanOverflow)) { | 1976 if (instr->CheckFlag(HValue::kCanOverflow)) { |
1981 result = AssignEnvironment(result); | 1977 result = AssignEnvironment(result); |
1982 } | 1978 } |
1983 return result; | 1979 return result; |
1984 } else { | 1980 } else { |
1985 DCHECK(to.IsDouble()); | 1981 DCHECK(to.IsDouble()); |
1986 if (val->CheckFlag(HInstruction::kUint32)) { | 1982 if (val->CheckFlag(HInstruction::kUint32)) { |
1987 return DefineAsRegister(new(zone()) LUint32ToDouble(UseRegister(val))); | 1983 return DefineAsRegister(new (zone()) LUint32ToDouble(UseRegister(val))); |
1988 } else { | 1984 } else { |
1989 return DefineAsRegister(new(zone()) LInteger32ToDouble(Use(val))); | 1985 return DefineAsRegister(new (zone()) LInteger32ToDouble(Use(val))); |
1990 } | 1986 } |
1991 } | 1987 } |
1992 } | 1988 } |
1993 UNREACHABLE(); | 1989 UNREACHABLE(); |
1994 return NULL; | 1990 return NULL; |
1995 } | 1991 } |
1996 | 1992 |
1997 | 1993 |
1998 LInstruction* LChunkBuilder::DoCheckHeapObject(HCheckHeapObject* instr) { | 1994 LInstruction* LChunkBuilder::DoCheckHeapObject(HCheckHeapObject* instr) { |
1999 LOperand* value = UseRegisterAtStart(instr->value()); | 1995 LOperand* value = UseRegisterAtStart(instr->value()); |
2000 LInstruction* result = new(zone()) LCheckNonSmi(value); | 1996 LInstruction* result = new (zone()) LCheckNonSmi(value); |
2001 if (!instr->value()->type().IsHeapObject()) { | 1997 if (!instr->value()->type().IsHeapObject()) { |
2002 result = AssignEnvironment(result); | 1998 result = AssignEnvironment(result); |
2003 } | 1999 } |
2004 return result; | 2000 return result; |
2005 } | 2001 } |
2006 | 2002 |
2007 | 2003 |
2008 LInstruction* LChunkBuilder::DoCheckSmi(HCheckSmi* instr) { | 2004 LInstruction* LChunkBuilder::DoCheckSmi(HCheckSmi* instr) { |
2009 LOperand* value = UseRegisterAtStart(instr->value()); | 2005 LOperand* value = UseRegisterAtStart(instr->value()); |
2010 return AssignEnvironment(new(zone()) LCheckSmi(value)); | 2006 return AssignEnvironment(new (zone()) LCheckSmi(value)); |
2011 } | 2007 } |
2012 | 2008 |
2013 | 2009 |
2014 LInstruction* LChunkBuilder::DoCheckInstanceType(HCheckInstanceType* instr) { | 2010 LInstruction* LChunkBuilder::DoCheckInstanceType(HCheckInstanceType* instr) { |
2015 LOperand* value = UseRegisterAtStart(instr->value()); | 2011 LOperand* value = UseRegisterAtStart(instr->value()); |
2016 LInstruction* result = new(zone()) LCheckInstanceType(value); | 2012 LInstruction* result = new (zone()) LCheckInstanceType(value); |
2017 return AssignEnvironment(result); | 2013 return AssignEnvironment(result); |
2018 } | 2014 } |
2019 | 2015 |
2020 | 2016 |
2021 LInstruction* LChunkBuilder::DoCheckValue(HCheckValue* instr) { | 2017 LInstruction* LChunkBuilder::DoCheckValue(HCheckValue* instr) { |
2022 LOperand* value = UseRegisterAtStart(instr->value()); | 2018 LOperand* value = UseRegisterAtStart(instr->value()); |
2023 return AssignEnvironment(new(zone()) LCheckValue(value)); | 2019 return AssignEnvironment(new (zone()) LCheckValue(value)); |
2024 } | 2020 } |
2025 | 2021 |
2026 | 2022 |
2027 LInstruction* LChunkBuilder::DoCheckMaps(HCheckMaps* instr) { | 2023 LInstruction* LChunkBuilder::DoCheckMaps(HCheckMaps* instr) { |
2028 if (instr->IsStabilityCheck()) return new(zone()) LCheckMaps; | 2024 if (instr->IsStabilityCheck()) return new (zone()) LCheckMaps; |
2029 LOperand* value = UseRegisterAtStart(instr->value()); | 2025 LOperand* value = UseRegisterAtStart(instr->value()); |
2030 LInstruction* result = AssignEnvironment(new(zone()) LCheckMaps(value)); | 2026 LInstruction* result = AssignEnvironment(new (zone()) LCheckMaps(value)); |
2031 if (instr->HasMigrationTarget()) { | 2027 if (instr->HasMigrationTarget()) { |
2032 info()->MarkAsDeferredCalling(); | 2028 info()->MarkAsDeferredCalling(); |
2033 result = AssignPointerMap(result); | 2029 result = AssignPointerMap(result); |
2034 } | 2030 } |
2035 return result; | 2031 return result; |
2036 } | 2032 } |
2037 | 2033 |
2038 | 2034 |
2039 LInstruction* LChunkBuilder::DoClampToUint8(HClampToUint8* instr) { | 2035 LInstruction* LChunkBuilder::DoClampToUint8(HClampToUint8* instr) { |
2040 HValue* value = instr->value(); | 2036 HValue* value = instr->value(); |
2041 Representation input_rep = value->representation(); | 2037 Representation input_rep = value->representation(); |
2042 LOperand* reg = UseRegister(value); | 2038 LOperand* reg = UseRegister(value); |
2043 if (input_rep.IsDouble()) { | 2039 if (input_rep.IsDouble()) { |
2044 return DefineAsRegister(new(zone()) LClampDToUint8(reg)); | 2040 return DefineAsRegister(new (zone()) LClampDToUint8(reg)); |
2045 } else if (input_rep.IsInteger32()) { | 2041 } else if (input_rep.IsInteger32()) { |
2046 return DefineAsRegister(new(zone()) LClampIToUint8(reg)); | 2042 return DefineAsRegister(new (zone()) LClampIToUint8(reg)); |
2047 } else { | 2043 } else { |
2048 DCHECK(input_rep.IsSmiOrTagged()); | 2044 DCHECK(input_rep.IsSmiOrTagged()); |
2049 // Register allocator doesn't (yet) support allocation of double | |
2050 // temps. Reserve d1 explicitly. | |
2051 LClampTToUint8* result = | 2045 LClampTToUint8* result = |
2052 new(zone()) LClampTToUint8(reg, TempDoubleRegister()); | 2046 new (zone()) LClampTToUint8(reg, TempDoubleRegister()); |
2053 return AssignEnvironment(DefineAsRegister(result)); | 2047 return AssignEnvironment(DefineAsRegister(result)); |
2054 } | 2048 } |
2055 } | 2049 } |
2056 | 2050 |
2057 | 2051 |
2058 LInstruction* LChunkBuilder::DoDoubleBits(HDoubleBits* instr) { | 2052 LInstruction* LChunkBuilder::DoDoubleBits(HDoubleBits* instr) { |
2059 HValue* value = instr->value(); | 2053 HValue* value = instr->value(); |
2060 DCHECK(value->representation().IsDouble()); | 2054 DCHECK(value->representation().IsDouble()); |
2061 return DefineAsRegister(new(zone()) LDoubleBits(UseRegister(value))); | 2055 return DefineAsRegister(new (zone()) LDoubleBits(UseRegister(value))); |
2062 } | 2056 } |
2063 | 2057 |
2064 | 2058 |
2065 LInstruction* LChunkBuilder::DoConstructDouble(HConstructDouble* instr) { | 2059 LInstruction* LChunkBuilder::DoConstructDouble(HConstructDouble* instr) { |
2066 LOperand* lo = UseRegister(instr->lo()); | 2060 LOperand* lo = UseRegister(instr->lo()); |
2067 LOperand* hi = UseRegister(instr->hi()); | 2061 LOperand* hi = UseRegister(instr->hi()); |
2068 return DefineAsRegister(new(zone()) LConstructDouble(hi, lo)); | 2062 return DefineAsRegister(new (zone()) LConstructDouble(hi, lo)); |
2069 } | 2063 } |
2070 | 2064 |
2071 | 2065 |
2072 LInstruction* LChunkBuilder::DoReturn(HReturn* instr) { | 2066 LInstruction* LChunkBuilder::DoReturn(HReturn* instr) { |
2073 LOperand* context = info()->IsStub() | 2067 LOperand* context = info()->IsStub() ? UseFixed(instr->context(), cp) : NULL; |
2074 ? UseFixed(instr->context(), cp) | |
2075 : NULL; | |
2076 LOperand* parameter_count = UseRegisterOrConstant(instr->parameter_count()); | 2068 LOperand* parameter_count = UseRegisterOrConstant(instr->parameter_count()); |
2077 return new(zone()) LReturn(UseFixed(instr->value(), r0), context, | 2069 return new (zone()) |
2078 parameter_count); | 2070 LReturn(UseFixed(instr->value(), r3), context, parameter_count); |
2079 } | 2071 } |
2080 | 2072 |
2081 | 2073 |
2082 LInstruction* LChunkBuilder::DoConstant(HConstant* instr) { | 2074 LInstruction* LChunkBuilder::DoConstant(HConstant* instr) { |
2083 Representation r = instr->representation(); | 2075 Representation r = instr->representation(); |
2084 if (r.IsSmi()) { | 2076 if (r.IsSmi()) { |
2085 return DefineAsRegister(new(zone()) LConstantS); | 2077 return DefineAsRegister(new (zone()) LConstantS); |
2086 } else if (r.IsInteger32()) { | 2078 } else if (r.IsInteger32()) { |
2087 return DefineAsRegister(new(zone()) LConstantI); | 2079 return DefineAsRegister(new (zone()) LConstantI); |
2088 } else if (r.IsDouble()) { | 2080 } else if (r.IsDouble()) { |
2089 return DefineAsRegister(new(zone()) LConstantD); | 2081 return DefineAsRegister(new (zone()) LConstantD); |
2090 } else if (r.IsExternal()) { | 2082 } else if (r.IsExternal()) { |
2091 return DefineAsRegister(new(zone()) LConstantE); | 2083 return DefineAsRegister(new (zone()) LConstantE); |
2092 } else if (r.IsTagged()) { | 2084 } else if (r.IsTagged()) { |
2093 return DefineAsRegister(new(zone()) LConstantT); | 2085 return DefineAsRegister(new (zone()) LConstantT); |
2094 } else { | 2086 } else { |
2095 UNREACHABLE(); | 2087 UNREACHABLE(); |
2096 return NULL; | 2088 return NULL; |
2097 } | 2089 } |
2098 } | 2090 } |
2099 | 2091 |
2100 | 2092 |
2101 LInstruction* LChunkBuilder::DoLoadGlobalCell(HLoadGlobalCell* instr) { | 2093 LInstruction* LChunkBuilder::DoLoadGlobalCell(HLoadGlobalCell* instr) { |
2102 LLoadGlobalCell* result = new(zone()) LLoadGlobalCell; | 2094 LLoadGlobalCell* result = new (zone()) LLoadGlobalCell; |
2103 return instr->RequiresHoleCheck() | 2095 return instr->RequiresHoleCheck() |
2104 ? AssignEnvironment(DefineAsRegister(result)) | 2096 ? AssignEnvironment(DefineAsRegister(result)) |
2105 : DefineAsRegister(result); | 2097 : DefineAsRegister(result); |
2106 } | 2098 } |
2107 | 2099 |
2108 | 2100 |
2109 LInstruction* LChunkBuilder::DoLoadGlobalGeneric(HLoadGlobalGeneric* instr) { | 2101 LInstruction* LChunkBuilder::DoLoadGlobalGeneric(HLoadGlobalGeneric* instr) { |
2110 LOperand* context = UseFixed(instr->context(), cp); | 2102 LOperand* context = UseFixed(instr->context(), cp); |
2111 LOperand* global_object = | 2103 LOperand* global_object = |
2112 UseFixed(instr->global_object(), LoadDescriptor::ReceiverRegister()); | 2104 UseFixed(instr->global_object(), LoadDescriptor::ReceiverRegister()); |
2113 LOperand* vector = NULL; | 2105 LOperand* vector = NULL; |
2114 if (FLAG_vector_ics) { | 2106 if (FLAG_vector_ics) { |
2115 vector = FixedTemp(VectorLoadICDescriptor::VectorRegister()); | 2107 vector = FixedTemp(VectorLoadICDescriptor::VectorRegister()); |
2116 } | 2108 } |
2117 LLoadGlobalGeneric* result = | 2109 LLoadGlobalGeneric* result = |
2118 new(zone()) LLoadGlobalGeneric(context, global_object, vector); | 2110 new (zone()) LLoadGlobalGeneric(context, global_object, vector); |
2119 return MarkAsCall(DefineFixed(result, r0), instr); | 2111 return MarkAsCall(DefineFixed(result, r3), instr); |
2120 } | 2112 } |
2121 | 2113 |
2122 | 2114 |
2123 LInstruction* LChunkBuilder::DoStoreGlobalCell(HStoreGlobalCell* instr) { | 2115 LInstruction* LChunkBuilder::DoStoreGlobalCell(HStoreGlobalCell* instr) { |
2124 LOperand* value = UseRegister(instr->value()); | 2116 LOperand* value = UseRegister(instr->value()); |
2125 // Use a temp to check the value in the cell in the case where we perform | 2117 // Use a temp to check the value in the cell in the case where we perform |
2126 // a hole check. | 2118 // a hole check. |
2127 return instr->RequiresHoleCheck() | 2119 return instr->RequiresHoleCheck() |
2128 ? AssignEnvironment(new(zone()) LStoreGlobalCell(value, TempRegister())) | 2120 ? AssignEnvironment(new (zone()) |
2129 : new(zone()) LStoreGlobalCell(value, NULL); | 2121 LStoreGlobalCell(value, TempRegister())) |
| 2122 : new (zone()) LStoreGlobalCell(value, NULL); |
2130 } | 2123 } |
2131 | 2124 |
2132 | 2125 |
2133 LInstruction* LChunkBuilder::DoLoadContextSlot(HLoadContextSlot* instr) { | 2126 LInstruction* LChunkBuilder::DoLoadContextSlot(HLoadContextSlot* instr) { |
2134 LOperand* context = UseRegisterAtStart(instr->value()); | 2127 LOperand* context = UseRegisterAtStart(instr->value()); |
2135 LInstruction* result = | 2128 LInstruction* result = |
2136 DefineAsRegister(new(zone()) LLoadContextSlot(context)); | 2129 DefineAsRegister(new (zone()) LLoadContextSlot(context)); |
2137 if (instr->RequiresHoleCheck() && instr->DeoptimizesOnHole()) { | 2130 if (instr->RequiresHoleCheck() && instr->DeoptimizesOnHole()) { |
2138 result = AssignEnvironment(result); | 2131 result = AssignEnvironment(result); |
2139 } | 2132 } |
2140 return result; | 2133 return result; |
2141 } | 2134 } |
2142 | 2135 |
2143 | 2136 |
2144 LInstruction* LChunkBuilder::DoStoreContextSlot(HStoreContextSlot* instr) { | 2137 LInstruction* LChunkBuilder::DoStoreContextSlot(HStoreContextSlot* instr) { |
2145 LOperand* context; | 2138 LOperand* context; |
2146 LOperand* value; | 2139 LOperand* value; |
2147 if (instr->NeedsWriteBarrier()) { | 2140 if (instr->NeedsWriteBarrier()) { |
2148 context = UseTempRegister(instr->context()); | 2141 context = UseTempRegister(instr->context()); |
2149 value = UseTempRegister(instr->value()); | 2142 value = UseTempRegister(instr->value()); |
2150 } else { | 2143 } else { |
2151 context = UseRegister(instr->context()); | 2144 context = UseRegister(instr->context()); |
2152 value = UseRegister(instr->value()); | 2145 value = UseRegister(instr->value()); |
2153 } | 2146 } |
2154 LInstruction* result = new(zone()) LStoreContextSlot(context, value); | 2147 LInstruction* result = new (zone()) LStoreContextSlot(context, value); |
2155 if (instr->RequiresHoleCheck() && instr->DeoptimizesOnHole()) { | 2148 if (instr->RequiresHoleCheck() && instr->DeoptimizesOnHole()) { |
2156 result = AssignEnvironment(result); | 2149 result = AssignEnvironment(result); |
2157 } | 2150 } |
2158 return result; | 2151 return result; |
2159 } | 2152 } |
2160 | 2153 |
2161 | 2154 |
2162 LInstruction* LChunkBuilder::DoLoadNamedField(HLoadNamedField* instr) { | 2155 LInstruction* LChunkBuilder::DoLoadNamedField(HLoadNamedField* instr) { |
2163 LOperand* obj = UseRegisterAtStart(instr->object()); | 2156 LOperand* obj = UseRegisterAtStart(instr->object()); |
2164 return DefineAsRegister(new(zone()) LLoadNamedField(obj)); | 2157 return DefineAsRegister(new (zone()) LLoadNamedField(obj)); |
2165 } | 2158 } |
2166 | 2159 |
2167 | 2160 |
2168 LInstruction* LChunkBuilder::DoLoadNamedGeneric(HLoadNamedGeneric* instr) { | 2161 LInstruction* LChunkBuilder::DoLoadNamedGeneric(HLoadNamedGeneric* instr) { |
2169 LOperand* context = UseFixed(instr->context(), cp); | 2162 LOperand* context = UseFixed(instr->context(), cp); |
2170 LOperand* object = | 2163 LOperand* object = |
2171 UseFixed(instr->object(), LoadDescriptor::ReceiverRegister()); | 2164 UseFixed(instr->object(), LoadDescriptor::ReceiverRegister()); |
2172 LOperand* vector = NULL; | 2165 LOperand* vector = NULL; |
2173 if (FLAG_vector_ics) { | 2166 if (FLAG_vector_ics) { |
2174 vector = FixedTemp(VectorLoadICDescriptor::VectorRegister()); | 2167 vector = FixedTemp(VectorLoadICDescriptor::VectorRegister()); |
2175 } | 2168 } |
2176 | 2169 |
2177 LInstruction* result = | 2170 LInstruction* result = |
2178 DefineFixed(new(zone()) LLoadNamedGeneric(context, object, vector), r0); | 2171 DefineFixed(new (zone()) LLoadNamedGeneric(context, object, vector), r3); |
2179 return MarkAsCall(result, instr); | 2172 return MarkAsCall(result, instr); |
2180 } | 2173 } |
2181 | 2174 |
2182 | 2175 |
2183 LInstruction* LChunkBuilder::DoLoadFunctionPrototype( | 2176 LInstruction* LChunkBuilder::DoLoadFunctionPrototype( |
2184 HLoadFunctionPrototype* instr) { | 2177 HLoadFunctionPrototype* instr) { |
2185 return AssignEnvironment(DefineAsRegister( | 2178 return AssignEnvironment(DefineAsRegister( |
2186 new(zone()) LLoadFunctionPrototype(UseRegister(instr->function())))); | 2179 new (zone()) LLoadFunctionPrototype(UseRegister(instr->function())))); |
2187 } | 2180 } |
2188 | 2181 |
2189 | 2182 |
2190 LInstruction* LChunkBuilder::DoLoadRoot(HLoadRoot* instr) { | 2183 LInstruction* LChunkBuilder::DoLoadRoot(HLoadRoot* instr) { |
2191 return DefineAsRegister(new(zone()) LLoadRoot); | 2184 return DefineAsRegister(new (zone()) LLoadRoot); |
2192 } | 2185 } |
2193 | 2186 |
2194 | 2187 |
2195 LInstruction* LChunkBuilder::DoLoadKeyed(HLoadKeyed* instr) { | 2188 LInstruction* LChunkBuilder::DoLoadKeyed(HLoadKeyed* instr) { |
2196 DCHECK(instr->key()->representation().IsSmiOrInteger32()); | 2189 DCHECK(instr->key()->representation().IsSmiOrInteger32()); |
2197 ElementsKind elements_kind = instr->elements_kind(); | 2190 ElementsKind elements_kind = instr->elements_kind(); |
2198 LOperand* key = UseRegisterOrConstantAtStart(instr->key()); | 2191 LOperand* key = UseRegisterOrConstantAtStart(instr->key()); |
2199 LInstruction* result = NULL; | 2192 LInstruction* result = NULL; |
2200 | 2193 |
2201 if (!instr->is_typed_elements()) { | 2194 if (!instr->is_typed_elements()) { |
2202 LOperand* obj = NULL; | 2195 LOperand* obj = NULL; |
2203 if (instr->representation().IsDouble()) { | 2196 if (instr->representation().IsDouble()) { |
2204 obj = UseRegister(instr->elements()); | 2197 obj = UseRegister(instr->elements()); |
2205 } else { | 2198 } else { |
2206 DCHECK(instr->representation().IsSmiOrTagged()); | |
2207 obj = UseRegisterAtStart(instr->elements()); | 2199 obj = UseRegisterAtStart(instr->elements()); |
2208 } | 2200 } |
2209 result = DefineAsRegister(new(zone()) LLoadKeyed(obj, key)); | 2201 result = DefineAsRegister(new (zone()) LLoadKeyed(obj, key)); |
2210 } else { | 2202 } else { |
2211 DCHECK( | 2203 DCHECK((instr->representation().IsInteger32() && |
2212 (instr->representation().IsInteger32() && | 2204 !IsDoubleOrFloatElementsKind(elements_kind)) || |
2213 !IsDoubleOrFloatElementsKind(elements_kind)) || | 2205 (instr->representation().IsDouble() && |
2214 (instr->representation().IsDouble() && | 2206 IsDoubleOrFloatElementsKind(elements_kind))); |
2215 IsDoubleOrFloatElementsKind(elements_kind))); | |
2216 LOperand* backing_store = UseRegister(instr->elements()); | 2207 LOperand* backing_store = UseRegister(instr->elements()); |
2217 result = DefineAsRegister(new(zone()) LLoadKeyed(backing_store, key)); | 2208 result = DefineAsRegister(new (zone()) LLoadKeyed(backing_store, key)); |
2218 } | 2209 } |
2219 | 2210 |
2220 if ((instr->is_external() || instr->is_fixed_typed_array()) ? | 2211 if ((instr->is_external() || instr->is_fixed_typed_array()) |
2221 // see LCodeGen::DoLoadKeyedExternalArray | 2212 ? |
2222 ((elements_kind == EXTERNAL_UINT32_ELEMENTS || | 2213 // see LCodeGen::DoLoadKeyedExternalArray |
2223 elements_kind == UINT32_ELEMENTS) && | 2214 ((elements_kind == EXTERNAL_UINT32_ELEMENTS || |
2224 !instr->CheckFlag(HInstruction::kUint32)) : | 2215 elements_kind == UINT32_ELEMENTS) && |
2225 // see LCodeGen::DoLoadKeyedFixedDoubleArray and | 2216 !instr->CheckFlag(HInstruction::kUint32)) |
2226 // LCodeGen::DoLoadKeyedFixedArray | 2217 : |
2227 instr->RequiresHoleCheck()) { | 2218 // see LCodeGen::DoLoadKeyedFixedDoubleArray and |
| 2219 // LCodeGen::DoLoadKeyedFixedArray |
| 2220 instr->RequiresHoleCheck()) { |
2228 result = AssignEnvironment(result); | 2221 result = AssignEnvironment(result); |
2229 } | 2222 } |
2230 return result; | 2223 return result; |
2231 } | 2224 } |
2232 | 2225 |
2233 | 2226 |
2234 LInstruction* LChunkBuilder::DoLoadKeyedGeneric(HLoadKeyedGeneric* instr) { | 2227 LInstruction* LChunkBuilder::DoLoadKeyedGeneric(HLoadKeyedGeneric* instr) { |
2235 LOperand* context = UseFixed(instr->context(), cp); | 2228 LOperand* context = UseFixed(instr->context(), cp); |
2236 LOperand* object = | 2229 LOperand* object = |
2237 UseFixed(instr->object(), LoadDescriptor::ReceiverRegister()); | 2230 UseFixed(instr->object(), LoadDescriptor::ReceiverRegister()); |
2238 LOperand* key = UseFixed(instr->key(), LoadDescriptor::NameRegister()); | 2231 LOperand* key = UseFixed(instr->key(), LoadDescriptor::NameRegister()); |
2239 LOperand* vector = NULL; | 2232 LOperand* vector = NULL; |
2240 if (FLAG_vector_ics) { | 2233 if (FLAG_vector_ics) { |
2241 vector = FixedTemp(VectorLoadICDescriptor::VectorRegister()); | 2234 vector = FixedTemp(VectorLoadICDescriptor::VectorRegister()); |
2242 } | 2235 } |
2243 | 2236 |
2244 LInstruction* result = | 2237 LInstruction* result = DefineFixed( |
2245 DefineFixed(new(zone()) LLoadKeyedGeneric(context, object, key, vector), | 2238 new (zone()) LLoadKeyedGeneric(context, object, key, vector), r3); |
2246 r0); | |
2247 return MarkAsCall(result, instr); | 2239 return MarkAsCall(result, instr); |
2248 } | 2240 } |
2249 | 2241 |
2250 | 2242 |
2251 LInstruction* LChunkBuilder::DoStoreKeyed(HStoreKeyed* instr) { | 2243 LInstruction* LChunkBuilder::DoStoreKeyed(HStoreKeyed* instr) { |
2252 if (!instr->is_typed_elements()) { | 2244 if (!instr->is_typed_elements()) { |
2253 DCHECK(instr->elements()->representation().IsTagged()); | 2245 DCHECK(instr->elements()->representation().IsTagged()); |
2254 bool needs_write_barrier = instr->NeedsWriteBarrier(); | 2246 bool needs_write_barrier = instr->NeedsWriteBarrier(); |
2255 LOperand* object = NULL; | 2247 LOperand* object = NULL; |
2256 LOperand* key = NULL; | 2248 LOperand* key = NULL; |
2257 LOperand* val = NULL; | 2249 LOperand* val = NULL; |
2258 | 2250 |
2259 if (instr->value()->representation().IsDouble()) { | 2251 if (instr->value()->representation().IsDouble()) { |
2260 object = UseRegisterAtStart(instr->elements()); | 2252 object = UseRegisterAtStart(instr->elements()); |
2261 val = UseRegister(instr->value()); | 2253 val = UseRegister(instr->value()); |
2262 key = UseRegisterOrConstantAtStart(instr->key()); | 2254 key = UseRegisterOrConstantAtStart(instr->key()); |
2263 } else { | 2255 } else { |
2264 DCHECK(instr->value()->representation().IsSmiOrTagged()); | |
2265 if (needs_write_barrier) { | 2256 if (needs_write_barrier) { |
2266 object = UseTempRegister(instr->elements()); | 2257 object = UseTempRegister(instr->elements()); |
2267 val = UseTempRegister(instr->value()); | 2258 val = UseTempRegister(instr->value()); |
2268 key = UseTempRegister(instr->key()); | 2259 key = UseTempRegister(instr->key()); |
2269 } else { | 2260 } else { |
2270 object = UseRegisterAtStart(instr->elements()); | 2261 object = UseRegisterAtStart(instr->elements()); |
2271 val = UseRegisterAtStart(instr->value()); | 2262 val = UseRegisterAtStart(instr->value()); |
2272 key = UseRegisterOrConstantAtStart(instr->key()); | 2263 key = UseRegisterOrConstantAtStart(instr->key()); |
2273 } | 2264 } |
2274 } | 2265 } |
2275 | 2266 |
2276 return new(zone()) LStoreKeyed(object, key, val); | 2267 return new (zone()) LStoreKeyed(object, key, val); |
2277 } | 2268 } |
2278 | 2269 |
2279 DCHECK( | 2270 DCHECK((instr->value()->representation().IsInteger32() && |
2280 (instr->value()->representation().IsInteger32() && | 2271 !IsDoubleOrFloatElementsKind(instr->elements_kind())) || |
2281 !IsDoubleOrFloatElementsKind(instr->elements_kind())) || | 2272 (instr->value()->representation().IsDouble() && |
2282 (instr->value()->representation().IsDouble() && | 2273 IsDoubleOrFloatElementsKind(instr->elements_kind()))); |
2283 IsDoubleOrFloatElementsKind(instr->elements_kind()))); | |
2284 DCHECK((instr->is_fixed_typed_array() && | 2274 DCHECK((instr->is_fixed_typed_array() && |
2285 instr->elements()->representation().IsTagged()) || | 2275 instr->elements()->representation().IsTagged()) || |
2286 (instr->is_external() && | 2276 (instr->is_external() && |
2287 instr->elements()->representation().IsExternal())); | 2277 instr->elements()->representation().IsExternal())); |
2288 LOperand* val = UseRegister(instr->value()); | 2278 LOperand* val = UseRegister(instr->value()); |
2289 LOperand* key = UseRegisterOrConstantAtStart(instr->key()); | 2279 LOperand* key = UseRegisterOrConstantAtStart(instr->key()); |
2290 LOperand* backing_store = UseRegister(instr->elements()); | 2280 LOperand* backing_store = UseRegister(instr->elements()); |
2291 return new(zone()) LStoreKeyed(backing_store, key, val); | 2281 return new (zone()) LStoreKeyed(backing_store, key, val); |
2292 } | 2282 } |
2293 | 2283 |
2294 | 2284 |
2295 LInstruction* LChunkBuilder::DoStoreKeyedGeneric(HStoreKeyedGeneric* instr) { | 2285 LInstruction* LChunkBuilder::DoStoreKeyedGeneric(HStoreKeyedGeneric* instr) { |
2296 LOperand* context = UseFixed(instr->context(), cp); | 2286 LOperand* context = UseFixed(instr->context(), cp); |
2297 LOperand* obj = | 2287 LOperand* obj = |
2298 UseFixed(instr->object(), StoreDescriptor::ReceiverRegister()); | 2288 UseFixed(instr->object(), StoreDescriptor::ReceiverRegister()); |
2299 LOperand* key = UseFixed(instr->key(), StoreDescriptor::NameRegister()); | 2289 LOperand* key = UseFixed(instr->key(), StoreDescriptor::NameRegister()); |
2300 LOperand* val = UseFixed(instr->value(), StoreDescriptor::ValueRegister()); | 2290 LOperand* val = UseFixed(instr->value(), StoreDescriptor::ValueRegister()); |
2301 | 2291 |
2302 DCHECK(instr->object()->representation().IsTagged()); | 2292 DCHECK(instr->object()->representation().IsTagged()); |
2303 DCHECK(instr->key()->representation().IsTagged()); | 2293 DCHECK(instr->key()->representation().IsTagged()); |
2304 DCHECK(instr->value()->representation().IsTagged()); | 2294 DCHECK(instr->value()->representation().IsTagged()); |
2305 | 2295 |
2306 return MarkAsCall( | 2296 return MarkAsCall(new (zone()) LStoreKeyedGeneric(context, obj, key, val), |
2307 new(zone()) LStoreKeyedGeneric(context, obj, key, val), instr); | 2297 instr); |
2308 } | 2298 } |
2309 | 2299 |
2310 | 2300 |
2311 LInstruction* LChunkBuilder::DoTransitionElementsKind( | 2301 LInstruction* LChunkBuilder::DoTransitionElementsKind( |
2312 HTransitionElementsKind* instr) { | 2302 HTransitionElementsKind* instr) { |
2313 if (IsSimpleMapChangeTransition(instr->from_kind(), instr->to_kind())) { | 2303 if (IsSimpleMapChangeTransition(instr->from_kind(), instr->to_kind())) { |
2314 LOperand* object = UseRegister(instr->object()); | 2304 LOperand* object = UseRegister(instr->object()); |
2315 LOperand* new_map_reg = TempRegister(); | 2305 LOperand* new_map_reg = TempRegister(); |
2316 LTransitionElementsKind* result = | 2306 LTransitionElementsKind* result = |
2317 new(zone()) LTransitionElementsKind(object, NULL, new_map_reg); | 2307 new (zone()) LTransitionElementsKind(object, NULL, new_map_reg); |
2318 return result; | 2308 return result; |
2319 } else { | 2309 } else { |
2320 LOperand* object = UseFixed(instr->object(), r0); | 2310 LOperand* object = UseFixed(instr->object(), r3); |
2321 LOperand* context = UseFixed(instr->context(), cp); | 2311 LOperand* context = UseFixed(instr->context(), cp); |
2322 LTransitionElementsKind* result = | 2312 LTransitionElementsKind* result = |
2323 new(zone()) LTransitionElementsKind(object, context, NULL); | 2313 new (zone()) LTransitionElementsKind(object, context, NULL); |
2324 return MarkAsCall(result, instr); | 2314 return MarkAsCall(result, instr); |
2325 } | 2315 } |
2326 } | 2316 } |
2327 | 2317 |
2328 | 2318 |
2329 LInstruction* LChunkBuilder::DoTrapAllocationMemento( | 2319 LInstruction* LChunkBuilder::DoTrapAllocationMemento( |
2330 HTrapAllocationMemento* instr) { | 2320 HTrapAllocationMemento* instr) { |
2331 LOperand* object = UseRegister(instr->object()); | 2321 LOperand* object = UseRegister(instr->object()); |
2332 LOperand* temp = TempRegister(); | 2322 LOperand* temp = TempRegister(); |
2333 LTrapAllocationMemento* result = | 2323 LTrapAllocationMemento* result = |
2334 new(zone()) LTrapAllocationMemento(object, temp); | 2324 new (zone()) LTrapAllocationMemento(object, temp); |
2335 return AssignEnvironment(result); | 2325 return AssignEnvironment(result); |
2336 } | 2326 } |
2337 | 2327 |
2338 | 2328 |
2339 LInstruction* LChunkBuilder::DoStoreNamedField(HStoreNamedField* instr) { | 2329 LInstruction* LChunkBuilder::DoStoreNamedField(HStoreNamedField* instr) { |
2340 bool is_in_object = instr->access().IsInobject(); | 2330 bool is_in_object = instr->access().IsInobject(); |
2341 bool needs_write_barrier = instr->NeedsWriteBarrier(); | 2331 bool needs_write_barrier = instr->NeedsWriteBarrier(); |
2342 bool needs_write_barrier_for_map = instr->has_transition() && | 2332 bool needs_write_barrier_for_map = |
2343 instr->NeedsWriteBarrierForMap(); | 2333 instr->has_transition() && instr->NeedsWriteBarrierForMap(); |
2344 | 2334 |
2345 LOperand* obj; | 2335 LOperand* obj; |
2346 if (needs_write_barrier) { | 2336 if (needs_write_barrier) { |
2347 obj = is_in_object | 2337 obj = is_in_object ? UseRegister(instr->object()) |
2348 ? UseRegister(instr->object()) | 2338 : UseTempRegister(instr->object()); |
2349 : UseTempRegister(instr->object()); | |
2350 } else { | 2339 } else { |
2351 obj = needs_write_barrier_for_map | 2340 obj = needs_write_barrier_for_map ? UseRegister(instr->object()) |
2352 ? UseRegister(instr->object()) | 2341 : UseRegisterAtStart(instr->object()); |
2353 : UseRegisterAtStart(instr->object()); | |
2354 } | 2342 } |
2355 | 2343 |
2356 LOperand* val; | 2344 LOperand* val; |
2357 if (needs_write_barrier) { | 2345 if (needs_write_barrier) { |
2358 val = UseTempRegister(instr->value()); | 2346 val = UseTempRegister(instr->value()); |
2359 } else if (instr->field_representation().IsDouble()) { | 2347 } else if (instr->field_representation().IsDouble()) { |
2360 val = UseRegisterAtStart(instr->value()); | 2348 val = UseRegisterAtStart(instr->value()); |
2361 } else { | 2349 } else { |
2362 val = UseRegister(instr->value()); | 2350 val = UseRegister(instr->value()); |
2363 } | 2351 } |
2364 | 2352 |
2365 // We need a temporary register for write barrier of the map field. | 2353 // We need a temporary register for write barrier of the map field. |
2366 LOperand* temp = needs_write_barrier_for_map ? TempRegister() : NULL; | 2354 LOperand* temp = needs_write_barrier_for_map ? TempRegister() : NULL; |
2367 | 2355 |
2368 return new(zone()) LStoreNamedField(obj, val, temp); | 2356 return new (zone()) LStoreNamedField(obj, val, temp); |
2369 } | 2357 } |
2370 | 2358 |
2371 | 2359 |
2372 LInstruction* LChunkBuilder::DoStoreNamedGeneric(HStoreNamedGeneric* instr) { | 2360 LInstruction* LChunkBuilder::DoStoreNamedGeneric(HStoreNamedGeneric* instr) { |
2373 LOperand* context = UseFixed(instr->context(), cp); | 2361 LOperand* context = UseFixed(instr->context(), cp); |
2374 LOperand* obj = | 2362 LOperand* obj = |
2375 UseFixed(instr->object(), StoreDescriptor::ReceiverRegister()); | 2363 UseFixed(instr->object(), StoreDescriptor::ReceiverRegister()); |
2376 LOperand* val = UseFixed(instr->value(), StoreDescriptor::ValueRegister()); | 2364 LOperand* val = UseFixed(instr->value(), StoreDescriptor::ValueRegister()); |
2377 | 2365 |
2378 LInstruction* result = new(zone()) LStoreNamedGeneric(context, obj, val); | 2366 LInstruction* result = new (zone()) LStoreNamedGeneric(context, obj, val); |
2379 return MarkAsCall(result, instr); | 2367 return MarkAsCall(result, instr); |
2380 } | 2368 } |
2381 | 2369 |
2382 | 2370 |
2383 LInstruction* LChunkBuilder::DoStringAdd(HStringAdd* instr) { | 2371 LInstruction* LChunkBuilder::DoStringAdd(HStringAdd* instr) { |
2384 LOperand* context = UseFixed(instr->context(), cp); | 2372 LOperand* context = UseFixed(instr->context(), cp); |
2385 LOperand* left = UseFixed(instr->left(), r1); | 2373 LOperand* left = UseFixed(instr->left(), r4); |
2386 LOperand* right = UseFixed(instr->right(), r0); | 2374 LOperand* right = UseFixed(instr->right(), r3); |
2387 return MarkAsCall( | 2375 return MarkAsCall( |
2388 DefineFixed(new(zone()) LStringAdd(context, left, right), r0), | 2376 DefineFixed(new (zone()) LStringAdd(context, left, right), r3), instr); |
2389 instr); | |
2390 } | 2377 } |
2391 | 2378 |
2392 | 2379 |
2393 LInstruction* LChunkBuilder::DoStringCharCodeAt(HStringCharCodeAt* instr) { | 2380 LInstruction* LChunkBuilder::DoStringCharCodeAt(HStringCharCodeAt* instr) { |
2394 LOperand* string = UseTempRegister(instr->string()); | 2381 LOperand* string = UseTempRegister(instr->string()); |
2395 LOperand* index = UseTempRegister(instr->index()); | 2382 LOperand* index = UseTempRegister(instr->index()); |
2396 LOperand* context = UseAny(instr->context()); | 2383 LOperand* context = UseAny(instr->context()); |
2397 LStringCharCodeAt* result = | 2384 LStringCharCodeAt* result = |
2398 new(zone()) LStringCharCodeAt(context, string, index); | 2385 new (zone()) LStringCharCodeAt(context, string, index); |
2399 return AssignPointerMap(DefineAsRegister(result)); | 2386 return AssignPointerMap(DefineAsRegister(result)); |
2400 } | 2387 } |
2401 | 2388 |
2402 | 2389 |
2403 LInstruction* LChunkBuilder::DoStringCharFromCode(HStringCharFromCode* instr) { | 2390 LInstruction* LChunkBuilder::DoStringCharFromCode(HStringCharFromCode* instr) { |
2404 LOperand* char_code = UseRegister(instr->value()); | 2391 LOperand* char_code = UseRegister(instr->value()); |
2405 LOperand* context = UseAny(instr->context()); | 2392 LOperand* context = UseAny(instr->context()); |
2406 LStringCharFromCode* result = | 2393 LStringCharFromCode* result = |
2407 new(zone()) LStringCharFromCode(context, char_code); | 2394 new (zone()) LStringCharFromCode(context, char_code); |
2408 return AssignPointerMap(DefineAsRegister(result)); | 2395 return AssignPointerMap(DefineAsRegister(result)); |
2409 } | 2396 } |
2410 | 2397 |
2411 | 2398 |
2412 LInstruction* LChunkBuilder::DoAllocate(HAllocate* instr) { | 2399 LInstruction* LChunkBuilder::DoAllocate(HAllocate* instr) { |
2413 info()->MarkAsDeferredCalling(); | 2400 info()->MarkAsDeferredCalling(); |
2414 LOperand* context = UseAny(instr->context()); | 2401 LOperand* context = UseAny(instr->context()); |
2415 LOperand* size = UseRegisterOrConstant(instr->size()); | 2402 LOperand* size = UseRegisterOrConstant(instr->size()); |
2416 LOperand* temp1 = TempRegister(); | 2403 LOperand* temp1 = TempRegister(); |
2417 LOperand* temp2 = TempRegister(); | 2404 LOperand* temp2 = TempRegister(); |
2418 LAllocate* result = new(zone()) LAllocate(context, size, temp1, temp2); | 2405 LAllocate* result = new (zone()) LAllocate(context, size, temp1, temp2); |
2419 return AssignPointerMap(DefineAsRegister(result)); | 2406 return AssignPointerMap(DefineAsRegister(result)); |
2420 } | 2407 } |
2421 | 2408 |
2422 | 2409 |
2423 LInstruction* LChunkBuilder::DoRegExpLiteral(HRegExpLiteral* instr) { | 2410 LInstruction* LChunkBuilder::DoRegExpLiteral(HRegExpLiteral* instr) { |
2424 LOperand* context = UseFixed(instr->context(), cp); | 2411 LOperand* context = UseFixed(instr->context(), cp); |
2425 return MarkAsCall( | 2412 return MarkAsCall(DefineFixed(new (zone()) LRegExpLiteral(context), r3), |
2426 DefineFixed(new(zone()) LRegExpLiteral(context), r0), instr); | 2413 instr); |
2427 } | 2414 } |
2428 | 2415 |
2429 | 2416 |
2430 LInstruction* LChunkBuilder::DoFunctionLiteral(HFunctionLiteral* instr) { | 2417 LInstruction* LChunkBuilder::DoFunctionLiteral(HFunctionLiteral* instr) { |
2431 LOperand* context = UseFixed(instr->context(), cp); | 2418 LOperand* context = UseFixed(instr->context(), cp); |
2432 return MarkAsCall( | 2419 return MarkAsCall(DefineFixed(new (zone()) LFunctionLiteral(context), r3), |
2433 DefineFixed(new(zone()) LFunctionLiteral(context), r0), instr); | 2420 instr); |
2434 } | 2421 } |
2435 | 2422 |
2436 | 2423 |
2437 LInstruction* LChunkBuilder::DoOsrEntry(HOsrEntry* instr) { | 2424 LInstruction* LChunkBuilder::DoOsrEntry(HOsrEntry* instr) { |
2438 DCHECK(argument_count_ == 0); | 2425 DCHECK(argument_count_ == 0); |
2439 allocator_->MarkAsOsrEntry(); | 2426 allocator_->MarkAsOsrEntry(); |
2440 current_block_->last_environment()->set_ast_id(instr->ast_id()); | 2427 current_block_->last_environment()->set_ast_id(instr->ast_id()); |
2441 return AssignEnvironment(new(zone()) LOsrEntry); | 2428 return AssignEnvironment(new (zone()) LOsrEntry); |
2442 } | 2429 } |
2443 | 2430 |
2444 | 2431 |
2445 LInstruction* LChunkBuilder::DoParameter(HParameter* instr) { | 2432 LInstruction* LChunkBuilder::DoParameter(HParameter* instr) { |
2446 LParameter* result = new(zone()) LParameter; | 2433 LParameter* result = new (zone()) LParameter; |
2447 if (instr->kind() == HParameter::STACK_PARAMETER) { | 2434 if (instr->kind() == HParameter::STACK_PARAMETER) { |
2448 int spill_index = chunk()->GetParameterStackSlot(instr->index()); | 2435 int spill_index = chunk()->GetParameterStackSlot(instr->index()); |
2449 return DefineAsSpilled(result, spill_index); | 2436 return DefineAsSpilled(result, spill_index); |
2450 } else { | 2437 } else { |
2451 DCHECK(info()->IsStub()); | 2438 DCHECK(info()->IsStub()); |
2452 CallInterfaceDescriptor descriptor = | 2439 CallInterfaceDescriptor descriptor = |
2453 info()->code_stub()->GetCallInterfaceDescriptor(); | 2440 info()->code_stub()->GetCallInterfaceDescriptor(); |
2454 int index = static_cast<int>(instr->index()); | 2441 int index = static_cast<int>(instr->index()); |
2455 Register reg = descriptor.GetEnvironmentParameterRegister(index); | 2442 Register reg = descriptor.GetEnvironmentParameterRegister(index); |
2456 return DefineFixed(result, reg); | 2443 return DefineFixed(result, reg); |
2457 } | 2444 } |
2458 } | 2445 } |
2459 | 2446 |
2460 | 2447 |
2461 LInstruction* LChunkBuilder::DoUnknownOSRValue(HUnknownOSRValue* instr) { | 2448 LInstruction* LChunkBuilder::DoUnknownOSRValue(HUnknownOSRValue* instr) { |
2462 // Use an index that corresponds to the location in the unoptimized frame, | 2449 // Use an index that corresponds to the location in the unoptimized frame, |
2463 // which the optimized frame will subsume. | 2450 // which the optimized frame will subsume. |
2464 int env_index = instr->index(); | 2451 int env_index = instr->index(); |
2465 int spill_index = 0; | 2452 int spill_index = 0; |
2466 if (instr->environment()->is_parameter_index(env_index)) { | 2453 if (instr->environment()->is_parameter_index(env_index)) { |
2467 spill_index = chunk()->GetParameterStackSlot(env_index); | 2454 spill_index = chunk()->GetParameterStackSlot(env_index); |
2468 } else { | 2455 } else { |
2469 spill_index = env_index - instr->environment()->first_local_index(); | 2456 spill_index = env_index - instr->environment()->first_local_index(); |
2470 if (spill_index > LUnallocated::kMaxFixedSlotIndex) { | 2457 if (spill_index > LUnallocated::kMaxFixedSlotIndex) { |
2471 Retry(kTooManySpillSlotsNeededForOSR); | 2458 Retry(kTooManySpillSlotsNeededForOSR); |
2472 spill_index = 0; | 2459 spill_index = 0; |
2473 } | 2460 } |
2474 } | 2461 } |
2475 return DefineAsSpilled(new(zone()) LUnknownOSRValue, spill_index); | 2462 return DefineAsSpilled(new (zone()) LUnknownOSRValue, spill_index); |
2476 } | 2463 } |
2477 | 2464 |
2478 | 2465 |
2479 LInstruction* LChunkBuilder::DoCallStub(HCallStub* instr) { | 2466 LInstruction* LChunkBuilder::DoCallStub(HCallStub* instr) { |
2480 LOperand* context = UseFixed(instr->context(), cp); | 2467 LOperand* context = UseFixed(instr->context(), cp); |
2481 return MarkAsCall(DefineFixed(new(zone()) LCallStub(context), r0), instr); | 2468 return MarkAsCall(DefineFixed(new (zone()) LCallStub(context), r3), instr); |
2482 } | 2469 } |
2483 | 2470 |
2484 | 2471 |
2485 LInstruction* LChunkBuilder::DoArgumentsObject(HArgumentsObject* instr) { | 2472 LInstruction* LChunkBuilder::DoArgumentsObject(HArgumentsObject* instr) { |
2486 // There are no real uses of the arguments object. | 2473 // There are no real uses of the arguments object. |
2487 // arguments.length and element access are supported directly on | 2474 // arguments.length and element access are supported directly on |
2488 // stack arguments, and any real arguments object use causes a bailout. | 2475 // stack arguments, and any real arguments object use causes a bailout. |
2489 // So this value is never used. | 2476 // So this value is never used. |
2490 return NULL; | 2477 return NULL; |
2491 } | 2478 } |
2492 | 2479 |
2493 | 2480 |
2494 LInstruction* LChunkBuilder::DoCapturedObject(HCapturedObject* instr) { | 2481 LInstruction* LChunkBuilder::DoCapturedObject(HCapturedObject* instr) { |
2495 instr->ReplayEnvironment(current_block_->last_environment()); | 2482 instr->ReplayEnvironment(current_block_->last_environment()); |
2496 | 2483 |
2497 // There are no real uses of a captured object. | 2484 // There are no real uses of a captured object. |
2498 return NULL; | 2485 return NULL; |
2499 } | 2486 } |
2500 | 2487 |
2501 | 2488 |
2502 LInstruction* LChunkBuilder::DoAccessArgumentsAt(HAccessArgumentsAt* instr) { | 2489 LInstruction* LChunkBuilder::DoAccessArgumentsAt(HAccessArgumentsAt* instr) { |
2503 info()->MarkAsRequiresFrame(); | 2490 info()->MarkAsRequiresFrame(); |
2504 LOperand* args = UseRegister(instr->arguments()); | 2491 LOperand* args = UseRegister(instr->arguments()); |
2505 LOperand* length = UseRegisterOrConstantAtStart(instr->length()); | 2492 LOperand* length = UseRegisterOrConstantAtStart(instr->length()); |
2506 LOperand* index = UseRegisterOrConstantAtStart(instr->index()); | 2493 LOperand* index = UseRegisterOrConstantAtStart(instr->index()); |
2507 return DefineAsRegister(new(zone()) LAccessArgumentsAt(args, length, index)); | 2494 return DefineAsRegister(new (zone()) LAccessArgumentsAt(args, length, index)); |
2508 } | 2495 } |
2509 | 2496 |
2510 | 2497 |
2511 LInstruction* LChunkBuilder::DoToFastProperties(HToFastProperties* instr) { | 2498 LInstruction* LChunkBuilder::DoToFastProperties(HToFastProperties* instr) { |
2512 LOperand* object = UseFixed(instr->value(), r0); | 2499 LOperand* object = UseFixed(instr->value(), r3); |
2513 LToFastProperties* result = new(zone()) LToFastProperties(object); | 2500 LToFastProperties* result = new (zone()) LToFastProperties(object); |
2514 return MarkAsCall(DefineFixed(result, r0), instr); | 2501 return MarkAsCall(DefineFixed(result, r3), instr); |
2515 } | 2502 } |
2516 | 2503 |
2517 | 2504 |
2518 LInstruction* LChunkBuilder::DoTypeof(HTypeof* instr) { | 2505 LInstruction* LChunkBuilder::DoTypeof(HTypeof* instr) { |
2519 LOperand* context = UseFixed(instr->context(), cp); | 2506 LOperand* context = UseFixed(instr->context(), cp); |
2520 LTypeof* result = new(zone()) LTypeof(context, UseFixed(instr->value(), r0)); | 2507 LTypeof* result = new (zone()) LTypeof(context, UseFixed(instr->value(), r3)); |
2521 return MarkAsCall(DefineFixed(result, r0), instr); | 2508 return MarkAsCall(DefineFixed(result, r3), instr); |
2522 } | 2509 } |
2523 | 2510 |
2524 | 2511 |
2525 LInstruction* LChunkBuilder::DoTypeofIsAndBranch(HTypeofIsAndBranch* instr) { | 2512 LInstruction* LChunkBuilder::DoTypeofIsAndBranch(HTypeofIsAndBranch* instr) { |
2526 return new(zone()) LTypeofIsAndBranch(UseRegister(instr->value())); | 2513 return new (zone()) LTypeofIsAndBranch(UseRegister(instr->value())); |
2527 } | 2514 } |
2528 | 2515 |
2529 | 2516 |
2530 LInstruction* LChunkBuilder::DoIsConstructCallAndBranch( | 2517 LInstruction* LChunkBuilder::DoIsConstructCallAndBranch( |
2531 HIsConstructCallAndBranch* instr) { | 2518 HIsConstructCallAndBranch* instr) { |
2532 return new(zone()) LIsConstructCallAndBranch(TempRegister()); | 2519 return new (zone()) LIsConstructCallAndBranch(TempRegister()); |
2533 } | 2520 } |
2534 | 2521 |
2535 | 2522 |
2536 LInstruction* LChunkBuilder::DoSimulate(HSimulate* instr) { | 2523 LInstruction* LChunkBuilder::DoSimulate(HSimulate* instr) { |
2537 instr->ReplayEnvironment(current_block_->last_environment()); | 2524 instr->ReplayEnvironment(current_block_->last_environment()); |
2538 return NULL; | 2525 return NULL; |
2539 } | 2526 } |
2540 | 2527 |
2541 | 2528 |
2542 LInstruction* LChunkBuilder::DoStackCheck(HStackCheck* instr) { | 2529 LInstruction* LChunkBuilder::DoStackCheck(HStackCheck* instr) { |
2543 if (instr->is_function_entry()) { | 2530 if (instr->is_function_entry()) { |
2544 LOperand* context = UseFixed(instr->context(), cp); | 2531 LOperand* context = UseFixed(instr->context(), cp); |
2545 return MarkAsCall(new(zone()) LStackCheck(context), instr); | 2532 return MarkAsCall(new (zone()) LStackCheck(context), instr); |
2546 } else { | 2533 } else { |
2547 DCHECK(instr->is_backwards_branch()); | 2534 DCHECK(instr->is_backwards_branch()); |
2548 LOperand* context = UseAny(instr->context()); | 2535 LOperand* context = UseAny(instr->context()); |
2549 return AssignEnvironment( | 2536 return AssignEnvironment( |
2550 AssignPointerMap(new(zone()) LStackCheck(context))); | 2537 AssignPointerMap(new (zone()) LStackCheck(context))); |
2551 } | 2538 } |
2552 } | 2539 } |
2553 | 2540 |
2554 | 2541 |
2555 LInstruction* LChunkBuilder::DoEnterInlined(HEnterInlined* instr) { | 2542 LInstruction* LChunkBuilder::DoEnterInlined(HEnterInlined* instr) { |
2556 HEnvironment* outer = current_block_->last_environment(); | 2543 HEnvironment* outer = current_block_->last_environment(); |
2557 outer->set_ast_id(instr->ReturnId()); | 2544 outer->set_ast_id(instr->ReturnId()); |
2558 HConstant* undefined = graph()->GetConstantUndefined(); | 2545 HConstant* undefined = graph()->GetConstantUndefined(); |
2559 HEnvironment* inner = outer->CopyForInlining(instr->closure(), | 2546 HEnvironment* inner = outer->CopyForInlining( |
2560 instr->arguments_count(), | 2547 instr->closure(), instr->arguments_count(), instr->function(), undefined, |
2561 instr->function(), | 2548 instr->inlining_kind()); |
2562 undefined, | |
2563 instr->inlining_kind()); | |
2564 // Only replay binding of arguments object if it wasn't removed from graph. | 2549 // Only replay binding of arguments object if it wasn't removed from graph. |
2565 if (instr->arguments_var() != NULL && instr->arguments_object()->IsLinked()) { | 2550 if (instr->arguments_var() != NULL && instr->arguments_object()->IsLinked()) { |
2566 inner->Bind(instr->arguments_var(), instr->arguments_object()); | 2551 inner->Bind(instr->arguments_var(), instr->arguments_object()); |
2567 } | 2552 } |
2568 inner->BindContext(instr->closure_context()); | 2553 inner->BindContext(instr->closure_context()); |
2569 inner->set_entry(instr); | 2554 inner->set_entry(instr); |
2570 current_block_->UpdateEnvironment(inner); | 2555 current_block_->UpdateEnvironment(inner); |
2571 chunk_->AddInlinedClosure(instr->closure()); | 2556 chunk_->AddInlinedClosure(instr->closure()); |
2572 return NULL; | 2557 return NULL; |
2573 } | 2558 } |
2574 | 2559 |
2575 | 2560 |
2576 LInstruction* LChunkBuilder::DoLeaveInlined(HLeaveInlined* instr) { | 2561 LInstruction* LChunkBuilder::DoLeaveInlined(HLeaveInlined* instr) { |
2577 LInstruction* pop = NULL; | 2562 LInstruction* pop = NULL; |
2578 | 2563 |
2579 HEnvironment* env = current_block_->last_environment(); | 2564 HEnvironment* env = current_block_->last_environment(); |
2580 | 2565 |
2581 if (env->entry()->arguments_pushed()) { | 2566 if (env->entry()->arguments_pushed()) { |
2582 int argument_count = env->arguments_environment()->parameter_count(); | 2567 int argument_count = env->arguments_environment()->parameter_count(); |
2583 pop = new(zone()) LDrop(argument_count); | 2568 pop = new (zone()) LDrop(argument_count); |
2584 DCHECK(instr->argument_delta() == -argument_count); | 2569 DCHECK(instr->argument_delta() == -argument_count); |
2585 } | 2570 } |
2586 | 2571 |
2587 HEnvironment* outer = current_block_->last_environment()-> | 2572 HEnvironment* outer = |
2588 DiscardInlined(false); | 2573 current_block_->last_environment()->DiscardInlined(false); |
2589 current_block_->UpdateEnvironment(outer); | 2574 current_block_->UpdateEnvironment(outer); |
2590 | 2575 |
2591 return pop; | 2576 return pop; |
2592 } | 2577 } |
2593 | 2578 |
2594 | 2579 |
2595 LInstruction* LChunkBuilder::DoForInPrepareMap(HForInPrepareMap* instr) { | 2580 LInstruction* LChunkBuilder::DoForInPrepareMap(HForInPrepareMap* instr) { |
2596 LOperand* context = UseFixed(instr->context(), cp); | 2581 LOperand* context = UseFixed(instr->context(), cp); |
2597 LOperand* object = UseFixed(instr->enumerable(), r0); | 2582 LOperand* object = UseFixed(instr->enumerable(), r3); |
2598 LForInPrepareMap* result = new(zone()) LForInPrepareMap(context, object); | 2583 LForInPrepareMap* result = new (zone()) LForInPrepareMap(context, object); |
2599 return MarkAsCall(DefineFixed(result, r0), instr, CAN_DEOPTIMIZE_EAGERLY); | 2584 return MarkAsCall(DefineFixed(result, r3), instr, CAN_DEOPTIMIZE_EAGERLY); |
2600 } | 2585 } |
2601 | 2586 |
2602 | 2587 |
2603 LInstruction* LChunkBuilder::DoForInCacheArray(HForInCacheArray* instr) { | 2588 LInstruction* LChunkBuilder::DoForInCacheArray(HForInCacheArray* instr) { |
2604 LOperand* map = UseRegister(instr->map()); | 2589 LOperand* map = UseRegister(instr->map()); |
2605 return AssignEnvironment(DefineAsRegister(new(zone()) LForInCacheArray(map))); | 2590 return AssignEnvironment( |
| 2591 DefineAsRegister(new (zone()) LForInCacheArray(map))); |
2606 } | 2592 } |
2607 | 2593 |
2608 | 2594 |
2609 LInstruction* LChunkBuilder::DoCheckMapValue(HCheckMapValue* instr) { | 2595 LInstruction* LChunkBuilder::DoCheckMapValue(HCheckMapValue* instr) { |
2610 LOperand* value = UseRegisterAtStart(instr->value()); | 2596 LOperand* value = UseRegisterAtStart(instr->value()); |
2611 LOperand* map = UseRegisterAtStart(instr->map()); | 2597 LOperand* map = UseRegisterAtStart(instr->map()); |
2612 return AssignEnvironment(new(zone()) LCheckMapValue(value, map)); | 2598 return AssignEnvironment(new (zone()) LCheckMapValue(value, map)); |
2613 } | 2599 } |
2614 | 2600 |
2615 | 2601 |
2616 LInstruction* LChunkBuilder::DoLoadFieldByIndex(HLoadFieldByIndex* instr) { | 2602 LInstruction* LChunkBuilder::DoLoadFieldByIndex(HLoadFieldByIndex* instr) { |
2617 LOperand* object = UseRegister(instr->object()); | 2603 LOperand* object = UseRegister(instr->object()); |
2618 LOperand* index = UseTempRegister(instr->index()); | 2604 LOperand* index = UseTempRegister(instr->index()); |
2619 LLoadFieldByIndex* load = new(zone()) LLoadFieldByIndex(object, index); | 2605 LLoadFieldByIndex* load = new (zone()) LLoadFieldByIndex(object, index); |
2620 LInstruction* result = DefineSameAsFirst(load); | 2606 LInstruction* result = DefineSameAsFirst(load); |
2621 return AssignPointerMap(result); | 2607 return AssignPointerMap(result); |
2622 } | 2608 } |
2623 | 2609 |
2624 | 2610 |
2625 LInstruction* LChunkBuilder::DoStoreFrameContext(HStoreFrameContext* instr) { | 2611 LInstruction* LChunkBuilder::DoStoreFrameContext(HStoreFrameContext* instr) { |
2626 LOperand* context = UseRegisterAtStart(instr->context()); | 2612 LOperand* context = UseRegisterAtStart(instr->context()); |
2627 return new(zone()) LStoreFrameContext(context); | 2613 return new (zone()) LStoreFrameContext(context); |
2628 } | 2614 } |
2629 | 2615 |
2630 | 2616 |
2631 LInstruction* LChunkBuilder::DoAllocateBlockContext( | 2617 LInstruction* LChunkBuilder::DoAllocateBlockContext( |
2632 HAllocateBlockContext* instr) { | 2618 HAllocateBlockContext* instr) { |
2633 LOperand* context = UseFixed(instr->context(), cp); | 2619 LOperand* context = UseFixed(instr->context(), cp); |
2634 LOperand* function = UseRegisterAtStart(instr->function()); | 2620 LOperand* function = UseRegisterAtStart(instr->function()); |
2635 LAllocateBlockContext* result = | 2621 LAllocateBlockContext* result = |
2636 new(zone()) LAllocateBlockContext(context, function); | 2622 new (zone()) LAllocateBlockContext(context, function); |
2637 return MarkAsCall(DefineFixed(result, cp), instr); | 2623 return MarkAsCall(DefineFixed(result, cp), instr); |
2638 } | 2624 } |
2639 | 2625 } |
2640 } } // namespace v8::internal | 2626 } // namespace v8::internal |
OLD | NEW |