Chromium Code Reviews| OLD | NEW |
|---|---|
| (Empty) | |
| 1 // Copyright 2015 the V8 project authors. All rights reserved. | |
| 2 // Use of this source code is governed by a BSD-style license that can be | |
| 3 // found in the LICENSE file. | |
| 4 | |
| 5 #ifndef V8_COMPILER_INSTRUCTION_SCHEDULER_H_ | |
| 6 #define V8_COMPILER_INSTRUCTION_SCHEDULER_H_ | |
| 7 | |
| 8 #include "src/compiler/instruction.h" | |
| 9 #include "src/zone-containers.h" | |
| 10 | |
| 11 namespace v8 { | |
| 12 namespace internal { | |
| 13 namespace compiler { | |
| 14 | |
| 15 // A set of flags describing properties of the instructions so that the | |
| 16 // scheduler is aware of dependencies between instructions. | |
| 17 enum ArchOpcodeFlags { | |
| 18 kNoOpcodeFlags = 0, | |
| 19 kIsBlockTerminator = 1, // The instruction marks the end of a basic block | |
| 20 // e.g.: jump and return instructions. | |
| 21 kHasSideEffect = 2, // The instruction has some side effects (memory | |
| 22 // store, function call...) | |
| 23 kIsLoadOperation = 4, // The instruction is a memory load. | |
| 24 }; | |
| 25 | |
| 26 | |
| 27 class InstructionScheduler final : public ZoneObject { | |
| 28 public: | |
| 29 InstructionScheduler(Zone* zone, InstructionSequence* sequence); | |
| 30 | |
| 31 void StartBlock(RpoNumber rpo); | |
| 32 void EndBlock(RpoNumber rpo); | |
| 33 | |
| 34 void AddInstruction(Instruction* instr); | |
| 35 | |
| 36 private: | |
| 37 // A scheduling graph node. | |
| 38 // Represent an instruction and their dependencies. | |
| 39 class ScheduleGraphNode: public ZoneObject { | |
| 40 public: | |
| 41 ScheduleGraphNode(Zone* zone, Instruction* instr); | |
| 42 | |
| 43 // Mark the instruction represented by 'node' as a dependecy of this one. | |
| 44 // The current instruction will be registered as an unscheduled predecessor | |
| 45 // of 'node' (i.e. it must be scheduled before 'node'). | |
| 46 void AddSuccessor(ScheduleGraphNode* node); | |
| 47 | |
| 48 // Check if all the predecessors of this instruction have been scheduled. | |
| 49 bool HasUnscheduledPredecessor() { | |
| 50 return unscheduled_predecessors_count_ != 0; | |
| 51 } | |
| 52 | |
| 53 // Record that we have scheduled one of the predecessor of this node. | |
|
Jarin
2015/11/24 11:43:03
predecessor -> predecessors.
baptiste.afsa1
2015/12/01 09:08:42
Done.
| |
| 54 void DropUnscheduledPredecessor() { | |
| 55 DCHECK(unscheduled_predecessors_count_ > 0); | |
| 56 unscheduled_predecessors_count_--; | |
| 57 } | |
| 58 | |
| 59 Instruction* instruction() { return instr_; } | |
| 60 ZoneDeque<ScheduleGraphNode*>& successors() { return successors_; } | |
| 61 int latency() const { return latency_; } | |
| 62 | |
| 63 int total_latency() const { return total_latency_; } | |
| 64 void set_total_latency(int latency) { total_latency_ = latency; } | |
| 65 | |
| 66 int start_cycle() const { return start_cycle_; } | |
| 67 void set_start_cycle(int start_cycle) { start_cycle_ = start_cycle; } | |
| 68 | |
| 69 private: | |
| 70 Instruction* instr_; | |
| 71 ZoneDeque<ScheduleGraphNode*> successors_; | |
| 72 | |
| 73 // Number of unscheduled predecessors for this node. | |
| 74 int unscheduled_predecessors_count_; | |
| 75 | |
| 76 // Estimate of the instruction latency (the number of cycles it takes for | |
| 77 // instruction to complete). | |
| 78 int latency_; | |
| 79 | |
| 80 // The sum of all the latencies on the path from this node to the end of | |
| 81 // the graph (i.e. a node with no successor). | |
| 82 int total_latency_; | |
| 83 | |
| 84 // The scheduler keeps a nominal cycle count to keep track of when the | |
| 85 // result of an instruction is available. This field is updated by the | |
| 86 // scheduler to indicate when the value of all the operands of this | |
| 87 // instruction will be available. | |
| 88 int start_cycle_; | |
| 89 }; | |
| 90 | |
| 91 // Compare the two nodes and return true if node1 is a better candidate than | |
| 92 // node2 (i.e. node1 should be scheduled before node2). | |
| 93 bool CompareNodes(ScheduleGraphNode *node1, ScheduleGraphNode *node2) const; | |
| 94 | |
| 95 // Perform scheduling for the current block. | |
| 96 void ScheduleBlock(); | |
| 97 | |
| 98 // Return the scheduling properties of the given instruction. | |
| 99 int GetInstructionFlags(const Instruction* instr) const; | |
| 100 int GetTargetInstructionFlags(const Instruction* instr) const; | |
| 101 | |
| 102 // Return true if instr2 uses any value defined by instr1. | |
| 103 bool HasOperandDependency(const Instruction* instr1, | |
| 104 const Instruction* instr2) const; | |
| 105 | |
| 106 // Return true if the instruction is a basic block terminator. | |
| 107 bool IsBlockTerminator(const Instruction* instr) const; | |
| 108 | |
| 109 // Check whether the given instruction has side effects (e.g. function call, | |
| 110 // memory store). | |
| 111 bool HasSideEffect(const Instruction* instr) const { | |
| 112 return GetInstructionFlags(instr) & kHasSideEffect; | |
| 113 } | |
| 114 | |
| 115 // Return true if the instruction is a memory load. | |
| 116 bool IsLoadOperation(const Instruction* instr) const { | |
| 117 return GetInstructionFlags(instr) & kIsLoadOperation; | |
| 118 } | |
| 119 | |
| 120 // Identify nops used as a definition point for live-in registers at | |
| 121 // function entry. | |
| 122 bool IsLiveInNop(const Instruction* instr) const { | |
|
Jarin
2015/11/24 11:43:03
Funny name. Could we invent a better name? For exa
baptiste.afsa1
2015/12/01 09:08:42
Done.
| |
| 123 return (instr->arch_opcode() == kArchNop) && | |
| 124 (instr->OutputCount() == 1) && | |
| 125 (instr->OutputAt(0)->IsUnallocated()) && | |
| 126 UnallocatedOperand::cast(instr->OutputAt(0))->HasFixedRegisterPolicy(); | |
| 127 } | |
| 128 | |
| 129 void ComputeTotalLatencies(); | |
| 130 | |
| 131 static int GetInstructionLatency(const Instruction* instr); | |
| 132 | |
| 133 Zone* zone() { return zone_; } | |
| 134 InstructionSequence* sequence() { return sequence_; } | |
| 135 | |
| 136 Zone* zone_; | |
| 137 InstructionSequence* sequence_; | |
| 138 ZoneVector<ScheduleGraphNode*> graph_; | |
| 139 | |
| 140 // Last side effect instruction encountered while building the graph. | |
| 141 ScheduleGraphNode* last_side_effect_instr_; | |
| 142 | |
| 143 // Set of load instructions encountered since the last side effect instruction | |
| 144 // which will be added as predecessors of the next instruction with side | |
| 145 // effects. | |
| 146 ZoneVector<ScheduleGraphNode*> pending_loads_; | |
| 147 | |
| 148 // Live-in register markers are nop instructions which are emitted at the | |
| 149 // beginning of a basic block so that the register allocator will find a | |
| 150 // defining instruction for live-in values. They must not be moved. | |
| 151 // All these nops are chained together and added as a predecessor of every | |
| 152 // other instructions in the basic block. | |
| 153 ScheduleGraphNode* last_live_in_reg_marker_; | |
| 154 }; | |
| 155 | |
| 156 } // namespace compiler | |
| 157 } // namespace internal | |
| 158 } // namespace v8 | |
| 159 | |
| 160 #endif // V8_COMPILER_INSTRUCTION_SCHEDULER_H_ | |
| OLD | NEW |