Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 1 | //=- llvm/CodeGen/DFAPacketizer.cpp - DFA Packetizer for VLIW -*- C++ -*-=====// |
| 2 | // |
| 3 | // The LLVM Compiler Infrastructure |
| 4 | // |
| 5 | // This file is distributed under the University of Illinois Open Source |
| 6 | // License. See LICENSE.TXT for details. |
| 7 | // |
| 8 | //===----------------------------------------------------------------------===// |
| 9 | // This class implements a deterministic finite automaton (DFA) based |
| 10 | // packetizing mechanism for VLIW architectures. It provides APIs to |
| 11 | // determine whether there exists a legal mapping of instructions to |
| 12 | // functional unit assignments in a packet. The DFA is auto-generated from |
| 13 | // the target's Schedule.td file. |
| 14 | // |
| 15 | // A DFA consists of 3 major elements: states, inputs, and transitions. For |
| 16 | // the packetizing mechanism, the input is the set of instruction classes for |
| 17 | // a target. The state models all possible combinations of functional unit |
| 18 | // consumption for a given set of instructions in a packet. A transition |
| 19 | // models the addition of an instruction to a packet. In the DFA constructed |
| 20 | // by this class, if an instruction can be added to a packet, then a valid |
| 21 | // transition exists from the corresponding state. Invalid transitions |
| 22 | // indicate that the instruction cannot be added to the current packet. |
| 23 | // |
| 24 | //===----------------------------------------------------------------------===// |
| 25 | |
Krzysztof Parzyszek | 31ceba7 | 2016-07-14 19:04:26 +0000 | [diff] [blame] | 26 | #define DEBUG_TYPE "packets" |
| 27 | |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 28 | #include "llvm/CodeGen/DFAPacketizer.h" |
| 29 | #include "llvm/CodeGen/MachineInstr.h" |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 30 | #include "llvm/CodeGen/MachineInstrBundle.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 31 | #include "llvm/CodeGen/ScheduleDAGInstrs.h" |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 32 | #include "llvm/MC/MCInstrItineraries.h" |
Chandler Carruth | ed0881b | 2012-12-03 16:50:05 +0000 | [diff] [blame] | 33 | #include "llvm/Target/TargetInstrInfo.h" |
Krzysztof Parzyszek | e4582d4 | 2016-08-19 21:12:52 +0000 | [diff] [blame^] | 34 | #include "llvm/Support/CommandLine.h" |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 35 | |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 36 | using namespace llvm; |
| 37 | |
Krzysztof Parzyszek | e4582d4 | 2016-08-19 21:12:52 +0000 | [diff] [blame^] | 38 | static cl::opt<unsigned> InstrLimit("dfa-instr-limit", cl::Hidden, |
| 39 | cl::init(0), cl::desc("If present, stops packetizing after N instructions")); |
| 40 | static unsigned InstrCount = 0; |
| 41 | |
Krzysztof Parzyszek | 6753f33 | 2015-11-22 15:20:19 +0000 | [diff] [blame] | 42 | // -------------------------------------------------------------------- |
| 43 | // Definitions shared between DFAPacketizer.cpp and DFAPacketizerEmitter.cpp |
| 44 | |
| 45 | namespace { |
| 46 | DFAInput addDFAFuncUnits(DFAInput Inp, unsigned FuncUnits) { |
| 47 | return (Inp << DFA_MAX_RESOURCES) | FuncUnits; |
| 48 | } |
| 49 | |
| 50 | /// Return the DFAInput for an instruction class input vector. |
| 51 | /// This function is used in both DFAPacketizer.cpp and in |
| 52 | /// DFAPacketizerEmitter.cpp. |
| 53 | DFAInput getDFAInsnInput(const std::vector<unsigned> &InsnClass) { |
| 54 | DFAInput InsnInput = 0; |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 55 | assert((InsnClass.size() <= DFA_MAX_RESTERMS) && |
| 56 | "Exceeded maximum number of DFA terms"); |
Krzysztof Parzyszek | 6753f33 | 2015-11-22 15:20:19 +0000 | [diff] [blame] | 57 | for (auto U : InsnClass) |
| 58 | InsnInput = addDFAFuncUnits(InsnInput, U); |
| 59 | return InsnInput; |
| 60 | } |
| 61 | } |
| 62 | // -------------------------------------------------------------------- |
| 63 | |
Krzysztof Parzyszek | b465572 | 2015-11-21 20:00:45 +0000 | [diff] [blame] | 64 | DFAPacketizer::DFAPacketizer(const InstrItineraryData *I, |
| 65 | const DFAStateInput (*SIT)[2], |
Sebastian Pop | ac35a4d | 2011-12-06 17:34:16 +0000 | [diff] [blame] | 66 | const unsigned *SET): |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 67 | InstrItins(I), CurrentState(0), DFAStateInputTable(SIT), |
Krzysztof Parzyszek | b465572 | 2015-11-21 20:00:45 +0000 | [diff] [blame] | 68 | DFAStateEntryTable(SET) { |
| 69 | // Make sure DFA types are large enough for the number of terms & resources. |
Benjamin Kramer | 3e9a5d3 | 2016-05-27 11:36:04 +0000 | [diff] [blame] | 70 | static_assert((DFA_MAX_RESTERMS * DFA_MAX_RESOURCES) <= |
| 71 | (8 * sizeof(DFAInput)), |
| 72 | "(DFA_MAX_RESTERMS * DFA_MAX_RESOURCES) too big for DFAInput"); |
| 73 | static_assert( |
| 74 | (DFA_MAX_RESTERMS * DFA_MAX_RESOURCES) <= (8 * sizeof(DFAStateInput)), |
| 75 | "(DFA_MAX_RESTERMS * DFA_MAX_RESOURCES) too big for DFAStateInput"); |
Krzysztof Parzyszek | b465572 | 2015-11-21 20:00:45 +0000 | [diff] [blame] | 76 | } |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 77 | |
| 78 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 79 | // Read the DFA transition table and update CachedTable. |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 80 | // |
| 81 | // Format of the transition tables: |
| 82 | // DFAStateInputTable[][2] = pairs of <Input, Transition> for all valid |
| 83 | // transitions |
| 84 | // DFAStateEntryTable[i] = Index of the first entry in DFAStateInputTable |
| 85 | // for the ith state |
| 86 | // |
| 87 | void DFAPacketizer::ReadTable(unsigned int state) { |
| 88 | unsigned ThisState = DFAStateEntryTable[state]; |
| 89 | unsigned NextStateInTable = DFAStateEntryTable[state+1]; |
| 90 | // Early exit in case CachedTable has already contains this |
Sebastian Pop | 9aa6137 | 2011-12-06 17:34:11 +0000 | [diff] [blame] | 91 | // state's transitions. |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 92 | if (CachedTable.count(UnsignPair(state, DFAStateInputTable[ThisState][0]))) |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 93 | return; |
| 94 | |
| 95 | for (unsigned i = ThisState; i < NextStateInTable; i++) |
| 96 | CachedTable[UnsignPair(state, DFAStateInputTable[i][0])] = |
| 97 | DFAStateInputTable[i][1]; |
| 98 | } |
| 99 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 100 | |
| 101 | // Return the DFAInput for an instruction class. |
Krzysztof Parzyszek | b465572 | 2015-11-21 20:00:45 +0000 | [diff] [blame] | 102 | DFAInput DFAPacketizer::getInsnInput(unsigned InsnClass) { |
| 103 | // Note: this logic must match that in DFAPacketizerDefs.h for input vectors. |
| 104 | DFAInput InsnInput = 0; |
| 105 | unsigned i = 0; |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 106 | (void)i; |
Krzysztof Parzyszek | b465572 | 2015-11-21 20:00:45 +0000 | [diff] [blame] | 107 | for (const InstrStage *IS = InstrItins->beginStage(InsnClass), |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 108 | *IE = InstrItins->endStage(InsnClass); IS != IE; ++IS) { |
Krzysztof Parzyszek | b465572 | 2015-11-21 20:00:45 +0000 | [diff] [blame] | 109 | InsnInput = addDFAFuncUnits(InsnInput, IS->getUnits()); |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 110 | assert((i++ < DFA_MAX_RESTERMS) && "Exceeded maximum number of DFA inputs"); |
Krzysztof Parzyszek | b465572 | 2015-11-21 20:00:45 +0000 | [diff] [blame] | 111 | } |
| 112 | return InsnInput; |
| 113 | } |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 114 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 115 | |
| 116 | // Return the DFAInput for an instruction class input vector. |
Krzysztof Parzyszek | 6753f33 | 2015-11-22 15:20:19 +0000 | [diff] [blame] | 117 | DFAInput DFAPacketizer::getInsnInput(const std::vector<unsigned> &InsnClass) { |
| 118 | return getDFAInsnInput(InsnClass); |
| 119 | } |
| 120 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 121 | |
| 122 | // Check if the resources occupied by a MCInstrDesc are available in the |
| 123 | // current state. |
Sebastian Pop | ac35a4d | 2011-12-06 17:34:16 +0000 | [diff] [blame] | 124 | bool DFAPacketizer::canReserveResources(const llvm::MCInstrDesc *MID) { |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 125 | unsigned InsnClass = MID->getSchedClass(); |
Krzysztof Parzyszek | b465572 | 2015-11-21 20:00:45 +0000 | [diff] [blame] | 126 | DFAInput InsnInput = getInsnInput(InsnClass); |
| 127 | UnsignPair StateTrans = UnsignPair(CurrentState, InsnInput); |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 128 | ReadTable(CurrentState); |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 129 | return CachedTable.count(StateTrans) != 0; |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 130 | } |
| 131 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 132 | |
| 133 | // Reserve the resources occupied by a MCInstrDesc and change the current |
| 134 | // state to reflect that change. |
Sebastian Pop | ac35a4d | 2011-12-06 17:34:16 +0000 | [diff] [blame] | 135 | void DFAPacketizer::reserveResources(const llvm::MCInstrDesc *MID) { |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 136 | unsigned InsnClass = MID->getSchedClass(); |
Krzysztof Parzyszek | b465572 | 2015-11-21 20:00:45 +0000 | [diff] [blame] | 137 | DFAInput InsnInput = getInsnInput(InsnClass); |
| 138 | UnsignPair StateTrans = UnsignPair(CurrentState, InsnInput); |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 139 | ReadTable(CurrentState); |
| 140 | assert(CachedTable.count(StateTrans) != 0); |
| 141 | CurrentState = CachedTable[StateTrans]; |
| 142 | } |
| 143 | |
| 144 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 145 | // Check if the resources occupied by a machine instruction are available |
| 146 | // in the current state. |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 147 | bool DFAPacketizer::canReserveResources(llvm::MachineInstr &MI) { |
| 148 | const llvm::MCInstrDesc &MID = MI.getDesc(); |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 149 | return canReserveResources(&MID); |
| 150 | } |
| 151 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 152 | |
| 153 | // Reserve the resources occupied by a machine instruction and change the |
| 154 | // current state to reflect that change. |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 155 | void DFAPacketizer::reserveResources(llvm::MachineInstr &MI) { |
| 156 | const llvm::MCInstrDesc &MID = MI.getDesc(); |
Anshuman Dasgupta | 08ebdc1 | 2011-12-01 21:10:21 +0000 | [diff] [blame] | 157 | reserveResources(&MID); |
| 158 | } |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 159 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 160 | |
Sirish Pande | 9421216 | 2012-05-01 21:28:30 +0000 | [diff] [blame] | 161 | namespace llvm { |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 162 | // This class extends ScheduleDAGInstrs and overrides the schedule method |
| 163 | // to build the dependence graph. |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 164 | class DefaultVLIWScheduler : public ScheduleDAGInstrs { |
Krzysztof Parzyszek | dac7102 | 2015-12-14 20:35:13 +0000 | [diff] [blame] | 165 | private: |
| 166 | AliasAnalysis *AA; |
Krzysztof Parzyszek | 1a1d78b | 2016-03-08 15:33:51 +0000 | [diff] [blame] | 167 | /// Ordered list of DAG postprocessing steps. |
| 168 | std::vector<std::unique_ptr<ScheduleDAGMutation>> Mutations; |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 169 | public: |
Krzysztof Parzyszek | dac7102 | 2015-12-14 20:35:13 +0000 | [diff] [blame] | 170 | DefaultVLIWScheduler(MachineFunction &MF, MachineLoopInfo &MLI, |
| 171 | AliasAnalysis *AA); |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 172 | // Actual scheduling work. |
Craig Topper | 4584cd5 | 2014-03-07 09:26:03 +0000 | [diff] [blame] | 173 | void schedule() override; |
Krzysztof Parzyszek | 1a1d78b | 2016-03-08 15:33:51 +0000 | [diff] [blame] | 174 | |
| 175 | /// DefaultVLIWScheduler takes ownership of the Mutation object. |
| 176 | void addMutation(std::unique_ptr<ScheduleDAGMutation> Mutation) { |
| 177 | Mutations.push_back(std::move(Mutation)); |
| 178 | } |
| 179 | protected: |
| 180 | void postprocessDAG(); |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 181 | }; |
Alexander Kornienko | f00654e | 2015-06-23 09:49:53 +0000 | [diff] [blame] | 182 | } |
Andrew Trick | 20349b8 | 2012-02-15 23:34:15 +0000 | [diff] [blame] | 183 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 184 | |
Alexey Samsonov | ea0aee6 | 2014-08-20 20:57:26 +0000 | [diff] [blame] | 185 | DefaultVLIWScheduler::DefaultVLIWScheduler(MachineFunction &MF, |
Krzysztof Parzyszek | dac7102 | 2015-12-14 20:35:13 +0000 | [diff] [blame] | 186 | MachineLoopInfo &MLI, |
| 187 | AliasAnalysis *AA) |
| 188 | : ScheduleDAGInstrs(MF, &MLI), AA(AA) { |
Sirish Pande | 9421216 | 2012-05-01 21:28:30 +0000 | [diff] [blame] | 189 | CanHandleTerminators = true; |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 190 | } |
| 191 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 192 | |
Krzysztof Parzyszek | 1a1d78b | 2016-03-08 15:33:51 +0000 | [diff] [blame] | 193 | /// Apply each ScheduleDAGMutation step in order. |
| 194 | void DefaultVLIWScheduler::postprocessDAG() { |
| 195 | for (auto &M : Mutations) |
| 196 | M->apply(this); |
| 197 | } |
| 198 | |
| 199 | |
Andrew Trick | 52226d4 | 2012-03-07 23:00:49 +0000 | [diff] [blame] | 200 | void DefaultVLIWScheduler::schedule() { |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 201 | // Build the scheduling graph. |
Krzysztof Parzyszek | dac7102 | 2015-12-14 20:35:13 +0000 | [diff] [blame] | 202 | buildSchedGraph(AA); |
Krzysztof Parzyszek | 1a1d78b | 2016-03-08 15:33:51 +0000 | [diff] [blame] | 203 | postprocessDAG(); |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 204 | } |
| 205 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 206 | |
| 207 | VLIWPacketizerList::VLIWPacketizerList(MachineFunction &mf, |
| 208 | MachineLoopInfo &mli, AliasAnalysis *aa) |
| 209 | : MF(mf), TII(mf.getSubtarget().getInstrInfo()), AA(aa) { |
Eric Christopher | 143f02c | 2014-10-09 01:59:35 +0000 | [diff] [blame] | 210 | ResourceTracker = TII->CreateTargetScheduleState(MF.getSubtarget()); |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 211 | VLIWScheduler = new DefaultVLIWScheduler(MF, mli, AA); |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 212 | } |
| 213 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 214 | |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 215 | VLIWPacketizerList::~VLIWPacketizerList() { |
Sirish Pande | 9421216 | 2012-05-01 21:28:30 +0000 | [diff] [blame] | 216 | if (VLIWScheduler) |
| 217 | delete VLIWScheduler; |
Sirish Pande | 9421216 | 2012-05-01 21:28:30 +0000 | [diff] [blame] | 218 | if (ResourceTracker) |
| 219 | delete ResourceTracker; |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 220 | } |
| 221 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 222 | |
| 223 | // End the current packet, bundle packet instructions and reset DFA state. |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 224 | void VLIWPacketizerList::endPacket(MachineBasicBlock *MBB, |
| 225 | MachineBasicBlock::iterator MI) { |
Krzysztof Parzyszek | e4582d4 | 2016-08-19 21:12:52 +0000 | [diff] [blame^] | 226 | DEBUG({ |
| 227 | if (!CurrentPacketMIs.empty()) { |
| 228 | dbgs() << "Finalizing packet:\n"; |
| 229 | for (MachineInstr *MI : CurrentPacketMIs) |
| 230 | dbgs() << " * " << *MI; |
| 231 | } |
| 232 | }); |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 233 | if (CurrentPacketMIs.size() > 1) { |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 234 | MachineInstr &MIFirst = *CurrentPacketMIs.front(); |
| 235 | finalizeBundle(*MBB, MIFirst.getIterator(), MI.getInstrIterator()); |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 236 | } |
| 237 | CurrentPacketMIs.clear(); |
| 238 | ResourceTracker->clearResources(); |
Krzysztof Parzyszek | 31ceba7 | 2016-07-14 19:04:26 +0000 | [diff] [blame] | 239 | DEBUG(dbgs() << "End packet\n"); |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 240 | } |
| 241 | |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 242 | |
| 243 | // Bundle machine instructions into packets. |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 244 | void VLIWPacketizerList::PacketizeMIs(MachineBasicBlock *MBB, |
| 245 | MachineBasicBlock::iterator BeginItr, |
| 246 | MachineBasicBlock::iterator EndItr) { |
Sirish Pande | 9421216 | 2012-05-01 21:28:30 +0000 | [diff] [blame] | 247 | assert(VLIWScheduler && "VLIW Scheduler is not initialized!"); |
| 248 | VLIWScheduler->startBlock(MBB); |
Andrew Trick | a53e101 | 2013-08-23 17:48:33 +0000 | [diff] [blame] | 249 | VLIWScheduler->enterRegion(MBB, BeginItr, EndItr, |
| 250 | std::distance(BeginItr, EndItr)); |
Sirish Pande | 9421216 | 2012-05-01 21:28:30 +0000 | [diff] [blame] | 251 | VLIWScheduler->schedule(); |
Andrew Trick | 69b4204 | 2012-03-07 23:01:09 +0000 | [diff] [blame] | 252 | |
Krzysztof Parzyszek | 31ceba7 | 2016-07-14 19:04:26 +0000 | [diff] [blame] | 253 | DEBUG({ |
| 254 | dbgs() << "Scheduling DAG of the packetize region\n"; |
| 255 | for (SUnit &SU : VLIWScheduler->SUnits) |
| 256 | SU.dumpAll(VLIWScheduler); |
| 257 | }); |
| 258 | |
Sirish Pande | 9421216 | 2012-05-01 21:28:30 +0000 | [diff] [blame] | 259 | // Generate MI -> SU map. |
| 260 | MIToSUnit.clear(); |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 261 | for (SUnit &SU : VLIWScheduler->SUnits) |
| 262 | MIToSUnit[SU.getInstr()] = &SU; |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 263 | |
Krzysztof Parzyszek | e4582d4 | 2016-08-19 21:12:52 +0000 | [diff] [blame^] | 264 | bool LimitPresent = InstrLimit.getPosition(); |
| 265 | |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 266 | // The main packetizer loop. |
| 267 | for (; BeginItr != EndItr; ++BeginItr) { |
Krzysztof Parzyszek | e4582d4 | 2016-08-19 21:12:52 +0000 | [diff] [blame^] | 268 | if (LimitPresent) { |
| 269 | if (InstrCount >= InstrLimit) { |
| 270 | EndItr = BeginItr; |
| 271 | break; |
| 272 | } |
| 273 | InstrCount++; |
| 274 | } |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 275 | MachineInstr &MI = *BeginItr; |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 276 | initPacketizerState(); |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 277 | |
| 278 | // End the current packet if needed. |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 279 | if (isSoloInstruction(MI)) { |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 280 | endPacket(MBB, MI); |
| 281 | continue; |
| 282 | } |
| 283 | |
Sirish Pande | 9421216 | 2012-05-01 21:28:30 +0000 | [diff] [blame] | 284 | // Ignore pseudo instructions. |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 285 | if (ignorePseudoInstruction(MI, MBB)) |
Sirish Pande | 9421216 | 2012-05-01 21:28:30 +0000 | [diff] [blame] | 286 | continue; |
| 287 | |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 288 | SUnit *SUI = MIToSUnit[&MI]; |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 289 | assert(SUI && "Missing SUnit Info!"); |
| 290 | |
| 291 | // Ask DFA if machine resource is available for MI. |
Krzysztof Parzyszek | 31ceba7 | 2016-07-14 19:04:26 +0000 | [diff] [blame] | 292 | DEBUG(dbgs() << "Checking resources for adding MI to packet " << MI); |
| 293 | |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 294 | bool ResourceAvail = ResourceTracker->canReserveResources(MI); |
Krzysztof Parzyszek | 31ceba7 | 2016-07-14 19:04:26 +0000 | [diff] [blame] | 295 | DEBUG({ |
| 296 | if (ResourceAvail) |
| 297 | dbgs() << " Resources are available for adding MI to packet\n"; |
| 298 | else |
| 299 | dbgs() << " Resources NOT available\n"; |
| 300 | }); |
Krzysztof Parzyszek | 2005d7d | 2015-12-16 16:38:16 +0000 | [diff] [blame] | 301 | if (ResourceAvail && shouldAddToPacket(MI)) { |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 302 | // Dependency check for MI with instructions in CurrentPacketMIs. |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 303 | for (auto MJ : CurrentPacketMIs) { |
Sirish Pande | 9421216 | 2012-05-01 21:28:30 +0000 | [diff] [blame] | 304 | SUnit *SUJ = MIToSUnit[MJ]; |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 305 | assert(SUJ && "Missing SUnit Info!"); |
| 306 | |
Krzysztof Parzyszek | 31ceba7 | 2016-07-14 19:04:26 +0000 | [diff] [blame] | 307 | DEBUG(dbgs() << " Checking against MJ " << *MJ); |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 308 | // Is it legal to packetize SUI and SUJ together. |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 309 | if (!isLegalToPacketizeTogether(SUI, SUJ)) { |
Krzysztof Parzyszek | 31ceba7 | 2016-07-14 19:04:26 +0000 | [diff] [blame] | 310 | DEBUG(dbgs() << " Not legal to add MI, try to prune\n"); |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 311 | // Allow packetization if dependency can be pruned. |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 312 | if (!isLegalToPruneDependencies(SUI, SUJ)) { |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 313 | // End the packet if dependency cannot be pruned. |
Krzysztof Parzyszek | 31ceba7 | 2016-07-14 19:04:26 +0000 | [diff] [blame] | 314 | DEBUG(dbgs() << " Could not prune dependencies for adding MI\n"); |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 315 | endPacket(MBB, MI); |
| 316 | break; |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 317 | } |
Krzysztof Parzyszek | 31ceba7 | 2016-07-14 19:04:26 +0000 | [diff] [blame] | 318 | DEBUG(dbgs() << " Pruned dependence for adding MI\n"); |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 319 | } |
| 320 | } |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 321 | } else { |
Krzysztof Parzyszek | 31ceba7 | 2016-07-14 19:04:26 +0000 | [diff] [blame] | 322 | DEBUG(if (ResourceAvail) |
| 323 | dbgs() << "Resources are available, but instruction should not be " |
| 324 | "added to packet\n " << MI); |
Krzysztof Parzyszek | 2005d7d | 2015-12-16 16:38:16 +0000 | [diff] [blame] | 325 | // End the packet if resource is not available, or if the instruction |
| 326 | // shoud not be added to the current packet. |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 327 | endPacket(MBB, MI); |
| 328 | } |
| 329 | |
| 330 | // Add MI to the current packet. |
Krzysztof Parzyszek | 31ceba7 | 2016-07-14 19:04:26 +0000 | [diff] [blame] | 331 | DEBUG(dbgs() << "* Adding MI to packet " << MI << '\n'); |
Krzysztof Parzyszek | c005e20 | 2016-01-14 21:17:04 +0000 | [diff] [blame] | 332 | BeginItr = addToPacket(MI); |
| 333 | } // For all instructions in the packetization range. |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 334 | |
| 335 | // End any packet left behind. |
| 336 | endPacket(MBB, EndItr); |
Sirish Pande | 9421216 | 2012-05-01 21:28:30 +0000 | [diff] [blame] | 337 | VLIWScheduler->exitRegion(); |
| 338 | VLIWScheduler->finishBlock(); |
Andrew Trick | 7a35fae | 2012-02-15 18:55:14 +0000 | [diff] [blame] | 339 | } |
Krzysztof Parzyszek | 1a1d78b | 2016-03-08 15:33:51 +0000 | [diff] [blame] | 340 | |
| 341 | |
| 342 | // Add a DAG mutation object to the ordered list. |
| 343 | void VLIWPacketizerList::addMutation( |
| 344 | std::unique_ptr<ScheduleDAGMutation> Mutation) { |
| 345 | VLIWScheduler->addMutation(std::move(Mutation)); |
| 346 | } |