| OLD | NEW |
| 1 // Copyright 2014 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 #ifndef V8_COMPILER_INSTRUCTION_H_ | 5 #ifndef V8_COMPILER_INSTRUCTION_H_ |
| 6 #define V8_COMPILER_INSTRUCTION_H_ | 6 #define V8_COMPILER_INSTRUCTION_H_ |
| 7 | 7 |
| 8 #include <deque> | 8 #include <deque> |
| 9 #include <iosfwd> | 9 #include <iosfwd> |
| 10 #include <map> | 10 #include <map> |
| (...skipping 436 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 447 InstructionCode opcode() const { return opcode_; } | 447 InstructionCode opcode() const { return opcode_; } |
| 448 ArchOpcode arch_opcode() const { return ArchOpcodeField::decode(opcode()); } | 448 ArchOpcode arch_opcode() const { return ArchOpcodeField::decode(opcode()); } |
| 449 AddressingMode addressing_mode() const { | 449 AddressingMode addressing_mode() const { |
| 450 return AddressingModeField::decode(opcode()); | 450 return AddressingModeField::decode(opcode()); |
| 451 } | 451 } |
| 452 FlagsMode flags_mode() const { return FlagsModeField::decode(opcode()); } | 452 FlagsMode flags_mode() const { return FlagsModeField::decode(opcode()); } |
| 453 FlagsCondition flags_condition() const { | 453 FlagsCondition flags_condition() const { |
| 454 return FlagsConditionField::decode(opcode()); | 454 return FlagsConditionField::decode(opcode()); |
| 455 } | 455 } |
| 456 | 456 |
| 457 // TODO(titzer): make call into a flag. | 457 // TODO(titzer): make control and call into flags. |
| 458 static Instruction* New(Zone* zone, InstructionCode opcode) { | 458 static Instruction* New(Zone* zone, InstructionCode opcode) { |
| 459 return New(zone, opcode, 0, NULL, 0, NULL, 0, NULL); | 459 return New(zone, opcode, 0, NULL, 0, NULL, 0, NULL); |
| 460 } | 460 } |
| 461 | 461 |
| 462 static Instruction* New(Zone* zone, InstructionCode opcode, | 462 static Instruction* New(Zone* zone, InstructionCode opcode, |
| 463 size_t output_count, InstructionOperand** outputs, | 463 size_t output_count, InstructionOperand** outputs, |
| 464 size_t input_count, InstructionOperand** inputs, | 464 size_t input_count, InstructionOperand** inputs, |
| 465 size_t temp_count, InstructionOperand** temps) { | 465 size_t temp_count, InstructionOperand** temps) { |
| 466 DCHECK(opcode >= 0); | 466 DCHECK(opcode >= 0); |
| 467 DCHECK(output_count == 0 || outputs != NULL); | 467 DCHECK(output_count == 0 || outputs != NULL); |
| 468 DCHECK(input_count == 0 || inputs != NULL); | 468 DCHECK(input_count == 0 || inputs != NULL); |
| 469 DCHECK(temp_count == 0 || temps != NULL); | 469 DCHECK(temp_count == 0 || temps != NULL); |
| 470 InstructionOperand* none = NULL; | 470 InstructionOperand* none = NULL; |
| 471 USE(none); | 471 USE(none); |
| 472 int size = static_cast<int>(RoundUp(sizeof(Instruction), kPointerSize) + | 472 int size = static_cast<int>(RoundUp(sizeof(Instruction), kPointerSize) + |
| 473 (output_count + input_count + temp_count - 1) * | 473 (output_count + input_count + temp_count - 1) * |
| 474 sizeof(none)); | 474 sizeof(none)); |
| 475 return new (zone->New(size)) Instruction( | 475 return new (zone->New(size)) Instruction( |
| 476 opcode, output_count, outputs, input_count, inputs, temp_count, temps); | 476 opcode, output_count, outputs, input_count, inputs, temp_count, temps); |
| 477 } | 477 } |
| 478 | 478 |
| 479 // TODO(titzer): another holdover from lithium days; register allocator |
| 480 // should not need to know about control instructions. |
| 481 Instruction* MarkAsControl() { |
| 482 bit_field_ = IsControlField::update(bit_field_, true); |
| 483 return this; |
| 484 } |
| 479 Instruction* MarkAsCall() { | 485 Instruction* MarkAsCall() { |
| 480 bit_field_ = IsCallField::update(bit_field_, true); | 486 bit_field_ = IsCallField::update(bit_field_, true); |
| 481 return this; | 487 return this; |
| 482 } | 488 } |
| 489 bool IsControl() const { return IsControlField::decode(bit_field_); } |
| 483 bool IsCall() const { return IsCallField::decode(bit_field_); } | 490 bool IsCall() const { return IsCallField::decode(bit_field_); } |
| 484 bool NeedsPointerMap() const { return IsCall(); } | 491 bool NeedsPointerMap() const { return IsCall(); } |
| 485 bool HasPointerMap() const { return pointer_map_ != NULL; } | 492 bool HasPointerMap() const { return pointer_map_ != NULL; } |
| 486 | 493 |
| 487 bool IsGapMoves() const { return opcode() == kGapInstruction; } | 494 bool IsGapMoves() const { return opcode() == kGapInstruction; } |
| 488 bool IsSourcePosition() const { | 495 bool IsSourcePosition() const { |
| 489 return opcode() == kSourcePositionInstruction; | 496 return opcode() == kSourcePositionInstruction; |
| 490 } | 497 } |
| 491 | 498 |
| 492 bool ClobbersRegisters() const { return IsCall(); } | 499 bool ClobbersRegisters() const { return IsCall(); } |
| (...skipping 21 matching lines...) Expand all Loading... |
| 514 | 521 |
| 515 bool IsNop() const { | 522 bool IsNop() const { |
| 516 return arch_opcode() == kArchNop && InputCount() == 0 && | 523 return arch_opcode() == kArchNop && InputCount() == 0 && |
| 517 OutputCount() == 0 && TempCount() == 0; | 524 OutputCount() == 0 && TempCount() == 0; |
| 518 } | 525 } |
| 519 | 526 |
| 520 protected: | 527 protected: |
| 521 explicit Instruction(InstructionCode opcode) | 528 explicit Instruction(InstructionCode opcode) |
| 522 : opcode_(opcode), | 529 : opcode_(opcode), |
| 523 bit_field_(OutputCountField::encode(0) | InputCountField::encode(0) | | 530 bit_field_(OutputCountField::encode(0) | InputCountField::encode(0) | |
| 524 TempCountField::encode(0) | IsCallField::encode(false)), | 531 TempCountField::encode(0) | IsCallField::encode(false) | |
| 532 IsControlField::encode(false)), |
| 525 pointer_map_(NULL) {} | 533 pointer_map_(NULL) {} |
| 526 | 534 |
| 527 Instruction(InstructionCode opcode, size_t output_count, | 535 Instruction(InstructionCode opcode, size_t output_count, |
| 528 InstructionOperand** outputs, size_t input_count, | 536 InstructionOperand** outputs, size_t input_count, |
| 529 InstructionOperand** inputs, size_t temp_count, | 537 InstructionOperand** inputs, size_t temp_count, |
| 530 InstructionOperand** temps) | 538 InstructionOperand** temps) |
| 531 : opcode_(opcode), | 539 : opcode_(opcode), |
| 532 bit_field_(OutputCountField::encode(output_count) | | 540 bit_field_(OutputCountField::encode(output_count) | |
| 533 InputCountField::encode(input_count) | | 541 InputCountField::encode(input_count) | |
| 534 TempCountField::encode(temp_count) | | 542 TempCountField::encode(temp_count) | |
| 535 IsCallField::encode(false)), | 543 IsCallField::encode(false) | IsControlField::encode(false)), |
| 536 pointer_map_(NULL) { | 544 pointer_map_(NULL) { |
| 537 for (size_t i = 0; i < output_count; ++i) { | 545 for (size_t i = 0; i < output_count; ++i) { |
| 538 operands_[i] = outputs[i]; | 546 operands_[i] = outputs[i]; |
| 539 } | 547 } |
| 540 for (size_t i = 0; i < input_count; ++i) { | 548 for (size_t i = 0; i < input_count; ++i) { |
| 541 operands_[output_count + i] = inputs[i]; | 549 operands_[output_count + i] = inputs[i]; |
| 542 } | 550 } |
| 543 for (size_t i = 0; i < temp_count; ++i) { | 551 for (size_t i = 0; i < temp_count; ++i) { |
| 544 operands_[output_count + input_count + i] = temps[i]; | 552 operands_[output_count + input_count + i] = temps[i]; |
| 545 } | 553 } |
| 546 } | 554 } |
| 547 | 555 |
| 548 protected: | 556 protected: |
| 549 typedef BitField<size_t, 0, 8> OutputCountField; | 557 typedef BitField<size_t, 0, 8> OutputCountField; |
| 550 typedef BitField<size_t, 8, 16> InputCountField; | 558 typedef BitField<size_t, 8, 16> InputCountField; |
| 551 typedef BitField<size_t, 24, 6> TempCountField; | 559 typedef BitField<size_t, 24, 6> TempCountField; |
| 552 typedef BitField<bool, 30, 1> IsCallField; | 560 typedef BitField<bool, 30, 1> IsCallField; |
| 561 typedef BitField<bool, 31, 1> IsControlField; |
| 553 | 562 |
| 554 InstructionCode opcode_; | 563 InstructionCode opcode_; |
| 555 uint32_t bit_field_; | 564 uint32_t bit_field_; |
| 556 PointerMap* pointer_map_; | 565 PointerMap* pointer_map_; |
| 557 InstructionOperand* operands_[1]; | 566 InstructionOperand* operands_[1]; |
| 558 }; | 567 }; |
| 559 | 568 |
| 560 | 569 |
| 561 struct PrintableInstruction { | 570 struct PrintableInstruction { |
| 562 const RegisterConfiguration* register_configuration_; | 571 const RegisterConfiguration* register_configuration_; |
| (...skipping 485 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1048 | 1057 |
| 1049 | 1058 |
| 1050 std::ostream& operator<<(std::ostream& os, | 1059 std::ostream& operator<<(std::ostream& os, |
| 1051 const PrintableInstructionSequence& code); | 1060 const PrintableInstructionSequence& code); |
| 1052 | 1061 |
| 1053 } // namespace compiler | 1062 } // namespace compiler |
| 1054 } // namespace internal | 1063 } // namespace internal |
| 1055 } // namespace v8 | 1064 } // namespace v8 |
| 1056 | 1065 |
| 1057 #endif // V8_COMPILER_INSTRUCTION_H_ | 1066 #endif // V8_COMPILER_INSTRUCTION_H_ |
| OLD | NEW |