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 |