OLD | NEW |
1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 the V8 project authors. All rights reserved. |
2 // Redistribution and use in source and binary forms, with or without | 2 // Redistribution and use in source and binary forms, with or without |
3 // modification, are permitted provided that the following conditions are | 3 // modification, are permitted provided that the following conditions are |
4 // met: | 4 // met: |
5 // | 5 // |
6 // * Redistributions of source code must retain the above copyright | 6 // * Redistributions of source code must retain the above copyright |
7 // notice, this list of conditions and the following disclaimer. | 7 // notice, this list of conditions and the following disclaimer. |
8 // * Redistributions in binary form must reproduce the above | 8 // * Redistributions in binary form must reproduce the above |
9 // copyright notice, this list of conditions and the following | 9 // copyright notice, this list of conditions and the following |
10 // disclaimer in the documentation and/or other materials provided | 10 // disclaimer in the documentation and/or other materials provided |
(...skipping 49 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
60 LOperand* spill_operand) { | 60 LOperand* spill_operand) { |
61 ASSERT(spill_operand->IsDoubleStackSlot()); | 61 ASSERT(spill_operand->IsDoubleStackSlot()); |
62 ASSERT(double_register_spills_[allocation_index] == NULL); | 62 ASSERT(double_register_spills_[allocation_index] == NULL); |
63 double_register_spills_[allocation_index] = spill_operand; | 63 double_register_spills_[allocation_index] = spill_operand; |
64 } | 64 } |
65 | 65 |
66 | 66 |
67 void LInstruction::PrintTo(StringStream* stream) { | 67 void LInstruction::PrintTo(StringStream* stream) { |
68 stream->Add("%s ", this->Mnemonic()); | 68 stream->Add("%s ", this->Mnemonic()); |
69 if (HasResult()) { | 69 if (HasResult()) { |
70 LTemplateInstruction<1>::cast(this)->result()->PrintTo(stream); | 70 PrintOutputOperandTo(stream); |
71 stream->Add(" "); | |
72 } | 71 } |
| 72 |
73 PrintDataTo(stream); | 73 PrintDataTo(stream); |
74 | 74 |
75 if (HasEnvironment()) { | 75 if (HasEnvironment()) { |
76 stream->Add(" "); | 76 stream->Add(" "); |
77 environment()->PrintTo(stream); | 77 environment()->PrintTo(stream); |
78 } | 78 } |
79 | 79 |
80 if (HasPointerMap()) { | 80 if (HasPointerMap()) { |
81 stream->Add(" "); | 81 stream->Add(" "); |
82 pointer_map()->PrintTo(stream); | 82 pointer_map()->PrintTo(stream); |
83 } | 83 } |
84 } | 84 } |
85 | 85 |
86 | 86 |
| 87 template<int R, int I, int T> |
| 88 void LTemplateInstruction<R, I, T>::PrintDataTo(StringStream* stream) { |
| 89 for (int i = 0; i < I; i++) { |
| 90 stream->Add(i == 0 ? "= " : " "); |
| 91 inputs_.at(i)->PrintTo(stream); |
| 92 } |
| 93 } |
| 94 |
| 95 |
| 96 template<int R, int I, int T> |
| 97 void LTemplateInstruction<R, I, T>::PrintOutputOperandTo(StringStream* stream) { |
| 98 if (this->HasResult()) { |
| 99 this->result()->PrintTo(stream); |
| 100 stream->Add(" "); |
| 101 } |
| 102 } |
| 103 |
| 104 |
87 void LLabel::PrintDataTo(StringStream* stream) { | 105 void LLabel::PrintDataTo(StringStream* stream) { |
88 LGap::PrintDataTo(stream); | 106 LGap::PrintDataTo(stream); |
89 LLabel* rep = replacement(); | 107 LLabel* rep = replacement(); |
90 if (rep != NULL) { | 108 if (rep != NULL) { |
91 stream->Add(" Dead block replaced with B%d", rep->block_id()); | 109 stream->Add(" Dead block replaced with B%d", rep->block_id()); |
92 } | 110 } |
93 } | 111 } |
94 | 112 |
95 | 113 |
96 bool LGap::IsRedundant() const { | 114 bool LGap::IsRedundant() const { |
(...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
136 case Token::MUL: return "mul-t"; | 154 case Token::MUL: return "mul-t"; |
137 case Token::MOD: return "mod-t"; | 155 case Token::MOD: return "mod-t"; |
138 case Token::DIV: return "div-t"; | 156 case Token::DIV: return "div-t"; |
139 default: | 157 default: |
140 UNREACHABLE(); | 158 UNREACHABLE(); |
141 return NULL; | 159 return NULL; |
142 } | 160 } |
143 } | 161 } |
144 | 162 |
145 | 163 |
146 | |
147 void LBinaryOperation::PrintDataTo(StringStream* stream) { | |
148 stream->Add("= "); | |
149 left()->PrintTo(stream); | |
150 stream->Add(" "); | |
151 right()->PrintTo(stream); | |
152 } | |
153 | |
154 | |
155 void LGoto::PrintDataTo(StringStream* stream) { | 164 void LGoto::PrintDataTo(StringStream* stream) { |
156 stream->Add("B%d", block_id()); | 165 stream->Add("B%d", block_id()); |
157 } | 166 } |
158 | 167 |
159 | 168 |
160 void LBranch::PrintDataTo(StringStream* stream) { | 169 void LBranch::PrintDataTo(StringStream* stream) { |
161 stream->Add("B%d | B%d on ", true_block_id(), false_block_id()); | 170 stream->Add("B%d | B%d on ", true_block_id(), false_block_id()); |
162 input()->PrintTo(stream); | 171 input()->PrintTo(stream); |
163 } | 172 } |
164 | 173 |
(...skipping 95 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
260 stream->Add("%s #%d / ", *name_string, arity()); | 269 stream->Add("%s #%d / ", *name_string, arity()); |
261 } | 270 } |
262 | 271 |
263 | 272 |
264 void LCallKnownGlobal::PrintDataTo(StringStream* stream) { | 273 void LCallKnownGlobal::PrintDataTo(StringStream* stream) { |
265 stream->Add("#%d / ", arity()); | 274 stream->Add("#%d / ", arity()); |
266 } | 275 } |
267 | 276 |
268 | 277 |
269 void LCallNew::PrintDataTo(StringStream* stream) { | 278 void LCallNew::PrintDataTo(StringStream* stream) { |
270 LUnaryOperation<1>::PrintDataTo(stream); | 279 stream->Add("= "); |
| 280 input()->PrintTo(stream); |
271 stream->Add(" #%d / ", arity()); | 281 stream->Add(" #%d / ", arity()); |
272 } | 282 } |
273 | 283 |
274 | 284 |
275 void LClassOfTest::PrintDataTo(StringStream* stream) { | 285 void LClassOfTest::PrintDataTo(StringStream* stream) { |
276 stream->Add("= class_of_test("); | 286 stream->Add("= class_of_test("); |
277 input()->PrintTo(stream); | 287 input()->PrintTo(stream); |
278 stream->Add(", \"%o\")", *hydrogen()->class_name()); | 288 stream->Add(", \"%o\")", *hydrogen()->class_name()); |
279 } | 289 } |
280 | 290 |
281 | 291 |
282 template <int R> | |
283 void LUnaryOperation<R>::PrintDataTo(StringStream* stream) { | |
284 stream->Add("= "); | |
285 input()->PrintTo(stream); | |
286 } | |
287 | |
288 | |
289 void LAccessArgumentsAt::PrintDataTo(StringStream* stream) { | 292 void LAccessArgumentsAt::PrintDataTo(StringStream* stream) { |
290 arguments()->PrintTo(stream); | 293 arguments()->PrintTo(stream); |
291 | 294 |
292 stream->Add(" length "); | 295 stream->Add(" length "); |
293 length()->PrintTo(stream); | 296 length()->PrintTo(stream); |
294 | 297 |
295 stream->Add(" index "); | 298 stream->Add(" index "); |
296 index()->PrintTo(stream); | 299 index()->PrintTo(stream); |
297 } | 300 } |
298 | 301 |
299 | 302 |
300 void LChunk::Verify() const { | |
301 // TODO(twuerthinger): Implement verification for chunk. | |
302 } | |
303 | |
304 | |
305 int LChunk::GetNextSpillIndex(bool is_double) { | 303 int LChunk::GetNextSpillIndex(bool is_double) { |
306 // Skip a slot if for a double-width slot. | 304 // Skip a slot if for a double-width slot. |
307 if (is_double) spill_slot_count_++; | 305 if (is_double) spill_slot_count_++; |
308 return spill_slot_count_++; | 306 return spill_slot_count_++; |
309 } | 307 } |
310 | 308 |
311 | 309 |
312 LOperand* LChunk::GetNextSpillSlot(bool is_double) { | 310 LOperand* LChunk::GetNextSpillSlot(bool is_double) { |
313 int index = GetNextSpillIndex(is_double); | 311 int index = GetNextSpillIndex(is_double); |
314 if (is_double) { | 312 if (is_double) { |
(...skipping 251 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
566 LOperand* LChunkBuilder::Use(HValue* value, LUnallocated* operand) { | 564 LOperand* LChunkBuilder::Use(HValue* value, LUnallocated* operand) { |
567 if (value->EmitAtUses()) { | 565 if (value->EmitAtUses()) { |
568 HInstruction* instr = HInstruction::cast(value); | 566 HInstruction* instr = HInstruction::cast(value); |
569 VisitInstruction(instr); | 567 VisitInstruction(instr); |
570 } | 568 } |
571 allocator_->RecordUse(value, operand); | 569 allocator_->RecordUse(value, operand); |
572 return operand; | 570 return operand; |
573 } | 571 } |
574 | 572 |
575 | 573 |
576 LInstruction* LChunkBuilder::Define(LTemplateInstruction<1>* instr) { | 574 template<int I, int T> |
| 575 LInstruction* LChunkBuilder::Define(LTemplateInstruction<1, I, T>* instr, |
| 576 LUnallocated* result) { |
| 577 allocator_->RecordDefinition(current_instruction_, result); |
| 578 instr->set_result(result); |
| 579 return instr; |
| 580 } |
| 581 |
| 582 |
| 583 template<int I, int T> |
| 584 LInstruction* LChunkBuilder::Define(LTemplateInstruction<1, I, T>* instr) { |
577 return Define(instr, new LUnallocated(LUnallocated::NONE)); | 585 return Define(instr, new LUnallocated(LUnallocated::NONE)); |
578 } | 586 } |
579 | 587 |
580 | 588 |
581 LInstruction* LChunkBuilder::DefineAsRegister(LTemplateInstruction<1>* instr) { | 589 template<int I, int T> |
| 590 LInstruction* LChunkBuilder::DefineAsRegister( |
| 591 LTemplateInstruction<1, I, T>* instr) { |
582 return Define(instr, new LUnallocated(LUnallocated::MUST_HAVE_REGISTER)); | 592 return Define(instr, new LUnallocated(LUnallocated::MUST_HAVE_REGISTER)); |
583 } | 593 } |
584 | 594 |
585 | 595 |
586 LInstruction* LChunkBuilder::DefineAsSpilled(LTemplateInstruction<1>* instr, | 596 template<int I, int T> |
587 int index) { | 597 LInstruction* LChunkBuilder::DefineAsSpilled( |
| 598 LTemplateInstruction<1, I, T>* instr, |
| 599 int index) { |
588 return Define(instr, new LUnallocated(LUnallocated::FIXED_SLOT, index)); | 600 return Define(instr, new LUnallocated(LUnallocated::FIXED_SLOT, index)); |
589 } | 601 } |
590 | 602 |
591 | 603 |
592 LInstruction* LChunkBuilder::DefineSameAsFirst(LTemplateInstruction<1>* instr) { | 604 template<int I, int T> |
| 605 LInstruction* LChunkBuilder::DefineSameAsFirst( |
| 606 LTemplateInstruction<1, I, T>* instr) { |
593 return Define(instr, new LUnallocated(LUnallocated::SAME_AS_FIRST_INPUT)); | 607 return Define(instr, new LUnallocated(LUnallocated::SAME_AS_FIRST_INPUT)); |
594 } | 608 } |
595 | 609 |
596 | 610 |
597 LInstruction* LChunkBuilder::DefineFixed(LTemplateInstruction<1>* instr, | 611 template<int I, int T> |
| 612 LInstruction* LChunkBuilder::DefineFixed(LTemplateInstruction<1, I, T>* instr, |
598 Register reg) { | 613 Register reg) { |
599 return Define(instr, ToUnallocated(reg)); | 614 return Define(instr, ToUnallocated(reg)); |
600 } | 615 } |
601 | 616 |
602 | 617 |
603 LInstruction* LChunkBuilder::DefineFixedDouble(LTemplateInstruction<1>* instr, | 618 template<int I, int T> |
604 XMMRegister reg) { | 619 LInstruction* LChunkBuilder::DefineFixedDouble( |
| 620 LTemplateInstruction<1, I, T>* instr, |
| 621 XMMRegister reg) { |
605 return Define(instr, ToUnallocated(reg)); | 622 return Define(instr, ToUnallocated(reg)); |
606 } | 623 } |
607 | 624 |
608 | 625 |
609 LInstruction* LChunkBuilder::AssignEnvironment(LInstruction* instr) { | 626 LInstruction* LChunkBuilder::AssignEnvironment(LInstruction* instr) { |
610 HEnvironment* hydrogen_env = current_block_->last_environment(); | 627 HEnvironment* hydrogen_env = current_block_->last_environment(); |
611 instr->set_environment(CreateEnvironment(hydrogen_env)); | 628 instr->set_environment(CreateEnvironment(hydrogen_env)); |
612 return instr; | 629 return instr; |
613 } | 630 } |
614 | 631 |
(...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
662 } | 679 } |
663 | 680 |
664 | 681 |
665 LInstruction* LChunkBuilder::AssignPointerMap(LInstruction* instr) { | 682 LInstruction* LChunkBuilder::AssignPointerMap(LInstruction* instr) { |
666 ASSERT(!instr->HasPointerMap()); | 683 ASSERT(!instr->HasPointerMap()); |
667 instr->set_pointer_map(new LPointerMap(position_)); | 684 instr->set_pointer_map(new LPointerMap(position_)); |
668 return instr; | 685 return instr; |
669 } | 686 } |
670 | 687 |
671 | 688 |
672 LInstruction* LChunkBuilder::Define(LTemplateInstruction<1>* instr, | |
673 LUnallocated* result) { | |
674 allocator_->RecordDefinition(current_instruction_, result); | |
675 instr->set_result(result); | |
676 return instr; | |
677 } | |
678 | |
679 | |
680 LUnallocated* LChunkBuilder::TempRegister() { | 689 LUnallocated* LChunkBuilder::TempRegister() { |
681 LUnallocated* operand = new LUnallocated(LUnallocated::MUST_HAVE_REGISTER); | 690 LUnallocated* operand = new LUnallocated(LUnallocated::MUST_HAVE_REGISTER); |
682 allocator_->RecordTemporary(operand); | 691 allocator_->RecordTemporary(operand); |
683 return operand; | 692 return operand; |
684 } | 693 } |
685 | 694 |
686 | 695 |
687 LOperand* LChunkBuilder::FixedTemp(Register reg) { | 696 LOperand* LChunkBuilder::FixedTemp(Register reg) { |
688 LUnallocated* operand = ToUnallocated(reg); | 697 LUnallocated* operand = ToUnallocated(reg); |
689 allocator_->RecordTemporary(operand); | 698 allocator_->RecordTemporary(operand); |
(...skipping 582 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1272 | 1281 |
1273 | 1282 |
1274 LInstruction* LChunkBuilder::DoBitAnd(HBitAnd* instr) { | 1283 LInstruction* LChunkBuilder::DoBitAnd(HBitAnd* instr) { |
1275 return DoBit(Token::BIT_AND, instr); | 1284 return DoBit(Token::BIT_AND, instr); |
1276 } | 1285 } |
1277 | 1286 |
1278 | 1287 |
1279 LInstruction* LChunkBuilder::DoBitNot(HBitNot* instr) { | 1288 LInstruction* LChunkBuilder::DoBitNot(HBitNot* instr) { |
1280 ASSERT(instr->value()->representation().IsInteger32()); | 1289 ASSERT(instr->value()->representation().IsInteger32()); |
1281 ASSERT(instr->representation().IsInteger32()); | 1290 ASSERT(instr->representation().IsInteger32()); |
1282 return DefineSameAsFirst(new LBitNotI(UseRegisterAtStart(instr->value()))); | 1291 LOperand* input = UseRegisterAtStart(instr->value()); |
| 1292 LBitNotI* result = new LBitNotI(input); |
| 1293 return DefineSameAsFirst(result); |
1283 } | 1294 } |
1284 | 1295 |
1285 | 1296 |
1286 LInstruction* LChunkBuilder::DoBitOr(HBitOr* instr) { | 1297 LInstruction* LChunkBuilder::DoBitOr(HBitOr* instr) { |
1287 return DoBit(Token::BIT_OR, instr); | 1298 return DoBit(Token::BIT_OR, instr); |
1288 } | 1299 } |
1289 | 1300 |
1290 | 1301 |
1291 LInstruction* LChunkBuilder::DoBitXor(HBitXor* instr) { | 1302 LInstruction* LChunkBuilder::DoBitXor(HBitXor* instr) { |
1292 return DoBit(Token::BIT_XOR, instr); | 1303 return DoBit(Token::BIT_XOR, instr); |
(...skipping 629 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1922 void LPointerMap::PrintTo(StringStream* stream) { | 1933 void LPointerMap::PrintTo(StringStream* stream) { |
1923 stream->Add("{"); | 1934 stream->Add("{"); |
1924 for (int i = 0; i < pointer_operands_.length(); ++i) { | 1935 for (int i = 0; i < pointer_operands_.length(); ++i) { |
1925 if (i != 0) stream->Add(";"); | 1936 if (i != 0) stream->Add(";"); |
1926 pointer_operands_[i]->PrintTo(stream); | 1937 pointer_operands_[i]->PrintTo(stream); |
1927 } | 1938 } |
1928 stream->Add("} @%d", position()); | 1939 stream->Add("} @%d", position()); |
1929 } | 1940 } |
1930 | 1941 |
1931 } } // namespace v8::internal | 1942 } } // namespace v8::internal |
OLD | NEW |