Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 1 | //===----- R600Packetizer.cpp - VLIW packetizer ---------------------------===// |
| 2 | // |
Chandler Carruth | 2946cd7 | 2019-01-19 08:50:56 +0000 | [diff] [blame] | 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 6 | // |
| 7 | //===----------------------------------------------------------------------===// |
| 8 | // |
| 9 | /// \file |
| 10 | /// This pass implements instructions packetization for R600. It unsets isLast |
| 11 | /// bit of instructions inside a bundle and substitutes src register with |
| 12 | /// PreviousVector when applicable. |
| 13 | // |
| 14 | //===----------------------------------------------------------------------===// |
| 15 | |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 16 | #include "AMDGPU.h" |
Tom Stellard | 2e59a45 | 2014-06-13 01:32:00 +0000 | [diff] [blame] | 17 | #include "AMDGPUSubtarget.h" |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 18 | #include "R600InstrInfo.h" |
Tom Stellard | 44b30b4 | 2018-05-22 02:03:23 +0000 | [diff] [blame] | 19 | #include "MCTargetDesc/AMDGPUMCTargetDesc.h" |
Benjamin Kramer | d78bb46 | 2013-05-23 17:10:37 +0000 | [diff] [blame] | 20 | #include "llvm/CodeGen/DFAPacketizer.h" |
| 21 | #include "llvm/CodeGen/MachineDominators.h" |
| 22 | #include "llvm/CodeGen/MachineFunctionPass.h" |
| 23 | #include "llvm/CodeGen/MachineLoopInfo.h" |
| 24 | #include "llvm/CodeGen/Passes.h" |
| 25 | #include "llvm/CodeGen/ScheduleDAG.h" |
Chandler Carruth | 6bda14b | 2017-06-06 11:49:48 +0000 | [diff] [blame] | 26 | #include "llvm/Support/Debug.h" |
Benjamin Kramer | d78bb46 | 2013-05-23 17:10:37 +0000 | [diff] [blame] | 27 | #include "llvm/Support/raw_ostream.h" |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 28 | |
Benjamin Kramer | d78bb46 | 2013-05-23 17:10:37 +0000 | [diff] [blame] | 29 | using namespace llvm; |
| 30 | |
Chandler Carruth | 84e68b2 | 2014-04-22 02:41:26 +0000 | [diff] [blame] | 31 | #define DEBUG_TYPE "packets" |
| 32 | |
Benjamin Kramer | d78bb46 | 2013-05-23 17:10:37 +0000 | [diff] [blame] | 33 | namespace { |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 34 | |
| 35 | class R600Packetizer : public MachineFunctionPass { |
| 36 | |
| 37 | public: |
| 38 | static char ID; |
Francis Visoiu Mistrih | 8b61764 | 2017-05-18 17:21:13 +0000 | [diff] [blame] | 39 | R600Packetizer() : MachineFunctionPass(ID) {} |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 40 | |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 41 | void getAnalysisUsage(AnalysisUsage &AU) const override { |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 42 | AU.setPreservesCFG(); |
| 43 | AU.addRequired<MachineDominatorTree>(); |
| 44 | AU.addPreserved<MachineDominatorTree>(); |
| 45 | AU.addRequired<MachineLoopInfo>(); |
| 46 | AU.addPreserved<MachineLoopInfo>(); |
| 47 | MachineFunctionPass::getAnalysisUsage(AU); |
| 48 | } |
| 49 | |
Mehdi Amini | 117296c | 2016-10-01 02:56:57 +0000 | [diff] [blame] | 50 | StringRef getPassName() const override { return "R600 Packetizer"; } |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 51 | |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 52 | bool runOnMachineFunction(MachineFunction &Fn) override; |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 53 | }; |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 54 | |
| 55 | class R600PacketizerList : public VLIWPacketizerList { |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 56 | private: |
| 57 | const R600InstrInfo *TII; |
| 58 | const R600RegisterInfo &TRI; |
Vincent Lejeune | 7e2c832 | 2013-09-04 19:53:46 +0000 | [diff] [blame] | 59 | bool VLIW5; |
| 60 | bool ConsideredInstUsesAlreadyWrittenVectorElement; |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 61 | |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 62 | unsigned getSlot(const MachineInstr &MI) const { |
| 63 | return TRI.getHWRegChan(MI.getOperand(0).getReg()); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 64 | } |
| 65 | |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 66 | /// \returns register to PV chan mapping for bundle/single instructions that |
Alp Toker | cb40291 | 2014-01-24 17:20:08 +0000 | [diff] [blame] | 67 | /// immediately precedes I. |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 68 | DenseMap<unsigned, unsigned> getPreviousVector(MachineBasicBlock::iterator I) |
| 69 | const { |
| 70 | DenseMap<unsigned, unsigned> Result; |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 71 | I--; |
| 72 | if (!TII->isALUInstr(I->getOpcode()) && !I->isBundle()) |
| 73 | return Result; |
Duncan P. N. Exon Smith | d84f600 | 2016-02-22 21:30:15 +0000 | [diff] [blame] | 74 | MachineBasicBlock::instr_iterator BI = I.getInstrIterator(); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 75 | if (I->isBundle()) |
| 76 | BI++; |
Vincent Lejeune | 7e2c832 | 2013-09-04 19:53:46 +0000 | [diff] [blame] | 77 | int LastDstChan = -1; |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 78 | do { |
Vincent Lejeune | 7e2c832 | 2013-09-04 19:53:46 +0000 | [diff] [blame] | 79 | bool isTrans = false; |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 80 | int BISlot = getSlot(*BI); |
Vincent Lejeune | 7e2c832 | 2013-09-04 19:53:46 +0000 | [diff] [blame] | 81 | if (LastDstChan >= BISlot) |
| 82 | isTrans = true; |
| 83 | LastDstChan = BISlot; |
Duncan P. N. Exon Smith | 6307eb5 | 2016-02-23 02:46:52 +0000 | [diff] [blame] | 84 | if (TII->isPredicated(*BI)) |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 85 | continue; |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 86 | int OperandIdx = TII->getOperandIdx(BI->getOpcode(), R600::OpName::write); |
Vincent Lejeune | 91a942b | 2013-06-03 15:56:12 +0000 | [diff] [blame] | 87 | if (OperandIdx > -1 && BI->getOperand(OperandIdx).getImm() == 0) |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 88 | continue; |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 89 | int DstIdx = TII->getOperandIdx(BI->getOpcode(), R600::OpName::dst); |
Tom Stellard | ce54033 | 2013-06-28 15:46:59 +0000 | [diff] [blame] | 90 | if (DstIdx == -1) { |
| 91 | continue; |
| 92 | } |
| 93 | unsigned Dst = BI->getOperand(DstIdx).getReg(); |
Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 94 | if (isTrans || TII->isTransOnly(*BI)) { |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 95 | Result[Dst] = R600::PS; |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 96 | continue; |
| 97 | } |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 98 | if (BI->getOpcode() == R600::DOT4_r600 || |
| 99 | BI->getOpcode() == R600::DOT4_eg) { |
| 100 | Result[Dst] = R600::PV_X; |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 101 | continue; |
| 102 | } |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 103 | if (Dst == R600::OQAP) { |
Tom Stellard | c026e8b | 2013-06-28 15:47:08 +0000 | [diff] [blame] | 104 | continue; |
| 105 | } |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 106 | unsigned PVReg = 0; |
| 107 | switch (TRI.getHWRegChan(Dst)) { |
| 108 | case 0: |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 109 | PVReg = R600::PV_X; |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 110 | break; |
| 111 | case 1: |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 112 | PVReg = R600::PV_Y; |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 113 | break; |
| 114 | case 2: |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 115 | PVReg = R600::PV_Z; |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 116 | break; |
| 117 | case 3: |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 118 | PVReg = R600::PV_W; |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 119 | break; |
| 120 | default: |
| 121 | llvm_unreachable("Invalid Chan"); |
| 122 | } |
| 123 | Result[Dst] = PVReg; |
| 124 | } while ((++BI)->isBundledWithPred()); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 125 | return Result; |
| 126 | } |
| 127 | |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 128 | void substitutePV(MachineInstr &MI, const DenseMap<unsigned, unsigned> &PVs) |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 129 | const { |
Tom Stellard | 02661d9 | 2013-06-25 21:22:18 +0000 | [diff] [blame] | 130 | unsigned Ops[] = { |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 131 | R600::OpName::src0, |
| 132 | R600::OpName::src1, |
| 133 | R600::OpName::src2 |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 134 | }; |
| 135 | for (unsigned i = 0; i < 3; i++) { |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 136 | int OperandIdx = TII->getOperandIdx(MI.getOpcode(), Ops[i]); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 137 | if (OperandIdx < 0) |
| 138 | continue; |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 139 | unsigned Src = MI.getOperand(OperandIdx).getReg(); |
Vincent Lejeune | 2a44ae0 | 2013-05-02 21:52:55 +0000 | [diff] [blame] | 140 | const DenseMap<unsigned, unsigned>::const_iterator It = PVs.find(Src); |
| 141 | if (It != PVs.end()) |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 142 | MI.getOperand(OperandIdx).setReg(It->second); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 143 | } |
| 144 | } |
| 145 | public: |
| 146 | // Ctor. |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 147 | R600PacketizerList(MachineFunction &MF, const R600Subtarget &ST, |
| 148 | MachineLoopInfo &MLI) |
Krzysztof Parzyszek | dac7102 | 2015-12-14 20:35:13 +0000 | [diff] [blame] | 149 | : VLIWPacketizerList(MF, MLI, nullptr), |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 150 | TII(ST.getInstrInfo()), |
Eric Christopher | d913448 | 2014-08-04 21:25:23 +0000 | [diff] [blame] | 151 | TRI(TII->getRegisterInfo()) { |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 152 | VLIW5 = !ST.hasCaymanISA(); |
Vincent Lejeune | 7e2c832 | 2013-09-04 19:53:46 +0000 | [diff] [blame] | 153 | } |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 154 | |
| 155 | // initPacketizerState - initialize some internal flags. |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 156 | void initPacketizerState() override { |
Vincent Lejeune | 7e2c832 | 2013-09-04 19:53:46 +0000 | [diff] [blame] | 157 | ConsideredInstUsesAlreadyWrittenVectorElement = false; |
| 158 | } |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 159 | |
| 160 | // ignorePseudoInstruction - Ignore bundling of pseudo instructions. |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 161 | bool ignorePseudoInstruction(const MachineInstr &MI, |
Krzysztof Parzyszek | d44a1fd | 2015-12-14 18:54:44 +0000 | [diff] [blame] | 162 | const MachineBasicBlock *MBB) override { |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 163 | return false; |
| 164 | } |
| 165 | |
| 166 | // isSoloInstruction - return true if instruction MI can not be packetized |
| 167 | // with any other instruction, which means that MI itself is a packet. |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 168 | bool isSoloInstruction(const MachineInstr &MI) override { |
| 169 | if (TII->isVector(MI)) |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 170 | return true; |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 171 | if (!TII->isALUInstr(MI.getOpcode())) |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 172 | return true; |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 173 | if (MI.getOpcode() == R600::GROUP_BARRIER) |
Tom Stellard | ce54033 | 2013-06-28 15:46:59 +0000 | [diff] [blame] | 174 | return true; |
Vincent Lejeune | 21de8ba | 2013-07-31 19:31:41 +0000 | [diff] [blame] | 175 | // XXX: This can be removed once the packetizer properly handles all the |
| 176 | // LDS instruction group restrictions. |
Matt Arsenault | 8226fc4 | 2016-03-02 23:00:21 +0000 | [diff] [blame] | 177 | return TII->isLDSInstr(MI.getOpcode()); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 178 | } |
| 179 | |
| 180 | // isLegalToPacketizeTogether - Is it legal to packetize SUI and SUJ |
| 181 | // together. |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 182 | bool isLegalToPacketizeTogether(SUnit *SUI, SUnit *SUJ) override { |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 183 | MachineInstr *MII = SUI->getInstr(), *MIJ = SUJ->getInstr(); |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 184 | if (getSlot(*MII) == getSlot(*MIJ)) |
Vincent Lejeune | 7e2c832 | 2013-09-04 19:53:46 +0000 | [diff] [blame] | 185 | ConsideredInstUsesAlreadyWrittenVectorElement = true; |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 186 | // Does MII and MIJ share the same pred_sel ? |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 187 | int OpI = TII->getOperandIdx(MII->getOpcode(), R600::OpName::pred_sel), |
| 188 | OpJ = TII->getOperandIdx(MIJ->getOpcode(), R600::OpName::pred_sel); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 189 | unsigned PredI = (OpI > -1)?MII->getOperand(OpI).getReg():0, |
| 190 | PredJ = (OpJ > -1)?MIJ->getOperand(OpJ).getReg():0; |
| 191 | if (PredI != PredJ) |
| 192 | return false; |
| 193 | if (SUJ->isSucc(SUI)) { |
| 194 | for (unsigned i = 0, e = SUJ->Succs.size(); i < e; ++i) { |
| 195 | const SDep &Dep = SUJ->Succs[i]; |
| 196 | if (Dep.getSUnit() != SUI) |
| 197 | continue; |
| 198 | if (Dep.getKind() == SDep::Anti) |
| 199 | continue; |
| 200 | if (Dep.getKind() == SDep::Output) |
| 201 | if (MII->getOperand(0).getReg() != MIJ->getOperand(0).getReg()) |
| 202 | continue; |
| 203 | return false; |
| 204 | } |
| 205 | } |
Tom Stellard | 26a3b67 | 2013-10-22 18:19:10 +0000 | [diff] [blame] | 206 | |
Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 207 | bool ARDef = |
| 208 | TII->definesAddressRegister(*MII) || TII->definesAddressRegister(*MIJ); |
| 209 | bool ARUse = |
| 210 | TII->usesAddressRegister(*MII) || TII->usesAddressRegister(*MIJ); |
Tom Stellard | 26a3b67 | 2013-10-22 18:19:10 +0000 | [diff] [blame] | 211 | |
Matt Arsenault | 8226fc4 | 2016-03-02 23:00:21 +0000 | [diff] [blame] | 212 | return !ARDef || !ARUse; |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 213 | } |
| 214 | |
| 215 | // isLegalToPruneDependencies - Is it legal to prune dependece between SUI |
| 216 | // and SUJ. |
Craig Topper | 5656db4 | 2014-04-29 07:57:24 +0000 | [diff] [blame] | 217 | bool isLegalToPruneDependencies(SUnit *SUI, SUnit *SUJ) override { |
| 218 | return false; |
| 219 | } |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 220 | |
| 221 | void setIsLastBit(MachineInstr *MI, unsigned Bit) const { |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 222 | unsigned LastOp = TII->getOperandIdx(MI->getOpcode(), R600::OpName::last); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 223 | MI->getOperand(LastOp).setImm(Bit); |
| 224 | } |
| 225 | |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 226 | bool isBundlableWithCurrentPMI(MachineInstr &MI, |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 227 | const DenseMap<unsigned, unsigned> &PV, |
| 228 | std::vector<R600InstrInfo::BankSwizzle> &BS, |
| 229 | bool &isTransSlot) { |
Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 230 | isTransSlot = TII->isTransOnly(MI); |
Vincent Lejeune | 7e2c832 | 2013-09-04 19:53:46 +0000 | [diff] [blame] | 231 | assert (!isTransSlot || VLIW5); |
| 232 | |
| 233 | // Is the dst reg sequence legal ? |
| 234 | if (!isTransSlot && !CurrentPacketMIs.empty()) { |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 235 | if (getSlot(MI) <= getSlot(*CurrentPacketMIs.back())) { |
| 236 | if (ConsideredInstUsesAlreadyWrittenVectorElement && |
Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 237 | !TII->isVectorOnly(MI) && VLIW5) { |
Vincent Lejeune | 7e2c832 | 2013-09-04 19:53:46 +0000 | [diff] [blame] | 238 | isTransSlot = true; |
Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 239 | LLVM_DEBUG({ |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 240 | dbgs() << "Considering as Trans Inst :"; |
| 241 | MI.dump(); |
| 242 | }); |
Vincent Lejeune | 7e2c832 | 2013-09-04 19:53:46 +0000 | [diff] [blame] | 243 | } |
| 244 | else |
| 245 | return false; |
| 246 | } |
| 247 | } |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 248 | |
| 249 | // Are the Constants limitations met ? |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 250 | CurrentPacketMIs.push_back(&MI); |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 251 | if (!TII->fitsConstReadLimitations(CurrentPacketMIs)) { |
Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 252 | LLVM_DEBUG({ |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 253 | dbgs() << "Couldn't pack :\n"; |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 254 | MI.dump(); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 255 | dbgs() << "with the following packets :\n"; |
| 256 | for (unsigned i = 0, e = CurrentPacketMIs.size() - 1; i < e; i++) { |
| 257 | CurrentPacketMIs[i]->dump(); |
| 258 | dbgs() << "\n"; |
| 259 | } |
| 260 | dbgs() << "because of Consts read limitations\n"; |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 261 | }); |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 262 | CurrentPacketMIs.pop_back(); |
| 263 | return false; |
| 264 | } |
| 265 | |
| 266 | // Is there a BankSwizzle set that meet Read Port limitations ? |
| 267 | if (!TII->fitsReadPortLimitations(CurrentPacketMIs, |
| 268 | PV, BS, isTransSlot)) { |
Nicola Zaghen | d34e60c | 2018-05-14 12:53:11 +0000 | [diff] [blame] | 269 | LLVM_DEBUG({ |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 270 | dbgs() << "Couldn't pack :\n"; |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 271 | MI.dump(); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 272 | dbgs() << "with the following packets :\n"; |
| 273 | for (unsigned i = 0, e = CurrentPacketMIs.size() - 1; i < e; i++) { |
| 274 | CurrentPacketMIs[i]->dump(); |
| 275 | dbgs() << "\n"; |
| 276 | } |
| 277 | dbgs() << "because of Read port limitations\n"; |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 278 | }); |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 279 | CurrentPacketMIs.pop_back(); |
| 280 | return false; |
| 281 | } |
| 282 | |
Simon Pilgrim | e995a808 | 2016-11-18 11:04:02 +0000 | [diff] [blame] | 283 | // We cannot read LDS source registers from the Trans slot. |
Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 284 | if (isTransSlot && TII->readsLDSSrcReg(MI)) |
Tom Stellard | 7f6fa4c | 2013-09-12 02:55:06 +0000 | [diff] [blame] | 285 | return false; |
| 286 | |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 287 | CurrentPacketMIs.pop_back(); |
| 288 | return true; |
| 289 | } |
| 290 | |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 291 | MachineBasicBlock::iterator addToPacket(MachineInstr &MI) override { |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 292 | MachineBasicBlock::iterator FirstInBundle = |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 293 | CurrentPacketMIs.empty() ? &MI : CurrentPacketMIs.front(); |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 294 | const DenseMap<unsigned, unsigned> &PV = |
| 295 | getPreviousVector(FirstInBundle); |
| 296 | std::vector<R600InstrInfo::BankSwizzle> BS; |
| 297 | bool isTransSlot; |
| 298 | |
| 299 | if (isBundlableWithCurrentPMI(MI, PV, BS, isTransSlot)) { |
Vincent Lejeune | 0fca91d | 2013-05-17 16:50:02 +0000 | [diff] [blame] | 300 | for (unsigned i = 0, e = CurrentPacketMIs.size(); i < e; i++) { |
| 301 | MachineInstr *MI = CurrentPacketMIs[i]; |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 302 | unsigned Op = TII->getOperandIdx(MI->getOpcode(), |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 303 | R600::OpName::bank_swizzle); |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 304 | MI->getOperand(Op).setImm(BS[i]); |
Vincent Lejeune | 0fca91d | 2013-05-17 16:50:02 +0000 | [diff] [blame] | 305 | } |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 306 | unsigned Op = |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 307 | TII->getOperandIdx(MI.getOpcode(), R600::OpName::bank_swizzle); |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 308 | MI.getOperand(Op).setImm(BS.back()); |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 309 | if (!CurrentPacketMIs.empty()) |
| 310 | setIsLastBit(CurrentPacketMIs.back(), 0); |
| 311 | substitutePV(MI, PV); |
| 312 | MachineBasicBlock::iterator It = VLIWPacketizerList::addToPacket(MI); |
| 313 | if (isTransSlot) { |
Benjamin Kramer | b6d0bd4 | 2014-03-02 12:27:27 +0000 | [diff] [blame] | 314 | endPacket(std::next(It)->getParent(), std::next(It)); |
Vincent Lejeune | 77a8352 | 2013-06-29 19:32:43 +0000 | [diff] [blame] | 315 | } |
| 316 | return It; |
Vincent Lejeune | 0fca91d | 2013-05-17 16:50:02 +0000 | [diff] [blame] | 317 | } |
Duncan P. N. Exon Smith | 5702287 | 2016-02-27 19:09:00 +0000 | [diff] [blame] | 318 | endPacket(MI.getParent(), MI); |
Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 319 | if (TII->isTransOnly(MI)) |
Vincent Lejeune | 7e2c832 | 2013-09-04 19:53:46 +0000 | [diff] [blame] | 320 | return MI; |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 321 | return VLIWPacketizerList::addToPacket(MI); |
| 322 | } |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 323 | }; |
| 324 | |
| 325 | bool R600Packetizer::runOnMachineFunction(MachineFunction &Fn) { |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 326 | const R600Subtarget &ST = Fn.getSubtarget<R600Subtarget>(); |
| 327 | const R600InstrInfo *TII = ST.getInstrInfo(); |
| 328 | |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 329 | MachineLoopInfo &MLI = getAnalysis<MachineLoopInfo>(); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 330 | |
| 331 | // Instantiate the packetizer. |
Matt Arsenault | 43e92fe | 2016-06-24 06:30:11 +0000 | [diff] [blame] | 332 | R600PacketizerList Packetizer(Fn, ST, MLI); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 333 | |
| 334 | // DFA state table should not be empty. |
| 335 | assert(Packetizer.getResourceTracker() && "Empty DFA table!"); |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 336 | assert(Packetizer.getResourceTracker()->getInstrItins()); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 337 | |
Matt Arsenault | 8e00194 | 2016-06-02 18:37:16 +0000 | [diff] [blame] | 338 | if (Packetizer.getResourceTracker()->getInstrItins()->isEmpty()) |
| 339 | return false; |
| 340 | |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 341 | // |
| 342 | // Loop over all basic blocks and remove KILL pseudo-instructions |
| 343 | // These instructions confuse the dependence analysis. Consider: |
| 344 | // D0 = ... (Insn 0) |
| 345 | // R0 = KILL R0, D0 (Insn 1) |
| 346 | // R0 = ... (Insn 2) |
| 347 | // Here, Insn 1 will result in the dependence graph not emitting an output |
| 348 | // dependence between Insn 0 and Insn 2. This can lead to incorrect |
| 349 | // packetization |
| 350 | // |
| 351 | for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); |
| 352 | MBB != MBBe; ++MBB) { |
| 353 | MachineBasicBlock::iterator End = MBB->end(); |
| 354 | MachineBasicBlock::iterator MI = MBB->begin(); |
| 355 | while (MI != End) { |
Tom Stellard | c5a154d | 2018-06-28 23:47:12 +0000 | [diff] [blame] | 356 | if (MI->isKill() || MI->getOpcode() == R600::IMPLICIT_DEF || |
| 357 | (MI->getOpcode() == R600::CF_ALU && !MI->getOperand(8).getImm())) { |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 358 | MachineBasicBlock::iterator DeleteMI = MI; |
| 359 | ++MI; |
| 360 | MBB->erase(DeleteMI); |
| 361 | End = MBB->end(); |
| 362 | continue; |
| 363 | } |
| 364 | ++MI; |
| 365 | } |
| 366 | } |
| 367 | |
| 368 | // Loop over all of the basic blocks. |
| 369 | for (MachineFunction::iterator MBB = Fn.begin(), MBBe = Fn.end(); |
| 370 | MBB != MBBe; ++MBB) { |
| 371 | // Find scheduling regions and schedule / packetize each region. |
| 372 | unsigned RemainingCount = MBB->size(); |
| 373 | for(MachineBasicBlock::iterator RegionEnd = MBB->end(); |
| 374 | RegionEnd != MBB->begin();) { |
| 375 | // The next region starts above the previous region. Look backward in the |
| 376 | // instruction stream until we find the nearest boundary. |
| 377 | MachineBasicBlock::iterator I = RegionEnd; |
| 378 | for(;I != MBB->begin(); --I, --RemainingCount) { |
Duncan P. N. Exon Smith | 9cfc75c | 2016-06-30 00:01:54 +0000 | [diff] [blame] | 379 | if (TII->isSchedulingBoundary(*std::prev(I), &*MBB, Fn)) |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 380 | break; |
| 381 | } |
| 382 | I = MBB->begin(); |
| 383 | |
| 384 | // Skip empty scheduling regions. |
| 385 | if (I == RegionEnd) { |
Benjamin Kramer | b6d0bd4 | 2014-03-02 12:27:27 +0000 | [diff] [blame] | 386 | RegionEnd = std::prev(RegionEnd); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 387 | --RemainingCount; |
| 388 | continue; |
| 389 | } |
| 390 | // Skip regions with one instruction. |
Benjamin Kramer | b6d0bd4 | 2014-03-02 12:27:27 +0000 | [diff] [blame] | 391 | if (I == std::prev(RegionEnd)) { |
| 392 | RegionEnd = std::prev(RegionEnd); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 393 | continue; |
| 394 | } |
| 395 | |
Duncan P. N. Exon Smith | a73371a | 2015-10-13 20:07:10 +0000 | [diff] [blame] | 396 | Packetizer.PacketizeMIs(&*MBB, &*I, RegionEnd); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 397 | RegionEnd = I; |
| 398 | } |
| 399 | } |
| 400 | |
| 401 | return true; |
| 402 | |
| 403 | } |
| 404 | |
Benjamin Kramer | d78bb46 | 2013-05-23 17:10:37 +0000 | [diff] [blame] | 405 | } // end anonymous namespace |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 406 | |
Tom Stellard | a2f57be | 2017-08-02 22:19:45 +0000 | [diff] [blame] | 407 | INITIALIZE_PASS_BEGIN(R600Packetizer, DEBUG_TYPE, |
| 408 | "R600 Packetizer", false, false) |
| 409 | INITIALIZE_PASS_END(R600Packetizer, DEBUG_TYPE, |
| 410 | "R600 Packetizer", false, false) |
| 411 | |
| 412 | char R600Packetizer::ID = 0; |
| 413 | |
| 414 | char &llvm::R600PacketizerID = R600Packetizer::ID; |
| 415 | |
Francis Visoiu Mistrih | 8b61764 | 2017-05-18 17:21:13 +0000 | [diff] [blame] | 416 | llvm::FunctionPass *llvm::createR600Packetizer() { |
| 417 | return new R600Packetizer(); |
Vincent Lejeune | 147700b | 2013-04-30 00:14:27 +0000 | [diff] [blame] | 418 | } |